Misplaced Pages

Supersymmetric quantum mechanics: Difference between revisions

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Browse history interactively← Previous editContent deleted Content addedVisualWikitext
Revision as of 09:19, 8 May 2006 edit72.58.19.66 (talk) Introduction← Previous edit Latest revision as of 20:03, 12 October 2024 edit undoDondervogel 2 (talk | contribs)Extended confirmed users17,370 editsm Example: simplify 
(85 intermediate revisions by 59 users not shown)
Line 1: Line 1:
{{Short description|Quantum mechanics with supersymmetry}}
In ], '''supersymmetric quantum mechanics''' is an area of research where mathematical concepts from ] are applied to the seemingly more prosaic field of ].
{{Lead too short|date=February 2021}}


In ], '''supersymmetric quantum mechanics''' is an area of research where ] are applied to the simpler setting of plain ], rather than ]. Supersymmetric quantum mechanics has found applications outside of ], such as providing new methods to solve quantum mechanical problems, providing useful extensions to the ], and ].
==Introduction==


== Introduction ==
Understanding the consequences of supersymmetry has proven mathematically daunting, and it has likewise been difficult to develop theories that could account for symmetry breaking, ''i.e.'', the lack of observed partner particles of equal mass. To make progress on these problems, physicists developed ''supersymmetric quantum mechanics'', an application of the SUSY superalgebra to ] as opposed to ]. It was hoped that studying SUSY's consequences in this simpler setting would lead to new understanding; remarkably, the effort created new areas of research in quantum mechanics itself.
Understanding the consequences of supersymmetry (SUSY) has proven mathematically daunting, and it has likewise been difficult to develop theories that could account for symmetry breaking, ''i.e.'', the lack of observed partner particles of equal mass. To make progress on these problems, physicists developed ''supersymmetric quantum mechanics'', an application of the supersymmetry superalgebra to quantum mechanics as opposed to quantum field theory. It was hoped that studying SUSY's consequences in this simpler setting would lead to new understanding; remarkably, the effort created new areas of research in quantum mechanics itself.


For example, as of ] students are typically taught to "solve" the ] atom by a laborious process which begins by inserting the ] potential into the ]. After a considerable amount of work using many differential equations, the analysis produces a recursion relation for the ]. The final outcome is the ] of hydrogen-atom energy states (labeled by quantum numbers ''n'' and ''l''). Using ideas drawn from SUSY, the final result can be derived with significantly greater ease, in much the same way that operator methods are used to solve the ]. Oddly enough, this approach is analogous to the way ] first solved the hydrogen atom. Of course, he did not ''call'' his solution supersymmetric, as SUSY was thirty years in the future&mdash;but it is still remarkable that the SUSY approach, both older and more elegant, is taught in so few universities. For example, students are typically taught to "solve" the ] atom by a laborious process which begins by inserting the ] potential into the ]. After a considerable amount of work using many differential equations, the analysis produces a recursion relation for the ]. The outcome is the ] of hydrogen-atom energy states (labeled by quantum numbers ''n'' and ''l''). Using ideas drawn from SUSY, the final result can be derived with significantly greater ease, in much the same way that operator methods are used to solve the ].<ref>
{{citation
|last1 = Valance |first1 = A.
|last2 = Morgan |first2 = T. J.
|last3 = Bergeron |first3 = H.
|year = 1990
|title = Eigensolution of the Coulomb Hamiltonian via supersymmetry
|journal = American Journal of Physics
|publisher = AAPT
|volume = 58
|issue = 5
|pages = 487–491
|url = http://link.aip.org/link/?AJP/58/487/1
|archive-url = https://archive.today/20130224005902/http://link.aip.org/link/?AJP/58/487/1
|archive-date = 2013-02-24
|doi = 10.1119/1.16452
|url-status = dead
|bibcode = 1990AmJPh..58..487V
}}</ref> A similar supersymmetric approach can also be used to more accurately find the hydrogen spectrum using the Dirac equation.<ref>Thaller, B. (1992). The Dirac Equation. Texts and Monographs in Physics. Springer.</ref> Oddly enough, this approach is analogous to the way ] first solved the hydrogen atom.<ref>
{{citation
| last = Schrödinger | first = Erwin
| year = 1940
| title = A Method of Determining Quantum-Mechanical Eigenvalues and Eigenfunctions
| journal = Proceedings of the Royal Irish Academy
| publisher = Royal Irish Academy
| volume = 46
| pages = 9–16
}}</ref><ref>
{{citation
| last = Schrödinger | first = Erwin
| year = 1941
| title = Further Studies on Solving Eigenvalue Problems by Factorization
| journal = Proceedings of the Royal Irish Academy
| publisher = Royal Irish Academy
| volume = 46
| pages = 183–206
}}</ref> He did not ''call'' his solution supersymmetric, as SUSY was thirty years in the future.


The SUSY solution of the hydrogen atom is only one example of the very general class of solutions which SUSY provides to ''shape-invariant potentials'', a category which includes most potentials taught in introductory quantum mechanics courses. The SUSY solution of the hydrogen atom is only one example of the very general class of solutions which SUSY provides to ''shape-invariant potentials'', a category which includes most potentials taught in introductory quantum mechanics courses.


SUSY quantum mechanics involves pairs of ]s which share a particular mathematical relationship, which are called ''partner Hamiltonians''. (The ] terms which occur in the Hamiltonians are then called ''partner potentials''.) An introductory theorem shows that for every ] of one Hamiltonian, its partner Hamiltonian has a corresponding eigenstate with the same energy (except possibly for zero energy eigenstates). This fact can be exploited to deduce many properties of the eigenstate spectrum. It is analogous to the original description of SUSY, which referred to bosons and fermions. We can imagine a "bosonic Hamiltonian", whose eigenstates are the various bosons of our theory. The SUSY partner of this Hamiltonian would be "fermionic", and its eigenstates would be the theory's fermions. Each boson would have a fermionic partner of equal energy&mdash;but, in the relativistic world, energy and mass are interchangeable, so we can just as easily say that the partner particles have equal mass. SUSY quantum mechanics involves pairs of ]s which share a particular mathematical relationship, which are called ''partner Hamiltonians''. (The ] terms which occur in the Hamiltonians are then called ''partner potentials''.) An introductory theorem shows that for every ] of one Hamiltonian, its partner Hamiltonian has a corresponding eigenstate with the same energy (except possibly for zero energy eigenstates). This fact can be exploited to deduce many properties of the eigenstate spectrum. It is analogous to the original description of SUSY, which referred to bosons and fermions. We can imagine a "bosonic Hamiltonian", whose eigenstates are the various bosons of our theory. The SUSY partner of this Hamiltonian would be "fermionic", and its eigenstates would be the theory's fermions. Each boson would have a fermionic partner of equal energy—but, in the relativistic world, energy and mass are interchangeable, so we can just as easily say that the partner particles have equal mass.


