Elitzur's theorem

Last updated

In quantum field theory and statistical field theory, Elitzur's theorem states that in gauge theories, the only operators that can have non-vanishing expectation values are ones that are invariant under local gauge transformations. An important implication is that gauge symmetry cannot be spontaneously broken. The theorem was first proved in 1975 by Shmuel Elitzur in lattice field theory, [1] although the same result is expected to hold in the continuum limit. The theorem shows that the naive interpretation of the Higgs mechanism as the spontaneous symmetry breaking of a gauge symmetry is incorrect, although the phenomenon can be reformulated entirely in terms of gauge invariant quantities in what is known as the Fröhlich–Morchio–Strocchi mechanism. [2]

Contents

Theory

A field theory admits different types of symmetries, with the two most common ones being global and local symmetries. Global symmetries are fields transformations acting the same way everywhere while local symmetries act on fields in a position dependent way. The latter correspond to redundancies in the description of the system. This is a consequence of Noether's second theorem which states that each local symmetry degree of freedom corresponds to a relation among the Euler–Lagrange equations, making the system underdetermined. Underdeterminacy requires gauge fixing of the non-propagating degrees of freedom so that the equations of motion admit a unique solution. [3]

Spontaneous symmetry breaking occurs when the action of a theory has a symmetry but the vacuum state violates this symmetry. In that case there will exist a local operator that is non-invariant under the symmetry giving it a nonzero vacuum expectation value. Such non-invariant local operators always have vanishing vacuum expectation values for finite size systems, prohibiting spontaneous symmetry breaking. This occurs because over large timescales, finite systems always transition between all possible ground states, averaging away the expectation value of the operator. [4]

While spontaneous symmetry breaking can occur for global symmetries, Elitzur's theorem states that the same is not the case for gauge symmetries; all vacuum expectation values of gauge non-invariant operators are vanishing, even in systems of infinite size. [5] On the lattice this follows from the fact that integrating gauge non-invariant observables over a group measure always yields zero for compact gauge groups. [6] Positivity of the measure and gauge invariance are sufficient to prove the theorem. [7] This is also an explanation for why gauge symmetries are mere redundancies in lattice field theories, where the equations of motion need not define a well-posed problem as they do not need to be solved. Instead, Elitzur's theorem shows that any observable that is not invariant under the symmetry has a vanishing expectation value, making it unobservable and therefore redundant.

Showing that a system admits spontaneous symmetry breaking requires introducing a weak external source field that breaks the symmetry and gives rise to a preferred ground state. The system is then taken to the thermodynamic limit after which the external source field is switched off. If the vacuum expectation value of symmetry non-invariant operators is nonzero in this limit then there is spontaneous symmetry breaking. [8] Physically it means that the system never leaves the original ground state into which it was placed by the external field. For global symmetries this occurs because the energy barrier between the various ground states is proportional to the volume, so in the thermodynamic limit this diverges, locking the system into the ground state. Local symmetries get around this construction because the energy barrier between two ground states depends only on local features so transitions to different gauge related ground states can occur locally and does not require the field to change everywhere at the same time as it does for global symmetries.

Limitations and implications

There are a number of limitations to the theorem. In particular, spontaneous symmetry breaking of a gauge symmetry is allowed in a system with infinite spatial dimensions or a symmetry with an infinite number of variables, since in these cases there are infinite energy barriers between gauge related configurations. The theorem also does not apply to residual gauge degrees of freedom [9] nor large gauge transformations, [10] which can in principle be spontaneously broken. Furthermore, all current proofs rely on a lattice field theory formulation so they may be invalid in a genuine continuum field theory. It is therefore in principle plausible that there may exist exotic continuum theories for which gauge symmetries can be spontaneously broken, although such a scenario remains unlikely due to the absence of any known examples.

