Interface Lemmas for the Multiscale Proof of the Lattice Yang-Mills Mass Gap
This replacement restores the paper originally submitted as version 1 and retracts its claimed unconditional closure of the weak-coupling lattice Yang-Mills mass-gap chain. The principal-logarithm construction in Lemma A.1 fails at central elements such as -I in SU(2), and the printed argument does not establish the required measurable conditional kernel. The proof of Lemma 6.2 applies the Holley-Stroock comparison in the wrong direction: it does not give a coupling-uniform per-block log-Sobolev bound on the unbounded range beta >= beta_0. A bounded beta window can control that per-block estimate, but it does not prove Lemma 6.3, which separately requires an inter-block contraction hypothesis. Three numerical samples and an upper bound on the oscillation are recorded only as numerical evidence; they do not prove linear growth of the optimum or a vanishing infimum. The remaining horizon-transfer, analyticity, and boundary-uniform interfaces are classified as conditional or not established. Corollary 7.3 and the abstract's unconditional mass-gap conclusion are withdrawn. No numbered lemma is declared false unless the corrective note supplies the stated counterargument; otherwise the status is expressly "not established."
Verification record
- Frontier-model screening
- Not assessed
- Source integrity
- Pass
- Bibliographic integrity
- Not assessed
- Reproducibility
- Not assessed
- Lean 4
- Not assessed
Recorded under ARR-HISTORICAL-IMPORT-1.0. ARR verification and screening are not peer review.
Version history
The ARR identifier remains stable. Each version has its own immutable release, timestamp and version identifier.
- v1 · source snapshot available · viewing
Original ai.vixra version history
Dates below are the source submission timestamps. ai.vixra omits a timezone; ARR preserves the displayed values and uses the normalized offset only for deterministic ordering.
AI assistance statement
Historical import from ai.vixra, an AI-assisted e-print archive. ARR has not normalized or independently verified the original manuscript's model-use disclosure; the author remains responsible for its contents.
Frontier-model screening
Status: not_assessed. Any listed reports correspond to this exact version under ARR-SCREEN-1.0; no absent assessment is represented as a pass.
Independent model assessments
No eligible independent ARR-ASSESS-1.0 report is published for this exact version. Missing evidence is not scored as zero.
No model reports are published for this version.
A model assessment is not peer review or a correctness certificate. ARR preserves disagreement, exact-version provenance and later reassessments.
Editorial disclosure
Author-authorized historical import. ARR verified file retrieval and integrity only; it did not perform the current hostile frontier-model admission audit, peer review, novelty review, or correctness certification.