SUSY concepts have provided useful extensions to the ]. In addition, SUSY has been applied to non-quantum ] through the ], showing that even if the original inspiration in high-energy particle physics turns out to be a blind alley, its investigation has brought about many useful benefits. SUSY concepts have provided useful extensions to the WKB approximation in the form of a modified version of the ] condition. In addition, SUSY has been applied to non-quantum statistical mechanics through the ], showing that even if the original inspiration in high-energy particle physics turns out to be a blind alley, its investigation has brought about many useful benefits.


== Example: the harmonic oscillator ==
==The SUSY QM superalgebra==


The Schrödinger equation for the harmonic oscillator takes the form
In fundamental quantum mechanics, we learn that an algebra of operators is defined by ] relations among those operators. For example, the canonical operators of position and momentum have the commutator =''i''. (Here, we use "]s" where ] is set equal to 1.) A more intricate case is the algebra of ] operators; these quantities are closely connected to the rotational symmetries of three-dimensional space. To generalize this concept, we define an ''],'' which relates operators the same way as an ordinary ], but with the opposite sign:
: <math>H^{\rm HO} \psi_{n}(x) = \bigg(\frac{-\hbar^{2}}{2m}\frac{d^{2}}{dx^{2}}+\frac{m \omega^{2}}{2}x^{2}\bigg) \psi_{n}(x) = E_{n}^{\rm HO} \psi_{n}(x),</math>
where <math>\psi_{n}(x)</math> is the <math>n</math>th energy eigenstate of <math>H^\text{HO}</math> with energy <math>E_{n}^\text{HO}</math>. We want to find an expression for <math>E_{n}^{\rm HO}</math> in terms of <math>n</math>. We define the operators
: <math>A = \frac{\hbar}{\sqrt{2m}}\frac{d}{dx}+W(x)</math>
and
: <math>A^{\dagger} = -\frac{\hbar}{\sqrt{2m}}\frac{d}{dx}+W(x),</math>
where <math>W(x)</math>, which we need to choose, is called the superpotential of <math>H^{\rm HO}</math>. We also define the aforementioned partner Hamiltonians <math>H^{(1)}</math> and <math>H^{(2)}</math> as
: <math>H^{(1)} = A^{\dagger} A = \frac{-\hbar^{2}}{2m}\frac{d^{2}}{dx^{2}} - \frac{\hbar}{\sqrt{2m}} W^{\prime}(x) + W^{2}(x)</math>
: <math>H^{(2)} = A A^{\dagger} = \frac{-\hbar^{2}}{2m}\frac{d^{2}}{dx^{2}} + \frac{\hbar}{\sqrt{2m}} W^{\prime}(x) + W^{2}(x).</math>


A zero energy ground state <math>\psi_{0}^{(1)}(x)</math> of <math>H^{(1)}</math> would satisfy the equation
:<math>\{A,B\} = AB + BA.</math>
: <math>H^{(1)} \psi_{0}^{(1)}(x) = A^{\dagger} A \psi_{0}^{(1)}(x)
= A^{\dagger} \bigg(\frac{\hbar}{\sqrt{2m}}\frac{d}{dx}+ W(x)\bigg) \psi_{0}^{(1)}(x) = 0.</math>


Assuming that we know the ground state of the harmonic oscillator <math>\psi_{0}(x)</math>, we can solve for <math>W(x)</math> as
If operators are related by anticommutators as well as commutators, we say they are part of a ''].'' Let's say we have a quantum system described by a Hamiltonian <math>\mathcal{H}</math> and a set of ''N'' self-adjoint operators ''Q<sub>i</sub>.'' We shall call this system ''supersymmetric'' if the following anticommutation relation is valid for all <math>i,j = 1,\ldots,N</math>:
: <math>W(x) = \frac{-\hbar}{\sqrt{2m}} \bigg(\frac{\psi_{0}^{\prime}(x)}{\psi_{0}(x)}\bigg) = x \sqrt{m \omega^{2}/2} </math>


We then find that
:<math>\{Q_i,Q_j\} = \mathcal{H}\delta_{ij}.</math>
: <math>H^{(1)} = \frac{-\hbar^{2}}{2m}\frac{d^{2}}{dx^{2}} + \frac{m \omega^{2}}{2} x^{2} - \frac{\hbar \omega}{2} </math>
: <math>H^{(2)} = \frac{-\hbar^{2}}{2m}\frac{d^{2}}{dx^{2}} + \frac{m \omega^{2}}{2} x^{2} + \frac{\hbar \omega}{2}.</math>


We can now see that
If this is the case, then we call ''Q<sub>i</sub>'' the system's ''supercharges.''
: <math>H^{(1)} = H^{(2)} - \hbar \omega = H^{\rm HO} - \frac{\hbar \omega}{2}.</math>


This is a special case of shape invariance, discussed below. Taking without proof the introductory theorem mentioned above, it is apparent that the spectrum of <math>H^{(1)}</math> will start with <math>E_{0} = 0</math> and continue upwards in steps of <math>\hbar \omega.</math> The spectra of <math>H^{(2)}</math> and <math>H^{\rm HO}</math> will have the same even spacing, but will be shifted up by amounts <math>\hbar \omega</math> and <math>\hbar \omega / 2</math>, respectively. It follows that the spectrum of <math>H^{\rm HO}</math> is therefore the familiar <math>E_{n}^{\rm HO} = \hbar \omega (n + 1/2)</math>.
== Example ==


