Quantum electrodynamics

Quantum electrodynamics (QED) is a relativistic quantum field theory of electromagnetism. QED was developed by a number of physicists in 1929. QED mathematically describes all phenomena involving electrically charged particles interacting by means of exchange of photons, whether the interaction is between light and matter or between two charged particles. It has been called "the jewel of physics" for its extremely accurate predictions of quantities like the anomalous magnetic moment of the electron, and the Lamb shift of the energy levels of hydrogen.

Physical interpretation of QED
In classical physics, due to interference, light is observed to take the stationary path between two points; but how does light know where it's going? That is, if the start and end points are known, the path that will take the shortest time can be calculated. However, when light is first emitted, the end point is not known, so how is it that light always takes the quickest path? In some interpretations, it is suggested that according to QED light does not have to — it simply goes over every possible path, and the observer (at a particular location) simply detects the mathematical result of all wave functions added up (as a sum of all line integrals). For other interpretations, paths are viewed as non physical, mathematical constructs that are equivalent to other, possibly infinite, sets of mathematical expansions. According to QED, light can go slower or faster than c, but will travel at speed c on average.

Physically, QED describes charged particles (and their antiparticles) interacting with each other by the exchange of photons. The magnitude of these interactions can be computed using perturbation theory; these rather complex formulas have a remarkable pictorial representation as Feynman diagrams. QED was the theory to which Feynman diagrams were first applied. These diagrams were invented on the basis of Lagrangian mechanics. Using a Feynman diagram, one decides every possible path between the start and end points. Each path is assigned a complex-valued probability amplitude, and the actual amplitude we observe is the sum of all amplitudes over all possible paths. Obviously, among all possible paths the ones with stationary phase contribute most (due to lack of destructive interference with some neighboring counter-phase paths) &mdash; this results in the stationary classical path between the two points.

QED doesn't predict what will happen in an experiment, but it can predict the probability of what will happen in an experiment, which is how it is experimentally verified. Predictions of QED agree with experiments to an extremely high degree of accuracy: currently about 10&minus;12 (and limited by experimental errors); for details see precision tests of QED. This makes QED the most accurate physical theory constructed thus far.

Near the end of his life, Richard P. Feynman gave a series of lectures on QED intended for the lay public. These lectures were transcribed and published as Feynman (1985), QED: The strange theory of light and matter, a classic non-mathematical exposition of QED from the point of view articulated above.

History
Quantum theory began in 1900, when Max Planck assumed that energy is quantized in order to derive a formula predicting the observed frequency dependence of the energy emitted by a black body. This dependence is completely at variance with classical physics. In 1905, Einstein explained the photoelectric effect by postulating that light energy comes in quanta called photons. In 1913, Bohr invoked quantization in his proposed explanation of the spectral lines of the hydrogen atom. In 1924, Louis de Broglie proposed a quantum theory of the wave-like nature of subatomic particles. The phrase "quantum physics" was first employed in Johnston's Planck's Universe in Light of Modern Physics. These theories, while they fit the experimental facts to some extent, were strictly phenomenological: they provided no rigorous justification for the quantization they employed.

Modern quantum mechanics was born in 1925 with Werner Heisenberg's matrix mechanics and Erwin Schrödinger's wave mechanics and the Schrödinger equation, which was a non-relativistic generalization of de Broglie's(1925) relativistic approach. Schrödinger subsequently showed that these two approaches were equivalent. In 1927, Heisenberg formulated his uncertainty principle, and the Copenhagen interpretation of quantum mechanics began to take shape. Around this time, Paul Dirac, in work culminating in his 1930 monograph finally joined quantum mechanics and special relativity, pioneered the use of operator theory, and devised the bra-ket notation widely used since. In 1932, John von Neumann formulated the rigorous mathematical basis for quantum mechanics as the theory of linear operators on Hilbert spaces. This and other work from the founding period remains valid and widely used.

Quantum chemistry began with Walter Heitler and Fritz London's 1927 quantum account of the covalent bond of the hydrogen molecule. Linus Pauling and others contributed to the subsequent development of quantum chemistry.

The application of quantum mechanics to fields rather than single particles, resulting in what are known as quantum field theories, began in 1927. Early contributors included Dirac, Wolfgang Pauli, Weisskopf, and Jordan. This line of research culminated in the 1940s in the quantum electrodynamics (QED) of Richard Feynman, Freeman Dyson, Julian Schwinger, and Sin-Itiro Tomonaga, for which Feynman, Schwinger and Tomonaga received the 1965 Nobel Prize in Physics. QED, a quantum theory of electrons, positrons, and the electromagnetic field, was the first satisfactory quantum description of a physical field and of the creation and annihilation of quantum particles.

QED involves a covariant and gauge invariant prescription for the calculation of observable quantities. Feynman's mathematical technique, based on his diagrams, initially seemed very different from the field-theoretic, operator-based approach of Schwinger and Tomonaga, but Freeman Dyson later showed that the two approaches were equivalent. The renormalization procedure for eliminating the awkward infinite predictions of quantum field theory was first implemented in QED. Even though renormalization works very well in practice, Feynman was never entirely comfortable with its mathematical validity, even referring to renormalization as a "shell game" and "hocus pocus". (Feynman, 1985: 128)

