🔬 condensed matter

Fermionic Anomalies of Finite Symmetries on Lattices

This paper develops a lattice characterization of fermionic 't Hooft anomalies for finite internal symmetries in (1+1)D and (2+1)D by identifying cohomological obstructions to symmetric short-range-entangled states, revealing a systematic mismatch between lattice and continuum anomaly classifications where certain continuum anomalies lack exact microscopic realizations while others exhibit distinct lattice-specific obstructions.

Original authors: Ameya Chavda, Ryohei Kobayashi

Published 2026-08-14

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Ameya Chavda, Ryohei Kobayashi

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

Imagine you are building a massive, intricate LEGO castle. In the world of quantum physics, these bricks are tiny particles, and the rules they follow are written in a language called quantum mechanics. Sometimes, these particles have a special "personality" trait called fermionic behavior, which means they are incredibly shy and refuse to sit in the same spot as their neighbors. Other times, they act like bosons, which are more social and happy to pile up together.

Now, imagine you want to build a castle that has a specific kind of symmetry, like a perfect mirror image or a pattern that repeats every time you rotate it. In the smooth, continuous world of mathematics (called "continuum physics"), there are certain rules about how these symmetries can behave. But when we try to build these castles on a real, pixelated grid (a "lattice"), like a computer simulation or a real crystal, things get tricky. Sometimes, the grid itself fights back. It turns out that you can't always build a perfect, boring, empty castle (a "trivial" state) that respects all the symmetry rules. If you try, the castle either collapses, or it must become a complex, knotted mess of entangled particles. This "fight" between the symmetry rules and the grid is called an anomaly. It's like trying to wear a suit of armor that is slightly too big; the armor (symmetry) forces the suit (the state of matter) to twist into a strange shape just to fit.

This paper by Ameya Chavda and Ryohei Kobayashi dives deep into the messy, pixelated world of these quantum castles. They ask a very specific question: When we build these fermionic systems on a grid, do the "glitches" (anomalies) we see match the glitches predicted by the smooth, mathematical theories? They discover that the answer is a surprising "no." The grid has its own unique rules that sometimes hide certain types of glitches and sometimes create new ones that don't exist in the smooth world.

The Grid vs. The Smooth World

The authors set out to map the "anomaly landscape" for fermions in two different dimensions: a 1D chain (like a string of beads) and a 2D sheet (like a flat floor). They developed a new way to count these glitches using a "hierarchy" of three layers, like a three-story building where each floor represents a different kind of obstruction.

In the 1D Chain (The Bead String):
Think of a necklace of beads. The authors found that on a grid, the "glitch" is described by just two numbers, which they call $(n_2, \nu_3)$ . These numbers tell us if the symmetry is "onsiteable"—a fancy word meaning "can we move the symmetry rule to sit right on top of each bead without breaking anything?"

The Big Discovery: In the smooth, mathematical world, there is a third layer of glitches (called $n_1$ ) that can exist. But on the grid, this layer is invisible. If you try to build a 1D chain with only this specific "missing" glitch, the grid simply says, "Nope, that's not possible."
The Z2 Example: Imagine a symmetry that flips things (like a coin flip). In the smooth world, there are 8 different ways this can go wrong (a classification of $\mathbb{Z}_8$ ). However, on the grid, the authors prove that you can only realize the "even" versions of these glitches. The "odd" versions are impossible to build with an exact symmetry on a grid. It's like trying to build a staircase with only even-numbered steps; the odd steps simply don't fit the architecture.

In the 2D Sheet (The Flat Floor):
Here, the situation gets even more interesting. The authors identified three layers of glitches:

The Majorana Layer ( $n_2$ ): This is about "half-particles" (Majorana fermions) that can slide around the edges of the system.
The Complex Fermion Layer ( $n_3$ ): This involves the parity (odd or even nature) of how particles fuse together.
The Bosonic Layer ( $\nu_4$ ): This is the standard "boring" glitch that exists even without fermions.

They showed that if any of these three layers is non-zero, you cannot build a simple, unentangled state (an SRE state) that respects the symmetry. The system must be a complex, entangled mess.

The Great Mismatch: When the Grid Lies

The most exciting part of the paper is a specific example they constructed in 2D. They built a system with a special symmetry called $\mathbb{Z}_4^F$ (a four-step rotation that involves fermions).