== SUSY QM superalgebra ==
Let's look at the example of a one-dimensional nonrelativistic particle with a 2D (''i.e.,'' two state) internal degree of freedom called "spin" (it's not really spin because "real" spin is a property of 3D particles). Let ''b'' be an operator which transforms a "spin up" particle into a "spin down" particle. Its adjoint ''b<sup>&dagger;</sup>'' then transforms a spin down particle into a spin up particle; the operators are normalized such that the anticommutator {''b'',''b''<sup>&dagger;</sup>}=1. And of course, ''b''<sup>2</sup>=0. Let ''p'' be the momentum of the particle and x be its position with =''i''. Let ''W'' (the "]") be an arbitrary complex analytic function of ''x'' and define the supersymmetric operators


In fundamental quantum mechanics, we learn that an algebra of operators is defined by ] relations among those operators. For example, the canonical operators of position and momentum have the commutator <math>=i</math>. (Here, we use "]s" where the ] is set equal to 1.) A more intricate case is the algebra of ] operators; these quantities are closely connected to the rotational symmetries of three-dimensional space. To generalize this concept, we define an '']'', which relates operators the same way as an ordinary ], but with the opposite sign:
:<math>Q_1=\frac{1}{2}\left</math>
:<math>Q_2=\frac{i}{2}\left</math> : <math>\{A,B\} = AB + BA.</math>


If operators are related by anticommutators as well as commutators, we say they are part of a '']''. Let's say we have a quantum system described by a Hamiltonian <math>\mathcal{H}</math> and a set of <math>N</math> operators <math>Q_i</math>. We shall call this system ''supersymmetric'' if the following anticommutation relation is valid for all <math>i,j = 1,\ldots,N</math>:
Note that ''Q<sub>1</sub>'' and ''Q<sub>2</sub>'' are self-adjoint. Let the ]
: <math>\{Q_i,Q^\dagger_j\} = \mathcal{H}\delta_{ij}.</math>


If this is the case, then we call ''<math>Q_i</math>'' the system's ''supercharges''.
:<math>H=\{Q_1,Q_1\}=\{Q_2,Q_2\}=\frac{(p+\Im\{W\})^2}{2}+\frac{{\Re\{W\}}^2}{2}+\frac{\Re\{W\}'}{2}(bb^\dagger-b^\dagger b)</math>


== Example ==
where ''W<nowiki>'</nowiki>'' is the derivative of ''W''. Also note that {''Q<sub>1</sub>,Q<sub>2</sub>''}=0. This is nothing other than ''N = 2'' supersymmetry. Note that <math>\Im\{W\}</math> acts like an electromagnetic ].

Let's look at the example of a one-dimensional nonrelativistic particle with a 2D (''i.e.,'' two states) internal degree of freedom called "spin" (it's not really spin because "real" spin is a property of 3D particles). Let <math>b</math> be an operator which transforms a "spin up" particle into a "spin down" particle. Its adjoint <math>b^\dagger</math> then transforms a spin down particle into a spin up particle; the operators are normalized such that the anticommutator <math>\{b,b^\dagger\}=1</math>. And <math>b^2=0</math>. Let <math>p</math> be the momentum of the particle and <math>x</math> be its position with <math>=i</math>. Let <math>W</math> (the "]") be an arbitrary complex analytic function of <math>x</math> and define the supersymmetric operators
: <math>Q_1=\frac{1}{2}\left</math>
: <math>Q_2=\frac{i}{2}\left</math>

Note that <math>Q_1</math> and <math>Q_2</math> are self-adjoint. Let the ]
: <math>H=\{Q_1,Q_1\}=\{Q_2,Q_2\}=\frac{(p+\Im\{W\})^2}{2}+\frac{{\Re\{W\}}^2}{2}+\frac{\Re\{W\}'}{2}(bb^\dagger-b^\dagger b)</math>
where ''W''′ is the derivative of ''W''. Also note that {{mset|''Q''<sub>1</sub>, ''Q''<sub>2</sub>}} = 0. This is nothing other than ''N'' = 2 supersymmetry. Note that <math>\Im\{W\}</math> acts like an electromagnetic ].


Let's also call the spin down state "bosonic" and the spin up state "fermionic". This is only in analogy to quantum field theory and should not be taken literally. Then, ''Q<sub>1</sub>'' and ''Q<sub>2</sub>'' maps "bosonic" states into "fermionic" states and vice versa. Let's also call the spin down state "bosonic" and the spin up state "fermionic". This is only in analogy to quantum field theory and should not be taken literally. Then, ''Q<sub>1</sub>'' and ''Q<sub>2</sub>'' maps "bosonic" states into "fermionic" states and vice versa.


Let's reformulate this a bit: Reformulating this a bit:


Define Define
: <math>Q=(p-iW)b</math>
and,
: <math>Q^\dagger=(p+iW^\dagger)b^\dagger</math>
: <math>\{Q,Q\}=\{Q^\dagger,Q^\dagger\}=0</math>
and
: <math>\{Q^\dagger,Q\}=2H</math>


An operator is "bosonic" if it maps "bosonic" states to "bosonic" states and "fermionic" states to "fermionic" states. An operator is "fermionic" if it maps "bosonic" states to "fermionic" states and vice versa. Any operator can be expressed uniquely as the sum of a bosonic operator and a fermionic operator. Define the ] <nowiki>].
:<math>Q=(p-iW)b</math>


Then, ''x'' and ''p'' are bosonic operators and ''b'', <math>b^\dagger</math>, ''Q'' and <math>Q^\dagger</math> are fermionic operators.
and of course,


Let's work in the ] where ''x'', ''b'' and <math>b^\dagger</math> are functions of time.
:<math>Q^\dagger=(p+iW^\dagger)b^\dagger</math>


Then,
:<math>\{Q,Q\}=\{Q^\dagger,Q^\dagger\}=0</math>
: <math>[Q,x\}=-ib</math>
: <math>[Q,b\}=0</math>
: <math>[Q,b^\dagger\}=\frac{dx}{dt}-i\Re\{W\}</math>
: <math>[Q^\dagger,x\}=ib^\dagger</math>
: <math>[Q^\dagger,b\}=\frac{dx}{dt}+i\Re\{W\}</math>
: <math>[Q^\dagger,b^\dagger\}=0</math>


