Jump to content

Faddeev–Popov ghost: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
moving to ghost (physics)
Citation bot (talk | contribs)
Removed parameters. | Use this bot. Report bugs. | Suggested by Headbomb | Category:CS1 maint: DOI inactive as of June 2024 | #UCB_Category 154/305
 
(37 intermediate revisions by 21 users not shown)
Line 1: Line 1:
{{Short description|Type of unphysical field in quantum field theory which provides mathematical consistency}}
{{about|a specific type of ghost field|ghosts in the general physics sense|Ghosts (physics)}}
{{Quantum field theory|cTopic=Some models}}
{{Quantum field theory|cTopic=Some models}}
{{more footnotes needed |date=February 2020}}


In [[physics]], '''Faddeev–Popov ghosts''' (also called '''gauge ghosts''' or '''ghost fields''') are extraneous [[field (physics)|fields]] which are introduced into [[gauge theories|gauge]] [[quantum field theory|quantum field theories]] to maintain the consistency of the [[path integral formulation]]. They are named after [[Ludvig Faddeev]] and [[Victor Popov]].<ref>{{Citation
In [[physics]], '''Faddeev–Popov ghosts''' (also called '''Faddeev–Popov gauge ghosts''' or '''Faddeev–Popov ghost fields''') are extraneous [[field (physics)|fields]] which are introduced into [[gauge theories|gauge]] [[quantum field theory|quantum field theories]] to maintain the consistency of the [[path integral formulation]]. They are named after [[Ludvig Faddeev]] and [[Victor Popov]].<ref>{{cite journal |last1=Faddeev |first1=L. D. |last2=Popov |first2=V. |year=1967 |title=Feynman diagrams for the Yang-Mills field |journal=Phys. Lett. B |volume=25 |issue=1 |pages=29 |doi=10.1016/0370-2693(67)90067-6 |bibcode=1967PhLB...25...29F}}</ref><ref>{{cite journal |first=W.F. |last=Chen |title=Quantum field theory and differential geometry |journal=Int. J. Geom. Methods Mod. Phys. |year=2013 |volume=10 |issue=4 |page=1350003 |arxiv=0803.1340 |doi=10.1142/S0219887813500035|s2cid=16651244 }}</ref>
|last1=Faddeev
|first1=L. D.
|last2=Popov
|first2=V.
|title=Feynman diagrams for the Yang-Mills field
|journal=Phys. Lett. B
|volume=25
|issue=1
|year=1967
|pages=29
|doi=10.1016/0370-2693(67)90067-6
|bibcode = 1967PhLB...25...29F }}
</ref><ref>{{Citation
|author=W. F. Chen.
|arxiv=0803.1340v2
|title=Quantum Field Theory and Differential Geometry
|journal=Int. J. Geom. Meth. Mod. Phys.
|year=2008
|volume=10
|issue=4
|pages=1350003
|doi=10.1142/S0219887813500035
}}</ref>


A more general meaning of the word ghost in [[theoretical physics]] is discussed in [[Ghost (physics)]].
A more general meaning of the word "ghost" in [[theoretical physics]] is discussed in [[Ghost (physics)]].


==Overcounting in Feynman path integrals==
==Overcounting in Feynman path integrals==

The necessity for Faddeev–Popov ghosts follows from the requirement that [[quantum field theory|quantum field theories]] yield unambiguous, non-singular solutions. This is not possible in the [[path integral formulation]] when a [[gauge symmetry]] is present since there is no procedure for selecting among physically equivalent solutions related by gauge transformation. The path integrals overcount field configurations corresponding to the same physical state; the [[measure (mathematics)|measure]] of the path integrals contains a factor which does not allow obtaining various results directly from the [[Action (physics)|action]].
The necessity for Faddeev–Popov ghosts follows from the requirement that [[quantum field theory|quantum field theories]] yield unambiguous, non-singular solutions. This is not possible in the [[path integral formulation]] when a [[gauge symmetry]] is present since there is no procedure for selecting among physically equivalent solutions related by gauge transformation. The path integrals overcount field configurations corresponding to the same physical state; the [[measure (mathematics)|measure]] of the path integrals contains a factor which does not allow obtaining various results directly from the [[Action (physics)|action]].


