Quantum dynamics on varieties and Salmon Prizes - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-18T14:57:33Z http://mathoverflow.net/feeds/question/88133 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/88133/quantum-dynamics-on-varieties-and-salmon-prizes Quantum dynamics on varieties and Salmon Prizes John Sidles 2012-02-10T19:39:50Z 2012-02-22T12:10:22Z <h2><strike>Concluding</strike> Progressive Remarks</h2> <p>A new finding is Bates and Oeding's preprint "Toward a salmon conjecture" (<a href="http://arxiv.org/abs/1009.6181" rel="nofollow" title="Bates and Oeding &quot;Toward a salmon conjecture&quot;">arXiv:1009.6181</a>), with its reference to the <a href="http://www.dms.uaf.edu/~eallman/Papers/salmonPrize.pdf" rel="nofollow" title="Terms of the Salmon Prize">Salmon Prize</a>.</p> <p>The Salmon Prize (photo of the prize <a href="http://www.dms.uaf.edu/~eallman/Papers/IMAchallenge_and_reward.pdf" rel="nofollow" title="Picture of the Salmon Prize">here</a>) is offered by mathematician/biologist <a href="http://www.dms.uaf.edu/~eallman/" rel="nofollow" title="Elizabeth's Allman's Salmon Prize">Elizabeth Allman</a>, and can be appreciated in the broad mathematical context that is provided by <a href="http://www.mat.uc.pt/~cmf/SummerSchool/TopicsInTensors.htm" rel="nofollow" title="Topics in Tensors: A Summer School by Shmuel Friedland">Topics in Tensors: A Summer School by Shmuel Friedland</a>.</p> <hr> <p>Until such time as further comments are offered, a working answer is:</p> <ol> <li><p>An introduction to multilinear varieties considered as algebraic/geometric objects may be found on page 99ff of Joe Harris' <a href="http://books.google.com/books?id=_XxZdhbtf1sC&amp;pg=PA99" rel="nofollow" title="Google Books display of Joe Harris' assertion of the Second-Hand Lion Theorem"><em>Algebraic Geometry: a First Course</em></a>.</p></li> <li><p>A recent comprehensive survey is chapter 7 of Joseph Landsberg's brand-new book <a href="http://books.google.com/books?id=JTjv3DTvxZIC&amp;pg=PA173" rel="nofollow" title="Landsberg's &quot;Tensors: Geometry and Applications&quot;"><em>Tensors: Geometry and Applications</em></a> (December 2011), which begins (encouragingly)</p> <blockquote> <p>"This chapter includes nearly all that is known about defining equations for secant varieties of Segre and Veranese varieties&nbsp;&hellip;"</p> </blockquote></li> <li><p>At the conclusion of the meta thread that was started by Andy Putman (who wondered why this question was being downvoted) concrete examples now are given of higher-order <a href="http://meta.mathoverflow.net/discussion/1307/question-about-second-hand-lions-quantum-dynamics-etc/" rel="nofollow" title="examples of 'almost-Hilbert' varietal state-spaces">'almost-Hilbert' varieties</a>. The following intent is posted there:</p> <blockquote> <p>Last night I discovered a brand-new monograph by Joseph Landsberg that encompasses more-or-less the answer sought, and so I have amended the beginning of the question to be a pointer to Landsberg's monograph.</p> <p>Sometime in the next week or two I will post a concrete mathematical question — framed within the context that Landsberg's monograph supplies — asking for a classification of all multilinear varieties having unit-dimension defect with respect to their natural Segre embedding.</p> <p>At that time I will request closure of the original question, to be supplanted by this classification question. </p> </blockquote></li> <li><p>A shorter, accessibly written, and free-as-in-freedom introduction to these multilinear varieties is Joseph Landsberg's relatively recent&nbsp;&mdash; and much-cited&nbsp;&mdash; <em>Bulletin of the AMS</em> survey article "<a href="http://www.ams.org/journals/bull/2008-45-02/S0273-0979-08-01176-2/home.html" rel="nofollow" title="Landsberg's &quot;Geometry and the complexity of matrix multiplication&quot;">Geometry and the complexity of matrix multiplication</a>" (2008).</p></li> </ol> <p>Please let me apologize for the deficiencies of original question in conveying to MOF readers the mathematical depth and breadth of these multilinear varieties, their implications for fundamental quantum physics, and their numerous practical applications in engineering fields ranging from the computational complexity matrix multiplication to the simulation of quantum transport. </p> <p>Fortunately, Joseph Landsberg's recent writings have done an immensely better job of this than the original draft of my MOF question did! </p> <p>My appreciation and thanks are extended to all who have provided comments, and in particular, sincere congratulations are extended to Theo Johnson-Freyd for providing <a href="http://mathoverflow.net/questions/88133/harris-algebraic-geometry-quantum-dynamics-on-varieties-and-a-more-than-mone/88146#88146" rel="nofollow" title="Theo Johnson-Freyd's suggested answer">an answer</a> that has received MOF's first-ever <a href="http://mathoverflow.net/badges/95/reversal" rel="nofollow" title="Theo's Gold Reversal Medal">Gold Reversal Medal</a>. It has been great fun to help this happen!</p> <hr> <h3>The question asked (as clarified per Joseph Landsberg)</h3> <p>For the theorem of algebraic geometry that is specified below, please provide a reference (or references) that:</p> <ol> <li>states the theorem rigorously,</li> <li>proves the theorem explicitly, </li> <li>within a framework that extends naturally to multi-linear algebraic varieties</li> </ol> <hr> <h3>The theorem for which mathematical references are sought</h3> <p>Let $k\ge1$ be an integer and let <code>$\boldsymbol{\psi}=\{\psi_{(mn)}\}$</code> and <code>$\boldsymbol{\xi}=\{\xi_{(srm)}\}$</code> be vectors in $\mathbb{C}^{k^2}$ and $\mathbb{C}^{2(k-1)k}$ respectively. Here ${(}\dots{)}$ is a multi-index, repeated indices are summed, and the indices <code>$\{s,r,m,n\}$</code> range over <code>$s \in \{1,2\}$</code>, <code>$r \in \{1,\dots,k-1\}$</code>, and <code>$m,n \in \{1,\dots,k\}$</code>. Then we have:</p> <blockquote> <p><strong>The Second-Hand Lion Theorem (SHLT)</strong> <code>$$%\forall\ \boldsymbol{\psi}\ \colon\ \ \det_{mn}\ \psi_{(mn)} = 0 \quad\Longleftrightarrow\quad \exists\ \boldsymbol{\xi}\ \colon\ \<br> \psi_{(mn)} = \xi_{(1rm)}\,\xi_{(2rn)}.$$</code></p> </blockquote> <hr> <h3>Context of the question in multilinear algebraic geometry</h3> <p>Primary consideration should be given to references that prove the theorem and/or discuss related theorems within a mathematical framework that extends naturally to multilinear algebraic varieties. </p> <p>Secondary consideration should be given to references that are reasonably accessible to the (many) engineers and physicists for whom these multilinear varieties increasingly are finding practical applications.</p> <p>In the context of algebraic geometry, $r$ may be regarded as an index over $(k{-}1)$ order-2 Segre varieties that enter in a rank-$(k{-}2)$ secant join having the natural Segre embedding in the tensor product space <code>$\mathcal{H}_1 \otimes \mathcal{H}_2$</code>. </p> <p>In the notation of Joe Harris' <a href="http://books.google.com/books?id=_XxZdhbtf1sC&amp;pg=PA99" rel="nofollow" title="Google Books display of Joe Harris' assertion of the Second-Hand Lion Theorem"><em>Algebraic Geometry: a First Course</em></a>, the theorem asserts the identity of the preceding Segre embedding with what is called the <em>generic determinantal variety</em> <code>$\mathcal{M}^{(kk)\!}_{k{-}1}$</code> that comprises (by definition) the set of <code>$k\times k$</code> complex matrices having matrix rank $k-1$. </p> <p>Attention is directed particularly to a passage in Harris (<a href="http://books.google.com/books?id=_XxZdhbtf1sC&amp;pg=PA100" rel="nofollow" title="Google Books display of Joe Harris' multilinear caveats">page 100</a>) that states:</p> <blockquote> <p>"We should draw a fundamental and important distinction between bi- and tri- or multilinear objects&nbsp;[&hellip;] whose invariants are far from being completely understood."</p> </blockquote> <p>Thus, although the theorem stated can be solved via specialized techniques that apply uniquely to bilinear varieties, a broader and deeper grounding is sought for this theorem within the context that modern algebraic geometry provides, with regard especially to techniques that extend naturally to generic multilinear algebraic varieties. To borrow a phrase from Richard Hamming, "<a href="http://books.google.com/books?id=Y3YSCmWBVwoC&amp;pg=PA4" rel="nofollow" title="The Purpose of Computing is Insight, Not Numbers">The purpose of the question is insight, not theorems."</a></p> <hr> <h3>Quantum physics and engineering applications</h3> <p>In the context of quantum physics, $s$ may be regarded as an index over two $k$-dimensional Hilbert spaces <code>$\mathcal{H}_1$</code> and <code>$\mathcal{H}_2$</code>, each equipped with an $k$-element orthonormal basis, such that $(mn)$ is a multi-index over the quantum amplitudes <code>$\psi_{(mn)}$</code> that are naturally associated to the $k^2$ orthonormal basis vectors of the bipartite Hilbert space <code>$\mathcal{H}_1 \otimes \mathcal{H}_2$</code>. </p> <p>In quantum systems engineering (QSE), determinantal varieties are the bread-and-butter state-spaces of large-scale quantum simulations, because they support both the natural geometric pullback of <a href="http://faculty.washington.edu/sidles/FRIAS_2011/index.html#burningArrow" rel="nofollow" title="applications in quantum system engineering">thermodynamical relations and conservation laws</a> and the numerically efficient integration of dynamical trajectories that respect these relations.</p> <hr> <h3>The origin of the SHLT name</h3> <p>The name "SHLT" is a homage to the following dialog line in the film <em>Second Hand Lions:</em></p> <blockquote> <p><strong>Uncle Garth</strong> <em>(Michael McCaine):</em>&nbsp;&nbsp;This lion's no good&nbsp;&hellip; it's&nbsp;&hellip; it's &nbsp;&hellip; <em>defective</em>. </p> </blockquote> <p>The word <em>defective</em> refers specifically to a <code>$\mathcal{M}^{(kk)\!}_{k{-}1}$</code> determinantal variety's one-dimensional (nonlinear) rank-defect as a quantum state-space, relative to the <code>$k^2$</code>-dimensional Hilbert space in which it is immersed (see below).</p> <p>As a starting-point, the SHLT is mentioned&nbsp;&mdash; but regrettably only in passing and with no derivation given&nbsp;&mdash; in the paragraphs following Example 9.2 on <a href="http://books.google.com/books?id=_XxZdhbtf1sC&amp;pg=PA99" rel="nofollow" title="Google Books display of Joe Harris' assertion of the Second-Hand Lion Theorem">page 99 of Harris</a>.</p> <hr> <h3>Two quantum physics conjectures</h3> <p>By definition, let a quantum state <code>$\psi \in \mathcal{H} = \mathcal{H}_1 \otimes \mathcal{H}_2$</code> (so that <code>$\dim \mathcal{H} = k^2$</code>) be called <em>$k$-Lion</em> iff <code>$\psi \in \mathcal{M}^{(kk)\!}_{k{-}1}$</code> (in Harris' notation for <code>$\mathcal{M}\,$</code>). </p> <p>Then we have:</p> <blockquote> <p><strong>The Weak $k$-Lion Hypothesis</strong></p> <p>There exists a finite integer <code>$k\lesssim 2^5$</code> such that no practicable quantum experiment can observationally disprove the hypothesis that the state-space of a symmetrically bipartite dynamical system is $k$-Lion rather than Hilbert.</p> </blockquote> <p>Physically, the limit $k\lesssim 2^5$ corresponds to the case of quantum entanglement in a bipartite dynamical system having $5+5=10$&nbsp;qubits in total. </p> <p>The Weak $k$-Lion Hypothesis is sufficiently difficult to test&nbsp;&mdash; although by construction the required tests are far easier than demonstrating fault-tolerant quantum computing (FTLC)&nbsp;&mdash; that it is reasonable to suppose that Weak $k$-Lion Hypothesis cannot be feasibly be disconfirmed even for for quite small values of $k$. Hence it is both mathematically and physically natural to conjecture: </p> <blockquote> <p><strong>The Strong $k$-Lion Hypothesis</strong></p> <p>There exists a constant of Nature in the form of a finite integer <code>$k$</code>, such that no experiment can observationally disprove the hypothesis that the state-space of a symmetrically bipartite dynamical system is $k$-Lion rather than Hilbert, for the fundamental reason that the dynamical state-space of Nature is a determinantal variety rather than a Hilbert space.</p> </blockquote> <hr> <h3>This question's <strike>three</strike> <strike>four</strike> five-level reward structure</h3> <p>Associated to this question is a <strike>three</strike> <strike>four</strike> five-level reward structure:</p> <ol> <li><p>Gain MathOverflow reputation by providing good math literature references. </p></li> <li><p>Contribute to the (wonderful) <a href="http://rjlipton.wordpress.com/2012/02/06/flying-machines-of-the-21st-century/" rel="nofollow" title="a debate between Aram Harrow and Gil Kalai on the feasibility of quantum computing">ongoing GLL debate between Aram Harrow and Gil Kalai</a>, and&nbsp;thereby help&nbsp;also to&nbsp;accelerate the&nbsp;medical&nbsp;goals of the <a href="http://faculty.washington.edu/sidles/FRIAS_2011/index.html#NESTroadmap" rel="nofollow" title="The UW/ISH Naturality and Guidance Seminar">UW/ISH Naturality and Guidance Seminar</a>.</p></li> <li><p>Demonstrate either $k$-Lion Hypothesis to <a href="http://spectrum.ieee.org/tech-talk/computing/hardware/why-im-wagering-100000-on-quantum-computing" rel="nofollow" title="Scott's IEEE essay on his $100K wager on quantum computing">win$100,000 from Scott Aaronson</a>.</p></li> <li><p>Receive MOF's first-ever award of the <a href="http://mathoverflow.net/badges/95/reversal" rel="nofollow" title="Theo's Gold Reversal Medal">Gold Reversal Medal</a>. Congratulations, Theo!</p></li> <li><p>Best of all, the <a href="http://www.dms.uaf.edu/~eallman/Papers/salmonPrize.pdf" rel="nofollow" title="Terms of the Salmon Prize">Salmon Prize</a> is offered by mathematician/biologist <a href="http://www.dms.uaf.edu/~eallman/Papers/IMAchallenge_and_reward.pdf" rel="nofollow" title="Picture of the Salmon Prize">Elizabeth Allman</a>.</p></li> </ol> http://mathoverflow.net/questions/88133/quantum-dynamics-on-varieties-and-salmon-prizes/88146#88146 Answer by Theo Johnson-Freyd for Quantum dynamics on varieties and Salmon Prizes Theo Johnson-Freyd 2012-02-10T21:31:24Z 2012-02-10T21:31:24Z <p>I can't comment on the Lion hypotheses. I'm pretty sure the SHLT is nothing more than the fact that:</p> <blockquote> <p>A linear endormophism of a $k$-dimensional vector space factors through a $(k-1)$-dimensional vector space iff it has nontrivial kernel iff its determinant is $0$.</p> </blockquote> <p>Stated without all the indices, this is completely obvious to any mathematician. So I predict that understanding the SHLT will not help you to prove your Lion hypotheses.</p>