This is nonlinear in general: ''i.e.'', x(t), b(t) and <math>b^\dagger(t)</math> do not form a linear SUSY representation because <math>\Re\{W\}</math> isn't necessarily linear in ''x''. To avoid this problem, define the self-adjoint operator <math>F=\Re\{W\}</math>. Then,
and
: <math>[Q,x\}=-ib</math>
: <math>[Q,b\}=0</math>
: <math>[Q,b^\dagger\}=\frac{dx}{dt}-iF</math>
: <math>[Q,F\}=-\frac{db}{dt}</math>
: <math>[Q^\dagger,x\}=ib^\dagger</math>
: <math>[Q^\dagger,b\}=\frac{dx}{dt}+iF</math>
: <math>[Q^\dagger,b^\dagger\}=0</math>
: <math>[Q^\dagger,F\}=\frac{db^\dagger}{dt}</math>
and we see that we have a linear SUSY representation.


Now let's introduce two "formal" quantities, <math>\theta</math>; and <math>\bar{\theta}</math> with the latter being the adjoint of the former such that
:<math>\{Q^\dagger,Q\}=2H</math>
: <math>\{\theta,\theta\}=\{\bar{\theta},\bar{\theta}\}=\{\bar{\theta},\theta\}=0</math>
and both of them commute with bosonic operators but anticommute with fermionic ones.


Next, we define a construct called a ]:
An operator is "bosonic" if it maps "bosonic" states to "bosonic" states and "fermionic" states to "fermionic" states. An operator is "fermionic" if it maps "bosonic" states to "fermionic" states and vice versa. Any operator can be expressed uniquely as the sum of a bosonic operator and a fermionic operator. Define the ] <nowiki>] but between two fermionic operators, it is an ].
: <math>f(t,\bar{\theta},\theta)=x(t)-i\theta b(t)-i\bar{\theta}b^\dagger(t)+\bar{\theta}\theta F(t)</math>


''f'' is self-adjoint. Then,
Then, x and p are bosonic operators and b, <math>b^\dagger</math>, Q and <math>Q^\dagger</math> are fermionic operators.
: <math>[Q,f\}=\frac{\partial}{\partial\theta}f-i\bar{\theta}\frac{\partial}{\partial t}f,</math>
: <math>[Q^\dagger,f\}=\frac{\partial}{\partial \bar{\theta}}f-i\theta \frac{\partial}{\partial t}f.</math>


Let's work in the ] where x, b and <math>b^\dagger</math> are functions of time. Incidentally, there's also a U(1)<sub>R</sub> symmetry, with ''p'' and ''x'' and ''W'' having zero R-charges and <math>b^\dagger</math> having an R-charge of 1 and ''b'' having an R-charge of −1.


== Shape invariance ==
Then,


Suppose <math>W</math> is real for all real <math>x</math>. Then we can simplify the expression for the Hamiltonian to
:<math>[Q,x\}=-ib</math>
: <math>H = \frac{(p)^2}{2}+\frac{{W}^2}{2}+\frac{W'}{2}(bb^\dagger-b^\dagger b)</math>
:<math>[Q,b\}=0</math>
:<math>[Q.b^\dagger\}=\frac{dx}{dt}-i\Re\{W\}</math>
:<math>[Q^\dagger,x\}=ib^\dagger</math>
:<math>[Q^\dagger,b\}=\frac{dx}{dt}+i\Re\{W\}</math>
:<math>[Q^\dagger,b^\dagger\}=0</math>


There are certain classes of superpotentials such that both the bosonic and fermionic Hamiltonians have similar forms. Specifically
This is nonlinear in general: ''i.e.,'' x(t), b(t) and <math>b^\dagger(t)</math> do not form a linear SUSY representation because <math>\Re\{W\}</math> isn't necessarily linear in ''x.'' To avoid this problem, define the self-adjoint operator <math>F=\Re\{W\}</math>. Then,
: <math> V_{+} (x, a_1 ) = V_{-} (x, a_2) + R(a_1)</math>
where the <math>a</math>'s are parameters. For example, the hydrogen atom potential with angular momentum <math>l</math> can be written this way.
: <math> \frac{-e^2}{4\pi \epsilon_0} \frac{1}{r} + \frac{h^2 l (l+1)} {2m} \frac{1}{r^2} - E_0</math>


:<math>[Q,x\}=-ib</math> This corresponds to <math>V_{-}</math> for the superpotential
: <math>W = \frac{\sqrt{2m}}{h} \frac{e^2}{2 4\pi \epsilon_0 (l+1)} - \frac{h(l+1)}{r\sqrt{2m}}</math>
:<math>[Q,b\}=0</math>
: <math>V_+ = \frac{-e^2}{4\pi \epsilon_0} \frac{1}{r} + \frac{h^2 (l+1) (l+2)} {2m} \frac{1}{r^2} + \frac{e^4 m}{32 \pi^2 h^2 \epsilon_0^2 (l+1)^2}</math>
:<math>[Q.b^\dagger\}=\frac{dx}{dt}-iF</math>
:<math>[Q,F\}=-\frac{db}{dt}</math>
:<math>[Q^\dagger,x\}=ib^\dagger</math>
:<math>[Q^\dagger,b\}=\frac{dx}{dt}+iF</math>
:<math>[Q^\dagger,b^\dagger\}=0</math>
:<math>[Q^\dagger,F\}=\frac{db^\dagger}{dt}</math>


This is the potential for <math>l+1</math> angular momentum shifted by a constant. After solving the <math>l=0</math> ground state, the supersymmetric operators can be used to construct the rest of the bound state spectrum.
and we see that we have a linear SUSY representation.


In general, since <math>V_-</math> and <math>V_+</math> are partner potentials, they share the same energy spectrum except the one extra ground energy. We can continue this process of finding partner potentials with the shape invariance condition, giving the following formula for the energy levels in terms of the parameters of the potential
Now let's introduce two "formal" quantities, <math>\theta</math>; and <math>\bar{\theta}</math> with the latter being the adjoint of the former such that
:<math>\{\theta,\theta\}=\{\bar{\theta},\bar{\theta}\}=\{\bar{\theta},\theta\}=0</math> : <math> E_n=\sum\limits_{i=1}^n R(a_i) </math>
where <math>a_i</math> are the parameters for the multiple partnered potentials.


== Applications ==
and both of them commute with bosonic operators but anticommute with fermionic ones.


In 2021, supersymmetric quantum mechanics was applied to ] and the analysis of ] in ],<ref>{{cite SSRN|title=Non-Equilibrium Skewness, Market Crises, and Option Pricing: Non-Linear Langevin Model of Markets with Supersymmetry|last=Halperin|first=Igor|date=14 January 2021|ssrn=3724000}}</ref> and to ].<ref>{{cite journal|title=The physics of financial networks|journal=Nature Reviews Physics|date=10 June 2021|doi=10.1038/s42254-021-00322-5|url=https://www.nature.com/articles/s42254-021-00322-5|first1=Marco|last1=Bardoscia|first2=Paolo|last2=Barucca|first3=Stefano|last3=Battiston|first4=Fabio|last4=Caccioli|first5=Giulio|last5=Cimini|first6=Diego|last6=Garlaschelli|first7=Fabio|last7=Saracco|first8=Tiziano|last8=Squartini|first9=Guido|last9=Caldarelli|volume=3 |issue=7 |pages=490–507 |arxiv=2103.05623|s2cid=232168335 }}</ref>
Next, we define a construct called a ]:

== See also ==
* ]
* ]
* ]

