Uniqueness of gauge covariant renormalisation of stochastic 3D Yang-Mills-Higgs

Hao Shen; Ilya Chevyrev

arxiv: 2503.03060 · v2 · submitted 2025-03-04 · 🧮 math.PR · math-ph· math.AP· math.MP

Uniqueness of gauge covariant renormalisation of stochastic 3D Yang-Mills-Higgs

Ilya Chevyrev , Hao Shen This is my paper

Pith reviewed 2026-05-23 00:46 UTC · model grok-4.3

classification 🧮 math.PR math-phmath.APmath.MP

keywords Yang-Mills-Higgsstochastic quantisationgauge covariancemass renormalisationuniquenesssingular SPDEsWilson loops3D

0 comments

The pith

The mass renormalisation constant for gauge covariant solutions to stochastic 3D Yang-Mills-Higgs is unique.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that among possible mass renormalisations of the Yang-Mills field, only one produces solutions that remain gauge covariant under the stochastic quantisation equations. This extends earlier work that constructed local solutions and demonstrated the existence of at least one such renormalisation in the limit of smooth approximations. Uniqueness matters because it helps identify the correct continuum limit when approximating the theory by other means, such as lattice dynamics. A reader cares as it narrows down the physical content of the renormalised theory more precisely.

Core claim

We prove uniqueness of the mass renormalisation that leads to gauge covariant solutions to the 3D stochastic quantisation equations of Yang-Mills-Higgs, using systematic short-time expansions of singular stochastic PDEs and regularised Wilson loops.

What carries the argument

Systematic short-time expansions of singular stochastic PDEs and of regularised Wilson loops, combined with strengthened state spaces that allow finer control on line integrals in Wilson loop expansions.

If this is right

The gauge covariant solution is the unique one obtained from this renormalisation.
This result strengthens the existence proof from the prior construction of local solutions.
It supports identification of the limit for lattice dynamics approximations.
The strengthened state spaces enable better control in expansions involving line integrals.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

This uniqueness could be used to prove that lattice approximations converge to the same gauge covariant object.
It suggests that any other renormalisation scheme must match this specific constant to preserve gauge covariance.
Extensions to higher dimensions or different gauge groups might follow similar expansion techniques.

Load-bearing premise

The short-time expansions of singular stochastic PDEs and regularised Wilson loops, together with the strengthened state spaces, are sufficient to distinguish different renormalization constants.

What would settle it

Constructing two distinct mass renormalisation constants that both result in gauge covariant solutions would disprove the uniqueness.

read the original abstract

Local solutions to the 3D stochastic quantisation equations of Yang-Mills-Higgs were constructed in (arXiv:2201.03487), and it was shown that, in the limit of smooth mollifications, there exists a mass renormalisation of the Yang-Mills field such that the solution is gauge covariant. In this paper we prove uniqueness of the mass renormalisation that leads to gauge covariant solutions. This strengthens the main result of (arXiv:2201.03487), and is potentially important for the identification of the limit of other approximations, such as lattice dynamics. Our proof relies on systematic short-time expansions of singular stochastic PDEs and of regularised Wilson loops. We also strengthen the recently introduced state spaces to allow finer control on line integrals appearing in expansions of Wilson loops.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper proves uniqueness of the mass renormalization constant that produces gauge-covariant solutions for the 3D stochastic Yang-Mills-Higgs equation.

read the letter

This paper proves uniqueness of the mass renormalization constant that produces gauge-covariant solutions for the 3D stochastic Yang-Mills-Higgs equation. It closes the gap left by the existence result in arXiv:2201.03487 by showing that only one value of the constant works. The argument assumes two candidate constants, derives the difference between the resulting solutions via short-time expansions of the SPDE and of regularized Wilson loops, and uses the strengthened state spaces to force the difference to zero unless the constants coincide. The expansions and state-space adjustments are the standard tools from the regularity-structures literature, applied here in a targeted way to control line integrals. The proof strategy is direct and does not appear to rely on circular fitting. The main limitation is that the result is highly technical, so its strength depends on the exact norms and expansion controls in the full text; those details would need verification but show no obvious internal contradiction on the available description. The citation pattern is appropriate and focused on the prior existence work. This is for specialists working on stochastic quantization of gauge theories or on comparing continuum and lattice constructions in constructive QFT. Readers who need to identify the correct renormalization when taking limits of other approximations will find the uniqueness statement useful. It deserves peer review as a precise technical step that removes an ambiguity in an established model.

Referee Report

0 major / 2 minor

Summary. The paper proves uniqueness of the mass renormalisation constant for which the local solutions to the 3D stochastic quantisation equations of Yang-Mills-Higgs (constructed in arXiv:2201.03487) are gauge covariant. The argument assumes two candidate constants, derives a difference between the corresponding solutions via short-time expansions of the singular SPDEs and of regularised Wilson loops, and shows that the strengthened state spaces force this difference to vanish only when the constants coincide.

Significance. If the result holds, the uniqueness statement strengthens the existence result of arXiv:2201.03487 and supplies a concrete criterion that may help identify the limit of other approximations such as lattice dynamics. The manuscript supplies explicit short-time expansions, state-space norms, and a direct comparison argument; these are the standard tools of the regularity-structures/paracontrolled-calculus literature and constitute a clear technical contribution.

minor comments (2)

[Introduction] The introduction could include a brief pointer to the precise statement of the uniqueness theorem (e.g., Theorem X.Y) rather than only describing the strategy in prose.
[Section 2] Notation for the strengthened state spaces (introduced to control line integrals in Wilson-loop expansions) is referenced to a prior work; a short self-contained recap of the new norm would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, for highlighting its significance in strengthening the existence result of arXiv:2201.03487, and for recommending acceptance. The report correctly captures the core contribution: uniqueness of the mass renormalisation via short-time expansions and strengthened state spaces.

Circularity Check

0 steps flagged

Minor self-citation for existence; uniqueness proof independent

full rationale

The paper proves uniqueness of the mass renormalisation constant by assuming two candidate constants, deriving the difference of the corresponding solutions from short-time expansions of the SPDE and regularised Wilson loops, and showing that the strengthened state-space norms force the difference to vanish. These expansions and norms are supplied explicitly in the manuscript and belong to the standard toolkit of regularity structures and paracontrolled calculus. The only citation to prior work (arXiv:2201.03487) supplies the existence result; it is not invoked to justify the uniqueness argument itself. No step reduces a claimed prediction or uniqueness statement to a fitted parameter or self-referential definition by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no explicit free parameters, axioms, or invented entities can be extracted beyond the standard background of singular SPDE theory and gauge covariance.

pith-pipeline@v0.9.0 · 5669 in / 1056 out tokens · 49356 ms · 2026-05-23T00:46:16.705245+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

Our proof relies on systematic short-time expansions of singular stochastic PDEs and of regularised Wilson loops. We also strengthen the recently introduced state spaces … to allow finer control on line integrals appearing in expansions of Wilson loops.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

there exists a unique ˚C_A … such that … g • SYMH(C,(a,φ)) =_law SYMH(C,g(0)•(a,φ))

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Deconfinement For $\mathrm{SO}(3)$ Lattice Yang-Mills at Strong Coupling
math.PR 2026-05 unverdicted novelty 6.0

Proves that SO(3) lattice Yang-Mills theory fails Wilson's confinement criterion at strong coupling.