Yang–Mills Existence and Mass Gap
$1,000,000 USD
1954
Chen Ning Yang · Robert Mills (theory) · Clay Institute (problem, 2000)
Open
TL;DR
The Standard Model of particle physics — the theory of the electromagnetic, weak, and strong forces — is a Yang–Mills theory. It has been tested to extraordinary precision. But mathematically, the Standard Model does not yet exist. Nobody has succeeded in defining it rigorously.
The problem: quantum field theories on continuous 4-dimensional spacetime require a mathematical procedure called "renormalization" to extract finite predictions from formally divergent quantities. Physicists have a working recipe. Mathematicians do not have a rigorous foundation that shows why the recipe should produce a consistent theory.
The Millennium Prize asks for two things: (1) construct a rigorous quantum Yang–Mills theory on 4-dimensional Euclidean space with any compact non-Abelian gauge group, and (2) prove that the theory has a "mass gap" — a positive lower bound on the energy of excitations above the vacuum.
The mass gap is what makes protons and neutrons heavy despite being built from nearly massless quarks. It explains why the strong force has short range (unlike the massless-photon-mediated electromagnetic force which reaches infinitely far). Every calculation and every experiment says the mass gap is there. Nobody has proved it from first principles.
Formal statement
Prove that for any compact simple gauge group , a non-trivial quantum Yang–Mills theory exists on and has a mass gap .
Why it matters
Yang–Mills theories are the mathematical language of the Standard Model. Making them rigorous would place particle physics on the same footing as, say, general relativity or statistical mechanics. It's arguably the most important open problem at the interface of mathematics and physics.
History
Chen Ning Yang and Robert Mills introduced non-Abelian gauge theory in 1954, generalising Maxwell's electromagnetism. Initially considered a curiosity, it was gradually recognised — through the work of 't Hooft, Veltman, Politzer, Wilczek, Gross, and others — as the correct framework for the strong and weak nuclear forces. By 1973, quantum chromodynamics (QCD, a Yang–Mills theory with gauge group SU(3)) was established as the theory of quarks and gluons.
Meanwhile, mathematical work on constructive quantum field theory made progress in low-dimensional cases. Glimm and Jaffe rigorously constructed certain quantum field theories in 2 and 3 dimensions in the 1970s. But the physically relevant case — 4 dimensions with non-Abelian gauge symmetry — has resisted all attempts.
The Clay Institute posed the problem in 2000 based largely on advice from Arthur Jaffe and Edward Witten.
Current status of research
Lattice gauge theory (Wilson, 1974) gives a well-defined discrete approximation of Yang–Mills theory, and numerical simulations on the lattice provide strong evidence for the mass gap. But the continuum limit — taking the lattice spacing to zero — has not been made rigorous.
Various partial results exist in restricted settings. Balaban and others have constructed the theory in finite volume with an ultraviolet cutoff. The full infinite-volume, continuum limit remains open.
Some experts believe the required mathematics may not yet exist — new tools comparable to what Perelman needed for Poincaré might be required.
Notable attempts
Compared to the other Millennium Problems, Yang–Mills has attracted fewer public "proof attempts" — the required expertise spans both hard analysis and mathematical physics, and the barriers to a naive proof are immediately visible.
What a resolution would mean
A rigorous construction would place the Standard Model on solid mathematical ground and likely yield new mathematical tools of independent interest — much as the constructive quantum field theory program did in 2 and 3 dimensions. A proof of the mass gap would confirm from first principles the phenomenon of confinement in QCD, one of the deepest features of the physical universe.