== References ==
{{reflist}}


== Sources ==
:<math>f(t,\bar{\theta},\theta)=x(t)-i\theta b(t)-i\bar{\theta}b^\dagger(t)+\bar{\theta}\theta F(t)</math>
* F. Cooper, A. Khare and U. Sukhatme, "Supersymmetry and Quantum Mechanics", Phys.Rept.251:267–385, 1995.
* D.S. Kulshreshtha, J.Q. Liang and H.J.W. Muller-Kirsten, "Fluctuation equations about classical field configurations and supersymmetric quantum mechanics", Annals Phys. 225:191-211, 1993.
* G. Junker, "Supersymmetric Methods in Quantum and Statistical Physics", Springer-Verlag, Berlin, 1996
* B. Mielnik and O. Rosas-Ortiz, "Factorization: Little or great algorithm?",


== External links ==
''f'' is self-adjoint, of course. Then,
*


{{Industrial and applied mathematics}}
:<math>[Q,f\}=\frac{\partial}{\partial\theta}f-i\bar{\theta}\frac{\partial}{\partial t}f,</math>
{{Supersymmetry topics |state=collapsed}}
:<math>[Q^\dagger,f\}=\frac{\partial}{\partial \bar{\theta}}f-i\theta \frac{\partial}{\partial t}f.</math>


{{DEFAULTSORT:Supersymmetric Quantum Mechanics}}
]]
]
]

Latest revision as of 20:03, 12 October 2024

Quantum mechanics with supersymmetry
This article's lead section may be too short to adequately summarize the key points. Please consider expanding the lead to provide an accessible overview of all important aspects of the article. (February 2021)

In theoretical physics, supersymmetric quantum mechanics is an area of research where supersymmetry are applied to the simpler setting of plain quantum mechanics, rather than quantum field theory. Supersymmetric quantum mechanics has found applications outside of high-energy physics, such as providing new methods to solve quantum mechanical problems, providing useful extensions to the WKB approximation, and statistical mechanics.

Introduction

Understanding the consequences of supersymmetry (SUSY) has proven mathematically daunting, and it has likewise been difficult to develop theories that could account for symmetry breaking, i.e., the lack of observed partner particles of equal mass. To make progress on these problems, physicists developed supersymmetric quantum mechanics, an application of the supersymmetry superalgebra to quantum mechanics as opposed to quantum field theory. It was hoped that studying SUSY's consequences in this simpler setting would lead to new understanding; remarkably, the effort created new areas of research in quantum mechanics itself.

For example, students are typically taught to "solve" the hydrogen atom by a laborious process which begins by inserting the Coulomb potential into the Schrödinger equation. After a considerable amount of work using many differential equations, the analysis produces a recursion relation for the Laguerre polynomials. The outcome is the spectrum of hydrogen-atom energy states (labeled by quantum numbers n and l). Using ideas drawn from SUSY, the final result can be derived with significantly greater ease, in much the same way that operator methods are used to solve the harmonic oscillator. A similar supersymmetric approach can also be used to more accurately find the hydrogen spectrum using the Dirac equation. Oddly enough, this approach is analogous to the way Erwin Schrödinger first solved the hydrogen atom. He did not call his solution supersymmetric, as SUSY was thirty years in the future.

The SUSY solution of the hydrogen atom is only one example of the very general class of solutions which SUSY provides to shape-invariant potentials, a category which includes most potentials taught in introductory quantum mechanics courses.

SUSY quantum mechanics involves pairs of Hamiltonians which share a particular mathematical relationship, which are called partner Hamiltonians. (The potential energy terms which occur in the Hamiltonians are then called partner potentials.) An introductory theorem shows that for every eigenstate of one Hamiltonian, its partner Hamiltonian has a corresponding eigenstate with the same energy (except possibly for zero energy eigenstates). This fact can be exploited to deduce many properties of the eigenstate spectrum. It is analogous to the original description of SUSY, which referred to bosons and fermions. We can imagine a "bosonic Hamiltonian", whose eigenstates are the various bosons of our theory. The SUSY partner of this Hamiltonian would be "fermionic", and its eigenstates would be the theory's fermions. Each boson would have a fermionic partner of equal energy—but, in the relativistic world, energy and mass are interchangeable, so we can just as easily say that the partner particles have equal mass.

SUSY concepts have provided useful extensions to the WKB approximation in the form of a modified version of the Bohr-Sommerfeld quantization condition. In addition, SUSY has been applied to non-quantum statistical mechanics through the Fokker–Planck equation, showing that even if the original inspiration in high-energy particle physics turns out to be a blind alley, its investigation has brought about many useful benefits.

Example: the harmonic oscillator

The Schrödinger equation for the harmonic oscillator takes the form

H H O ψ n ( x ) = ( 2 2 m d 2 d x 2 + m ω 2 2 x 2 ) ψ n ( x ) = E n H O ψ n ( x ) , {\displaystyle H^{\rm {HO}}\psi _{n}(x)={\bigg (}{\frac {-\hbar ^{2}}{2m}}{\frac {d^{2}}{dx^{2}}}+{\frac {m\omega ^{2}}{2}}x^{2}{\bigg )}\psi _{n}(x)=E_{n}^{\rm {HO}}\psi _{n}(x),}