Landau's classification of phases uses expectation values of local operators to determine the phase of the system. However, Elitzur's theorem shows that this approach is inadmissible in certain systems such as Yang–Mills theories for which no local operator can act as an order operator for confinement. Instead, to get around the theorem requires constructing nonlocal gauge invariant operators, whose expectation values need not be zero. The most common ones are Wilson loops and their thermal equivalents, Polyakov loops. Another nonlocal operator that acts as a order operator is the 't Hooft loop.

Since gauge symmetries cannot be spontaneously broken, this calls into question the validity of the Higgs mechanism. In the usual presentation, the Higgs field has a potential that appears to give the Higgs field a non-vanishing vacuum expectation value. However, this is merely a consequence of imposing a gauge fixing, usually the unitary gauge. Any value of the vacuum expectation value can be acquired by an appropriate gauge fixing choice. Calculating the expectation value in a gauge invariant way always gives zero, in agreement with Elitzur's theorem. The Higgs mechanism can however be reformulated entirely in a gauge invariant way in what is known as the Fröhlich–Morchio–Strocchi mechanism which does not involve spontaneous symmetry breaking of any symmetry. [11] For non-abelian gauge groups that have a subgroup, this mechanism agrees with the Higgs mechanism, but for other gauge groups there can appear discrepancies between the two approaches.

Elitzur's theorem can also be generalized to a larger notion of local symmetries where in a D-dimensional space, there can be symmetries that act uniformly on a d-dimensional hyperplanes. In this view, global symmetries act on D-dimensional hyperplanes while local symmetries act on 0-dimensional ones. The generalized Elitzur's theorem then provides bounds on the vacuum expectation values of operators that are non-invariant under such d-dimensional symmetries. [12] This theorem has numerous applications in condensed matter systems where such symmetries appear.

See also

Related Research Articles

<span class="mw-page-title-main">Wightman axioms</span> Axiomatization of quantum field theory

In mathematical physics, the Wightman axioms, named after Arthur Wightman, are an attempt at a mathematically rigorous formulation of quantum field theory. Arthur Wightman formulated the axioms in the early 1950s, but they were first published only in 1964 after Haag–Ruelle scattering theory affirmed their significance.

<span class="mw-page-title-main">Vacuum expectation value</span> Type of operator expectation value

In quantum field theory the vacuum expectation value of an operator is its average or expectation value in the vacuum. The vacuum expectation value of an operator O is usually denoted by One of the most widely used examples of an observable physical effect that results from the vacuum expectation value of an operator is the Casimir effect.

<span class="mw-page-title-main">Spontaneous symmetry breaking</span> Symmetry breaking through the vacuum state

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 or the Lagrangian obey symmetries, but the lowest-energy vacuum solutions do not exhibit that same symmetry. When the system goes to one of those vacuum solutions, the symmetry is broken for perturbations around that vacuum even though the entire Lagrangian retains that symmetry.

In quantum field theory, Wilson loops are gauge invariant operators arising from the parallel transport of gauge variables around closed loops. They encode all gauge information of the theory, allowing for the construction of loop representations which fully describe gauge theories in terms of these loops. In pure gauge theory they play the role of order operators for confinement, where they satisfy what is known as the area law. Originally formulated by Kenneth G. Wilson in 1974, they were used to construct links and plaquettes which are the fundamental parameters in lattice gauge theory. Wilson loops fall into the broader class of loop operators, with some other notable examples being 't Hooft loops, which are magnetic duals to Wilson loops, and Polyakov loops, which are the thermal version of Wilson loops.

In particle and condensed matter 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 in particle physics within the context of the BCS superconductivity mechanism, and subsequently elucidated by Jeffrey Goldstone, and systematically generalized in the context of quantum field theory. In condensed matter physics such bosons are quasiparticles and are known as Anderson–Bogoliubov modes.

<span class="mw-page-title-main">Higgs mechanism</span> Mechanism that explains the generation of mass for gauge bosons

