Explaining the Yang-Mills Mass Gap with Observer-Patch Repair Dynamics

What This Paper Contributes

The standard target is clear: construct a nontrivial four-dimensional quantum Yang–Mills theory for every compact simple gauge group and prove a positive mass gap. OPH imports the usual compact gauge language, reflection positivity, and Osterwalder–Schrader/Wightman target conditions. The repair interpretation supplies a finite vacuum-sector relaxation mechanism.

On the support-visible compact-gauge branch, local holonomy data and the OPH scaling chart give the candidate Euclidean Yang–Mills form. Exact local repair acts as a positive Euclidean relaxation generator at finite cutoff. A uniform fixed-cutoff repair rate floor transports to the continuum Hamiltonian only when the transfer forms, vacuum projections, and finite intertwiners converge in the sense stated below. The proof therefore separates the finite repair mechanism from the additional four-dimensional continuum certificate required by the Clay problem.

Claim Boundary

This paper gives a proof-bearing projective weak-* / GNS extraction from the declared finite support-visible compact-gauge cylinder system. The finite positive-transfer and repair-gap mechanism is conditional on the finite ground-state-transform/cross-fiber and uniform-gap receipts. The finite ground-state-transform/cross-fiber receipt (Assumption 9) is the load-bearing unverified physical input of the paper: it assumes the gap-friendly spectral structure whose gap the later sections account for. Section 9 evaluates it on \(\mathbb Z_2\) lattice gauge theory: the receipt holds analytically in the free limit, fails for the Wilson transfer matrix on the tested \(L=2,3\) diagonal coupling grid, and gives the local Hamiltonian exactly in a fiber-dependent-rate form. The scan is not a no-go for other couplings, anisotropic limits, transfer objects, or that fiber-dependent-rate route. The Clay-facing Yang–Mills theorem additionally depends on the continuum certificate stated in Assumption 20: renormalized four-dimensional identification, reflection positivity and OS regularity, transfer/vacuum convergence, and noncollapse.

The finite local-domain source construction in the microphysics and particle papers carries a different exact positive gap [sources]. Its Hamiltonian is the sign-twisted graph Laplacian of one observer-visible seam complex under a declared reversing convention. It supplies neither the compact-gauge cylinder repair generator \(L^{\mathrm{rep}}_r\), the vacuum projector, the ground-state transform, a gauge-invariant excitation algebra, nor the uniform cofinal bound required here. That result therefore does not discharge the finite transfer receipt or any Clay-facing continuum premise.

More precisely, the imported four-dimensional form theorem uses compact-gauge reconstruction, the four-dimensional scaling chart, the reflection-positive ordinary vacuum sector, the absence of additional gauge-invariant relevant dimension-four pure-gauge operators beyond the positive quadratic curvature invariant, the support-visible cylinder extraction, and the renormalized regularity/universality receipt. The later mass-gap step adds the finite transfer receipt, exact atomic heat-bath collars, a finite source-type table, and a uniform \(L^2\) approximate-tensorization/influence certificate.

Acceptance as a Clay-admissible solution depends on supplying the unproved parts of the OPH compact-gauge continuum certificate: renormalized Schwinger-function convergence, reflection positivity, Euclidean covariance/locality, nontriviality, and transfer/intertwiner convergence at the strength required by the Clay/Jaffe–Witten statement. The proof below then isolates the finite repair mechanism and shows that, on any branch carrying that certificate, the gap is identified exactly: \[\Delta_{\mathrm{YM}}=\Delta_{\mathrm{rep}}.\] The two-dimensional heat-kernel identity in the companion OPH results is a separate normalization and worldsheet-effective bridge; it is not the mass-gap proof.

Relation to the other OPH papers

This paper is a focused companion to the other OPH papers. The broad reconstruction framework is summarized in From Observer Consensus to Standard Physics [source]. The gauge derivation is Deriving Standard Model Gauge Structure from Observer Overlap Consistency [source], which carries the support-visible compact-gauge repair-gap theorem inside the Standard Model gauge paper itself. The particle branch is separate [source]. The finite repair and quotient-normal-form machinery comes from Reality as a Consensus Protocol: The Fixed-Point Computation That Implements Physics [source]. The regulated screen, record, and edge heat-kernel architecture is developed in Federated Echosahedral Screen Microphysics: Patch Hardware, Records, and Observer Synchronization in OPH [source].

