The Four-Dimensional Yang–Mills Mass Gap

Pure four-dimensional Yang–Mills theory has overwhelming numerical evidence for a positive glueball gap, yet the theorem demanded by the continuum problem remains absent. A lattice spectrum with a controlled continuum extrapolation is strong evidence about the intended theory; it is not, by itself, a construction of an interacting Wightman or Osterwalder–Schrader theory on $\mathbb R^4$ with a proved uniform spectral gap.

Evidence cutoff. 11 August 2026.

Required background. The non-Abelian mass gap as a spectral statement fixes what “gap” means; Yang–Mills existence and the mass gap states the theorem-level obligation. Helpful background. Gauge ensembles and renormalized observables supplies numerical evidence practice, bare parameters and continuum targets supplies continuum-limit logic, and gauge fields and observable content distinguishes gauge-fixed fields from physical states.

The continuum spectral-gap problem

Normative question. What is established numerically, analytically, and rigorously about the continuum mass gap in pure four-dimensional Yang–Mills theory?

The strict scope is a compact simple gauge group, no dynamical matter, infinite volume, and the continuum theory on four-dimensional flat spacetime. The gap is a positive lower bound $\Delta$ on the spectrum of the Hamiltonian above the vacuum in the physical Hilbert space, as specified in Jaffe and Witten 2006, official problem description. This is not the same as a gauge-dependent gluon “mass,” a finite-volume level spacing, an area law at fixed lattice spacing, or the lightest glueball mass expressed in GeV using QCD phenomenology.

Three different levels of evidence

Level	What is established	What is not established
Numerical lattice gauge theory	Stable low-lying glueball spectra, scaling toward the continuum, finite-volume checks, and consistent results across actions	A deductive proof of continuum existence, universality, and a gap uniform in lattice spacing and volume
Analytic physics	Asymptotic freedom; confinement and gap mechanisms in deformed, supersymmetric, large-N, strong-coupling, or lower-dimensional regimes	A controlled continuation of those regimes to ordinary pure Yang–Mills on $\mathbb R^4$
Rigorous mathematics	Well-defined finite lattices, reflection positivity for standard actions, strong-coupling gaps/area laws, and constructive results in lower dimensions	The full four-dimensional continuum construction with the required axioms and $\Delta>0$

Morningstar and Peardon extracted an anisotropic-lattice SU(3) glueball spectrum while studying discretization, volume, multiparticle, and torelon contamination (Morningstar and Peardon 1999). Athenodorou and Teper later obtained a continuum-extrapolated low-lying SU(3) spectrum with explicit spin identification and topology checks (Athenodorou and Teper 2020). These and related calculations make a gap in the target physical theory highly credible. Their uncertainty budgets remain statistical and systematic numerical statements, not uniform mathematical bounds on the continuum measure.

Strong-coupling cluster expansions can prove exponential decay and an area law on a lattice, but the continuum limit lies at weak bare coupling. Semiclassical confinement on a small circle can be analytically controlled when center symmetry and adiabatic continuity hold; continuity back to $\mathbb R^4$ is a further physical assumption. Supersymmetric exact results and large-N expansions illuminate mechanisms but do not prove the nonsupersymmetric finite-N theorem.

Current status of proof claims

The Clay Mathematics Institute still lists the problem as unsolved and states that no proof is known (Clay Mathematics Institute, accessed 11 August 2026). Recent arXiv manuscripts have claimed constructive solutions, including a 2025 SU(3) proposal (Jacobsen 2025). At this cutoff, such manuscripts have not displaced the official status or acquired the independent, line-by-line mathematical validation needed for a claim of resolution. A preprint’s abstract is evidence that a claim was made, not evidence that every continuum, universality, reflection-positivity, and spectral step is correct.

Assessment. The physical mass gap is strongly supported numerically for pure SU(3) and related groups. The analytic mechanism in ordinary four-dimensional Yang–Mills remains unsettled, and the theorem-level existence-and-gap problem is open. These labels are compatible because they answer different questions.

What would resolve the theorem-level question?

A resolution must construct a nontrivial quantum Yang–Mills theory on $\mathbb R^4$ for every compact simple group in the stated class, establish axioms at least as strong as the official problem requires, and prove $\operatorname{spec}(H)\cap(0,\Delta)=\varnothing$ with $\Delta>0$. A lattice route must control infinite-volume and continuum limits uniformly, prove universality and positivity, and show that the limiting gap does not collapse. Independent expert verification must close every cited lemma; agreement with glueball numerics is an important check but cannot replace the proof.

Related routes are nonperturbative gauge dynamics, lattice and Hamiltonian field theory, Euclidean lattice inference, and confinement with dynamical matter.

Evidence cutoff and source selection

The finite set prioritizes the official theorem statement, representative continuum-extrapolated spectra, and proof claims material to current status. Targeted Clay, arXiv, journal, and citation-chain searches covered public evidence through 11 August 2026. Strong-coupling, semiclassical, and holographic model studies were used only to delimit analytic reach.

References

• Athenodorou, Andreas, and Michael Teper. “The Glueball Spectrum of SU(3) Gauge Theory in 3+1 Dimensions.” Journal of High Energy Physics 2020, no. 11 (2020): 172. arXiv.
• Clay Mathematics Institute. “Yang–Mills & the Mass Gap.” Official Millennium Problem page, accessed 11 August 2026. Official page.
• Jacobsen, D. C. “A Constructive Proof of Existence and Mass Gap for Pure SU(3) Yang–Mills in Four-Dimensional Space-Time.” arXiv:2506.00284 (2025), preprint. arXiv.
• Jaffe, Arthur, and Edward Witten. “Quantum Yang–Mills Theory.” In The Millennium Prize Problems. Clay Mathematics Institute and American Mathematical Society, 2006. Official PDF.
• Morningstar, Colin J., and Mike Peardon. “The Glueball Spectrum from an Anisotropic Lattice Study.” Physical Review D 60 (1999): 034509. arXiv.