Uniqueness of gauge-covariant stochastic renormalization
Exact source · explicit scope
The records below distinguish what the authors state, what this site examined, and what remains unestablished. Reading a source does not certify its proof.
Gauge covariance selects the stochastic mass counterterm
theorem as stated · related method
The source establishes uniqueness of the gauge-covariant Yang–Mills mass renormalization for local stochastic three-dimensional Yang–Mills–Higgs dynamics.
Model
3D; Compact Lie group in the source setup; Yang–Mills–Higgs
Geometry and regulator
Three-dimensional torus; auxiliary stochastic time; Regularized stochastic dynamics. Boundary details: see the exact source conditions.
Assumptions
Compact Lie group and the specified representation on T3; non-anticipative mollifier class; finite counterterm shifts in the stated equivariant classes; local possibly explosive dynamics of Theorem 1.6.
Exact source
Sections 1.1-1.2 arXiv:2503.03060v2, revised 2026-01-21; ARMA 250 (2026), article 11; DOI 10.1007/s00205-025-02163-3
published; source date 2026-01-21 (day). First submitted: 2025-03-04.
What remains
A stochastic counterterm is not a physical spectral gap. The result concerns three-dimensional local dynamics, not a four-dimensional continuum vacuum theory.
Local possibly explosive dynamics and counterterm uniqueness. No invariant 3D Yang-Mills measure or physical Hamiltonian mass-gap theorem is established. Complete dependency proofs and all function-space estimates not audited. HTML conversion truncated; PDF used.
Limits and uniformity
regularization scale: Remove the mollifier within the specified local stochastic construction. Fixed: three-dimensional torus; admissible initial data and local stopping regime. Only the source’s local-dynamics theorem is invoked; global time and invariant measure are separate.
Proof-obligation relation
continuum — ingredient: Gauge covariance selects the stochastic mass counterterm: A stochastic counterterm is not a physical spectral gap. The result concerns three-dimensional local dynamics, not a four-dimensional continuum vacuum theory.
Author claim
A scoped theorem as stated in the model above; no full four-dimensional solution is asserted by this record.
Technical assessment
selected sections; latest recorded action scope checked on 2026-10-24. No independent proof verification is recorded.
Community acceptance
No consensus assessment is inferred from publication or this site’s reading. External assessments, if documented, are separate records.
Clay recognition
These are partial-result records, not prize-recognition claims. See the separately sourced problem status.
Assessment history and unresolved checks
2026-10-24: scope checked
selected sections · Codex editorial source inspection; inherited and current actions remain distinct.
Examined: Sections 1.1-1.2; Theorem 1.6 and Remark 1.7, printed pages 7-8, in PDF.
Uniqueness of gauge-covariant mass renormalization in local stochastic Yang-Mills-Higgs on T3, compact Lie group and the specified representation, nonanticipative mollifier class. Finite counterterm shifts in the stated equivariant classes distinguish gauge-related regularizations.
Local possibly explosive dynamics and counterterm uniqueness. No invariant 3D Yang-Mills measure or physical Hamiltonian mass-gap theorem is established. Complete dependency proofs and all function-space estimates not audited. HTML conversion truncated; PDF used.
No independent proof certification or numerical simulation reproduction.
2026-10-23: scope checked
abstract · Inherited webmaster-kit planning inspection; not a new reading on import.
Examined: Abstract; Version history and journal reference.
The abstract states uniqueness of the Yang–Mills mass renormalization yielding gauge-covariant solutions in the previously constructed local 3D stochastic Yang–Mills–Higgs setting.
The counterterm is not a physical mass-gap result. Read the full main theorem to confirm geometry, group assumptions, state spaces, and approximation class before extending the dossier.
No independent expert proof verification or computational reproduction is recorded.
Editorial history
2026-10-24 · scope correction
Separated provenance and claim type for Gauge covariance selects the stochastic mass counterterm.
Replace the inherited undifferentiated “source scope checked” badge with the actual recorded read depth and explicit limitations. Midnight UTC is a date-only editorial convention, not a source publication time.
Uniqueness of gauge covariant renormalisation of stochastic 3D Yang–Mills–Higgs studies renormalized local stochastic dynamics on the three-dimensional torus. Its main Theorem 1.6 shows how an inappropriate renormalization can be detected by gauge-invariant observables, yielding uniqueness of the gauge-covariant Yang–Mills mass renormalization.
Section 1.2 states the result; Section 1.3 explains the proof strategy. The introduction distinguishes this local dynamical construction from the further problem of obtaining an invariant field measure. The term “mass renormalization” here identifies a counterterm, not an established physical spectral gap.
A finite-dimensional Langevin equation can be written schematically as
dXτ=−∇S(Xτ)dτ+2dBτ.
Under suitable conditions, the density proportional to e−S is stationary. This suggests defining a field measure through dynamics instead of treating an infinite-dimensional integral as already meaningful.
The difficulty is that noisy fields are rough. Products that are ordinary functions for smooth inputs may cease to make sense for distribution-valued fields. Smoothing the noise introduces a regulator; compensating terms may then be needed before removing it.
A renormalization term changes the regulated equation so that a meaningful limit can emerge. The task is not simply to solve a familiar PDE with a randomly chosen smooth source. One has to show that the construction survives the loss of smoothness.
Gauge-related initial data represent the same physical configuration. A suitable construction should not let an arbitrary gauge frame change the law of physical observables.
Suppose two candidate regularizations each produce a limit, but they produce different predictions after gauge-equivalent initial conditions are compared. That mismatch is not repaired by the mere existence of both limits. It identifies a failure of the intended gauge structure.
A gauge-invariant diagnostic is powerful because it tests a difference that cannot be dismissed as a change of coordinates. The idea is analogous to checking whether two coordinate descriptions predict the same observable length: equality of the underlying coordinates is unnecessary, but equality of the physical answer is essential.
Uniqueness results can therefore help identify possible limits. They do not by themselves establish that every proposed approximation converges.
A correction needed to define the limiting equation
Auxiliary Markov generator
Relaxation in the sampling or stochastic time τ
Physical Hamiltonian
Energy of states in a physical quantum theory
A single stationary measure can support Markov dynamics with very different speeds: multiplying the generator by a positive number rescales auxiliary time. A physical mass cannot be determined by that arbitrary rescaling. A separate reconstruction and correlation argument is needed.
Likewise, local existence in auxiliary time does not guarantee global evolution or the existence of a stationary measure. These are distinct mathematical questions even before considering a physical mass gap.
This result offers a precise example of how gauge structure constrains renormalization in a singular field equation. The methodological lesson is valuable: construct observables capable of distinguishing a genuine physical ambiguity from gauge dependence.
The remaining transfer is substantial. One would need the appropriate dimension and theory, control sufficient to obtain the desired field measure or quantum structure, and physical spectral estimates. Moving from a three-dimensional torus to the four-dimensional target is not achieved by changing a label on the equation.
For readers entering the subject, start with distributions and semigroups. Then ask of each convergence statement: convergence of what, in which topology, for which times, and with which initial data?