In quantum dynamical simulations, what is the symmetric (Riemannian) analog of a Poisson bracket? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T14:13:15Z http://mathoverflow.net/feeds/question/66506 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/66506/in-quantum-dynamical-simulations-what-is-the-symmetric-riemannian-analog-of-a In quantum dynamical simulations, what is the symmetric (Riemannian) analog of a Poisson bracket? John Sidles 2011-05-31T00:13:31Z 2011-06-01T14:42:38Z <p>The question narrowly posed is: </p> <blockquote> <p>What is the accepted name of the bracket operation that is obtained by replacing the (antisymmetric) symplectic structure of the Poisson bracket with a (symmetric) Riemann metric? </p> </blockquote> <p>In the (likely?) event that this bracket operation is known by various names in various disciplines, preferred answer(s) will relate to algebras that are associated to Hamiltonian flows on (low-dimension) K&auml;hlerian varieties that are naturally immersed in a (large-dimension) Hilbert space, whose dynamical potentials are the operator symbol functions pulled back from that Hilbert space. </p> <p>Specifically, in practical applications, the K&auml;hlerian varieties generically are (low-dimension) rank-$r$ secant varieties of $n$-factor (equivalently, $n$-particle) Segre varieties. </p> <p>As explained below, this question is stimulated by Michael Nielsen's recent weblog post <a href="http://michaelnielsen.org/blog/" rel="nofollow"><i>Survey Notes on Fermi algebras and the Jordan-Wigner Transform</i></a>, which points to Michaels's GitHub release titled <a href="https://github.com/mnielsen/The-Fermionic-canonical-commutation-relations-and-the-Jordan-Wigner-transform" rel="nofollow">The-Fermionic-canonical-commutation-relations-and-the-Jordan-Wigner-transform</a> </p> <p>Michael's write-up poses this broader question:</p> <blockquote> <p>For what algebraic/geometric reason(s) are fermionic quantum dynamical flows (seemingly) harder to simulate on low-dimension varieties than bosonic quantum dynamical flows? </p> </blockquote> <hr> <p><b>Background</b></p> <p>The key ideas of Charles Slichter's classic 1963 textbook <i>Principles of Magnetic Resonance</i> (still in print, and presently in its 3rd edition) are developed in <a href="http://books.google.com/books?id=zgnrRkaIhFoC&amp;pg=PA65" rel="nofollow">Chapter 3: Magnetic Dipolar Broadening In Rigid Lattices</a>. </p> <p>Mathematically speaking, a lot has happened since 1963, and it proves to be very instructive to supplement Slichter's Chapter 3 with material describing quantum spin dynamics in the language of Hamiltonian flow, and quantum simulation in the language of pullback (draft of "<a href="http://faculty.washington.edu/sidles/ENC_2011/index.html#Slichter" rel="nofollow"><i>Slichter redux</I>" here</a>)</p> <p>The key to reconciling the old and new ways of thinking about spin dynamics is summarized in the following theorem, which physically speaking, asserts that pullback onto low-dimension varieties preserves much of the algebraic and thermodynamic "quantum goodness" of Hilbert space:</p> <p><img src="https://github.com/jasidles/Quantum-pullback-theorems/raw/master/theorem_01.png" alt="quantum pullback theorem"></p> <p>(the above graphic is <a href="https://github.com/jasidles/Quantum-pullback-theorems" rel="nofollow">hosted on GitHub</a>). </p> <p>This theorem describes how to pullback operator commutator algebras onto low-dimension simulation varieties, and so it is natural to ask (inspired by Michael's GitHub notes): </p> <blockquote> <p>Onto what algebraic varieties do canonical (fermionic) anticommutators pullback naturally?</p> </blockquote> <p>A partial answer is supplied by the following lemma, namely, the above theorem goes through if in the Poisson bracket $\langle ds_{\mathcal{H}},dh_{\mathcal{H}}\rangle_{\phi^{-1}_\omega}$ the simple replacement $\omega\to g$ is made, that is, if we simply replace the canonical K&auml;hlerian symplectic structure with the canonical K&auml;hlerian metric structure. Algebraically speaking, this means that anticommutation relations pullback just as naturally as commutation relations.</p> <p>So in essence, we would like to extend our quantum pullback theorem, and its umbral discussion of practical applications, to encompass the fermionic dynamics of Michael Nielsen's notes, as well the spin dynamics of Charlie Slichter's textbook.</p> <p>The practical problem is, it's not so easy (for me) to construct low-dimension algebras that realize (even approximately) the canonical anticommutation relations&nbsp;&hellip; whereas low-dimension constructions are easy for (say) angular momentum commutators&nbsp;&hellip; this is where expert mathematical advice (even starting name(s) for the symmetric bracket operation) would be welcome.</p> <p><b>Applications</b></p> <p>The above may seem pretty dry, but these algebraic/geometric considerations are of central importance in the practical pursuit of a goal set in the 1940s and 1950s by von Neumann, Wiener and Feynman (among many mathematicians and scientists of that generation), namely (in von Neumann's words) "<a href="http://www.pnas.org/content/106/8/2477.full" rel="nofollow">to look at an $H$ atom</a>." Very broadly speaking, the relevance to the question asked is that bosonic (commutator-respecting) pullbacks characterize the quantum communication channels by which we see the atoms, while fermionic (anticommutator-respecting) pullbacks characterize their chemical dynamics.</p> <p>To appreciate the attraction this challenge had for von Neumann, Wiener, and Feynman, it is instructive to start with Feynman's celebrated question: <a href="http://www.zyvex.com/nanotech/feynman.html" rel="nofollow">What good would it be to see individual atoms distinctly</a>? and restrict it to: Which is numerically the greater challenge, to catalogue every individual star in the universe, or to catalogue every individual atom in the human body?</p> <p>Then it is easy to compute, that if a 1.7 meter human body were scaled to the size of the observable universe (at present $\sim45.7\times10^9$ light-years), then the individual atoms would be separated by 4 light-years ... and so the answer is, the two great challenges are numerically comparable.</p> <p>As <a href="http://www.youtube.com/watch?v=wFpeM3fxJoQ" rel="nofollow">Stephane Guisard's and Jose Salgado's awe-inspiring VLT timelapse video shows</a>, the astronomers have made a very good start at their challenge&nbsp;&hellip; and as our practical mathematical understanding of spin-and-atom dynamics approaches the astronomer's practical understanding of photon dynamics (hopefully with help from MathOverflow)&nbsp;&hellip; well, it will be mighty interesting to participate in <i>both</i> of these great challenges.</p> http://mathoverflow.net/questions/66506/in-quantum-dynamical-simulations-what-is-the-symmetric-riemannian-analog-of-a/66666#66666 Answer by Theo Johnson-Freyd for In quantum dynamical simulations, what is the symmetric (Riemannian) analog of a Poisson bracket? Theo Johnson-Freyd 2011-06-01T14:42:38Z 2011-06-01T14:42:38Z <p>I will answer only your first question --- I hope that you get a more thorough answer from someone with more expertise than I have. Your other questions, I think, are deeper, and I haven't had a chance yet to process them.</p> <p>The short answer to your first question, I think, is that although there are many texts with words like "antibracket", whenever you come across a seemingly "symmetric" "Poisson bracket", it is probably still truly antisymmetric, for the right notion of "antisymmetric". The reason is that it's hard to imagine a condition on a metric tensor $g^{ij}$ so that the bracket (biderivation)</p> <p>$$g^{ij}(x) \frac{\partial}{\partial x^i} \otimes \frac{\partial}{\partial x^j}$$</p> <p>(always Einstein's summation convention) satisfies any sort of "Jacobi identity" --- at least, doing so is hard for me. (Maybe this is some "flatness" condition? An expert might be able to answer quickly.)</p> <p>Much more common, I think, is the situation when $x^i$ are Fermionic variables, and the geometric structure is a <em>symplectic</em> one. Note that from the "external" point of view of doing computations with homogeneous coordinates, a symplectic form on a Fermionic manifold looks "symmetric". But the correct perspective is an <em>internal</em> one, where "symplectic" means, among other things, <em>antisymmetric in the way that something acting on fermions should be</em>. If from an internal perspective the geometric structure is symplectic, then you should not invent extra language for it. For details on the "internal" (aka "functor of points") approach to sign rules and Fermions and all that jazz, see the article "Notes on Supersymmetry" by Deligne and Morgan in <em>QFT and Strings</em>.</p> <hr> <p>As an aside, let me also mention one more place where "symmetric" "antibrackets" show up, and try to explain why again there really should not be a new word for them. Namely, in the Batalin-Vilkovisky approach to perturbative integrals, one thing that happens is that you have a ($\mathbb Z$-graded) supermanifold (choose local coordinates $x^i$) with a biderivation $P = P^{ij}(x) \frac{\partial}{\partial x^i} \otimes \frac{\partial}{\partial x^j}$. This biderivation is required to satisfy that $P$ is <em>symmetric</em> in the internal sense, and that it satisfy a Jacobi-like requirement, and most importantly that $P$ itself is an <em>odd</em> operator for the Fermionic grading. (In $\mathbb Z$-graded world you can do more interesting things with choice of which odd number.) A typical example, where I denote by $\Pi$ the "parity reversal operator", are "odd cotangent bundles" $\Pi T^\ast X$ for $X$ any supermanifold (i.e. this is the supermanifold you get as the total space of a vector bundle over $X$, where the fiber over $x$ is the parity-reversal of the cotangent vector space $T^\ast_x X$). Then $P$ is the "canonical Poisson bracket".</p> <p>I claim that in an appropriate sense $P$ is still "antisymmetric". Let $A$ denote the algebra of functions on your supermanifold --- it is a commutative algebra in the category of supervector spaces ("commutative" in the "internal" sense). Note that the biderivation $P$ <em>is not</em> a morphism in the category of supervector spaces $A \otimes A \to A$, because the morphisms are only the "even" ones, and $P$ is odd. It <em>does</em> define a morphism $\Pi A \otimes \Pi A \to \Pi A$; the conditions on $P$ above are that this morphism is a Lie bracket (in the internal sense).</p> <p>In any case, the most basic statements about the geometry of an operator $P$ as above are very similar to the classical Poisson geometry. So it's reasonable to say that "odd Poisson bracket" means something <em>symmetric</em> in the internal sense.</p>