Source Authority, Dated Status, and Specialist Review

An exact theorem statement must be taken from the theorem and its current corrections, not reconstructed from a review abstract. Frontier claims add a second requirement: the source version and search date must be visible, because a later revision, erratum, or stronger theorem may change the boundary. The 2026 scaling-limit theorem for three-dimensional SU(2) Yang–Mills–Higgs theory shows how to record a major result without turning it into a solution of four-dimensional pure Yang–Mills.

Required background. Theorem-First Claim Records supplies the statement grammar, and Counterexamples, Nonconverses, and Hypothesis Stress Tests supplies the failure tests. Helpful background. Claim Status, Freshness, and Research Handoffs treats evolving claims; Numerical Replica and Thermodynamic-Integration Estimators, Modular Analyticity and Chaos Bounds, Detector and Instrument Validation, and Energy–Information Bounds: Assumptions and Status give other evidence types. Particle Creation in Time-Dependent Backgrounds, Adiabaticity, Stokes Phenomena, and Production Rates, and Parametric-Oscillator and Solvable Production Benchmarks illustrate analytic and numerical cross-checks. Replica Constructions on Fixed and Semiclassical Backgrounds, Observable-Specific Validity and Error Contracts, Semiclassical Breakdown Diagnostics, Curvature, Coupling, Loop, Derivative, and Secular Hierarchies, and Large-N, Species, and Cutoff Hierarchies help delimit extrapolations.

Source authority depends on the claim

No single ranking works for every sentence. The source must be able to support the particular claim being made.

Claim	Minimum direct source	Additional check
Exact theorem	current primary statement, definitions, and proof location	compare journal and latest lawful preprint; inspect corrections
Negative or no-go theorem	primary hypotheses and exact negated conclusion	search later counterexamples, repaired proofs, and weakened variants
Priority	dated primary publications or preprints	distinguish first announcement, proof, and journal publication
“Open as of date”	current specialist survey plus searches of primary literature	name the precise open problem and search date
Numerical value	methods, code/data when available, errors, convergence tests	reproduce or compare an independent computation
Machine-checked result	theorem identifier and pinned formal environment	inspect definitions, transitive axioms, and the physical correspondence
Broad interpretation	a synthesis or review may orient the reader	map every theorem-strength clause back to primary evidence

An abstract is evidence that authors make a claim; it is rarely enough to recover all hypotheses. A review is valuable for context and contrary literature, but its compressed paraphrase does not supersede the theorem. A journal DOI identifies the published record, while a preprint version history can reveal later repairs or clarifications. If these disagree, the disagreement must be resolved before a stronger statement is repeated.

Retraction or correction status also belongs to the cited object, not merely its title. Check the publisher’s article page, DOI metadata or Crossmark when present, the preprint history, author notices, and subsequent papers that identify an error. Absence of a correction in one index is not proof that none exists.

A dated evidence packet

A durable theorem summary should answer the following questions in ordinary scientific language.

1. Which version? Give authors, title, journal or preprint identifier, version/date, theorem number, and printed or manuscript locator.
2. Which objects? State dimension, background, fields, gauge group, representation, boundary conditions, observables, and test-function spaces.
3. Which quantifiers and limits? Record parameter dependence, order of limits, topology or mode of convergence, subsequences, and uniformities.
4. Which conclusion? Use the exact existence, convergence, equivalence, or bound proved.
5. Which exclusions? State nearby conclusions that the theorem explicitly does not establish.
6. Which repairs or contrary sources? Link errata, withdrawals, critical responses, later variants, and unresolved disagreements.
7. Which expertise checked it? The required competencies follow the proof: for example probability limits, lattice gauge theory, functional analysis, or formal verification. A general physics review cannot replace specialist scrutiny of a delicate probability estimate.
8. When should it be revisited? A new preprint version, correction, journal publication, theorem claiming a broader group or regime, or a direct counterexample is a reason to recheck the summary.

This record is not a vote count. One correct proof with fully met hypotheses outweighs many secondary repetitions; one valid counterexample defeats a universal assertion regardless of popularity.

First application: the three-dimensional SU(2) Yang–Mills–Higgs limit

The record below was checked on 10 August 2026 against Chatterjee’s arXiv v4, revised 11 April 2026, and its journal citation in Probability and Mathematical Physics 7 (2026), 339–381. The arXiv page records versions v1–v4 and the journal DOI; v4 is the version used here.

Object and finite-volume origin

Set $d=3$. On the periodic lattice $\Lambda_L=\{-L,\ldots,L\}^3$, assign $SU(2)$ matrices to oriented edges and a Higgs field in the fundamental representation to vertices. The Higgs potential is degenerate: it constrains the Higgs value to the unit sphere in $\mathbb C^2$. Infinite-volume Gibbs measures are weak limits as $L\to\infty$ of these periodic finite-volume measures. The result applies to any infinite-volume measure obtained in that way Chatterjee 2026, arXiv v4, §§ 1.1–1.4 and 3.1–3.2, manuscript pp. 2–5 and 10–12.