QED has served as a role model and template for all subsequent quantum field theories. One such subsequent theory is quantum chromodynamics, which began in the early 1960s and attained its present form in the 1975 work by H. David Politzer,Sidney Coleman David Gross and Frank Wilczek. Building on the pioneering work of Schwinger, Peter Higgs, Goldstone, and others, Sheldon Glashow, Steven Weinberg and Abdus Salam independently showed how the weak nuclear force and quantum electrodynamics could be merged into a single electroweak force.

Mathematics
Mathematically, QED has the structure of an Abelian gauge theory with a symmetry group being U(1) gauge group. The gauge field which mediates the interaction between the charged spin-1/2 fields is the electromagnetic field. The QED Lagrangian for the interaction of electrons and positrons through photons is


 * $$\mathcal{L}=\bar\psi(i\gamma^\mu D_\mu-m)\psi -\frac{1}{4}F_{\mu\nu}F^{\mu\nu}. \,$$


 * where
 * $$ \gamma_\mu \,\!$$ are Dirac matrices.
 * $$\ \psi$$ and its Dirac adjoint $$\bar\psi$$ are the fields representing electrically charged particles, specifically electron and positron fields represented as Dirac spinors.
 * $$D_\mu = \partial_\mu+ieA_\mu \,\!$$ is the gauge covariant derivative, with $$\ e $$ the coupling strength (equal to the elementary charge),
 * $$\ A_\mu $$ the covariant vector potential of the electromagnetic field and
 * $$F_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu \,\!$$ the electromagnetic field tensor.

Euler-Lagrange equations
To begin, plug in the definition of D into the Lagrangian to see that L is
 * $$\mathcal{L} = i \bar{\psi} \gamma^\mu \partial_\mu \psi - e\bar{\psi}\gamma_\mu A^\mu \psi -m \bar{\psi} \psi - \frac{1}{4}F_{\mu\nu}F^{\mu\nu}. \quad \quad (1) \,$$

One can plug this Lagrangian into the Euler-Lagrange equation of motion for a field
 * $$ \partial_\mu \left( \frac{\partial \mathcal{L}}{\partial ( \partial_\mu \psi )} \right) - \frac{\partial \mathcal{L}}{\partial \psi} = 0 . \quad \quad \quad \quad \quad (2) \,$$

to find the field equations for QED.

The two terms from this lagrangian are then
 * $$\partial_\mu \left( \frac{\partial \mathcal{L}}{\partial ( \partial_\mu \psi )} \right) = \partial_\mu \left( i \bar{\psi} \gamma^\mu \right) \,$$


 * $$\frac{\partial \mathcal{L}}{\partial \psi} = -e\bar{\psi}\gamma_\mu A^\mu - m \bar{\psi} \,$$

Plugging these two back into the Euler-Lagrange equation (2) results in
 * $$i \partial_\mu \bar{\psi} \gamma^\mu + e\bar{\psi}\gamma_\mu A^\mu + m \bar{\psi} = 0 \,$$

and the complex conjugate
 * $$i \gamma^\mu \partial_\mu \psi - e \gamma_\mu A^\mu \psi - m \psi = 0. \,$$

If you bring the middle term to the right-hand side looks like:
 * {|cellpadding="2" style="border:2px solid #ccccff"

The left hand side is like the original Dirac equation and the right hand side is the interaction with the electromagnetic field.
 * $$i \gamma^\mu \partial_\mu \psi - m \psi = e \gamma_\mu A^\mu \psi \,$$
 * }

One more important equation can be found by plugging in the lagrangian into one more Euler-lagrange equation, but now for the field, $$A^\mu$$:
 * $$ \partial_\nu \left( \frac{\partial \mathcal{L}}{\partial ( \partial_\nu A_\mu )} \right) - \frac{\partial \mathcal{L}}{\partial A_\mu} = 0 . \quad \quad \quad (3) \,$$

The two terms this time are
 * $$\partial_\nu \left( \frac{\partial \mathcal{L}}{\partial ( \partial_\nu A_\mu )} \right) = \partial_\nu \left( \partial^\mu A^\nu - \partial^\nu A^\mu \right) \,$$


 * $$\frac{\partial \mathcal{L}}{\partial A_\mu} = -e\bar{\psi} \gamma^\mu \psi \,$$

And these two terms, when plugged back into (3) give
 * {|cellpadding="2" style="border:2px solid #ccccff"


 * $$\partial_\nu F^{\nu \mu} = e \bar{\psi} \gamma^\mu \psi \,$$
 * }

In pictures
The part of the Lagrangian containing the electromagnetic field tensor describes the free evolution of the electromagnetic field, whereas the Dirac-like equation with the gauge covariant derivative describes the free evolution of the electron and positron fields as well as their interaction with the electromagnetic field.




 * width="300" valign="center" | [[Image:vacuum_polarization.png]]
 * width="300" valign="center" | [[Image:electron_self_energy.png]]
 * width="300" valign="center" | [[Image:vertex_correction.png]]
 * The one-loop contribution to the vacuum polarization function $$\Pi\,$$
 * The one-loop contribution to the electron self-energy function $$\Sigma \,$$
 * The one-loop contribution to the vertex function $$\Gamma\,$$
 * }
 * }