Exactly solvable models for fermionic symmetry-enriched… — Plain-Language Explanation

Imagine the universe as a giant, complex dance floor. For a long time, physicists thought they understood the dance: if everyone moved in a regular pattern, it was a solid; if they moved randomly, it was a fluid. This was the "Landau paradigm."

But then, they discovered a new kind of dance: Topological Order. In this dance, the particles (like electrons) are so deeply entangled that you can't tell what's happening just by looking at one dancer. You have to look at the whole group's pattern. It's like a knot in a string; you can't untie it without cutting the string, no matter how much you wiggle it.

Now, add Symmetry to the mix. Symmetry is like a rule the dancers must follow, such as "everyone must face North" or "everyone must spin in pairs." When you combine deep entanglement (topology) with strict rules (symmetry), you get something called Symmetry-Enriched Topological (SET) phases.

This paper is about solving a massive puzzle: How do we build a Lego model of these complex, entangled, rule-following dances, specifically for electrons (fermions)?

Here is a breakdown of their work using simple analogies:

1. The Problem: The "Ghost" in the Machine

Physicists have been great at building Lego models for "bosonic" systems (like photons or atoms that play nice together). But electrons are "fermions." They are antisocial; if you try to put two electrons in the exact same spot, they scream "No!" (the Pauli Exclusion Principle).

Building a Lego model for fermions that also follows complex symmetry rules has been incredibly hard. It's like trying to build a house of cards where the cards are also magnetic and repel each other. Until now, we knew what these phases looked like mathematically, but we didn't have a working "machine" (a lattice model) to simulate them on a computer or in a lab.

2. The Solution: The "Fermionic String-Net"

The authors, Jing-Ren Zhou and Zheng-Cheng Gu, built a new kind of Lego set called a Fermionic Symmetry-Enriched String-Net Model.

The Strings: Imagine a honeycomb net made of strings. In this model, the strings aren't just lines; they carry "labels" (like colors or numbers) that represent different types of particles or "defects."
The Rules (F-moves): The model has a set of rules for how these strings can cross and merge. Think of it like a game of Tetris where the blocks can change shape, but they must always fit together perfectly.
The Twist (Fermions): In this specific game, some strings are "fermionic." If you slide a fermion along a string, it changes the "parity" (a kind of internal switch) of the whole system. The authors figured out exactly how to write the rules so that these fermionic switches work correctly without breaking the game.

3. The "Anomaly" Problem: The Leaky Bucket

Some of these phases are "anomalous." What does that mean?

Imagine you have a bucket of water (the 2D surface). If the bucket has a hole (an anomaly), the water leaks out. In physics, an anomaly means the rules of the game cannot be played on a flat 2D surface alone. The water (the physics) is leaking into a 3D world above it.

The 3D Bulk: The "leak" comes from a 3D "Bulk" phase (a 3D block of material) sitting on top of the 2D surface.
The Compensation: The 3D block has a special "glue" (mathematically called a cohomology class) that catches the leaking water. The 2D surface and the 3D bulk together form a perfect, stable system.

The authors constructed a model for these "leaky" surfaces. They showed that when you try to perform a move on the surface (like merging two strings), the "fermion parity" (the on/off switch) sometimes flips unexpectedly.

The Metaphor: It's like playing a board game where, every time you roll a specific number, a ghost from the ceiling (the 3D bulk) reaches down and flips a switch on your board. You can't play the game fairly on the board alone; you need the ghost to make the rules work.

4. The "Obstruction" (The H3 and H2 Anomalies)

The paper identifies two specific types of "leaks" (anomalies):

