A tree-free approach to 3D Yang-Mills Langevin dynamic. Analytic estimates and the existence of a model for a regularity structure

Abstract: Using the multi-index approach to regularity structures due to F. Otto et al., we construct a regularity structure and a model for it associated to the stochastic Langevin equation for the 3D Euclidean Yang-Mills functional. For the model we also obtain global stochastic and global pointwise weighted Besov type estimates which hold almost surely. The model is defined as a limit of a sequence of smooth models introduced with the help of a mollified noise. When the mollification is removed the sequence converges in a certain topology defined with the help of the stochastic estimates. To obtain these results we develop the multi-index approach for systems of equations with vector-valued white noises. This project is motivated by the problem for constructing 3D Euclidean Yang-Mills measure and by the earlier results of the author on the related problem of canonical quantization of the Yang-Mills field on the Minkowski space.

• The paper introduces a tree-free multi-index regularity structure to construct solutions for the singular 3D Yang–Mills Langevin SPDE.
• It establishes uniform analytic bounds and convergence using global Besov estimates and a generalized BPHZ renormalization method.
• Implications include enhanced canonical quantization and simulation techniques for gauge theories and nonperturbative quantum field models.

Analytic Models for 3D Yang–Mills Langevin Dynamics via Tree-Free Regularity Structures

---

Introduction and Motivation

The paper develops a rigorous analytic framework for studying the 3D Euclidean Yang–Mills Langevin dynamics, focusing on the stochastic partial differential equations (SPDEs) underlying gauge theory. The main challenge addressed is the mathematical construction of the 3D Yang–Mills measure, a cornerstone unresolved question in quantum field theory with implications for the quantization of the non-abelian Yang–Mills Hamiltonian and the mass gap problem (see the Clay Millennium Prize).

The Langevin formulation for the Euclidean Yang–Mills functional leads to a singular SPDE with non-elliptic structure and vector-valued white noise, posing severe obstacles for the study of existence, uniqueness, and regularity of solutions in function spaces relevant for gauge theory. Traditional renormalization based on combinatorics of trees, following Hairer’s regularity structures, becomes highly complex for such systems. This work adopts a multi-index (tree-free) approach to regularity structures, building on recent advances [BOS, BOT, LOTT], to efficiently encode the algebraic and analytic aspects needed to construct solutions and models.

---

Langevin Dynamics and Measure Construction

The dynamics considered are the gradient flow of the Yang–Mills action on gauge connections over $\mathbb{R}^3$, perturbed by a mass term and vector-valued Gaussian white noise. Formally, the Langevin equation reads: $$\partial_t A = -d_A^* F_A - d_A d^* A - m^2 A + \xi^\rho + c A$$ where $A$ is a Lie algebra-valued 1-form, $d_A^*$ the adjoint covariant derivative, $F_A$ the curvature, $m^2 > 0$ the mass parameter, $\xi^\rho$ the mollified white noise, and $c$ a counterterm (renormalization parameter) polynomial in the gauge coupling $g$. The operator $L = \partial_t - \Delta + m^2$ couples nonlinearity, noise, and indefinite gauge invariance.

The construction of the corresponding Yang–Mills measure as an invariant distribution of this SPDE is highly nontrivial due to the distributional (almost surely non-function) nature of the noise. Standard mollification fails to yield solutions continuous in the regularization parameter; hence, renormalization via counterterms and analytic structures is necessary.

---

Tree-Free Multi-Index Regularity Structures

Model Space and Indexing

A multi-indexed approach replaces tree combinatorics with multi-indices over monomials in derivatives, mass, and gauge coupling, yielding tractable index sets and algebra. This yields a model space $$\partial_t A = -d_A^* F_A - d_A d^* A - m^2 A + \xi^\rho + c A$$0 graded by homogeneity, indexed by multi-indices capturing the structure of nonlinearities in the Yang–Mills system.

The homogeneity function is adapted to the parabolic scaling, with $$\partial_t A = -d_A^* F_A - d_A d^* A - m^2 A + \xi^\rho + c A$$1, ensuring local finiteness of the index set. The handling of vector-valued noise and gauge structure is encoded by working in tensor products over the Lie algebra and spatial components.

Model Construction

The model is constructed as the limit of mollified (smooth) models. For each multi-index, a sequence of random variables (recentered maps) $$\partial_t A = -d_A^* F_A - d_A d^* A - m^2 A + \xi^\rho + c A$$2 (and their canonical lifts) are constructed inductively, exploiting the analytic properties of the heat kernel with mass and the combinatorics of the multi-index formalism. Counterterms are fixed via a generalized BPHZ (Bogoliubov–Parasiuk–Hepp–Zimmermann) renormalization prescription, chosen to ensure convergence of the model as the mollification is removed.

Structure Group and Automorphisms

An explicit, non-recursive construction of the structure group is provided, describing the allowed changes of basepoints (the algebraic realization of Taylor expansions) and relating models at distinct points via explicit automorphisms. This construction generalizes Hairer’s approach and satisfies key triangularity and compatibility conditions required for the full regularity structure.

---

Analytic and Probabilistic Estimates

Global and Local Besov Type Bounds

The authors establish moment and almost-sure weighted Besov space estimates for the model components, uniform in the mollification parameter and global in space-time. These bounds are crucial for:

• Ensuring compactness and convergence in the model topology,
• Proving the existence of limiting models as mollification is removed,
• Enabling the lift and reconstruction of the renormalized SPDE.

Malliavin Calculus and Stochastic Estimates

The multi-index approach facilitates Malliavin derivatives and spectral gap inequalities, permitting control on the random model as the regularization vanishes. Key stochastic bounds use global Schauder and Sobolev embeddings adapted to the parabolic setting, supporting pointwise uniformity.

Inductive Proof Strategy

The paper provides a detailed, inductive proof schema based on the homogeneity grading, establishing progressively stronger uniform bounds (in $$\partial_t A = -d_A^* F_A - d_A d^* A - m^2 A + \xi^\rho + c A$$3 and almost surely) for the renormalized model under the BPHZ condition. The induction exploits the triangularity of the structure group and the boundedness of the model space at each homogeneity level.

---

Implications and Future Directions

The analytic and probabilistic construction achieved in this work provides a nonperturbative, tree-free foundation for the (regularity structure) solution theory of the 3D Yang–Mills Langevin equation in unbounded domains. This has several theoretical and practical implications:

• Canonical Quantization: The results are immediately relevant for rigorous Hamiltonian quantization and spectral gap analysis in non-abelian gauge theories;
• Stochastic Gauge Theory: The model sets a technical basis for studying Euclidean Yang–Mills measures in infinite-dimensional settings, supporting the physical interpretation of stochastic gauge field evolutions;
• Renormalization: The approach generalizes classical and Hairerian renormalization to multi-index, vector-valued, and (potentially) higher-rank systems;
• Numerics and Simulation: The explicit structure group and analytic bounds invite computational approaches to simulating the dynamics and invariant measures for mathematical and physical applications.

The methodology is readily extendable to other singular SPDEs with vector or matrix-valued noise, possibly on manifolds or with boundaries, promising advances in constructive quantum field theory and rigorous statistical mechanics.

---

Conclusion

This paper makes significant technical progress in the rigorous analysis of singular vector-valued SPDEs arising in Yang–Mills theory, leveraging a multi-index (tree-free) regularity structure. Analytic and stochastic uniform estimates for the model and its components, combined with explicit algebraic constructions, demonstrate the viability of this approach for tackling open problems in constructive gauge field theory and provide a foundation for future research in singular SPDEs and quantum field models.