User john sidles - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T06:51:16Z http://mathoverflow.net/feeds/user/11394 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/108433/for-which-millennium-problems-does-undecidable-true For which Millennium Problems does undecidable -> true? John Sidles 2012-09-30T01:56:35Z 2012-09-30T12:30:06Z <p>Gregory Chaitin <a href="http://www.maa.org/features/chaitin.html" rel="nofollow">has quoted Marcus du Sautoy</a> to the effect that:</p> <blockquote> <p>If the <em>Riemann Hypothesis</em> (RH) is undecidable this implies that it's true, because if the RH were false it would be easy to confirm that a particular zero of the zeta function is in the wrong place. </p> </blockquote> <p><strong>Question(s)</strong>&nbsp; Which of the other five (at present) unsolved <a href="http://www.claymath.org/millennium/" rel="nofollow">Clay Institute <em>Millenium Prize Problems</em></a> similarly have the attribute $\text{undecidable}\to\text{true}$? And do any of the five have the attribute $\text{undecidable}\to\text{false}$? </p> <hr> <p><strong>Context</strong>&nbsp; This question first arose in the discussion of "<a href="http://rjlipton.wordpress.com/2012/09/26/how-not-to-prove-integer-factoring-is-in-p/#comment-27171" rel="nofollow">a whole lot of basic questions</a>" that were asked by Tim Gowers on Dick Lipton and Ken Regan's weblog <em>G&ouml;del's Lost Letter and P-NP</em>. </p> <p><strong>Edit</strong>&nbsp;Dick and Ken subsequently posted an essay <a href="https://rjlipton.wordpress.com/2012/09/29/why-we-lose-sleep-some-nights/" rel="nofollow"><em>Why We Lose Sleep Some Nights</em></a> in which (<a href="http://rjlipton.wordpress.com/2012/09/29/why-we-lose-sleep-some-nights/#comment-27207" rel="nofollow">in&nbsp;a&nbsp;comment</a>) the question is associated to the <a href="http://en.wikipedia.org/wiki/Immanentize_the_eschaton" rel="nofollow"><em>immanence of the eschaton</em></a> (or perhaps not) in&nbsp;computational complexity theory. ☺</p> http://mathoverflow.net/questions/56938/what-does-the-adjective-natural-actually-mean/56948#56948 Answer by John Sidles for What does the adjective "natural" actually mean? John Sidles 2011-03-01T00:40:01Z 2012-09-13T20:18:25Z <p><strong>Edit</strong>&nbsp; As an example of the increasing prevalence of the notion of <em>naturality</em> in contemporary mathematics, it is notable that Shinichi Mochizuki’s <a href="http://mathoverflow.net/questions/106560/philosophy-behind-mochizukis-work-on-the-abc-conjecture" rel="nofollow">four preprints</a> asserting a proof of the ABC conjecture employ the word "natural" and its derivatives on more than six hundred occasions (for details and several related quotations, see <a href="http://rjlipton.wordpress.com/2012/09/12/the-abc-conjecture-and-cryptography/#comment-26756" rel="nofollow">this post</a> on <em>Gödel's Lost Letter and P=NP</em>).</p> <hr> <p>In accord with Daniel Miller's answer above, the study of "naturality" as a formal abstraction in mathematics can be traced back largely to two articles by Saunders Mac Lane and Samuel Eilenberg: <i>Natural isomorphisms in group theory</i> (1942) and <i>General theory of natural equivalences</i> (1945). Both articles are well worth reading.</p> <p>How did these ideas arise? Roughly speaking, Eilenberg and MacLane began by recognizing that if an arbitrary choice of coordinates makes a difference to the quantities you are calculating and/or the theorems you are proving, then those quantities and theorems are not natural. Mac Lane has described this process in <i>The development and prospects for category theory</i> (1996) as follows:<blockquote>I emphasize that the notions category and functor were not formulated or put in print until the idea of a natural transformation was also at hand.</blockquote>Thus, one good start for students is to acquire a thorough practical grasp of naturality in the context of coordinate transformations in linear algebra and differential geometry. </p> <p>A concrete example of a canonical usage of "naturality", which is accompanied by an extensive motivating discussion, is given in John Lee's <em><a href="http://books.google.com/books?id=eqfgZtjQceYC&amp;pg=PA310" rel="nofollow">Introduction to Smooth Manifolds</a></em> as the following lemma:</p> <blockquote> <p>Lemma 12.16: (Naturality of the Exterior Derivative) </p> <p>If $G\colon M\to N$ is a smooth map, then the pullback map $G^\star\colon \mathcal{A}^k(N)\to \mathcal{A}^k(M)$ commutes with $d$. That is, for all $\omega \in \mathcal{A}^k(N)$, we have $G^\star(d\omega) = d(G^\star\omega)$.</p> </blockquote> <p>As a commutative diagram the above lemma exhibits a canonical form:</p> <p><code>$$\begin{array}{c@{}ccc@{}c} &amp;&amp;d&amp;&amp;\\ &amp;\mathcal{A}^k(N)&amp;\longrightarrow&amp;\mathcal{A}^{k+1}(N)\\[2ex] G^\star\!\!\!\!\!\!&amp;\big\downarrow&amp;&amp;\big\downarrow&amp;\!\!\!\!\!\!\!G^\star\\[2ex] &amp;\mathcal{A}^k(M)&amp;\longrightarrow&amp;\mathcal{A}^{k+1}(M)\\ &amp;&amp;d&amp;&amp; \end{array}$$</code></p> <p>Being interested in practical applications of geometrically "natural" formalisms for <a href="http://mathoverflow.net/questions/54232/a-book-you-would-like-to-write/54364#54364" rel="nofollow">quantum systems engineering</a>, I've studied the usage in MacSciNet reviews of the words "natural*" (chiefly "natural" and "naturality") and "universal*" (chiefly "universal" and "universality"). </p> <p>Here are the numbers; their use is burgeoning! </p> <ul> <li>Year-Range (natural*, universal*) </li> <li>2001-2005: (16788 uses, 05288 uses)</li> <li>1996-2000: (14880, 04977)</li> <li>1991-1995: (12550, 04432)</li> <li>1986-1990: (10335, 03343)</li> <li>1981-1985: (08775, 03013)</li> <li>1976-1980: (07402, 02412)</li> <li>1971-1975: (05668, 02040)</li> <li>1966-1970: (03466, 01167)</li> <li>1961-1965: (02211, 00610)</li> <li>1956-1960: (01368, 00406)</li> <li>1951-1955: (00880, 00253)</li> <li>1946-1950: (00502, 00107)</li> <li>1941-1945: (00251, 00060)</li> </ul> <p>So to judge by the literature, it seems that we are entering into a Golden Era of mathematical "naturality" and "universality" ... we can hope so, anyway! :)</p> http://mathoverflow.net/questions/97160/does-equality-of-hodge-star-and-symplectic-star-imply-kahler-structure Does equality of Hodge star and symplectic star imply Kähler structure? John Sidles 2012-05-16T21:48:44Z 2012-06-01T14:52:36Z <h3>Question</h3> <p>The question asked is:</p> <blockquote> <p>On a manifold $M$ equipped with a Riemann metric $g$ and a symplectic structure $\omega$, with $\ast$ the Hodge star and $\ast_s$ the symplectic star, does $\ast=\ast_s$ iff $(M,g,\omega)$ is K&auml;hler?</p> </blockquote> <h3>Answer: no</h3> <p>For the reason <a href="http://mathoverflow.net/questions/97160/does-equality-of-hodge-star-and-symplectic-star-imply-kahler-structure/97264#97264" rel="nofollow">posted below</a>.</p> <h3>Definitions</h3> <p>Here the star operators $\ast$ and $\ast_s$ are defined in the usual way (see for example, equation 2.9 of Tseng and Yau <em><a href="http://arxiv.org/abs/1011.1250" rel="nofollow" title="review by Li-Sheng Tseng and Shing-Tung Yau">Cohomology and Hodge Theory on Symplectic Manifolds: II</a></em>):</p> <p>$$A\wedge \ast B := \langle A,B\rangle_{g^{-1}} dV_g$$ $$A\wedge \ast_{s} B := \langle A,B\rangle_{\omega^{-1}} dV_\omega$$</p> <p>where $A$ and $B$ are $k$-forms, $\langle\cdot,\cdot\rangle_{g^{-1}}$ is the inner product associated to $g$, $dV_g$ is the volume form associated to $g$, and $\langle\cdot,\cdot\rangle_{\omega^{-1}}$ and $dV_\omega$ are defined analogously with respect to $\omega$.</p> <h3>Motivation</h3> <p>In seeking a mathematically natural link between Hilbert-space expositions of quantum mechanics and <a href="http://arxiv.org/abs/0907.2796" rel="nofollow" title="review of matrix product states">product space expositions</a>, both the Hodge star operator and the symplectic star operator enter naturally (for example, in the context of <a href="http://faculty.washington.edu/sidles/ENC_2011/Onsager_transport.pdf" rel="nofollow" title="summary of pullback dynamics">Onsager theory</a>). Moreover, in cases of practical quantum systems engineering interest it is commonly observed that: </p> <ul> <li>the two star operations are identical, and </li> <li>the dynamical state-manifold is K&auml;hlerian.</li> </ul> <p>Does each of these observations mathematically imply the other? An engineer-friendly reference for this fact (if it is a fact) would be very welcome---it's not easy to find discussion of the practical relevance of the symplectic star operation.</p> http://mathoverflow.net/questions/97160/does-equality-of-hodge-star-and-symplectic-star-imply-kahler-structure/97264#97264 Answer by John Sidles for Does equality of Hodge star and symplectic star imply Kähler structure? John Sidles 2012-05-17T22:07:04Z 2012-05-17T22:07:04Z <p>To answer the question myself, the answer is (trivially) "no". A fast way to see this is via the following identities, valid for $k$-forms on a manifold of dimension $n$:</p> <p>$$\ast\ast = (-1)^{k(n-k)}\ \mathrm{Id}$$</p> <p>$$\ast_s\ast_s = \mathrm{Id}$$</p> <p>Thus for odd-$k$ forms on even-$n$ manifolds, we have $\ast \ne \ast_s$. </p> <p>Perhaps some amended version of the postulate could be proved&nbsp;&hellip; if anyone posts such amended postulate (or even provides some nice references), then I will rate that answer as "accepted".</p> 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/88214/quantum-dynamics-on-varieties-asymptotic-quantum-trace-distance-on-shl-varieties Quantum dynamics on varieties: asymptotic quantum trace distance on SHL varieties John Sidles 2012-02-11T18:13:52Z 2012-02-11T19:12:50Z <h3>The Question Asked</h3> <blockquote> <p><strong>Definition: the Second-Hand Lion trace distance $D_k$</strong></p> <p>Let <code>$\mathcal{M}^{(kk)}_r$</code> be the set of $k\times k$ complex matrices of rank $\le r$ having unit trace norm. Then the <em>Second-Hand Lion <a href="http://arxiv.org/abs/quant-ph/0408063" rel="nofollow">trace distance</a></em> $D_k$ is by definition <code>$$D_k = \max_{M_1\in \mathcal{M}^{(kk)}_k}\ \, \min_{M_2\in \mathcal{M}^{(kk)}_{k{-}1}}\ \,\tfrac{1}{2} \text{tr}\,|M_1-M_2|$$</code></p> </blockquote> <p>The question asked is, what is the asymptotic behavior of $D_k$ for $k\gg1$?</p> <hr> <h3>Physics and Engineering Motivation</h3> <p>The set <code>$\mathcal{M}^{(kk)}_k$</code> is isomorphic to the quantum Hilbert space $\mathbb{C}^{k^2}$, and the set <code>$\mathcal{M}^{(kk)}_{k{-}1}$</code> is an determinantal variety that we shall call the <em>SHL variety of order $k-1$</em>; and the SHL variety has a natural embedding in the larger Hilbert space.</p> <p>Moreover the <a href="http://mathoverflow.net/questions/88133/harris-algebraic-geometry-quantum-dynamics-on-varieties-and-a-more-than-mone" rel="nofollow">Second-Hand Lion Theorem</a> assures us:</p> <ul> <li><p>The SHL variety of order $k-1$ has dimension $k^2-1$, that is, the SHL variety lacks precisely <em>one</em> dimension with respect to the embedding Hilbert space $\mathbb{C}^{k^2}$.</p></li> <li><p>The SHL variety of order $k-1$ is naturally equipped with algebraic coordinates that are well-suited to the efficient numerical integration of trajectories (both metric and symplectic) on the SHL variety. </p></li> </ul> <p>Physically the question asked therefore amounts to this: For quantum states adversarially chosen within a $k\times k$ Hilbert space, what is the worst-case quantum fidelity with which that Hilbert state can be approximated as an SHL varietal state of order $k-1$?</p> <p>This question is motivated partly by numerical experiments that indicate (for example) $D_8 \simeq 0.0568$. A reasonable conjecture (for example) may be <code>$D_k = \mathcal{O}\,(1/k)$</code>.</p> <hr> <h3>Broader Motivations</h3> <p>More broadly, the question asked was conceived with a view toward illuminating the general problems of approximating Hilbert-space dynamics with varietal dynamics, in regard to the mathematically natural, physically fundamental, computationally practicable (and perennially surprising) features of these varietal dynamical systems.</p> http://mathoverflow.net/questions/54232/a-book-you-would-like-to-write/70941#70941 Answer by John Sidles for A Book You Would Like to Write John Sidles 2011-07-21T22:05:58Z 2011-08-01T10:49:25Z <p><b>Acknowledgments</b>&nbsp;&nbsp;&nbsp;The following three-volume answer to Gil Kalai's <em>MathOverflow</em> question &ldquo;<a href="http://mathoverflow.net/questions/54232/a-book-you-would-like-to-write" rel="nofollow">A&nbsp;Book You Would Like to Write</a>&rdquo; is chiefly inspired by <a href="http://rjlipton.wordpress.com/2011/07/15/make-your-own-world/#comment-12461" rel="nofollow"> Tim Gowers' thoughtful comments</a> on&nbsp;<em>G&ouml;del's Lost Letter and P=NP</em>, which he wrote in response to Dick Lipton's question &ldquo;<a href="http://rjlipton.wordpress.com/2011/07/15/make-your-own-world/" rel="nofollow">Make&nbsp;your own world: what would you do if you could do anything?</a>&rdquo;</p> <p><b>Prologue</b>&nbsp;&nbsp;&nbsp;Here is an excerpt from Gowers' comment on <em>G&ouml;del's Lost Letter:</em></p> <blockquote> <b>Gowers' choice&nbsp;</b>&nbsp;&ldquo;If on the other hand P!=NP, then the price I ask&nbsp;&hellip; is that we come to understand far better the subclass of mathematical statements and proofs we are actually interested in.&nbsp;&hellip; I would like a world where exactly one of the statements &lsquo;P=NP&rsquo; and &lsquo;mathematical creativity can be automated&rsquo; is true.&rdquo; </blockquote> <p>Let us regard Gowers' choice (as we will call it) not as a wish, but as an engineering directive whose fulfillment requires a bespoke mathematical toolset such that &ldquo;creativity can be automated.&rdquo; Specifically, we regard Gowers' choice as a path toward <a href="http://books.google.com/books?id=BXYucAAhFCgC&pg=PR11" rel="nofollow">Bill Thurston's goal</a>: <blockquote><b>Thurston's goal&nbsp;</b>&nbsp;&ldquo;The goal of mathematics is to develop enhanced ways for <i>humans</i> to see and think about the world. Mathematics is a transforming journey, and progress in it can better be measured by changes in how we think than by the external truths we discover.</blockquote>To associate Gowers' choice to Thurston's goal, we embrace <a href="http://riley.nal.usda.gov/nal_display/index.php?info_center=8&tax_level=4&tax_subject=3&topic_id=1030&level3_id=6723&level4_id=11085" rel="nofollow">Abraham Lincoln's view</a> that our broad objective should be:<blockquote><b>Lincoln's objective</b>&nbsp;&nbsp;&ldquo;To make mutual exchange&nbsp;[of] discovery, information, and knowledge; so that, at the end, all may know every thing, which may have been known to but one, or to but a few [and] to&nbsp;stimulate that discovery and invention into extraordinary activity.&rdquo;</blockquote>Balancing these various ideas, we design the mathematical formalisms of the Gowers-Thurston world with a view toward providing &ldquo;enhanced ways for <i>humans</i> to see and think about&rdquo; their individual participatory roles in the emerging &ldquo;extraordinary activities&rdquo; of the 21st century. </p> <p>To concretely specify this world's mathematical toolset, we apply a template that physicist Julian Schwinger's students <a href="http://books.google.com/books?id=BJXvAAAAMAAJ" rel="nofollow">affectionately distilled from his lectures</a>:</p> <blockquote> <b>Schwinger's template&nbsp;</b>&nbsp;&ldquo;Although &lsquo;1&rsquo; is not perfectly &lsquo;0&rsquo; we can effectively regard&nbsp;&hellip;&rdquo; </blockquote> <p>Applying Schwinger's template, we &ldquo;effectively regard&rdquo; the mathematical toolset of Gowers' choice and Thurston's goal as arising from this <em>ansatz</em>:</p> <blockquote> <b>The Gowers-Thurston-Schwinger (GTS) <i>Ansatz&nbsp;</i></b>&nbsp;&ldquo;Although &lsquo;NP&rsquo; is not known to be formally separable from &lsquo;P&rsquo; we can effectively regard it as such whenever our main purpose is mathematical understanding. Similarly, although &lsquo;Hilbert space&rsquo; is not known to be perfectly a &lsquo;<a href="http://www.ams.org/journals/bull/2008-45-02/S0273-0979-08-01176-2/home.html" rel="nofollow">low-dimension secant variety of a Segre variety</a>&rsquo; we can effectively regard it as such whenever our main purpose is dynamical understanding.&rdquo; </blockquote> <p>The first part of the GTS <i>ansatz</i> restricts NP (and thus P) to those algorithms whose runtime attributes are <a href="http://cstheory.stackexchange.com/questions/7059/do-the-undecidable-attributes-of-p-pose-an-obstruction-to-deciding-p-versus-np" rel="nofollow">decidable</a> and whose outputs (including random samples) are <a href="http://cstheory.stackexchange.com/questions/6836/what-is-the-proper-role-of-verification-in-quantum-sampling-simulation-and-exte" rel="nofollow">verifiable</a>; Juris&nbsp;Hartmanis has suggested that this restriction (suitably formalized) <a href="http://books.google.com/books?id=DTMrTZJH1NYC&pg=PA51" rel="nofollow">might render P and NP provably separable</a>. In&nbsp;effect, the ansatz restricts P and NP to those algorithms that are humanly understandable in the Gowers-Thurston sense. The second part of the GTS <i>ansatz</i> focuses upon systems (both classical and quantum) whose trajectories are <a href="http://faculty.washington.edu/sidles/ENC_2011/index.html#burningArrow" rel="nofollow">dynamically compressed</a> onto low-dimension algebraic manifolds. In&nbsp;effect, the <i>ansatz</i> restricts computational simulations to the noisy and/or low-energy and/or highly symmetric dynamical trajectories that are commonly encountered in nature, in technology, and in the laboratory.</p> <p>These considerations lead us to envision the Gowers-Thurston-Schwinger world as becoming a concrete 21st century reality via a 10-year path that (if we are lucky) will be described retrospectively by the following three <i>MathSTEMnet</i> reviews. In answer to Gil Kalai's question, the math of <a href="http://cstheory.stackexchange.com/questions/2074/physics-results-in-tcs/7401#7401" rel="nofollow">Volume&nbsp;I exists today</a>; the math of <a href="http://faculty.washington.edu/sidles/ENC_2011/index.html#forGilKalai" rel="nofollow">Volume&nbsp;II foreseeably will exist</a> within the next 36 months or so; the math of <a href="https://commonfund.nih.gov/stemcells/index.aspx" rel="nofollow">Volume&nbsp;III will be the work of many decades</a>.</p> <p>Needless to say, the <i>MathSTEMnet</i> reviews are entirely imaginary; in particular, the review of Volume III seeks to retell <a href="http://www.scribd.com/doc/55178654/8/Chapter-9" rel="nofollow">a classic Robert Heinlein medical narrative</a> from 1958 in the dryly arch mathematical voice of Joseph Doob's 1948 review of Claude Shannon's <i>Mathematical theory of communication</i> (<a href="http://www.ams.org/mathscinet-getitem?mr=26286" rel="nofollow">MR0026286</a>).</p> <p><hr> <img src="https://github.com/jasidles/Quantum-pullback-theorems/raw/efd9fa680545377028c2d3ed63434b763622844b/AMS_future.png" alt="alt text"><br> <b>MR2739833</b><br> Lane, Alice; Lane, Bob<br> <b>Elements of Naturality in Simulation and Sensing</b><br> Volume I of <em>Surveys of Engineering for Enterprise</em><br> <em>Constancy Press, Seattle,</em> 2015. <em>xviii</em>+475 pp.<br> 58-01 (53-01 57-01)</p> <p>This volume aims to provide solid foundations for classical and quantum simulation. In the first of its three parts students learn the basics of differential and algebraic geometry at the same time that they learn the basics of Hamiltonian dynamics, first in the context of classical molecular dynamics, then in the context of classical interacting spins. From the beginning all state-spaces are treated as algebraic varieties (specifically, secant varieties of Segre varieties) that are endowed with symplectic and metric structure. The second of three parts treats (classical) thermostats and (quantum) Lindbladian processes within a mathematically natural Hamiltonian/Stratonovich formalism. In the final part, classical and quantum tools are merged in the practical context of quantum spin biomicroscopy, viewed both as a Shannon communication channel and as a target for simulation and sensing in synthetic biology.</p> <p>The resulting volume reads as though Saunders Mac Lane, Vladimir Arnold, and Joe Harris teamed up to cover in one volume the dynamical elements of three classic texts: (1)&nbsp;Charlie Slichter's <em>Principles of Magnetic Resonance</em>, (2)&nbsp;Nielsen and Chuang's <em>Quantum Computation and Quantum Information</em> and (3)&nbsp;Frenkel and Smit's <em>Understanding Molecular Simulation: from Algorithms to Applications</em>&nbsp;&mdash; all in the flowing example-filled style of Jack Lee's <em>Introduction to Smooth Manifolds</em>. It is suitable for a senior undergraduate or first-year graduate course (that requires students to unlearn some of what they previously have been taught).</p> <p>&bull; reviewed by <em>Caradoc Dearborn</em></p> <p><hr> <img src="https://github.com/jasidles/Quantum-pullback-theorems/raw/efd9fa680545377028c2d3ed63434b763622844b/AMS_future.png" alt="alt text"><br> <b>MR2739833</b><br> Lane, Carla; Lane, David<br> <b>Elements of Naturality in Surveys and Enterprises</b><br> Volume II of <em>Surveys of Engineering for Enterprise</em><br> <em>Constancy Press, Seattle,</em> 2020. <em>xxi</em>+560 pp.<br> 58-01 (53-01 57-01)</p> <p>Volume II in this series takes up where Volume I leaves off: with the description of the molecular dynamics and quantum spin imaging of biological molecules. The first of three parts surveys the quantum theory of spin polarization transport, with an emphasis on transport-based techniques for generating order-unity dynamic nuclear polarization (T-DNP). Substantial emphasis is placed on efficient iterative evaluation of &ldquo;musical&rdquo; isomorphisms in trajectory integrations. The second part discusses 3D imaging methods that are enabled by the coherent polarization so achieved. The third part discusses the &ldquo;crossover region&rdquo;of imaging at 0.5&nbsp;nm resolution, below which molecular dynamical simulations carry more information than direct imaging. Each chapter is accompanied by two-part design exercises, the first consisting of a pencil-and-paper (or SymPy) symbolic analysis, the second consisting of a large-scale (SAGE/PyQSE) numerical simulation; working code is provided for most exercises.</p> <p>The concluding chapter requires students to design an enterprise for spin-imaging the entire nucleus of a eukaryotic cell (via quantum spin microscopy) at 0.5&nbsp;nm resolution, then refining that imaging information (via molecular simulation) to sub-Angstrom scales. Present rapid developments in quantum spin microscopy, sample <a href="http://sdnpi.epfl.ch/research_aboutDNP.html" rel="nofollow">hyperpolarization</a>, and molecular dynamic simulation ensure that this section will be outdated within a very few years&nbsp;&hellip;and yet no book better conveys the mathematical toolset that is so greatly in-demand to support the burgeoning global enterprise of observational synthetic biology.</p> <p>&bull; reviewed by <em>Dilys Derwent</em></p> <p><hr> <img src="https://github.com/jasidles/Quantum-pullback-theorems/raw/efd9fa680545377028c2d3ed63434b763622844b/AMS_future.png" alt="alt text"><br> <b>MR2739833</b><br> Pomfrey, Ella; Longbottom, Finn<br> <b>Elements of Naturality in Healing and Regeneration</b><br> Volume III of <em>Surveys of Engineering for Enterprise</em><br> <em>Constancy Press, Seattle,</em> 2025. <em>xxix</em>+870 pp.<br> 58-01 (53-01 57-01)</p> <p>It is now ten years since Volume I of this series appeared, heralding a new era of comprehensive quantum spin imaging of biomolecular structure, and comprehensive simulation of the the molecular dynamics of these structures. It is now five years since Volume II heralded a new era of synoptic information regarding the workings of &ldquo;every atom in its place&rdquo;, very much as von Neumann and Feynman foresaw last century. Now Volume III has appeared, and the authors promise to provide a mathematical &ldquo;natural&rdquo; toolset for applying these capabilities in healing and regeneration.</p> <p>Authors Ella Pomfrey and Finn Longbotton are members of the new breed of physician that are comfortable with symplectic structure and with bone structure, with individual molecules and with individual patients, with genetic and epigenetic variation, with complexity theory and with the evolving cognition of healing brains. They have mastered, both abstractly and in practice, the geometrically, algebraically, combinatorically, and informatically natural tools that previous generation of mathematicians brought to bear in the microscopic theory of healing and regeneration. Now in this volume, Pomfrey and Longbottom seek to bring this same natural toolset to bear on macroscopic healing processes. The emphasis throughout is upon practical clinical verification and validation procedures that ensure that bone, nerves, and minds all cleave to a path that leads to a satisfactory healing.</p> <p>This reviewer entertains some doubt as to whether our understanding of healing and regeneration, in particular their epigenetic aspects, can ever match the naturality of our microscopic understanding&nbsp;&hellip; but no-one is better qualified than the authors, who have a distinguished record in the regenerative treatment of battle trauma, to meet the 21st century's grand challenge of healing, by evolving a mathematically natural understanding of it.</p> <p>&bull; reviewed by <em>Mungo Bonham</em></p> http://mathoverflow.net/questions/54232/a-book-you-would-like-to-write/54364#54364 Answer by John Sidles for A Book You Would Like to Write John Sidles 2011-02-04T20:56:35Z 2011-07-22T15:14:55Z <p><b>Note</b>&nbsp;&nbsp;this answer is superseded by a more detailed answer <a href="http://mathoverflow.net/questions/54232/a-book-you-would-like-to-write/70941#70941" rel="nofollow">to which the reader is referred</a>.</p> <hr> <p>I would very much like to write the book (or much easier, read someone else's book) <i>Geometric Dynamics with Practical Applications in Classical and Quantum Systems Engineering</i>. </p> <p>The envisioned book would encompass, via geometric methods, many of the dynamical and informatic themes that Michael Nielsen and Isaac Chuang so excellently cover via algebraic methods, in their <i>Quantum Computation and Quantum Information</i> (2000). </p> <p>It would be the book that&mdash;in an alternative history of 20th century quantum physics&mdash;would have grown from Saunders Mac Lane's 1970 Chauvenet Lecture <i>Hamiltonian mechanics and geometry</i>, had Mac Lane first read Nielsen and Chuang's now-classic text, and then read Abhay Ashtekar and Troy Schilling's <i>Geometrical formulation of quantum mechanics</i> (1999), and finally read Carlton Caves' (on-line) note <i>Completely positive maps, positive maps, and the Lindblad form</i> (2000, revised 2002 and 2008). </p> <p>As for notation, this book would embrace the notation of Jack Lee's admirably clear <i>Introduction to Smooth Manifolds</i> (2003) ... no need for "bras" and "kets"!</p> <p>Our UW Quantum Systems Engineering (QSE) Group first explored these ideas in an article <a href="http://iopscience.iop.org/1367-2630/11/6/065002" rel="nofollow"><i>Practical recipes for the model order reduction, dynamical simulation and compressive sampling of large-scale open quantum systems</i></a>. This article is sufficiently lengthy (at 96 pages) as to provide much of the material for a short textbook. However, an all-recipe textbook on quantum simulation would lack an overall ordering perspective. </p> <p>Thus, a void in the existing quantum dynamics literature is an integrative synthesis of the above references by Mac Lane, Nielsen and Chuang, Ashtekar and Schilling, Caves; moreover many other authors&mdash;Arnold, Carmichael, Abraham and Marsden, Thurston, etc.&mdash;could be added to this list. It takes quite a bit of reading to appreciate that these authors' ideas and formalisms are naturally congruent.</p> <p>The arxiv preprint <a href="http://arxiv.org/abs/1007.1958" rel="nofollow"><i>Elements of naturality in dynamical simulation frameworks for Hamiltonian, thermostatic, and Lindbladian flows on classical and quantum state-spaces</i></a> (arXiv:1007.1958) is a first-draft summary of those results needed to establish a coherent set of geometric ideas associated to practical large-scale quantum simulation (fortunately, not very many new results are needed).</p> <p>Current research interests focus on verification, validation, and runtime estimation (VVR), with a view toward establishing consonance between practical VVR and various "no go" results that complexity theory provides. These investigations are still in an early stage; they largely motivate our TCS StackExchange questions "<a href="http://cstheory.stackexchange.com/questions/5004/are-runtime-bounds-in-p-decidable-answer-no" rel="nofollow">Are runtime bounds in P decidable? (answer: no)</a>" and "<a href="http://cstheory.stackexchange.com/questions/4704/do-runtimes-for-p-require-exp-resources-to-upper-bound-are-concrete-examples-k" rel="nofollow">Do runtimes for P require EXP resources to upper-bound? … are concrete examples known? (answer: yes and yes)</a>".</p> <p>We are working on a narrative that integrates these ideas, our MathOverflow answer to the question "<a href="http://mathoverflow.net/questions/55308/what-a-geometer-should-know/55319#55319" rel="nofollow"><i>What a Geometer Should Know</i></a>" is our working outline for that narrative.</p> <p>The PNAS article "<a href="http://www.pnas.org/content/106/8/2477.full" rel="nofollow"><i>Spin Microscopy's Heritage, Achievements, and Prospects</i></a>" describes our technical objectives, which originate in roadmaps set forth by von Neumann, Wiener, and Feynman in the era 1946-59; most of my questions and answers here on MathOverflow, and also on <a href="http://cstheory.stackexchange.com/users/1519/john-sidles" rel="nofollow">TCS StackExchange</a>, are conditioned upon these concrete (and predominantly medical) objectives.</p> <p>And finally, this first book <i>Geometric Dynamics with Practical Applications in Classical and Quantum Systems Engineering</i> is envisioned as the first of two books ... the second book will be <i>Applications of Quantum Spin Microscopy in Regenerative Medicine</i>. That second book will someday be a topic for a second post.</p> http://mathoverflow.net/questions/56677/what-notions-are-used-but-not-clearly-defined-in-modern-mathematics/57123#57123 Answer by John Sidles for What notions are used but not clearly defined in modern mathematics? John Sidles 2011-03-02T16:26:36Z 2011-06-20T18:37:11Z <p>In response to Colin Tan's request (below), I have posted these remarks as the <i>TCS StackExchange</i> question "<a href="http://cstheory.stackexchange.com/q/7059/1519" rel="nofollow">Do the undecidable attributes of P pose an obstruction to deciding P versus NP?</a>" </p> <hr> <p>That a mathematical idea be "clearly defined" is itself an idea that perhaps could be more clearly defined ... one candidate for a more rigorous assertion is that a mathematical intuition be formally <i>decidable</i>. Moreover, widespread intuitions that are eventually proved to be decidable versus undecidable have an illustrious history in mathematics.</p> <p>These reflections lead to the suggestion this community wiki's question would be better-posed mathematically (and might perhaps be more useful too) if it were amended to read:<blockquote>"What intuitions are commonly embraced and/or have proved to be broadly useful, but nonetheless are formally <i>undecidable</i>, in modern mathematics?"</blockquote>One specific example that comes to mind is <a href="http://cstheory.stackexchange.com/questions/5004/are-runtime-bounds-in-p-decidable-answer-no" rel="nofollow">Emanuele Viola's theorem</a>, with its implication that the set of Turing machines {M} associated to P has no decidable runtime ordering. Viola's proof of undecidability was eye-opening to me, and it has filled the valuable role of leading me to wonder "What else is out there?"</p> <p>To show the utility of these reflections, Section 1.5.2 of Sanjeev Arora and Boaz Barak's well-respected textbook <i>Computational Complexity: a Modern Approach</i> is titled <i>"Criticisms of P and some eﬀorts to address them"</i>. I have often wished that Arora and Barak had written more on this theme. With the help of Viola theorem, this wich becomes specific and rigorous: a section titled "What&nbsp;properties of P are not <i>decidable</i> in modern mathematics?" </p> <p>No doubt many more examples of "undecidable intuitions of modern mathematics" could be posted, and it would be great fun to read other people's examples. However, it seems inappropriate to amend the topic of a community wiki in such a fundamental respect, and so I am posting this amended question as a suggested general "answer" instead.</p> <hr> <p>Partially in response to Colin Tan's request (in the comments below), I have posted on TCS StackExchange the specific question "<a href="http://cstheory.stackexchange.com/questions/6836/what-is-the-proper-role-of-verification-in-quantum-sampling-simulation-and-exte" rel="nofollow">What is the proper role of verification in quantum sampling, simulation, and extended-Church-Turing (E-C-T) testing?</a>".</p> <p>More broadly, on Lance Fortnow's weblog, under the topic "<a href="http://www.blogger.com/comment.g?blogID=3722233&amp;postID=3501776212238109913" rel="nofollow">75 Years of Computer Science</a>", the question is raised </p> <blockquote> <p>"Do there exist languages $L$ that are recognized solely by those Turing machines in $P$ whose runtime exponents are undecidable? Can examples of these machines and languages be finitely constructed?" </p> </blockquote> <p>... but I am not (yet) prepared to post this as a MathOverflow and/or TCS StackExchange question. Thanks and appreciation are extended to Colin.</p> 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/14782/what-are-some-applications-of-other-fields-to-mathematics/66600#66600 Answer by John Sidles for What are some applications of other fields to mathematics? John Sidles 2011-05-31T22:26:35Z 2011-05-31T22:26:35Z <p>Misha Gromov's recent <i>Bull. AMS</i> article "Crystals, proteins, stability and isoperimetry" (2011) can be read as a 29-page essay on the requested topic, with a focus particularly on mathematical inspiration arising in evolutionary biology, neurophysiology, and cognitive science. Gromov sets the stage as follows:<blockquote>One may conjecture that neither cell nor brain would be possible if not for profound mathematical “somethings” behind these, Nature’s inventions. But what are these “somethings”? Why do we, mathematicians, remain unaware of them?&nbsp;&hellip; The history of mathematics shows how slow we are when it comes to inventing/recognizing new structures even if they are spread before our eyes, such as hyperbolic space, for instance.&nbsp;&hellip; One has to browse through myriad stars—structural specks of Life revealed by biologists—in order to identify the “essential ones”, and when (if ?) we ﬁnd them, we may start on the long road toward new mathematics. </blockquote>Gromov then goes on to suggest many dozens of concrete questions, arising in many bio-related disciplines, that uniformly direct our vision (<a href="http://mathoverflow.net/questions/14782/what-are-some-applications-of-other-fields-to-mathematics/33291#33291" rel="nofollow">to&nbsp;use&nbsp;Scott Aaron's nice similes</a>) from the "leaves" of life to the "roots" of fundamental mathematics. </p> <p>What does Gromov see (that everyone sees) that inspires him so frequently to conceive mathematics (that no one previously has conceived (Szent-Gyrgyi))? Gromov has written this essay, to tell us precisely what it is, that he presently sees.</p> <p>Since this is a community Wiki, I will informally suggest that it is great fun to read Gromov's inspiring essay either immediately before, or immediately after, viewing Stephane Guisard and Jose Salgado's similarly inspiring <a href="http://www.youtube.com/watch?v=wFpeM3fxJoQ" rel="nofollow">VLT (Very Large Telescope) HD Timelapse Footage</a>.</p> <p>Gromov is concerned largely with very small (molecular-scale) evolved systems, while Guisard and Salgado are concerned mainly with very large (galactic scale) evolved systems&nbsp;&hellip; and yet they are tapping the same source.</p> http://mathoverflow.net/questions/64400/is-an-immersed-kronecker-join-always-a-multilinear-variety-on-a-hilbert-space Is an immersed Kronecker join always a multilinear variety on a Hilbert space? John Sidles 2011-05-09T15:33:59Z 2011-05-31T13:50:03Z <p>The question asked is: </p> <blockquote> <p>Is the implicitization of an arbitrary-rank immersed Kronecker join always a multilinear variety on a Hilbert space?</p> </blockquote> <p>This is related to <a href="http://mathoverflow.net/questions/66506/in-quantum-dynamical-simulations-what-is-the-symmetric-riemannian-analog-of-a" rel="nofollow">another MathOverflow question</a></p> <blockquote> <p>In quantum dynamical simulations, what is the symmetric (Riemannian) analog of a Poisson bracket?</p> </blockquote> <p><b>Examples:</b> Let ${\mathcal{H}}$ be a Hilbert space of vectors ${\psi}$ that is spanned by a preferred basis that is given as an orthonormal set of ${n}$-spin (equivalently, ${n}$-qudit) Kronecker products, with the individual spin bases having possibly varying dimension. </p> <p>Define the <em>Kronecker join</em> <code>${\mathcal{K}_{r} \subseteq \mathcal{H}}$</code> to be the rank-<code>$r$</code> join of the (nonlinear) subspace of vectors in ${\mathcal{H}}$ that are given as Kronecker products in the preferred basis. Formally speaking, <code>$\mathcal{K}_{r}$</code> is the naturally immersion in ${\mathcal{H}}$ of the rank-$r$ secant variety of the $n$-factor Segre variety (see <b>Definitions and synopsis</b>, below).</p> <p>For example, let ${\mathcal{H}}$ be spanned by the Kronecker basis associated to two spin-${1/2}$ particles, such that the rank-1 states <code>${\psi\in \mathcal{K}_1}$</code> have the parametric representation</p> $\displaystyle \left[\begin{array}{c} \psi_{1}\\ \psi_{2}\\ \psi_{3}\\ \psi_{4} \end{array}\right] = \left[\begin{array}{c} \xi_{a,1}\\ \xi_{a,2} \end{array}\right] \otimes \left[\begin{array}{c} \xi_{b,1}\\ \xi_{b,2} \end{array}\right] = \left[\begin{array}{c} \xi_{a,1}\,\xi_{b,1}\\ \xi_{a,1}\,\xi_{b,2}\\ \xi_{a,2}\,\xi_{b,1}\\ \xi_{a,2}\,\xi_{b,2} \end{array}\right]$ </p> <p>Then we easily verify that <code>${\mathcal{K}_1}$</code>, viewed as an projective algebraic variety immersed in <code>${\mathcal{H}}$</code> is represented implicitly by the multilinear variety $0 = {\psi_{1} \psi_{4}-\psi_{2}\psi_{3}}$.</p> <p>Less obviously, let <code>${\mathcal{H}}$</code> be spanned by the Kronecker basis associated to two spin-${1}$ particles, such that the rank-2 Kronecker join states <code>${\psi\in \mathcal{K}_2}$</code> are represented by </p> $\displaystyle \left[\begin{array}{c} \psi_{1}\\ \vdots\\ \psi_{9} \end{array}\right] = \left[\begin{array}{c} \xi^1_{a,1}\\ \xi^1_{a,2}\\ \xi^1_{a,3} \end{array}\right] \otimes \left[\begin{array}{c} \xi^1_{b,1}\\ \xi^1_{b,2}\\ \xi^1_{b,3} \end{array}\right] + \left[\begin{array}{c} \xi^2_{a,1}\\ \xi^2_{a,2}\\ \xi^2_{a,3} \end{array}\right] \otimes \left[\begin{array}{c} \xi^2_{b,1}\\ \xi^2_{b,2}\\ \xi^2_{b,3} \end{array}\right] = \left[\begin{array}{c} \xi^1_{a,1}\,\xi^1_{b,1} + \xi^2_{a,1}\,\xi^2_{b,1} \\ \vdots\\ \xi^1_{a,3}\,\xi^1_{b,3} + \xi^2_{a,3}\,\xi^2_{b,3}\end{array}\right]$ </p> <p>Then we again verify that <code>${\mathcal{K}_2}$</code> has a multilinear implicit representation, namely <code>$0 = { \psi_{2} \psi_{6} \psi_{7} + \psi_{3} \psi_{4} \psi_{8} + \psi_{1} \psi_{5} \psi_{9} - \psi_{3} \psi_{5} \psi_{7} - \psi_{1} \psi_{6} \psi_{8} - \psi_{2} \psi_{4} \psi_{9} }$</code>.</p> <p>Least obviously (to me), it is empirically the case that every ${n}$-spin Kronecker join, of every join rank (that can be computed in a reasonable time via Groebner basis implicitization methods) has a multilinear implicit representation on ${\mathcal{H}}$. </p> <p>That is why I would be very grateful for a reference and/or a proof that all immersed Kronecker joins have a multilinear implicit representation&nbsp;&hellip;or for a counterexample.</p> <p><b>Practical Motivation:</b> Kronecker joins are ubiquitous in modern algorithms for large-scale quantum simulation, as they are the main building block for almost all state spaces (tensor network state-spaces, for example). Physically speaking, Kronecker joins loosely "fill up" Hilbert space with a geometry "foamy" algebraic manifold that nonetheless retains sufficient linear and symplectic structure that thermodynamical constraints and standard quantum limits are adequately respected.</p> <p>Issues relating to multilinearity arise naturally when we seek to <a href="http://faculty.washington.edu/sidles/ENC_2011/index.html#forGilKalai" rel="nofollow">describe quantum flows in the language of geometric dynamics</a>, specifically in the context of the following theorem:</p> <p><img src="http://faculty.washington.edu/sidles/ENC_2011/theorem_01.png" alt="theorem"></p> <p>In particular, even though in practical calculations we always use multilinear parametric representations of <code>$\mathcal{K}$</code>, nonetheless it would be very nice to know (as a fundamental mathematical insight) whether parametric multilinearity implies implicit multilinearity too (as seems empirically to be the case).</p> <p>More broadly, any and all references and/or remarks regarding similar theorems in algebraic geometry, dynamics, etc., and/or regarding better ways of stating this theorem (and similar ones) would be very welcome.</p> http://mathoverflow.net/questions/66075/the-half-life-of-a-theorem-or-arnolds-principle-at-work/66202#66202 Answer by John Sidles for The half-life of a theorem, or Arnold's principle at work John Sidles 2011-05-27T16:35:59Z 2011-05-27T16:35:59Z <p>I ran across the following (to me startling) example in Robert Cromie 1895 techno-thriller <i>The Crack of Doom</i> (reprinted in <i>The End of the World: Classic Tales of Apocalyptic Science Fiction</i>, Michael Kelehan, ed.)</p> <blockquote> <p>Page 102: "If you consult a common text-book on the physics of the aether, you will find that one grain of matter, contains sufficient energy, if etherised, to raise a hundred thousand tons nearly two miles."</p> </blockquote> <p>Here "grain" is a standard unit of jewelers (one gram = 15.4 grains). Then it is easy to verify, that within ±2% error, Cromie's "etherised" mass-energy relation is $E = m c^2/2$. </p> <p>Einstein was 16 years old when Cromie's book appeared (published by a European publishing house) ... a <i>very</i> impressionable age, needless to say. Yet despite the clue that Cromie so generously provided to science fiction fans in Europe, ten years passed before Einstein got the factor of two right.</p> http://mathoverflow.net/questions/65875/kro-necker-versus-kron-ecker-which-hyphenation-is-preferred Kro-necker versus Kron-ecker: which hyphenation is preferred? John Sidles 2011-05-24T17:05:31Z 2011-05-25T12:09:36Z <p><strong>Synopsis and concrete practices</strong></p> <p>Everyone is thanked for their comments, and in view of the diversity of views expressed, I have converted this question to a community wiki.</p> <p>Here is a working synopsis:</p> <ul> <li><p>With regard to the alternative hyphenations <code>Kron-ecker</code> versus <code>Kro-necker</code>, the "advanced search" feature of <i>Google Books</i> establishes that both hyphenations are in common usage. </p></li> <li><p>The rules of German-language orthography are sufficiently intricate, and the etymology of the name <code>Kronecker</code> is sufficiently obscure, as to provide well-founded justifications for either hyphenation.</p></li> <li><p>No one has come forth with a set of standardized hyphenations for mathematician's names that is in-use by a major mathematical journal or publishing house.</p></li> </ul> <p>In light of the preceding findings, one reasonable practice is the following:</p> <ul> <li><p>Include in the LaTex preamble a list of problematic mathematician's names that (by default) forbids their hyphenation (this was Theo Johnson-Freyd's excellent recommendation):</p> <p>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<code>\hyphenation{Kronecker Riemann Spivak}</code></p></li> <li><p>Upon the (rare) occasions that acceptable typography requires hyphenation of one of these names, then in the body of the manuscript optional hyphens can be inserted in the LaTeX file: </p> <p>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<code>\LaTeX optionally hyphenates Kron\-ecker Rie\-mann Spi\-vak</code></p></li> <li><p>In placing optional hyphens, lend equal weight to common usage and correct orthography (recognizing that these can be ambiguous upon occasion). </p></li> <li><p>Search methods help resolve problematic cases, for example the hyphenation <code>Rie-mann</code> is overwhelmingly preferred over <code>Riem-ann</code>.</p></li> </ul> <p>And finally, we should all remember to be grateful to Donald Knuth, who gave us the wonderful tools that allow us to balance good orthography with good typography. </p> <hr> <p><strong>Original question</strong></p> <p>The question asked is:</p> <blockquote> <p>Kro-necker versus Kron-ecker: which hyphenation is preferred?</p> </blockquote> <p>Equivalently, in TeX/LaTeX should one include "<code>\hyphenation{Kron-ecker}</code>" in the preamble? Or should one simply accept the default TeX/LaTeX hyphenation "Kro-necker"?</p> <p>A search of the <a href="http://tug.org/pipermail/tex-hyphen/" rel="nofollow">tex-hyphen archives</a> provides neither guidance specifically on "Kronecker," nor general guidance on preferred hyphenations for mathematician's names (except to show that there is a community of people who care passionately about these lexicographical issues).</p> <p>Therefore, instantly "accepted" will be any MathOverflow answer that provides a standardized "<code>\hyphenation{...}</code>" file (including mathematician's names) from any respected mathematical journal or publishing house.</p> <p>Although this question is perhaps not the most important ever asked on <i>MatherOverflow</i>, such a preferred-hyphenation list would be welcomed by me, and (IMHO) by many mathematical writers. For example, are there other problematic mathematical names?</p> <p>Recognizing too that some folks are relatively indifferent to mathematical hyphenation, these folks can provide instruction and amusement by offering opinions on the question "Why has the usage of 'Kronecker' been increasing inexorably for the past fifty years?"</p> <p><img src="http://faculty.washington.edu/sidles/ENC_2011/Kronecker_usage.png" alt="Google NGRAMS of Kronecker"></p> <p>As Mark Twain might have put it:</p> <blockquote> <p>Any <a href="http://books.google.com/books?id=Lh0RAAAAYAAJ&amp;pg=PA136" rel="nofollow">calm person, who is not blind or idiotic</a>, can see that in the year 52,011 or thereabouts, every book produced by human civilization will consist solely of the sentence "Kronecker, Kronecker, Kronecker,&hellip;"<br><br>There is something fascinating about Google's <em>Books Ngram Viewer</em>. One gets such wholesale returns of conjectures, out of such a trifling investment of fact.</p> </blockquote> <p>However, any opinions offered in this regard, no matter how erudite or amusingly stated, will <em>not</em> be considered as answers.</p> http://mathoverflow.net/questions/1890/describe-a-topic-in-one-sentence/65547#65547 Answer by John Sidles for Describe a topic in one sentence. John Sidles 2011-05-20T14:52:02Z 2011-05-20T16:22:58Z <p>Terry Tao, <a href="https://profiles.google.com/114134834346472219368/posts/WNYxf8DHXVi" rel="nofollow">in a post on <em>Google Buzz</em></a>, has given an overview of mathematics in the form of multiple "punch-lines" of the requested variety. </p> <p>Here are three examples from Tao's post:</p> <blockquote> <ul> <li><p>Algebra is the mathematics of the "equals" sign, of identity, and of the "main term"; analysis is the mathematics of the "less than" sign, of magnitude, and of the "error term". </p></li> <li><p>Algebra prizes structure, symmetry, and exact formulae; analysis prizes smoothness, stability, and estimates. </p></li> <li><p>Most of geometry would not be classified as either algebra or analysis, but simply as geometry.</p></li> </ul> </blockquote> <p>Definitely Tao's aphorisms are thought-provoking and inspiring ... but are they useful ? Don't ask me! :)</p> <hr> <p>Partly inspired by Tao's essay, here is a one-sentence <a href="http://faculty.washington.edu/sidles/ENC_2011/index.html#forGilKalai" rel="nofollow">definition of quantum mechanics</a> (as optimized for systems engineers) &nbsp;&hellip;</p> <blockquote> <ul> <li>Quantum mechanics is the algebraic geometry of $n$-particle Hamiltonian flows and Lindbladian compressions as pulled-back onto the natural $r$-indexed stratification of $r$'th secant varieties of $n$-factor Segre varieties whose $r\to\infty$ limit is&nbsp;&hellip; $n$-particle Hilbert space.</li> </ul> </blockquote> <p>&hellip; and it turns out to be very useful (and great fun) to rewrite standard quantum physics texts like <a href="http://faculty.washington.edu/sidles/ENC_2011/index.html#Slichter" rel="nofollow">Charles Slichter's <i>Principles of Magnetic Resonance</i></a> based upon this one sentence definition. </p> <p>Joseph Landsberg's recent <em>Bull. AMS</em> review "<a href="http://www.ams.org/journals/bull/2008-45-02/S0273-0979-08-01176-2/home.html" rel="nofollow">Geometry and the complexity of matrix multiplication</a>" (2008), which has been praised in multiple MathOverflow posts, provides an overview of the broad utility&mdash;despite their unwieldy name&mdash;of stratifications of secant varieties of Segre varieties (which extends far beyond quantum physics).</p> http://mathoverflow.net/questions/15444/the-phenomena-of-eventual-counterexamples/63618#63618 Answer by John Sidles for The phenomena of eventual counterexamples John Sidles 2011-05-01T16:13:29Z 2011-05-20T16:17:25Z <p>Hmmm ... as yet, no examples have been given from geometry or dynamics. So here's one.</p> <p>Supposing that we interpret <code>$P(a)=T$</code> for <code>$a&lt;n$</code> to mean "geometric objects have property $P$ for most objects that arise naturally", and let $P$ be the ergodic property, then the <a href="http://en.wikipedia.org/wiki/Kolmogorov%E2%80%93Arnold%E2%80%93Moser_theorem" rel="nofollow">Kolmogorov–Arnold–Moser theorem</a> suggests itself as providing the "eventual counterexample." </p> <p>Domokos Szasz' article "Boltzmann's Ergodic Hypothesis, a Conjecture for Centuries?" (1994) provides an historical overview of the long slow process by which dynamical conjectures that for centuries were widely believed, were eventually proved to be wrong.</p> <hr> <p>Another (related) answer:</p> <p>In Conway's LIFE game, if the starting patterns are arranged in lexical order, the first self-replicating life-form (known at present) is Andrew J. Wade's <a href="http://pentadecathlon.com/lifeNews/2010/05/oblique_life_spaceship_created.html" rel="nofollow">Gemini</a>. </p> <p>The <i>Gemini</i> life-form can be viewed as the first (known) counter-example to the hypothesis "life-forms are not self-replicating". The lexical index of <i>Gemini</i> (as computed from its bounding-box) is <code>$2^{4217807\times4220191}$</code> ... obviously too large to find by a blind search.</p> <p>It seems to be generically true of life-forms (both biological-type and Conway-type)&mdash;and perhaps formal proofs too?&mdash;that special properties are emergent at very large lexical order-number of starting structures.</p> http://mathoverflow.net/questions/58951/toy-models-of-quantum-mechanics/59050#59050 Answer by John Sidles for Toy Models of Quantum Mechanics John Sidles 2011-03-21T12:07:24Z 2011-05-03T00:35:20Z <p>The preceding "toy models" focus mainly on algebraic properties of quantum state-spaces. Students who prefer a more geometric and/or PDE perspective on quantum dynamics may find it instructive to consider classical dynamical systems, which (historically) have always been a rich source of quantum dynamical "toy models".</p> <p><b>Classical:</b> The state-spaces of classical dynamical systems typically are endowed with both a symplectic structure and a metric structure. Canonical examples ("toy problems") include the Bloch equations and the Landau-Lifshitz-Gilbert equations: both have $S^2$ as their state-space; the symplectic and metric structures are natural; and in both cases dynamical trajectories unravel according to canonical fluctuation-dissipation relations.</p> <p><b>Quantum:</b> $C^n$ is the state-space; the symplectic and metric structures are natural (that is, K&auml;hlerian); and dynamical trajectories unravel according to canonical fluctuation-dissipation (that is, Lindbladian) relations.</p> <p>In this geometric dynamical framework, what are often regarded as "spooky mysteries" of quantum mechanics are seen to be similarly present in classical theories; the main change is that global spectral theorems that apply in $C^n$ appear classically as local theorems involving dynamical flow.</p> <p>These ideas are scattered throughout in the literature of math and physics, but there is at present no single textbook that develops this unified classical/quantum dynamical point of view. This for me defines " <i><a href="http://mathoverflow.net/questions/54232/a-book-you-would-like-to-write/54364#54364" rel="nofollow">a book that you would like to write</a></i>" (in Gil Kalai's phrase); further references to the literature can be found in <a href="http://mathoverflow.net/questions/54232/a-book-you-would-like-to-write/54364#54364" rel="nofollow">that post</a>.</p> <p>In the meantime, a good "toy" exercise is to write down the symplectic and metric structures, and the Hamiltonian and Lindbladian potentials, that describe the Bloch equations in geometrically natural terms. In particular, an illuminating exercise is to derive via classical geometric methods the results that Charles Slichter's <i><a href="http://books.google.com/books?id=zgnrRkaIhFoC&amp;pg=PA66" rel="nofollow">Principles of magnetic resonance</a></i> derives quantum mechanically in Section 3.2, equation 3.7. </p> <hr> <p><b>Note added:</b> At the <a href="http://faculty.washington.edu/sidles/ENC_2011/index.html#Slichter" rel="nofollow">52nd ENC Conference at Asilomar conference</a>, we reduced the above ideas to practice, by redrafting Chapter III of Slichter's <i>Principles of magnetic resonance</i> in the language of geometric dynamics (<a href="http://faculty.washington.edu/sidles/ENC_2011/UW_ENC_2011_handout_015.pdf" rel="nofollow">PDF here</a>). Here is the main theorem:</p> <p><img src="http://faculty.washington.edu/sidles/ENC_2011/theorem_01.png" alt="quantumPullbackTheorem"> </p> <p>In essence, it turns out to be surprisingly easy to construct nonlinear quantum state-spaces that respect both thermodynamic "goodness" (that is, K&auml;hlerian structure) and quantum "goodness" (that is, Lindbladian structure).</p> <p>Ought we to regard Kronecker state-spaces as legitimate quantum foil theories? Or are they merely useful computational idioms? Don't ask us ... as quantum simulations become more-and-more realistic, the division between quantum foil theories and practical computational tools is becoming less distinct.</p> http://mathoverflow.net/questions/45477/closed-form-functions-with-half-exponential-growth/48596#48596 Answer by John Sidles for "Closed-form" functions with half-exponential growth John Sidles 2010-12-07T22:36:11Z 2011-05-02T16:51:26Z <p>On <a href="http://rjlipton.wordpress.com/2011/04/28/succinct-constant-depth-arithmetic-circuits-are-weak/#comment-11771" rel="nofollow">Dick Lipton's weblog</a>, I posted a brief essay on demi-exponential functions, which I repeat here:</p> <hr> <p>To expand upon Ken's remarks regarding demi-exponential functions (which is a fine name for them!), the analytic structure of these functions derives from the Lambert $W$ function, which is the subject of a classic article <i><a href="http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.86.9305&amp;rep=rep1&amp;type=pdf" rel="nofollow">On the Lambert W Function</a></i> (1996) by Corless, Gonnet, Hare, Jeffrey, and Knuth (yes, one somehow knew that Donald Knuth's name would arise in connection to such an interesting function ... to date this article has received more than 1600 references).</p> <p>The connection arises via the following construction. Suppose that a demi-exponential function $d$ satisfies $d \circ d \circ \dots \circ d \circ z = \gamma \beta^z$, where $d$ is composed $k$ times. We say that $k$ is the <em>order</em> of the demi-function, $\gamma$ is the <em>gain</em> and $\beta$ is the <em>base</em>. It is easy to show that the fixed points of $d$ are given explicitly in terms of the $n$-th branch of the Lambert function as $z_f = -W_n(-\gamma \ln \beta)/\ln \beta$. Then by a series expansion about these fixed points (optionally augmented by a Pade resummation) it is straightforward to construct the demi-exponential functions both formally and numerically. </p> <p>Provided the demi-exponential base and gain satisfy $\gamma \le 1/(e \ln \beta)$, such that the fixed points associated to the $n=-1$ branch of the $W$-function are real and positive, this construction yields smooth demi-exponential functions that pleasingly accord with our intuition of what demi-exponential functions should'' look like. </p> <p>Counter-intuitively though, whenever the specified gain and base are sufficiently large that $\gamma > 1/(e \ln \beta)$, then the demi-exponential function has no real-valued fixed points, but rather develops jump-type singularities. In particular, the seemingly reasonable parameters $\beta=e$ and $\gamma=1$ have no smooth demi-exponential function associated to them (at least, that's the numerical evidence). </p> <p>Perhaps this is one reason that demi-exponential functions have a reputation for being difficult to construct ... it is indeed very difficult to construct smooth functions for ranges of parameters such that no function has the desired smoothness! </p> <p>It might be feasible (AFAICT) to write an article <i>On demi-exponential functions associated to the Lambert W Function</i>, and to include these functions in standard numerical packages (SciPy, MATLAB, Mathematica, etc.). </p> <p>Some tough challenges would have to be met, however. Especially, there is at present no known integral representation of the demi-exponential functions (known to me, anyway), and yet such a representation would be very useful (perhaps even essential) in rigorously proving the analytical structures that the numerical Pade approximants show us so clearly.</p> <p><i>Mathematica</i> script <a href="http://faculty.washington.edu/sidles/Litotica_reading/Litotica_half_exp.pdf" rel="nofollow">here (PDF)</a>.</p> <hr> <p>Here's what these functions look like:</p> <p><img src="http://faculty.washington.edu/sidles/Litotica_reading/halfexp.png" alt="halfexpPicture"> </p> <hr> <p><b>Final note:</b> Inspired by the recent burst of interest in these demi-exponential functions, and mainly for my own recreational enjoyment, I have verified (numerically) that demi-exponential functions $d$ having (1) fixed point $z_f = d(z_f) = 1$, and (2) any desired <i>asymptotic</i> order, gain, and base can readily be constructed. </p> <p>I'd be happy to post details of this construction ... but it's not clear that anyone has any practical interest in computing numerical values of demi-exponential functions.</p> <p>What folks mainly wanted to know was: (1) Do smooth demi-exponential functions exist? (answer: yes), (2) Can demi-exponential functions be computed to any desired accuracy? (answer: yes), and (3) Do demi-exponential functions have a tractable closed form, either exact or asymptotic? (answer: no such closed-form expressions are known).</p> http://mathoverflow.net/questions/58870/what-should-be-taught-in-a-1st-course-on-smooth-manifolds/59080#59080 Answer by John Sidles for What should be taught in a 1st course on smooth manifolds? John Sidles 2011-03-21T16:38:13Z 2011-03-25T17:38:58Z <p><b>Update:</b> it may be Spivak's new book <a href="http://www.amazon.com/Physics-Mathematicians-Mechanics-Michael-Spivak/dp/0914098322" rel="nofollow"><i>Physics for Mathematicians: Mechanics I</i></a> covers most of the material that this answer had in mind. I've just ordered a copy, and will report on it when it arrives.</p> <hr> <p>Neither Milnor's book nor Guillemin and Pollack's book contains the word "symplectic" ... which is a great pity! </p> <p>Since the manifolds under study are smooth, they have a cotangent bundle; this bundle is associated to a tautological one-form whose exterior derivative is a (canonical) symplectic form. </p> <p>If in addition the base manifold has a metric, then a canonical (quadratic) Hamiltonian function too is defined on the tangent bundle. </p> <p>Hmmm ... what might be the integral curves of this Hamiltonian function? It is instructive for students to discover for themselves that the curves are simply the geodesics of the base manifold. </p> <p>In this way, students gain an appreciation that all of dynamics (both classical and quantum) is intimately linked to the geometry and topology of smooth manifolds ... this appreciation is good preparation for many careers in math, science, and engineering.</p> http://mathoverflow.net/questions/58554/preferably-rare-audio-video-recordings-of-famous-mathematicians/58590#58590 Answer by John Sidles for (Preferably rare) Audio/Video recordings of famous mathematicians? John Sidles 2011-03-16T00:18:49Z 2011-03-16T00:18:49Z <p>The voice of John von Neumann dedicating the <a href="http://en.wikipedia.org/wiki/IBM_NORC" rel="nofollow">NORC computer</a> in 1954 (<a href="http://courses.washington.edu/goodall/MRFM_movies/vonNeumann_short.mov" rel="nofollow">short excerpt</a> and <a href="http://courses.washington.edu/goodall/MRFM_movies/von_Neumann.mov" rel="nofollow">full speech</a>).</p> <p><img src="http://courses.washington.edu/goodall/MRFM_movies/von_Neumann.png" alt="alt text"></p> <p>The wire recording is a bit murky; here is my best-effort transcript of the short excerpt:</p> <blockquote> <p>"Those of you present who have lived with this field, and who have lived with and suffered with computing machines of various sorts, and know what kind of regime it is to invest in one, I'm sure have appreciated the fact that it appears that this machine has been completely assembled less than two months ago, has been run on problems less than two weeks ago, and yesterday already ran for four hours without making a mistake. Those of you who have <em>not</em> been exposed to computing machines, and who do not have the desolate feeling which goes with living with their mistakes, will appreciate what it means that a computing machine, after about two weeks of breaking in, has really a faultless run of four hours. It is completely fantastic on an object of this size; I doubt it has ever been achieved before, and it is an enormous reassurance regarding the state of the art and regarding the complexities to which one will be able to go in the future, that this has been achieved."</p> </blockquote> <p>Here is the BibTeX reference to a printed version (which differs slightly from the speech).</p> <pre><code>@incollection{vonNeumann:54, Author = {J. von Neumann}, Booktitle = {John von Neumann Collected Works}, Editor = {A. H. Taub}, Publisher = {Pergamon Press}, Title = {The N.O.R.C.~and Problems in High Speed Computing}, Volume = {5}, Year = 1954, Pages = 238--247} </code></pre> http://mathoverflow.net/questions/57820/is-there-a-mathematical-axiomatization-of-time-other-than-perhaps-entropy/58079#58079 Answer by John Sidles for Is there a mathematical axiomatization of time (other than, perhaps, entropy)? John Sidles 2011-03-10T14:46:03Z 2011-03-10T17:44:21Z <p>Hmmm ... the question asked intimately blends quantum mechanics and general relativity, in the sense that time (as we experience it in everyday life) is associated to our ability to causally order events. </p> <p>For example, we readily communicate information forward in time, but not backwards in time, and in particular, we cannot send information faster than speed-of-light. How does this work?</p> <p>Even more challenging: how can we reduce these physical puzzles to well-posed mathematical problems?</p> <p>The discussion in Nielsen and Chuang's textbook <i>Quantum Computation and Quantum Information</i> of "The Principles of Deferred and Implicit Measurement" bears directly upon these mysteries ... and in turn, the Nielsen and Chuang discussion derives largely from work by Kraus, Lindblad, and Choi ... and in turn, Kraus, Lindblad, and Choi based their work largely on theorems derived in a dry 1955 article by W. Forrest Stinespring titled "Positive Functions on {$C^\ast$}-Algebras."</p> <p>So we are lead to ask, how does one explicitly link Stinespring's dry algebraic theorems to the juicy physical mysteries of causality, relativity, and quantum mechanics? </p> <p>Well, I had occasion earlier this week to post about this link on Scott Aaronson's <i>Shtetl Optimized</i> weblog, and I append that discussion.</p> <p>The short answer is "A seminal 1955 experiment by Hanbury Brown and Twiss established the connexion" ... and the details are very interesting.</p> <p>Entire books have been written upon this subject, and so I hope MathOverflow readers don't mind a fairly length answer ... which nonetheless covers only a tiny fraction of this fascinating topic ...</p> <hr> <p>(from <a href="http://www.scottaaronson.com/blog/?p=566#comment-21389" rel="nofollow">a post on <i>Shtetl Optimized</i></a>)</p> <p>One wonderful aspect of (of many IMHO) of Scott [Aaronson] and Alex [Arkhipov's] <a href="http://www.scottaaronson.com/papers/optics.pdf" rel="nofollow">new class of linear optics experiments</a> is the motivation these experiments provide for students to go beyond Feynman's celebrated <i>Lectures on Physics</i> in understanding the physics of photon counting.</p> <p>[note added: in particular, photon counting as a causal communication channel.]</p> <p>The quantum physics of photon detection is a subtle topic that even Richard Feynman got wrong on occasion. The story of Feynman's mistake is vividly told in the <i>Physics Today's</i> obituary for Robert Hanbury Brown (volume 55(7), 2002), which tells of Feynman standing up during a talk Hanbury Brown, proclaiming (wrongly) "It can't work!", and walking out of the lecture.</p> <p>The quantum physics associated to this Feynman story is summarized in series of six short letters, totaling 12 pages in all, that appeared in <i>Nature</i> during 1955-6. These letters describe what is today called the "Hanbury Brown and Twiss Effect"&mdash;the first-ever observation of higher-order photon counting correlations.</p> <p>The story of the Hanbury Brown and Twiss Effect, as recounted on the pages of <i>Nature</i>, in effect has six thrilling episodes:</p> <ul> <li><p><b>Episode&nbsp;1:</b> Hanbury Brown and Twiss announce (in effect) "In the laboratory, we observe nontrivial correlations in photons generated by glowing gases." (<i>Correlation between photons in two coherent beams of light</i>, Nature 177(4497), 1956). </p></li> <li><p><b>Episode&nbsp;2:</b> Brannen and Ferguson announce (in effect) "The claims of Hanbury Brown and Twiss, if true, would require major revision of some fundamental concepts of quantum mechanics; moreover when we did a more careful experiment, we saw nothing." (<i>The question of correlation between photons in coherent light rays</i>, Nature 178(4531), 1956). </p></li> <li><p><b>Episode&nbsp;3:</b> Not yet having seen Brannen and Ferguson's criticism, Hanbury Brown and Twiss further announce (in effect) "We observe nontrivial correlations even in photons from the star Sirius, and our theory allows us to determine its diameter" (<i>Test of new type of stellar interferometer on Sirius</i>, Nature 178(4541), 1956). </p></li> <li><p><b>Episode&nbsp;4:</b> Hanbury Brown and Twiss reply "The experiment of Brannen and Ferguson was grossly lacking in sensitivity; had they analyzed their experiment properly, they would have <i>expected</i> to see no effect" (<i>The question of correlation between photons in coherent light rays</i>, Nature 178(4548), 1956).</p></li> <li><p><b>Episode&nbsp;5:</b> In an accompanying letter, Ed Purcell announces (in effect) "Hanbury Brown and Twiss are right, moreover their theoretical predictions and their experiments data are in accord with quantum mechanics as properly understood." (Nature 178(4548), 1956). </p></li> <li><p><b>Episode&nbsp;6:</b> Hanbury Brown and Twiss announce (in effect) "When the experimental methods of Brannen and Ferguson are implemented with higher sensitivity, and analyzed with due respect for quantum theory as explained by Purcell, the results wholly confirm our earlier findings." (<i>Correlation between photons, in coherent beams of light, detected by a coincidence counting technique</i>, Nature 180(4581), 1956).</p></li> </ul> <p>When we read the 12-page story of Hanbury Brown and Twiss side-by-side with the discussion of photon counting in <i>The Feynman Lectures on Physics</i>, we are struck by three aspects of the Hanbury Brown and Twiss experiments that are <i>not</i> emphasized in the <i>Feynman Lectures</i>.</p> <p>First, the Hanbury Brown and Twiss articles exhibit a charming physicality that is largely absent from the Feynman Lectures. For example, Hanbury Brown and Twiss describe the use of an "integrating motor" to measure the total current associated to photon detection during an experimental run. Modern physics students will wonder "What the heck is an integrating motor?", yet in the physics literature of the 1950s this concept was viewed as being so intuitively obvious as to require no explanation: the total number of revolutions of an electric motor (as counted by purely mechanical means!) <i>obviously</i> can be made proportional to the integral of the current flowing through it ... that's how electric meters work, right?" </p> <p>As Ed Purcell's letter to <i>Nature</i> rightly observes, the observation of subtle quantum correlations with purely mechanical counters "adds lustre to the notable achievement of Hanbury Brown and Twiss."</p> <p>Second, the experimental protocol of Hanbury Brown and Twiss includes elements that are highly sophisticated from the viewpoint of modern quantum information theory. In particular, while aligning their apparatus, they reverse the flow of photons by placing their eyes at the position of the source, and while physically looking at two photodetectors through a half-silvered mirror, they adjust the mirrors such that the images of the photodectors are coherently superimposed. We nowadays appreciate that from the viewpoint of QED, this time-reversed coherence is necessary to ensure that quantum fluctuations in the photon detector currents are deterministically associated to quantum fluctuations in the photon source currents.</p> <p>Third, it follows that in the observations of Sirius recorded by Hanbury Brown and Twiss, their experimental record of correlated photocurrents here on earth is deterministically associated to currents that span the surface of the remote star Sirus -- eight light-years away! This counterintuitive implication was why many theoretical physicists (including Feynman) at first considered the results of Hanbury Brown and Twiss to be (literally) incredible.</p> <p>Nowadays we appreciate that this seeming paradox is naturally reconciled via the quantum informatic mechanism that Nielsen and Chuang call the "Principles of Deferred and Implicit Measurement" -- principles that are formally associated to work by Kraus and Lindblad in the 1970s; principles that were not readily appreciated by Feynman and his colleagues in the 1950s.</p> <p>[note added: although Stinespring published his theorems in 1955, it took decades for physicists to appreciate their implications.]</p> <p>Moreover, the experiments of Hanbury Brown and Twiss were vastly wasteful of photonic resources. The star Sirius emits about $10^{46}$ photons/second, of which Hanbury Brown and Twiss detected about $10^{9}$ two-photon entangled states/second ... the relative production efficiency thus was a dismal $10^{-37}$. Even today, more than 50 years later, the production of six-photon entangled states still is dismally inefficient: in recent experiments $10^{18}$ photons/second of pump power yield about one six-photon state per thousand seconds, for a relative production efficiency of order $10^{-21}$.</p> <p>We see that one of the fundamental challenges (among many!) that Scott and Alex's experiment poses for 21st century physicists, is to devise methods for generating entangled photon states that are <i>exponentially</i> more efficient than existing methods. To achieve this, modern physicists will have to do exactly what Hanbury Brown and Twiss did ... "look" at the photon detectors from the time-reversed viewpoint of the photon source ... and then (by careful design) arrange for the photon source currents to have near-unity correlation with the photon detector currents. </p> <p>This is an immense practical challenge in cavity quantum electrodynamics, that we are certain to learn a great deal in trying to solve. At present we are similarly far from having scalable quantum-coherent n-photon sources, as we are far from having scalable quantum-coherent n-gate quantum computers.</p> <p>These considerations are why, from an engineeering point-of-view, it is prudent to regard n-photon linear optics experiments, not as being obviously easier than building n-gate quantum circuits, but rather as being comparably challenging from a technical point-of-view. And this is why it will not be surprising (to me) if the Aaronson/Arkhipov distribution-sampling algorithms prove in the long run to be similarly seminal mathematically and theoretically&mdash;and similarly challenging experimentally&mdash;to Peter Shor's number-factoring algorithms.</p> <hr> <p><b>Summary:</b> A satisfactory understanding of mathematical/physical time is intimately bound-up with our understanding of experiments like that of Hanbury Brown and Twiss ... and even after many decades of work, we still have a long way to go, to achieve this understanding.</p> <p>In particular, despite more than a century of work, we still lack a mathematical roadmap that naturally accommodates the quantum dynamics of field theory, the informatic causality of Stinespring/Kraus/Choi/Lindblad, and the dynamical state-space geometry of Riemann and Einstein ... see the concluding section of Ashtekar and Schilling's arxiv manuscript <a href="http://arxiv.org/abs/gr-qc/9706069" rel="nofollow"><i>Geometrical formulation of quantum mechanics</i></a>, and also Troy Schilling's thesis <a href="http://igpg.gravity.psu.edu/archives/thesis/1996/troy.pdf" rel="nofollow"><i>Geometry of Quantum Mechanics</i></a> (Penn State, 1996) for further discussion.</p> <hr> <p>Added comment: Troy Schilling's 1996 thesis <i>Geometry of Quantum Mechanics</i> is well-conceived, and I have often wondered about Schilling's subsequent career. If anyone has information, please post a comment. </p> http://mathoverflow.net/questions/24526/good-papers-books-essays-about-the-thought-process-behind-mathematical-research/57477#57477 Answer by John Sidles for Good papers/books/essays about the thought process behind mathematical research John Sidles 2011-03-05T17:38:58Z 2011-03-05T17:38:58Z <p>Not mentioned so far is Bill Thurston's <i>On proof and progress in mathematics</i> (1994). With more than three hundred citations, it surely qualifies as a classic ... it is a permanent left-column link on Terry Tao's weblog, for example.</p> <p>Thurston's essay is unique, relative to other such essays, in that it describes (in Section 6, "Some Personal Experiences") not one path, but <em>two</em> distinct paths relating to thought processes in mathematical research:</p> <ul> <li>a solitary path associated to Thurston's early work on foliations</li> <li>a social path associated to Thurston's later work on the Geometrization Conjecture</li> </ul> <p>Thurston's latter approach is the topic of much research today, under various rubrics that include "social media", "social networks", and "roadmapping". </p> <p>The foresighted points -- by 17 years -- of Thurston's essay include:</p> <ul> <li>social elements of research can be consciously chosen by individuals</li> <li>fundamental mathematics can provide uniquely strong foundations for social enterprises</li> <li>healthy mathematical communities make faster progress, and also, a better environment for nurturing the next generation of young mathematicians.</li> </ul> <p>A recent well-respected essay that amounts to a consensus abstraction of Thurston's ideas is the International Roadmap Committee (IRC) <a href="http://www.itrs.net/papers.html" rel="nofollow"><i>More-than-Moore White Paper</i></a>. For modern-day systems engineers especially, it is very instructive to read-out the main themes of Thurston's 1994 essay from the IRC's 2010 white paper, and thus to appreciate that Thurston's ideas were far ahead of their time. </p> <p>In particular, the IRC's five consensus preconditions for successful roadmapping are anticipated with near-perfection by Thurston's essay ... and this is why Thurston's essay no doubt will continue to gather new citations through decades to come.</p> http://mathoverflow.net/questions/57230/discrete-fourier-transform-of-the-mobius-function/57466#57466 Answer by John Sidles for Discrete Fourier Transform of the Möbius Function John Sidles 2011-03-05T15:59:00Z 2011-03-05T15:59:00Z <p>The high level of abstraction that number theorists sustain is a continual source of amazement to me ... doesn't anyone want to see what $\hat\mu(k,n)$ concretely <i>looks</i> like? </p> <p>So let's do it! Mainly for fun (and as a gesture of respect for Gil), here is a density plot of $n^{1/2} \hat\mu(k,n)$ for all values $(n,k) \in 1,1024$ (note that a normalizing factor $n^{1/2}$ is included; this scaling yields near-uniform luminance in the plot):</p> <p><img src="http://faculty.washington.edu/sidles/Moebius/Moebius__1024_canonical.png" alt="(canonical Moebius plot)"></p> <p>As usual, the argument (phase) of $\hat\mu(k,n)$ is encoded as hue, and the magnitude as saturation and value. For details, see the <a href="http://faculty.washington.edu/sidles/Moebius/Moebius_Mathematica.m" rel="nofollow">Mathematica code</a> that produced the above plot (for many people, the most interesting aspect of the code will be the idiom for exporting Mathematica graphics to png files; certainly this is by far the longest part of the code, and the toughest to debug).</p> <p>Such codes code encourages us to do numerical experiments ...</p> <p>What happens if we randomize the sign of the M&ouml;bius function?</p> <p><img src="http://faculty.washington.edu/sidles/Moebius/Moebius__1024_randomized.png" alt="(canonical Moebius plot)"></p> <p>Hmmm ... when we randomize the sign of the M&ouml;bius function, $\hat\mu(k,n)$ doesn't look much different, does it? </p> <p>On the other hand, we know (from other numerical experiments) that when we compute a pseudo-Riemann function $\zeta^\prime(s) = (\sum_{r=1}^\infty \mu(r)/r^s)^{-1}$ using a randomized-sign M&ouml;bius function, then the resulting $\zeta^\prime(s)$ has a distribution of zeros that is grossly different from the distribution of zeros in $\zeta(s)$ (to see this, just try it).</p> <p>In summary, the special properties of the distribution of primes (relative to randomized distributions) that are so plainly evident when we "look" at the zeros of $\zeta(s)$, are not immediately evident when we "look" at the magnitude and phase of $\hat\mu(k,n)$.</p> <p>As for what this observation means (if anything at all) ... well ... that is for the number theorists to comment upon, not me! :)</p> http://mathoverflow.net/questions/11540/what-are-the-most-attractive-turing-undecidable-problems-in-mathematics/55936#55936 Answer by John Sidles for What are the most attractive Turing undecidable problems in mathematics? John Sidles 2011-02-19T00:50:32Z 2011-02-26T18:10:45Z <p>The following undecidable problem is natural for engineers in the sense that runtime estimation is an ubiquitous engineering problem associated to (for example) control theory and circuit design. </p> <blockquote> <p><strong>Viola's theorem</strong>&nbsp;&nbsp;Given an integer $k$ and Turing machine $M$ promised to be in P, the question "Is the runtime of $M$ of ${O}(n^k)$ with respect to input length $n$ ?" is undecidable.</p> </blockquote> <p>The proof of this problem's undecidability was given on TCS StackExchange by Emanuele Viola in answer to the question <a href="http://cstheory.stackexchange.com/questions/5004/are-runtime-bounds-in-p-decidable-answer-no" rel="nofollow"><i>Are runtime bounds in P decidable?</i></a> </p> <p><strong>Background</strong></p> <p>This question arose in parsing Luca Tevisan's answer on TCS StackExchange to the question <a href="http://cstheory.stackexchange.com/questions/4704/do-runtimes-for-p-require-exp-resources-to-upper-bound-are-concrete-examples-k/4716#4716" rel="nofollow"><i>Do&nbsp;runtimes for P require EXP resources to upper-bound? … are concrete examples known?</i></a> (answer: yes and yes). </p> <p>The&nbsp;illumination sought in asking/answering this question was a better appreciation/intuition regarding the practical aspects of runtime estimation in the complexity class P, in the sense of runtime estimates that are feasible (that is, require computational resources in P), versus&nbsp;infeasible (that is, require computational resources in EXP), versus formally&nbsp;undecidable (the instance above).</p> <p>What this problem's undecidability shows us, perhaps, is that some aspects of P are richer and more subtle than is readily appreciated upon first acquaintance.</p> http://mathoverflow.net/questions/54124/do-runtimes-for-p-require-exp-resources-to-upper-bound-are-concrete-examples Do runtimes for P require EXP resources to upper-bound? ... are concrete examples known? (answer: yes and yes) John Sidles 2011-02-02T18:50:43Z 2011-02-18T18:16:11Z <p>Update #6:</p> <p>Wow, quick service on TCS StackExchange! Emanuele Viola has provided an answer <a href="http://cstheory.stackexchange.com/questions/5004/are-runtime-bounds-in-p-decidable" rel="nofollow"><i>Are runtime bounds in P decidable? Answer: No</i></a>.</p> <p>Emanuele's answer illuminates (for me) Luca Trevisan's answer <a href="http://cstheory.stackexchange.com/questions/4704/do-runtimes-for-p-require-exp-resources-to-upper-bound-are-concrete-examples-k/4716#4716" rel="nofollow">Do runtimes for P require exp resources to upper-bound? Answer: yes</a>.</p> <p>Thus, I am becoming pretty optimistic of being able to post, pretty soon, a reasonably reliable (partial) summary of the computational complexity of runtime estimation for algorithms in P (it's harder than one might guess). </p> <p>In the meantime, please see Emanuele's and Luca's answers, which in aggregate I regard as an answer to the question posed (and I have modified the title to reflect this).</p> <hr> <p>Update #5:</p> <p>I am pleased to report slow-but-steady progress toward a summary answer -- a key remaining question, that has just been asked on TCS StackExchange, is <a href="http://cstheory.stackexchange.com/questions/5004/are-runtime-bounds-in-p-decidable" rel="nofollow"><i>Are runtime bounds in P decidable?</i></a></p> <p>My thanks go to all who have helped/are helping this particular researcher.</p> <hr> <p>Update #4</p> <p>Rather slowly, an answer is crystallizing both here and in <a href="http://cstheory.stackexchange.com/q/4704/1519" rel="nofollow">a parallel discussion on TCS StackExchange</a>.</p> <p>At the present rate of progress there is reason to hope that before the end of February there will be a summary answer that is technically correct, reasonably comprehensive, solidly referenced ... and fun to read too. In the meantime, the short answer is (AFAICT) "yes" and "yes".</p> <p>If you think that you already know the longer answer ... then please don't wait on me or anyone else, to post it.</p> <hr> <p>Update #3: </p> <p>To appreciate why it may take awhile for a concluding summary answer to appear, please see Luca Trevisan's comment (below) that begins "By the way, your question, and my answer, do not affect the proof that $BQP^P=BQP$ ..." (and also my response). </p> <p>Informally, the accepted usages and proof methods of complexity theory sometimes appear to engineers as what Dick Lipton and Ken Regan, on their weblog <i>G&ouml;del's Lost Letter and P-NP</i>, <a href="http://rjlipton.wordpress.com/2010/09/21/are-quantum-impossibility-proofs-possible/" rel="nofollow">have called "Flaming Arrows"</a>. </p> <p>By "flaming arrow" is meant, a piece of proof machinery that causes the reader to exclaim “Are&nbsp;they allowed to do that?” </p> <p>By engineering standards, the machinery of complexity theory contains multiple flaming-arrow elements ... in particular, cross-disciplinary discrepancies in the accounting of computational costs associated to verification and validation processes take awhile to grasp. </p> <p>Thank you all for your patience, and thanks go to Luca Trevisan, especially, for his comments.</p> <hr> <p>Update #2:</p> <p>Over on <i>TCS StackExchange</i>, I have rated as "accepted" <a href="http://cstheory.stackexchange.com/questions/4704/do-runtimes-for-p-require-exp-resources-to-upper-bound-are-concrete-examples-k/4716#4716" rel="nofollow">an ingenious construction by Luca Trevisan</a>, which answers a two-part question (as reframed by Tsuyoshi Ito) that is the same as the one asked here, "Do runtimes for P require EXP resources to upper-bound? … are concrete examples known?" </p> <p>Hopefully I have grasped correctly that, in brief, Luca's construction yields the answers "yes" and "yes for all practical purposes" (FAPP).</p> <p>It will take awhile (for me anyway) to appreciate whether Luca's $M$-machines obstruct the $P$-time uniform reduction of ${BQP}^{P}\,\to\,{BQP}$ that is at the heart of the original question posed here on on <em>MathOverflow</em>, that question being, <a href="http://mathoverflow.net/questions/53503/does-bqpp-bqp-and-what-proof-machinery-is-available" rel="nofollow">"Does BQP^P = BQP? ... and what proof machinery is&nbsp;available?"</a>, which in turn generalized a question that was posed by Dick Lipton and Ken Regan on their weblog <i>G&ouml;del's Lost Letter and P=NP</i>, the question <a href="http://rjlipton.wordpress.com/2011/01/23/is-factoring-really-in-bqp-really/" rel="nofollow">"Is&nbsp;Factoring Really In BQP? Really?"</a></p> <p>After some further reflection (which may take a few days) I will attempt a summary back-trace of this chain of questions, which so enjoyably unites elements of mathematics, science and practical engineering, and will post that summary both here and on <i>TCS StackExchange</i>.</p> <p>In the meantime, my thanks and appreciation are extended to everyone ... and further comments are very welcome, of course!</p> <hr> <p>Update #1: </p> <p>On TCS Stackexchange, Chicago's Joshua Grochow has suggested <a href="http://cstheory.stackexchange.com/questions/4704/do-runtimes-for-p-require-exp-resources-to-upper-bound-are-concrete-examples-k/4708#4708" rel="nofollow">(provisional) answers that amount to "yes" (EXP resources are required) and "no" (no concrete instance given as yet)</a>. There are still several technical issues to be addressed (these issues reflect mainly my slow imperfect understanding), and I will post a summary when the dust settles. My thanks as always go to all who so kindly and generously contribute to these forums.</p> <hr> <p>Do runtimes for algorithms in <em>P</em> require <em>EXP</em> resources to upper-bound? ... are concrete examples known?</p> <p>The practical motivation for this question arises from a previous MathOverflow question "<a href="http://mathoverflow.net/questions/53503/does-bqpp-bqp-and-what-proof-machinery-is-available" rel="nofollow">Does $BQP^P = BQP$? That is, is $P$ low for $BQP$?</a>" (to which Aram Harrow supplied the answer "yes", accompanied by good references). The present question asks about the computational resources that are required to accomplish this reduction.</p> <p>As before, <em>P</em> is the standard complexity class that is associated to polynomial-time algorithms implemented on (classical) Turing machines, and <em>BQP</em> is the standard (quantum) complexity class <em>Bounded Error Quantum Polynomial Time</em>. We have specifically in mind a logic-gate instantiation of <em>BQP</em>, and for <em>P</em> we have in mind a single-tape Turing machine.</p> <p>Thus in practical terms, the question concerns the generic computational complexity of converting a Turing algorithm (stipulated to be in <em>P</em>) to a circuit representation. </p> <p>The number of gates in the circuit provides a <em>prima facie</em> upper bound (hmmmm ... within a coefficient?) for the runtime of <em>P</em>, and for any given input length $n$ this gate-number can always be upper-bounded as the maximum over an exhaustive sample of $2^n$ inputs.</p> <p>The following questions then are natural. Are there algorithms in <em>P</em> whose runtime estimation provably requires a survey of runtimes for exponentially many inputs? If so, are concrete examples of such hard-to-runtime-estimate algorithms known? Or is the converse true ... every algorithm in <em>P</em> has a runtime that can be upper-bounded by an algorithm that also is in <em>P</em>? If so, what is that runtime estimation algorithm? </p> <p>These algorithm-to-circuit conversions have considerable practical interest for engineers, and so my appreciation and thanks go to all the mathematicians who contribute to this fine site. </p> <p>For me, the most enjoyable answer would be a concrete algorithm in <em>P</em>, whose runtime estimate requires more-than-<em>P</em> resources to upper-bound ... it would be fun just to contemplate such an algorithm. Of course, it would be similarly fun, to appreciate that <em>P</em> contains no such algorithms ... and mysteriously fun to discover that such algorithms provably exist in <em>P</em>, and yet no concrete example can be exhibited ... and so I am greatly looking forward to any and all answers.</p> <p>Once this runtime estimation question is answered, I will incorporate it into a summary answer for the previous question "<a href="http://mathoverflow.net/questions/53503/does-bqpp-bqp-and-what-proof-machinery-is-available" rel="nofollow">Does $BQP^P = BQP$? That is, is $P$ low for $BQP$?</a>" ... along with my thanks to all who answer.</p> http://mathoverflow.net/questions/21881/how-should-one-present-curl-and-divergence-in-an-undergraduate-multivariable-calc/55626#55626 Answer by John Sidles for How should one present curl and divergence in an undergraduate multivariable calculus class? John Sidles 2011-02-16T15:21:58Z 2011-02-16T17:48:34Z <p>This is a good question and there are already a lot of good answers. Why add one more answer? Because there is a pedagogic option that nicely synthesizes these good questions and answers.</p> <p>(1) The question recognizes undergraduate students exposed to div, grad, curl, etc. commonly ask questions whose answers are associated to higher-level concepts like one-forms, Hodge duals, etc.</p> <p>(2) Numerous comments and answers recognize that wading into these advanced topics will slow, confuse, discourage, and distress many undergraduate students. How then to proceed?</p> <p>(3) A reasonable response is to refer that subset of students (generally a minority) who are willing to work (for no academic credit) toward a broader understanding, to a (free) on-line book by William L. Burke titled <a href="http://count.ucsc.edu/~rmont/papers/Burke_DivGradCurl.pdf" rel="nofollow"><i>Div, Grad, Curl are Dead</i></a>.</p> <p><strong>Note:</strong> do not confuse <i>Div, Grad, Curl are Dead</i> with the above-recommended book <i>Div, Grad, Curl and All That</i>: the former is modern and polemic, while the latter is traditional and tutorial. Students who like either one generally will not like the other one; it is useful therefore to point students toward <em>both</em> books.</p> <p>The on-line text of <i>Div, Grad, Curl are Dead</i> is an uncorrected publisher's proof because sadly, Prof. Burke was <a href="http://www.ucolick.org/~burke/home.html" rel="nofollow">killed in an accident</a> before the final corrections were done. So the Burke's proof pages have to be read carefully and critically, imperfections and all, this in itself is a good practice for thoughtful students. </p> <p>Some of Burke's lively prose:</p> <blockquote> <p>I am going to include some basic facts on linear algebra, multilinear algebra, affine algebra, and multi-affine algebra. Actually I would rather call these linear geometra, etc., but I follow the historical use here. You may have taken a course on linear algebra. This to repair the omissions of such a course, which now is typically only a course on matrix manipulation.</p> </blockquote> <p>Another example is:</p> <blockquote> <p><b>Mathematician:</b> When do you guys [scientists and engineers] treat dual spaces in linear algebra?<br><b>Scientist / Engineer:</b> We don't.<br><b>Mathematician:</b> What! How can that be?</p> </blockquote> <p>Burke's lively exposition supplies in abundance what many undergraduates crave: a dramatic narrative about <i>why</i> the geometric aspects of differential calculus are useful and important ... and a dawning realization that undergraduate mathematics is just the preliminary chapter of a wonderful story.</p> <p><a href="http://books.google.com/books?id=BXYucAAhFCgC&amp;pg=PR11" rel="nofollow">Bill Thurston's Foreword</a> to Mircea Pitici's recent book <i>The Best Writing on Mathematics: 2010</i> makes this same point, and is recommended to undergraduates who ask "How can two mathematics texts on the same topic be so very different?"</p> <p>For many undergraduate students, <i>Div, Grad, Curl are Dead</i> will be the wrong textbook. But for those students who ask tough questions and refuse to accept glib answers, it's an excellent textook that gives undergraduate students explicit permission&mdash;indeed, seduces them&mdash;into reading more deeply.</p> http://mathoverflow.net/questions/55308/what-a-geometer-should-know/55319#55319 Answer by John Sidles for What a geometer should know ... John Sidles 2011-02-13T14:31:25Z 2011-02-14T23:27:22Z <p>The question asked effectively is "What does one have to know ... to call oneself a geometer?" and as several comments note, that question is tough to answer, nonspecific, and the answers are scary ... and yet the question swiftly picked up two "favorite" votes too.</p> <p>If the question were rephrased as "What ideas are geometers pursuing?" then the MathOverflow community might be able to supply answers that are more specific, useful, and inspiring to students beginning their research.</p> <p>Notable mathematicians have written many fine essays on this topic. Commonly these essays are more-or-less centered around a guiding idea that was articulated by Mac Lane in his <em>Mathematics, Form and Function</em> (1986) as follows (and I'm posting this as an "answer" solely to be able to format this quotation properly):</p> <blockquote> <p>Analysis is full of ingenious changes of coordinates, clever substitutions, and astute manipulations. In some of these cases, one can find a conceptual background. When so, the ideas so revealed help us understand what's what. We submit that this aim of understanding is a vital aspect of mathematics. [...]<br><br>Effective or tricky formal manipulations are introduced by Mathematicians who doubtless have a guiding idea---but it is easier to state the manipulations than to formulate the idea in words.<br><br>Just as the same idea can be realized in different forms, so can the same formal success be understood by a variety of ideas. A perspicacious exposition of a piece of Mathematics would let the ideas shine through the display of manipulations.</p> </blockquote> <p>Nowadays the notion of "geometry" has become so broadly generalized, as to be effectively identical to Mac Lane's notion of "a piece of mathematics whose ideas shine through the display of manipulations."</p> <p>For systems engineers nowadays (me in particular) geometry is largely about the dynamical flow of complex systems ... and of course we want our engineering understanding to "shine through the display of manipulations" .. but it would be a grave mistake to imagine that geometric understanding of dynamical systems is <em>all</em> that geometry is about ... because geometry has evolved to become a much broader notion than that.</p> <p>Therefore, a reasonable piece of advice to young researchers nowadays&mdash;in math, science, engineering, and even medicine, it doesn't much matter which&mdash;is not to ask oneself "What articles and books should I read?" without first asking oneself the organizing question "What articles and books will I someday want to <em>write?</em> What will be the core ideas? How will I explain these core ideas clearly?"</p> <p>As soon as you can write down those ideas in even a hazy and uncertain form, then your research career will have begun ... as you learn, your ideas will slowly <a href="http://mathoverflow.net/questions/54232/a-book-you-would-like-to-write/54364#54364" rel="nofollow">take concrete form</a> ... and&nbsp;almost certainly you will be led to the study of geometry in its many modern forms.</p> <p><img src="http://faculty.washington.edu/sidles/misc/AMS_logo.png" alt="AMSlogo"> </p> <p>Perhaps this is why, 2400 years after Plato's Academy first affirmed it, <a href="http://www.ams.org/journals/bull/1957-63-01/S0002-9904-1957-10079-2/S0002-9904-1957-10079-2.pdf" rel="nofollow"> the members emblem of the American Mathematical Society </a> until recently (and maybe still?) said in greek: "Let none but geometers enter here".</p> http://mathoverflow.net/questions/55085/new-proofs-to-major-theorems-leading-to-new-insights-and-results/55093#55093 Answer by John Sidles for New proofs to major theorems leading to new insights and results? John Sidles 2011-02-11T02:58:32Z 2011-02-11T16:55:17Z <p>The classic example from mathematical physics is Richard Feynman's <i>Space-Time approach to nonrelativistic quantum mechanics</i> (1948), which (in essence) proved that the Green function of the Schroedinger equation was equal to a path integral. The article begins:</p> <blockquote> <p>It is a curious historical fact that modern quantum mechanics began with two quite different mathematical formulations: the differential equation of Schroedinger, and the matrix algebra of <a href="http://aemmgradnewmediastrategies.files.wordpress.com/2010/11/ernie-bert-happily-married-1.jpg" rel="nofollow">Heisenbert</a>. [...] This paper will describe what is essentially a third formulation of non-relativistic quantum theory.</p> </blockquote> <p>As for the value of seeking multiple derivations, we have Feynman's Nobel Address <i>The Development of the Space-Time View of Quantum Electrodynamics</i> (1965):</p> <blockquote> <p>There is always another way to say the same thing that doesn't look at all like the way you said it before. I don't know what the reason for this is. I think it is somehow a representation of the simplicity of nature. [...] Perhaps a thing is simple if you can describe it fully in several different ways without immediately knowing that you are describing the same thing.</p> </blockquote> <p>In a classical context, we have Saunders Mac Lane in <i>Hamiltonian mechanics and geometry</i> (1970) presenting new geometric analyses of old dynamical problems:</p> <blockquote> <p>Mathematical ideas do not live fully till they are presented clearly, and we never quite achieve that ultimate clarity. Just as each generation of historians must analyse the past again, so in the exact sciences we must in each period take up the renewed struggle to present as clearly as we can the underlying ideas of mathematics. </p> </blockquote> <p>In the mid-1970s these various derivations came together as Fadeev and Popov's (1974) <i>Covariant quantization of the gravitational field</i>, which provided the foundations for todays' gold-standard method of BRST quantization, for which van Holten's <i>Aspects of BRST quantization</i> (2002) is a good review:</p> <blockquote> <p>Quite often the preferred dynamical equations of a physical system are not formulated directly in terms of observable degrees of freedom, but in terms of more primitive quantities [...] Out of these roots has grown an elegant and powerful framework for dealing with quite general classes of constrained systems using ideas borrowed from algebraic geometry.</p> </blockquote> <p>By this 90-year process of successive rederivations, we nowadays have arrived at a more nearly global appreciation&mdash;encompassing both classical and quantum dynamics&mdash;of the ideas that Terry Tao's essay <a href="http://terrytao.wordpress.com/2008/09/27/what-is-a-gauge/" rel="nofollow"><i>What is a Gauge?</i></a> discusses.</p> <p>Cutting-edge research in classical, quantum, and (increasingly common) hybrid dynamical systems uses all of these mathematical approaches, each formally equivalent to all the others ... but with very different ideas behind them. The resulting naturality has lent new passion to the longstanding romance between mathematics and physics.</p> http://mathoverflow.net/questions/54781/dual-riemannian-metric-and-the-dual-metric-form/54817#54817 Answer by John Sidles for Dual Riemannian metric and the Dual Metric Form John Sidles 2011-02-08T21:34:32Z 2011-02-08T21:34:32Z <p>In some cases, the notion of a Riemann manifold is overly general. If should happen that the problem(s) one has in mind admit a K&auml;hlerian complex structure, then the vanishing of the <a href="http://en.wikipedia.org/wiki/Almost_complex_manifold#Integrable_almost_complex_structures" rel="nofollow">Nijenhuis tensor</a>&mdash;which expresses an integrability condition&mdash;can provide the "non-messy" global structure that is requested. Associated to the vanishing Nijenhuis tensor is a closed symplectic form that in dynamical models usefully specifies <a href="http://en.wikipedia.org/wiki/Hamiltonian_vector_field" rel="nofollow">Hamiltonian vector fields</a>.</p> http://mathoverflow.net/questions/53503/does-bqpp-bqp-and-what-proof-machinery-is-available Does BQP^P = BQP ? ... and what proof machinery is available? John Sidles 2011-01-27T15:27:53Z 2011-02-03T14:08:00Z <p>Update #3:</p> <p>Over on <i>TCS StackExchange</i>, I have rated as "accepted" <a href="http://cstheory.stackexchange.com/questions/4704/do-runtimes-for-p-require-exp-resources-to-upper-bound-are-concrete-examples-k/4716#4716" rel="nofollow">an ingenious construction by Luca Trevisan</a>, which answers a two-part question (as reframed by Tsuyoshi Ito) that is in essence "Do runtimes for P require EXP resources to upper-bound? … are concrete examples known?" </p> <p>Hopefully I have grasped correctly that, in brief, Luca's construction yields the answers "yes" and "yes for all practical purposes" (FAPP).</p> <p>It will take awhile (for me anyway) to appreciate whether Luca's $M$-machines obstruct the $P$-time uniform reduction of ${BQP}^{P}\,\to\,{BQP}$ that is at the heart of the original question posed here on on <em>MathOverflow</em>, that question being, "Does BQP^P = BQP? ... and what proof machinery is&nbsp;available?", which in turn generalized a question that was posed by Dick Lipton and Ken Regan on their weblog <i>G&ouml;del's Lost Letter and P=NP</i>, the question <a href="http://rjlipton.wordpress.com/2011/01/23/is-factoring-really-in-bqp-really/" rel="nofollow">"Is&nbsp;Factoring Really In BQP? Really?"</a></p> <p>After some further reflection (which may take a few days) I will attempt a summary back-trace of this chain of questions, which so enjoyably unites elements of mathematics, science and practical engineering, and will post that summary both here and on <i>TCS StackExchange</i>.</p> <p>In the meantime, my thanks and appreciation are extended to everyone ... and further comments are very welcome, of course!</p> <hr> <p>Update #2:</p> <p>I've plowed through a pretty considerable portion of the (excellent) references that Aram provided, and hope to write a summary soon. One topic that I have <em>not</em> found addressed in these references (or&nbsp;it may be that I am too inexpert to perceive it) has been asked as a separate MathOverflow question "<a href="http://mathoverflow.net/questions/54124/do-runtimes-for-p-require-exp-resources-to-upper-bound-are-concrete-examples" rel="nofollow">Do runtimes for P require EXP resources to upper-bound? … are concrete examples known?</a>".</p> <hr> <p>Update #1: </p> <p>So far, this topic has a ratio of views-to-answers (presently 285-to-1) that is large relative to other MathOverflow questions ... greater diversity in the answers would be good ... perhaps <a href="http://www.scottaaronson.com/blog/?p=515#comment-19642" rel="nofollow">this draft summary posted on <em>Shtetl Optimized</em> </a> will stimulate more of the "flaming arrow" responses that were hoped-for ... although the references that Aram's answer provides are terrific, needless to say.</p> <hr> <p>Does $BQP^P = BQP$ ? That is, is $P$ low for $BQP$?</p> <p>Here <em>P</em> is the standard complexity class that is associated to polynomial-time algorithms implemented on (classical) Turing machines, and <em>BQP</em> is the standard (quantum) complexity class <em>Bounded Error Quantum Polynomial Time</em>.</p> <p>We have specifically in mind a logic-gate instantiation of <em>BQP</em>, that is, a polynomial-time uniform family of quantum circuits (that is, a standard gate-based quantum computer), and for <em>P</em> we have in mind a single-tape Turing machine. So in practical terms, the proposition $BQP^P = BQP$ is about the feasiblity of compiling algorithms in <i>P</i> into polynomially-many reversible logic gates.</p> <p>This question arose on Dick Lipton and Ken Regan's weblog <em>G&ouml;del's Lost Letter and P=NP</em> as a natural generalization of the question: "<a href="http://rjlipton.wordpress.com/2011/01/25/factoring-is-in-bqp/#comment-10468" rel="nofollow">Is Shor's algorithm for factoring in BQP?</a>," and it is intimately linked to what Nielsen and Chuang's textbook calls "<em><a href="http://books.google.com/books?id=-s4DEy7o-a0C&amp;pg=PA186" rel="nofollow">the Principles of Deferred and Implicit Measurement</a></em>."</p> <p>For engineers, proof machinery associated to this question is at least as interesting as the answer itself, because this class of problems arises commonly in engineering practice, in the guise (for example) of compiling a procedural algorithm (written in C and instantiated in a thread, for example) into a circuit diagram (written in Verilog and instantiated on an FPGA, for example). In practice, these algorithm-to-circuit translations are not so easy to solve ... particularly when there is no formal proof that the procedural algorithm is in $P$, but rather, only the empirical (<em>ie</em>, oracular) observation that it so behaves. </p> <p>One point is that in both practical engineering and in computational complexity theory, procedural algorithms are in general <em>not</em> accompanied by documentation of how they work&mdash;perhaps it is infeasible <em>even in principle</em> to document how all the algorithms in the complexity class <em>P</em> work? (an answer to this question too would be very welcome). </p> <p>Hence the proof machinery for dealing with undocumented (and even undocumentable?) algorithms, both classical and quantum, has both fundamental and practical significance, beyond the significance of the answer to the question asked. This practical/physical context is discussed more fully on <a href="http://rjlipton.wordpress.com/2011/01/25/factoring-is-in-bqp/#comment-10468" rel="nofollow">Dick and Ken's weblog</a>.</p> <p>It wasn't so easy to decide whether to post this question of here on MathOverflow versus TCS StackExchange ... in the end, MathOverflow was chosen in hope that the question will attract a mathematically broad range of answers.</p> <p>Suggestions are especially welcomed, as to how this question might be amended, to make it better-posed and/or more broadly interesting. Thanks! :)</p> http://mathoverflow.net/questions/106560/philosophy-behind-mochizukis-work-on-the-abc-conjecture Comment by John Sidles John Sidles 2012-09-13T20:24:20Z 2012-09-13T20:24:20Z As a striking example of the increasing prevalence of the notion of <i>naturality</i> in contemporary mathematics, Mochizuki’s four preprints employ the word &quot;natural&quot; and its derivatives on more than six hundred separate occasions&#160;(for details and related mathematical quotations, see [this post](<a href="http://rjlipton.wordpress.com/2012/09/12/the-abc-conjecture-and-cryptography/#comment-26756" rel="nofollow">rjlipton.wordpress.com/2012/09/12/&hellip;</a>) on <i>G&#246;del's Lost Letter and P=NP</i>). http://mathoverflow.net/questions/1083/do-good-math-jokes-exist/6886#6886 Comment by John Sidles John Sidles 2012-08-29T14:05:52Z 2012-08-29T14:05:52Z LOL ... I upvoted it! Upon the same theme, the (Hungarian) physicist Val Telegdi was fond of the following (Hungarian) maxim: &quot;It is not enough to be rude; one must also be wrong!&quot; :) http://mathoverflow.net/questions/97160/does-equality-of-hodge-star-and-symplectic-star-imply-kahler-structure/97846#97846 Comment by John Sidles John Sidles 2012-05-29T17:24:57Z 2012-05-29T17:24:57Z Congratulations on your first accepted answer! :) http://mathoverflow.net/questions/97160/does-equality-of-hodge-star-and-symplectic-star-imply-kahler-structure Comment by John Sidles John Sidles 2012-05-17T16:46:35Z 2012-05-17T16:46:35Z Just as a remark, I am beginning to appreciate that the postulate is (rather obviously) <i>not</i> true. For supposing that M is Kahler, then the volume forms $dV_g$ and $dV_\omega$ are identical. In which case for $B=A$ the definition yields $A\wedge\ast A \ne A\wedge\ast_s A$. I will verify this reasoning against a few concrete cases (like $S^2$), and post it as an answer. http://mathoverflow.net/questions/88133/quantum-dynamics-on-varieties-and-salmon-prizes Comment by John Sidles John Sidles 2012-02-22T11:46:05Z 2012-02-22T11:46:05Z As a further update, it turns out that the Salmon Prize is offered for progress in this class of conjecture, and the question-asked now links to this prize. http://mathoverflow.net/questions/88133/quantum-dynamics-on-varieties-and-salmon-prizes/88146#88146 Comment by John Sidles John Sidles 2012-02-22T11:44:29Z 2012-02-22T11:44:29Z @Theo and @Todd, on further literature review it turns out that the Salmon Prize is offered for progress in this class of conjecture, and the question now links to this prize. http://mathoverflow.net/questions/88133/quantum-dynamics-on-varieties-and-salmon-prizes Comment by John Sidles John Sidles 2012-02-14T11:51:12Z 2012-02-14T11:51:12Z As an update, a key reference regarding quantum dynamics on projective varieties turns out to be Hirotachi Abo; Giorgio Ottaviani; Chris Peterson, &quot;Induction for secant varieties of Segre varieties&quot;, <i>Transactions of the AMS</i> (2008). Combining the proof technologies of Abo <i>et al.</i> with numerical experiments via our quantum systems engineering software yields a plausible conjecture for a complete classification of &quot;lion&quot; varieties, and this conjectured varietal classification will be the subject of an MOL question in the next couple of weeks. http://mathoverflow.net/questions/88133/quantum-dynamics-on-varieties-and-salmon-prizes Comment by John Sidles John Sidles 2012-02-14T01:45:10Z 2012-02-14T01:45:10Z @Qiaochu, in agreement with your point, the unique virtue of MOF surely is its exclusive focus upon well-posed math questions. And yet in agreement too with Gil Kalai, many folks (but not all) appreciate physical/practical motivations. And finally (in my own opinion) it is neither necessary, nor feasible, nor even desirable that everyone think &amp; post alike in these matters. So to strike a three-way balance, my <i>next</i> post will be a double-distilled pure-math question, whose physical/practical motivations are described separately, below a bar (where folks can ignore them or not, as preferred). http://mathoverflow.net/questions/88133/quantum-dynamics-on-varieties-and-salmon-prizes Comment by John Sidles John Sidles 2012-02-14T00:43:12Z 2012-02-14T00:43:12Z @Gil Kalai and @Marcin Kotowski, you are <i>both</i> entirely correct. The question asked arose when our UW QSE Group noticed certain numerical &quot;miracles&quot; in our quantum spin simulation software. In this regard, please let me commend in Joseph Landsberg's book <i>Tensors: Geometry and Applications</i> his short essay of Section 0.3, titled &quot;Clash of Cultures&quot; (<a href="http://books.google.com/books?id=JTjv3DTvxZIC&amp;pg=PR17" rel="nofollow">books.google.com/&hellip;</a>). Thus, next week I hope to post a focused question to help reconcile these cultures, in accord with Hestenes' saying: &quot;Geometry without algebra is dumb, algebra without geometry is blind.&quot; http://mathoverflow.net/questions/88133/quantum-dynamics-on-varieties-and-salmon-prizes Comment by John Sidles John Sidles 2012-02-13T14:57:12Z 2012-02-13T14:57:12Z @Qiaochu your suggestion is sound, and in response the question now is shortened, focused, and now begins with a suggested answer than draws upon Joseph Landsberg's very recent (and dauntingly comprehensive) monograph <i>Tensors: Geometry and Applications</i> (December 2011). It turns out too that certain key results are accessibly surveyed in Landsberg's <i>Bull. AMS</i> article &quot;Geometry and the complexity of matrix multiplication&quot; (2008). These essentially are the references sought, and so I thank you and everyone here on MOF for comments and suggestions that have helped in finding them. http://mathoverflow.net/questions/88133/quantum-dynamics-on-varieties-and-salmon-prizes/88146#88146 Comment by John Sidles John Sidles 2012-02-12T23:11:44Z 2012-02-12T23:11:44Z @Theo and @Todd (and others), the amended question has now been posted, and in particular it quotes a passage from Harris' textbook that addresses the &quot;odd circumstance&quot; that questions regarding bilinear algebraic varieties commonly can be answered by elementary methods, yet the analogous questions for generic multilinear varieties are deep. The amended question seeks to clarify that the state-spaces of practical concern to quantum systems engineers nowadays, and hence the mathematical tools of greatest interest, are associated to generic multilinear varieties. Thank you all very much! :) http://mathoverflow.net/questions/88133/quantum-dynamics-on-varieties-and-salmon-prizes Comment by John Sidles John Sidles 2012-02-12T18:42:49Z 2012-02-12T18:42:49Z Please let me say that I consider the various comments on my question to have been (all of them) very valuable, and so later today (Sunday) I will post an amended version that attempts to address these comments all-at-once. Especially I appreciate and am grateful for Theo Johnson-Freyd's comments---as pertaining both narrowly to notation and broadly to mathematical context---and it has been <i>exceedingly</i> enjoyable to watch this question help Theo (albeit inadvertently) earn MOF's first Gold Reversal Medal. So thank you all very much! http://mathoverflow.net/questions/88133/quantum-dynamics-on-varieties-and-salmon-prizes/88146#88146 Comment by John Sidles John Sidles 2012-02-12T17:51:07Z 2012-02-12T17:51:07Z @Theo and @Todd (and others), thank you for your considerate remarks! Per Theo's request, I will clarify the question's notation and characterize more precisely the type of reference that is desired. My access to Harris' text via Google Books is (frustratingly!) partial, yet for quantum systems engineers (QSEs) the intent is captured by Harris' passage (page 100) &quot;We should draw a fundamental and important distinction between bi- and tri- or multilinear objects.&quot; In practice, QSEs require a mathematical toolset that extends naturally to the multilinear algebraic objects of Harris' remark. http://mathoverflow.net/questions/88133/quantum-dynamics-on-varieties-and-salmon-prizes/88146#88146 Comment by John Sidles John Sidles 2012-02-11T20:37:01Z 2012-02-11T20:37:01Z Michael, your $\Rightarrow$ argument is entirely correct, and the $\Leftarrow$ implication is no harder ... e.g., the SVD of a zero-determinant $\psi$ must have at least one zero principal value, such that the SVD constructs a (non-unique) solution set of $k-1$ pairs <code>$\{\xi&#95;{1r},\xi&#95;{2r}\}$</code> ... but such constructions are <i>not</i> the answer to the question asked (which was a request for references) and neither do they correspond to the answer that Theo supplied (to be sure, Theo's answer was well-reasoned, but it did not address the question asked). http://mathoverflow.net/questions/88133/quantum-dynamics-on-varieties-and-salmon-prizes/88146#88146 Comment by John Sidles John Sidles 2012-02-11T14:09:09Z 2012-02-11T14:09:09Z @Theo, I have added a technical caveat regarding linearity to the question, in the hope that you might augment your answer to address it... in which event it would be my pleasure to upvote your suggested answer. Thank you!