🔢 mathematics

A variational approach for the 2D Abelian Yang-Mills-Higgs measure

This paper presents the first rigorous construction of the interacting Abelian Yang-Mills-Higgs measure on the two-dimensional torus with polynomial potentials by applying the Boué-Dupuis variational method to both the Higgs and gauge fields, while also establishing exponential integrability, gauge covariance, and a large-deviation principle for gauge-invariant observables.

Original authors: Nikolay Barashkov, Ajay Chandra, Ilya Chevyrev, Andreas Koller, Abdulwahab Mohamed

Published 2026-09-21

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Nikolay Barashkov, Ajay Chandra, Ilya Chevyrev, Andreas Koller, Abdulwahab Mohamed

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the vast landscape of theoretical physics, there exists a class of theories designed to describe how the fundamental forces of nature interact with matter. Among these, the Yang–Mills–Higgs model stands out as a cornerstone for understanding the universe at its smallest scales. It describes a scenario where a "gauge field," which acts like a force carrier, is coupled to a "Higgs field," a substance that gives particles their mass. While physicists have long used this model to make predictions, a rigorous mathematical proof of its existence in two dimensions has remained elusive. The challenge lies in the fact that the equations describing these fields involve quantities that are infinitely large or undefined when treated with standard mathematical tools. To make sense of them, researchers must perform a delicate process called renormalization, which involves subtracting these infinities in a way that preserves the physical laws of the system. Without a solid mathematical foundation, the model remains a powerful but unproven hypothesis in the realm of constructive quantum field theory.

A team of mathematicians has now successfully constructed a rigorous version of this interacting gauge theory on a two-dimensional torus, a shape that can be visualized as a flat surface with opposite edges connected, like the surface of a video game world. Their achievement marks the first time this specific interacting theory has been built using a variational approach, a method that treats the problem as one of finding the most efficient path through a landscape of possibilities. Instead of trying to solve the equations directly, which is impossible due to the infinities involved, the researchers used a technique that rephrases the problem in terms of probability and optimization. They began by isolating the Higgs field, the component responsible for mass, and treating it as a field that exists in the presence of a fixed, random gauge field. By carefully analyzing how this Higgs field behaves under these conditions, they were able to integrate it out, effectively removing it from the equation to reveal a new weight, or influence, that it exerts on the gauge field alone.

The core of their work involved a two-step process of refinement. First, they established a stable mathematical framework for the Higgs field, ensuring that even when the underlying gauge field was rough and irregular, the Higgs field could still be defined with precision. This required proving that the field remained well-behaved and did not explode into chaos. Once this conditional behavior was secured, they turned their attention to the gauge field itself. The influence of the Higgs field on the gauge field was complex, so the team applied the same variational method a second time to control this interaction. This allowed them to prove that the combined system of the gauge and Higgs fields converges to a single, well-defined probability measure as the mathematical approximations become infinitely fine. In doing so, they demonstrated that the theory is not just a collection of formal symbols but a genuine mathematical object that exists and behaves consistently.

The researchers also confirmed that their constructed measure respects the fundamental symmetry of the theory, known as gauge covariance. This means that the physical predictions do not change if the mathematical description is shifted in a specific way, a property that is essential for the theory to represent a real physical force. Furthermore, they established that the system obeys a large deviation principle in the semiclassical limit. This result connects their probabilistic construction back to the classical action of the theory, showing that in the limit where quantum effects become small, the system behaves exactly as the classical equations of motion predict. The work provides a concrete link between the abstract, probabilistic world of quantum fields and the deterministic world of classical physics, validating the use of the Yang–Mills–Higgs action as a true description of nature in two dimensions.

This construction is significant because it moves the theory from the realm of heuristic calculation to rigorous proof. The team did not merely simulate the system or suggest that it might work; they proved that the limit of their regularized measures exists and is unique. They showed that the infinities that plague such theories can be tamed through a systematic process of subtraction and redefinition, resulting in a finite, stable object. Their findings confirm that the Abelian Yang–Mills–Higgs model on a two-dimensional torus is a mathematically sound theory, capable of describing the interaction between force and matter with absolute precision. This breakthrough opens the door for further exploration of gauge theories, providing a solid foundation upon which more complex models of the universe can be built and understood.

Technical Summary: A Variational Approach for the 2D Abelian Yang–Mills–Higgs Measure

Problem Statement
The paper addresses the rigorous construction of the Abelian Yang–Mills–Higgs (YMH) measure on the two-dimensional torus $T^2$ . The model describes a gauge field $A$ (an $i\mathbb{R}$ -valued 1-form) coupled to a Higgs field $\phi$ (a complex scalar field) via the action:
$S_{YMH}(A, \phi) = \frac{1}{2} \int_{T^2} (|dA|^2 + |d_A\phi|^2) dx + \int_{T^2} V(|\phi|^2) dx,$
where $V$ is a polynomial potential with a leading term $c_n |\phi|^{2n}$ ( $n \ge 2$ ). The formal Gibbs measure is $d\mu_{YMH} \propto \exp(-S_{YMH}) dA d\phi$ .

The construction faces three primary difficulties:

