Yang–Mills existence and mass gap

Millennium Prize Problem

The Yang–Mills existence and mass gap problem is an unsolved problem in mathematical physics and mathematics, and one of the seven Millennium Prize Problems defined by the Clay Mathematics Institute, which has offered a prize of US$1,000,000 for its solution. The problem is phrased as follows:

Yang–Mills Existence and Mass Gap. Prove that for any compact simple gauge group G, a non trivial quantum Yang–Mills theory exists on and has a mass gap Δ > 0. Existence includes establishing axiomatic properties at least as strong as those cited in , and
In this statement, a quantum Yang–Mills theory is a non abelian quantum field theory similar to that underlying the Standard Model of particle physics; is Euclidean 4 space; the mass gap Δ is the mass of the least massive particle predicted by the theory. Therefore, the winner must prove that:
Yang–Mills theory exists and satisfies the standard of rigor that characterizes contemporary mathematical physics, in particular constructive quantum field theory, and
The mass of all particles of the force field predicted by the theory are strictly positive. For example, in the case of G=SU(3)—the strong nuclear interaction—the winner must prove that glueballs have a lower mass bound, and thus cannot be arbitrarily light. The general problem of determining the presence of a spectral gap in a system is known to be undecidable.

[ ] one does not yet have a mathematically complete example of a quantum gauge theory in four dimensional space time, nor even a precise definition of quantum gauge theory in four dimensions. Will this change in the 21st century? We hope so! The problem requires the construction of a QFT satisfying the Wightman axioms and showing the existence of a mass gap. Both of these topics are described in sections below.

The Millennium problem requires the proposed Yang–Mills theory to satisfy the Wightman axioms or similarly stringent axioms.

Most known and nontrivial (i. e. interacting) quantum field theories in 4 dimensions are effective field theories with a cutoff scale. Since the beta function is positive for most models, it appears that most such models have a Landau pole as it is not at all clear whether or not they have nontrivial UV fixed points. This means that if such a QFT is well defined at all scales, as it has to be to satisfy the axioms of axiomatic quantum field theory, it would have to be trivial (i. e. a free field theory). Quantum Yang–Mills theory with a non abelian gauge group and no quarks is an exception, because asymptotic freedom characterizes this theory, meaning that it has a trivial UV fixed point. Hence it is the simplest nontrivial constructive QFT in 4 dimensions. (QCD is a more complicated theory because it involves quarks.)

At the level of rigor of theoretical physics, it has been well established that the quantum Yang–Mills theory for a non abelian Lie group exhibits a property known as confinement; though proper mathematical physics has more demanding requirements on a proof. A consequence of this property is that above the confinement scale, the color charges are connected by chromodynamic flux tubes leading to a linear potential between the charges. Hence isolated color charge and isolated gluons cannot exist. In the absence of confinement, we would expect to see massless gluons, but since they are confined, all we would see are color neutral bound states of gluons, called glueballs. If glueballs exist, they are massive, which is why a mass gap is expected.