On the Grid: This system has a non-zero "Majorana Layer" glitch. Because of this, the authors proved it is impossible to build a simple, unentangled state that respects this symmetry. The grid forces the system to be complex.
In the Smooth World: If you take this same symmetry and look at it through the lens of smooth quantum field theory, the glitch disappears! The smooth theory says, "This is totally fine; you can have a simple state here."

This is a massive contradiction. The grid says, "You can't do this simply," while the smooth math says, "You can." The authors conclude that the "smooth" classification of anomalies is not a perfect map for what can actually be built on a real, pixelated lattice. There are "lattice obstructions" that the smooth theory simply doesn't see.

What This Means for the Future

The authors are careful not to claim they have solved everything. Instead, they propose a set of conjectures (educated guesses) to guide future explorers.

Conjecture 1: They guess that in 2D, if all three of their glitch layers ( $n_2, n_3, \nu_4$ ) are zero, then the symmetry can be built on a grid without any trouble. If this is true, then their three-layer map is a complete and perfect guide for grid-based physics.
Conjecture 2 & 3: They also guess that for time-reversal symmetry (a symmetry that plays the movie of the universe backward), the "odd" glitches that exist in the smooth world (like the odd numbers in a $\mathbb{Z}_{16}$ classification) might be impossible to build on a grid, just like the odd $\mathbb{Z}_8$ glitches in 1D.

In short, Chavda and Kobayashi have built a new "anomaly detector" for the pixelated world of quantum matter. They found that the grid is pickier than the smooth math suggests, blocking some possibilities and creating new barriers. Their work suggests that to truly understand quantum matter, we can't just look at the smooth equations; we have to respect the grain of the grid itself.

Technical Summary: Fermionic Anomalies of Finite Symmetries on Lattices

Problem Statement
The paper addresses the characterization of 't Hooft anomalies for finite internal fermionic symmetries in lattice systems, specifically in (1+1)D and (2+1)D spatial dimensions. While continuum quantum field theory (QFT) provides a classification of these anomalies via group cohomology and cobordism, it remains an open question which of these continuum anomalies can be realized by exact symmetries on microscopic lattice models. A central motivation is determining whether the obstructions to realizing a symmetric Short-Range-Entangled (SRE) state on a lattice coincide with the continuum 't Hooft anomaly classification. The authors focus on systems where the local Hilbert space is a tensor product of onsite fermionic and bosonic degrees of freedom, and the symmetry group $G_f$ is a central extension of a bosonic group $G_b$ by fermion parity $\mathbb{Z}_2^F$ .

Methodology
The authors develop a lattice characterization of anomalies defined by obstructions to the existence of symmetric SRE states. Their approach involves:

Truncation and Defect Analysis: They analyze finite-depth quantum circuits (FDQCs) representing symmetry operators. By truncating these operators to spatial regions (intervals in 1D, disks in 2D), they identify boundary operators (defects) and junction operators that fail to satisfy the group algebra strictly, instead acquiring phase factors or fermion parity signs.
Cohomological Index Extraction: They extract a hierarchy of cohomological indices from the algebraic relations of these truncated operators. These indices are derived from the fermion parity of junction operators and the phase factors associated with their associativity.
Onsiteability Proofs: For specific cases (notably trivial extensions $G_f = G_b \times \mathbb{Z}_2^F$ ), they construct explicit finite-depth circuits (disentanglers) that couple the system to bosonic ancillas to transform the symmetry into an onsite form. If such a circuit exists, the symmetry is "onsiteable" and admits a symmetric SRE state, implying the absence of a lattice anomaly.
Stacking Rules: They derive rules for how anomaly indices behave when stacking multiple copies of a system, allowing them to test the triviality of indices for specific group structures (e.g., $\mathbb{Z}_2$ ).

Key Contributions and Results

(1+1)D Results:

