A circle produces a nonzero-mode threshold, while a gauge-theory gap needs control of constraints, neutral sectors, and continuum and volume limits.
The claim and the model must be separated
The public catalogue lists Discrete Inner–Time Yang–Mills Models and a Rigorous Mass Gap Via Variational Analysis. The full older argument was not retrieved for this expansion. This page therefore expands the reading method in A208, using explicit elementary spectra rather than certifying the claim in the title.
A gap means a positive separation above the vacuum in a stated physical spectrum. Its value depends on the Hamiltonian, constraints, volume, regulator, and units. Defining those objects is the first substantive step, not a preliminary formality.
Calculate the compact-mode threshold
On a circle of circumference 2πR, Fourier modes einθ have eigenvalues n²/R² under the positive Laplacian −R−2∂²θ. The first nonzero eigenvalue is 1/R², but the constant mode n=0 remains.
Choosing an energy operator proportional to the square root would make nonzero energies proportional to |n|/R after units are fixed. That is a separate dynamical choice. A source must justify both the physical operator and why allowed zero or collective modes do not destroy the claimed threshold.
Check what Gauss law actually removes
A gauge constraint restricts physical states to an invariant sector. To infer a gap, write the constraint action and determine that sector explicitly. A charged mode can have a positive threshold while neutral composites or collective fluctuations remain arbitrarily soft.
Even a single compact example illustrates the issue: selecting nonzero Fourier modes creates a gap by restriction, but it does not explain why the physical vacuum and allowed observables support precisely that restricted space. The newer finite-cycle work distinguishes charged thresholds from complete physical-sector conclusions for this reason.
A family of positive gaps can converge to zero
Consider the positive Laplacian on a periodic spatial interval of length L. Its first nonzero eigenvalue is (2π/L)². Every finite L has a positive spacing, yet that spacing tends to zero as L grows. Positivity at each regulator value is therefore weaker than a uniform positive lower bound.
For a continuum gauge theory, a bound must also survive removal of the short-distance regulator in fixed physical units. One must retain a nontrivial theory rather than a limit in which all fluctuations vanish. These requirements explain why finite diagonalization and continuum existence are genuinely different achievements.
What a trial state can tell us
A variational trial state gives an upper bound on the lowest energy in the allowed sector. A mass-gap proof needs to control all states orthogonal to the vacuum from below. Such a result may use a coercive quadratic-form estimate, an operator inequality, or another uniform argument.
SMM/DTT can contribute a physically motivated recurrence scale and a constructive constrained state space. The next task is to show how that same source fixes spatial propagation, interaction, and scale conversion. A compact temporal radius is a useful ingredient only when its role in the full physical spectrum is established.
Preserve exact model results while extending them
Read A208 with A195–A200. Separate the finite center-selection calculation, local stability, charged thresholds, effective monopole matching, and the remaining full-gap obligation. Each result answers a different question and can remain useful even if a stronger claim is not established.
The next rigorous target should name one finite physical sector, prove a lower bound there, and track its constants across an explicitly defined family. Does the bound deteriorate with volume? Are neutral states controlled? Which physical scale is held fixed? Answers to these questions would make the proposal substantially more informative without importing a continuum theorem from its title.
Continue with the articles
- Reading a discrete Yang–Mills mass-gap proposal
A compact inner cycle supplies nonzero-mode thresholds only after its operator and units are specified. This guide audits zero modes, gauge constraints and uniform limits needed to connect a discrete model with the four-dimensional Yang–Mills problem.
- Center selection on a finite SU(2) cycle
The supplied finite-cycle SU(2) potential has an exact global threshold for center-symmetric selection. Its proof excludes competing interior minima and tracks the continuum limit while retaining the stabilizing deformation as an input.
- Local stability versus the global minimum
Local stability and global selection occur at different deformation thresholds in the finite SU(2) model. Explicit examples distinguish metastability from energetic preference and show why physical completion also requires dynamics and error control.
- A charged threshold is not a full mass gap
A positive charged cycle threshold leaves neutral centralizer modes in the spectrum. The exact finite-operator calculation and projected inequality identify why compact recurrence alone does not establish a full physical mass gap.
- Monopole matching and the dual-photon model
A regulated dilute monopole-event model produces a cosine potential for a light dual-photon field. Its mass scale depends on supplied stiffness and event weights, with separate obligations for gauge matching and a source-level construction.
- Kink tension, mass, and higher harmonics
The classical cosine model gives an exact relation between kink tension, stiffness and curvature mass. A second harmonic changes that ratio, showing why matched coefficients and quantum corrections must accompany a physical prediction.
- The remaining gap-proof obligation
Finite-volume gaps, curvature masses and screening estimates do not yet establish a volume-uniform quantum gap. This audit identifies the connected-correlation estimate and the additional gauge and continuum matching steps left open in the cited manuscript.
Sources and reading
Read the original source for its exact formulation and edition. The examples on this page are explanatory reconstructions.