H3 Anomaly (The "Ghost" Flip): This is the main focus. It happens when the "ghost" from the 3D bulk flips the fermion switch during a specific move. The authors found a mathematical "obstruction" (a phase factor, let's call it Theta) that appears in the rules. This Theta is the signature of the 3D bulk. If you see Theta in your 2D rules, you know there is a 3D bulk hiding underneath.
H2 Anomaly (The "Broken" String): They also conjecture a second type of leak where a special kind of string (called a "q-type" or "Ising" string) cannot be conserved. It's like a string that is supposed to be a closed loop, but the rules say it can sometimes break and disappear, which is only allowed if a 3D bulk is present to catch the pieces.

5. Why This Matters

Before this paper, we had the "blueprint" (math) for these phases but no "construction kit" (lattice model).

For Computer Scientists: Now they can simulate these phases on a computer to see how they behave.
For Experimentalists: They have a recipe for what kind of materials to look for. If you build a material that follows these specific "string-net" rules, you might create a new state of matter that is robust against noise (great for quantum computers).
For Mathematicians: They provided a partial definition for a complex mathematical object called a "G-graded super fusion category," which is the language needed to describe these phases.

Summary Analogy

Think of the universe as a video game.

Bosonic phases are like a game where the rules are simple and consistent.
Fermionic phases are a game where the characters are grumpy and hate being in the same spot.
SET phases are a game where the characters are grumpy AND must follow a strict dress code.
Anomalous phases are a game where the rules on the screen (2D) don't make sense unless you realize there is a hidden server (3D bulk) processing the data.

This paper finally wrote the source code for these complex, grumpy, dress-code-following, 3D-connected video games. They showed exactly how to program the "glitch" (the anomaly) so that the game runs perfectly when you include the hidden server.

1. Problem Statement

The interplay between global symmetry and topological order is a central theme in modern condensed matter physics. While the classification of Symmetry-Enriched Topological (SET) phases for bosonic systems is well-established, the realization and classification of fermionic SET (fSET) phases in lattice models remain a significant open challenge.

Specifically, the paper addresses two main gaps:

Realization of Non-Anomalous fSETs: There is a lack of exactly solvable lattice models that can systematically realize all non-chiral, non-anomalous 2+1D fSET phases.
Realization of Anomalous fSETs: While the existence of surface topological orders with 't Hooft anomalies (which live on the boundary of 3+1D Symmetry-Protected Topological (SPT) phases) is known theoretically, constructing explicit lattice models for these anomalous states, particularly those involving fermionic 't Hooft anomalies (obstructions to gauging fermion parity $Z_2^f$ ), has been difficult.

2. Methodology

The authors employ a string-net construction approach generalized to fermionic systems. Their methodology involves:

Input Data: They define the input for their models as a $G$ -graded super fusion category ( $S_G$ ), where $G$ is the physical bosonic symmetry group and the grading corresponds to symmetry defects.
Generalized Local Unitary Transformations: They utilize Generalized Fermionic Symmetric Local Unitary (gfSLU) transformations to define equivalence classes of ground state wavefunctions. This allows them to construct fixed-point wavefunctions that characterize distinct fSET phases.
Bulk-Boundary Correspondence: For anomalous phases, they construct surface fermionic symmetry-enriched string-net models. These models are defined on a 2+1D surface but are intrinsically linked to a 3+1D bulk fSPT phase. The renormalization moves (F-moves) on the surface are coupled with moves in the bulk to ensure consistency.
Mathematical Framework: They partially define the mathematical structure of $G$ -graded super fusion categories (specifically when the extension of $G$ by $Z_2^f$ is trivial, i.e., $\omega_2 = 0$ ) and relate them to Drinfeld centers and spin modular categories.

3. Key Contributions and Results

A. Non-Anomalous fSET Models

The authors construct exactly solvable models for non-chiral, non-anomalous 2+1D fSET phases.

Hamiltonian: They derive a parent commuting-projector Hamiltonian ( $H = -\sum C_\nu - \sum A_\nu - \sum Q_l - \sum D_l - \sum B_p$ $H = - \sum C_{ν} - \sum A_{ν} - \sum Q_{l} - \sum D_{l} - \sum B_{p}$ ) acting on a honeycomb lattice.
- $C_\nu$ : Enforces fermion parity constraints at vertices.
- $A_\nu$ : Enforces string fusion rules.
- $Q_l$ : Enforces $G$ -grading on links.
- $D_l$ : Handles $q$ -type strings (strings with non-trivial endomorphism spaces, behaving like Majorana chains).
- $B_p$ : Enforces invariance under loop fusion (plaquette terms).
Input Category: The models are inputted by a $G$ -graded super fusion category $S_G$ . The ground state wavefunctions are superpositions of string-net configurations weighted by F-symbols derived from this category.
Examples: They provide concrete examples, including:
- Toric code stacked with a physical fermion ( $Z_2^f \times Z_2$ symmetry).
- Models based on the Super Tambara-Yamagami category and $SVec(SU(2)_6)$ .

B. Anomalous fSET Models and 't Hooft Anomalies

The paper constructs models for non-chiral surface fSET phases exhibiting fermionic 't Hooft anomalies. These anomalies correspond to obstructions in gauging the fermion parity symmetry $Z_2^f$ .

$H_3(G, Z_2)$ Fermionic 't Hooft Anomaly:
- Characterization: This anomaly is characterized by a violation of fermion-parity conservation in surface F-moves. Specifically, the surface F-move $g_0[F]$ does not conserve fermion parity locally; the "missing" parity is supplied by the bulk 3+1D fSPT phase.
- Obstruction $\Theta$ : The consistency of the model requires a new fermionic obstruction phase factor $\Theta$ in the surface fermionic pentagon equation. This factor arises from the bulk fermion creation/annihilation operators required to maintain the global symmetry.
- Construction: They demonstrate this for a specific case: a surface $Z_4$ gauge theory embedded in a fermion system with total symmetry $G_f = Z_2^f \times Z_2 \times Z_4$ , living on the boundary of a bulk fSPT phase classified by $(n_3, \nu_4)$ .
- Result: The surface F-moves satisfy a modified pentagon equation:
  $\sum \dots = \Theta \cdot \nu_4 \cdot (\text{standard terms})$
  where $\Theta$ encodes the $H_3(G, Z_2)$ anomaly.
$H_2(G, Z_2)$ Fermionic 't Hooft Anomaly (Conjecture):
- The authors conjecture that the $H_2(G, Z_2)$ anomaly (associated with Kitaev chain layers in the bulk) is characterized by a violation of $Z_2$ -conservation of $\sigma$ -type strings (a specific type of $q$ -type string) in the fusion rules of the surface model.

C. Mathematical Framework

$G$ -graded Super Fusion Categories: They provide a partial definition for these categories when the central extension $\omega_2$ is trivial. They show that such a category $S_G$ can be obtained via fermion condensation from a $G$ -graded unitary fusion category $C_G$ .
Drinfeld Centers: They conjecture that the anyon excitations of the fSET phase described by $S_G$ are given by the Drinfeld center of the trivial grading sector, $Z_1(S_1)$ , which is a super modular category.
Relation to Bulk: They establish a commutative diagram relating the fSET phase, its Drinfeld center, and the corresponding bosonic SET phase obtained by gauging $Z_2^f$ .

4. Significance

Unified Framework: The paper provides the first systematic framework for constructing exactly solvable lattice models for a broad class of fermionic topological phases, bridging the gap between abstract categorical classification and microscopic lattice realizations.
Anomaly Realization: It explicitly demonstrates how 't Hooft anomalies manifest in lattice models. The violation of local fermion parity conservation on the surface, compensated by the bulk, offers a concrete physical mechanism for understanding how anomalous boundary states are stabilized by bulk SPT phases.
New Obstructions: The identification of the fermionic obstruction $\Theta$ in the pentagon equation is a novel mathematical result that distinguishes fermionic anomalies from their bosonic counterparts (which are characterized by $H^4(G, U(1))$ obstructions).
Future Directions: The work sets the stage for studying chiral fSET phases (which require non-trivial $\omega_2$ or chiral central charges) and provides a lattice-based approach to "ungauging" bulk topological orders to understand their boundaries.

In summary, this paper successfully translates the abstract classification of fermionic topological phases and their anomalies into concrete, exactly solvable lattice models, revealing the specific algebraic structures (super fusion categories, modified pentagon equations) that govern these exotic quantum states.

Exactly solvable models for fermionic symmetry-enriched topological phases and fermionic 't Hooft anomaly