Sector Theory of Levin-Wen Models II : Fusion and Braiding

This paper establishes that the category of superselection sectors for Levin-Wen models on the infinite plane, defined by an arbitrary unitary fusion category $\mathcal{C}$, is unitarily braided monoidally equivalent to the Drinfeld center $Z(\mathcal{C})$, thereby providing a complete characterization of the anyonic fusion and braiding properties in these lattice models.

The Gist

Imagine a giant, infinite chessboard made of tiny quantum magnets. This is the Levin-Wen model, a theoretical playground physicists use to study "gapped phases" of matter. In simple terms, these are materials that are very stable and don't conduct electricity, but they hold a secret: they can host exotic particles called anyons.

Unlike normal particles (like electrons) that just bump into each other, anyons have a magical memory. If you swap two anyons around each other, the universe "remembers" the path they took. This is called braiding.

This paper is the second part of a study by Alex Bols and Boris Kjær. Their goal? To prove that the rules governing these magical anyons in their specific model are exactly the same as the rules in a famous mathematical structure called the Drinfeld Center.

Here is the breakdown using everyday analogies:

1. The Setup: The Quantum Chessboard

Think of the Levin-Wen model as a giant grid. Each square on the grid has a little quantum switch.

• The Ground State: This is the "calm" state of the board where everything is perfectly quiet.
• The Excitations (Anyons): If you mess with the switches, you create a disturbance. In this model, these disturbances act like particles. But they aren't just floating around; they are "topological," meaning their identity depends on how they are knotted or braided in the fabric of the grid, not just where they are.

2. The Two Languages: Physics vs. Math

The authors are trying to translate between two different languages:

• Language A (The Physics): They look at the actual grid, the strings of switches, and how you can move these anyons around. They call this the Category of Superselection Sectors (SSS). Think of this as the "street map" of the city, showing you exactly how to drive from point A to point B.
• Language B (The Math): They look at a pre-existing, highly abstract mathematical object called the Drinfeld Center (Z(C)). Think of this as the "theoretical blueprint" or the "rulebook" that mathematicians wrote down long ago.

The Big Question: Do the street map (Physics) and the rulebook (Math) describe the exact same city?

3. The Proof: Building the Bridge

To prove they are the same, the authors had to show that the "traffic rules" in both languages are identical. In the world of anyons, there are two main traffic rules:

A. Fusion (The "Merging" Rule)

Imagine you have two anyons, a Red one and a Blue one. If you bring them together, they might merge into a Green one, or maybe they disappear, or maybe they turn into a Purple one.

• The F-Symbols: These are the numbers that tell you the probability of Red + Blue becoming Green vs. Purple.
• The Discovery: The authors built a bridge (an isomorphism) between the physics grid and the math rulebook. They showed that if you calculate the "merging probabilities" on the grid, you get the exact same numbers as the math rulebook predicts.

B. Braiding (The "Swapping" Rule)

Imagine you have a Red anyon and a Blue anyon. If you walk the Red one around the Blue one (like a dance), the universe changes slightly.

• The R-Symbols: These are the numbers that describe exactly how the universe changes when you swap them.
• The Discovery: The authors showed that the "dance moves" on the grid match the "dance moves" in the math rulebook perfectly.

4. The "String Operators" (The Magic Wands)

How did they move the anyons around on the grid? They used String Operators.

• Analogy: Imagine the grid is a sheet of paper. To move a particle from the left side to the right, you don't just push it; you draw a long, winding line (a string) across the paper.
• The authors showed that these strings are the physical tools that create the anyons and move them. By carefully analyzing these strings, they could prove that the "braiding" of the strings matches the "braiding" in the abstract math.

5. The Conclusion: "It's All the Same!"

The main result (Theorem 1.1) is a huge "Aha!" moment.

• They proved that the SSS (the messy, physical world of the grid) is unitarily braided monoidally equivalent to Z(C) (the clean, abstract math world).
• In plain English: The complex, physical behavior of these quantum magnets is exactly what the abstract math predicted. The "street map" and the "blueprint" are identical.

Why Does This Matter?

For a long time, physicists had a hunch that these models worked like the math said they did, but they couldn't prove it for all cases, especially when the particles had "non-integer" sizes (quantum dimensions that aren't whole numbers).

This paper is the first time someone has rigorously proved that the physics of these 2D quantum systems is perfectly captured by the Drinfeld Center. It means we can now use powerful mathematical tools to predict exactly how these quantum materials will behave, which is a huge step toward building future quantum computers that are immune to errors.

Summary Metaphor:
Imagine you have a complex, chaotic dance floor (the physical model) and a strict, written choreography (the math model). For years, people suspected the dancers were following the choreography, but the floor was too noisy to tell. This paper provides the high-definition camera and the slow-motion replay to prove: Yes, every step, every spin, and every jump on the dance floor matches the written choreography perfectly.

Technical Summary

This is a detailed technical summary of the paper "Sector Theory of Levin-Wen Models II: Fusion and Braiding" by Alex Bols and Boris Kjær.

1. Problem Statement

The paper addresses the rigorous classification of gapped phases in two-dimensional quantum spin systems, specifically focusing on the Levin-Wen models. These models are defined on an infinite square lattice based on an arbitrary unitary fusion category (UFC) $\mathcal{C}$.

While the first part of this series (Part I) successfully classified the irreducible anyon sectors (the simple objects) of the Levin-Wen model, showing they correspond to the simple objects of the Drinfeld center $Z(\mathcal{C})$, a critical gap remained:

