<?xml version="1.0" encoding="UTF-8" standalone="yes"?><oembed><version><![CDATA[1.0]]></version><provider_name><![CDATA[Azimuth]]></provider_name><provider_url><![CDATA[https://johncarlosbaez.wordpress.com]]></provider_url><author_name><![CDATA[John Baez]]></author_name><author_url><![CDATA[https://johncarlosbaez.wordpress.com/author/johncarlosbaez/]]></author_url><title><![CDATA[Quantum Superposition]]></title><type><![CDATA[link]]></type><html><![CDATA[<p><i>guest post by <b><a href="http://www.azimuthproject.org/azimuth/show/Piotr+Migdal">Piotr Migdał</a></b></i></p>
<p>In this blog post I will introduce some basics of quantum mechanics, with the emphasis on why a particle being in a few places at once behaves measurably differently from a particle whose position we just don&#8217;t know.  It&#8217;s a kind of continuation of the &#8220;Quantum Network Theory&#8221; series (<a href="https://johncarlosbaez.wordpress.com/2013/08/05/quantum-network-theory-part-1/">Part 1</a>, <a href="https://johncarlosbaez.wordpress.com/2013/08/13/quantum-network-theory-part-2/">Part 2</a>) by <a href="http://www.azimuthproject.org/azimuth/show/Tomi+Johnson">Tomi Johnson</a> about our work in Jake Biamonte&#8217;s group at the <a href="http://www.isi.it/">ISI Foundation</a> in Turin.  My goal is to explain quantum community detection.  Before that, I need to introduce the relevant basics of quantum mechanics, and of the classical <a href="http://en.wikipedia.org/wiki/Community_structure">community detection</a>.</p>
<p>But before I start, let me introduce myself, as it&#8217;s my first post to Azimuth.</p>
<p>I just finished my quantum optics theory Ph.D in Maciej Lewenstein&#8217;s group at <a href="http://www.icfo.eu/">The Institute of Photonic Sciences</a> in Castelldefels, a beach near Barcelona.  My scientific interests range from quantum physics, through complex networks, to data-driven approach&#8230;. to pretty much anything&mdash;and now I work as a data science freelancer. I enjoy doing data visualizations (for example of <a href="http://stared.github.io/tagoverflow/?site=math&amp;size=32">relations between topics in mathematics</a>), I am a big fan of <a href="http://mathoverflow.net/questions/150053/gini-coefficient-and-renyi-entropy/">R&eacute;nyi entropy</a> (largely thanks to Azimuth), and I&#8217;m a <a href="http://offtopicarium.wikidot.com/v1:open-science-2-0">believer in open science</a>. If you think that there are too many <a href="http://offtopicarium.wikidot.com/">off-topic</a> <a href="http://crastina.se/theres-no-projects-like-side-projects/">side projects</a> here, you are absolutely right!</p>
<p>In my opinion, quantum mechanics is easy. Based on my <a href="http://warsztatywww.wikidot.com/en:indie-camp-for-hs-geeks">gifted education experience</a> it takes roughly 9 intense hours to introduce entanglement to students having only a very basic linear algebra background. Even more, I believe that it is possible to get familiar with quantum mechanics by just playing with it&mdash;so I am developing a <a href="http://quantumgame.io/">Quantum Game</a>!</p>
<h3> Quantum weirdness </h3>
<p>In quantum mechanics a particle can be in a few places at once. It sounds strange. So strange, that some pioneers of quantum mechanics (including, famously, Albert Einstein) didn&#8217;t want to believe in it: not because of any disagreement with experiment, not because of any lack of mathematical beauty, just because it didn&#8217;t fit their philosophical view of physics.</p>
<p>It went further: in the Soviet Union the idea that electron can be in many places (<a href="http://en.wikipedia.org/wiki/Resonance_%28chemistry%29">resonance bonds</a>) was <a href="http://paulingblog.wordpress.com/2009/03/26/paulings-theory-of-resonance-a-soviet-controversy/">considered to oppose materialism</a>.  Later, in California, <a href="http://www.hippiessavedphysics.com/">hippies investigated quantum mechanics as a basis for parapsychology</a>&mdash;which, arguably, gave birth to the field of quantum information.</p>
<p>As Griffiths put it in his <em><a href="https://archive.org/details/IntroductionToQuantumMechanics_718">Introduction to Quantum Mechanics</a></em> (Chapter 4.4.1):</p>
<blockquote><p>
  To the layman, the philosopher, or the classical physicist, a statement of the form &#8220;this particle doesn&#8217;t have a well-defined position&#8221; <code>[...]</code> sounds vague, incompetent, or (worst of all) profound. It is none of these.
</p></blockquote>
<p>In this guest blog post I will try to show that not only can a particle be in many places at once, but also that if it were not in many places at once then it would cause problems. That is, as fundamental phenomena as atoms forming chemical bonds, or particle moving in the vacuum, require it.</p>
<p>As in many other cases, the simplest non-trivial case is perfect for explaining idea, as it covers the most important phenomena, while being easy to analyze, visualize and comprehend. Quantum mechanics is not an exception&mdash;let us start with a system of two states.</p>
<h3>A two state system</h3>
<p>Let us study a simplified model of the <a href="https://en.wikipedia.org/wiki/Dihydrogen_cation">hydrogen molecular ion</a> <img src='https://s0.wp.com/latex.php?latex=%5Cmathrm%7BH%7D_2%5E%2B&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;mathrm{H}_2^+' title='&#92;mathrm{H}_2^+' class='latex' />, that is, a system of two protons and one electron (see <a href="http://www.feynmanlectures.caltech.edu/III_10.html#Ch10-S1">Feynman Lectures on Physics</a>, Vol. III, Chapter 10.1).  Since the protons are heavy and slow, we treat them as fixed.  We focus on the electron moving in the electric field created by protons.</p>
<p>In quantum mechanics we describe the state of a system using a complex vector.  In simple terms, this is a list of <a href="http://en.wikipedia.org/wiki/Complex_number">complex numbers</a> called &#8216;probability amplitudes&#8217;.  For an electron that can be near one proton or another, we use a list of two numbers:</p>
<p><img src='https://s0.wp.com/latex.php?latex=%7C%5Cpsi%5Crangle+%3D++++++%5Cbegin%7Bbmatrix%7D++++++++++%5Calpha+%5C%5C+%5Cbeta++++++%5Cend%7Bbmatrix%7D++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|&#92;psi&#92;rangle =      &#92;begin{bmatrix}          &#92;alpha &#92;&#92; &#92;beta      &#92;end{bmatrix}  ' title='|&#92;psi&#92;rangle =      &#92;begin{bmatrix}          &#92;alpha &#92;&#92; &#92;beta      &#92;end{bmatrix}  ' class='latex' /></p>
<p>In this state the electron is near the first proton with probability <img src='https://s0.wp.com/latex.php?latex=%7C%5Calpha%7C%5E2%2C&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|&#92;alpha|^2,' title='|&#92;alpha|^2,' class='latex' /> and near the second one with probability <img src='https://s0.wp.com/latex.php?latex=%7C%5Cbeta%7C%5E2.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|&#92;beta|^2.' title='|&#92;beta|^2.' class='latex' /></p>
<p>Note that</p>
<p><img src='https://s0.wp.com/latex.php?latex=%7C%5Cpsi+%5Crangle+%3D+%5Calpha+%5Cbegin%7Bbmatrix%7D++++++++++1+%5C%5C+0++++++%5Cend%7Bbmatrix%7D+%2B+%5Cbeta+%5Cbegin%7Bbmatrix%7D++++++++++0+%5C%5C+1++++++%5Cend%7Bbmatrix%7D+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|&#92;psi &#92;rangle = &#92;alpha &#92;begin{bmatrix}          1 &#92;&#92; 0      &#92;end{bmatrix} + &#92;beta &#92;begin{bmatrix}          0 &#92;&#92; 1      &#92;end{bmatrix} ' title='|&#92;psi &#92;rangle = &#92;alpha &#92;begin{bmatrix}          1 &#92;&#92; 0      &#92;end{bmatrix} + &#92;beta &#92;begin{bmatrix}          0 &#92;&#92; 1      &#92;end{bmatrix} ' class='latex' /></p>
<p>So, we say the electron is in a &#8216;linear combination&#8217; or &#8216;superposition&#8217; of the two states</p>
<p><img src='https://s0.wp.com/latex.php?latex=%7C1%5Crangle+%3D++++++%5Cbegin%7Bbmatrix%7D++++++++++1+%5C%5C+0++++++%5Cend%7Bbmatrix%7D++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|1&#92;rangle =      &#92;begin{bmatrix}          1 &#92;&#92; 0      &#92;end{bmatrix}  ' title='|1&#92;rangle =      &#92;begin{bmatrix}          1 &#92;&#92; 0      &#92;end{bmatrix}  ' class='latex' /></p>
<p>(where it&#8217;s near the first proton) and the state</p>
<p><img src='https://s0.wp.com/latex.php?latex=%7C2%5Crangle+%3D++++++%5Cbegin%7Bbmatrix%7D++++++++++0+%5C%5C+1++++++%5Cend%7Bbmatrix%7D++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|2&#92;rangle =      &#92;begin{bmatrix}          0 &#92;&#92; 1      &#92;end{bmatrix}  ' title='|2&#92;rangle =      &#92;begin{bmatrix}          0 &#92;&#92; 1      &#92;end{bmatrix}  ' class='latex' /></p>
<p>(where it&#8217;s near the second proton).</p>
<blockquote><p>
  Why do we denote unit vectors in strange brackets looking like</p>
<p>  <img src='https://s0.wp.com/latex.php?latex=%7C+%5Cmathrm%7Bsomething%7D+%5Crangle&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='| &#92;mathrm{something} &#92;rangle' title='| &#92;mathrm{something} &#92;rangle' class='latex' /> ?</p>
<p>  Well, this is called <a href="https://en.wikipedia.org/wiki/Bra%E2%80%93ket_notation">Dirac notation (or bra-ket notation)</a> and it is immensely useful in quantum mechanics.   We won&#8217;t go into it in detail here; merely note that <img src='https://s0.wp.com/latex.php?latex=%7C+%5Ccdot+%5Crangle&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='| &#92;cdot &#92;rangle' title='| &#92;cdot &#92;rangle' class='latex' /> stands for a column vector and <img src='https://s0.wp.com/latex.php?latex=%5Clangle+%5Ccdot+%7C&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;langle &#92;cdot |' title='&#92;langle &#92;cdot |' class='latex' /> stands for a row vector, while <img src='https://s0.wp.com/latex.php?latex=%5Cpsi&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;psi' title='&#92;psi' class='latex' /> is a traditional symbol for a quantum state.).
</p></blockquote>
<p>Amplitudes can be thought as &#8216;square roots&#8217; of probabilities. We can force an electron to localize by performing a classical measurement, for example by moving protons away and measuring which of them has neutral charge (for being coupled with the electron).  Then, we get probability <img src='https://s0.wp.com/latex.php?latex=%7C+%5Calpha%7C%5E2&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='| &#92;alpha|^2' title='| &#92;alpha|^2' class='latex' /> of finding it near the first proton and <img src='https://s0.wp.com/latex.php?latex=%7C%5Cbeta%7C%5E2&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|&#92;beta|^2' title='|&#92;beta|^2' class='latex' /> of finding it near the second.  So, we require that</p>
<p><img src='https://s0.wp.com/latex.php?latex=%7C%5Calpha%7C%5E2+%2B+%7C%5Cbeta%7C%5E2+%3D+1&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|&#92;alpha|^2 + |&#92;beta|^2 = 1' title='|&#92;alpha|^2 + |&#92;beta|^2 = 1' class='latex' /></p>
<p>Note that as amplitudes are complex, for a given probability there are many possible amplitudes. For example</p>
<p><img src='https://s0.wp.com/latex.php?latex=1+%3D+%7C1%7C%5E2+%3D+%7C-1%7C%5E2+%3D+%7Ci%7C%5E2+%3D+%5Cleft%7C+%5Ctfrac%7B1%2Bi%7D%7B%5Csqrt%7B2%7D%7D+%5Cright%7C%5E2+%3D+%5Ccdots+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='1 = |1|^2 = |-1|^2 = |i|^2 = &#92;left| &#92;tfrac{1+i}{&#92;sqrt{2}} &#92;right|^2 = &#92;cdots ' title='1 = |1|^2 = |-1|^2 = |i|^2 = &#92;left| &#92;tfrac{1+i}{&#92;sqrt{2}} &#92;right|^2 = &#92;cdots ' class='latex' /></p>
<p>where <img src='https://s0.wp.com/latex.php?latex=i&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='i' title='i' class='latex' /> is the imaginary unit, with <img src='https://s0.wp.com/latex.php?latex=i%5E2+%3D+-1.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='i^2 = -1.' title='i^2 = -1.' class='latex' /></p>
<p>We will now show that the electron &#8216;wants&#8217; to be spread out.  Electrons don&#8217;t really have desires, so this is physics slang for saying that the electron will have less energy if its probability of being near the first proton is equal to its probability of being near the second proton: namely, 50%.</p>
<p>In quantum mechanics, a <a href="http://en.wikipedia.org/wiki/Hamiltonian_%28quantum_mechanics%29">Hamiltonian</a> is a matrix that describes the relation between the energy and evolution (i.e. how the state changes in time).  The expected value of the energy of any state <img src='https://s0.wp.com/latex.php?latex=%7C+%5Cpsi+%5Crangle&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='| &#92;psi &#92;rangle' title='| &#92;psi &#92;rangle' class='latex' /> is</p>
<p><img src='https://s0.wp.com/latex.php?latex=E+%3D+%5Clangle+%5Cpsi+%7C+H+%7C+%5Cpsi+%5Crangle&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='E = &#92;langle &#92;psi | H | &#92;psi &#92;rangle' title='E = &#92;langle &#92;psi | H | &#92;psi &#92;rangle' class='latex' /></p>
<p>Here the row vector <img src='https://s0.wp.com/latex.php?latex=%5Clangle+%5Cpsi+%7C&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;langle &#92;psi |' title='&#92;langle &#92;psi |' class='latex' /> is the column vector <img src='https://s0.wp.com/latex.php?latex=%7C+%5Cpsi%5Crangle&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='| &#92;psi&#92;rangle' title='| &#92;psi&#92;rangle' class='latex' /> after <a href="http://en.wikipedia.org/wiki/Conjugate_transpose">transposition and complex conjugation</a> (i.e. changing  <img src='https://s0.wp.com/latex.php?latex=i&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='i' title='i' class='latex' /> to <img src='https://s0.wp.com/latex.php?latex=-i&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='-i' title='-i' class='latex' />), and</p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Clangle+%5Cpsi+%7C+H+%7C+%5Cpsi+%5Crangle&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;langle &#92;psi | H | &#92;psi &#92;rangle' title='&#92;langle &#92;psi | H | &#92;psi &#92;rangle' class='latex' /></p>
<p>means we are doing matrix multiplication on <img src='https://s0.wp.com/latex.php?latex=%5Clangle+%5Cpsi+%7C%2C&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;langle &#92;psi |,' title='&#92;langle &#92;psi |,' class='latex' /> <img src='https://s0.wp.com/latex.php?latex=H&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='H' title='H' class='latex' /> and <img src='https://s0.wp.com/latex.php?latex=%7C+%5Cpsi+%5Crangle&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='| &#92;psi &#92;rangle' title='| &#92;psi &#92;rangle' class='latex' /> to get a number.</p>
<p>For the electron in the <img src='https://s0.wp.com/latex.php?latex=%5Cmathrm%7BH%7D_2%5E%2B&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;mathrm{H}_2^+' title='&#92;mathrm{H}_2^+' class='latex' /> molecule the Hamiltonian can be written as the following <img src='https://s0.wp.com/latex.php?latex=2+%5Ctimes+2&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='2 &#92;times 2' title='2 &#92;times 2' class='latex' /> matrix with real, positive entries:</p>
<p><img src='https://s0.wp.com/latex.php?latex=H+%3D++++++%5Cbegin%7Bbmatrix%7D++++++++++E_0+%26+%5CDelta+%5C%5C++++++++++%5CDelta+%26+E_0++++++%5Cend%7Bbmatrix%7D%2C++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='H =      &#92;begin{bmatrix}          E_0 &amp; &#92;Delta &#92;&#92;          &#92;Delta &amp; E_0      &#92;end{bmatrix},  ' title='H =      &#92;begin{bmatrix}          E_0 &amp; &#92;Delta &#92;&#92;          &#92;Delta &amp; E_0      &#92;end{bmatrix},  ' class='latex' /></p>
<p>where <img src='https://s0.wp.com/latex.php?latex=E_0&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='E_0' title='E_0' class='latex' /> is the energy of the electron being either in state <img src='https://s0.wp.com/latex.php?latex=%7C1%5Crangle&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|1&#92;rangle' title='|1&#92;rangle' class='latex' /> or state <img src='https://s0.wp.com/latex.php?latex=%7C2%5Crangle&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|2&#92;rangle' title='|2&#92;rangle' class='latex' />, and <img src='https://s0.wp.com/latex.php?latex=%5CDelta&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;Delta' title='&#92;Delta' class='latex' /> is the &#8216;tunneling amplitude&#8217;, which describes how easy it is for the electron to move from neighborhood of one proton to that of the other.</p>
<p>The expected value&#8212;physicists call it the &#8216;expectation value&#8217;&#8212;of the energy of a given state <img src='https://s0.wp.com/latex.php?latex=%7C%5Cpsi%5Crangle&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|&#92;psi&#92;rangle' title='|&#92;psi&#92;rangle' class='latex' /> is:</p>
<p><img src='https://s0.wp.com/latex.php?latex=E+%3D+%5Clangle+%5Cpsi+%7C+H+%7C+%5Cpsi+%5Crangle+%5Cequiv++++++%5Cbegin%7Bbmatrix%7D++++++++++%5Calpha%5E%2A+%26+%5Cbeta%5E%2A++++++%5Cend%7Bbmatrix%7D++++++%5Cbegin%7Bbmatrix%7D++++++++++E_0+%26+%5CDelta+%5C%5C++++++++++%5CDelta+%26+E_0++++++%5Cend%7Bbmatrix%7D++++++%5Cbegin%7Bbmatrix%7D++++++++++%5Calpha+%5C%5C+%5Cbeta++++++%5Cend%7Bbmatrix%7D.++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='E = &#92;langle &#92;psi | H | &#92;psi &#92;rangle &#92;equiv      &#92;begin{bmatrix}          &#92;alpha^* &amp; &#92;beta^*      &#92;end{bmatrix}      &#92;begin{bmatrix}          E_0 &amp; &#92;Delta &#92;&#92;          &#92;Delta &amp; E_0      &#92;end{bmatrix}      &#92;begin{bmatrix}          &#92;alpha &#92;&#92; &#92;beta      &#92;end{bmatrix}.  ' title='E = &#92;langle &#92;psi | H | &#92;psi &#92;rangle &#92;equiv      &#92;begin{bmatrix}          &#92;alpha^* &amp; &#92;beta^*      &#92;end{bmatrix}      &#92;begin{bmatrix}          E_0 &amp; &#92;Delta &#92;&#92;          &#92;Delta &amp; E_0      &#92;end{bmatrix}      &#92;begin{bmatrix}          &#92;alpha &#92;&#92; &#92;beta      &#92;end{bmatrix}.  ' class='latex' /></p>
<blockquote><p>
  The star symbol denotes the complex conjugation. If you are unfamiliar with complex numbers, just work with real numbers on which this operation does nothing.
</p></blockquote>
<p><b>Exercise 1.</b> Find <img src='https://s0.wp.com/latex.php?latex=%5Calpha&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;alpha' title='&#92;alpha' class='latex' /> and <img src='https://s0.wp.com/latex.php?latex=%5Cbeta&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;beta' title='&#92;beta' class='latex' /> with</p>
<p><img src='https://s0.wp.com/latex.php?latex=%7C%5Calpha%7C%5E2+%2B+%7C%5Cbeta%7C%5E2+%3D+1+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|&#92;alpha|^2 + |&#92;beta|^2 = 1 ' title='|&#92;alpha|^2 + |&#92;beta|^2 = 1 ' class='latex' /></p>
<p>that minimize or maximize the expectation value of energy <img src='https://s0.wp.com/latex.php?latex=%5Clangle+%5Cpsi+%7C+H+%7C+%5Cpsi+%5Crangle&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;langle &#92;psi | H | &#92;psi &#92;rangle' title='&#92;langle &#92;psi | H | &#92;psi &#92;rangle' class='latex' /> for</p>
<p><img src='https://s0.wp.com/latex.php?latex=%7C%5Cpsi%5Crangle+%3D++++++%5Cbegin%7Bbmatrix%7D++++++++++%5Calpha+%5C%5C+%5Cbeta++++++%5Cend%7Bbmatrix%7D++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|&#92;psi&#92;rangle =      &#92;begin{bmatrix}          &#92;alpha &#92;&#92; &#92;beta      &#92;end{bmatrix}  ' title='|&#92;psi&#92;rangle =      &#92;begin{bmatrix}          &#92;alpha &#92;&#92; &#92;beta      &#92;end{bmatrix}  ' class='latex' /></p>
<p><b>Exercise 2.</b> What&#8217;s the expectation value value of the energy for the states <img src='https://s0.wp.com/latex.php?latex=%7C+1+%5Crangle&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='| 1 &#92;rangle' title='| 1 &#92;rangle' class='latex' /> and <img src='https://s0.wp.com/latex.php?latex=%7C+2+%5Crangle&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='| 2 &#92;rangle' title='| 2 &#92;rangle' class='latex' />?</p>
<p>Or if you are lazy, just read the answer!   It is straightforward to check that</p>
<p><img src='https://s0.wp.com/latex.php?latex=E+%3D+%28%5Calpha%5E%2A+%5Calpha+%2B+%5Cbeta%5E%2A+%5Cbeta%29+E_0+%2B+%28%5Calpha%5E%2A+%5Cbeta+%2B+%5Cbeta%5E%2A+%5Calpha%29+%5CDelta++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='E = (&#92;alpha^* &#92;alpha + &#92;beta^* &#92;beta) E_0 + (&#92;alpha^* &#92;beta + &#92;beta^* &#92;alpha) &#92;Delta  ' title='E = (&#92;alpha^* &#92;alpha + &#92;beta^* &#92;beta) E_0 + (&#92;alpha^* &#92;beta + &#92;beta^* &#92;alpha) &#92;Delta  ' class='latex' /></p>
<p>The coefficient of <img src='https://s0.wp.com/latex.php?latex=E_0&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='E_0' title='E_0' class='latex' /> is 1, so the minimal energy is <img src='https://s0.wp.com/latex.php?latex=E_0+-+%5CDelta&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='E_0 - &#92;Delta' title='E_0 - &#92;Delta' class='latex' /> and the maximal energy is <img src='https://s0.wp.com/latex.php?latex=E_0+%2B+%5CDelta&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='E_0 + &#92;Delta' title='E_0 + &#92;Delta' class='latex' />.  The states achieving these energies are spread out:</p>
<p><img src='https://s0.wp.com/latex.php?latex=%7C+%5Cpsi_-+%5Crangle+%3D++++++%5Cbegin%7Bbmatrix%7D++++++++++1%2F%5Csqrt%7B2%7D+%5C%5C+-1%2F%5Csqrt%7B2%7D++++++%5Cend%7Bbmatrix%7D%2C++++++%5Cquad+%5Ctext%7Bwith%7D+%5Cquad++++++%5Cquad+E+%3D+E_0+-+%5CDelta++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='| &#92;psi_- &#92;rangle =      &#92;begin{bmatrix}          1/&#92;sqrt{2} &#92;&#92; -1/&#92;sqrt{2}      &#92;end{bmatrix},      &#92;quad &#92;text{with} &#92;quad      &#92;quad E = E_0 - &#92;Delta  ' title='| &#92;psi_- &#92;rangle =      &#92;begin{bmatrix}          1/&#92;sqrt{2} &#92;&#92; -1/&#92;sqrt{2}      &#92;end{bmatrix},      &#92;quad &#92;text{with} &#92;quad      &#92;quad E = E_0 - &#92;Delta  ' class='latex' /></p>
<p>and</p>
<p><img src='https://s0.wp.com/latex.php?latex=%7C+%5Cpsi_%2B+%5Crangle+%3D++++++%5Cbegin%7Bbmatrix%7D++++++++++1%2F%5Csqrt%7B2%7D+%5C%5C+1%2F%5Csqrt%7B2%7D++++++%5Cend%7Bbmatrix%7D%2C++++++%5Cquad+%5Ctext%7Bwith%7D+%5Cquad++++++%5Cquad+E+%3D+E_0+%2B+%5CDelta++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='| &#92;psi_+ &#92;rangle =      &#92;begin{bmatrix}          1/&#92;sqrt{2} &#92;&#92; 1/&#92;sqrt{2}      &#92;end{bmatrix},      &#92;quad &#92;text{with} &#92;quad      &#92;quad E = E_0 + &#92;Delta  ' title='| &#92;psi_+ &#92;rangle =      &#92;begin{bmatrix}          1/&#92;sqrt{2} &#92;&#92; 1/&#92;sqrt{2}      &#92;end{bmatrix},      &#92;quad &#92;text{with} &#92;quad      &#92;quad E = E_0 + &#92;Delta  ' class='latex' /></p>
<p>The energies of these states are below and above the energy <img src='https://s0.wp.com/latex.php?latex=E_0%2C&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='E_0,' title='E_0,' class='latex' /> and <img src='https://s0.wp.com/latex.php?latex=%5CDelta&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;Delta' title='&#92;Delta' class='latex' /> says how much.</p>
<p>So, the electron is &#8216;happier&#8217; (electrons don&#8217;t have moods either) to be in the state <img src='https://s0.wp.com/latex.php?latex=%7C%5Cpsi_-%5Crangle&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|&#92;psi_-&#92;rangle' title='|&#92;psi_-&#92;rangle' class='latex' /> than to be localized near only one of the protons.  In other words&mdash;and this is Chemistry 101&mdash;atoms like to share electrons and it bonds them.  Also, they like to share electrons in a particular and symmetric way.</p>
<p>For reference, <img src='https://s0.wp.com/latex.php?latex=%7C%5Cpsi_%2B+%5Crangle&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|&#92;psi_+ &#92;rangle' title='|&#92;psi_+ &#92;rangle' class='latex' /> is called &#8216;antibonding state&#8217;. If the electron is in this state, the atoms will get repelled from each other&mdash;and so much for the molecule!</p>
<h3> How to classically add quantum things </h3>
<p>How can we tell a difference between an electron being in a superposition between two states, and just not knowing its &#8216;real&#8217; position?  Well, first we need to devise a way to describe probabilistic mixtures.</p>
<p>It looks simple&mdash;if we have an electron in the state <img src='https://s0.wp.com/latex.php?latex=%7C1%5Crangle&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|1&#92;rangle' title='|1&#92;rangle' class='latex' /> or <img src='https://s0.wp.com/latex.php?latex=%7C2%5Crangle&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|2&#92;rangle' title='|2&#92;rangle' class='latex' /> with probabilities <img src='https://s0.wp.com/latex.php?latex=1%2F2&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='1/2' title='1/2' class='latex' />, we may be tempted to write</p>
<p><img src='https://s0.wp.com/latex.php?latex=%7C%5Cpsi%5Crangle+%3D+%5Ctfrac%7B1%7D%7B%5Csqrt%7B2%7D%7D+%7C1%5Crangle+%2B+%5Ctfrac%7B1%7D%7B%5Csqrt%7B2%7D%7D+%7C2%5Crangle++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|&#92;psi&#92;rangle = &#92;tfrac{1}{&#92;sqrt{2}} |1&#92;rangle + &#92;tfrac{1}{&#92;sqrt{2}} |2&#92;rangle  ' title='|&#92;psi&#92;rangle = &#92;tfrac{1}{&#92;sqrt{2}} |1&#92;rangle + &#92;tfrac{1}{&#92;sqrt{2}} |2&#92;rangle  ' class='latex' /></p>
<p>We&#8217;re getting the right probabilities, so it looks legit.  But there is something strange about the energy. We have obtained the state <img src='https://s0.wp.com/latex.php?latex=%7C%5Cpsi_%2B%5Crangle&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|&#92;psi_+&#92;rangle' title='|&#92;psi_+&#92;rangle' class='latex' /> with energy <img src='https://s0.wp.com/latex.php?latex=E_0%2B%5CDelta&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='E_0+&#92;Delta' title='E_0+&#92;Delta' class='latex' /> by mixing two states with the energy <img src='https://s0.wp.com/latex.php?latex=E_0&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='E_0' title='E_0' class='latex' />!</p>
<p>Moreover, we could have used different amplitudes such that <img src='https://s0.wp.com/latex.php?latex=%7C%5Calpha%7C%5E2%3D%7C%5Cbeta%7C%5E2%3D1%2F2&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|&#92;alpha|^2=|&#92;beta|^2=1/2' title='|&#92;alpha|^2=|&#92;beta|^2=1/2' class='latex' /> and gotten different energies.  So, we need to devise a way to avoid guessing amplitudes. All in all, we used quotation marks for &#8216;square roots&#8217; for a reason!</p>
<p>It turns out that to describe statistical mixtures we can use <a href="http://en.wikipedia.org/wiki/Density_matrix">density matrices</a>.</p>
<p>The states we&#8217;d been looking at before are described by vectors like this:</p>
<p><img src='https://s0.wp.com/latex.php?latex=%7C+%5Cpsi+%5Crangle+%3D++++++%5Cbegin%7Bbmatrix%7D++++++++++%5Calpha+%5C%5C+%5Cbeta++++++%5Cend%7Bbmatrix%7D++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='| &#92;psi &#92;rangle =      &#92;begin{bmatrix}          &#92;alpha &#92;&#92; &#92;beta      &#92;end{bmatrix}  ' title='| &#92;psi &#92;rangle =      &#92;begin{bmatrix}          &#92;alpha &#92;&#92; &#92;beta      &#92;end{bmatrix}  ' class='latex' /></p>
<p>These are called &#8216;pure states&#8217;.  For a pure state, here is how we create a density matrix:</p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Crho+%3D+%7C+%5Cpsi+%5Crangle+%5Clangle+%5Cpsi+%7C++++++%5Cequiv++++++%5Cbegin%7Bbmatrix%7D++++++++++%5Calpha+%5Calpha%5E%2A+%26+%5Calpha+%5Cbeta%5E%2A%5C%5C++++++++++%5Cbeta+%5Calpha%5E%2A+%26+%5Cbeta+%5Cbeta%5E%2A+++++++%5Cend%7Bbmatrix%7D++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;rho = | &#92;psi &#92;rangle &#92;langle &#92;psi |      &#92;equiv      &#92;begin{bmatrix}          &#92;alpha &#92;alpha^* &amp; &#92;alpha &#92;beta^*&#92;&#92;          &#92;beta &#92;alpha^* &amp; &#92;beta &#92;beta^*       &#92;end{bmatrix}  ' title='&#92;rho = | &#92;psi &#92;rangle &#92;langle &#92;psi |      &#92;equiv      &#92;begin{bmatrix}          &#92;alpha &#92;alpha^* &amp; &#92;alpha &#92;beta^*&#92;&#92;          &#92;beta &#92;alpha^* &amp; &#92;beta &#92;beta^*       &#92;end{bmatrix}  ' class='latex' /></p>
<p>On the diagonal we get probabilities (<img src='https://s0.wp.com/latex.php?latex=%7C%5Calpha%7C%5E2&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|&#92;alpha|^2' title='|&#92;alpha|^2' class='latex' /> and <img src='https://s0.wp.com/latex.php?latex=%7C%5Cbeta%7C%5E2&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|&#92;beta|^2' title='|&#92;beta|^2' class='latex' />), whereas the off-diagonal terms (<img src='https://s0.wp.com/latex.php?latex=%5Calpha+%5Cbeta%5E%2A&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;alpha &#92;beta^*' title='&#92;alpha &#92;beta^*' class='latex' /> and its complex conjugate) are related to the presence of quantum effects.  For example, for <img src='https://s0.wp.com/latex.php?latex=%7C%5Cpsi_-%5Crangle&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|&#92;psi_-&#92;rangle' title='|&#92;psi_-&#92;rangle' class='latex' /> we get</p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Crho+%3D++++++%5Cbegin%7Bbmatrix%7D++++++++++1%2F2+%26+-1%2F2%5C%5C++++++++++-1%2F2+%26+1%2F2+++++++%5Cend%7Bbmatrix%7D++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;rho =      &#92;begin{bmatrix}          1/2 &amp; -1/2&#92;&#92;          -1/2 &amp; 1/2       &#92;end{bmatrix}  ' title='&#92;rho =      &#92;begin{bmatrix}          1/2 &amp; -1/2&#92;&#92;          -1/2 &amp; 1/2       &#92;end{bmatrix}  ' class='latex' /></p>
<p>For an electron in the state <img src='https://s0.wp.com/latex.php?latex=%7C1%5Crangle&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|1&#92;rangle' title='|1&#92;rangle' class='latex' /> we get</p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Crho+%3D++++++%5Cbegin%7Bbmatrix%7D++++++++++1+%26+0%5C%5C++++++++++0+%26+0+++++++%5Cend%7Bbmatrix%7D.++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;rho =      &#92;begin{bmatrix}          1 &amp; 0&#92;&#92;          0 &amp; 0       &#92;end{bmatrix}.  ' title='&#92;rho =      &#92;begin{bmatrix}          1 &amp; 0&#92;&#92;          0 &amp; 0       &#92;end{bmatrix}.  ' class='latex' /></p>
<p>To calculate the energy, the recipe is the following:</p>
<p><img src='https://s0.wp.com/latex.php?latex=E+%3D+%5Cmathrm%7Btr%7D%5BH+%5Crho%5D++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='E = &#92;mathrm{tr}[H &#92;rho]  ' title='E = &#92;mathrm{tr}[H &#92;rho]  ' class='latex' /></p>
<p>where <img src='https://s0.wp.com/latex.php?latex=%5Cmathrm%7Btr%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;mathrm{tr}' title='&#92;mathrm{tr}' class='latex' /> is the &#8216;<a href="https://en.wikipedia.org/wiki/Trace_%28linear_algebra%29">trace</a>&#8216;: the sum of the diagonal entries.   For a <img src='https://s0.wp.com/latex.php?latex=n+%5Ctimes+n&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='n &#92;times n' title='n &#92;times n' class='latex' /> square matrix with entries <img src='https://s0.wp.com/latex.php?latex=A_%7Bij%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='A_{ij}' title='A_{ij}' class='latex' /> its trace is</p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Cmathrm%7Btr%7D%28A%29+%3D+A_%7B11%7D+%2B+A_%7B22%7D+%2B+%5Cldots+%2B+A_%7Bnn%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;mathrm{tr}(A) = A_{11} + A_{22} + &#92;ldots + A_{nn}' title='&#92;mathrm{tr}(A) = A_{11} + A_{22} + &#92;ldots + A_{nn}' class='latex' /></p>
<p><b>Exercise 3.</b>   Show that this formula for energy, and the previous one, give the same result on pure states.</p>
<p>I advertised that density matrices allow us to mix quantum states.  How do they do that? Very simple: just by adding density matrices, multiplied by the respective probabilities:</p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Crho+%3D+p_1+%5Crho_1+%2B+p_2+%5Crho_2+%2B+%5Ccdots+%2B+p_n+%5Crho_n+++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;rho = p_1 &#92;rho_1 + p_2 &#92;rho_2 + &#92;cdots + p_n &#92;rho_n   ' title='&#92;rho = p_1 &#92;rho_1 + p_2 &#92;rho_2 + &#92;cdots + p_n &#92;rho_n   ' class='latex' /></p>
<p>It is exactly how we would mix probability vectors.  Indeed, the diagonals are probability vectors!</p>
<p>So, let&#8217;s say that our co-worker was drunk and we are not sure if (s)he said that the state is <img src='https://s0.wp.com/latex.php?latex=%7C%5Cpsi_-%5Crangle&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|&#92;psi_-&#92;rangle' title='|&#92;psi_-&#92;rangle' class='latex' /> or <img src='https://s0.wp.com/latex.php?latex=%7C1%5Crangle&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|1&#92;rangle' title='|1&#92;rangle' class='latex' />. However, we think that the probabilities are <img src='https://s0.wp.com/latex.php?latex=1%2F3&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='1/3' title='1/3' class='latex' /> and <img src='https://s0.wp.com/latex.php?latex=2%2F3.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='2/3.' title='2/3.' class='latex' />  We get the density matrix:</p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Crho+%3D++++++%5Cbegin%7Bbmatrix%7D++++++++++5%2F6+%26+-1%2F6%5C%5C++++++++++-1%2F6+%26+1%2F6+++++++%5Cend%7Bbmatrix%7D++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;rho =      &#92;begin{bmatrix}          5/6 &amp; -1/6&#92;&#92;          -1/6 &amp; 1/6       &#92;end{bmatrix}  ' title='&#92;rho =      &#92;begin{bmatrix}          5/6 &amp; -1/6&#92;&#92;          -1/6 &amp; 1/6       &#92;end{bmatrix}  ' class='latex' /></p>
<p>So, how about its energy?</p>
<p><b>Exercise 4.</b>  Show that calculating energy using density matrix gives the same result as averaging energy over component pure states.</p>
<p>I may have given the impression that density matrix is an artificial thing, at best&mdash;a practical trick, and what we &#8216;really&#8217; have are pure states (vectors), each with a given probability. If so, the next exercise is for you:</p>
<p><b>Exercise 5.</b> Show that a 50%-50% mixture of <img src='https://s0.wp.com/latex.php?latex=%7C1%5Crangle&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|1&#92;rangle' title='|1&#92;rangle' class='latex' /> and <img src='https://s0.wp.com/latex.php?latex=%7C2%5Crangle&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|2&#92;rangle' title='|2&#92;rangle' class='latex' /> is the same as a 50%-50% mixture of <img src='https://s0.wp.com/latex.php?latex=%7C%5Cpsi_%2B%5Crangle&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|&#92;psi_+&#92;rangle' title='|&#92;psi_+&#92;rangle' class='latex' /> and <img src='https://s0.wp.com/latex.php?latex=%7C%5Cpsi_-%5Crangle&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|&#92;psi_-&#92;rangle' title='|&#92;psi_-&#92;rangle' class='latex' />.</p>
<p>This is different than statistical mechanics, or statistics, where we can always think about probability distributions as uniquely defined statistical mixtures of possible states.  Here, as we see, it can be a bit more tricky.</p>
<p>As we said, for the diagonals things work as for classical probabilities. But there is more&mdash;at the same time as adding probabilities we also add the off-diagonal terms, which can add up to cancel, depending on their signs. It&#8217;s why it&#8217;s mixing quantum states may make them losing their quantum properties.</p>
<p>The value of the off-diagonal term is related to so-called &#8216;coherence&#8217; between the states <img src='https://s0.wp.com/latex.php?latex=%7C1%5Crangle&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|1&#92;rangle' title='|1&#92;rangle' class='latex' /> and <img src='https://s0.wp.com/latex.php?latex=%7C2%5Crangle&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|2&#92;rangle' title='|2&#92;rangle' class='latex' />. Its value is bounded by the respective probabilities:</p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Cleft%7C+%5Crho_%7B12%7D+%5Cright%7C+%5Cleq+%5Csqrt%7B%5Crho_%7B11%7D%5Crho_%7B22%7D%7D+%3D+%5Csqrt%7Bp_1+p_2%7D++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;left| &#92;rho_{12} &#92;right| &#92;leq &#92;sqrt{&#92;rho_{11}&#92;rho_{22}} = &#92;sqrt{p_1 p_2}  ' title='&#92;left| &#92;rho_{12} &#92;right| &#92;leq &#92;sqrt{&#92;rho_{11}&#92;rho_{22}} = &#92;sqrt{p_1 p_2}  ' class='latex' /></p>
<p>where for pure states we get equality.</p>
<p>If the value is zero, there are no quantum effects between two positions: this means that the electron is sure to be at one place or the other, though we might be uncertain at which place. This is fundamentally different from a superposition (non-zero <img src='https://s0.wp.com/latex.php?latex=%5Crho_%7B12%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;rho_{12}' title='&#92;rho_{12}' class='latex' />), where we are uncertain at which site a particle is, but it can no longer be thought to be at one site <em>or</em> the other: it must be in some way associated with both simultaneously.</p>
<p><b>Exercise 6.</b>  For each <img src='https://s0.wp.com/latex.php?latex=c+%5Cin+%5B-1%2C1%5D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='c &#92;in [-1,1]' title='c &#92;in [-1,1]' class='latex' /> propose how to obtain a mixed state described by density matrix</p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Crho+%3D+++++++%5Cbegin%7Bbmatrix%7D++++++++++1%2F2+%26+c%2F2%5C%5C++++++++++c%2F2+%26+1%2F2+++++++%5Cend%7Bbmatrix%7D++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;rho =       &#92;begin{bmatrix}          1/2 &amp; c/2&#92;&#92;          c/2 &amp; 1/2       &#92;end{bmatrix}  ' title='&#92;rho =       &#92;begin{bmatrix}          1/2 &amp; c/2&#92;&#92;          c/2 &amp; 1/2       &#92;end{bmatrix}  ' class='latex' /></p>
<p>by mixing pure states of your choice.</p>
<h3> A spatial wavefunction </h3>
<p>A similar thing works for position. Instead of a two-level system let&#8217;s take a particle in one dimension. The analogue of a state vector is a wavefunction, a complex-valued function on a line:</p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Cpsi%28x%29+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;psi(x) ' title='&#92;psi(x) ' class='latex' /></p>
<p>In this continuous variant, <img src='https://s0.wp.com/latex.php?latex=p%28x%29+%3D+%7C%5Cpsi%28x%29%7C%5E2&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='p(x) = |&#92;psi(x)|^2' title='p(x) = |&#92;psi(x)|^2' class='latex' /> is the probability density of finding particle in one place.</p>
<p>We construct the density matrix (or rather: &#8216;density operator&#8217;) in an way that is analogous to what we did for the two-level system:</p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Crho%28x%2C+x%27%29+%3D+%5Cpsi%28x%29+%5Cpsi%5E%2A%28x%27%29+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;rho(x, x&#039;) = &#92;psi(x) &#92;psi^*(x&#039;) ' title='&#92;rho(x, x&#039;) = &#92;psi(x) &#92;psi^*(x&#039;) ' class='latex' /></p>
<p>Instead of a 2&times;2 matrix matrix, it is a complex function of two real variables.  The probability density can be described by its diagonal values, i.e.</p>
<p><img src='https://s0.wp.com/latex.php?latex=p%28x%29+%3D+%5Crho%28x%2Cx%29&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='p(x) = &#92;rho(x,x)' title='p(x) = &#92;rho(x,x)' class='latex' /></p>
<p>Again, we may wonder if the particle energetically favors being in many places at once.  Well, it does.</p>
<blockquote><p>
  Density matrices for a classical and quantum state. They yield the same probability distributions (for positions). However, their off-diagonal values (i.e. $x\neq x&#8217;$) are different. The classical state is just a probabilistic mixture of a particle being in a particular place.
</p></blockquote>
<div align="center"><a href="http://math.ucr.edu/home/baez/physical/migdal_superposition/mixture_vs_superposition.png"><img width="450" src="https://i0.wp.com/math.ucr.edu/home/baez/physical/migdal_superposition/mixture_vs_superposition.png" /></a></div>
<p>What would happen if we had a mixture of perfectly localized particles?  Due to <a href="https://en.wikipedia.org/wiki/Uncertainty_principle">Heisenberg&#8217;s uncertainly principle</a> we have</p>
<p><img src='https://s0.wp.com/latex.php?latex=%5CDelta+x+%5CDelta+p+%5Cgeq+%5Cfrac%7B%5Chbar%7D%7B2%7D%2C+++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;Delta x &#92;Delta p &#92;geq &#92;frac{&#92;hbar}{2},   ' title='&#92;Delta x &#92;Delta p &#92;geq &#92;frac{&#92;hbar}{2},   ' class='latex' /></p>
<p>that is, that the product of <a href="https://en.wikipedia.org/wiki/Standard_deviation">standard deviations</a> of position and momentum is at least some value.</p>
<p>If we exactly know the position, then the uncertainty of momentum goes to infinity.  (The same thing holds if we don&#8217;t know position, but it can be known, even in principle. Quantum mechanics couldn&#8217;t care less if the particle&#8217;s position is known by us, by our friend, by our detector or by a dust particle.)</p>
<p>The Hamiltonian represents energy, the energy of <a href="http://en.wikipedia.org/wiki/Schr%C3%B6dinger_equation">a free particle in continuous system</a> is</p>
<p><img src='https://s0.wp.com/latex.php?latex=H%3Dp%5E2%2F%282m%29++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='H=p^2/(2m)  ' title='H=p^2/(2m)  ' class='latex' /></p>
<p>where <img src='https://s0.wp.com/latex.php?latex=m&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='m' title='m' class='latex' /> is its mass, and <img src='https://s0.wp.com/latex.php?latex=p&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='p' title='p' class='latex' /> is its momentum: that is, mass times velocity.  So, if the particle is completely localized:</p>
<p>&bull; its energy is infinite,<br />
&bull; its velocity are infinite, so in no time its wavefunction will spread everywhere.</p>
<p>Infinite energies sometimes happen if physics. But if we get infinite velocities we see that there is something wrong. So a particle needs to be spread out, or &#8216;delocalized&#8217;, to some degree, to have finite energy.</p>
<blockquote><p>
  As a side note, to consider high energies we would need to employ special relativity. In fact, one cannot localize a massive particle that much, as it will create a soup of particles and antiparticles, once its energy related to momentum uncertainty is as much as the energy related to its mass; see <a href="https://en.wikipedia.org/wiki/Fine_structure">the Darwin term in the fine structure</a>.
</p></blockquote>
<p>Moreover, depending on the degree of its delocalization its behavior is different. For example, a statistical mixture of highly localized particles would spread a lot faster than the same $p(x)$ but derived from a single wavefunction.  The density matrix of the former would be in between of that of pure state (a &#8216;circular&#8217; Gaussian function) and the classical state (a &#8216;linear&#8217; Gaussian). That is, it would be an &#8216;oval&#8217; Gaussian, with off-diagonal values being smaller than for the pure state.</p>
<p>Let us look at two <a href="http://en.wikipedia.org/wiki/Gaussian_function">Gaussian wavefunctions</a>, with varying level of coherent superposition between them. That is, each Gaussian is already a superposition, but when we combine two we let ourselves use a superposition, or a mixture, or something in between.  For a perfect superposition of Gaussian, we would have the density matrix</p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Crho%28x%2Cx%27%29+%3D+%5Cfrac%7B1%7D%7B2%7D+%5Cleft%28+%5Cphi%28x%2B%5Ctfrac%7Bd%7D%7B2%7D%29+%2B+%5Cphi%28x-%5Ctfrac%7Bd%7D%7B2%7D%29+%5Cright%29+%5Cleft%28+%5Cphi%28x%27%2B%5Ctfrac%7Bd%7D%7B2%7D%29+%2B+%5Cphi%28x%27-%5Ctfrac%7Bd%7D%7B2%7D%29+%5Cright%29++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;rho(x,x&#039;) = &#92;frac{1}{2} &#92;left( &#92;phi(x+&#92;tfrac{d}{2}) + &#92;phi(x-&#92;tfrac{d}{2}) &#92;right) &#92;left( &#92;phi(x&#039;+&#92;tfrac{d}{2}) + &#92;phi(x&#039;-&#92;tfrac{d}{2}) &#92;right)  ' title='&#92;rho(x,x&#039;) = &#92;frac{1}{2} &#92;left( &#92;phi(x+&#92;tfrac{d}{2}) + &#92;phi(x-&#92;tfrac{d}{2}) &#92;right) &#92;left( &#92;phi(x&#039;+&#92;tfrac{d}{2}) + &#92;phi(x&#039;-&#92;tfrac{d}{2}) &#92;right)  ' class='latex' /></p>
<p>where <img src='https://s0.wp.com/latex.php?latex=%5Cphi%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;phi(x)' title='&#92;phi(x)' class='latex' /> is a normalized Gaussian function.  For a statistical mixture between these Gaussians split by a distance of <img src='https://s0.wp.com/latex.php?latex=d%2C&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='d,' title='d,' class='latex' /> we would have:</p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Crho%28x%2Cx%27%29+%3D+%5Cfrac%7B1%7D%7B2%7D+%5Cphi%28x%2B%5Ctfrac%7Bd%7D%7B2%7D%29+%5Cphi%28x%27%2B%5Ctfrac%7Bd%7D%7B2%7D%29++%2B++%5Cfrac%7B1%7D%7B2%7D+%5Cphi%28x-%5Ctfrac%7Bd%7D%7B2%7D%29+%5Cphi%28x%27-%5Ctfrac%7Bd%7D%7B2%7D%29++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;rho(x,x&#039;) = &#92;frac{1}{2} &#92;phi(x+&#92;tfrac{d}{2}) &#92;phi(x&#039;+&#92;tfrac{d}{2})  +  &#92;frac{1}{2} &#92;phi(x-&#92;tfrac{d}{2}) &#92;phi(x&#039;-&#92;tfrac{d}{2})  ' title='&#92;rho(x,x&#039;) = &#92;frac{1}{2} &#92;phi(x+&#92;tfrac{d}{2}) &#92;phi(x&#039;+&#92;tfrac{d}{2})  +  &#92;frac{1}{2} &#92;phi(x-&#92;tfrac{d}{2}) &#92;phi(x&#039;-&#92;tfrac{d}{2})  ' class='latex' /></p>
<p>And in general,</p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Cbegin%7Barray%7D%7Bccl%7D++%5Crho%28x%2Cx%27%29+%26%3D%26+%5Cfrac%7B1%7D%7B2%7D+%5Cleft%28+%5Cphi%28x%2B%5Ctfrac%7Bd%7D%7B2%7D%29+%5Cphi%28x%27%2B%5Ctfrac%7Bd%7D%7B2%7D%29++%2B++%5Cphi%28x-%5Ctfrac%7Bd%7D%7B2%7D%29+%5Cphi%28x%27-%5Ctfrac%7Bd%7D%7B2%7D%29%5Cright%29+%2B+%5C%5C+%5C%5C++%26%26+%5Cfrac%7Bc%7D%7B2%7D+%5Cleft%28+%5Cphi%28x%2B%5Ctfrac%7Bd%7D%7B2%7D%29+%5Cphi%28x%27-%5Ctfrac%7Bd%7D%7B2%7D%29++%2B+%5Cphi%28x-%5Ctfrac%7Bd%7D%7B2%7D%29+%5Cphi%28x%27%2B%5Ctfrac%7Bd%7D%7B2%7D%29+%5Cright%29++%5Cend%7Barray%7D++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;begin{array}{ccl}  &#92;rho(x,x&#039;) &amp;=&amp; &#92;frac{1}{2} &#92;left( &#92;phi(x+&#92;tfrac{d}{2}) &#92;phi(x&#039;+&#92;tfrac{d}{2})  +  &#92;phi(x-&#92;tfrac{d}{2}) &#92;phi(x&#039;-&#92;tfrac{d}{2})&#92;right) + &#92;&#92; &#92;&#92;  &amp;&amp; &#92;frac{c}{2} &#92;left( &#92;phi(x+&#92;tfrac{d}{2}) &#92;phi(x&#039;-&#92;tfrac{d}{2})  + &#92;phi(x-&#92;tfrac{d}{2}) &#92;phi(x&#039;+&#92;tfrac{d}{2}) &#92;right)  &#92;end{array}  ' title='&#92;begin{array}{ccl}  &#92;rho(x,x&#039;) &amp;=&amp; &#92;frac{1}{2} &#92;left( &#92;phi(x+&#92;tfrac{d}{2}) &#92;phi(x&#039;+&#92;tfrac{d}{2})  +  &#92;phi(x-&#92;tfrac{d}{2}) &#92;phi(x&#039;-&#92;tfrac{d}{2})&#92;right) + &#92;&#92; &#92;&#92;  &amp;&amp; &#92;frac{c}{2} &#92;left( &#92;phi(x+&#92;tfrac{d}{2}) &#92;phi(x&#039;-&#92;tfrac{d}{2})  + &#92;phi(x-&#92;tfrac{d}{2}) &#92;phi(x&#039;+&#92;tfrac{d}{2}) &#92;right)  &#92;end{array}  ' class='latex' /></p>
<p>for some <img src='https://s0.wp.com/latex.php?latex=%7Cc%7C+%5Cleq+1.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='|c| &#92;leq 1.' title='|c| &#92;leq 1.' class='latex' /></p>
<blockquote><p>
  PICTURE: Two Gaussian wavefunctions (centered at -2 and +2) in a coherent superposition with each other (the first and the last plot) and a statistical mixture (the middle plot); the 2nd and 4th plot show intermediary states. Superposition can be with different phase, much like the hydrogen example.  <a href="http://nbviewer.ipython.org/github/empet/Math/blob/master/DomainColoring.ipynb">Color represents absolute value and hue phase</a>; here red is for positive numbers and teal is for negative.
</p></blockquote>
<div align="center"><a href="http://math.ucr.edu/home/baez/physical/migdal_superposition/mixture_gaussians_dm.png"><img width="450" src="https://i2.wp.com/math.ucr.edu/home/baez/physical/migdal_superposition/mixture_gaussians_dm.png" /></a></div>
<p>(Click to enlarge.)</p>
<h3> Conclusion </h3>
<p>We have seen learnt the difference between the quantum superposition and the statistical mixture of states. In particular, while both of these descriptions may give the same probabilities, their predictions on the physical properties of states differ. For example, we need an electron to be delocalized in a specific way to describe chemical bonds; and we need delocalization of any particle to predict its movement.</p>
<p>We used density matrices to express both quantum superposition and (classical) lack of knowledge on the same ground. We have identified its off-diagonal terms as ones related to the quantum coherence.</p>
<p>But what if there were not only two states, but many? So, instead of <img src='https://s0.wp.com/latex.php?latex=%5Cmathrm%7BH%7D_2%5E%2B&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;mathrm{H}_2^+' title='&#92;mathrm{H}_2^+' class='latex' /> (we were not even considering the full hydrogen atom, but only its ionized version), how about electric excitation on something bigger? Not even <img src='https://s0.wp.com/latex.php?latex=%5Cmathrm%7BC%7D_2%5Cmathrm%7BH%7D_5%5Cmathrm%7BOH%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;mathrm{C}_2&#92;mathrm{H}_5&#92;mathrm{OH}' title='&#92;mathrm{C}_2&#92;mathrm{H}_5&#92;mathrm{OH}' class='latex' /> or some sugar, but a protein complex!</p>
<p>So, this will be your homework (cf. <a href="http://backreaction.blogspot.com.es/2014/07/youre-not-donut-and-not-mug-either.html">this homework on topology</a>). Just joking, there will be another blog post.</p>
]]></html><thumbnail_url><![CDATA[https://i0.wp.com/math.ucr.edu/home/baez/physical/migdal_superposition/mixture_vs_superposition.png?fit=440%2C330]]></thumbnail_url><thumbnail_height><![CDATA[252]]></thumbnail_height><thumbnail_width><![CDATA[432]]></thumbnail_width></oembed>