Unitary gauge fixing sends the Higgs field to a fixed vector and leaves a gauge field $V_e\in SU(2)$. Identify $SU(2)$ with $S^3$, apply the stated stereographic projection $\sigma_3$, and define the three-component edge field

$$A_e=\frac{\sqrt2}{g}\,\sigma_3(\tau(V_e)).$$

Extending each edge component over Voronoi cells gives a triple $Y=(Y^1,Y^2,Y^3)$ of random one-forms. This particular gauge-fixed, stereographically projected field is the observable in the convergence theorem; the theorem is not a statement about every Wilson loop or every gauge-invariant composite.

Quantifiers, scaling, and convergence

Let $c>0$. As the lattice spacing $\varepsilon\downarrow0$, take

$$\alpha\to\infty, \qquad g\to0, \qquad \alpha g=c\varepsilon, \qquad g=O(\varepsilon^{150}),$$

where $150=50d$ for $d=3$, and define

$$Z(x)=\varepsilon^{-1/2}Y(\varepsilon^{-1}x).$$

For every real Schwartz one-form $f$ on $\mathbb R^3$, $Z(f)$ converges in law; by linearity this implies joint convergence for every finite family of test one-forms. The limit is a triple of independent Euclidean Proca fields with parameter $\lambda=c^2/2$ Chatterjee 2026, arXiv v4, Definition 2.3 and Theorem 3.2, manuscript pp. 6–8 and 12. In the paper’s convention the Proca correlation mass is $\sqrt\lambda=c/\sqrt2$ Chatterjee 2026, arXiv v4, Lemma 2.6, manuscript pp. 9–10.

This is convergence of random distributional one-forms tested against Schwartz one-forms. It is not asserted as convergence in a stronger pathwise norm, convergence of an entire interacting observable algebra, or Osterwalder–Schrader reconstruction of a Lorentzian theory.

Why the limit is Gaussian and massive

After gauge fixing, the Higgs–gauge interaction produces a quadratic mass term for the edge field. A volume-uniform estimate keeps $V_e$ close to the identity on growing regions. Expanding the lattice density then gives a discrete Proca quadratic form plus lower-order non-Abelian terms. The condition that $g$ tends to zero extremely quickly suppresses those terms, and the three Lie-algebra components decouple. The discrete Proca field converges to its continuum Gaussian counterpart Chatterjee 2026, arXiv v4, § 3.4 and § 5.5, manuscript pp. 14–16 and 40–45.

The proof mechanism itself marks the boundary: this scaling regime “abelianizes” the limit. It does not construct a non-Gaussian interacting continuum theory.

What the theorem does not say

• It includes a fundamental Higgs field with a degenerate potential; it is not pure Yang–Mills.
• It sends the gauge coupling to zero with $g=O(\varepsilon^{150})$ in three dimensions; it does not control fixed coupling or all approaches to a critical surface.
• The paper explicitly notes that mass generation occurs after the scaling limit and that Theorem 3.2 says nothing about exponential correlation decay at finite lattice spacing Chatterjee 2026, arXiv v4, immediately after Theorem 3.2, manuscript p. 12.
• The Gaussian Proca limit has three independent components; surviving non-Abelian interaction is not part of the conclusion.
• The result does not establish four-dimensional pure Yang–Mills existence or its mass gap, the problem formulated by Jaffe and Witten Jaffe and Witten 2000, official problem description, pp. 1–9.

The appropriate forward link is therefore The Wilson Gauge Action and Continuum Limit, with the proved Yang–Mills–Higgs scaling regime kept distinct from the pure-gauge target.

Subsequent related evidence

Rajasekaran, Yakir, and Zhou subsequently announced massive Gaussian limits for compact connected matrix Lie groups in a complete-symmetry-breaking Higgs regime, explicitly describing their result as complementary to the SU(2) theorem Rajasekaran, Yakir, and Zhou 2026, abstract and main-result overview, manuscript pp. 1–4. This broadens the Gaussian Higgs-side evidence. It does not remove the Higgs field, weaken every scaling assumption, or produce the non-Gaussian pure Yang–Mills limit.

Specialist review follows the proof’s weak points

For this application, a serious review needs at least three perspectives.

Probability and scaling limits. Check existence and selection of infinite-volume Gibbs measures, uniformity in volume, the definition of convergence for random distributional one-forms, tightness or its replacement, and every parameter-dependent error estimate.

Lattice gauge and Higgs structure. Check the action, group representation, completeness of unitary gauge fixing for fundamental $SU(2)$, the stereographic normalization, which fields are gauge fixed versus gauge invariant, and whether the mass interpretation matches the Proca convention.

Constructive-QFT interpretation. Check what Euclidean axioms, reflection positivity, local observables, and reconstruction data are or are not obtained. A convergence theorem for a projected random field cannot be upgraded to a Wightman or Haag–Kastler construction without those additional results.

Agreement on a broad abstract is insufficient. The reviewers must agree on the exact theorem type, limit mode, parameter regime, and excluded extrapolations.

Failure test: a repaired hypothesis cannot be omitted

