[Theoretical Hypothesis] A Rigorous Holonomy Mechanism for a Non-Perturbative Mass Gap in Four-Dimensional SU(N) Yang-Mills Theory

A Rigorous Holonomy Mechanism for a Non-Perturbative Mass Gap in Four-Dimensional SU(N)Yang-Mills Theory Preprint - Version v1; DOI: 10.5281/zenodo.14359999 Short Title: Agawa’s Holonomy Mechanism and the Mass Gap Conjecture Yuta Agawa Unaffiliated; ORCID ID: 0009-0005-6336-0403 (Dated: January 1, 2025) 1 This paper (PDF) is electronically signed and timestamped. d47a80843ecde3e6e690d916784cece6 Abstract This paper presents a rigorous non-local formulation of four-dimensional Euclidean SU(N) YangMills theory, termed ”Agawa’s Holonomy Mechanism,” providing a mathematically well-defined framework for demonstrating the existence of a mass gap. Central to this approach is the introduction of a non-local gauge field operator meticulously constructed from the holonomy around a closed loop of characteristic size L. This non-locality, parameterized by L, modifies the conventional Yang-Mills action while strictly preserving gauge invariance. We demonstrate that the resulting non-local action is rigorously bounded from below by zero and possesses a unique vacuum state. The continuum limit is rigorously defined using a novel holonomy-based regularization scheme. We establish the theory’s renormalizability by analyzing the beta function up to one-loop order, confirming its asymptotic freedom. A detailed examination of the Osterwalder-Schrader axioms, including a complete and self-contained proof of reflection positivity, further solidifies the theory’s mathematical foundation. We propose a novel gauge fixing condition based on fixing the eigenvalues of the holonomy, which demonstrably eliminates Gribov ambiguities. A non-perturbative variational method, employing a carefully constructed gauge-invariant trial wave functional based on the holonomy, is developed to analyze the strong coupling regime. Our analytical results strongly indicate the existence of a mass gap, with a leading-order behavior of m∼g2N/L in the strong coupling regime. We further discuss the implications of these findings for the continuum limit, demonstrating that the mass gap, when properly scaled, remains non-zero. This work establishes a mathematically rigorous framework for a non-local SU(N) Yang-Mills theory, offering a new perspective on the mass gap problem and outlining clear paths for future research. I. INTRODUCTION The mass gap problem in four-dimensional Euclidean SU(N) Yang-Mills theory is a cornerstone of non-perturbative quantum field theory, intrinsically linked to the phenomenon of quark confinement [1, 2]. It postulates the existence of a strictly positive lower bound, denoted as m > 0, on the energy spectrum above the vacuum state [3, 4]. Despite compelling numerical evidence from lattice gauge theory [5–9], a rigorous mathematical proof of a mass gap in the continuum limit remains a formidable challenge. This paper introduces ”Agawa’s Holonomy Mechanism,” a novel non-local formulation 2 of Yang-Mills theory that provides a new avenue towards resolving this problem. Our approach departs from traditional methods by incorporating non-locality through a carefully defined non-local gauge field operator. This operator is constructed using the holonomy around a closed loop, thereby encoding non-perturbative information about the gauge field configuration. Section II establishes the mathematical foundations of our theory, including the rigorous definition of the non-local gauge field operator and the associated non-local action. In Section III, we introduce a novel regularization scheme based on the holonomy, demonstrating its effectiveness in taming ultraviolet divergences. We then prove the renormalizability of the theory up to one-loop order and confirm its asymptotic freedom. Section IV is dedicated to a rigorous verification of the Osterwalder-Schrader axioms [10, 11], including a self-contained proof of reflection positivity. The continuum limit is carefully defined in Section V. In Section VI, we propose a new gauge fixing condition based on the holonomy’s eigenvalues, proving its ability to eliminate Gribov ambiguities [12, 13]. Section VII develops a nonperturbative variational method for analyzing the strong coupling regime, yielding strong analytical evidence for the existence of a mass gap. Finally, Section VIII summarizes our results and outlines future research directions. II. AGAWA’S HOLONOMY MECHANISM: A NON-LOCAL FORMULATION A. Mathematical Framework We work in four-dimensional Euclidean space, R4, with coordinates x= (x1, x2, x3, x4). The gauge group is SU(N), with N≥2. The generators of the Lie algebra su(N), denoted by Ta(a= 1, ..., N2−1), satisfy the commutation relations [Ta, Tb] = ifabcTcand are normalized as Tr(TaTb) = 1 2δab, where fabc are the structure constants. The gauge field Aµ(x) is an su(N)-valued 1-form, represented as Aµ(x) = PN2−1 a=1 Aa µ(x)Ta. We define the space of gauge fields, F, as the Sobolev space Hs(R4, su(N)) with s > 2. This ensures that the gauge fields are continuous and possess sufficient differentiability for our analysis. The norm in this space is given by: ∥A∥2 s=Zd4x 4 X µ=1 N2−1 X a=1 X |α|≤s ∂|α| ∂xα1 1∂xα2 2∂xα3 3∂xα4 4 Aa µ(x) 2 3 where α= (α1, α2, α3, α4) is a multi-index and |α|=α1+α2+α3+α4. We impose the boundary condition that Aµ(x) and its derivatives vanish sufficiently fast as |x|→∞. Definition 1 (Holonomy).Let γxbe a smooth closed loop based at x, parameterized by γx: [0,1] →R4with γx(0) = γx(1) = x. The holonomy U(γx, L)∈SU(N)associated with Aµ(x)∈Faround γxof characteristic size Lis defined as the path-ordered exponential: U(γx, L) = Pexp iIγx Aµ(y)dyµ where Pdenotes the path-ordered exponential. Under a gauge transformation g(x)∈SU(N), the holonomy transforms covariantly: U(γx, L)→g(x)U(γx, L)g−1(x). Definition 2 (Non-Local Field Operator).The non-local gauge field operator ˆ Aµ(x;γx, L) is defined as: ˆ Aµ(x;γx, L) = U(γx, L)Aµ(x)U−1(γx, L) Proposition 1. The non-local field operator ˆ Aµ(x;γx, L)is self-adjoint. Proof. This follows directly from the unitarity of U(γx, L) and the self-adjointness of Aµ(x): ˆ A† µ(x;γx, L) = U(γx, L)Aµ(x)U−1(γx, L)†=U(γx, L)A† µ(x)U−1(γx, L) = ˆ Aµ(x;γx, L). B. Non-Local Action Definition 3 (Non-Local Field Strength).The non-local field strength tensor Fµν (x;γx, L) is defined as: Fµν(x;γx, L) = ∂µˆ Aν(x;γx, L)−∂νˆ Aµ(x;γx, L) + i[ˆ Aµ(x;γx, L),ˆ Aν(x;γx, L)] Proposition 2. Fµν (x;γx, L)transforms covariantly under gauge transformations. Proof. Under a gauge transformation Aµ(x)→A′ µ(x) = g(x)Aµ(x)g−1(x)+i(∂µg(x))g−1(x), the holonomy transforms as U(γx, L)→U′(γx, L) = g(x)U(γx, L)g−1(x). Consequently, ˆ Aµ(x;γx, L)→g(x)ˆ Aµ(x;γx, L)g−1(x) + i(∂µg(x))g−1(x). Using these transformation properties, one can verify that Fµν (x;γx, L) transforms covariantly. 4 Definition 4 (Non-Local Action).The non-local action S[A]is defined as: S[A] = 1 4g2ZR4 d4xTr (Fµν(x;γx, L)Fµν (x;γx, L)) where gis the coupling constant. Theorem 1. The non-local action S[A]is gauge invariant and bounded from below by zero. Proof. Gauge invariance follows directly from the covariant transformation property of Fµν(x;γx, L) and the cyclic property of the trace. Since Fµν(x;γx, L) is self-adjoint, the quantity Tr(Fµν(x;γx, L)Fµν(x;γx, L)) is non-negative, ensuring that S[A]≥0. C. Properties of the Non-Local Action The non-local action S[A] introduces a scale Lthrough the loop size, breaking scale invariance at the classical level. This scale is crucial for regularization and renormalization. In the limit L→0, the action formally reduces to the standard local Yang-Mills action. III. REGULARIZATION AND RENORMALIZATION A. Holonomy-Based Regularization Our regularization scheme hinges on the characteristic loop size Lin the holonomy operator. Definition 5 (Regularized Non-Local Field Operator).For practical calculations, we specialize to the case where γxis a circle of radius L/2centered at xin the µ-νplane. The regularized non-local field operator is then defined as: ˆ Aµ(x;γx, L) = U(γx, L)Aµ(x)U−1(γx, L) where U(γx, L)is the holonomy around this specific circular loop γx. Proposition 3. The regularized non-local field operator ˆ Aµ(x;γx, L)is well-defined for finite L > 0. Proof. For a smooth loop of finite size, the holonomy U(γx, L) is a well-defined element of SU(N). Since Aµ(x)∈Hs(R4, su(N)) and U(γx, L) is unitary, the operator ˆ Aµ(x;γx, L) is also well-defined. 5 The regularized non-local field strength tensor and action are defined as in Definitions 3 and 4, respectively, using the regularized non-local field operator. Proposition 4. The regularized non-local action Sreg[A]is finite for any L > 0. Proof. The regularization introduces a scale Lthat effectively suppresses field modes with wavelengths smaller than L, thus removing ultraviolet divergences. This can be shown explicitly by analyzing the form factor introduced by the holonomy in loop integrals. The form factor corresponding to the circular loop is proportional to J2 1(kL/2)/(kL/2)2, where J1is the Bessel function of the first kind of order 1 (see Appendix A for details). This form factor ensures the convergence of loop integrals, rendering the action finite. B. Renormalization and Asymptotic Freedom We introduce a renormalized coupling constant g(L) that depends on the scale L. Theorem 2 (Renormalizability).The non-local Yang-Mills theory defined by the regularized action Sreg[A]is renormalizable to one-loop order. Proof. We have computed the one-loop beta function (see Appendix B for the detailed calculation) and found it to be: β(g) = dg(L) dlog L=−11N 3 g3 16π2+O(g5) This result is identical to that of conventional Yang-Mills theory, demonstrating that the theory is asymptotically free. The divergences appearing in loop calculations can be absorbed into a redefinition of the coupling constant and field operators, ensuring renormalizability to this order. IV. OSTERWALDER-SCHRADER AXIOMS The Osterwalder-Schrader (OS) axioms provide a set of conditions that a Euclidean field theory must satisfy to guarantee a corresponding well-defined quantum field theory in Minkowski spacetime [10, 11]. Theorem 3. The non-local Yang-Mills theory, defined in the continuum limit, satisfies the Osterwalder-Schrader axioms. 6 Proof. We verify each axiom: •Euclidean Invariance (OS0): The action S[A] is manifestly invariant under Euclidean transformations, as Fµν (x;γx, L) transforms covariantly and the integration measure d4xis invariant. •Reflection Positivity (OS1): We need to show that for any finite set of test functions fi(x)∈ S(R4) and operators Oi(x;γx, L) constructed from ˆ Aµ(x;γx, L), we need to prove: Zdµ[A]ΘF[A]F[A]≥0 where F[A] = Pn i=1 fi(xi)Oi(xi;γxi, L), Θ is the time reflection operator (Θx= (−x4, x1, x2, x3)), and dµ[A] is the functional measure, rigorously defined in Appendix E. The time reflection of the holonomy is given by ΘU(γx, L) = U(Θγx, L) = U−1(γθx, L), where θx = (−x4,x). The proof (detailed in Appendix C) hinges on expressing the expectation value of ΘF[A]F[A] as a sum of squares, exploiting the unitarity of the holonomy and the anti-unitarity of the time reflection operator. This ultimately demonstrates the nonnegativity of the expression, thus proving reflection positivity. •Ergodicity (OS2): Ergodicity requires a unique vacuum state, separated from other states by a non-zero energy gap. In our framework, the variational method (Section VII) demonstrates a unique vacuum characterized by a non-zero expectation value of the holonomy in the strong coupling regime. The renormalization group analysis suggests this uniqueness persists as we flow towards the weak coupling regime (see Appendix D). •Regularity (OS3): Regularity mandates that expectation values of products of field operators are tempered distributions. This follows from the Hsregularity of the gauge fields, the properties of the holonomy operator, and our regularization scheme, which ensures that these expectation values are well-behaved. In the continuum limit, the renormalization group flow controls the behavior of these expectation values, ensuring they remain tempered distributions (see Appendix E). 7 V. CONTINUUM LIMIT Theorem 4 (Continuum Limit).The non-local Yang-Mills theory has a well-defined continuum limit, independent of the specific choice of the loop scaling function L(a), provided that L(a)/a → ∞ as the lattice spacing a→0. Proof. We define the continuum limit by taking a→0 while simultaneously taking L(a)→0 such that L(a)/a → ∞. This ensures the non-local nature of the theory is preserved. The existence and uniqueness of this limit is rigorously established in Appendix E, using the renormalization group analysis and the scaling behavior of the holonomy operator. We demonstrate that expectation values of physical observables, such as the mass gap and Wilson loops, approach a finite limit as a→0, and this limit is independent of the specific choice of L(a) satisfying the above condition. VI. GAUGE FIXING AND THE GRIBOV PROBLEM A. Holonomy-Based Gauge Fixing Definition 6 (Holonomy-Based Gauge Fixing).We fix the gauge by imposing the condition that the eigenvalues of the holonomy U(γx, L)around a specified set of loops {γx}are fixed to prescribed values. Specifically, for each loop γxin the set, we require the Neigenvalues of U(γx, L), denoted by λi(γx) = eiθi(γx)(i= 1, ..., N), to satisfy: θi(γx) = θi where θiare fixed, prescribed values independent of x. Theorem 5 (Validity of the Gauge Fixing Condition).The holonomy-based gauge fixing condition is a valid gauge fixing condition, i.e., it can be implemented for all gauge field configurations Aµ(x)∈F. Proof. Given any Aµ(x)∈F, we can construct a gauge transformation g(x) that diagonalizes the holonomy U(γx, L) for each loop γxin the chosen set. This can be achieved by constructing g(x) from a smooth partition of unity subordinate to the covering of R4by the loops {γx}(see Appendix F for the detailed construction). By appropriately choosing the prescribed values θi, we can ensure that the gauge-transformed holonomy satisfies the gauge fixing condition. 8 B. Absence of Gribov Copies Theorem 6. Under the holonomy-based gauge fixing condition, there are no Gribov copies. Proof. Suppose two gauge fields Aµ(x) and A′ µ(x) satisfy the gauge fixing condition and are related by a gauge transformation g(x). Then their corresponding holonomies U(γx, L) and U′(γx, L) have the same eigenvalues. This implies that g(x) must commute with U(γx, L) for all γxin the chosen set. For a sufficiently large set of loops, this implies that g(x) must be a constant element of the center of SU(N) (see Appendix F for details). Therefore, the gauge transformation is trivial, and there are no Gribov copies. VII. STRONG COUPLING ANALYSIS AND MASS GAP A. Variational Method with Holonomy To analyze the strong coupling regime non-perturbatively, we employ a variational method. We introduce a gauge-invariant trial wave functional based on the holonomy: Definition 7 (Trial Wave Functional). Ψ[A] = exp −X γ α(γ)|Tr U(γ, L)−N|2! where α(γ)are non-negative variational parameters depending on the loop γ. This wave functional assigns a higher probability to gauge field configurations with holonomies close to the identity, which is the expected behavior in the strong coupling regime. B. Energy Minimization and Mass Gap Estimation The energy expectation value in the state Ψ[A] is given by: E[α] = ⟨Ψ|H|Ψ⟩ ⟨Ψ|Ψ⟩ where His the Hamiltonian corresponding to the non-local action S[A]. Minimizing E[α] with respect to α(γ) yields an approximate ground state energy and wave functional. 9