Discreteness can make a regulated model calculable, but a field-theoretic mass gap must survive increasing volume and removing the regulator. The temporal programme becomes concrete when one source update yields gauge transport, a physical vacuum, positive dynamics and a uniform spectral bound.
The precise field-theory question
A gauge connection compares internal states at different locations. For a non-Abelian group, the order of these comparisons matters, and their curvature gives an interacting field. The Jaffe–Witten problem statement asks for a nontrivial quantum Yang–Mills theory on four-dimensional spacetime, for each compact simple gauge group, satisfying suitable axioms and possessing a positive mass gap. The Clay Mathematics Institute continues to list this problem as unsolved.
Writing the vacuum energy as zero, an energy gap Δ means that the physical Hamiltonian has no spectrum between 0 and Δ. It concerns every allowed excitation in the vacuum representation, not just a selected charged particle, one Fourier harmonic, or the first eigenvalue of a finite matrix. The associated mass scale is Δ/c² when Δ is measured as energy.
What sequential formation contributes
The original article proposes that a single massless source contribution cannot by itself form a persistent massive particle. A completed particle needs at least two coupled temporal contributions, with an unavoidable coordination delay. Their repeated inner formation produces a nonzero outward rest energy. The article also presents discrete velocity averaging as an intuitive link between a unique fundamental propagation speed and slower composite motion.
The productive core is a dynamical vacuum whose permitted excitations have different formation costs. A dimensionless velocity fraction alone cannot determine that energy cost: the source law must specify both a Hamiltonian scale and the physical clock used to measure it. Those structures should arise together, rather than importing the desired gap after a counting argument.
The six nested inner stages can organize this construction as dependent operations on retained source data, with the seventh outward completion defining accessible gauge-invariant records. A staged update becomes explanatory when those operations are fixed by one dynamical law and preserve its physical constraint space.
Building a regulated source model
A workable starting point assigns a group-valued transport variable to every completed link and a gauge generator to every vertex. Local transformations act on incoming and outgoing links, and physical states obey a Gauss constraint that includes any matter charges. The source update must commute with those constraints or map their solution space into itself.
The retained memory then carries both geometric adjacency and gauge transport. A complete inner cycle generates a physical evolution map or transfer operator. If Euclidean correlation functions are used, positivity is essential for reconstructing a Hilbert space with nonnegative norm; the Osterwalder–Schrader reconstruction programme makes that relationship precise under its axioms.
This provides a meaningful role for temporal completion. It can specify which records are gauge invariant and how their correlations are inherited from the reversible source dynamics. The required dynamics still includes interactions: replacing the field by independent oscillators or an arbitrary positive matrix would not establish an interacting Yang–Mills limit.
Why a positive finite gap is only a first step
A simple calculation shows the issue. Consider a periodic chain of N sites with a nearest-neighbor Laplacian Hamiltonian of energy scale J. Its constant mode is the ground state and its first nonzero excitation has energy
Every finite chain has a positive gap, yet the gap approaches zero as the number of sites grows. The model is discrete throughout. Thus discrete steps and finite minimum couplings do not, by themselves, prohibit collective modes with arbitrarily low energy.
The same issue appears with a compact inner cycle. Its nonzero harmonics are separated, but the constant harmonic remains unless the physical dynamics or a justified constraint excludes it. Gauss law removes gauge redundancy; it does not automatically delete every zero Fourier mode. A DTT theorem should identify the actual gauge-invariant low-energy sector and prove the bound there.
Measure the gap through completed correlations
For a gauge-invariant operator O with its vacuum expectation subtracted, a regulated theory with a positive Hamiltonian has the Euclidean correlation expansion
The slowest decay seen by O identifies the lowest state to which that operator couples. Different operators are needed to probe different quantum numbers. An observed charged threshold does not rule out a lighter neutral excitation, and a source completion rule should not silently discard such states.
This supplies a practical mathematical diagnostic. Compute correlation functions at several volumes and lattice spacings, extract dimensionless ratios of spectral scales, and investigate whether a nonzero bound persists along a controlled renormalization trajectory. Numerical evidence can identify promising dynamics and false candidates; a rigorous continuum result additionally needs estimates uniform in the limiting parameters.
A focused theorem worth pursuing
The next theorem should specify a family of autonomous source models, their gauge-invariant state spaces, and a common physical normalization. It should prove a lower spectral bound that is stable under enlarging the region, while controlling the correlations needed for a nontrivial continuum theory. Lorentz or Euclidean covariance in the limit must be established from those correlations, since a preferred update order need not disappear automatically.
This is a constructive target for the SMM/DTT idea of a physical, continually generated vacuum. Intermediate successes remain valuable: exact Gauss-law preservation, a solvable confining sector, a volume-uniform bound in a restricted regime, or an explicit obstruction from a gapless collective mode. Each result narrows the source dynamics and connects the minimum-formation intuition to the actual Yang–Mills question.
Books, papers and further reading
- Duality of Time — Chapter III and Chapter V
Original minimum-coupling interpretation and the temporal postulate.
- A. Jaffe and E. Witten, Quantum Yang–Mills theory — official problem description
Primary mathematical statement of existence and the mass-gap requirements.
- Clay Mathematics Institute, Yang–Mills and the Mass Gap
Official status page, checked in October 2026; the problem remains listed as unsolved.
- K. Osterwalder and R. Schrader, Axioms for Euclidean Green’s functions (1973)
Published in Communications in Mathematical Physics 31, 83–112; positivity and reconstruction from Euclidean correlations.