In the Standard Model of particle physics, the Higgs mechanism is essential to explain the generation mechanism of the property "mass" for gauge bosons. Without the Higgs mechanism, all bosons (one of the two classes of particles, the other being fermions) would be considered massless, but measurements show that the W+, W−, and Z0 bosons actually have relatively large masses of around 80 GeV/c2. The Higgs field resolves this conundrum. The simplest description of the mechanism adds a quantum field (the Higgs field) which permeates all of space to the Standard Model. Below some extremely high temperature, the field causes spontaneous symmetry breaking during interactions. The breaking of symmetry triggers the Higgs mechanism, causing the bosons it interacts with to have mass. In the Standard Model, the phrase "Higgs mechanism" refers specifically to the generation of masses for the W±, and Z weak gauge bosons through electroweak symmetry breaking. The Large Hadron Collider at CERN announced results consistent with the Higgs particle on 14 March 2013, making it extremely likely that the field, or one like it, exists, and explaining how the Higgs mechanism takes place in nature. The view of the Higgs mechanism as involving spontaneous symmetry breaking of a gauge symmetry is technically incorrect since by Elitzur's theorem gauge symmetries can never be spontaneously broken. Rather, the Fröhlich–Morchio–Strocchi mechanism reformulates the Higgs mechanism in an entirely gauge invariant way, generally leading to the same results.

In quantum field theory, the term moduli is sometimes used to refer to scalar fields whose potential energy function has continuous families of global minima. Such potential functions frequently occur in supersymmetric systems. The term "modulus" is borrowed from mathematics, where it is used synonymously with "parameter". The word moduli first appeared in 1857 in Bernhard Riemann's celebrated paper "Theorie der Abel'schen Functionen".

In quantum mechanics, superselection extends the concept of selection rules.

<span class="mw-page-title-main">Symmetry breaking</span> Physical process transitioning a system from a symmetric state to a more ordered state

In physics, symmetry breaking is a phenomenon where a disordered but symmetric state collapses into an ordered, but less symmetric state. This collapse is often one of many possible bifurcations that a particle can take as it approaches a lower energy state. Due to the many possibilities, an observer may assume the result of the collapse to be arbitrary. This phenomenon is fundamental to quantum field theory (QFT), and further, contemporary understandings of physics. Specifically, it plays a central role in the Glashow–Weinberg–Salam model which forms part of the Standard model modelling the electroweak sector.

Alternative models to the Standard Higgs Model are models which are considered by many particle physicists to solve some of the Higgs boson's existing problems. Two of the most currently researched models are quantum triviality, and Higgs hierarchy problem.

A conformal anomaly, scale anomaly, trace anomaly or Weyl anomaly is an anomaly, i.e. a quantum phenomenon that breaks the conformal symmetry of the classical theory.

The QCD vacuum is the quantum vacuum state of quantum chromodynamics (QCD). It is an example of a non-perturbative vacuum state, characterized by non-vanishing condensates such as the gluon condensate and the quark condensate in the complete theory which includes quarks. The presence of these condensates characterizes the confined phase of quark matter.

In quantum field theory, gauge gravitation theory is the effort to extend Yang–Mills theory, which provides a universal description of the fundamental interactions, to describe gravity.

The 1964 PRL symmetry breaking papers were written by three teams who proposed related but different approaches to explain how mass could arise in local gauge theories. These three papers were written by: Robert Brout and François Englert; Peter Higgs; and Gerald Guralnik, C. Richard Hagen, and Tom Kibble (GHK). They are credited with the theory of the Higgs mechanism and the prediction of the Higgs field and Higgs boson. Together, these provide a theoretical means by which Goldstone's theorem can be avoided. They show how gauge bosons can acquire non-zero masses as a result of spontaneous symmetry breaking within gauge invariant models of the universe.

Bumblebee models are effective field theories describing a vector field with a vacuum expectation value that spontaneously breaks Lorentz symmetry. A bumblebee model is the simplest case of a theory with spontaneous Lorentz symmetry breaking.

In theoretical physics, a mass generation mechanism is a theory that describes the origin of mass from the most fundamental laws of physics. Physicists have proposed a number of models that advocate different views of the origin of mass. The problem is complicated because the primary role of mass is to mediate gravitational interaction between bodies, and no theory of gravitational interaction reconciles with the currently popular Standard Model of particle physics.