• It was not yet proven that the fusion and braiding properties of these anyons in the lattice model exactly match the categorical structure of $Z(\mathcal{C})$.
• Specifically, the authors needed to establish that the category of superselection sectors, denoted $\mathbf{SSS}_f$, is not just linearly equivalent to $Z(\mathcal{C})$, but unitarily braided monoidally equivalent.
• This equivalence is necessary to confirm that the lattice model realizes the full topological order described by the unitary modular tensor category (UMTC) $Z(\mathcal{C})$, including non-integer quantum dimensions and specific $F$- and $R$-symbols.

2. Methodology

The authors employ Sector Theory (adapted from Algebraic Quantum Field Theory) combined with Skein Theory and Drinfeld insertions. The methodology proceeds in several key steps:

A. Framework Setup

• Superselection Sectors: They define the category $\mathbf{SSS}$ of superselection sectors associated with the unique frustration-free ground state $\omega_1$ of the Levin-Wen Hamiltonian. Objects are localized, transportable endomorphisms of the "allowed algebra" $\mathcal{B}$.
• Assumption: The proof relies on Bounded Spread Haag Duality (Assumption 1), which ensures that commutants of cone algebras are contained within slightly larger cones. This allows for the construction of a braided $C^*$-tensor category structure on $\mathbf{SSS}$.
• String Operators: They utilize explicit constructions of string operators (from Part I) to create anyonic excitations. These operators are defined via Drinfeld insertions acting on skein modules associated with regions of the lattice.

B. Constructing the Equivalence

The core of the paper is the construction of explicit isomorphisms between the fusion spaces of the two categories:

1. Fusion Spaces: For objects $X, Y, Z \in \text{Irr}(Z(\mathcal{C}))$, they construct maps:
   $$\Phi^Z_{XY}: Z(\mathcal{C})(X \otimes Y \to Z) \to \mathbf{SSS}_f(\bar{\rho}_X \otimes \bar{\rho}_Y \to \bar{\rho}_Z)$$
   where $\bar{\rho}_X$ are the endomorphisms representing the anyons.
2. Limit Construction: These maps are defined as limits of sequences of local operators (Drinfeld insertions and unitary gates) acting on local states. The authors prove these sequences are eventually constant on local states, ensuring the limits exist and define valid intertwiners.

C. Verification of Structure

To prove the categories are equivalent as braided monoidal categories, the authors demonstrate that the maps $\Phi$ preserve the defining structural data:

• F-symbols (Associativity): They show that the diagram relating the associators of $Z(\mathcal{C})$ and $\mathbf{SSS}_f$ commutes. This involves manipulating Drinfeld insertions on regions formed by the concatenation of links (using the Inclusion Lemma and Multiplicativity Lemma).
• R-symbols (Braiding): They construct unitary transporters (using "bridges" of links between different chains) to move anyons past each other. They prove that the braiding operator in $\mathbf{SSS}_f$ (constructed via these transporters) corresponds exactly to the half-braiding in $Z(\mathcal{C})$ under the map $\Phi$.

D. Appendix A: Categorical Reconstruction

The authors provide a rigorous proof in Appendix A that if two semisimple braided monoidal categories have isomorphic $F$- and $R$-symbols (and the isomorphisms preserve orthogonal direct sums), then the categories are unitarily braided monoidally equivalent. This bridges the gap between matching symbols and matching categories.

3. Key Contributions

1. Complete Characterization: This paper provides the first complete characterization of the superselection sector category for Levin-Wen models with non-integer quantum dimensions. It proves that $\mathbf{SSS}_f \simeq Z(\mathcal{C})$ as unitary braided monoidal categories.
2. Explicit Isomorphisms: Unlike previous approaches that relied on abstract existence or specific group-theoretic models (like Kitaev's quantum double), this work constructs explicit isomorphisms between the fusion spaces of the lattice model and the abstract Drinfeld center.
3. Handling Non-Integer Dimensions: The methodology successfully handles cases where $Z(\mathcal{C})$ has non-integer quantum dimensions, a scenario where previous techniques (relying on amplimorphisms acting as a representation of a quantum double) failed.
4. Robustness to Haag Duality: The authors demonstrate that the construction of the sector theory and the equivalence to $Z(\mathcal{C})$ can be derived even without assuming bounded spread Haag duality for the specific string operators constructed, though the full braided structure relies on it.

4. Main Results

• Theorem 1.1: Under the assumption of bounded spread Haag duality, there exists a unitary braided monoidal equivalence:
  $$Z(\mathcal{C}) \simeq \mathbf{SSS}_f$$
• Fusion and Braiding: The $F$-symbols (associators) and $R$-symbols (braiding) of the Levin-Wen model's anyons are identical to those of the Drinfeld center $Z(\mathcal{C})$.
• Conjugates: The equivalence implies that anyons in the Levin-Wen model possess conjugates (antiparticles), a property inherent to the UMTC structure of $Z(\mathcal{C})$.

5. Significance

• Validation of the Levin-Wen Model: This work rigorously confirms that the Levin-Wen model is a universal lattice realization of any topological order described by a unitary modular tensor category. It validates the model as the correct physical realization of the mathematical structure $Z(\mathcal{C})$.
• Methodological Advancement: The techniques developed (specifically the use of Drinfeld insertions and explicit transporters to compute braiding) provide a blueprint for analyzing the sector theory of any gapped phase in 2D spin systems, not just those based on group doubles.
• Foundation for Classification: By establishing the complete set of invariants (fusion and braiding) for these models, the paper contributes significantly to the broader program of classifying gapped quantum phases in two dimensions. It moves beyond identifying what the anyons are to proving how they interact, which is the defining feature of topological order.

In summary, this paper closes the loop on the theoretical description of Levin-Wen models, proving that the physical excitations on the lattice perfectly replicate the abstract algebraic structure of the Drinfeld center, including all non-trivial topological data.