Variational and Operator-Theoretic Analysis of Spectral Gaps in Yang–Mills Hamiltonians
摘要
We present a constructive, gauge-invariant framework for non-Abelian Yang–Mills theory in four-dimensional Minkowski space, developed via an autonomous symbolic discovery engine called NEXUS. Starting from canonical quantization in the Weyl gauge, we synthesize a BRST-invariant Hamiltonian operator that preserves gauge symmetry, self-adjointness, and Osterwalder–Schrader reflection positivity. Through variational analysis on explicitly constructed trial functionals, we establish a non-zero lower bound between the vacuum and the first gauge-invariant excitation. This spectral gap aligns quantitatively with predictions from lattice QCD and supports the emergence of glueball-like excitations. The methodology integrates operator analysis, BRST cohomology, Euclidean reconstruction, and renormalization group stability, offering a formal framework for probing nonperturbative spectral structure in quantum gauge theories. Our approach highlights the potential of symbolic AI systems in deriving rigorous results within mathematical physics.