Four-dimensional quantum Yang–Mills existence and mass gap: rigorous construction beyond small coupling and partial gauge fixing

The Clay Millennium 'Yang–Mills existence and mass gap' problem asks for a proof that, for any compact simple gauge group $G$ , a nontrivial quantum Yang–Mills theory exists on $\mathbb{R}^4$ and has a mass gap $\Delta>0$ , with axiomatic properties at least as strong as Wightman's axioms. Despite partial constructive results (Balaban's renormalization-group bounds; Magnen–Rivasseau–Sénéor's Schwinger functions with infrared cutoff; rigorous constructions in two and three spacetime dimensions), no verified construction in four dimensions exists. A single-author preprint (Farinelli, arXiv:1406.4177, seventeen versions 2014–2024) claims to construct, in Coulomb gauge, a four-dimensional quantum Yang–Mills theory satisfying the Wightman axioms (the standard axioms of relativistic quantum field theory) with a positive spectral gap, but all of its principal theorems are proved only for coupling $g$ in a small interval $[0,g_0[$ , invariance is established only for gauge transformations preserving the Coulomb gauge, key analytic hypotheses are assumed rather than verified, and the work is unpublished. The open problem is therefore the full existence-and-mass-gap statement; independent verification or refutation of the claimed small-coupling construction and its extension to arbitrary coupling and full gauge invariance enter only as a derived, conditional route, not as a separate required deliverable.

Background

