⚛️ lattice

A gauge-invariant measure for lattice chiral fermions

This paper nonperturbatively constructs a gauge-invariant measure for overlap fermions on four-dimensional Euclidean lattices within a class of nonabelian chiral gauge theories, including the Standard Model, by demonstrating that comparing chiral projectors on admissible gauge fields yields an exponentially local current that satisfies the global properties required for Lüscher's reconstruction of a smooth fermion measure.

Original authors: Nathaniel Craig

Published 2026-10-08

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Nathaniel Craig

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

The Standard Model is the most successful theory in the history of physics, a precise map of the fundamental particles and three of the four forces that govern our universe. It has survived decades of increasingly powerful experiments, predicting the behavior of matter with astonishing accuracy. Yet, despite its triumphs, physicists have long lacked a complete, rigorous definition of the theory itself. The problem lies in a specific mathematical hurdle: the theory treats left-handed and right-handed particles differently, a feature known as chirality. When scientists try to simulate this theory on a computer using a grid-like structure called a lattice, this difference causes the math to break down. The computer cannot simultaneously respect the rules of symmetry and the rules of particle handedness without creating phantom particles that do not exist in nature. For years, this has been a major open problem, leaving the Standard Model without a solid non-perturbative foundation—a way to define it that works at all energy scales, not just in approximations.

In a new paper, a researcher has constructed a solution to this decades-old puzzle. The work provides a concrete, non-perturbative definition of the Standard Model on a four-dimensional grid, finally allowing the theory to be defined with mathematical rigor. The author achieves this by developing a new method to handle the "measure" of the theory. In the language of physics, the measure is the rulebook that tells the computer how to count the different possible states of the particles as they move and interact. Without the correct rulebook, the simulation produces nonsense. The researcher's breakthrough is a way to construct this rulebook so that it remains consistent and smooth, even as the grid spacing changes, without violating the delicate symmetry between left and right.

The approach relies on a technique involving "overlap fermions," a specific type of particle definition that was invented to solve the chirality problem but previously failed to provide a complete rulebook for the measure. The new work bypasses the old difficulties by comparing the particle states on a coarse grid with those on a series of increasingly fine grids. Imagine looking at a landscape through a telescope: first you see a blurry, low-resolution image, then you zoom in to see more detail, and then you zoom in even further. The researcher's method involves comparing the particle rules at each of these levels of zoom. By carefully tracking how the rules change as the grid gets finer, and by summing up these tiny changes, the author constructs a single, consistent rulebook that works for the original, coarse grid.

A critical part of the solution involves a specific mathematical trick to ensure that the rules do not develop sudden jumps or singularities as the grid is refined. The author proves that the differences between the coarse and fine grids cancel out in a precise way, leaving behind a smooth, well-behaved current that guides the simulation. This current is "local," meaning that the rule at any single point on the grid depends only on the nearby points, not on the entire universe at once. This locality is essential for the theory to make physical sense. The paper demonstrates that this construction works for the specific group of particles and forces that make up the Standard Model, including the four distinct ways the global structure of the theory can be organized.

The result is a candidate definition of the Standard Model that is valid at any scale, provided the gauge fields—the mathematical objects representing the forces—stay within a certain range of smoothness. The author shows that this definition satisfies all the necessary conditions for a consistent quantum theory, including the cancellation of anomalies, which are mathematical inconsistencies that would otherwise destroy the theory. The work does not rely on approximations or weak coupling assumptions; it is a rigorous construction that holds up under scrutiny. By solving the problem of the measure, the paper removes the final major obstacle to defining the Standard Model on a lattice, opening the door for future simulations that could explore the theory's behavior in regimes that are currently inaccessible to experiment or traditional calculation.

The construction is not limited to the Standard Model alone. The author shows that the same method can be applied to other theories with similar particle structures, provided they meet specific conditions regarding the cancellation of anomalies. This suggests that the approach is robust and could serve as a template for defining other complex quantum field theories. The paper includes detailed proofs and checks to ensure that the mathematical properties hold true, verifying that the measure is smooth, gauge-invariant, and respects the symmetries of the lattice. While the work is theoretical, it provides the necessary mathematical infrastructure to potentially simulate the Standard Model in ways that were previously thought impossible, offering a new path to understanding the fundamental nature of reality.

The paper concludes by emphasizing that this is a candidate definition, a rigorous mathematical framework that satisfies all known consistency conditions. It does not claim to have solved every remaining question in physics, but it has cleared the path for a complete, non-perturbative formulation of the Standard Model. The ability to define the theory in this way is a significant step forward, transforming the Standard Model from a collection of successful approximations into a fully defined mathematical object. This achievement allows physicists to finally ask questions about the theory that require a complete definition, potentially revealing new insights into the behavior of matter and forces at the most fundamental level. The work stands as a testament to the power of mathematical rigor in resolving long-standing problems in theoretical physics, providing a solid foundation upon which future discoveries can be built.

Technical Summary: A Gauge-Invariant Measure for Lattice Chiral Fermions

Problem Statement
The paper addresses the longstanding challenge of defining nonabelian chiral gauge theories, specifically the Standard Model, on a Euclidean lattice in a nonperturbative manner. While lattice gauge theory successfully regulates non-chiral theories like QCD, the chiral nature of the Standard Model (where left- and right-handed fermions carry different gauge charges) prevents a straightforward lattice formulation that preserves both gauge invariance and chiral symmetry. The Nielsen-Ninomiya theorem forbids a local, translation-invariant lattice Dirac operator that simultaneously avoids fermion doubling and satisfies the standard chiral anticommutation relation.

