Bethe–Salpeter equation

The starting point for the derivation of the Bethe–Salpeter equation is the two-particle (or four point) Dyson equation

${\displaystyle G=S_{1}\,S_{2}+S_{1}\,S_{2}\,K_{12}\,G}$ 

in momentum space, where "G" is the two-particle Green function ${\displaystyle \langle \Omega |\phi _{1}\,\phi _{2}\,\phi _{3}\,\phi _{4}|\Omega \rangle }$ , "S" are the free propagators and "K" is an interaction kernel, which contains all possible interactions between the two particles. The crucial step is now, to assume that bound states appear as poles in the Green function. One assumes, that two particles come together and form a bound state with mass "M", this bound state propagates freely, and then the bound state splits in its two constituents again. Therefore, one introduces the Bethe–Salpeter wave function ${\displaystyle \Psi =\langle \Omega |\phi _{1}\,\phi _{2}|\psi \rangle }$ , which is a transition amplitude of two constituents ${\displaystyle \phi _{i}}$  into a bound state ${\displaystyle \psi }$ , and then makes an Ansatz for the Green function in the vicinity of the pole as

${\displaystyle G\approx {\frac {\Psi \;{\bar {\Psi }}}{P^{2}-M^{2}}},}$ 

where P is the total momentum of the system. One sees, that if for this momentum the equation ${\displaystyle P^{2}=M^{2}}$  holds, which is exactly the Einstein energy-momentum relation (with the Four-momentum ${\displaystyle P_{\mu }=\left(E/c,{\vec {p}}\right)}$  and ${\displaystyle P^{2}=P_{\mu }\,P^{\mu }}$  ), the four-point Green function contains a pole. If one plugs that Ansatz into the Dyson equation above, and sets the total momentum "P" such that the energy-momentum relation holds, on both sides of the term a pole appears.

${\displaystyle {\frac {\Psi \;{\bar {\Psi }}}{P^{2}-M^{2}}}=S_{1}\,S_{2}+S_{1}\,S_{2}\,K_{12}{\frac {\Psi \;{\bar {\Psi }}}{P^{2}-M^{2}}}}$ 

Comparing the residues yields

${\displaystyle \Psi =S_{1}\,S_{2}\,K_{12}\Psi ,\,}$ 

This is already the Bethe–Salpeter equation, written in terms of the Bethe–Salpeter wave functions. To obtain the above form one introduces the Bethe–Salpeter amplitudes "Γ"

${\displaystyle \Psi =S_{1}\,S_{2}\,\Gamma }$ 

and gets finally

${\displaystyle \Gamma =K_{12}\,S_{1}\,S_{2}\,\Gamma }$ 

which is written down above, with the explicit momentum dependence.

 

In principle the interaction kernel K contains all possible two-particle-irreducible interactions that can occur between the two constituents. In order to carry out practical calculations one has to model it by choosing a subset of the interactions. As in quantum field theories, interaction is described via the exchange of particles (e.g. photons in QED, or gluons in quantum chromodynamics), other than contact interactions the most simple interaction is modeled by the exchange of only one of these force-carrying particles with a known propagator.

As the Bethe–Salpeter equation sums up the interaction infinitely many times from a perturbative view point, the resulting Feynman graph resembles the form of a ladder (or rainbow), hence the name of this approximation.

While in QED the ladder approximation caused problems with crossing symmetry and gauge invariance, indicating the inclusion of crossed-ladder terms. In quantum chromodynamics (QCD) this approximation is frequently used phenomenologically to calculate hadron mass and its structure in terms of Bethe—Salpeter amplitudes and Faddeev amplitudes, a well-known Ansatz of which is proposed by Maris and Tandy.^[4] Such an Ansatz for the dressed quark-gluon vertex within the rainbow-ladder truncation respects chiral symmetry and its dynamical breaking, which therefore is an important modeling of the strong nuclear interaction. As an example the structure of pions can be solved applying the Maris—Tandy Ansatz from the Bethe—Salpeter equation in Euclidean space.^[5]

As for solutions of any homogeneous equation, that of the Bethe–Salpeter equation is determined up to a numerical factor. This factor has to be specified by a certain normalization condition. For the Bethe–Salpeter amplitudes this is usually done by demanding probability conservation (similar to the normalization of the quantum mechanical wave function), which corresponds to the equation ^[6]

${\displaystyle 2P_{\mu }={\bar {\Gamma }}\left({\frac {\partial }{\partial P_{\mu }}}\left(S_{1}\otimes S_{2}\right)-S_{1}\,S_{2}\,\left({\frac {\partial }{\partial P_{\mu }}}\,K\right)\,S_{1}\,S_{2}\right)\Gamma }$ 

Normalizations to the charge and energy-momentum tensor of the bound state lead to the same equation. In the rainbow-ladder approximation this Interaction kernel does not depend on the total momentum of the Bethe–Salpeter amplitude, in which case the second term of the normalization condition vanishes. An alternative normalization based on the eigenvalue of the corresponding linear operator was derived by Nakanishi.^[6]

The Bethe—Salpeter equation applies to all kinematic region of the Bethe—Salpeter amplitude. Consequently it determines the amplitudes where the functions are not continuous. Such singularities are usually located when the constituent momentum is timelike, which are not directly accessible from Euclidean-space solutions of this equation. Instead one develop methods to solve these type of integral equations directly in the timelike region.^[7] In the case of scalar bound states through a scalar-particle exchange in the rainbow-ladder truncation, the Bethe—Salpeter equation in the Minkowski space can be solved with the assistance of Nakanishi integral representation.^[8]

• ABINIT
• Araki–Sucher correction
• Breit equation
• Lippmann–Schwinger equation
• Schwinger–Dyson equation
• Two-body Dirac equations
• YAMBO code

Many modern quantum field theory textbooks and a few articles provide pedagogical accounts for the Bethe–Salpeter equation's context and uses. See:

• W. Greiner, J. Reinhardt (2003). Quantum Electrodynamics (3rd ed.). Springer. ISBN 978-3-540-44029-1.
• Z.K. Silagadze (1998). "Wick–Cutkosky model: An introduction". arXiv:hep-ph/9803307.

Still a good introduction is given by the review article of Nakanishi

• N. Nakanishi (1969). "A general survey of the theory of the Bethe–Salpeter equation". Progress of Theoretical Physics Supplement. 43: 1–81. Bibcode:1969PThPS..43....1N. doi:10.1143/PTPS.43.1.

For historical aspects, see

• E.E. Salpeter (2008). "Bethe–Salpeter equation (origins)". Scholarpedia. 3 (11): 7483. arXiv:0811.1050. Bibcode:2008SchpJ...3.7483S. doi:10.4249/scholarpedia.7483. S2CID 32913032.

• Yambo - plane-wave pseudopotential
• BerkeleyGW – plane-wave pseudopotential
• ExC - plane-wave pseudopotential
• Fiesta - Gaussian all-electron
• Abinit - plane-wave pseudopotential
• VASP - plane-wave pseudopotential

For a more comprehensive list of first principles codes see here: List of quantum chemistry and solid-state physics software