Cover Image

Lean4/Vacuum-sector-mass-gap-for-the-local-gauge-invariant-sharp-local-Yang-Mills-net

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	somamaley-ux
Format:	Recurso digital
Published:	Zenodo 2026
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Vacuum-sector mass gap for the local gauge-invariant sharp-local Yang–Mills net
by: Maley, Amos Jay
Published: (2026)

Lean4/Forty Two Exhaustion, Closure, and Downstream Consequence
by: somamaley-ux
Published: (2026)

Positive mass gap of quantum Yang-Mills Fields
by: Lim, Adrian P. C.
Published: (2023)

From Hadronic Degeneracy to the Pure Yang-Mills Vacuum:
by: Tanan, Yassin
Published: (2026)

vv3177259436-ux/PDF: 测试doi
by: vv3177259436-ux
Published: (2026)

vv3177259436-ux/PDF: 测试doi_v5
by: vv3177259436-ux
Published: (2026)

The local moduli space of the Einstein-Yang-Mills system
by: Bunk, Severin, et al.
Published: (2023)

Yang--Mills Mass gap solution for clay
by: Hoey, BENJAMIN
Published: (2026)

Parabolic gap theorems for the Yang-Mills energy
by: Dayaprema, Anuk, et al.
Published: (2024)

Almost gauge-invariant states and the ground state of Yang-Mills theory
by: Mariani, A.
Published: (2024)

On the gauge invariance of the higher-derivative Yang-Mills-Chern-Simons action
by: Ghasemkhani, M., et al.
Published: (2024)

Quintessence Dark Energy from non-perturbative Higgs-Yang-Mills mass gap
by: Frasca, Marco, et al.
Published: (2025)

An Analytic Yang-Mills Vacuum Calculation in $3+1d$
by: Grable, Seth
Published: (2024)

The resurgence of errors in the localization of $\mathcal{N} = 2$ superconformal Yang-Mills
by: Aniceto, Inês, et al.
Published: (2026)

The thinking of the Yang-Mills existence and mass gap problem: Part 1, Topological Quantum Field Theory and Algebraic Geometry Path to Yang-Mills Existence and Mass Gap Issue
by: ZHOU, changzheng, et al.
Published: (2025)

Strong CP as an Infrared Holonomy: The $θ$ Vacuum and Dressing in Yang-Mills Theory
by: Gamboa, Jorge, et al.
Published: (2025)

Einstein and Yang-Mills implies conformal Yang-Mills
by: Blitz, Samuel, et al.
Published: (2026)

Normal-Yang-Mills and Tangent-Yang-Mills submanifolds
by: Ge, Jianquan, et al.
Published: (2026)

Retrieving Yang--Mills--Higgs fields in Minkowski space from active local measurements
by: Chen, Xi, et al.
Published: (2022)

Integrating curved Yang-Mills gauge theories
by: Fischer, Simon-Raphael
Published: (2022)

Remarks on the dynamical mass generation in confining Yang-Mills theories
by: S. P. Sorella
Published: (2006)

CFP-MCFP: Machine-Verified Proofs of Riemann Hypothesis, Goldbach, Yang-Mills, Fermat, Beal, Collatz — Lean 4 Theorem Prover
by: Salden, Alfons H.
Published: (2026)

A spectral localizer approach to strong topological invariants in the mobility gap regime
by: Stoiber, Tom
Published: (2024)

The Yang–Mills Addendum
by: Brown, Nicolas Antony
Published: (2026)

On the consistency of Lorentz-Violating Yang-Mills theories: Gauge invariance and non-perturbative effects
by: Pereira, Antonio D.
Published: (2024)

Lorentzian symmetric spaces which are Einstein-Yang-Mills with respect to invariant metric connections
by: López, Marco Castrillón, et al.
Published: (2025)

Functoriality in Finitary Vacuum Einstein Gravity and Free Yang-Mills Theories from an Abstract Differential Geometric Perspective
by: Raptis, Ioannis
Published: (2024)

Towards tree Yang-Mills and Yang-Mills-scalar amplitudes with higher-derivative interactions
by: Zhou, Kang, et al.
Published: (2024)

Residual gauge symmetry and color confinement in the Yang-Mills theory
by: Fukushima, Naoki, et al.
Published: (2025)

't Hooft loops in N=4 super-Yang-Mills
by: Kristjansen, Charlotte, et al.
Published: (2024)

Unfolded Formulation of 4d Yang-Mills Theory
by: Misuna, Nikita
Published: (2024)

Gauge invariant method for maximum simplification of the field strength in non-Abelian Yang-Mills theories
by: Garat, Alcides
Published: (2013)

Yang-Mills Meets Data
by: Cassel, Jonas, et al.
Published: (2025)

Exact Green's function for fermions in an external Yang-Mills gauge field
by: Parazian, V. V.
Published: (2025)

Solution of the Klein-Gordon equation in external Yang-Mills gauge field
by: Parazian, V. V.
Published: (2025)

Weakly stable irreducible Yang-Mills fields over $S^4$
by: Ge, Jianquan, et al.
Published: (2026)

Generating 4-dimensional Wormholes with Yang-Mills Casimir Sources
by: Santos, A. C. L., et al.
Published: (2024)

Composite operators in $\mathcal{N}=4$ Super Yang-Mills
by: Bissi, Agnese, et al.
Published: (2024)

From Yang-Mills to Yang-Baxter: In Memory of Rodney Baxter and Chen--Ning Yang
by: Wang, Bai-Ling
Published: (2025)

Yang-Mills Existence and Mass Gap
by: Keen, Joseph
Published: (2026)