mass-gap

From topology to first principles.

Lean 4 scaffold for formalizing the Yang–Mills existence and mass gap problem, with checked finite-dimensional certificates and a staged continuum-lift program.

Unified Information-Density Theory v3.9 - Vacuum Information Density as the Fundamental Geometric Scalar: A Proposed Theoretical Framework for the Yang-Mills Mass Gap and Gamma-Scaling Unification

⚠️ DEPRECATED - This repository has been superseded by v3.7.2. New location: https://github.com/Mass-Gap/UIDT-Framework-v3.7.2-Canonical | DOI: 10.5281/zenodo.17835200

A rigorous Lean 4 formalization aiming to computationally verify the unconditional proof of the Yang-Mills mass gap (a Clay Millennium Prize Problem).

Unconditional proof of SU(3) lattice YM mass gap at β₀=ln 8 — Bessel N=5 w1<1/7 + Gross-Witten identity closed → ρ<1/7 → Δ>0. Lean 4.12 664 lemmas 0 sorry trio only 0 OPEN 0 gaps.

This repository presents a constructive solution to the Yang–Mills existence and mass gap problem, a Clay Millennium Prize topic. The framework confirms the existence of a positive mass gap through verifiable quantum field logic. 本リポジトリでは、クレイ懸賞問題のひとつであるヤン–ミルズ存在と質量ギャップ問題に対し、構成的に正の質量ギャップの存在を示す理論を収録しています。量子場理論に基づき、検証可能な構成を整備しています。

A minimal reductio argument identifying a logical tension in the standard formulation of the Yang–Mills mass gap problem.

A multi-agent AI framework formalizing the Yang-Mills Mass Gap finite-lattice theory in Lean 4 without axioms or sorry.

Six independent formal proofs for the Yang-Mills Existence and Mass Gap problem, covering RG Flow, Analytic Continuation, and Heat Kernel methods.

Spectral Electromagnetic Confinement Theory (SECT). Teoría de campo clásica efectiva para solitones electromagnéticos topológicos autoconfinados, independiente de QCD/Higgs.

🔍 Verify and certify analytic bounds related to the Yang–Mills mass gap problem using reproducible computer-assisted scripts.