Chiral Lattice Gauge Theories from Symmetry Disentanglers

This paper proposes a Hamiltonian framework using symmetry disentanglers to construct fully local, nonperturbative lattice formulations of chiral gauge theories by transforming not-on-site symmetries into on-site ones, enabling the exact realization of models like the (1+1)-dimensional "3450" theory and offering a pathway to formulate the Standard Model's hypercharge symmetry.

The Gist

Imagine you are trying to build a perfect, miniature universe inside a computer simulation. In the real world, the laws of physics allow for "chiral" particles—particles that are like left-handed gloves and cannot be turned into right-handed gloves. These particles are the building blocks of our universe (like the electrons and quarks in the Standard Model).

However, when physicists try to simulate these particles on a grid (a lattice), they run into a famous problem called "fermion doubling." It's like trying to print a single left-handed glove on a piece of paper, but the printer keeps accidentally printing a right-handed glove next to it. No matter how you try, the simulation forces the particles to come in pairs, which ruins the physics of the real world.

For decades, this has been a major roadblock. This paper proposes a clever new way to fix it using a concept the authors call "Symmetry Disentanglers."

Here is the breakdown of their idea using simple analogies:

1. The Problem: The "Tangled" Symmetry

In the real world, the rules that govern these particles (called symmetries) are "not-on-site." Imagine a dance where the move you make depends on what your neighbor is doing, but in a way that is spread out and messy across the whole room. You can't just look at one person and say, "That's their move." It's a global, tangled mess.

Because this "dance" is so tangled, you can't easily put it into a computer grid. The grid requires rules that are "on-site"—meaning each person (or grid point) follows a simple, local rule without needing to know the whole room's state.

2. The Solution: The "Symmetry Disentangler"

The authors propose a tool called a Symmetry Disentangler. Think of this as a magical, constant-depth circuit (a very short, specific set of instructions) that acts like a tangle-remover.

• The Metaphor: Imagine a knot of headphones. The "knot" is the messy, global symmetry. The "disentangler" is a specific, quick series of moves that untangles the headphones so that each earbud (each grid point) can be handled independently.
• The Result: Once the symmetry is "untangled" (made "on-site"), it becomes easy to simulate on a lattice. You can then apply standard methods to "gauge" the theory (turn the symmetry into a force, like electromagnetism), creating a perfect simulation of chiral particles without the annoying "doubling" error.

3. The Catch: The "Anomaly" Check

You can't just untangle anything. The paper explains that this only works if the "knot" isn't too tight. In physics terms, this is called an anomaly.

• If the particles have a "mixed anomaly" (a specific mathematical conflict), the knot is un-untangleable.
• However, if you stack several layers of these particles together in a specific way, their anomalies can cancel each other out (like a positive and negative charge neutralizing).
• The Paper's Claim: The authors show that for specific, physically interesting groups of particles (like the "3450 theory" in 2D and the hypercharge particles in the Standard Model in 4D), the anomalies do cancel out. This means the "knot" can be untangled, and the simulation can be built.

4. The Construction: The "Sandwich" Method

