In
quantum physics
Quantum mechanics is the fundamental physical Scientific theory, theory that describes the behavior of matter and of light; its unusual characteristics typically occur at and below the scale of atoms. Reprinted, Addison-Wesley, 1989, It is ...
an anomaly or quantum anomaly is the failure of a
symmetry
Symmetry () in everyday life refers to a sense of harmonious and beautiful proportion and balance. In mathematics, the term has a more precise definition and is usually used to refer to an object that is Invariant (mathematics), invariant und ...
of a theory's classical
action to be a symmetry of any
regularization of the full quantum theory.
In
classical physics
Classical physics refers to physics theories that are non-quantum or both non-quantum and non-relativistic, depending on the context. In historical discussions, ''classical physics'' refers to pre-1900 physics, while '' modern physics'' refers to ...
, a classical anomaly is the failure of a symmetry to be restored in the limit in which the symmetry-breaking parameter goes to zero. Perhaps the first known anomaly was the dissipative anomaly in
turbulence
In fluid dynamics, turbulence or turbulent flow is fluid motion characterized by chaotic changes in pressure and flow velocity. It is in contrast to laminar flow, which occurs when a fluid flows in parallel layers with no disruption between ...
: time-reversibility remains broken (and energy dissipation rate finite) at the limit of vanishing
viscosity
Viscosity is a measure of a fluid's rate-dependent drag (physics), resistance to a change in shape or to movement of its neighboring portions relative to one another. For liquids, it corresponds to the informal concept of ''thickness''; for e ...
.
In quantum theory, the first anomaly discovered was the
Adler–Bell–Jackiw anomaly, wherein the
axial vector current is conserved as a classical symmetry of
electrodynamics
In physics, electromagnetism is an interaction that occurs between particles with electric charge via electromagnetic fields. The electromagnetic force is one of the four fundamental forces of nature. It is the dominant force in the interacti ...
, but is broken by the quantized theory. The relationship of this anomaly to the
Atiyah–Singer index theorem
In differential geometry, the Atiyah–Singer index theorem, proved by Michael Atiyah and Isadore Singer (1963), states that for an elliptic differential operator on a compact manifold, the analytical index (related to the dimension of the space ...
was one of the celebrated achievements of the theory. Technically, an anomalous symmetry in a quantum theory is a symmetry of the
action, but not of the
measure, and so not of the
partition function as a whole.
Global anomalies
A global anomaly is the quantum violation of a global symmetry current conservation.
A global anomaly can also mean that a non-perturbative global anomaly cannot be captured by one loop or any loop perturbative Feynman diagram calculations—examples include the
Witten anomaly and Wang–Wen–Witten anomaly.
Scaling and renormalization
The most prevalent global anomaly in physics is associated with the violation of
scale invariance
In physics, mathematics and statistics, scale invariance is a feature of objects or laws that do not change if scales of length, energy, or other variables, are multiplied by a common factor, and thus represent a universality.
The technical term ...
by quantum corrections, quantified in
renormalization
Renormalization is a collection of techniques in quantum field theory, statistical field theory, and the theory of self-similar geometric structures, that is used to treat infinities arising in calculated quantities by altering values of the ...
.
Since regulators generally introduce a distance scale, the classically scale-invariant theories are subject to
renormalization group
In theoretical physics, the renormalization group (RG) is a formal apparatus that allows systematic investigation of the changes of a physical system as viewed at different scales. In particle physics, it reflects the changes in the underlying p ...
flow, i.e., changing behavior with energy scale. For example, the large strength of the
strong nuclear 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 ...
results from a theory that is weakly coupled at short distances flowing to a strongly coupled theory at long distances, due to this scale anomaly.
Rigid symmetries
Anomalies in
abelian global symmetries pose no problems in a
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 ...
, and are often encountered (see the example of the
chiral anomaly
In theoretical physics, a chiral anomaly is the anomalous nonconservation of a chiral current. In everyday terms, it is analogous to a sealed box that contained equal numbers of left and right-handed bolts, but when opened was found to have mor ...
). In particular the corresponding anomalous symmetries can be fixed by fixing the
boundary condition
In the study of differential equations, a boundary-value problem is a differential equation subjected to constraints called boundary conditions. A solution to a boundary value problem is a solution to the differential equation which also satis ...
s of the
path integral.
Large gauge transformations
Global anomalies in
symmetries
Symmetry () in everyday life refers to a sense of harmonious and beautiful proportion and balance. In mathematics, the term has a more precise definition and is usually used to refer to an object that is invariant under some transformations ...
that approach the identity sufficiently quickly at
infinity
Infinity is something which is boundless, endless, or larger than any natural number. It is denoted by \infty, called the infinity symbol.
From the time of the Ancient Greek mathematics, ancient Greeks, the Infinity (philosophy), philosophic ...
do, however, pose problems. In known examples such symmetries correspond to disconnected components of gauge symmetries. Such symmetries and possible anomalies occur, for example, in theories with chiral fermions or self-dual
differential form
In mathematics, differential forms provide a unified approach to define integrands over curves, surfaces, solids, and higher-dimensional manifolds. The modern notion of differential forms was pioneered by Élie Cartan. It has many applications ...
s coupled to
gravity
In physics, gravity (), also known as gravitation or a gravitational interaction, is a fundamental interaction, a mutual attraction between all massive particles. On Earth, gravity takes a slightly different meaning: the observed force b ...
in 4''k'' + 2 dimensions, and also in the
Witten anomaly in an ordinary 4-dimensional SU(2) gauge theory.
As these symmetries vanish at infinity, they cannot be constrained by boundary conditions and so must be summed over in the path integral. The sum of the gauge orbit of a state is a sum of phases which form a subgroup of U(1). As there is an anomaly, not all of these phases are the same, therefore it is not the identity subgroup. The sum of the phases in every other subgroup of U(1) is equal to zero, and so all path integrals are equal to zero when there is such an anomaly and a theory does not exist.
An exception may occur when the space of configurations is itself disconnected, in which case one may have the freedom to choose to integrate over any
subset of the components. If the disconnected gauge symmetries map the system between disconnected configurations, then there is in general a consistent truncation of a theory in which one integrates only over those connected components that are not related by large gauge transformations. In this case the large gauge transformations do not act on the system and do not cause the path integral to vanish.
Witten anomaly and Wang–Wen–Witten anomaly
In SU(2)
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 ...
in 4 dimensional
Minkowski space
In physics, Minkowski space (or Minkowski spacetime) () is the main mathematical description of spacetime in the absence of gravitation. It combines inertial space and time manifolds into a four-dimensional model.
The model helps show how a ...
, a gauge transformation corresponds to a choice of an element of the
special unitary group
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 ...
SU(2) at each point in spacetime. The group of such gauge transformations is connected.
However, if we are only interested in the subgroup of gauge transformations that vanish at infinity, we may consider the 3-sphere at infinity to be a single point, as the gauge transformations vanish there anyway. If the 3-sphere at infinity is identified with a point, our Minkowski space is identified with the 4-sphere. Thus we see that the group of gauge transformations vanishing at infinity in Minkowski 4-space is
isomorphic
In mathematics, an isomorphism is a structure-preserving mapping or morphism between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between the ...
to the group of all gauge transformations on the 4-sphere.
This is the group which consists of a continuous choice of a gauge transformation in SU(2) for each point on the 4-sphere. In other words, the gauge symmetries are in one-to-one correspondence with maps from the 4-sphere to the 3-sphere, which is the group manifold of SU(2). The space of such maps is ''not'' connected, instead the connected components are classified by the fourth
homotopy group
In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group, denoted \pi_1(X), which records information about loops in a space. Intuitively, homo ...
of the 3-sphere which is the
cyclic group
In abstract algebra, a cyclic group or monogenous group is a Group (mathematics), group, denoted C_n (also frequently \Z_n or Z_n, not to be confused with the commutative ring of P-adic number, -adic numbers), that is Generating set of a group, ge ...
of order two. In particular, there are two connected components. One contains the identity and is called the ''identity component'', the other is called the ''disconnected component''.
When a theory contains an odd number of flavors of chiral fermions, the actions of gauge symmetries in the identity component and the disconnected component of the gauge group on a physical state differ by a sign. Thus when one sums over all physical configurations in the
path integral, one finds that contributions come in pairs with opposite signs. As a result, all path integrals vanish and a theory does not exist.
The above description of a global anomaly is for the SU(2) gauge theory coupled to an odd number of (iso-)spin-1/2 Weyl fermion in 4 spacetime dimensions. This is known as the Witten SU(2) anomaly.
In 2018, it is found by Wang, Wen and Witten that the SU(2) gauge theory coupled to an odd number of (iso-)spin-3/2 Weyl fermion in 4 spacetime dimensions has a further subtler non-perturbative global anomaly detectable on certain non-spin manifolds without
spin structure
In differential geometry, a spin structure on an orientable Riemannian manifold allows one to define associated spinor bundles, giving rise to the notion of a spinor in differential geometry.
Spin structures have wide applications to mathemati ...
.
This new anomaly is called the new SU(2) anomaly. Both types of anomalies
[ have analogs of (1) dynamical gauge anomalies for dynamical gauge theories and (2) the 't Hooft anomalies of global symmetries. In addition, both types of anomalies are mod 2 classes (in terms of classification, they are both finite groups Z''2'' of order 2 classes), and have analogs in 4 and 5 spacetime dimensions.][ More generally, for any natural integer N, it can be shown that an odd number of fermion multiplets in representations of (iso)-spin 2N+1/2 can have the SU(2) anomaly; an odd number of fermion multiplets in representations of (iso)-spin 4N+3/2 can have the new SU(2) anomaly.][ For fermions in the half-integer spin representation, it is shown that there are only these two types of SU(2) anomalies and the linear combinations of these two anomalies; these classify all global SU(2) anomalies.][ This new SU(2) anomaly also plays an important rule for confirming the consistency of SO(10) grand unified theory, with a Spin(10) gauge group and chiral fermions in the 16-dimensional spinor representations, defined on non-spin manifolds.]
Higher anomalies involving higher global symmetries: Pure Yang–Mills gauge theory as an example
The concept of global symmetries can be generalized to higher global symmetries, such that the charged object for the ordinary 0-form symmetry is a particle, while the charged object for the n-form symmetry is an n-dimensional extended operator. It is found that the 4 dimensional pure Yang–Mills theory with only SU(2) gauge fields with a topological theta term can have a mixed higher 't Hooft anomaly between the 0-form time-reversal symmetry and 1-form Z''2'' center symmetry. The 't Hooft anomaly of 4 dimensional pure Yang–Mills theory can be precisely written as a 5 dimensional invertible topological field theory or mathematically a 5 dimensional bordism invariant, generalizing the anomaly inflow picture to this Z''2'' class of global anomaly involving higher symmetries. In other words, we can regard the 4 dimensional pure Yang–Mills theory with a topological theta term live as a boundary condition of a certain Z''2'' class invertible topological field theory, in order to match their higher anomalies on the 4 dimensional boundary.
Gauge anomalies
Anomalies in gauge symmetries lead to an inconsistency, since a gauge symmetry is required in order to cancel unphysical degrees of freedom with a negative norm (such as a 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 ...
polarized in the time direction). An attempt to cancel them—i.e., to build theories consistent
In deductive logic, a consistent theory is one that does not lead to a logical contradiction. A theory T is consistent if there is no formula \varphi such that both \varphi and its negation \lnot\varphi are elements of the set of consequences ...
with the gauge symmetries—often leads to extra constraints on the theories (such is the case of the gauge anomaly
In theoretical physics, a gauge anomaly is an example of an anomaly: it is a feature of quantum mechanics—usually a one-loop diagram—that invalidates the gauge symmetry of a quantum field theory; i.e. of a gauge theory.
All gauge anomalie ...
in the Standard Model
The Standard Model of particle physics is the Scientific theory, theory describing three of the four known fundamental forces (electromagnetism, electromagnetic, weak interaction, weak and strong interactions – excluding gravity) in the unive ...
of particle physics). Anomalies in gauge theories
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 ...
have important connections to the topology
Topology (from the Greek language, Greek words , and ) is the branch of mathematics concerned with the properties of a Mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformat ...
and geometry
Geometry (; ) is a branch of mathematics concerned with properties of space such as the distance, shape, size, and relative position of figures. Geometry is, along with arithmetic, one of the oldest branches of mathematics. A mathematician w ...
of the gauge group
A gauge group is a group of gauge symmetries of the Yang–Mills gauge theory of principal connections on a principal bundle. Given a principal bundle P\to X with a structure Lie group G, a gauge group is defined to be a group of its vertical ...
.
Anomalies in gauge symmetries can be calculated exactly at the one-loop level. At tree level (zero loops), one reproduces the classical theory. Feynman diagrams
In theoretical physics, a Feynman diagram is a pictorial representation of the mathematical expressions describing the behavior and interaction of subatomic particles. The scheme is named after American physicist Richard Feynman, who introduced ...
with more than one loop always contain internal 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 ...
propagators. As bosons may always be given a mass without breaking gauge invariance, a Pauli–Villars regularization of such diagrams is possible while preserving the symmetry. Whenever the regularization of a diagram is consistent with a given symmetry, that diagram does not generate an anomaly with respect to the symmetry.
Vector gauge anomalies are always chiral anomalies. Another type of gauge anomaly is the gravitational anomaly
In theoretical physics, a gravitational anomaly is an example of a gauge anomaly: it is an effect of quantum mechanics — usually a one-loop diagram—that invalidates the general covariance of a theory of general relativity combined with so ...
.
At different energy scales
Quantum anomalies were discovered via the process of renormalization
Renormalization is a collection of techniques in quantum field theory, statistical field theory, and the theory of self-similar geometric structures, that is used to treat infinities arising in calculated quantities by altering values of the ...
, when some divergent integrals cannot be regularized in such a way that all the symmetries are preserved simultaneously. This is related to the high energy physics. However, due to Gerard 't Hooft
Gerardus "Gerard" 't Hooft (; born July 5, 1946) is a Dutch theoretical physicist and professor at Utrecht University, the Netherlands. He shared the 1999 Nobel Prize in Physics with his thesis advisor Martinus J. G. Veltman "for elucidating t ...
's anomaly matching condition, any chiral anomaly
In theoretical physics, a chiral anomaly is the anomalous nonconservation of a chiral current. In everyday terms, it is analogous to a sealed box that contained equal numbers of left and right-handed bolts, but when opened was found to have mor ...
can be described either by the UV degrees of freedom (those relevant at high energies) or by the IR degrees of freedom (those relevant at low energies). Thus one cannot cancel an anomaly by a UV completion of a theory—an anomalous symmetry is simply not a symmetry of a theory, even though classically it appears to be.
Anomaly cancellation
Since cancelling anomalies is necessary for the consistency of gauge theories, such cancellations are of central importance in constraining the fermion content of the standard model
The Standard Model of particle physics is the Scientific theory, theory describing three of the four known fundamental forces (electromagnetism, electromagnetic, weak interaction, weak and strong interactions – excluding gravity) in the unive ...
, which is a chiral gauge theory.
For example, the vanishing of the mixed anomaly
In theoretical physics, a mixed anomaly is an example of an anomaly: it is an effect of quantum mechanics — usually a one-loop diagram — that implies that the classically valid general covariance and gauge symmetry of a theory of general rel ...
involving two SU(2) generators and one U(1) hypercharge constrains all charges in a fermion generation to add up to zero, and thereby dictates that the sum of the proton plus the sum of the electron vanish: the ''charges of quarks and leptons must be commensurate''.
Specifically, for two external gauge fields , and one hypercharge at the vertices of the triangle diagram, cancellation of the triangle requires
:
so, for each generation, the charges of the leptons and quarks are balanced, , whence .
The anomaly cancelation in SM was also used to predict a quark from 3rd generation, the top quark
The top quark, sometimes also referred to as the truth quark, (symbol: t) is the most massive of all observed elementary particles. It derives its mass from its coupling to the Higgs field. This coupling is very close to unity; in the Standard ...
.
Further such mechanisms include:
* Axion
An axion () is a hypothetical elementary particle originally theorized in 1978 independently by Frank Wilczek and Steven Weinberg as the Goldstone boson of Peccei–Quinn theory, which had been proposed in 1977 to solve the strong CP problem ...
* Chern–Simons
* Green–Schwarz mechanism
* Liouville action
Anomalies and cobordism
In the modern description of anomalies classified by cobordism
In mathematics, cobordism is a fundamental equivalence relation on the class of compact space, compact manifolds of the same dimension, set up using the concept of the boundary (topology), boundary (French ''wikt:bord#French, bord'', giving ''cob ...
theory, the Feynman-Dyson graphs only captures the perturbative local anomalies classified by integer Z classes also known as the free part. There exists nonperturbative global anomalies classified by cyclic groups Z/''n''Z classes also known as the torsion part.
It is widely known and checked in the late 20th century that the standard model
The Standard Model of particle physics is the Scientific theory, theory describing three of the four known fundamental forces (electromagnetism, electromagnetic, weak interaction, weak and strong interactions – excluding gravity) in the unive ...
and chiral gauge theories are free from perturbative local anomalies (captured by Feynman diagrams
In theoretical physics, a Feynman diagram is a pictorial representation of the mathematical expressions describing the behavior and interaction of subatomic particles. The scheme is named after American physicist Richard Feynman, who introduced ...
). However, it is not entirely clear whether there are any nonperturbative global anomalies for the standard model
The Standard Model of particle physics is the Scientific theory, theory describing three of the four known fundamental forces (electromagnetism, electromagnetic, weak interaction, weak and strong interactions – excluding gravity) in the unive ...
and chiral gauge theories.
Recent developments
based on the cobordism theory
In mathematics, cobordism is a fundamental equivalence relation on the class of compact manifolds of the same dimension, set up using the concept of the boundary (French '' bord'', giving ''cobordism'') of a manifold. Two manifolds of the same d ...
examine this problem, and several additional nontrivial global anomalies found can further constrain these gauge theories. There is also a formulation of both perturbative local and nonperturbative global description of anomaly inflow in terms of Atiyah, Patodi, and Singer
Singing is the art of creating music with the voice. It is the oldest form of musical expression, and the human voice can be considered the first musical instrument. The definition of singing varies across sources. Some sources define singi ...
eta invariant
In mathematics, the eta invariant of a self-adjoint elliptic differential operator on a compact manifold is formally the number of positive eigenvalues minus the number of negative eigenvalues. In practice both numbers are often infinite so are de ...
in one higher dimension. This eta invariant
In mathematics, the eta invariant of a self-adjoint elliptic differential operator on a compact manifold is formally the number of positive eigenvalues minus the number of negative eigenvalues. In practice both numbers are often infinite so are de ...
is a cobordism invariant whenever the perturbative local anomalies vanish.
Examples
* Chiral anomaly
In theoretical physics, a chiral anomaly is the anomalous nonconservation of a chiral current. In everyday terms, it is analogous to a sealed box that contained equal numbers of left and right-handed bolts, but when opened was found to have mor ...
* Conformal anomaly (anomaly of scale invariance
In physics, mathematics and statistics, scale invariance is a feature of objects or laws that do not change if scales of length, energy, or other variables, are multiplied by a common factor, and thus represent a universality.
The technical term ...
)
* Gauge anomaly
In theoretical physics, a gauge anomaly is an example of an anomaly: it is a feature of quantum mechanics—usually a one-loop diagram—that invalidates the gauge symmetry of a quantum field theory; i.e. of a gauge theory.
All gauge anomalie ...
* Global anomaly
Primary Examples
In theoretical physics, a global anomaly is a type of anomaly: in this particular case, it is a quantum effect that invalidates a large gauge transformation that would otherwise be preserved in the classical theory. This lea ...
* Gravitational anomaly
In theoretical physics, a gravitational anomaly is an example of a gauge anomaly: it is an effect of quantum mechanics — usually a one-loop diagram—that invalidates the general covariance of a theory of general relativity combined with so ...
(also known as ''diffeomorphism anomaly'')
* Konishi anomaly
In theoretical physics, the Konishi anomaly is the violation of the conservation of the Noether current associated with certain transformations in theories with N=1 supersymmetry. More precisely, this transformation changes the phase of a chira ...
* Mixed anomaly
In theoretical physics, a mixed anomaly is an example of an anomaly: it is an effect of quantum mechanics — usually a one-loop diagram — that implies that the classically valid general covariance and gauge symmetry of a theory of general rel ...
* Parity anomaly
In theoretical physics a quantum field theory is said to have a parity anomaly if its classical action is invariant under a change of parity of the universe, but the quantum theory is not invariant.
This kind of anomaly can occur in odd-dimen ...
* 't Hooft anomaly
See also
* Anomalon
In physics, an anomalon is a hypothetical type of nuclear matter that shows an anomalously large reactive cross section. They were first noticed in experimental runs in the early 1980s as short tracks in film emulsions or plastic leaf detectors ...
s, a topic of some debate in the 1980s, anomalons were found in the results of some high-energy physics
Particle physics or high-energy physics is the study of fundamental particles and forces that constitute matter and radiation. The field also studies combinations of elementary particles up to the scale of protons and neutrons, while the stu ...
experiments that seemed to point to the existence of anomalously highly interactive states of matter. The topic was controversial throughout its history.
References
;Citations
;General
* Gravitational Anomalies by Luis Alvarez-Gaumé: This classic paper, which introduces pure gravitational anomalies, contains a good general introduction to anomalies and their relation to regularization and to conserved current
In physics a conserved current is a current, j^\mu, that satisfies the continuity equation \partial_\mu j^\mu=0. The continuity equation represents a conservation law, hence the name.
Indeed, integrating the continuity equation over a volume V, ...
s. All occurrences of the number 388 should be read "384". Originally at: ccdb4fs.kek.jp/cgi-bin/img_index?8402145. Springer https://link.springer.com/chapter/10.1007%2F978-1-4757-0280-4_1
{{String theory topics , state=collapsed