Overlap fermions, based on the Ginsparg-Wilson relation, successfully realize exact chiral symmetry at finite lattice spacing. However, they shift the obstruction from chiral symmetry to the definition of the fermion integration measure. The subspace of allowed fermion fields depends on the gauge configuration via a chiral projector, and the phase of the integration measure over this subspace is ambiguous. Constructing a measure that is smooth, local, and gauge-invariant for nonabelian groups remains an open problem, as previous nonperturbative constructions (e.g., by Lüscher) were limited to abelian theories or specific perturbative orders.

Methodology
The author constructs a gauge-invariant measure for overlap fermions on four-dimensional Euclidean lattices by comparing chiral projectors at successive lattice spacings. The core methodology involves a "refinement" procedure:

Admissibility and Reconstruction: The construction assumes the gauge fields satisfy an admissibility condition (plaquettes are sufficiently close to the identity). From the original lattice links $U$ , a single smooth gauge connection $\nabla_0[U]$ is reconstructed locally.
Sampling: This smooth connection is sampled on a sequence of auxiliary lattices with spacings $h_n = 3^{-n}$ . This generates a sequence of link fields $U^{(n)}$ without requiring an admissible interpolation of the gauge potential to zero (which is problematic for nonabelian theories).
Operator Comparison: At each refinement step $n$ , the Hermitian Wilson operators $H(U^{(n)})$ (coarse) and $H(U^{(n+1)})$ (fine) are compared. The coarse operator is embedded into the fine fermion space via a parallel-transported inclusion map $I_n$ . The difference between the coarse and fine chiral projectors is analyzed by interpolating linearly between the embedded coarse operator and the fine operator.
Spectral Gap: A crucial technical step is proving that this interpolation maintains a uniform spectral gap away from zero for all admissible fields, ensuring the projectors vary smoothly.
Measure Term Construction: The contribution to the measure term $L$ at each step, denoted $B_n$ , is defined by integrating the curvature of the projector interpolation over the path between the two spacings. The total measure term is proposed as the sum $L = \sum_{n=0}^{\infty} B_n$ .
Convergence and Locality: The convergence of this sum relies on an exact color-trace cancellation specific to the fermion representation $R = 10 \oplus \bar{5}$ (which contains one Standard Model generation). This cancellation suppresses the leading terms in the expansion, ensuring the sum converges to an exponentially local current despite the increasing number of lattice sites in the trace.
Global Integrability: To ensure the measure is path-independent (integrable), the author compares the phase acquired by transporting the fermion subspace around a closed loop on the finest lattice against an auxiliary $SU(3)$ connection where fermions occur in conjugate pairs. This auxiliary setup fixes the return phase to $+1$ , and the difference between the physical and auxiliary phases is shown to vanish under refinement.

Key Contributions and Results

Nonperturbative Construction: The paper provides a rigorous, nonperturbative construction of a gauge-invariant fermion measure for a class of nonabelian chiral gauge theories, including the Standard Model with the representation $10 \oplus \bar{5}$ .
Smoothness and Locality: The constructed measure term defines a current that is smooth and exponentially local with respect to the original lattice links. The locality bounds are uniform in the lattice volume and derivative order.
Gauge Invariance and Anomaly Cancellation: The measure current satisfies the covariant divergence equation, exactly canceling the lattice gauge anomaly arising from the variation of the overlap operator. This ensures the full fermion integral is gauge-invariant.
Integrability: The construction satisfies the full integrability condition for all closed admissible loops, including non-contractible ones. This allows the reconstruction of a global, smooth, gauge-invariant measure on each connected component of the admissible field space.
Standard Model Applicability: The results are explicitly restricted to the four possible global forms of the Standard Model gauge group $[SU(3) \times SU(2) \times U(1)]/\Gamma_{SM}$ . The construction handles the quotient structure by mapping Standard Model links into $SU(5)$ and verifying admissibility constraints.
Generalization: The method is extended to other $SU(N_c)$ theories ( $N_c \ge 3$ ) with specific fermion representations (antisymmetric or symmetric tensors combined with antifundamentals) that satisfy cubic anomaly cancellation and an even-multiplicity condition for half-integer isospin representations.

Significance and Claims
The paper claims to provide a "candidate nonperturbative lattice definition of the Standard Model." By resolving the measure problem for overlap fermions in nonabelian theories, it removes a primary obstruction to formulating the full Standard Model on the lattice. The author emphasizes that their construction does not rely on weak coupling or perturbation theory; it is valid for any gauge field configuration within the admissible domain, regardless of the distance from the identity.

The work establishes that the "measure current" can be constructed nonperturbatively for nonabelian theories, a feat previously unachieved. The author notes that while the construction covers the Standard Model and specific extensions, the general problem for all nonabelian chiral gauge theories remains open, particularly regarding the global phase conditions for more general representations. The paper concludes that the construction is verified for the Standard Model groups and that the measure is well-defined up to a constant phase on each connected component of the gauge field space, which can be fixed by physical requirements such as symmetry and cluster decomposition.

Technical Summary: A Gauge-Invariant Measure for Lattice Chiral Fermions

More like this