Infinite Dimensionality: The formal Lebesgue measure $dA d\phi$ does not exist.
Distributional Nature: In dimensions $d \ge 2$ , the reference Gaussian measures are supported on spaces of distributions, making non-quadratic terms (like $V(|\phi|^2)$ ) ill-defined without renormalisation.
Gauge Degeneracy: The quadratic form $A \mapsto \|dA\|_{L^2}^2$ vanishes on closed 1-forms, preventing the definition of a Gaussian probability measure on the space of all gauge fields. This necessitates gauge fixing (specifically, the Coulomb gauge is used here) and careful handling of the harmonic component.

While previous works (e.g., Brydges–Fröhlich–Seiler, King) constructed related models using renormalisation group techniques or stochastic quantisation (Langevin dynamics), this paper aims to provide a direct continuum construction using probabilistic variational methods.

Methodology
The authors employ the Boué–Dupuis variational formula, which represents the free energy (logarithm of the partition function) of a measure defined by a Brownian motion as an infimum over drifts. The construction proceeds via a two-step, iterated variational approach:

Conditional Higgs Construction:
- The Higgs field is first constructed conditioned on the gauge field. The reference measure is a covariant Gaussian free field (GFF) associated with the renormalised covariant Laplacian $L_A = d_A^* d_A$ .
- Due to the roughness of the gauge field (which is a distribution), the authors introduce an enhanced state space $X^{-\kappa}$ containing the gauge field and its renormalisation data.
- They establish resolvent estimates for the renormalised covariant Laplacian $L_{A,B}$ (where $B$ is a smooth drift) to control the regularity of the Higgs field.
- The interaction potential is handled via Wick renormalisation. The authors prove that the conditional Higgs measure converges and that its free energy depends continuously on the enhanced gauge field.
Gauge Field Construction:
- Integrating out the Higgs field produces a weight on the gauge field, which includes a renormalised ratio of determinants (comparing the covariant and free Laplacians) and the conditional Higgs partition function.
- The authors apply the Boué–Dupuis formula a second time to the gauge field. This requires controlling the "free energy" of the gauge field, which involves the determinant ratio.
- A key technical challenge is the vacuum polarisation term in the determinant ratio, which diverges as the UV cutoff is removed. The authors define an enhanced state space $X^{-\kappa}_V$ that includes a specific $L^1$ component representing the renormalised vacuum polarisation.
- They prove that the ratio of determinants converges and satisfies necessary lower bounds (coercivity) to ensure the variational problem is well-posed.

Key Contributions and Results

Rigorous Construction: The paper provides the first rigorous construction of an interacting gauge theory (Abelian YMH) using the Boué–Dupuis variational method.
Convergence of Laplace Transforms: The main result (Theorem 1.1) establishes that the Laplace transforms of the regularised measures $\mu_{YMH}^{N,T}$ converge as the UV cutoffs ( $N, T \to \infty$ ) are removed. This implies the weak convergence of the measures to a probability measure $\mu_{YMH}$ on the space of distributional fields $\Omega^1 S'(T^2) \times S'(T^2)$ .
Absolute Continuity: The gauge marginal of the constructed measure is shown to be absolutely continuous with respect to the pure Yang–Mills reference measure.
Exponential Integrability: The authors prove new exponential integrability estimates for the joint gauge-Higgs field (Theorem 1.2), showing that moments of the form $E[\exp(\eta_A \|A\|_{C^{-\kappa}}^2 + \eta_\Phi \|\phi\|_{C^{-\kappa}}^{2n})]$ are finite.
Gauge Covariance: The construction is shown to be gauge covariant (Proposition 1.3). The measure can be constructed in linear covariant gauges (Theorem 1.5), and the resulting measures coincide on gauge-invariant observables.
Large Deviation Principle: Leveraging the variational representation, the authors establish a large deviation principle (LDP) for the measure in the semiclassical limit ( $\epsilon \to 0$ ). The rate function is identified as the classical action $S_{YMH}$ (Theorem 1.7).

Significance
The paper claims to offer a "direct and comparatively transparent continuum construction" of the 2D Abelian YMH measure. Its significance lies in:

Methodological Advancement: It demonstrates the power of the Boué–Dupuis variational method for constructing interacting gauge theories, extending previous applications of this method to pure Yang–Mills and scalar field theories.
Handling Gauge Invariance: It successfully navigates the degeneracy of the gauge field quadratic form and the singular nature of the Higgs-gauge coupling without relying on stochastic quantisation dynamics, providing a static construction.
New Analytical Tools: The development of resolvent estimates for the renormalised covariant Laplacian on rough enhanced gauge fields and the analysis of the determinant ratio in this context provide new tools for the study of singular stochastic PDEs and constructive quantum field theory.
Semiclassical Connection: The derivation of the large deviation principle provides a concrete link between the constructed quantum measure and the classical YMH action, validating the physical intuition of the model.

The authors note that while the construction is specific to the Abelian case on $T^2$ , the techniques involving enhanced state spaces and iterated variational formulations may be relevant for more complex non-Abelian theories, though such extensions are not claimed in this work.

More like this