Spontaneous symmetry breaking, a vacuum Higgs field, and its associated fundamental particle the Higgs boson are quantum phenomena. A vacuum Higgs field is responsible for spontaneous symmetry breaking the gauge symmetries of fundamental interactions and provides the Higgs mechanism of generating mass of elementary particles.

<span class="mw-page-title-main">Ghost (physics)</span> Field corresponding to unphysical states

In the terminology of quantum field theory, a ghost, ghost field, ghost particle, or gauge ghost is an unphysical state in a gauge theory. Ghosts are necessary to keep gauge invariance in theories where the local fields exceed a number of physical degrees of freedom.

In quantum field theory, the Polyakov loop is the thermal analogue of the Wilson loop, acting as an order parameter for confinement in pure gauge theories at nonzero temperatures. In particular, it is a Wilson loop that winds around the compactified Euclidean temporal direction of a thermal quantum field theory. It indicates confinement because its vacuum expectation value must vanish in the confined phase due to its non-invariance under center gauge transformations. This also follows from the fact that the expectation value is related to the free energy of individual quarks, which diverges in this phase. Introduced by Alexander M. Polyakov in 1975, they can also be used to study the potential between pairs of quarks at nonzero temperatures.

References

  1. ↑ Elitzur, S. (1975). "Impossibility of spontaneously breaking local symmetries". Phys. Rev. D. 12 (12): 3978–3982. doi:10.1103/PhysRevD.12.3978.
  2. ↑ Fröhlich, J.; Morchio, G.; Strocchi, F. (1981). "Higgs phenomenon without symmetry breaking order parameter". Nuclear Physics B. 190 (3): 553–582. Bibcode:1981NuPhB.190..553F. doi:10.1016/0550-3213(81)90448-X.
  3. ↑ Friedreich, S. (2012). "A Philosophical Look at the Higgs Mechanism". Journal for General Philosophy of Science. 45 (2): 335–350.
  4. ↑ Shankar, R. (2017). "10". Quantum Field Theory and Condensed Matter: An Introduction. Cambridge: Cambridge University Press. p. 164–165. ISBN   978-0521592109.
  5. ↑ Fradkin, E. (2021). "18.6". Quantum Field Theory: An Integrated Approach. Princeton University Press. p. 533–534. ISBN   978-0691149080.
  6. ↑ Gattringer, C.; Lang, C.B. (2009). "3". Quantum Chromodynamics on the Lattice: An Introductory Presentation. Lecture Notes in Physics 788. Springer. p. 53. doi:10.1007/978-3-642-01850-3. ISBN   978-3642018497.
  7. ↑ Wipf, A. (2012). "13". Statistical Approach to Quantum Field Theory: An Introduction. Springer. p. 313–314. ISBN   978-3642331046.
  8. ↑ Baulieu, L.; Iliopoulos, J.; Sénéor, R. (2017). "25". From Classical to Quantum Fields. Oxford: Oxford University Press. p. 722–724. ISBN   978-0198788409.
  9. ↑ Greensite, J. (2020). "3". An Introduction to the Confinement Problem (2 ed.). Springer. p. 27–28. ISBN   978-3030515621.
  10. ↑ Hertzberg, M.P.; Jain, M. (2019). "Counting of states in Higgs theories". Phys. Rev. D. 99 (6): 065015. arXiv: 1807.05233 . doi:10.1103/PhysRevD.99.065015.
  11. ↑ Axel, M. (2019). "Brout-Englert-Higgs physics: From foundations to phenomenology". Prog. Part. Nucl. Phys. 106: 132–209. arXiv: 1712.04721 . doi:10.1016/j.ppnp.2019.02.003.
  12. ↑ Batista, C.D.; Nussinov, Z. (2005). "Generalized Elitzur's theorem and dimensional reductions". Phys. Rev. B. 72 (4): 045137. arXiv: cond-mat/0410599 . doi:10.1103/PhysRevB.72.045137.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.