The Yang-Mills existence and mass gap problem sits at the boundary of mathematics and physics. Physicists compute with Yang-Mills theories routinely — the Standard Model of particle physics is built from them — and extract predictions that match experiment to extraordinary precision. But rigorously constructing such a theory, and proving it has a mass gap, is an open problem that has resisted decades of effort.
Yang-Mills theory
In 1954, the physicists Chen Ning Yang and Robert Mills introduced a generalization of Maxwell’s electromagnetism to non-abelian gauge groups. The resulting Yang-Mills equations describe how force-carrying particles interact — they are the mathematical backbone of the Standard Model.
The simplest case (with gauge group ) gives Maxwell’s equations for electromagnetism. With gauge group , it describes the strong nuclear force (QCD). With , it describes the electroweak force.
The mathematical problem
The Clay Millennium problem asks:
- Rigorously construct a quantum Yang-Mills theory on four-dimensional Minkowski space (or Euclidean space, then Wick-rotated).
- Prove this theory has a mass gap : an energy gap between the vacuum state and the first excited state.
This is hard because quantum field theories in four dimensions are mathematically delicate. Perturbation theory — the physicists’ standard tool — produces divergent series that need renormalization, and it is not obvious how to do this rigorously. Constructive quantum field theory has succeeded in lower dimensions but not in four.
Why it matters
The strong nuclear force, described by QCD (quantum chromodynamics), is a Yang-Mills theory with gauge group. Experimentally we know the strong force has a mass gap: the lightest bound state of quarks is the pion, which has non-zero mass. Confinement — the fact that quarks cannot be isolated — is a consequence.
Proving all of this mathematically, starting from the Yang-Mills equations, would put the Standard Model of particle physics on secure mathematical foundations for the first time.
What is known
- Yang-Mills theories have been constructed rigorously in two and three dimensions.
- In four dimensions, lattice gauge theory (computer simulation) provides strong evidence for the mass gap.
- A full continuum construction with provable mass gap in four dimensions is still missing.
A bridge problem
Yang-Mills sits uniquely in the Millennium list: it is as much a problem of mathematical physics as of pure mathematics. A solution would require new tools at the interface of partial differential equations, functional analysis, probability, and representation theory. Our sister site world-of-physics.com covers the physical side in detail.
The Yang-Mills problem is one of the seven Millennium Prize Problems with a one-million-dollar reward.
Frequently asked
Is this really a math problem?
Yes, a mathematical physics problem. Physicists use Yang-Mills theory to describe the strong nuclear force and have extracted enormously accurate predictions from it. But mathematically, constructing the theory rigorously and proving it has a 'mass gap' (a gap between zero and the next energy level) remains open.
What is a mass gap?
A positive lower bound on the energy of the first excited state above the vacuum. Experimentally, the strong nuclear force has a mass gap — the lightest particle, the pion, has non-zero mass. Proving this from first principles, within a rigorous Yang-Mills theory, is the challenge.