Research paperHistorical importARR-2026-1DNF7Z9F579X8SQA · v1 · 2026-07-13

Exact Two-Dimensional SU(2) Yang-Mills in Lean: Weyl Integration, Heat-Kernel Convolution, Migdal Invariance, and the Exact Simple-Loop Area Law

Lluis Eriksson

Abstract

SUPERSEDED BY AI.VIXRA:2607.0039V1 FOR THE ORIGINAL-EDGE AND TREE-COTREE CLOSURE. This replacement preserves public version 1 and corrects its publication-level scope. Version 1 establishes the compact-group analytic chain, heat-kernel reductions, schedule independence and reduced-model results, but pages 7 and 9 leave open the bridge from the post-gauge-fixed evaluator to the original-edge physical integral for arbitrary cellulations. ai.viXra:2607.0039v1 supplies the missing original-edge gauge fixing, simultaneous face-holonomy transport and compatible tree-cotree closure and is therefore the authoritative source for the full exact simple-loop area-law theorem at the stated finite two-dimensional SU(2) heat-kernel scope. Neither paper constructs four-dimensional continuum Yang-Mills theory or proves a four-dimensional mass gap. The preserved version 1 follows the two-page notice unchanged.

Download mirrored PDFDownload release assetsBrowse plain sources
Original depositai.vixra first-submission history · source omits timezone
Historical mirrorv2Author-authorized ARR bulk release · SHA-256 recorded
Mirrored PDF downloadsNot measuredBulk historical-release assets are not yet included in ARR's per-record download snapshot.
Page viewsNot measuredPage views are not measured until ARR connects a privacy-reviewed, no-cookie analytics source.
Definitions and rankings →
Not yet rated

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.

  • v2 · original ai.vixra file
  • v1 · original ai.vixra file

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.

    Longitudinal frontier-model record

    Independent model assessments

    Read the scale and limits
    Not yet rated

    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.