What question did this study set out to answer?

The research aims to establish the existence of a mass gap in Yang-Mills theories under certain hypotheses.

April 23, 2026Open Access

The Yang-Mills Mass Gap via Gauge Absorption and Perelman W-Entropy

Key Points

The research aims to establish the existence of a mass gap in Yang-Mills theories under certain hypotheses.
Conditional proof based on 20 established hypotheses.
Utilization of perturbative quantum field theory formulas.
Formal verification using Lean 4 programming.
Proved the existence of the Yang-Mills mass gap conditionally.
Identified 5 key theorems and propositions regarding mass gap behavior.
Contributed to ongoing mathematical physics discourse through formal verification.

Abstract

Theorem A (Main result, conditional). Conditional on the 20 named Tier A–D hypotheses of §7. 1 — in particular the three Tier-D perturbative-QFT inputs (tomboulisformula, bᵦerofromfeynman, beta₁ᵣgedef) — we establish that Yang-Mills t Key results: 5 theorems/propositions. Maturity: Draft. Target venue: Communications in Mathematical Physics. Includes formal verification (Lean 4 / Platonic kernel). Part of The Latent research program. Related papers in this program: Pde Tensor Algebra, Phy Navier Stokes Latent, Universal.

The Yang-Mills Mass Gap via Gauge Absorption and Perelman W-Entropy

Key Points

Abstract

Cite This Study