where ψ n ( x ) {\displaystyle \psi _{n}(x)} is the n {\displaystyle n} th energy eigenstate of H HO {\displaystyle H^{\text{HO}}} with energy E n HO {\displaystyle E_{n}^{\text{HO}}} . We want to find an expression for E n H O {\displaystyle E_{n}^{\rm {HO}}} in terms of n {\displaystyle n} . We define the operators

A = 2 m d d x + W ( x ) {\displaystyle A={\frac {\hbar }{\sqrt {2m}}}{\frac {d}{dx}}+W(x)}

and

A = 2 m d d x + W ( x ) , {\displaystyle A^{\dagger }=-{\frac {\hbar }{\sqrt {2m}}}{\frac {d}{dx}}+W(x),}

where W ( x ) {\displaystyle W(x)} , which we need to choose, is called the superpotential of H H O {\displaystyle H^{\rm {HO}}} . We also define the aforementioned partner Hamiltonians H ( 1 ) {\displaystyle H^{(1)}} and H ( 2 ) {\displaystyle H^{(2)}} as

H ( 1 ) = A A = 2 2 m d 2 d x 2 2 m W ( x ) + W 2 ( x ) {\displaystyle H^{(1)}=A^{\dagger }A={\frac {-\hbar ^{2}}{2m}}{\frac {d^{2}}{dx^{2}}}-{\frac {\hbar }{\sqrt {2m}}}W^{\prime }(x)+W^{2}(x)}
H ( 2 ) = A A = 2 2 m d 2 d x 2 + 2 m W ( x ) + W 2 ( x ) . {\displaystyle H^{(2)}=AA^{\dagger }={\frac {-\hbar ^{2}}{2m}}{\frac {d^{2}}{dx^{2}}}+{\frac {\hbar }{\sqrt {2m}}}W^{\prime }(x)+W^{2}(x).}

A zero energy ground state ψ 0 ( 1 ) ( x ) {\displaystyle \psi _{0}^{(1)}(x)} of H ( 1 ) {\displaystyle H^{(1)}} would satisfy the equation

H ( 1 ) ψ 0 ( 1 ) ( x ) = A A ψ 0 ( 1 ) ( x ) = A ( 2 m d d x + W ( x ) ) ψ 0 ( 1 ) ( x ) = 0. {\displaystyle H^{(1)}\psi _{0}^{(1)}(x)=A^{\dagger }A\psi _{0}^{(1)}(x)=A^{\dagger }{\bigg (}{\frac {\hbar }{\sqrt {2m}}}{\frac {d}{dx}}+W(x){\bigg )}\psi _{0}^{(1)}(x)=0.}

Assuming that we know the ground state of the harmonic oscillator ψ 0 ( x ) {\displaystyle \psi _{0}(x)} , we can solve for W ( x ) {\displaystyle W(x)} as

W ( x ) = 2 m ( ψ 0 ( x ) ψ 0 ( x ) ) = x m ω 2 / 2 {\displaystyle W(x)={\frac {-\hbar }{\sqrt {2m}}}{\bigg (}{\frac {\psi _{0}^{\prime }(x)}{\psi _{0}(x)}}{\bigg )}=x{\sqrt {m\omega ^{2}/2}}}

We then find that

H ( 1 ) = 2 2 m d 2 d x 2 + m ω 2 2 x 2 ω 2 {\displaystyle H^{(1)}={\frac {-\hbar ^{2}}{2m}}{\frac {d^{2}}{dx^{2}}}+{\frac {m\omega ^{2}}{2}}x^{2}-{\frac {\hbar \omega }{2}}}
H ( 2 ) = 2 2 m d 2 d x 2 + m ω 2 2 x 2 + ω 2 . {\displaystyle H^{(2)}={\frac {-\hbar ^{2}}{2m}}{\frac {d^{2}}{dx^{2}}}+{\frac {m\omega ^{2}}{2}}x^{2}+{\frac {\hbar \omega }{2}}.}

We can now see that

H ( 1 ) = H ( 2 ) ω = H H O ω 2 . {\displaystyle H^{(1)}=H^{(2)}-\hbar \omega =H^{\rm {HO}}-{\frac {\hbar \omega }{2}}.}

This is a special case of shape invariance, discussed below. Taking without proof the introductory theorem mentioned above, it is apparent that the spectrum of H ( 1 ) {\displaystyle H^{(1)}} will start with E 0 = 0 {\displaystyle E_{0}=0} and continue upwards in steps of ω . {\displaystyle \hbar \omega .} The spectra of H ( 2 ) {\displaystyle H^{(2)}} and H H O {\displaystyle H^{\rm {HO}}} will have the same even spacing, but will be shifted up by amounts ω {\displaystyle \hbar \omega } and ω / 2 {\displaystyle \hbar \omega /2} , respectively. It follows that the spectrum of H H O {\displaystyle H^{\rm {HO}}} is therefore the familiar E n H O = ω ( n + 1 / 2 ) {\displaystyle E_{n}^{\rm {HO}}=\hbar \omega (n+1/2)} .

SUSY QM superalgebra

In fundamental quantum mechanics, we learn that an algebra of operators is defined by commutation relations among those operators. For example, the canonical operators of position and momentum have the commutator [ x , p ] = i {\displaystyle =i} . (Here, we use "natural units" where the Planck constant is set equal to 1.) A more intricate case is the algebra of angular momentum operators; these quantities are closely connected to the rotational symmetries of three-dimensional space. To generalize this concept, we define an anticommutator, which relates operators the same way as an ordinary commutator, but with the opposite sign:

{ A , B } = A B + B A . {\displaystyle \{A,B\}=AB+BA.}

If operators are related by anticommutators as well as commutators, we say they are part of a Lie superalgebra. Let's say we have a quantum system described by a Hamiltonian H {\displaystyle {\mathcal {H}}} and a set of N {\displaystyle N} operators Q i {\displaystyle Q_{i}} . We shall call this system supersymmetric if the following anticommutation relation is valid for all i , j = 1 , , N {\displaystyle i,j=1,\ldots ,N} :

{ Q i , Q j } = H δ i j . {\displaystyle \{Q_{i},Q_{j}^{\dagger }\}={\mathcal {H}}\delta _{ij}.}

If this is the case, then we call Q i {\displaystyle Q_{i}} the system's supercharges.

