In
quantum field theory
In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines Field theory (physics), field theory and the principle of relativity with ideas behind quantum mechanics. QFT is used in particle physics to construct phy ...
, a ghost, ghost field, ghost particle, or gauge ghost refers to an
unphysical state in a
gauge theory
In physics, a gauge theory is a type of field theory in which the Lagrangian, and hence the dynamics of the system itself, does not change under local transformations according to certain smooth families of operations (Lie groups). Formally, t ...
. These Ghosts are introduced to maintain
gauge invariance in theories where the local field components exceeds the number of physical
degrees of freedom
In many scientific fields, the degrees of freedom of a system is the number of parameters of the system that may vary independently. For example, a point in the plane has two degrees of freedom for translation: its two coordinates; a non-infinite ...
. Ghosts ensure mathematical consistency in gauge theories.
If a given theory is self-consistent by the introduction of ghosts, these states are labeled "good". Good ghosts are
virtual particles
A virtual particle is a theoretical transient particle that exhibits some of the characteristics of an ordinary particle, while having its existence limited by the uncertainty principle, which allows the virtual particles to spontaneously emer ...
that are introduced for
regularization, like
Faddeev–Popov ghosts. Otherwise, "bad" ghosts admit undesired non-virtual states in a theory, like
Pauli–Villars ghosts that introduce particles with negative kinetic energy.
An example of the need of ghost fields is the
photon
A photon () is an elementary particle that is a quantum of the electromagnetic field, including electromagnetic radiation such as light and radio waves, and the force carrier for the electromagnetic force. Photons are massless particles that can ...
, which is usually described by a four component
vector potential
In vector calculus, a vector potential is a vector field whose curl is a given vector field. This is analogous to a ''scalar potential'', which is a scalar field whose gradient is a given vector field.
Formally, given a vector field \mathbf, a ' ...
, even if light has only two allowed
polarizations in the vacuum. To remove the unphysical degrees of freedom, it is necessary to enforce some restrictions; one way to do this reduction is to introduce some ghost field in the theory. While it is not always necessary to add ghosts to
quantize the electromagnetic field, ghost fields are strictly needed to consistently and rigorously quantize non-Abelian
Yang–Mills theory
Yang–Mills theory is a quantum field theory for nuclear binding devised by Chen Ning Yang and Robert Mills in 1953, as well as a generic term for the class of similar theories. The Yang–Mills theory is a gauge theory based on a special un ...
, such as done with
BRST quantization.
A field with a negative ghost number (the number of ghosts excitations in the field) is called an anti-ghost.
Good ghosts
Good ghosts are virtual particles, that are introduced to maintain mathematical consistencies in a gauge theory, and they often serve as a tool for regularization.
A popular example is the
Faddeev–Popov ghosts, which arise in the quantization of
non-abelian gauge theories. These ghosts assist in the elimination of unphysical
degrees of freedom
In many scientific fields, the degrees of freedom of a system is the number of parameters of the system that may vary independently. For example, a point in the plane has two degrees of freedom for translation: its two coordinates; a non-infinite ...
and preserve gauge invariance.
Faddeev–Popov ghosts
Faddeev–Popov ghosts are extraneous
anticommuting fields
Fields may refer to:
Music
*Fields (band), an indie rock band formed in 2006
* Fields (progressive rock band), a progressive rock band formed in 1971
* ''Fields'' (album), an LP by Swedish-based indie rock band Junip (2010)
* "Fields", a song by ...
which are introduced to maintain the consistency of the
path integral formulation
The path integral formulation is a description in quantum mechanics that generalizes the stationary action principle of classical mechanics. It replaces the classical notion of a single, unique classical trajectory for a system with a sum, or ...
in
non-abelian gauge theories, such as the ones describing
strong force
In nuclear physics and particle physics, the strong interaction, also called the strong force or strong nuclear force, is one of the four known fundamental interactions. It confines quarks into protons, neutrons, and other hadron particles, an ...
.
Here's how this works:
Person A tries to describe the
motion
In physics, motion is when an object changes its position with respect to a reference point in a given time. Motion is mathematically described in terms of displacement, distance, velocity, acceleration, speed, and frame of reference to an o ...
of X particle, but his description consists of too many unnecessary, unphysical
variables —many of which don't correspond to anything real or observable. This exact same thing occurs in gauge theories due to their symmetry properties. To remove these unphysical variables, the physicists
Ludvig Faddeev
Ludvig Dmitrievich Faddeev (also ''Ludwig Dmitriyevich''; ; 23 March 1934 – 26 February 2017) was a Soviet Union, Soviet and Russian Mathematical physics, mathematical physicist. He is known for the discovery of the Faddeev equations in the qu ...
and
Victor Popov introduced the
Faddeev–Popov ghosts, which act like virtual erasers, eliminating the contributions of unphysical variables, and ensuring that only the physical ones exist, preserving the gauge invariance.
They are named after
Ludvig Faddeev
Ludvig Dmitrievich Faddeev (also ''Ludwig Dmitriyevich''; ; 23 March 1934 – 26 February 2017) was a Soviet Union, Soviet and Russian Mathematical physics, mathematical physicist. He is known for the discovery of the Faddeev equations in the qu ...
and
Victor Popov.
Goldstone bosons
Goldstone boson
In physics, Goldstone bosons or Nambu–Goldstone bosons (NGBs) are bosons that appear necessarily in models exhibiting spontaneous breakdown of continuous symmetries. They were discovered by Yoichiro Nambu within the context of the BCS superco ...
s are sometimes referred to as ghosts, mainly when speaking about the vanishing
boson
In particle physics, a boson ( ) is a subatomic particle whose spin quantum number has an integer value (0, 1, 2, ...). Bosons form one of the two fundamental classes of subatomic particle, the other being fermions, which have half odd-intege ...
s of the
spontaneous symmetry breaking
Spontaneous symmetry breaking is a spontaneous process of symmetry breaking, by which a physical system in a symmetric state spontaneously ends up in an asymmetric state. In particular, it can describe systems where the equations of motion o ...
of the
electroweak symmetry through the
Higgs mechanism
In the Standard Model of particle physics, the Higgs mechanism is essential to explain the Mass generation, generation mechanism of the property "mass" for gauge bosons. Without the Higgs mechanism, all bosons (one of the two classes of particles ...
. These ''good'' ghosts are artifacts of gauge fixing. The longitudinal polarization components of the
W and Z bosons
In particle physics, the W and Z bosons are vector bosons that are together known as the weak bosons or more generally as the intermediate vector bosons. These elementary particles mediate the weak interaction; the respective symbols are , , an ...
correspond to the Goldstone bosons of the spontaneously broken part of the electroweak symmetry
SU(2)
In mathematics, the special unitary group of degree , denoted , is the Lie group of unitary matrices with determinant 1.
The matrices of the more general unitary group may have complex determinants with absolute value 1, rather than real 1 ...
⊗
U(1)
In mathematics, the circle group, denoted by \mathbb T or , is the multiplicative group of all complex numbers with absolute value 1, that is, the unit circle in the complex plane or simply the unit complex numbers
\mathbb T = \.
The circle g ...
, which, however, are not observable. Because this symmetry is gauged, the three would-be Goldstone bosons, or ghosts, are "eaten" by the three
gauge boson
In particle physics, a gauge boson is a bosonic elementary particle that acts as the force carrier for elementary fermions. Elementary particles whose interactions are described by a gauge theory interact with each other by the exchange of gauge ...
s (''W
±'' and ''Z'') corresponding to the three broken generators; this gives these three gauge bosons a mass, and the associated necessary third polarization degree of freedom.
Bad ghosts
"Bad ghosts" represent another, more general meaning of the word "ghost" in theoretical physics: states of negative norm, or fields with the wrong sign of the
kinetic term, such as
Pauli–Villars ghosts, whose existence allows
the probabilities to be negative thus violating
unitarity.
Ghost condensate
A ghost condensate is a speculative proposal in which a ghost, an excitation of a field with a wrong sign of the kinetic term, acquires a
vacuum expectation value
In quantum field theory, the vacuum expectation value (VEV) of an operator is its average or expectation value in the vacuum. The vacuum expectation value of an operator O is usually denoted by \langle O\rangle. One of the most widely used exa ...
. This phenomenon breaks
Lorentz invariance
In a relativistic theory of physics, a Lorentz scalar is a scalar expression whose value is invariant under any Lorentz transformation. A Lorentz scalar may be generated from, e.g., the scalar product of vectors, or by contracting tensors. While ...
spontaneously. Around the new
vacuum state
In quantum field theory, the quantum vacuum state (also called the quantum vacuum or vacuum state) is the quantum state with the lowest possible energy. Generally, it contains no physical particles. However, the quantum vacuum is not a simple ...
, all excitations have a positive norm, and therefore the probabilities are positive definite.
We have a real
scalar field
In mathematics and physics, a scalar field is a function associating a single number to each point in a region of space – possibly physical space. The scalar may either be a pure mathematical number ( dimensionless) or a scalar physical ...
φ with the following action
: