Sector Theory of Levin-Wen Models I : Classification of Anyon Sectors

Here is an explanation of the paper "Sector Theory of Levin-Wen Models I" using simple language and creative analogies.

The Big Picture: A Quantum Puzzle with Invisible Rules

Imagine you have a giant, infinite floor made of square tiles. On this floor, you can place tiny, magical Lego bricks. But these aren't normal bricks; they follow the strange laws of quantum mechanics.

This paper is about a specific type of floor game called the Levin-Wen model. In this game, the bricks (called "anyons") can move around, but they are bound by strict, invisible rules. If you break a rule, the system gets "frustrated" (unhappy). The goal of the game is to find the "ground state"—the most peaceful, happy arrangement where no rules are broken.

The authors, Alex Bols and Boris Kjær, wanted to answer a fundamental question: What kinds of "particles" or "excitations" can exist in this game if we disturb the peaceful floor?

In the world of quantum physics, these disturbances are called anyons. They are like ghosts that can pass through walls but interact with each other in weird ways. The paper proves that the list of all possible ghost types in this game is exactly the same as a specific mathematical list called the Drinfeld Center.

The Analogy: The "Magic Floor" and the "Invisible Strings"

1. The Floor and the Rules (The Hamiltonian)

Think of the Levin-Wen model as a giant floor covered in a complex web of strings.

The Strings: These strings connect the corners of the tiles. They can be different colors (representing different quantum states).
The Rules:
- Rule A (The Edge Rule): At every edge where two tiles meet, the strings must match up perfectly. If they don't, it's a "mistake."
- Rule B (The Face Rule): Inside every square tile, the strings must form a specific pattern. If they don't, it's another "mistake."

The Hamiltonian (the energy of the system) is just a scorekeeper. It counts how many mistakes you have. The "Ground State" is the state with zero mistakes. It's a perfect, seamless tapestry.

2. The Excitations (The Anyons)

Now, imagine you want to create a "ghost" or a particle. You can't just pull a string out of thin air; you have to break the rules locally.

If you mess up the strings at one specific spot, you create a "mistake" (an excitation).
In this model, mistakes always come in pairs. If you break a rule at point A, you must also break a matching rule at point B.
You can then drag point A across the floor using a "string operator" (a magical wand that moves the mistake). As you drag it, the path you leave behind looks like a scar, but the rules are restored everywhere else.

The paper asks: What are all the different types of these "mistakes" (anyons) we can create?

3. The "Drinfeld Center" (The Master Catalog)

In mathematics, there is a special list called the Drinfeld Center (denoted as $Z(C)$ ). Think of this as a "Master Catalog" of all possible magical creatures that can exist in a world with these specific string rules.

The main result of this paper is a One-to-One Match:

Every single type of "mistake" (anyon) you can create on the Levin-Wen floor corresponds to exactly one entry in the Drinfeld Center catalog.

There are no extra ghosts, and there are no missing ghosts. The math of the floor perfectly predicts the math of the catalog.

How Did They Prove It? (The Detective Work)

The authors didn't just guess; they built a bridge between the physical floor and the abstract math. Here is their step-by-step detective work:

Step 1: The "Skein Modules" (The Blueprint)

They realized that the state of the floor (the arrangement of strings) looks exactly like a knot diagram or a string art picture. In math, these pictures are called "Skein Modules."

Analogy: Imagine the floor is a piece of paper. The strings are drawn on it. If you wiggle the strings without cutting them, the picture is still the same. This is "isotopy."
They showed that the "peaceful floor" (ground state) is mathematically identical to a specific type of knot diagram space.

Step 2: The "Tube Algebra" (The Tool Kit)

To move these "mistakes" around, they invented a tool called the Tube Algebra.

Analogy: Imagine you have a tube (a cylinder) around a specific spot on the floor. You can slide a ring of strings around this tube. The "Tube Algebra" is the set of all possible moves you can make with these rings.
They proved that these rings act like "keys" that can unlock specific types of anyons.

Step 3: The "Drinfeld Insertion" (The Magic Wand)

This is the coolest part. They constructed specific operators (mathematical wands) called Drinfeld Insertions.

How it works: Imagine you have a hole in your floor (a puncture). You can insert a "Drinfeld" object into this hole.
The Effect: This insertion changes the "charge" of the hole. It turns a peaceful spot into a specific type of anyon.
They showed that by using these wands, they could create any type of anyon listed in the Drinfeld Center catalog.

Step 4: The "String Operators" (The Transport)

Finally, they built "String Operators."

Analogy: Think of a string operator as a long, invisible fishing line. You attach a "ghost" (anyon) to the end of the line. You then drag the line across the floor.
As you drag it, the ghost moves. The paper proves that these strings can move anyons anywhere and even change how they combine (fuse) with other anyons.

Why Does This Matter?

Universal Truth: The paper proves that the Levin-Wen model is a perfect "representative" for a huge class of quantum materials. If you understand this model, you understand the "periodic table" of topological phases in 2D.
Quantum Computing: Anyons are the building blocks for Topological Quantum Computers. These computers are special because they are immune to noise (errors). If you can control these anyons, you can build a super-stable computer.
The "No-Go" Result: The authors mention that for some other models, you cannot create these string operators easily. But for Levin-Wen models, they successfully built them explicitly. This is a huge step forward because it gives us the actual "tools" to manipulate these quantum particles.

Summary in One Sentence

The authors proved that the "ghosts" (anyons) that can live on a quantum string-net floor are exactly the same as the characters in a specific mathematical book (the Drinfeld Center), and they built the actual "fishing rods" (string operators) needed to catch and move them.

Here is a detailed technical summary of the paper "Sector Theory of Levin-Wen Models I: Classification of Anyon Sectors" by Alex Bols and Boris Kjær.

1. Problem Statement

The paper addresses the fundamental problem of classifying the irreducible anyon sectors (superselection sectors) of Levin-Wen models.

Context: Levin-Wen models are exactly solvable 2+1 dimensional quantum lattice models defined over a unitary fusion category (UFC) $\mathcal{C}$ . They are believed to represent all topological orders in 2+1 dimensions that admit gapped boundaries.
The Gap: While the anyon content of Kitaev's quantum double models (based on finite groups) was fully classified using explicit localized string operators (amplimorphisms), a rigorous construction and classification for general Levin-Wen models (where anyon quantum dimensions can be non-integer) remained incomplete. Previous "no-go" theorems suggested that the specific type of string operators used in quantum double models (which act as amplimorphisms on the quasi-local algebra) cannot exist for models with non-integer quantum dimensions.
Goal: The authors aim to establish a one-to-one correspondence between the irreducible anyon sectors of the Levin-Wen model and the simple objects of the Drinfeld center $\mathcal{Z}(\mathcal{C})$ , and to explicitly construct the string operators that generate these sectors.

2. Methodology

The authors employ a rigorous operator-algebraic approach combined with topological quantum field theory (TQFT) techniques. The methodology proceeds through the following stages:

A. Mathematical Framework

Unitary Fusion Categories (UFC): The model is built on a UFC $\mathcal{C}$ . The local degrees of freedom are associated with the morphism spaces of $\mathcal{C}$ .
Drinfeld Center: The classification relies on $\mathcal{Z}(\mathcal{C})$ , the Drinfeld center of $\mathcal{C}$ , which is a unitary modular tensor category.
Skein Modules & Tube Algebras: The authors utilize skein modules (state spaces of the Turaev-Viro TQFT) and Tube algebras (algebras of operators acting on annuli). They establish that the state spaces of the Levin-Wen model on punctured surfaces are isomorphic to these skein modules.

B. Construction of State Spaces

Hamiltonian Stabilization: They demonstrate that the Levin-Wen Hamiltonian $H_{LW}$ stabilizes subspaces isomorphic to the skein modules of punctured disks.
Drinfeld Insertions: A key innovation is the construction of Drinfeld insertion operators. These are operators defined on the skein modules that can:
- Move anyons between punctures.
- Change fusion channels.
- Act as morphisms in the Drinfeld center.
String Operators: Using these insertions, the authors construct explicit string operators (endomorphisms localized in cone regions) that create anyon excitations from the vacuum. Unlike the amplimorphisms in quantum double models, these operators are constructed via the action of the Tube algebra on the boundary of a region.

C. Superselection Analysis

GNS Representations: They define the anyon states $\omega^X_e$ (pure states localized near an edge $e$ with charge $X$ ) and construct the corresponding Gelfand-Naimark-Segal (GNS) representations $\pi^X_e$ .
Superselection Criterion: They prove that these representations satisfy the superselection criterion (locally equivalent to the vacuum representation outside a cone).
Completeness: They prove that any irreducible anyon representation is unitarily equivalent to one of the constructed $\pi^X_e$ .

3. Key Contributions

Explicit String Operator Construction:
The paper provides the first explicit construction of string operators for all irreducible anyon sectors of Levin-Wen models over an arbitrary UFC. This bypasses the limitations of previous methods that relied on amplimorphisms, which fail for non-integer quantum dimensions.
Drinfeld Insertion Operators:
The authors introduce "Drinfeld insertions" as a mechanism to manipulate anyon states on punctured disks. These operators act on the skein module by inserting morphisms from the Drinfeld center, effectively changing the topological charge and fusion channels of the punctures.
Isomorphism between Lattice and TQFT:
They rigorously prove that the string-net subspaces of the Levin-Wen model (defined by the Hamiltonian constraints) are unitarily isomorphic to the skein modules of the Turaev-Viro TQFT on punctured surfaces. This bridges the gap between the lattice Hamiltonian formalism and the topological field theory formalism.
Handling Non-Integer Dimensions:
The construction explicitly handles cases where quantum dimensions are non-integers (common in non-group-theoretical topological orders), resolving a significant open problem in the classification of topological phases.

4. Main Results

Theorem 2.3 (Classification): The irreducible anyon sectors of the Levin-Wen model over a UFC $\mathcal{C}$ are in one-to-one correspondence with the equivalence classes of simple objects of the Drinfeld center $\mathcal{Z}(\mathcal{C})$ .
- If $X \in \text{Irr}(\mathcal{Z}(\mathcal{C}))$ , there exists a unique irreducible anyon sector associated with $X$ .
- Two sectors $\pi^X_e$ and $\pi^Y_{e'}$ are unitarily equivalent if and only if $X \cong Y$ .
- If $X \not\cong Y$ , the representations are disjoint.
Existence of Ground State: The paper provides an independent proof that the Levin-Wen Hamiltonian has a unique, pure, frustration-free ground state $\omega_1$ .
Superselection Criterion: The constructed representations $\pi^X_e$ satisfy the superselection criterion, meaning they are locally indistinguishable from the vacuum outside a cone, yet globally distinct.

5. Significance

Foundational Rigor: This work places the sector theory of Levin-Wen models on a rigorous operator-algebraic footing, comparable to the well-established theory for quantum double models.
Universality: By working with an arbitrary unitary fusion category, the results apply to the broadest class of 2+1D topological orders with gapped boundaries, including those not describable by group cohomology (e.g., models based on Fibonacci anyons or other non-group-theoretical categories).
Future Work: The authors note that this paper (Part I) focuses on classification. The companion paper (Part II) will analyze the fusion and braiding structures of these anyons, completing the description of the topological order.
Methodological Impact: The use of Drinfeld insertions and the explicit mapping between lattice string-net subspaces and TQFT skein modules offers a powerful new toolkit for analyzing topological phases, potentially applicable to other exactly solvable models and the study of entanglement bootstrap programs.

In summary, this paper successfully classifies the anyon content of Levin-Wen models by constructing explicit string operators via Drinfeld insertions, proving that the anyon theory is exactly the representation theory of the Drinfeld center $\mathcal{Z}(\mathcal{C})$ , regardless of the complexity of the underlying fusion category.