Example

Let's look at the example of a one-dimensional nonrelativistic particle with a 2D (i.e., two states) internal degree of freedom called "spin" (it's not really spin because "real" spin is a property of 3D particles). Let b {\displaystyle b} be an operator which transforms a "spin up" particle into a "spin down" particle. Its adjoint b {\displaystyle b^{\dagger }} then transforms a spin down particle into a spin up particle; the operators are normalized such that the anticommutator { b , b } = 1 {\displaystyle \{b,b^{\dagger }\}=1} . And b 2 = 0 {\displaystyle b^{2}=0} . Let p {\displaystyle p} be the momentum of the particle and x {\displaystyle x} be its position with [ x , p ] = i {\displaystyle =i} . Let W {\displaystyle W} (the "superpotential") be an arbitrary complex analytic function of x {\displaystyle x} and define the supersymmetric operators

Q 1 = 1 2 [ ( p i W ) b + ( p + i W ) b ] {\displaystyle Q_{1}={\frac {1}{2}}\left}
Q 2 = i 2 [ ( p i W ) b ( p + i W ) b ] {\displaystyle Q_{2}={\frac {i}{2}}\left}

Note that Q 1 {\displaystyle Q_{1}} and Q 2 {\displaystyle Q_{2}} are self-adjoint. Let the Hamiltonian