Yang–Mills theory is the non-Abelian generalization of electromagnetism: the field is a connection $A$ on a principal bundle over Minkowski space-time $\mathbb{R}^{1,3}$ taking values in the Lie algebra of a compact gauge group $G$ (for example $SU(3)$ in quantum chromodynamics, the theory of the strong interaction), and its dynamics come from the Yang–Mills action built from the curvature $F=dA+g\,A\wedge A$ , where $g>0$ is the coupling constant weighting the nonlinear self-interaction. Quantizing a field theory means promoting the fields to operator-valued distributions acting on a Hilbert space; constructive quantum field theory pursues this with full mathematical rigor. The Wightman axioms are the standard defining axioms of a relativistic quantum field theory (a Hilbert space carrying a positive-energy unitary representation of the Poincaré group, a unique translation-invariant vacuum, field operators with the correct covariance, locality — spacelike-separated fields commute — and cyclicity of the vacuum). The equivalent Osterwalder–Schrader (OS) axioms characterize the Euclidean correlation (Schwinger) functions from which the physical, Minkowski-space fields are reconstructed by analytic continuation. A mass gap means that the spectrum of the Hamiltonian $H$ (the energy operator) satisfies $\mathrm{spec}(H)\subset\{0\}\cup[\Delta,\infty)$ for some $\Delta>0$ , with $0$ a simple eigenvalue belonging to the vacuum; physically, the force carriers of an initially massless theory acquire positive mass, making the force strong but short-ranged. A gauge theory is invariant under local gauge transformations; to quantize it one fixes a gauge, i.e. imposes a condition selecting one representative per gauge orbit, such as the Coulomb gauge $\partial^i A_i=0$ . The Gribov ambiguity is the fact that a gauge condition generally fails to select a unique representative globally (distinct gauge-equivalent configurations, called Gribov copies, can satisfy the same condition), which is a fundamental obstruction to quantizing in any fixed gauge. Asymptotic freedom is the property, special to non-Abelian gauge theories, that the effective coupling decreases at high energy scales; a running coupling $g(\mu)$ is the coupling viewed at energy scale $\mu$ . Regularity structures are a framework introduced by Hairer for solving singular stochastic partial differential equations, which has become the main modern tool for constructing interacting Euclidean quantum field theories in low dimensions. The problem was posed in 2000 by the Clay Mathematics Institute as a Millennium Prize Problem (Jaffe–Witten): prove that for any compact simple gauge group $G$ a nontrivial quantum Yang–Mills theory exists on $\mathbb{R}^4$ and has a mass gap, where existence includes establishing axiomatic properties at least as strong as those of Wightman (the OS axioms being the accepted Euclidean route). Rigorous constructive results exist below four dimensions: the Yang–Mills measure in two dimensions is mathematically understood (Chandra–Chevyrev–Hairer–Shen constructed its Langevin dynamics in 2022), and Chandra–Chevyrev–Hairer–Shen achieved the stochastic quantization of three-dimensional Yang–Mills–Higgs theory via regularity structures (published in Inventiones mathematicae in 2024). In four dimensions the theory is exactly renormalizable (renormalization requires fixing coupling-dependent parameters at every energy scale) rather than superrenormalizable (only finitely many divergent contributions, controllable by finitely many fixed adjustments), and the strongest rigorous results remain Balaban's 1980s program, which showed via block-spin renormalization (a real-space renormalization-group scheme that progressively integrates out the short-distance degrees of freedom of a lattice theory) that effective lattice actions stay bounded but did not construct the continuum theory, and the construction by Magnen–Rivasseau–Sénéor (1993) of Schwinger functions for four-dimensional $SU(2)$ Yang–Mills with a fixed infrared cutoff in a regularized axial gauge, without any analysis of the Hamiltonian's spectrum. A single-author preprint by Simone Farinelli (arXiv:1406.4177, first posted 2014 with the title 'Four Dimensional Quantum Yang-Mills Theory and Mass Gap', revised through v17 in 2024, classified math.GM) works in Coulomb gauge, builds a Fock-space representation (the Hilbert space of states of variable particle number) over a space of Hida distributions (generalized functionals of Gaussian white noise on the configuration space of tempered distributions), constructs probability measures with ultraviolet and infrared cutoffs (i.e. regularizations removing arbitrarily high and low momenta), removes the cutoffs, claims the OS and hence Wightman axioms, and proves that the resulting — explicitly non-local — Hamiltonian $H^g=H_I+H^g_{II}+V^g-V^g_0$ has spectrum $\{0\}\cup[\eta,\infty)$ with $\eta=O(g^{2(n+1)})$ for every $n$ . Every principal theorem (Theorems 4.13, 4.14, 4.26; Corollaries 4.19, 4.20) assumes the coupling lies in a small interval $g\in[0,g_0[$ with $g_0\in[0,1[$ ; gauge invariance is proved only for transformations preserving the Coulomb gauge (Theorem 4.22), with Gribov-type global gauge-fixing ambiguities not addressed; the spectral lower bound for $H^g_{II}$ rests on integrability hypotheses (uniform finiteness, in the field $\mathbf{A}$ , of integrals of inverses of certain coefficient functions — conditions (116) and (133) in the paper) and on the existence of a global diffeomorphism $B$ , all stated as assumptions and not verified for all admissible fields; and the ultraviolet limit is obtained through tightness and subsequential weak convergence (via Prokhorov's compactness criterion and Fernique's integrability theorem, standard tools of probability theory), with uniqueness and mollifier-independence of the limit asserted but not separately established. Crucially, the construction is pure gauge (no dynamical matter), and the preprint is unpublished: it has no peer-reviewed record and its claims have never been independently verified or refuted — if correct, they would already essentially settle the Millennium statement at small positive coupling.

Problem Statement

Primary (authoritative) formulation — the Clay Millennium 'Yang–Mills existence and mass gap' problem, as stated by Jaffe and Witten: prove that for any compact simple gauge group $G$ , a non-trivial quantum Yang–Mills theory exists on $\mathbb{R}^4$ and has a mass gap $\Delta>0$ , where existence includes establishing axiomatic properties at least as strong as the Wightman axioms (equivalently, the Osterwalder–Schrader axioms for the Euclidean Schwinger functions). A complete answer must exhibit the theory — its Hilbert space, field operators and vacuum, or the Euclidean measures and their Schwinger functions — verify the axioms, prove non-triviality, and prove that the spectrum of the Hamiltonian satisfies $\mathrm{spec}(H)\subset\{0\}\cup[\Delta,\infty)$ with the vacuum an isolated simple eigenvalue at $0$ . The cited preprint (arXiv:1406.4177) claims such a construction only at small coupling $g\in[0,g_0[$ , with gauge invariance restricted to Coulomb-gauge-preserving transformations, with unverified analytic hypotheses behind its spectral bounds, and without an established uniqueness of the ultraviolet limit; that preprint is unrefereed and unverified, so any route to the primary formulation through it is conditional on prior independent verification of the base construction. Verification of the preprint itself is not a required component of an answer to the primary formulation; the overarching objective remains a fully verified, fully gauge-invariant, coupling-unrestricted rigorous construction of four-dimensional quantum Yang–Mills theory with a positive mass gap.

References

Simone Farinelli, 'Renormalized Four Dimensional Quantum Yang-Mills Theory and Mass Gap' (v17, 2024; v1, 2014, titled 'Four Dimensional Quantum Yang-Mills Theory and Mass Gap'), arXiv:1406.4177, DOI 10.48550/arXiv.1406.4177, https://arxiv.org/abs/1406.4177
Arthur Jaffe and Edward Witten, 'Quantum Yang-Mills Theory', official Millennium Prize Problem description, Clay Mathematics Institute (first published 2000), https://www.claymath.org/wp-content/uploads/2022/06/yangmills.pdf
Ajay Chandra, Ilya Chevyrev, Martin Hairer, Hao Shen, 'Stochastic quantisation of Yang–Mills–Higgs in 3D', Inventiones mathematicae 237 (2024) 541–696, DOI 10.1007/s00222-024-01264-2, arXiv:2201.03487, https://arxiv.org/abs/2201.03487
Ajay Chandra, Ilya Chevyrev, Martin Hairer, Hao Shen, 'Langevin dynamic for the 2D Yang–Mills measure', Publications Mathématiques de l'IHÉS 136 (2022) 1–147, DOI 10.1007/s00240-022-00132-0, arXiv:2006.04987, https://arxiv.org/abs/2006.04987
Jacques Magnen, Vincent Rivasseau, Roland Sénéor, 'Construction of YM4 with an infrared cutoff', Communications in Mathematical Physics 155 (1993) 325–383, DOI 10.1007/BF02097397, https://doi.org/10.1007/BF02097397
Adrian P. C. Lim, 'Abstract Wiener measure using abelian Yang-Mills action on R^4' (2017), arXiv:1701.01529, DOI 10.48550/arXiv.1701.01529, https://arxiv.org/abs/1701.01529