Consider a generic case in which an early theorem states

$$H_1\wedge H_2\Longrightarrow Q,$$

and a later erratum strengthens $H_2$ to $H_2'$. A review abstract written from the early version says only “under weak coupling, $Q$.” Using that abstract to claim $H_1\Rightarrow Q$ after the correction is invalid. The current primary theorem proves only $H_1\wedge H_2'\Rightarrow Q$.

The summary must remain at the weaker, corrected statement until four items agree: the current theorem text, the correction notice and version history, the proof’s use of $H_2'$, and specialist confirmation that the prose includes it. A later independent proof may recover the old regime, but it must be cited as a separate theorem.

Applied to the present packet, omitting $g=O(\varepsilon^{150})$, the degenerate Higgs potential, unitary gauge fixing, or the distributional-one-form convergence mode would produce a materially stronger statement than Theorem 3.2. No amount of repetition in secondary summaries supplies the missing proof.

Independent checks

Dimensional substitution. Insert $d=3$ into the theorem: the field scaling is $\varepsilon^{-1/2}$ and the decay requirement is $g=O(\varepsilon^{150})$. This catches a common error of repeating the dimension-general exponent without instantiating the application.

Mass normalization. The target parameter is $c^2/2$, while the paper defines the mass as the square root of the Proca parameter. Hence the mass is $c/\sqrt2$, not $c^2/2$.

Convergence check. Use linearity: convergence of $Z(\sum_i t_i f_i)$ for every real vector $t$ gives joint finite-dimensional convergence of $(Z(f_1),\ldots,Z(f_n))$ by the Cramér–Wold device. It still does not imply convergence in a function-space norm.

Observable check. Trace every conclusion back to the definition of $A_e$ and $Y$. If prose shifts to Wilson loops, all gauge-invariant observables, or a continuum connection without a comparison theorem, the source no longer supports it.

Version check. Compare the journal record with arXiv v4 and revisit the packet whenever a new version, correction, or direct extension appears. On the stated search date, the arXiv record lists v4 as current and gives the published journal reference.

Common pitfalls

Citing the abstract for the exponent. Abstracts often omit topology, boundary conditions, or observables even when they retain a dramatic exponent. Use the theorem and definitions.

Equating “non-Abelian lattice model” with “non-Gaussian limit.” The microscopic group is non-Abelian, but the proved scaling regime suppresses the non-Abelian lower-order terms and yields independent Gaussian fields.

Turning progress toward a famous problem into its solution. A nearby field content, dimension, or mass statement is not enough. Compare every object and quantifier with the official problem.

Exercises

1. Instantiate the theorem in three dimensions. State the rescaling, coupling condition, and target mass for $d=3$.

Solution

The field rescales as $Z(x)=\varepsilon^{-1/2}Y(\varepsilon^{-1}x)$. The parameters obey $\alpha g=c\varepsilon$, $\alpha\to\infty$, $g\to0$, and $g=O(\varepsilon^{150})$. The target is three independent Euclidean Proca fields with parameter $c^2/2$, hence correlation mass $c/\sqrt2$ in the paper’s convention.

2. Identify an invalid extrapolation. Why does Theorem 3.2 not prove the four-dimensional Yang–Mills mass gap even when one sets $d=4$?

Solution

At $d=4$ the theorem still concerns Yang–Mills coupled to a fundamental Higgs field under a degenerate potential, after unitary gauge fixing and in a special limit with $g=O(\varepsilon^{200})$. Its target is Gaussian Proca data for a projected field. The Millennium problem concerns a nontrivial four-dimensional pure quantum Yang–Mills theory with a mass gap. The field content, scaling regime, observables, interaction, and reconstruction conclusion all differ.

3. Repair-aware citation. A review quotes version 1 of a theorem, while version 3 adds a compact-support assumption used in a repaired proof. Which claim may be stated?

Solution

State the version-3 theorem with compact support and cite the version history or correction. The version-1 wording is not restored by the review. If removing compact support is scientifically important, report it as an open extension unless another current proof establishes it.

4. Recover joint convergence. The paper defines convergence in law by testing one Schwartz one-form at a time. Explain why finite families also converge jointly.

Solution

For $f_1,\ldots,f_n$ and $t\in\mathbb R^n$, linearity gives

$$\sum_i t_i Z_\varepsilon(f_i) = Z_\varepsilon\left(\sum_i t_i f_i\right).$$

The right side converges in law for every $t$ by the definition. The Cramér–Wold theorem then yields joint convergence of the vector of smeared fields. This establishes finite-dimensional distributions only.

References

• Chatterjee, Sourav. “A Scaling Limit of SU(2) Lattice Yang–Mills–Higgs Theory.” Probability and Mathematical Physics 7 (2026): 339–381. DOI. Open PDF, arXiv v4.
• 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 problem description PDF.
• Rajasekaran, Frederick, Oren Yakir, and Yanxin Zhou. “Gaussian Limits of Lattice Higgs Models with Complete Symmetry Breaking.” arXiv:2603.24555 [math.PR] (2026). Abstract. Open PDF.