On the Leading Order Term of the Lattice Yang-Mills Free Energy

This paper provides an equivalent characterization of the previously unknown constant $K_d$ in the leading order term of the $\text{U(N)}$ lattice Yang-Mills free energy by adjusting boundary conditions, thereby enabling its explicit computation.

The Gist

The Big Picture: Measuring the "Cost" of a Grid

Imagine you are building a giant, multi-dimensional grid (like a 3D checkerboard, but with more dimensions). On every line connecting the dots of this grid, you place a tiny, spinning dial. In physics, this setup is called Lattice Yang-Mills theory. It's a mathematical model used to describe how fundamental particles (like quarks) interact.

The main question this paper tackles is: What is the "free energy" of this massive grid?

Think of "free energy" as the total "cost" or "effort" required to keep this grid in a specific state. As the grid gets infinitely large (infinite number of dots), calculating this cost becomes incredibly hard. However, physicists know that for very large grids, the cost is dominated by a specific, simple pattern. The paper's goal is to find the exact formula for this dominant pattern.

The Problem: A Missing Piece of the Puzzle

In a previous study (referenced as [26] in the text), scientists figured out almost the entire formula for this cost. They found that the total cost is made of three parts:

1. A part that depends on how strong the connections are (the "coupling").
2. A part that depends on the size of the grid.
3. A mysterious constant called $K_d$.

The previous study proved that $K_d$ exists, but they couldn't write down a specific number or formula for it. It was like solving a math problem and getting an answer like "5 plus some unknown number $X$." The paper you are reading here is dedicated to finding out exactly what $X$ is.

The Solution: Changing the Rules of the Game

To solve for $K_d$, the author uses a clever trick involving "boundary conditions."

The Analogy of the Fence:
Imagine you have a large field of wind turbines (the grid). To calculate the energy of the wind, you need to know how the wind behaves at the edges of the field.

• The Old Way (Axial Gauge): In the previous study, they set up a very specific, rigid fence around the field. This fence forced the wind to stop completely in certain directions along the edges. This made the math very stable but very hard to solve explicitly.
• The New Way (Periodic Boundary): The author of this paper says, "What if we imagine the field is actually a giant donut (a torus)?" On a donut, if you walk off the right edge, you instantly reappear on the left edge. There are no hard edges or fences.

The author proves that even though the "fence" method and the "donut" method look different, they result in the exact same cost ($K_d$) when the grid becomes infinitely large.

The Magic Tool: Fourier Transforms

Once the author switches to the "donut" (periodic) version, the math becomes much easier.

The Analogy of a Prism:
Imagine shining white light through a prism. The white light (the complex grid) splits into a rainbow of distinct colors (simple waves).
In mathematics, this is called a Fourier Transform. By switching to the "donut" shape, the author can split the complex grid into simple, independent waves. Instead of trying to calculate the energy of the whole tangled mess at once, they can calculate the energy of each simple wave and add them up.

The Final Result

By using this "donut" trick and splitting the problem into simple waves, the author derives an explicit formula for $K_d$.

The formula looks like this:
$$K_d = -\frac{d-2}{2} \int \log(\text{something related to waves})$$

What does this mean in plain English?
The paper reveals that the mysterious constant $K_d$ is essentially the free energy of $d-2$ independent, simple waves moving on a grid.

• If you are in 2 dimensions ($d=2$), the cost is zero (because $2-2=0$).
• If you are in 3 dimensions ($d=3$), the cost is equivalent to one simple wave.
• If you are in 4 dimensions ($d=4$), the cost is equivalent to two simple waves.

Why is this important?

The paper doesn't just give a number; it explains why the number is what it is. It shows that the complex, messy behavior of the grid (Yang-Mills theory) simplifies down to the behavior of simple, independent waves (Maxwell theory) when you look at the big picture.

The author also clarifies a confusing point: You might expect the cost to be related to $d-1$ waves (since one direction is "fixed" by the fence), but the math shows it's actually $d-2$. The paper explains that this is because the "fence" (axial gauge) removes one more degree of freedom than you might initially think, leaving exactly $d-2$ independent waves to carry the energy.

Summary

The paper takes a difficult, unsolved piece of a complex physics puzzle (the constant $K_d$), changes the rules of the game to make the math easier (switching from a fenced grid to a donut-shaped grid), and solves it. The result is a clear, explicit formula showing that the "cost" of this grid is determined by the behavior of $d-2$ simple waves.

Technical Summary

Technical Summary: On the Leading Order Term of the Lattice Yang-Mills Free Energy

Problem Statement
The paper addresses a specific open problem within the rigorous mathematical construction of Euclidean lattice Yang-Mills theories. While the leading order term of the free energy for $U(N)$ lattice Yang-Mills theory on a hypercubic lattice $\Lambda_n = \{0, \dots, n\}^d$ (for $d \ge 2$) was previously derived in [26], the result contained an undetermined constant $K_d$. This constant represents the limiting free energy of lattice Maxwell theory (the Gaussian approximation of Yang-Mills theory) under axial gauge boundary conditions. Although [26] established the existence of $K_d$ and noted its independence from the gauge group $N$, it left the explicit computation of $K_d$ as an open question. The primary objective of this work is to provide an explicit formula for $K_d$.

Methodology
The author employs a combination of lattice gauge theory, spectral analysis of discrete operators, and asymptotic analysis of free energy densities. The methodology proceeds through the following steps:

1. Identification of the Covariance Operator: The paper begins by identifying the quadratic form $\Sigma_n$ associated with the lattice Maxwell theory in the axial gauge (defined in [26]) with a specific lattice differential operator $Q_d$. This operator acts on the space of discrete one-forms $\ell_2(\mathbb{Z}^d)^d$. The author establishes that $\Sigma_n$ corresponds to the restriction of $Q_d$ to the subspace $\Omega_{n}^{1,a}$, which encodes the axial gauge boundary conditions, minus a perturbation term $R_d$ supported on the boundary of the lattice.
2. Spectral Analysis and Perturbation: Using the min-max principle for eigenvalues, the author demonstrates that the perturbation $R_d$ (which has rank proportional to the boundary volume $O(n^{d-1})$) is negligible in the thermodynamic limit ($n \to \infty$) when computing the free energy density. This allows the problem to be reduced to analyzing the operator $Q_d$ restricted to $\Omega_{n}^{1,a}$.
3. Transition to Periodic Boundary Conditions: To facilitate explicit computation, the author compares the operator with axial gauge boundary conditions to the same operator $Q_d$ defined on a discrete torus (periodic boundary conditions). By embedding the axial gauge space into a slightly enlarged periodic box and utilizing the fact that the difference in boundary conditions affects only a sub-extensive number of degrees of freedom, the free energy density is shown to be equivalent to that of the periodic operator projected onto the orthogonal complement of its zero-energy ground states.
4. Fourier Diagonalization: In the periodic setting, the operator $Q_d$ is diagonalized using the discrete Fourier transform. The spectrum is explicitly calculated in terms of the lattice momenta. The author carefully analyzes the kernel of $Q_d$ on the torus, showing it has dimension $O(n^{d-1})$, and isolates the non-zero eigenvalues.
5. Integration: The trace of the logarithm of the operator (which yields the free energy) is converted into a Riemann sum over the Brillouin zone, which converges to an integral over the unit torus $[0,1]^d$ as $n \to \infty$.

Key Contributions and Results
The paper provides the following specific results:

• Explicit Formula for $K_d$: The main result (Theorem 2) establishes that the constant $K_d$ is given by the explicit integral:
  $$K_d = -\frac{d-2}{2} \int_{[0,1]^d} dx_1 \dots dx_d \log \left( \sum_{k=1}^d 2(1 - \cos(2\pi x_k)) \right)$$
• Operator Characterization: The paper rigorously characterizes $K_d$ as the limit of the normalized trace of the logarithm of the projected operator:
  $$K_d = \lim_{n \to \infty} -\frac{1}{2n^d} \text{tr} \left( \log \Pi_{\Omega_{n}^{1,a}} Q_d \Pi_{\Omega_{n}^{1,a}} \right)$$
• Spectral Decomposition: The analysis reveals that the effective number of independent Gaussian fields contributing to the free energy in the axial gauge is $d-2$, rather than the $d-1$ one might expect from the dimension of the gauge group minus the gauge fixing condition. This reduction is attributed to the specific structure of the axial gauge, which sets the $d$-th component to zero and effectively removes the gradient mode from the spectrum of the relevant operator.
• Connection to Scalar GFF: The paper notes that the integral term corresponds to the free energy of a scalar Gaussian Free Field (GFF) on the torus $T^d$. The result implies that $K_d$ is equivalent to the free energy of $d-2$ independent scalar GFFs.

Significance and Claims
The paper claims to resolve the explicit computation of the constant $K_d$ left open in [26]. By providing a closed-form integral expression, the work completes the description of the leading order term of the free energy for $U(N)$ lattice Yang-Mills theory in the weak coupling limit.

The author emphasizes that the derivation serves as an alternative existence proof for $K_d$ (independent of the probabilistic methods in [26]) by relying on spectral properties of the discrete Laplacian-like operator $Q_d$. The paper does not claim to solve the full construction of continuum Yang-Mills theory but rather provides a necessary component (the precise free energy density) for such constructions, particularly those following the strategy of approximating continuum measures via lattice theories with Gaussian free field-like short-distance behavior. The work is presented as a technical refinement and completion of the results in [26], clarifying the role of boundary conditions and gauge choices in the thermodynamic limit.