The companion edge-sector theorem relates OPH heat-kernel weights to a two-dimensional Yang–Mills partition identity. That identity fixes normalization and the controlled worldsheet effective bridge. The four-dimensional mass-gap argument uses repair dynamics: exact local repair becomes a positive Euclidean relaxation generator, and the uniform repair gap is transported to the compact-gauge Hamiltonian only under the continuum certificate.

The repair mechanism keeps records readable under continued reading at finite cutoff. The mass gap is then the cost of leaving the repair-fixed vacuum sector: the same consistency requirement that forces records at the substrate level supplies the relaxation generator whose spectral floor is \(\Delta_{\mathrm{rep}}\). This interpretation adds no strength to the Clay-facing claim: the identity \(\Delta_{\mathrm{YM}}=\Delta_{\mathrm{rep}}\) is conditional on (Y1)–(Y6) and the continuum certificate exactly as stated above.

The Clay-facing import is The Standard Model gauge paper’s Yang–Mills theorem surface: the compact-gauge reconstruction ladder, the four-dimensional Euclidean Yang–Mills form theorem, the coherent compact-gauge extraction proposition, the conditional support-visible Osterwalder–Schrader reconstruction theorem, the nontriviality certificate, and the exact finite repair-gap theorem. This note isolates that branch theorem surface; it does not enlarge it.

The Clay Target

The Clay Mathematics Institute describes the Yang–Mills mass gap as the missing mathematical foundation behind the quantum theory used for nonabelian gauge forces [source]. Jaffe and Witten state the problem as follows: for every compact simple gauge group \(G\), construct a nontrivial quantum Yang–Mills theory on \(\mathbb R^4\) satisfying axiomatic properties at least as strong as the stated Wightman or Osterwalder–Schrader references and prove a mass gap \(\Delta>0\) [sources].

The OPH proof below addresses that target through a different variable. The starting data are finite observer patches, compact-gauge visible quotient data, and exact repair collars. The nonzero energy threshold is the cost of leaving the repair-fixed vacuum sector.

Standing Setup

Fix a compact simple gauge group \(G\) carried by an OPH compact-gauge zero-obstruction vacuum branch, realized at fixed cutoff by the declared compact-gauge patch-carrier architecture. The architecture supplies finite local Hilbert spaces, exact local constraints, patch and overlap algebras, overlap sector projectors, record layers, and local repair interfaces.

Let \(r\) range over a cofinal refinement family of finite regulators. For each \(r\), let \[(\mathcal H_r,\Omega_r,H_r), \qquad T_r(t)=e^{-tH_r},\] be the physical Euclidean Hilbert space, vacuum, Hamiltonian, and transfer semigroup.

Let \(X_r:=X_r^{(0)}\) be the support-visible time-zero compact-gauge quotient configuration space, let \(\pi_r\) be the stationary time-zero measure, and set \[K_r:=L^2(X_r,\pi_r).\] Write \(\omega_r(a):=\int_{X_r}a\,d\pi_r\) for the associated state functional; \(K_r\) implements the finite \(\pi_r\)-null support reduction by definition. Let \(\mathcal C_r\) be the finite family of active repair collars. For each active collar \(C\in\mathcal C_r\), let \[\rho_C:=\rho_{C,r}:X_r\to Y_{C,r}\] be the complete repaired visible datum, and let \[E_C:K_r\to K_r\] be conditional expectation onto the \(\rho_C\)-measurable functions.

The proof stays on the ordinary or central zero-obstruction vacuum branch. The genuinely noncentral higher-gauge branch is a different fixed-cutoff sector in the OPH framework and is not used for the ordinary compact-simple \(G\) theorem below.

Imported 4D Euclidean Yang–Mills Form

