What a mass-gap result would have to prove

Define the gap above the vacuum

Let H≥0 be a self-adjoint Hamiltonian with normalized unique vacuum Ω and HΩ=0. A spectral gap Δ>0 means that every nonvacuum spectral value is at least Δ. Equivalently, its closed form satisfies

The subtraction makes the zero-energy state explicit. A strictly positive estimate on the whole Hilbert space would contradict HΩ=0. If the proof uses a projection that divides Ω, its transported vacuum line must be punctured before a strict low-block estimate is imposed.

On a finite spatial lattice, this is an energy-gap statement. Calling it a relativistic mass requires the continuum spacetime symmetries and physical units that connect energy and invariant mass. Those structures should not be inferred from the word “Hamiltonian” alone.

The source’s endpoint asks for a nontrivial pure Yang–Mills vacuum theory with the full reconstruction and locality properties, followed by a positive physical Δ. Its finite-regulator theorems do not establish that endpoint.

Source: Auxiliary-time lattice gauge framework, Program Requirement 1.2 and §26, printed pp.3,55–56.

Different positive numbers answer different questions

None of these results should be dismissed merely because it is restricted. Each can supply an essential estimate. Their logical scopes differ, however, and a proof must explain the comparison that carries one result into the next.

For example, the finite singlet gap stabilizes a supplied auxiliary apparatus. It does not control the ordinary gauge excitations that remain after that apparatus is eliminated. Likewise, a neutral-sector inequality should keep its sector restriction until nonneutral thresholds are separately controlled.

Source: Vacuum obstructions and form Feshbach reduction, Abstract and §§3.5,5,11, pp.1,9,11–14,25–26.

Why fixed-regulator positivity is not uniformity

For the exact finite transfer construction, compactness and positivity improvement give a unique eigenvalue one at the top of the spectrum. The rest lies below some r_n<1. Therefore Δ_n=−a_t,n⁻¹log r_n>0 at each n.

The missing quantity is inf_nΔ_n. A simple sequence shows the difference. Let a_t,n=1/n and take an excited transfer eigenvalue r_n=e^−1/n². Every regulator is gapped, but Δ_n=1/n tends to zero.

Conversely, a fixed physical Δ gives r_n=e^−Δ/n, which approaches one. The shrinking separation in the transfer spectrum does not mean that the physical gap is closing; it is the expected effect of a shrinking time step.

Increasing spatial volume creates a separate risk. A finite box can lift soft modes that approach zero as the box grows. The source therefore requires constants independent of physical volume, followed by compatible control along the chosen cutoff-removal sequence.

A numerical report should state the finite volume, time-step conversion and extrapolation assumptions. A positive computed eigenvalue is an exact statement only for the finite matrix actually computed, up to its numerical error.

Source: Vacuum obstructions and form Feshbach reduction, Proposition 3.5, p.9.

Why an auxiliary fast scale is insufficient

The holonomy-twisted cycle spectrum has eigenvalues 4a_τ⁻²sin²[(2πk+θ)/(2N)]. At k=0, a small nonzero θ produces a positive eigenvalue of order θ²/β_τ². Thus compactness and removal of exact zero modes alone do not supply a twist-uniform floor.

A holonomy closure term can stiffen the mean auxiliary direction. The supplied scaling makes the linearized relative and mean stiffness diverge. The nonlinear quantum band still requires control of all wells, gauge charts, kinetic weights and dependence on the physical base field.

Even a successful diverging charged threshold leaves the neutral gap undetermined. In the exact diagonal example H_n=diag(0,1/n,n,n), the final two states can be assigned opposite auxiliary charges. Charged energies diverge while the neutral excitation tends to zero.

The actual auxiliary regulator contains ordinary τ-independent spatial gauge configurations on its trivial-holonomy mixed-flat stratum. This surviving sector is where the four-dimensional nonabelian dynamics must be studied. Its gap cannot be supplied by a penalty that vanishes identically on those configurations.

Source: Vacuum obstructions and form Feshbach reduction, §§5.2–5.3 and 8, pp.12–13,21–22.

Use the transfer, variance and time-decay criteria

On Ω^⊥, a physical bound H≥Δ is equivalent to T=e^−a_tH≤e^−a_tΔI. Under the ground-state transform, it becomes

This global Poincaré inequality is one proposed endpoint of the finite-regulator infrared analysis. Its constant is approximately a_tΔ, so it must be tracked in physical units.

A second route uses Euclidean time correlations. For centered ψ=AΩ in a dense excited core, the spectral measure gives ⟨ψ,e^−tHψ⟩=∫e^−tEdμ_ψ(E). If this decays at every rate Δ−ε with a finite vector-dependent prefactor, no spectral weight can lie below Δ.

