Yang–Mills existence and mass gap (Clay Millennium Prize problem)

The Yang–Mills existence and mass-gap problem — one of the seven Clay Millennium Prize Problems — asks for a proof that for any compact simple gauge group G, a non-trivial quantum Yang–Mills theory exists on four-dimensional spacetime R^4 as a mathematically well-defined quantum field theory (satisfying at least the Wightman or Osterwalder–Schrader axioms) and that it has a strictly positive mass gap Δ > 0. As of August 2026 the problem is open: the Clay Mathematics Institute lists it as unsolved, the January 2026 Nature Reviews Physics survey by Douglas reports that no clear path to a proof is known, no claimed four-dimensional proof has withstood scrutiny (see references 3 and 8), and the remaining recent work consists of lattice-level mass-gap results at fixed lattice spacing, conditional results, and a three-dimensional outline.

Background

Yang–Mills theory is the non-abelian generalization of electromagnetism: the gauge field $A$ takes values in the Lie algebra of a compact gauge group $G$ (for example $SU(3)$, the group of $3\times3$ unitary matrices with determinant one), and the field strength acquires a nonlinear self-interaction because the group is non-abelian. Quantum Yang–Mills theory is the foundation of the Standard Model of particle physics; in particular, quantum chromodynamics (QCD), the theory of the strong nuclear force, is an $SU(3)$ Yang–Mills theory coupled to quark matter.

Two structural properties of pure (matter-free) four-dimensional Yang–Mills theory are expected on physical grounds. First, asymptotic freedom: the effective coupling becomes weak at short distances, so the theory is tractable in the ultraviolet. Second, confinement with a mass gap: the physical excitations are massive, gauge-invariant bound states of the gauge field (glueballs), and the spectrum of the Hamiltonian $H$ starts at a strictly positive energy $\Delta > 0$ above the vacuum, even though the classical waves are massless — the quantum particles acquire mass even though the classical waves travel at the speed of light. A consequence of the mass gap is clustering: correlations of local observables decay exponentially with spatial separation. Numerical lattice simulations — discretizing the theory on a grid of spacing $a$ with group-valued link variables, following Wilson — strongly support both properties.

The mathematical problem is more basic than either property: no one has constructed four-dimensional quantum Yang–Mills theory as a mathematically well-defined object at all. 'Well-defined' means satisfying a standard axiomatic framework for quantum field theory: either the Wightman axioms (fields as operator-valued distributions acting on a Hilbert space with a unique Poincaré-invariant vacuum) or, equivalently in Euclidean signature, the Osterwalder–Schrader axioms for the Schwinger functions of a probability measure, which include reflection positivity (positivity under time reflection) enabling reconstruction of the physical Hilbert space. Any construction must introduce a regulator — a lattice discretization or a momentum cutoff — and then prove that the continuum limit $a \to 0$ and the infinite-volume limit exist and satisfy the axioms. This is where renormalization, the procedure that removes the divergences of perturbation theory, enters: for four-dimensional Yang–Mills theory, renormalization has never been made rigorous in the generality needed, and no nonperturbative substitute is known.

Constructive quantum field theory has fully succeeded for a variety of two-dimensional models and obtained substantial partial results in three spacetime dimensions (where the theory is super-renormalizable, i.e. only finitely many divergent subdiagrams occur), and rigorous lattice-level results now establish mass gaps at fixed lattice spacing in strong-coupling and large-$N$ ('t Hooft-scaling, i.e. coupling scaled proportionally to $N$ so that the large-$N$ limit stays nontrivial) regimes in any dimension. None of these constructs the four-dimensional continuum theory. For this reason, Arthur Jaffe and Edward Witten, in setting the problem as a Clay Millennium Prize Problem in 2000 (with a one-million-US-dollar prize), anticipated that progress 'will require the introduction of fundamental new ideas both in physics and in mathematics'; a January 2026 review by Michael Douglas in Nature Reviews Physics reaches the same assessment.

Problem Statement

Prove that for any compact simple gauge group $G$, a non-trivial quantum Yang–Mills theory exists on four-dimensional spacetime $\mathbb{R}^4$ and has a mass gap $\Delta > 0$.

This is the official formulation of the Clay Millennium Prize problem set by Jaffe and Witten, and it is stated here without restriction. Concretely, this requires, for every compact simple $G$ (for example $SU(N)$, $SO(N)$, or the exceptional groups):

1. Construct the theory as a mathematically well-defined quantum field theory, with axiomatic properties at least as strong as the Wightman axioms or, equivalently in Euclidean signature, the Osterwalder–Schrader axioms — for instance by introducing a regulator such as Wilson's lattice discretization and proving that the continuum limit $a \to 0$ and the infinite-volume limit exist and satisfy all the axioms, including reflection positivity and uniqueness of the vacuum;
2. Establish non-triviality of the resulting theory (it is not a free field and has non-vanishing interactions);
3. Prove the mass gap: the Hamiltonian $H$ has no spectrum in the interval $(0, \Delta)$ for some constant $\Delta > 0$, with the associated clustering property (exponential decay of correlations of local observables at large separation).

Both halves — existence of the four-dimensional continuum theory and positivity of the gap — are required, for all compact simple gauge groups, with no restriction on the group, dimension, or coupling regime.

References

1. Arthur Jaffe and Edward Witten, "Quantum Yang–Mills Theory", official Clay Millennium Prize problem description, Clay Mathematics Institute (2000), https://www.claymath.org/wp-content/uploads/2022/06/yangmills.pdf
2. Michael R. Douglas, "The Yang–Mills Millennium problem", Nature Reviews Physics 8 (published online 2026-01-12), doi:10.1038/s42254-025-00909-2, https://www.nature.com/articles/s42254-025-00909-2
3. D. C. Jacobsen, "A Constructive Proof of Existence and Mass Gap for Pure SU(3) Yang-Mills in Four-Dimensional Space-Time", arXiv:2506.00284 (2025; withdrawn by the arXiv administration for not meeting research content quality standards), https://arxiv.org/abs/2506.00284
4. V. P. Nair, "Towards a Proof of Mass Gap in 3d Yang-Mills Theory", arXiv:2608.10133 (2026), https://arxiv.org/abs/2608.10133
5. Hao Shen, Rongchan Zhu, Xiangchan Zhu, "A stochastic analysis approach to lattice Yang–Mills at strong coupling", Communications in Mathematical Physics 400, 805–851 (2023), doi:10.1007/s00220-022-04609-1, arXiv:2204.12737, https://arxiv.org/abs/2204.12737
6. Ron Nissim, "U(N) lattice Yang-Mills in the 't Hooft regime", arXiv:2510.22788 (2025), https://arxiv.org/abs/2510.22788
7. Simone Farinelli, "Four Dimensional Quantum Yang-Mills Theory for Weak Coupling Strength: Mass Gap Implies Quark Confinement", arXiv:2406.16881 (2024), https://arxiv.org/abs/2406.16881
8. Mir Faizal and Arshid Shabir, "Reflection-Positive Construction of a Four-Dimensional SU(N) Yang-Mills Theory with Mass Gap and Confinement", arXiv:2606.19362 (2026), https://arxiv.org/abs/2606.19362
9. Clay Mathematics Institute, "Yang-Mills & the Mass Gap" (Millennium Prize Problem page; status listed as Unsolved, accessed August 2026), https://www.claymath.org/millennium/yang-mills-the-maths-gap/