Fixed-Cutoff Repair Equals Projection

Exact Euclidean-Consensus Law

Finite-Stage Gap

Machine-Checked Boundaries and a Finite Gauge Diagnostic

Three finite results constrain how the receipts of Assumption 9 and Definition 11 can be discharged. Two are machine-checked theorems in the OPH Lean formalization [source]; the third is a finite numerical computation on two small interacting gauge systems, with an analytic free-limit control [source].

Noncommuting collars.

The formalization contains the commuting-projection special case of Theorem 13, in which pairwise commuting collar projections give \(L^{\mathrm{rep}}_r\ge c_*(I-P_0)\). In that legacy Lean theorem, thm_7_3_finite_gap, the strictly positive collar rates are direct hypotheses. The separately machine-checked legacy Lemma 7.2 proves a positive scalar for its own uniform-fiber matrix datum, but no Lean theorem bridges that matrix and scalar to the collar projections and rates of the commuting theorem. The module’s minimal zero-projection witness has joint fixed space \(\{0\}\); on its one-point coordinate type the constant functions are the whole space. It therefore witnesses only the stripped finite operator premises and supplies neither a compact-gauge realization nor a continuum or physical mass gap.

The same formalization also contains a three-state rational countermodel: two proper symmetric idempotent Markov projections that fail to commute, whose unit-rate generator has eigenvalues \(1/2\) and \(3/2\) in place of the commuting subset sums \(0\), \(1\), and \(2\). Spectral accounting by subset sums does not transfer to the noncommuting collars of Definition 11. The Dobrushin route in Theorem 13 is the route that applies, and commutation is used nowhere in it. This provenance boundary does not rule out that route, the fiber-dependent-rate route below, or another receipt-complete tower.

Uniform gap and carrier growth.

A second machine-checked theorem states that a refinement interface carrying a uniform bound on carrier cardinality cannot also carry a cofinal family with strict carrier growth. An admissible collar tower has strictly growing carriers along refinement, so the uniform floor (4) must be stated through the finite type table, as in Proposition 12, and never through a bound on carrier size.

The finite transfer receipt on \(\mathbb Z_2\) gauge theory.

Assumption 9 can be evaluated by finite-matrix methods on a specified finite gauge system. The accompanying float64 eigendecomposition and matrix-logarithm computation evaluates it for \(\mathbb Z_2\) lattice gauge theory on an \(L\times L\) periodic spatial torus, \(L\in\{2,3\}\), in the Gauss-law sector, with one collar per spatial link and the \(\pi_r\)-preserving heat bath on the fiber \(\{o,X_lo\}\), where \(X_l\) flips link \(l\) and \(o\) ranges over gauge orbits. The ground-state transform is the Doob transform by the Perron vector \(\Omega\), with \(\pi_r=\Omega^2\). Two transfer objects are tested: the reflection-positive Wilson transfer matrix \(T=e^{\beta_sP/2}Ke^{\beta_sP/2}\), with \(K(s,s')=\prod_l e^{\beta_ts_ls'_l}\), \(P\) the spatial plaquette sum, and \(H=-\log(T/\lambda_{\max})\); and the Kogut–Susskind Hamiltonian \(H=-\lambda\sum_lX_l-\sum_pU_p\).

For the Wilson transfer matrix the receipt holds exactly at \(\beta_s=0\), where \(K=\prod_l(e^{\beta_t}I+e^{-\beta_t}X_l)\) is a constant multiple of \(\exp\bigl(\tfrac12\log\coth\beta_t\sum_lX_l\bigr)\) and every rate equals the dual coupling \(\log\coth\beta_t\); the relative residual is below \(10^{-12}\) for both tori. At every tested interacting point \(\beta_s=\beta_t\in\{0.1,0.3,0.5,0.7,1\}\) it fails. In these finite examples \(\log T\) couples configurations at multiple Hamming distances, and the best constant-rate approximant \(\sum_lc_l(I-E_l)\) leaves a relative Frobenius residual of \(0.038\) at \(\beta_s=\beta_t=0.1\), \(0.084\) at \(0.5\), and \(0.24\) at \(1.0\) on the \(L=3\) torus.