To actually build this in 3D (our real world's dimensions), the authors use a clever "sandwich" strategy:

1. The Top Layer: They start with a stack of "free fermion" systems (a known type of quantum material) that naturally have the chiral particles they want on the top surface.
2. The Bottom Layer: They attach a "mirror" layer of particles to the bottom.
3. The Glue: They use their Symmetry Disentangler to "gap out" (freeze) the bottom layer. Because the anomalies cancel, they can freeze the bottom layer without breaking the rules of the top layer.
4. The Result: The bottom layer disappears from the low-energy physics, leaving only the desired chiral particles on top, now living in a perfectly local, solvable Hamiltonian (a mathematical description of the system's energy).

5. What They Actually Built

• In 2 Dimensions: They created an exactly solvable model (a perfect mathematical solution) for a specific theory called "3450." This is the first time a Hamiltonian (energy equation) has been written down that perfectly describes these chiral particles on a lattice.
• In 4 Dimensions: They showed how to apply this logic to the Standard Model of particle physics. Specifically, they demonstrated how to arrange the quarks and leptons (matter particles) so that their "hypercharge" (a type of electric charge) can be simulated on a lattice without the doubling problem. They even noted that this construction requires adding a "sterile neutrino" (a particle that doesn't interact with anything else) to make the math work.

Summary

The paper doesn't claim to have built a full simulation of the entire universe yet. Instead, it provides a new blueprint and a new tool (the Symmetry Disentangler).

It proves that:

1. We can mathematically "untangle" the complex rules of chiral particles.
2. Once untangled, we can put them on a grid without the "doubling" error.
3. This works for the specific particles that make up our universe, provided we include a sterile neutrino.

This opens a new door for physicists to study the fundamental forces of nature using computers, potentially leading to a deeper understanding of how the universe works, all without needing to rely on messy, uncontrolled approximations.

Technical Summary

Technical Summary: Chiral Lattice Gauge Theories from Symmetry Disentanglers

Problem Statement
The primary challenge addressed is the construction of a local, non-perturbative lattice formulation for chiral gauge theories in 3+1 dimensions. While lattice regularization is a powerful tool for non-perturbative quantum field theory, applying it to chiral fermions encounters the "fermion doubling" obstruction: strictly local lattice models with on-site symmetries generically produce fermions in vector-like pairs, preventing the realization of chiral gauge theories. Existing strategies, such as the overlap fermion approach or Symmetric Mass Generation (SMG), either lack an explicitly local Hamiltonian or rely on analyzing strongly-coupled mirror fermion sectors, which is analytically difficult. Furthermore, recent work suggests that lattice obstructions to gauging symmetries may exist even when continuum anomalies cancel, implying that anomaly cancellation alone does not guarantee a lattice construction.

Methodology
The authors propose a framework based on symmetry disentanglers. The core hypothesis is that while chiral symmetries in lattice models often manifest as "not-on-site" (non-local) due to 't Hooft anomalies, these symmetries can be transformed into "on-site" (local) symmetries via a constant-depth circuit of local unitaries, provided the anomalies cancel.

The methodology proceeds in three stages:

1. Construction of Not-on-Site Models: The authors first construct lattice models (specifically rotor models) that realize chiral symmetries in a "not-on-site" manner. In 1+1D, they utilize Villain formulations of compact bosons to define $U(1)_V$ (vector) and $U(1)_A$ (axial) symmetries sharing a mixed 't Hooft anomaly. In 3+1D, they generalize this to bosonic and fermionic systems with similar mixed anomalies.
2. Symmetry Disentanglers: For stacks of these models where the total 't Hooft anomaly cancels for a specific subgroup $G'$, the authors explicitly construct a constant-depth circuit (the disentangler) $W$. This unitary transformation maps the not-on-site symmetry generator $Q$ to an on-site generator $Q' = W Q W^\dagger$. The construction involves introducing ancilla degrees of freedom (rotors $\theta$) and defining phase factors dependent on the rotor configurations and the anomaly-free condition.
3. Gauging and In-Flow Picture: Once the symmetry is rendered on-site, it can be gauged using standard lattice methods. To address the lack of exactly solvable Hamiltonians for the 3+1D fermionic case, the authors employ an "anomaly in-flow" perspective. They couple the 3+1D not-on-site models to the lower boundaries of (D+1)-dimensional free-fermion Symmetry Protected Topological (SPT) phases. By constructing a gapped, topologically trivial interface between the free-fermion SPT and a commuting-projector SPT (realized by the disentangled rotor models), they isolate the chiral degrees of freedom on the upper boundary.

Key Contributions and Results

• 1+1 Dimensions (The "3450" Theory): The authors present an exactly solvable Hamiltonian lattice model for the (1+1)-dimensional "3450" chiral gauge theory. This theory consists of two left-moving Weyl fermions (charges 3, 4) and two right-moving Weyl fermions (charges 5, 0). By stacking two bosonic rotor systems with specific charge assignments and applying the symmetry disentangler, they construct a local Hamiltonian with a tensor-product Hilbert space (using infinite-dimensional rotors) that realizes the chiral symmetry on-site. This is claimed to be the first solvable Hamiltonian model for this specific theory.
• 3+1 Dimensions (Bosonic and Fermionic Disentanglers):
  • Bosonic: They generalize the 1+1D construction to 3+1D, defining $U(1)_V \times U(1)_A$ symmetries with mixed anomalies on stacks of rotors. They derive the explicit disentangler circuit for anomaly-free combinations.
  • Fermionic: They extend the construction to include fermionic degrees of freedom (Majorana fermions decorated on the lattice) to match the anomaly of four left-handed Weyl fermions with charges corresponding to the Standard Model hypercharge assignments (scaled). They show that the fermionic axial symmetry can be disentangled, effectively mapping the not-on-site action to an on-site one acting on the ancilla rotors.
• Standard Model Hypercharge: The authors argue that their construction applies to the $U(1)_Y$ hypercharge symmetry of the Standard Model. They demonstrate that the hypercharge assignments for one generation of quarks and leptons (including a sterile neutrino) can be grouped into anomaly-free combinations of the $U(1)_V \times U(1)_A$ building blocks. Consequently, a symmetry disentangler exists that maps the not-on-site $U(1)_Y$ to an on-site symmetry, enabling its gauging without uncontrolled strong dynamics in the mirror sector.
• Commuting-Projector Hamiltonians: As a byproduct, the construction yields new commuting-projector Hamiltonians for $U(1)_V \times U(1)_A$ SPT phases in 2+1D and 4+1D. The authors note that these models necessarily require infinite-dimensional local Hilbert spaces (rotors) to evade no-go theorems that forbid such SPTs with finite-dimensional site spaces.

Significance and Claims
The paper claims to open a "new route" toward fully local, non-perturbative formulations of chiral gauge theories. The significance lies in shifting the focus from strongly-coupled fermion dynamics (as in SMG) to the algebraic structure of symmetries. The authors posit that in the class of lattice symmetries they study, anomaly cancellation is equivalent to the existence of a constant-depth circuit that renders the symmetry on-site, and thus gaugeable.

The work provides:

1. A concrete, exactly solvable Hamiltonian for the 3450 theory in 1+1D.
2. A proof-of-principle that symmetry disentanglers can be explicitly constructed for physically relevant anomaly-free combinations in 3+1D.
3. A pathway to realizing the Standard Model hypercharge sector on a lattice, contingent on the existence of a gapped interface between free-fermion and commuting-projector SPTs (a plausible but unproven conjecture in the 3+1D case).

The authors remain modest regarding the 3+1D fermionic case, acknowledging that while the disentangler exists, an exactly solvable Hamiltonian commuting with the not-on-site symmetry has not yet been found. Instead, they rely on the in-flow picture and the conjecture of a trivial gapped interface to argue for the viability of the construction. They also highlight technical subtleties regarding the domains of unbounded operators in infinite-dimensional rotor Hilbert spaces, which may impact numerical implementations.