Anomaly Indices: The authors characterize exact finite internal symmetries by a pair of cohomological data $(n_2, \nu_3)$ , where $n_2 \in Z^2(BG_b, \mathbb{Z}_2)$ measures the fermion parity of fused symmetry defects (the Else-Nayak index) and $\nu_3 \in C^3(BG_b, \mathbb{R}/\mathbb{Z})$ measures the bosonic part of the anomaly. These satisfy the consistency condition $\delta \nu_3 = \frac{1}{2}(n_2 \cup n_2 + \omega_2 \cup n_2) \mod 1$ .
Faithfulness for Trivial Extensions: For trivial extensions ( $G_f = G_b \times \mathbb{Z}_2^F$ ), they prove that a symmetry with trivial indices $(n_2, \nu_3) = (0,0)$ is onsiteable. Thus, for this class, the indices faithfully detect the lattice anomaly.
Mismatch with Continuum QFT: They demonstrate that exact lattice symmetries cannot realize the full continuum classification. Specifically, continuum anomalies contain an additional layer $[n_1] \in H^1(BG_b, \mathbb{Z}_2)$ . For $G_b = \mathbb{Z}_2$ , the continuum anomaly is classified by $\mathbb{Z}_8$ , but exact lattice symmetries only realize the even $\mathbb{Z}_4$ subgroup. The "odd" mod-8 anomalies (where only $n_1$ is nontrivial) cannot be realized by exact symmetries on a tensor-product Hilbert space; they require emanant symmetries (e.g., Majorana translation).

(2+1)D Results:

Hierarchical Anomaly Layers: The authors formulate a hierarchy of three anomaly layers for generic finite internal symmetries:
1. Majorana Layer ( $n_2$ ): An index in $H^2(BG_b, \mathbb{Z}_2)$ detected by the $\sqrt{2}$ factor in the 1D fermionic Quantum Cellular Automata (QCA) index of the boundary defect.
2. Complex Fermion Layer ( $n_3$ ): An index in $H^3(BG_b, \mathbb{Z}_2)$ arising from the fermion parity of endpoint associator operators after trivializing the Majorana layer.
3. Bosonic Layer ( $\nu_4$ ): An index in $H^4(BG_b, \mathbb{R}/\mathbb{Z})$ representing the purely bosonic part of the anomaly.
Obstruction to SRE: They show that a nontrivial value in any of these layers obstructs the existence of a symmetric SRE state. If the extension class is trivial ( $G_f = G_b \times \mathbb{Z}_2^F$ ), a nontrivial index also forbids any symmetric invertible state.
Lattice vs. Continuum Mismatch: The authors construct an explicit example of a $\mathbb{Z}_4^F$ lattice symmetry in (2+1)D where the extension class is nontrivial ( $\omega_2 \neq 0$ ). This symmetry carries a nontrivial lattice index $n_2 = \omega_2$ , which forbids a symmetric SRE state. However, in the continuum QFT classification, the class $n_2 = \omega_2$ is identified with the trivial anomaly (due to equivalence relations in the continuum classification). Consequently, this lattice symmetry forbids SRE states despite having a trivial continuum 't Hooft anomaly.

Significance and Claims
The paper claims to establish a fundamental distinction between lattice anomalies (defined as obstructions to symmetric SRE states on tensor-product Hilbert spaces) and continuum 't Hooft anomalies. The authors argue that the map from lattice anomalies to continuum anomalies is neither surjective nor injective:

Not Surjective: Certain continuum anomalies (e.g., those with nontrivial $n_1$ in 1D or odd $\mathbb{Z}_{16}$ time-reversal anomalies in 2D) cannot be realized by exact lattice symmetries.
Not Injective: Certain lattice obstructions (e.g., the specific $\mathbb{Z}_4^F$ example in 2D) are nontrivial on the lattice but map to trivial continuum anomalies.

The authors propose that exact lattice symmetries on tensor-product Hilbert spaces are restricted to a subset of continuum anomalies. They conjecture that for (2+1)D, the vanishing of the indices $(n_2, n_3, \nu_4)$ is sufficient for a symmetry to be onsiteable (Conjecture 1). Furthermore, they conjecture that continuum anomalies with nontrivial "p+ip" layers (associated with $n_1$ in anti-unitary symmetries) cannot be realized by exact internal symmetries on lattices (Conjectures 2 and 3), suggesting that odd elements of classifications like $\mathbb{Z}_{16}$ for time-reversal symmetry require non-exact or emanant symmetry actions.

The Grid vs. The Smooth World

The Great Mismatch: When the Grid Lies

What This Means for the Future

Technical Summary: Fermionic Anomalies of Finite Symmetries on Lattices

More like this