For the Kogut–Susskind Hamiltonian the single-flip structure survives the transform exactly, \[L^{\mathrm{rep}}=\sum_lc_l(o)\,(I-E_l), \qquad c_l(o)=\lambda\bigl(r_l(o)+r_l(o)^{-1}\bigr), \qquad r_l(o)=\frac{\Omega(o)}{\Omega(X_lo)},\] so the scalar cross-fiber condition of Assumption 9 holds only where \(\lvert\log\Omega(o)-\log\Omega(X_lo)\rvert\) has one fixed value under each flip of link \(l\). The measured spread \(\max_oc_l(o)/\min_oc_l(o)\) on the \(L=3\) torus is \(1.036\) at \(\lambda=2\), \(1.17\) at \(\lambda=1\), and \(2.05\) at \(\lambda=1/2\). The Dobrushin sum \(\eta_*\) of the single-link conditional kernels is below one, among the interacting test points, at \(\beta_s=\beta_t=0.1\), where \(\eta_*=0.59\), and at \(\lambda=2\), where \(\eta_*=0.82\); at the other tested interacting couplings item (G3) fails on this system. The free control is assessed separately.

The diagnostic fixes three facts on the two tested finite systems and coupling grid. It is exact in the free limit. The tested Wilson transfer matrices fail through multi-flip terms, and the tested local Hamiltonians fail the scalar cross-fiber clause through fiber-dependent rates. This finite grid does not exclude anisotropic couplings, alternate transfer objects, fiber-dependent positive rates, or another compact-gauge tower. A receipt on a physical compact-gauge tower may therefore admit fiber-dependent rates, replacing each scalar \(c_C\) by a positive fiber-constant function bounded below by \(c_*\), or name a transfer object other than the Wilson matrix whose ground-state transform is a constant-rate heat-bath sum. The floor in Theorem 13 survives the first option without change, since its proof uses only \(c_{v,r,b}\ge c_*\) and each rate function is constant on its own collar fiber; multiplication then commutes with the corresponding conditional expectation. In the tested Kogut–Susskind transform, \(c_l=\lambda(r_l+r_l^{-1})\ge2\lambda\) by AM–GM. The variable-rate comparison is machine-checked at its finite level (): the single-fiber rate identity \(c_l=\lambda(r+r^{-1})\) with the sharp bound \(c_l\ge2\lambda\) and equality exactly at \(r=1\), and, for a finite independent product of two-point fibers with fiber-dependent rates, a product-generator spectral gap equal to the minimum fiber rate with explicit eigenstructure, hence bounded below by \(2\lambda\) uniformly in every fiber ratio. Concrete two- and three-fiber instances with distinct ratios carry computed exact gaps in a released receipt tied to the finite-transfer conventions of this section. The comparison is proved on the independent fiber product, and the finite descent-and-restriction part of the gauge-orbit quotient step is machine-checked (): the \(\mathbb Z_2\) XOR-mask action, which agrees with the gauge action of the committed non-self-loop \(L=2,3\) transfer receipts, is formalized as a permutation subgroup whose every element is a mask translation; with fiber weights symmetric on every moved link, a condition proved equivalent to ratio one there under the \(\pi=\Omega^2\) reading and exactly the equality case of the \(2\lambda\) floor, the product generator commutes with every gauge translation and restricts to the gauge-invariant subspace, and every product-space Dirichlet constant survives that restriction, so the minimum fiber rate and the \(2\lambda\) floor bound the quotient generator on mean-zero invariant observables, uniformly in the unmoved-link ratios. A worked abstract two-bit global-complement instance has exact invariant-subspace constant \(c_0+c_1=4\) at \(\lambda=1\), strictly above the floor \(2\), so the bound is one-sided. This instance is not a physical one-site periodic lattice: repeated self-loop incidences cancel over \(\mathbb Z_2\), and the finite diagnostic is defined only for \(L\ge2\). The quotient is formalized as the invariant subspace; the orbit-space carrier formulation, the committed receipt tori with several star generators, the non-product orbit law with orbit-dependent rates, and the approximate-tensorization comparison are the named residual steps, and testing the anisotropic Wilson-to-Hamiltonian limit is the other live constructive route. The scalar form of Theorem 10 is what cross-fiber equality buys; the floor itself does not require scalar rates.