H = { Q 1 , Q 1 } = { Q 2 , Q 2 } = ( p + { W } ) 2 2 + { W } 2 2 + { W } 2 ( b b b b ) {\displaystyle H=\{Q_{1},Q_{1}\}=\{Q_{2},Q_{2}\}={\frac {(p+\Im \{W\})^{2}}{2}}+{\frac {{\Re \{W\}}^{2}}{2}}+{\frac {\Re \{W\}'}{2}}(bb^{\dagger }-b^{\dagger }b)}

where W′ is the derivative of W. Also note that {Q1, Q2} = 0. This is nothing other than N = 2 supersymmetry. Note that { W } {\displaystyle \Im \{W\}} acts like an electromagnetic vector potential.

Let's also call the spin down state "bosonic" and the spin up state "fermionic". This is only in analogy to quantum field theory and should not be taken literally. Then, Q1 and Q2 maps "bosonic" states into "fermionic" states and vice versa.

Reformulating this a bit:

Define

Q = ( p i W ) b {\displaystyle Q=(p-iW)b}

and,

Q = ( p + i W ) b {\displaystyle Q^{\dagger }=(p+iW^{\dagger })b^{\dagger }}
{ Q , Q } = { Q , Q } = 0 {\displaystyle \{Q,Q\}=\{Q^{\dagger },Q^{\dagger }\}=0}

and

{ Q , Q } = 2 H {\displaystyle \{Q^{\dagger },Q\}=2H}

An operator is "bosonic" if it maps "bosonic" states to "bosonic" states and "fermionic" states to "fermionic" states. An operator is "fermionic" if it maps "bosonic" states to "fermionic" states and vice versa. Any operator can be expressed uniquely as the sum of a bosonic operator and a fermionic operator. Define the supercommutator [,} as follows: Between two bosonic operators or a bosonic and a fermionic operator, it is none other than the commutator but between two fermionic operators, it is an anticommutator.

Then, x and p are bosonic operators and b, b {\displaystyle b^{\dagger }} , Q and Q {\displaystyle Q^{\dagger }} are fermionic operators.

Let's work in the Heisenberg picture where x, b and b {\displaystyle b^{\dagger }} are functions of time.

Then,

[ Q , x } = i b {\displaystyle [Q,x\}=-ib}
[ Q , b } = 0 {\displaystyle [Q,b\}=0}
[ Q , b } = d x d t i { W } {\displaystyle [Q,b^{\dagger }\}={\frac {dx}{dt}}-i\Re \{W\}}
[ Q , x } = i b {\displaystyle [Q^{\dagger },x\}=ib^{\dagger }}
[ Q , b } = d x d t + i { W } {\displaystyle [Q^{\dagger },b\}={\frac {dx}{dt}}+i\Re \{W\}}
[ Q , b } = 0 {\displaystyle [Q^{\dagger },b^{\dagger }\}=0}

This is nonlinear in general: i.e., x(t), b(t) and b ( t ) {\displaystyle b^{\dagger }(t)} do not form a linear SUSY representation because { W } {\displaystyle \Re \{W\}} isn't necessarily linear in x. To avoid this problem, define the self-adjoint operator F = { W } {\displaystyle F=\Re \{W\}} . Then,

[ Q , x } = i b {\displaystyle [Q,x\}=-ib}
[ Q , b } = 0 {\displaystyle [Q,b\}=0}
[ Q , b } = d x d t i F {\displaystyle [Q,b^{\dagger }\}={\frac {dx}{dt}}-iF}
[ Q , F } = d b d t {\displaystyle [Q,F\}=-{\frac {db}{dt}}}
[ Q , x } = i b {\displaystyle [Q^{\dagger },x\}=ib^{\dagger }}
[ Q , b } = d x d t + i F {\displaystyle [Q^{\dagger },b\}={\frac {dx}{dt}}+iF}
[ Q , b } = 0 {\displaystyle [Q^{\dagger },b^{\dagger }\}=0}
[ Q , F } = d b d t {\displaystyle [Q^{\dagger },F\}={\frac {db^{\dagger }}{dt}}}

and we see that we have a linear SUSY representation.

Now let's introduce two "formal" quantities, θ {\displaystyle \theta } ; and θ ¯ {\displaystyle {\bar {\theta }}} with the latter being the adjoint of the former such that

{ θ , θ } = { θ ¯ , θ ¯ } = { θ ¯ , θ } = 0 {\displaystyle \{\theta ,\theta \}=\{{\bar {\theta }},{\bar {\theta }}\}=\{{\bar {\theta }},\theta \}=0}

and both of them commute with bosonic operators but anticommute with fermionic ones.

Next, we define a construct called a superfield:

f ( t , θ ¯ , θ ) = x ( t ) i θ b ( t ) i θ ¯ b ( t ) + θ ¯ θ F ( t ) {\displaystyle f(t,{\bar {\theta }},\theta )=x(t)-i\theta b(t)-i{\bar {\theta }}b^{\dagger }(t)+{\bar {\theta }}\theta F(t)}

f is self-adjoint. Then,

[ Q , f } = θ f i θ ¯ t f , {\displaystyle [Q,f\}={\frac {\partial }{\partial \theta }}f-i{\bar {\theta }}{\frac {\partial }{\partial t}}f,}
[ Q , f } = θ ¯ f i θ t f . {\displaystyle [Q^{\dagger },f\}={\frac {\partial }{\partial {\bar {\theta }}}}f-i\theta {\frac {\partial }{\partial t}}f.}

Incidentally, there's also a U(1)R symmetry, with p and x and W having zero R-charges and b {\displaystyle b^{\dagger }} having an R-charge of 1 and b having an R-charge of −1.

Shape invariance

Suppose W {\displaystyle W} is real for all real x {\displaystyle x} . Then we can simplify the expression for the Hamiltonian to

H = ( p ) 2 2 + W 2 2 + W 2 ( b b b b ) {\displaystyle H={\frac {(p)^{2}}{2}}+{\frac {{W}^{2}}{2}}+{\frac {W'}{2}}(bb^{\dagger }-b^{\dagger }b)}

There are certain classes of superpotentials such that both the bosonic and fermionic Hamiltonians have similar forms. Specifically

V + ( x , a 1 ) = V ( x , a 2 ) + R ( a 1 ) {\displaystyle V_{+}(x,a_{1})=V_{-}(x,a_{2})+R(a_{1})}

where the a {\displaystyle a} 's are parameters. For example, the hydrogen atom potential with angular momentum l {\displaystyle l} can be written this way.

e 2 4 π ϵ 0 1 r + h 2 l ( l + 1 ) 2 m 1 r 2 E 0 {\displaystyle {\frac {-e^{2}}{4\pi \epsilon _{0}}}{\frac {1}{r}}+{\frac {h^{2}l(l+1)}{2m}}{\frac {1}{r^{2}}}-E_{0}}

This corresponds to V {\displaystyle V_{-}} for the superpotential

W = 2 m h e 2 24 π ϵ 0 ( l + 1 ) h ( l + 1 ) r 2 m {\displaystyle W={\frac {\sqrt {2m}}{h}}{\frac {e^{2}}{24\pi \epsilon _{0}(l+1)}}-{\frac {h(l+1)}{r{\sqrt {2m}}}}}
V + = e 2 4 π ϵ 0 1 r + h 2 ( l + 1 ) ( l + 2 ) 2 m 1 r 2 + e 4 m 32 π 2 h 2 ϵ 0 2 ( l + 1 ) 2 {\displaystyle V_{+}={\frac {-e^{2}}{4\pi \epsilon _{0}}}{\frac {1}{r}}+{\frac {h^{2}(l+1)(l+2)}{2m}}{\frac {1}{r^{2}}}+{\frac {e^{4}m}{32\pi ^{2}h^{2}\epsilon _{0}^{2}(l+1)^{2}}}}

This is the potential for l + 1 {\displaystyle l+1} angular momentum shifted by a constant. After solving the l = 0 {\displaystyle l=0} ground state, the supersymmetric operators can be used to construct the rest of the bound state spectrum.

In general, since V {\displaystyle V_{-}} and V + {\displaystyle V_{+}} are partner potentials, they share the same energy spectrum except the one extra ground energy. We can continue this process of finding partner potentials with the shape invariance condition, giving the following formula for the energy levels in terms of the parameters of the potential

E n = i = 1 n R ( a i ) {\displaystyle E_{n}=\sum \limits _{i=1}^{n}R(a_{i})}

where a i {\displaystyle a_{i}} are the parameters for the multiple partnered potentials.

Applications

In 2021, supersymmetric quantum mechanics was applied to option pricing and the analysis of markets in quantum finance, and to financial networks.

See also

References

  1. Valance, A.; Morgan, T. J.; Bergeron, H. (1990), "Eigensolution of the Coulomb Hamiltonian via supersymmetry", American Journal of Physics, 58 (5), AAPT: 487–491, Bibcode:1990AmJPh..58..487V, doi:10.1119/1.16452, archived from the original on 2013-02-24
  2. Thaller, B. (1992). The Dirac Equation. Texts and Monographs in Physics. Springer.
  3. Schrödinger, Erwin (1940), "A Method of Determining Quantum-Mechanical Eigenvalues and Eigenfunctions", Proceedings of the Royal Irish Academy, 46, Royal Irish Academy: 9–16
  4. Schrödinger, Erwin (1941), "Further Studies on Solving Eigenvalue Problems by Factorization", Proceedings of the Royal Irish Academy, 46, Royal Irish Academy: 183–206
  5. Halperin, Igor (14 January 2021). "Non-Equilibrium Skewness, Market Crises, and Option Pricing: Non-Linear Langevin Model of Markets with Supersymmetry". SSRN 3724000.
  6. Bardoscia, Marco; Barucca, Paolo; Battiston, Stefano; Caccioli, Fabio; Cimini, Giulio; Garlaschelli, Diego; Saracco, Fabio; Squartini, Tiziano; Caldarelli, Guido (10 June 2021). "The physics of financial networks". Nature Reviews Physics. 3 (7): 490–507. arXiv:2103.05623. doi:10.1038/s42254-021-00322-5. S2CID 232168335.

Sources

  • F. Cooper, A. Khare and U. Sukhatme, "Supersymmetry and Quantum Mechanics", Phys.Rept.251:267–385, 1995.
  • D.S. Kulshreshtha, J.Q. Liang and H.J.W. Muller-Kirsten, "Fluctuation equations about classical field configurations and supersymmetric quantum mechanics", Annals Phys. 225:191-211, 1993.
  • G. Junker, "Supersymmetric Methods in Quantum and Statistical Physics", Springer-Verlag, Berlin, 1996
  • B. Mielnik and O. Rosas-Ortiz, "Factorization: Little or great algorithm?", J. Phys. A: Math. Gen. 37: 10007–10035, 2004

External links

Industrial and applied mathematics
Computational
Mathematical software
Discrete
Analysis
Probability theory
Mathematical
physics
Algebraic structures
Decision sciences
Other applications
Related
Organizations
Supersymmetry
General topics
Supermathematics
Concepts
Theorems
Field theories
Supergravity
Superpartners
Researchers
Categories: