Rigorous Status, Construction, and Open Problems

A rigorous status label must name both the mathematical object and the complete conclusion proved about it. Finite-cutoff existence, continuum construction, Osterwalder–Schrader or Wightman reconstruction, a spectral theorem, exact scattering data, and a phenomenological interpretation are separate achievements. The correct upgrade path is the first missing implication: prove a uniform limit, construct the local theory, establish the observable theorem, perform the controlled computation, or move a time-sensitive assessment to Research.

Required background. Claim status across methods supplies the proposition-level labels, and correlated evidence and triangulation explains why many agreeing calculations cannot substitute for a missing theorem.

Helpful background. Constructive Borel summability and its boundaries distinguishes a proved summability statement for specified Schwinger functions from a construction of an entire QFT.

Shared references. The evidence-triangulation graph keeps unresolved proof edges visible, and the exact and rigorous status comparison gives the canonical model-by-model distinctions used here.

From regulated data to a quantum field theory

At a finite lattice, mode cutoff, spatial volume, or ultraviolet regulator, many QFT expressions reduce to ordinary integrals, bounded operators, or finite-dimensional probability measures. That is an important construction, but it is only the first step toward a continuum relativistic theory. A typical chain is:

$$\begin{gathered} \text{finite regulator and volume} \longrightarrow \text{uniform renormalized estimates} \longrightarrow \text{continuum and infinite-volume limits}\\ \longrightarrow \text{Euclidean axioms or Hilbert-space construction} \longrightarrow \text{local relativistic QFT} \longrightarrow \text{spectral, scattering, or phase theorem}. \end{gathered}$$

Each arrow needs its own hypotheses and topology of convergence.

1. Regulated existence: the measure, Hamiltonian, transfer matrix, or correlation functions are defined at fixed cutoff and volume.
2. Uniform control: stability, renormalization, reflection positivity when relevant, and estimates independent of the regulator prevent the limiting sequence from escaping.
3. Limit construction: selected correlation functions or operators converge as the ultraviolet cutoff is removed and the volume grows, with the order of limits stated.
4. Reconstruction: the limiting data satisfy conditions sufficient to produce a Hilbert space, vacuum, local fields or algebras, and Poincaré dynamics.
5. Nontriviality and model identification: the limit is interacting and has the claimed parameters, symmetries, and local observables.
6. Physical property: a mass gap, scattering completeness, confinement criterion, phase structure, or other named conclusion is proved.

Osterwalder and Schrader proved reconstruction results under explicit Euclidean axioms rather than from Euclidean notation alone Osterwalder and Schrader 1973, pp. 83–112; 1975, pp. 281–305. A sequence of accurate finite-lattice spectra can strongly support a physical limit while leaving steps 3–6 mathematically open.

The existence, construction, and continuum-claim framework owns the theorem-first distinctions. This page keeps their physical consequences and nonresults visible.

Exact does not name one status

The adjective exact can refer to several objects:

• an algebraic identity, such as a Ward identity or Yang–Baxter equation;
• a spectrum or S matrix in a fully specified model;
• a result at $N=\infty$, zero coupling, a supersymmetric locus, or another special limit;
• a finite-regulator duality or transfer-matrix relation;
• a closed formula for a quantity whose relation to the target observable is conditional; or
• an all-orders formal expansion without a proved sum.

For each use, complete the sentence: “exact with respect to ___, assuming ___, before taking ___.” If those blanks cannot be filled, the label is too broad.

An exact factorized S matrix, for example, may satisfy unitarity, crossing, and Yang–Baxter consistency. It does not automatically prove that a local QFT with precisely that particle content exists or that the bootstrap is complete. Conversely, operator-algebraic constructions show that sizable classes of factorizing S matrices do define local two-dimensional theories under additional modular-nuclearity hypotheses Lechner 2008, §§ 4–6, pp. 839–856. The constructive theorem upgrades the specific existence edge; it does not validate every bootstrap solution.

Four representative status boundaries

Constructed scalar models in low dimension

The $P(\phi)_2$ program and selected $\phi^4_3$ constructions control stable interacting scalar models in two and three spacetime dimensions. Their results include regulator removal, Schwinger functions, reconstruction, and substantial spectral or scattering information under model-specific hypotheses. Glimm and Jaffe give the constructive framework and the dimension-dependent estimates that make these limits possible Glimm and Jaffe 1987, chs. 8–19, pp. 249–456.

