Gauge fixing
Articles about |
Electromagnetism |
---|
Quantum field theory |
---|
History |
In the
Although the unphysical axes in the space of detailed configurations are a fundamental property of the physical model, there is no special set of directions "perpendicular" to them. Hence there is an enormous amount of freedom involved in taking a "cross section" representing each physical configuration by a particular detailed configuration (or even a weighted distribution of them). Judicious gauge fixing can simplify calculations immensely, but becomes progressively harder as the physical model becomes more realistic; its application to
Gauge freedom
The archetypical gauge theory is the
If the transformation
|
(1)
|
is made, then B remains unchanged, since (with the identity )
However, this transformation changes E according to
If another change
|
(2)
|
is made then E also remains the same. Hence, the E and B fields are unchanged if one takes any function ψ(r, t) and simultaneously transforms A and φ via the transformations (1) and (2).
A particular choice of the scalar and vector potentials is a gauge (more precisely, gauge potential) and a scalar function ψ used to change the gauge is called a gauge function. The existence of arbitrary numbers of gauge functions ψ(r, t) corresponds to the
Although classical electromagnetism is now often spoken of as a gauge theory, it was not originally conceived in these terms. The motion of a classical point charge is affected only by the electric and magnetic field strengths at that point, and the potentials can be treated as a mere mathematical device for simplifying some proofs and calculations. Not until the advent of quantum field theory could it be said that the potentials themselves are part of the physical configuration of a system. The earliest consequence to be accurately predicted and experimentally verified was the Aharonov–Bohm effect, which has no classical counterpart. Nevertheless, gauge freedom is still true in these theories. For example, the Aharonov–Bohm effect depends on a line integral of A around a closed loop, and this integral is not changed by
Gauge fixing in
An illustration
As an illustration of gauge fixing, one may look at a cylindrical rod and attempt to tell whether it is twisted. If the rod is perfectly cylindrical, then the circular symmetry of the cross section makes it impossible to tell whether or not it is twisted. However, if there were a straight line drawn along the length of the rod, then one could easily say whether or not there is a twist by looking at the state of the line. Drawing a line is gauge fixing. Drawing the line spoils the gauge symmetry, i.e., the circular symmetry
Coulomb gauge
The Coulomb gauge (also known as the transverse gauge) is used in quantum chemistry and condensed matter physics and is defined by the gauge condition (more precisely, gauge fixing condition)
It is particularly useful for "semi-classical" calculations in quantum mechanics, in which the vector potential is quantized but the Coulomb interaction is not.
The Coulomb gauge has a number of properties:
- The potentials can be expressed in terms of instantaneous values of the fields and densities (in International System of Units)[1]
where ρ(r, t) is the electric charge density, and (where r is any position vector in space and r′ is a point in the charge or current distribution), the operates on r and d3 r is the volume element at r.
The instantaneous nature of these potentials appears, at first sight, to violate causality, since motions of electric charge or magnetic field appear everywhere instantaneously as changes to the potentials. This is justified by noting that the scalar and vector potentials themselves do not affect the motions of charges, only the combinations of their derivatives that form the electromagnetic field strength. Although one can compute the field strengths explicitly in the Coulomb gauge and demonstrate that changes in them propagate at the speed of light, it is much simpler to observe that the field strengths are unchanged under gauge transformations and to demonstrate causality in the manifestly Lorentz covariant Lorenz gauge described below.
Another expression for the vector potential, in terms of the time-retarded electric current density J(r, t), has been obtained to be:[2]
- Further gauge transformations that retain the Coulomb gauge condition might be made with gauge functions that satisfy ∇2ψ = 0, but as the only solution to this equation that vanishes at infinity (where all fields are required to vanish) is ψ(r, t) = 0, no gauge arbitrariness remains. Because of this, the Coulomb gauge is said to be a complete gauge, in contrast to gauges where some gauge arbitrariness remains, like the Lorenz gauge below.
- The Coulomb gauge is a minimal gauge in the sense that the integral of A2 over all space is minimal for this gauge: All other gauges give a larger integral.[3] The minimum value given by the Coulomb gauge is
- In regions far from electric charge the scalar potential becomes zero. This is known as the radiation gauge. quantum field theories such as quantum electrodynamics (QED). Lorentz covariant gauges such as the Lorenz gauge are usually used in these theories. Amplitudes of physical processes in QED in the noncovariant Coulomb gauge coincide with those in the covariant Lorenz gauge.[4]
- For a uniform and constant magnetic field B the vector potential in the Coulomb gauge can be expressed in the so-called symmetric gauge as
plus the gradient of any scalar field (the gauge function), which can be confirmed by calculating the div and curl of A. The divergence of A at infinity is a consequence of the unphysical assumption that the magnetic field is uniform throughout the whole of space. Although this vector potential is unrealistic in general it can provide a good approximation to the potential in a finite volume of space in which the magnetic field is uniform. Another common choice for homogeneous constant fields is the Landau gauge (not to be confused with the Rξ Landau gauge of the next section), where andwhere are unitary vectors of the Cartesian coordinate system (z-axis aligned with the magnetic field).
- As a consequence of the considerations above, the electromagnetic potentials may be expressed in their most general forms in terms of the electromagnetic fields as
where ψ(r, t) is an arbitrary scalar field called the gauge function. The fields that are the derivatives of the gauge function are known as pure gauge fields and the arbitrariness associated with the gauge function is known as gauge freedom. In a calculation that is carried out correctly the pure gauge terms have no effect on any physical observable. A quantity or expression that does not depend on the gauge function is said to be gauge invariant: All physical observables are required to be gauge invariant. A gauge transformation from the Coulomb gauge to another gauge is made by taking the gauge function to be the sum of a specific function which will give the desired gauge transformation and the arbitrary function. If the arbitrary function is then set to zero, the gauge is said to be fixed. Calculations may be carried out in a fixed gauge but must be done in a way that is gauge invariant.
Lorenz gauge
The Lorenz gauge is given, in
This may be rewritten as:
It is unique among the constraint gauges in retaining manifest
The Lorenz gauge leads to the following inhomogeneous wave equations for the potentials:
It can be seen from these equations that, in the absence of current and charge, the solutions are potentials which propagate at the speed of light.
The Lorenz gauge is incomplete in some sense: there remains a subspace of gauge transformations which can also preserve the constraint. These remaining degrees of freedom correspond to gauge functions which satisfy the wave equation
These remaining gauge degrees of freedom propagate at the speed of light. To obtain a fully fixed gauge, one must add boundary conditions along the light cone of the experimental region.
Maxwell's equations in the Lorenz gauge simplify to
Two solutions of these equations for the same current configuration differ by a solution of the vacuum wave equation
Many of the differences between classical and quantum electrodynamics can be accounted for by the role that the longitudinal and time-like polarizations play in interactions between charged particles at microscopic distances.
Rξ gauges
The Rξ gauges are a generalization of the Lorenz gauge applicable to theories expressed in terms of an
The choice of the parameter ξ determines the choice of gauge. The Rξ Landau gauge is classically equivalent to Lorenz gauge: it is obtained in the limit ξ → 0 but postpones taking that limit until after the theory has been quantized. It improves the rigor of certain existence and equivalence proofs. Most quantum field theory computations are simplest in the Feynman–'t Hooft gauge, in which ξ = 1; a few are more tractable in other Rξ gauges, such as the Yennie gauge ξ = 3.
An equivalent formulation of Rξ gauge uses an auxiliary field, a scalar field B with no independent dynamics:
The auxiliary field, sometimes called a Nakanishi–Lautrup field, can be eliminated by "completing the square" to obtain the previous form. From a mathematical perspective the auxiliary field is a variety of Goldstone boson, and its use has advantages when identifying the asymptotic states of the theory, and especially when generalizing beyond QED.
Historically, the use of Rξ gauges was a significant technical advance in extending
The photon propagator, which is the multiplicative factor corresponding to an internal photon in the
Forward and backward polarized radiation can be omitted in the
Maximal abelian gauge
In any non-abelian gauge theory, any maximal abelian gauge is an incomplete gauge which fixes the gauge freedom outside of the maximal abelian subgroup. Examples are
- For Pauli matrixσ3, then the maximal abelian gauge is that which maximizes the functionwhere
- For SU(3) gauge theory in D dimensions, the maximal abelian subgroup is a U(1)×U(1) subgroup. If this is chosen to be the one generated by the Gell-Mann matricesλ3 and λ8, then the maximal abelian gauge is that which maximizes the functionwhere
This applies regularly in higher algebras (of groups in the algebras), for example the Clifford Algebra and as it is regularly.
Less commonly used gauges
Various other gauges, which can be beneficial in specific situations have appeared in the literature.[2]
Weyl gauge
The Weyl gauge (also known as the Hamiltonian or temporal gauge) is an incomplete gauge obtained by the choice
It is named after
Multipolar gauge
The gauge condition of the multipolar gauge (also known as the line gauge, point gauge or Poincaré gauge (named after Henri Poincaré)) is:
This is another gauge in which the potentials can be expressed in a simple way in terms of the instantaneous fields
Fock–Schwinger gauge
The gauge condition of the Fock–Schwinger gauge (named after Vladimir Fock and Julian Schwinger; sometimes also called the relativistic Poincaré gauge) is:
Dirac gauge
The nonlinear Dirac gauge condition (named after Paul Dirac) is:
References
- S2CID 250880504.
- ^ S2CID 119652556.
- S2CID 45172403.
- PMID 9958379.
- ISBN 0201360799.
Further reading
- ISBN 978-0-7506-2768-9.
- Jackson, J. D. (1999). Classical Electrodynamics (3rd ed.). New York: Wiley. ISBN 0-471-30932-X.