Continuum Extraction

Axiomatic Reconstruction and Nontriviality

Main Theorem

Exact Gap Accounting

On a branch satisfying Assumption 20, the proof gives more than a positive lower bound. It identifies the Hamiltonian whose gap is being measured: \[H=U^{-1}L^{\mathrm{rep}}U.\] Therefore \[\operatorname{Spec}(H)\setminus\{0\} = \operatorname{Spec}(L^{\mathrm{rep}})\setminus\{0\}.\] The Yang–Mills gap is exactly the first nonzero repair eigenvalue: \[\Delta_{\mathrm{YM}} := \inf\bigl(\operatorname{Spec}(H)\setminus\{0\}\bigr) = \inf\bigl(\operatorname{Spec}(L^{\mathrm{rep}})\setminus\{0\}\bigr) =: \Delta_{\mathrm{rep}}.\] The finite-stage approximate-tensorization argument proves \(\Delta_{\mathrm{rep}}\ge\delta_*>0\). The exact accounting statement is the conditional equality \(\Delta_{\mathrm{YM}}=\Delta_{\mathrm{rep}}\); the inequality is the positivity proof for that same quantity. Without the continuum certificate, the same equations are finite-regulator repair accounting instead of a Clay-admissible Yang–Mills theorem.

Relation to the 2D Yang–Mills Bridge

The companion OPH results also contain an exact edge-sector identity: \[Z_{\mathrm{edge}}(t)=\sum_R d_R^2e^{-tC_2(R)}=K_t(1),\] which is the compact-group heat kernel at the identity and matches the standard two-dimensional Yang–Mills heat-kernel partition form. Peter–Weyl supplies the heat-kernel identity, and Gross–Taylor gives the standard large-\(N\) worldsheet dictionary when a separate large-\(N_{\mathrm{edge}}\) branch with remainder control is declared [sources].

That 2D result is a normalization and worldsheet-effective bridge. The spectral theorem above concerns the support-visible compact-gauge Hamiltonian and obtains its lower bound by identifying Euclidean transfer with the repair generator. The string-vacuum selector uses the same bridge only as effective edge-language input; its critical-worldsheet, Bouchard-Donagi, safety-layer, threshold, and moduli-locking conditions do not alter the four-dimensional compact-gauge mass-gap theorem surface [source].

Requirements for a Clay-Level Construction

Conclusion

The OPH finite repair mechanism for the Yang–Mills mass gap is simple. A non-vacuum support-visible compact-gauge excitation is not fixed by all local repair collars. At least one active collar must relax it. Because active collar rates have a uniform positive floor and the source law has one uniform approximate-tensorization constant, every non-vacuum finite-regulator state pays a positive Euclidean repair cost. The finite-stage statements are exact theorems on the declared cylinder system, with every assumption named, the load-bearing receipt isolated in one place, and that receipt evaluated on a finite gauge system; the mechanism inherits the wider program’s discipline of finite core theorems and zero continuous dials.

The Clay-facing conclusion is conditional. If the regulator family also satisfies the renormalized continuum, reflection-positivity, OS, nontriviality, and transfer/intertwiner certificate of Assumption 20, then the continuum compact-gauge Hamiltonian is unitarily equivalent to the repair generator. On that certified branch the Yang–Mills gap is the repair gap:

\[\boxed{ \Delta_{\mathrm{YM}}=\Delta_{\mathrm{rep}}\ge \delta_*=c_*/A_*>0. }\]

AI Assistance Disclosure

This research project used research-grade commercial models, including Anthropic’s Fable and OpenAI’s GPT-5.6-Sol, for research support, software development, editing, and synthesis. The authors are responsible for the paper’s claims, methods, and final text.