The justified statement is not “path integrals are rigorous” or “interacting QFT is constructed in general.” It is that named models, interactions, dimensions, and phases have been constructed with specified properties. The constructive program and cutoff removal develops the proof architecture, and the model–dimension–observable construction comparison identifies what each result actually supplies.

Factorizing two-dimensional models

In integrable relativistic QFT, algebraic scattering data can be exact while existence and locality remain conditional. For a class of regular factorizing S matrices, wedge-local fields and modular nuclearity lead to nontrivial local observables and Haag–Kastler theories; this is a genuine construction, not only an S-matrix consistency check Lechner 2008, §§ 2–6, pp. 825–856.

The boundary is equally important. Bound-state poles, more general S matrices, asymptotic completeness, local field content, and identification with a proposed Lagrangian require additional results. A theorem for one class must not be transferred to all solutions of the Yang–Baxter and bootstrap equations.

Compact U(1) lattice gauge theory in three dimensions

Göpfert and Mack proved nonzero string tension for three-dimensional compact U(1) lattice gauge theory with Villain action and controlled its weak-coupling continuum scaling Göpfert and Mack 1982, §§ 1–7, pp. 545–606. This is stronger than a semiclassical analogy: the regulator, action, Wilson-loop observable, coupling regime, and limiting statement are part of a theorem.

It is also narrower than the four-dimensional Yang–Mills problem. Changing the dimension, replacing U(1) by a compact simple non-Abelian group, changing the action without an equivalence theorem, or asking for a full axiomatic continuum construction changes the proposition. The result is a valuable controlled and rigorous laboratory, not a proof by mechanism transfer.

Four-dimensional Yang–Mills existence and gap

The official problem asks for a nontrivial quantum Yang–Mills theory on $\mathbb R^4$ for every compact simple gauge group and a positive spectral gap $\Delta>0$, with axiomatic properties at least as strong as those specified in the statement Jaffe and Witten 2000, pp. 129–152. A strong-coupling lattice expansion at fixed spacing, a perturbative ultraviolet construction, a semiclassical mass scale, or a continuum-extrapolated numerical spectrum establishes a different proposition.

The Clay Mathematics Institute’s current problem page still reports no proof; this status was checked on 9 August 2026. The stable scientific conclusion is therefore two-part: gauge-invariant spectra and other calculations provide substantial physical evidence for a mass scale, while the requested axiomatic construction and proof of a uniform infinite-volume gap remain open. Later status changes belong in a dated Research treatment.

Mass gap, clustering, and the direction of implication

Let $H$ have a unique vacuum $\Omega$ and suppose the physical spectrum above it is bounded below by $\Delta>0$. Under locality and the relevant spectral assumptions, connected correlations of suitable local observables decay exponentially at spacelike separation, with any rate strictly below $\Delta$ available asymptotically. This is a consequence of a gap, not a definition that bypasses construction.

The converse needs care. Exponential decay measured for one operator proves neither a gap in every physical channel nor uniqueness of the vacuum. A finite-volume transfer matrix always has discrete levels, so a positive box gap alone does not give a positive infinite-volume gap. Gauge-fixed two-point functions can violate positivity and do not directly define the physical Hilbert-space spectrum. The precise reconstruction and clustering implications belong to clustering, vacuum uniqueness, and mass-gap implications.

A useful theorem statement therefore specifies:

$$\Delta =\inf\bigl(\operatorname{spec}H\setminus\{0\}\bigr)>0$$

in the physical infinite-volume Hilbert space, together with the construction that makes $H$ and its spectrum meaningful. A fitted Euclidean correlation length can be evidence for this statement only after operator, positivity, continuum, and volume translations are controlled.

Assigning the next result to the right destination

The first missing step determines where work continues.

Missing step	Required result	Canonical continuation
The regulated object may be unstable or ill-defined	Stability, boundedness, and a well-defined measure or Hamiltonian	Interacting measures, stability, and Wick ordering
Cutoff or volume removal is only formal	Uniform estimates and convergence in a stated topology	The constructive program and cutoff removal
Euclidean limits exist but no relativistic theory has been reconstructed	Reflection positivity, regularity, covariance, clustering, and reconstruction	Euclidean growth, regularity, and temperedness
A framework exists but the physical gap claim is ambiguous	Physical Hilbert space, operator channel, spectral support, and infinite-volume theorem	Clustering and mass-gap implications
A bootstrap solution lacks a locality or completeness theorem	Local algebras or fields, nontrivial double-cone observables, and scattering completeness	Wightman-framework models and scope and the integrability chapter
A result depends on mutable computational evidence	Dated methods, data, uncertainties, and source revision	Nonperturbative Gauge Dynamics research guide

This assignment prevents two opposite errors: dismissing a controlled physical calculation because it is not a construction theorem, and claiming that physical success supplies a proof of existence. Each result should be judged by the question it actually answers.

Writing a scoped open-problem brief

A useful open-problem statement contains six elements.

1. Primitive objects: fields or algebras, spacetime, gauge group, state, and observables.
2. Existing construction: what is defined at finite cutoff or in a special dimension, and which limits are controlled.
3. Desired conclusion: an inequality, spectrum, correlation property, local algebra, scattering statement, or continuum measure.
4. Known evidence: analytic regimes, exact special cases, regulated computations, and experiments, each with its own status.
5. Missing implication: the precise uniform estimate, reconstruction step, positivity property, or completeness theorem absent.
6. Nonresults: nearby statements that do not solve the problem, such as a finite-volume gap or a gauge-fixed propagator scale.

This format makes progress visible without weakening the endpoint. A new bound can close one edge even when the full problem remains open.

Common pitfalls

Calling finite-cutoff existence a continuum construction. The regulator may be essential to stability or locality. Uniform estimates and the topology of convergence are part of the theorem.

Transferring a low-dimensional theorem by analogy. Dimension controls ultraviolet divergences, infrared behavior, topology, and constructive estimates. Similar mechanisms do not preserve hypotheses automatically.

Treating exact scattering data as complete QFT data. Locality, nontrivial local observables, operator content, and asymptotic completeness require separate construction or proof.

Exercises

Classify the statement “a finite periodic lattice Hamiltonian has a lowest positive excitation energy” and explain what is missing from a continuum mass-gap theorem.

Solution

At fixed lattice spacing and finite volume, it is a spectral statement about a regulated Hamiltonian; for a finite-dimensional Hilbert space it may follow directly from diagonalization. A continuum theorem additionally needs a regulator-removal construction, identification of the physical Hilbert space and Hamiltonian, an infinite-volume limit, and a positive lower bound uniform along those limits. The finite-volume level can tend to zero.

An S matrix satisfies unitarity, crossing, and Yang–Baxter consistency. State one justified label and two missing results before calling it a complete local QFT.

Solution

It is an exact solution of the declared algebraic scattering constraints, including the stated particle content and CDD convention. Missing results can include construction of nontrivial local observables or algebras realizing that S matrix and proof of completeness of the particle spectrum and scattering states. Pole interpretation and identification with a proposed Lagrangian may add further obligations.

References

• Glimm, James, and Arthur Jaffe. Quantum Physics: A Functional Integral Point of View. 2nd ed. New York: Springer, 1987. DOI.
• Göpfert, Markus, and Gerhard Mack. “Proof of Confinement of Static Quarks in Three-Dimensional U(1) Lattice Gauge Theory for All Values of the Coupling Constant.” Communications in Mathematical Physics 82, no. 4 (1982): 545–606. DOI.
• Jaffe, Arthur, and Edward Witten. “Quantum Yang–Mills Theory.” In The Millennium Prize Problems, 129–152. Providence, RI: American Mathematical Society and Clay Mathematics Institute, 2006. Official PDF. Current official status.
• Lechner, Gandalf. “Construction of Quantum Field Theories with Factorizing S-Matrices.” Communications in Mathematical Physics 277, no. 3 (2008): 821–860. DOI. Open preprint.
• Osterwalder, Konrad, and Robert Schrader. “Axioms for Euclidean Green’s Functions II.” Communications in Mathematical Physics 42, no. 3 (1975): 281–305. DOI. Open PDF.