===Faddeev–Popov procedure===
===Faddeev–Popov procedure===
{{main article|BRST quantization}}
{{main|BRST quantization}}


It is possible, however, to modify the action, such that methods such as [[Feynman diagram]]s will be applicable by adding ''ghost fields'' which break the gauge symmetry. The ghost fields do not correspond to any real particles in external states: they appear as [[virtual particle]]s in Feynman diagrams – or as the ''absence'' of gauge configurations. However, they are a necessary computational tool to preserve [[unitarity (physics)|unitarity]].
It is possible, however, to modify the action, such that methods such as [[Feynman diagram]]s will be applicable by adding ''ghost fields'' which break the gauge symmetry. The ghost fields do not correspond to any real particles in external states: they appear as [[virtual particle]]s in Feynman diagrams – or as the ''absence'' of some gauge configurations. However, they are a necessary computational tool to preserve [[unitarity (physics)|unitarity]].


The exact form or formulation of ghosts is dependent on the particular [[Gauge fixing|gauge]] chosen, although the same physical results must be obtained with all gauges since the gauge one chooses to carry out calculations is an arbitrary choice. The [[Feynman gauge|Feynman-'t Hooft gauge]] is usually the simplest gauge for this purpose, and is assumed for the rest of this article.
The exact form or formulation of ghosts is dependent on the particular [[Gauge fixing|gauge]] chosen, although the same physical results must be obtained with all gauges since the gauge one chooses to carry out calculations is an arbitrary choice. The [[Feynman gauge|Feynman–'t Hooft gauge]] is usually the simplest gauge for this purpose, and is assumed for the rest of this article.


Consider for example non-Abelian gauge theory with
==Spin-statistics relation violated==
:<math>
The Faddeev–Popov ghosts violate the [[spin-statistics relation]], which is another reason why they are often regarded as "non-physical" particles.
\int \mathcal{D}[A] \exp i \int \mathrm d^4 x \left ( - \frac{1}{4} F^a_{\mu \nu} F^{a \mu \nu } \right ).
</math>
The integral needs to be constrained via gauge-fixing via <math> G(A) = 0 </math> to integrate only over physically distinct configurations. Following Faddeev and Popov, this constraint can be applied by inserting
:<math>
1 = \int \mathcal{D}[\alpha (x) ] \delta (G(A^{\alpha })) \mathrm{det} \frac{\delta G(A^{\alpha} )}{\delta \alpha }
</math>
into the integral. <math> A^{\alpha } </math> denotes the gauge-fixed field.<ref>{{cite book |last1=Peskin, Schröder |title=An introduction To Quantum Field Theory |date=1995 |publisher=Westview Press}}</ref>


==Spin–statistics relation violated==
For example, in [[Yang–Mills theory|Yang–Mills theories]] (such as [[quantum chromodynamics]]) the ghosts are [[complex number|complex]] [[scalar field theory|scalar fields]] ([[spin (physics)|spin]] 0), but they [[anticommutativity|anti-commute]] (like [[fermions]]).
The Faddeev–Popov ghosts violate the [[Spin–statistics theorem|spin–statistics relation]], which is another reason why they are often regarded as "non-physical" particles.


For example, in [[Yang–Mills theory|Yang–Mills theories]] (such as [[quantum chromodynamics]]) the ghosts are [[complex number|complex]] [[scalar field theory|scalar fields]] ([[Spin (physics)|spin]] 0), but they [[anticommutativity|anti-commute]] (like [[fermions]]).
In general, [[anticommutativity|anti-commuting]] ghosts are associated with [[fermion]]ic symmetries, while [[commutativity|commuting]] ghosts are associated with [[boson]]ic symmetries.

In general, [[anticommutativity|anti-commuting]] ghosts are associated with [[boson]]ic symmetries, while [[commutativity|commuting]] ghosts are associated with [[fermion]]ic symmetries.


==Gauge fields and associated ghost fields==
==Gauge fields and associated ghost fields==
Every gauge field has an associated ghost, and where the gauge field acquires a mass via the [[Higgs mechanism]], the associated ghost field acquires the same mass (in the Feynman-'t Hooft gauge only, not true for other gauges).
Every gauge field has an associated ghost, and where the gauge field acquires a mass via the [[Higgs mechanism]], the associated ghost field acquires the same mass (in the [[Feynman gauge|Feynman–'t Hooft gauge]] only, not true for other gauges).


==Appearance in Feynman diagrams==
==Appearance in Feynman diagrams==
In [[Feynman diagram]]s the ghosts appear as closed loops wholly composed of 3-vertices, attached to the rest of the diagram via a gauge particle at each 3-vertex. Their contribution to the [[S matrix|S-matrix]] is exactly cancelled (in the [[Feynman gauge|Feynman-'t Hooft gauge]]) by a contribution from a similar loop of gauge particles with only 3-vertex couplings or gauge attachments to the rest of the diagram.<ref>R. P. Feynman, (1963). "Quantum Theory of Gravitation", ''Acta Physica Polonica'' '''24''', 697−722. Feynman discovered empirically that "boxing" and simply dismissing these diagrams restored unitarity. "''Because, unfortunately, I also discovered in the process that the trouble is present in the Yang−Mills theory; and, secondly, I have incidentally discovered a tree−ring connection which is of very great interest and importance in the meson theories and so on. And so I'm stuck to have to continue this investigation, and of course you appreciate that this is the secret reason for doing any work, no matter how absurd and irrational and academic it looks: we all realize that no matter how small a thing is, if it has physical interest and is thought about carefully enough, you're bound to think of something that's good for something else.''"</ref> (A loop of gauge particles not wholly composed of 3-vertex couplings is not cancelled by ghosts.) The opposite sign of the contribution of the ghost and gauge loops is due to them having opposite fermionic/bosonic natures. (Closed fermion loops have an extra&nbsp;−1 associated with them; bosonic loops don't.)
In [[Feynman diagram]]s, the ghosts appear as closed loops wholly composed of 3-vertices, attached to the rest of the diagram via a gauge particle at each 3-vertex. Their contribution to the [[S matrix|S-matrix]] is exactly cancelled (in the [[Feynman gauge|Feynman–'t Hooft gauge]]) by a contribution from a similar loop of gauge particles with only 3-vertex couplings or gauge attachments to the rest of the diagram.{{efn|Feynman discovered empirically that "boxing" and simply dismissing these diagrams restored unitarity. "''Because, unfortunately, I also discovered in the process that the trouble is present in the Yang−Mills theory; and, secondly, I have incidentally discovered a tree−ring connection which is of very great interest and importance in the meson theories and so on. And so I'm stuck to have to continue this investigation, and of course you appreciate that this is the secret reason for doing any work, no matter how absurd and irrational and academic it looks: we all realize that no matter how small a thing is, if it has physical interest and is thought about carefully enough, you're bound to think of something that's good for something else.''"<ref>{{cite journal |first=R.P. |last=Feynman |year=1963 |title=Quantum Theory of Gravitation |journal=Acta Physica Polonica |volume=24 |pages=697−722}}</ref>}} (A loop of gauge particles not wholly composed of 3-vertex couplings is not cancelled by ghosts.) The opposite sign of the contribution of the ghost and gauge loops is due to them having opposite fermionic/bosonic natures. (Closed fermion loops have an extra&nbsp;−1 associated with them; bosonic loops don't.)


==Ghost field Lagrangian==
==Ghost field Lagrangian==
Line 57: Line 46:
\mathcal{L}_{\text{ghost}}=\partial_{\mu}\bar{c}^{a}\partial^{\mu}c^{a}+gf^{abc}\left(\partial^{\mu}\bar{c}^{a}\right)A_{\mu}^{b}c^{c}\;.
\mathcal{L}_{\text{ghost}}=\partial_{\mu}\bar{c}^{a}\partial^{\mu}c^{a}+gf^{abc}\left(\partial^{\mu}\bar{c}^{a}\right)A_{\mu}^{b}c^{c}\;.
</math>
</math>
The first term is a kinetic term like for regular complex scalar fields, and the second term describes the interaction with the [[gauge field]]s as well as the [[Higgs field]]. Note that in ''abelian'' gauge theories (such as [[quantum electrodynamics]]) the ghosts do not have any effect since <math>f^{abc} = 0</math> and, consequently, the ghost particles do not interact with the gauge fields.
The first term is a kinetic term like for regular complex scalar fields, and the second term describes the interaction with the [[gauge field]]s as well as the [[Higgs field]]. Note that in ''abelian'' gauge theories (such as [[quantum electrodynamics]]) the ghosts do not have any effect since the [[structure constant]]s <math>f^{abc} = 0</math> vanish. Consequently, the ghost particles do not interact with abelian gauge fields.

==Footnotes==
{{notelist|1}}


==References==
==References==
{{reflist}}
{{reflist|25em}}


==External links==
==External links==
*{{Cite journal|last=Faddeev|first=Ludwig Dmitrievich|date=2009|title=Faddeev-Popov ghosts|journal=[[Scholarpedia]]|volume=4|issue=4|pages=7389|doi=10.4249/scholarpedia.7389|bibcode=2009SchpJ...4.7389F|doi-access=free}}
* [http://www.scholarpedia.org/article/Faddeev-Popov_ghosts Scholarpedia]
* {{cite web|last=Copeland|first=Ed|title=Ghost Particles|url=http://www.sixtysymbols.com/videos/ghost_particles.htm|work=Sixty Symbols|publisher=[[Brady Haran]] for the [[University of Nottingham]]|author2=Padilla, Antonio}}


{{particles}}
{{particles}}
{{Quantum electrodynamics}}


{{DEFAULTSORT:Faddeev-Popov ghost}}
{{DEFAULTSORT:Faddeev-Popov ghost}}
[[Category:Quantum field theory]]
[[Category:Gauge theories]]
[[Category:Quantum chromodynamics]]
[[Category:Quantum chromodynamics]]
[[Category:Particle physics]]

Latest revision as of 23:35, 12 June 2024

In physics, Faddeev–Popov ghosts (also called Faddeev–Popov gauge ghosts or Faddeev–Popov ghost fields) are extraneous fields which are introduced into gauge quantum field theories to maintain the consistency of the path integral formulation. They are named after Ludvig Faddeev and Victor Popov.[1][2]

A more general meaning of the word "ghost" in theoretical physics is discussed in Ghost (physics).

Overcounting in Feynman path integrals

[edit]

The necessity for Faddeev–Popov ghosts follows from the requirement that quantum field theories yield unambiguous, non-singular solutions. This is not possible in the path integral formulation when a gauge symmetry is present since there is no procedure for selecting among physically equivalent solutions related by gauge transformation. The path integrals overcount field configurations corresponding to the same physical state; the measure of the path integrals contains a factor which does not allow obtaining various results directly from the action.

Faddeev–Popov procedure

[edit]

It is possible, however, to modify the action, such that methods such as Feynman diagrams will be applicable by adding ghost fields which break the gauge symmetry. The ghost fields do not correspond to any real particles in external states: they appear as virtual particles in Feynman diagrams – or as the absence of some gauge configurations. However, they are a necessary computational tool to preserve unitarity.

The exact form or formulation of ghosts is dependent on the particular gauge chosen, although the same physical results must be obtained with all gauges since the gauge one chooses to carry out calculations is an arbitrary choice. The Feynman–'t Hooft gauge is usually the simplest gauge for this purpose, and is assumed for the rest of this article.

Consider for example non-Abelian gauge theory with

The integral needs to be constrained via gauge-fixing via to integrate only over physically distinct configurations. Following Faddeev and Popov, this constraint can be applied by inserting

into the integral. denotes the gauge-fixed field.[3]

Spin–statistics relation violated

[edit]

The Faddeev–Popov ghosts violate the spin–statistics relation, which is another reason why they are often regarded as "non-physical" particles.

For example, in Yang–Mills theories (such as quantum chromodynamics) the ghosts are complex scalar fields (spin 0), but they anti-commute (like fermions).

In general, anti-commuting ghosts are associated with bosonic symmetries, while commuting ghosts are associated with fermionic symmetries.

Gauge fields and associated ghost fields

[edit]

Every gauge field has an associated ghost, and where the gauge field acquires a mass via the Higgs mechanism, the associated ghost field acquires the same mass (in the Feynman–'t Hooft gauge only, not true for other gauges).

Appearance in Feynman diagrams

[edit]

In Feynman diagrams, the ghosts appear as closed loops wholly composed of 3-vertices, attached to the rest of the diagram via a gauge particle at each 3-vertex. Their contribution to the S-matrix is exactly cancelled (in the Feynman–'t Hooft gauge) by a contribution from a similar loop of gauge particles with only 3-vertex couplings or gauge attachments to the rest of the diagram.[a] (A loop of gauge particles not wholly composed of 3-vertex couplings is not cancelled by ghosts.) The opposite sign of the contribution of the ghost and gauge loops is due to them having opposite fermionic/bosonic natures. (Closed fermion loops have an extra −1 associated with them; bosonic loops don't.)

Ghost field Lagrangian

[edit]

The Lagrangian for the ghost fields in Yang–Mills theories (where is an index in the adjoint representation of the gauge group) is given by

The first term is a kinetic term like for regular complex scalar fields, and the second term describes the interaction with the gauge fields as well as the Higgs field. Note that in abelian gauge theories (such as quantum electrodynamics) the ghosts do not have any effect since the structure constants vanish. Consequently, the ghost particles do not interact with abelian gauge fields.

Footnotes

[edit]
  1. ^ Feynman discovered empirically that "boxing" and simply dismissing these diagrams restored unitarity. "Because, unfortunately, I also discovered in the process that the trouble is present in the Yang−Mills theory; and, secondly, I have incidentally discovered a tree−ring connection which is of very great interest and importance in the meson theories and so on. And so I'm stuck to have to continue this investigation, and of course you appreciate that this is the secret reason for doing any work, no matter how absurd and irrational and academic it looks: we all realize that no matter how small a thing is, if it has physical interest and is thought about carefully enough, you're bound to think of something that's good for something else."[4]

References

[edit]
  1. ^ Faddeev, L. D.; Popov, V. (1967). "Feynman diagrams for the Yang-Mills field". Phys. Lett. B. 25 (1): 29. Bibcode:1967PhLB...25...29F. doi:10.1016/0370-2693(67)90067-6.
  2. ^ Chen, W.F. (2013). "Quantum field theory and differential geometry". Int. J. Geom. Methods Mod. Phys. 10 (4): 1350003. arXiv:0803.1340. doi:10.1142/S0219887813500035. S2CID 16651244.
  3. ^ Peskin, Schröder (1995). An introduction To Quantum Field Theory. Westview Press.
  4. ^ Feynman, R.P. (1963). "Quantum Theory of Gravitation". Acta Physica Polonica. 24: 697−722.
[edit]