Gell-Mann and Low theorem

Last updated May 12, 2023

In quantum field theory, the Gell-Mann and Low theorem is a mathematical statement that allows one to relate the ground (or vacuum) state of an interacting system to the ground state of the corresponding non-interacting theory. It was proved in 1951 by Murray Gell-Mann and Francis E. Low. The theorem is useful because, among other things, by relating the ground state of the interacting theory to its non-interacting ground state, it allows one to express Green's functions (which are defined as expectation values of Heisenberg-picture fields in the interacting vacuum) as expectation values of interaction picture fields in the non-interacting vacuum. While typically applied to the ground state, the Gell-Mann and Low theorem applies to any eigenstate of the Hamiltonian. Its proof relies on the concept of starting with a non-interacting Hamiltonian and adiabatically switching on the interactions.

History

The theorem was proved first by Gell-Mann and Low in 1951, making use of the Dyson series.^[1] In 1969, Klaus Hepp provided an alternative derivation for the case where the original Hamiltonian describes free particles and the interaction is norm bounded.^[2] In 1989, G. Nenciu and G. Rasche proved it using the adiabatic theorem.^[3] A proof that does not rely on the Dyson expansion was given in 2007 by Luca Guido Molinari.^[4]

Statement of the theorem

Let $|\Psi _{0}\rangle$ be an eigenstate of $H_{0}$ with energy $E_{0}$ and let the 'interacting' Hamiltonian be $H=H_{0}+gV$ , where $g$ is a coupling constant and $V$ the interaction term. We define a Hamiltonian $H_{\epsilon }=H_{0}+e^{-\epsilon |t|}gV$ which effectively interpolates between $H$ and $H_{0}$ in the limit $\epsilon \rightarrow 0^{+}$ and $|t|\rightarrow \infty$ . Let $U_{\epsilon I}$ denote the evolution operator in the interaction picture. The Gell-Mann and Low theorem asserts that if the limit as $\epsilon \rightarrow 0^{+}$ of

|\Psi _{\epsilon }^{(\pm )}\rangle ={\frac {U_{\epsilon I}(0,\pm \infty )|\Psi _{0}\rangle }{\langle \Psi _{0}|U_{\epsilon I}(0,\pm \infty )|\Psi _{0}\rangle }}

exists, then $|\Psi _{\epsilon }^{(\pm )}\rangle$ are eigenstates of $H$ .

Note that when applied to, say, the ground-state, the theorem does not guarantee that the evolved state will be a ground state. In other words, level crossing is not excluded.

Proof

As in the original paper, the theorem is typically proved making use of Dyson's expansion of the evolution operator. Its validity however extends beyond the scope of perturbation theory as has been demonstrated by Molinari. We follow Molinari's method here. Focus on $H_{\epsilon }$ and let $g=e^{\epsilon \theta }$ . From Schrödinger's equation for the time-evolution operator

i\hbar \partial _{t_{1}}U_{\epsilon }(t_{1},t_{2})=H_{\epsilon }(t_{1})U_{\epsilon }(t_{1},t_{2})

and the boundary condition $U_{\epsilon }(t_{2},t_{2})=1$ we can formally write

U_{\epsilon }(t_{1},t_{2})=1+{\frac {1}{i\hbar }}\int _{t_{2}}^{t_{1}}dt'(H_{0}+e^{\epsilon (\theta -|t'|)}V)U_{\epsilon }(t',t_{2}).

Focus for the moment on the case $0\geq t_{1}\geq t_{2}$ . Through a change of variables $\tau =t'+\theta$ we can write

U_{\epsilon }(t_{1},t_{2})=1+{\frac {1}{i\hbar }}\int _{\theta +t_{2}}^{\theta +t_{1}}d\tau (H_{0}+e^{\epsilon \tau }V)U_{\epsilon }(\tau -\theta ,t_{2}).

We therefore have that

\partial _{\theta }U_{\epsilon }(t_{1},t_{2})=\epsilon g\partial _{g}U_{\epsilon }(t_{1},t_{2})=\partial _{t_{1}}U_{\epsilon }(t_{1},t_{2})+\partial _{t_{2}}U_{\epsilon }(t_{1},t_{2}).

This result can be combined with the Schrödinger equation and its adjoint

-i\hbar \partial _{t_{1}}U_{\epsilon }(t_{2},t_{1})=U_{\epsilon }(t_{2},t_{1})H_{\epsilon }(t_{1})

to obtain

i\hbar \epsilon g\partial _{g}U_{\epsilon }(t_{1},t_{2})=H_{\epsilon }(t_{1})U_{\epsilon }(t_{1},t_{2})-U_{\epsilon }(t_{1},t_{2})H_{\epsilon }(t_{2}).

The corresponding equation between $H_{\epsilon I},U_{\epsilon I}$ is the same. It can be obtained by pre-multiplying both sides with $e^{iH_{0}t_{1}/\hbar }$ , post-multiplying with $e^{iH_{0}t_{2}/\hbar }$ and making use of

U_{\epsilon I}(t_{1},t_{2})=e^{iH_{0}t_{1}/\hbar }U_{\epsilon }(t_{1},t_{2})e^{-iH_{0}t_{2}/\hbar }.

The other case we are interested in, namely $t_{2}\geq t_{1}\geq 0$ can be treated in an analogous fashion and yields an additional minus sign in front of the commutator (we are not concerned here with the case where $t_{1,2}$ have mixed signs). In summary, we obtain

\left(H_{\epsilon ,t=0}-E_{0}\pm i\hbar \epsilon g\partial _{g}\right)U_{\epsilon I}(0,\pm \infty )|\Psi _{0}\rangle =0.

We proceed for the negative-times case. Abbreviating the various operators for clarity

i\hbar \epsilon g\partial _{g}\left(U|\Psi _{0}\rangle \right)=(H_{\epsilon }-E_{0})U|\Psi _{0}\rangle .

Now using the definition of $\Psi _{\epsilon }$ we differentiate and eliminate derivatives $\partial _{g}(U|\Psi _{0}\rangle )$ using the above expression, finding

{\begin{aligned}i\hbar \epsilon g\partial _{g}|\Psi _{\epsilon }\rangle &={\frac {1}{\langle \Psi _{0}|U|\Psi _{0}\rangle }}(H_{\epsilon }-E_{0})U|\Psi _{0}\rangle -{\frac {U|\Psi _{0}\rangle }{{\langle \Psi _{0}|U|\Psi _{0}\rangle }^{2}}}\langle \Psi _{0}|(H_{\epsilon }-E_{0})U|\Psi _{0}\rangle \\&=(H_{\epsilon }-E_{0})|\Psi _{\epsilon }\rangle -|\Psi _{\epsilon }\rangle \langle \Psi _{0}|H_{\epsilon }-E_{0}|\Psi _{\epsilon }\rangle \\&=\left[H_{\epsilon }-E\right]|\Psi _{\epsilon }\rangle .\end{aligned}}

where $E=E_{0}+\langle \Psi _{0}|H_{\epsilon }-H_{0}|\Psi _{\epsilon }\rangle$ . We can now let $\epsilon \rightarrow 0^{+}$ as by assumption the $g\partial _{g}|\Psi _{\epsilon }\rangle$ in left hand side is finite. We then clearly see that $|\Psi _{\epsilon }\rangle$ is an eigenstate of $H$ and the proof is complete.

Related Research Articles

In quantum mechanics, the Hamiltonian of a system is an operator corresponding to the total energy of that system, including both kinetic energy and potential energy. Its spectrum, the system's energy spectrum or its set of energy eigenvalues, is the set of possible outcomes obtainable from a measurement of the system's total energy. Due to its close relation to the energy spectrum and time-evolution of a system, it is of fundamental importance in most formulations of quantum theory.

The Schrödinger equation is a linear partial differential equation that governs the wave function of a quantum-mechanical system. It is a key result in quantum mechanics, and its discovery was a significant landmark in the development of the subject. The equation is named after Erwin Schrödinger, who postulated the equation in 1925, and published it in 1926, forming the basis for the work that resulted in his Nobel Prize in Physics in 1933.

In physics, an operator is a function over a space of physical states onto another space of physical states. The simplest example of the utility of operators is the study of symmetry. Because of this, they are very useful tools in classical mechanics. Operators are even more important in quantum mechanics, where they form an intrinsic part of the formulation of the theory.

In quantum mechanics, perturbation theory is a set of approximation schemes directly related to mathematical perturbation for describing a complicated quantum system in terms of a simpler one. The idea is to start with a simple system for which a mathematical solution is known, and add an additional "perturbing" Hamiltonian representing a weak disturbance to the system. If the disturbance is not too large, the various physical quantities associated with the perturbed system can be expressed as "corrections" to those of the simple system. These corrections, being small compared to the size of the quantities themselves, can be calculated using approximate methods such as asymptotic series. The complicated system can therefore be studied based on knowledge of the simpler one. In effect, it is describing a complicated unsolved system using a simple, solvable system.

In condensed matter physics, Bloch's theorem states that solutions to the Schrödinger equation in a periodic potential take the form of a plane wave modulated by a periodic function. The theorem is named after the physicist Felix Bloch, who discovered the theorem in 1929. Mathematically, they are written

In physics, the Rabi cycle is the cyclic behaviour of a two-level quantum system in the presence of an oscillatory driving field. A great variety of physical processes belonging to the areas of quantum computing, condensed matter, atomic and molecular physics, and nuclear and particle physics can be conveniently studied in terms of two-level quantum mechanical systems, and exhibit Rabi flopping when coupled to an optical driving field. The effect is important in quantum optics, magnetic resonance and quantum computing, and is named after Isidor Isaac Rabi.

In quantum mechanics, the canonical commutation relation is the fundamental relation between canonical conjugate quantities. For example,

The adiabatic theorem is a concept in quantum mechanics. Its original form, due to Max Born and Vladimir Fock (1928), was stated as follows:

In quantum physics, Fermi's golden rule is a formula that describes the transition rate from one energy eigenstate of a quantum system to a group of energy eigenstates in a continuum, as a result of a weak perturbation. This transition rate is effectively independent of time and is proportional to the strength of the coupling between the initial and final states of the system as well as the density of states. It is also applicable when the final state is discrete, i.e. it is not part of a continuum, if there is some decoherence in the process, like relaxation or collision of the atoms, or like noise in the perturbation, in which case the density of states is replaced by the reciprocal of the decoherence bandwidth.

In quantum mechanics, a two-state system is a quantum system that can exist in any quantum superposition of two independent quantum states. The Hilbert space describing such a system is two-dimensional. Therefore, a complete basis spanning the space will consist of two independent states. Any two-state system can also be seen as a qubit.

In quantum mechanics, the Hellmann–Feynman theorem relates the derivative of the total energy with respect to a parameter, to the expectation value of the derivative of the Hamiltonian with respect to that same parameter. According to the theorem, once the spatial distribution of the electrons has been determined by solving the Schrödinger equation, all the forces in the system can be calculated using classical electrostatics.

The Ehrenfest theorem, named after Paul Ehrenfest, an Austrian theoretical physicist at Leiden University, relates the time derivative of the expectation values of the position and momentum operators x and p to the expectation value of the force $on a massive particle moving in a scalar potential,$

The Franz–Keldysh effect is a change in optical absorption by a semiconductor when an electric field is applied. The effect is named after the German physicist Walter Franz and Russian physicist Leonid Keldysh.

Photon polarization is the quantum mechanical description of the classical polarized sinusoidal plane electromagnetic wave. An individual photon can be described as having right or left circular polarization, or a superposition of the two. Equivalently, a photon can be described as having horizontal or vertical linear polarization, or a superposition of the two.

The kicked rotator, also spelled as kicked rotor, is a paradigmatic model for both Hamiltonian chaos and quantum chaos. It describes a free rotating stick in an inhomogeneous "gravitation like" field that is periodically switched on in short pulses. The model is described by the Hamiltonian

In physics, Berry connection and Berry curvature are related concepts which can be viewed, respectively, as a local gauge potential and gauge field associated with the Berry phase or geometric phase. The concept was first introduced by S. Pancharatnam as geometric phase and later elaborately explained and popularized by Michael Berry in a paper published in 1984 emphasizing how geometric phases provide a powerful unifying concept in several branches of classical and quantum physics.

In pure and applied mathematics, quantum mechanics and computer graphics, a tensor operator generalizes the notion of operators which are scalars and vectors. A special class of these are spherical tensor operators which apply the notion of the spherical basis and spherical harmonics. The spherical basis closely relates to the description of angular momentum in quantum mechanics and spherical harmonic functions. The coordinate-free generalization of a tensor operator is known as a representation operator.

In quantum mechanics, dynamical pictures are the multiple equivalent ways to mathematically formulate the dynamics of a quantum system.

The Peierls substitution method, named after the original work by Rudolf Peierls is a widely employed approximation for describing tightly-bound electrons in the presence of a slowly varying magnetic vector potential.

In quantum mechanics, the Schrödinger equation describes how a system changes with time. It does this by relating changes in the state of system to the energy in the system. Therefore, once the Hamiltonian is known, the time dynamics are in principle known. All that remains is to plug the Hamiltonian into the Schrödinger equation and solve for the system state as a function of time.

References

↑ Gell-Mann, Murray; Low, Francis (1951-10-15). "Bound States in Quantum Field Theory". Physical Review. 84 (2): 350–354. Bibcode:1951PhRv...84..350G. doi:10.1103/PhysRev.84.350. ISSN 0031-899X.
↑ Hepp, Klaus (1969). Théorie de la renormalisation. Lecture Notes in Physics (in French). Vol. 2. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/bfb0108958. ISBN 978-3-540-04640-0.
↑ G, Nenciu; G, Rasche (1989). "Adiabatic theorem and Gell-Mann-Low formula". Helvetica Physica Acta. 62: 372. doi:10.5169/SEALS-116035.
↑ Molinari, Luca Guido (2007). "Another proof of Gell-Mann and Low's theorem". Journal of Mathematical Physics. 48 (5): 052113. arXiv: math-ph/0612030 . Bibcode:2007JMP....48e2113M. doi:10.1063/1.2740469. ISSN 0022-2488. S2CID 119665963.

A.L. Fetter and J.D. Walecka: "Quantum Theory of Many-Particle Systems", McGraw–Hill (1971)

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Gell-Mann, Murray; Low, Francis (1951-10-15). "Bound States in Quantum Field Theory". Physical Review. 84 (2): 350–354. Bibcode:1951PhRv...84..350G. doi:10.1103/PhysRev.84.350. ISSN 0031-899X.

[2] Hepp, Klaus (1969). Théorie de la renormalisation. Lecture Notes in Physics (in French). Vol. 2. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/bfb0108958. ISBN 978-3-540-04640-0.

[3] G, Nenciu; G, Rasche (1989). "Adiabatic theorem and Gell-Mann-Low formula". Helvetica Physica Acta. 62: 372. doi:10.5169/SEALS-116035.

[4] Molinari, Luca Guido (2007). "Another proof of Gell-Mann and Low's theorem". Journal of Mathematical Physics. 48 (5): 052113. arXiv: math-ph/0612030 . Bibcode:2007JMP....48e2113M. doi:10.1063/1.2740469. ISSN 0022-2488. S2CID 119665963.

[1]

[2]

[3]

[4]