Indeed, positive weight at E≤Δ−2ε would give a lower bound proportional to e^{−t(Δ−2ε)}, contradicting the faster assumed upper bound at large t. Density extends the spectral exclusion to the whole excited space.

Decay of one convenient observable is weaker: it may simply have zero overlap with lower states. The core must be cyclic or dense enough to detect every physical excitation, and the decay rate must remain uniform through the limits under consideration.

Source: Auxiliary-time lattice gauge framework, §§25–26, printed pp.55–56.

The nonabelian infrared estimate remains central

The auxiliary framework explicitly identifies the passage from asymptotic freedom to a massive four-dimensional infrared regime as its deepest unresolved Yang–Mills step. A fast completion sector may help locality or control unwanted directions, but does not prove this passage.

The proposed renormalization route must cover weak coupling, the intermediate regime and a domain where a convergent massive expansion is available. Bounds on discarded interactions have to remain valid at every step. A perturbative ultraviolet beta function does not determine the full infrared trajectory.

Local gauge invariance forbids inserting an ordinary gauge-noninvariant Proca term into a pure unbroken gauge action. This is compatible with a spectral gap in gauge-invariant excitations. A mass gap concerns the spectrum of the physical theory; it is not the same statement as a bare quadratic mass parameter for a gauge potential.

The source asks for local gauge-invariant Poincaré bounds, controlled renormalization and exponential clustering on a dense observable core. Abstract implications between those estimates are proved. Their uniform realization in the proposed regulator remains a programme requirement.

Keeping this frontier explicit prevents circularity: a global gap can imply a punctured Feshbach margin, but that consequence cannot then be reused as an independent premise proving the same global gap.

The conversion from a coarse-lattice decay rate to a physical mass is another place where constants matter. If m_* is the dimensionless decay rate after k renormalization steps of block factor L, the corresponding physical rate is m_*/(a_nL^k). A positive limit requires the coarse spacing to approach a finite physical scale while m_* stays bounded away from zero. The source writes this as Δ_G=m_*Λ_G. The formula converts an established coarse estimate; it does not derive m_*, determine Λ_G from a reference bare sequence, or establish the intervening renormalization trajectory.

Source: Auxiliary-time lattice gauge framework, §§19.1 and 21–26, printed pp.47,50–56.

A gap must be carried into an actual continuum theory

Changing regulators changes the Hilbert spaces. A uniform finite-regulator inequality therefore needs comparison maps, convergent vacua and recovery sequences for the limiting form. Identified Mosco convergence supplies an abstract framework for this task.

If q_n[u]≥Δ(∥u∥²−|⟨Ω_n,u⟩|²) with one Δ>0, and a recovery sequence converges strongly with its energies, then the same inequality passes to the limit provided Ω_n converges strongly as well.

This transfers an established gap. It does not construct the limiting field theory, prove nontriviality or identify its observables. Those tasks require renormalized correlations, reflection positivity, Euclidean covariance, regularity, locality and a separating physical core.

A trivial limit with only its vacuum can satisfy a spectral exclusion vacuously. Nontrivial connected Wilson-loop or curvature correlations are therefore part of the endpoint, not an optional supplement.

The continuum theory must also lose the auxiliary regulator in a controlled way. Surviving neutral holonomy, geometric band connections or additional relevant interactions can produce a different theory even if its Hamiltonian is gapped.

Source: Auxiliary-time lattice gauge framework, §§27–31, printed pp.56–62.

The claim that the present sources support

The sources establish exact finite-regulator dynamics, a positive vacuum, the twisted auxiliary spectrum, the hard-window obstruction, its punctured repair, a linear fast-scale window and useful abstract reduction and transfer theorems. These are substantive mathematical results under the assumptions stated in the corresponding guides.

They do not establish a nonlinear regulator-uniform completion band, the four-dimensional nonabelian infrared estimates, a nontrivial continuum Yang–Mills theory or universality of the auxiliary construction. The paper’s final implication assumes those packages.

A completed solution of the Yang–Mills existence and mass-gap problem would need to construct the physical theory and establish its positive spectral gap together. A list of sufficient hypotheses, a finite-model gap or an auxiliary mode formula does not meet that endpoint.

The next useful work is therefore concrete: prove the local SU(2) fast-sector milestone, control its induced interactions, and then address the independent four-dimensional estimates. Each completed stage should be reported with its exact sector, constants, domains and remaining dependencies.

Source: Vacuum obstructions and form Feshbach reduction, §§11–12, pp.25–26.

Continue reading

• The vacuum puncture required before gap estimates
• Charged thresholds and neutral excitations
• The conditional finite-cluster reduction
• Constructing and identifying a continuum limit
• Counterexamples that locate a gap proof’s missing premise
• A concrete roadmap for the lattice proof obligations