An operator algebraic approach to fusion category… — Plain-Language Explanation

✨

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 trying to understand a massive, complex city. You can't see the whole city at once, so you look at a specific neighborhood. In physics, this "city" is a quantum system (like a chain of atoms or spins), and the "neighborhood" is a specific set of rules or symmetries that govern how the system behaves.

For a long time, physicists thought about symmetries like group theory: "If I flip a switch, the system looks the same." But recently, scientists discovered "higher" symmetries that are more like fusion categories. Think of these not as simple switches, but as a complex recipe book where you can combine ingredients (particles) in specific ways to create new ones, and sometimes you can't reverse the process (non-invertible).

This paper, by David Evans and Corey Jones, is a mathematical guidebook on how to find and describe these complex "recipe books" (fusion category symmetries) inside a quantum system, specifically using a framework called SymTFT (Symmetry Topological Field Theory).

Here is the breakdown using everyday analogies:

1. The "Sandwich" of Reality

The paper uses a concept called the SymTFT picture, which is best imagined as a sandwich.

The Top Bun (Topological Boundary): This is a layer of pure, abstract math. It holds the "rules" of the universe (the symmetry category).
The Filling (Bulk TQFT): This is a 3D "jelly" or "topological order" that connects the top and bottom. It's invisible from the outside but holds everything together.
The Bottom Bun (Physical Boundary): This is the actual quantum system we can measure and build (like a chain of atoms on a computer chip).

The Big Idea: The authors propose that if you look closely at the "Bottom Bun" (the physical system), you can mathematically reconstruct the "Top Bun" (the symmetry rules) and the "Filling" (the hidden topological order) just by looking at the algebra of the system. You don't need to see the whole sandwich; you just need to analyze the bottom layer carefully.

2. The "Subalgebra" as a Filter

In a quantum system, there are many possible operations you can perform. The authors focus on a special subset of these operations called a subalgebra.

Analogy: Imagine a noisy room (the full system). A "subalgebra" is like putting on noise-canceling headphones that only let you hear a specific melody (the symmetric part).
The Discovery: They define a "Physical Boundary Subalgebra" as the set of operations that "remember" the hidden topological order. If you find this specific set of operations in your system, you know you have a SymTFT decomposition. It's like finding a specific fingerprint that proves a secret recipe was used to bake the cake.

3. The "Symmetry" as a Channel

Usually, we think of symmetry as a rigid transformation (like rotating a square). But in this paper, symmetry is described as Quantum Channels.

Analogy: Think of a quantum channel as a messenger or a filter. Instead of just "flipping" a bit, the symmetry sends a message through the system that changes the state in a specific way.
The Magic: The authors show that these messengers (channels) follow the same rules as the "recipe book" (fusion category). If you have a system with a certain symmetry, you can mathematically derive the exact list of these messengers and how they combine.

4. The "Gapless" Mystery (The Lieb-Schultz-Mattis Theorem)

One of the most exciting results is about gapless states.

The Concept: In physics, a "gapped" system is like a stable, quiet room (it has a ground state and doesn't fluctuate much). A "gapless" system is like a room with a constant, chaotic hum (it's critical, like a phase transition).
The Problem: Sometimes, a system has a symmetry that forces it to be gapless. It's impossible for it to be quiet and stable. This is called an "anomaly."
The Paper's Contribution: They prove a mathematical rule: If your symmetry recipe book is "anomalous" (meaning it has no simple "fiber functor" or easy way to map it to standard numbers), then the system must be gapless.
Real-world Example: Think of the famous Kramers-Wannier duality (a symmetry in the Ising model). The paper shows that because this symmetry is "anomalous," the system at the critical point must be gapless. It's a mathematical guarantee that you can't have a stable, quiet state with this specific symmetry.

5. On-Site vs. Non-On-Site

The paper also tackles a practical question: Can we build these symmetries on a standard computer chip?

On-Site: This means the symmetry acts locally on each atom individually (like flipping a switch on every lightbulb in a row).
Non-On-Site: The symmetry requires atoms to "talk" to each other across distances to work.
The Result: They prove that you can only build these complex symmetries on a standard "on-site" chip if the symmetry is "integral" (a specific mathematical property). If the symmetry is "anomalous" in a certain way, you cannot build it on a standard chip without some extra "entanglement" or non-local tricks.

Summary

This paper is a bridge between abstract math (fusion categories, operator algebras) and physical reality (quantum spin chains).

Before: We knew these complex symmetries existed in theory, but it was hard to see them in actual physical models without getting lost in the math.
Now: The authors provide a "decoder ring." If you have a quantum system, you can look for a specific "subalgebra" (a special set of rules). If you find it, you can mathematically extract the hidden symmetry, predict if the system must be chaotic (gapless), and understand the topological order that holds it all together.

It's like finding a hidden code in a song that tells you exactly what kind of instrument was used to play it, even if you only hear the final recording.

1. Problem Statement

The paper addresses the mathematical formulation of fusion category symmetries (non-invertible, higher-categorical symmetries) in (1+1)D quantum many-body systems on a lattice in the infinite volume limit.

While the Symmetry Topological Field Theory (SymTFT) framework has successfully described these symmetries in continuum Quantum Field Theories (QFTs) by decomposing a system into a bulk TQFT and topological/physical boundaries, a rigorous, model-independent algebraic formulation for lattice systems has been lacking. Specifically, the authors aim to:

Define the "physical boundary subalgebra" of a lattice system purely in terms of operator algebras.
Reconstruct the bulk topological order and the symmetry fusion category directly from this subalgebra without assuming a specific representation (e.g., Matrix Product Operators).
Characterize the existence of symmetric states, distinguishing between topological (gapped) and gapless phases, and establish conditions under which gapless states are enforced by anomalies.

2. Methodology

The authors employ an operator algebraic approach, utilizing the theory of DHR (Doplicher-Haag-Roberts) bimodules adapted for abstract quasi-local algebras (spin chains).

Quasi-local Algebras: The system is modeled by a $C^*$ -algebra $A$ over $\mathbb{Z}$ (the lattice), representing observables in the thermodynamic limit.
Physical Boundary Subalgebra ( $B \subseteq A$ ): The authors propose that a symmetry is encoded in a subalgebra $B$ $B$ of local observables invariant under the symmetry. They define $B$ $B$ as a physical boundary subalgebra if the inclusion $B \subseteq A$ $B \subseteq A$ satisfies specific axioms:
1. Weak Relative Haag Duality: Operators in $A$ commuting with $B$ outside a region are contained within that region (up to bounded spread).
2. Local Conditional Expectation: There exists a faithful, local conditional expectation $E: A \to B$ .
3. Lagrangian Algebra Condition: In the category of DHR bimodules of $B$ , denoted $\text{DHR}(B)$ , the algebra object $A$ must be a Lagrangian algebra.
DHR Bimodules: The category $\text{DHR}(B)$ is a unitary braided tensor category. For 1+1D systems, it is shown to be a unitary modular tensor category (UMTC), representing the bulk topological order.
Symmetry Reconstruction: The symmetry fusion category $\mathcal{C}$ is reconstructed as the category of modules over the Lagrangian algebra $A$ within $\text{DHR}(B)$ . This leads to the identification $\text{DHR}(B) \cong \mathcal{Z}(\mathcal{C})$ (the Drinfeld center of $\mathcal{C}$ ).
Symmetries as Channels: Instead of unitary operators, symmetries are realized as unital completely positive (ucp) maps (quantum channels) on $A$ that preserve $B$ . The fusion ring of $\mathcal{C}$ acts on $A$ via these channels.

3. Key Contributions and Results

A. Formal Definition of Symmetry on the Lattice

The paper provides a rigorous definition of a physical boundary subalgebra $B \subseteq A$ .

Theorem A: Given a physical boundary subalgebra $B \subseteq A$ , there exists a canonically associated fusion category $\mathcal{C}$ (the symmetry category) such that $\text{DHR}(B) \cong \mathcal{Z}(\mathcal{C})$ . The category $\mathcal{C}$ embeds into the bimodules of $A$ as "solitonic" localizations, and the fusion ring of $\mathcal{C}$ acts on $A$ via ucp maps with bounded spread. The fixed-point subalgebra of this action is precisely $B$ .

B. Realization on Tensor Product Algebras

The authors investigate which fusion categories can act on standard tensor product quasi-local algebras (concrete spin chains, $A = \bigotimes_{\mathbb{Z}} M_d(\mathbb{C})$ ).

Theorem B (Integrality): A fusion category $\mathcal{C}$ acts as a symmetry on a tensor product quasi-local algebra if and only if it is integral (all quantum dimensions are integers). This is proven using K-theoretic obstructions on $C^*$ -algebras.
Theorem C (On-site vs. Anomalous): A fusion category acts as on-site symmetries (strictly locality preserving, spread 0) on a tensor product algebra if and only if it admits a fiber functor (i.e., it is anomaly-free). If the category is anomalous (no fiber functor), any realization on a tensor product algebra must be non-on-site (involving non-trivial spread).

C. Symmetric States and Gaplessness

The paper analyzes the structure of symmetric states (states invariant under the symmetry channels) and their relation to topological order.

State Decomposition: A symmetric state $\phi$ $ϕ$ on $A$ $A$ corresponds to a state on the boundary algebra $B$ $B$ . The GNS representation of $B$ $B$ defines a $W^*$ $W^{*}$ -algebra object $H_\phi$ $H_{ϕ}$ in $\text{DHR}(B)$ $DHR (B)$ .
- If $H_\phi$ is a Lagrangian algebra, the state is topological (gapped).
- If $H_\phi$ is connected but not Morita equivalent to a Lagrangian algebra, the state is gapless.
Lieb-Schultz-Mattis (LSM) Type Theorem:
- Theorem D: If the symmetry category $\mathcal{C}$ has no fiber functor (is anomalous), then any pure symmetric state on $A$ must be gapless.
- Theorem E: For fusion spin chains, such pure symmetric states always exist. Thus, anomalous fusion categories on lattice models necessarily possess gapless symmetric states.
Anomalous Dualities: The authors generalize Kramers-Wannier duality to arbitrary fusion categories.
- Theorem F: If a duality (bounded spread automorphism) $\alpha$ acts on $\text{DHR}(B)$ such that it fixes no Lagrangian algebra, then any $\alpha$ -covariant connected symmetric state is gapless. This provides a mechanism for gaplessness even in anomaly-free theories if the duality is "anomalous" in this specific sense.

D. Examples

The theory is applied to several cases:

Kramers-Wannier Duality: Recovered for $\mathbb{Z}_2$ symmetry, showing the swap of Lagrangian algebras ( $1+e \leftrightarrow 1+m$ ) forces a gapless point.
Haagerup Categories: The existence of gapless states is proven for Haagerup and extended Haagerup fusion categories, which are anomalous and integral.
Tambara-Yamagami & $PSU(2)_k$ : Generalizations of KW duality are analyzed to determine when they are anomalous (forcing gaplessness) based on the number of fixed Lagrangian algebras.

4. Significance

Mathematical Rigor: This work bridges the gap between the physical intuition of SymTFT and rigorous operator algebra. It defines "bulk" and "boundary" purely in terms of the algebraic structure of the lattice model, without relying on a specific Hamiltonian or continuum limit.
Classification of Symmetries: It resolves the question of which fusion categories can be realized on standard spin chains, distinguishing between integral and non-integral categories, and on-site vs. non-on-site realizations.
New Gaplessness Criteria: It provides a powerful, non-perturbative criterion for gaplessness based on the categorical properties of the symmetry (anomalies) and the behavior of dualities. This generalizes the Lieb-Schultz-Mattis theorem to non-invertible symmetries.
Subfactor Theory Connection: The approach leverages deep results from subfactor theory (Q-systems, $\alpha$ -induction, planar algebras) to solve problems in condensed matter physics, suggesting that subfactor theory is the natural language for categorical symmetries on the lattice.
Universality Classes: By associating algebra objects $H_\phi$ to states, the paper offers a way to classify symmetric phases and their topological defects, potentially aiding in the search for new CFTs (e.g., those with Haagerup symmetry) by identifying the universality class of gapless states.

In summary, Evans and Jones establish a comprehensive operator-algebraic framework where the SymTFT decomposition emerges naturally from the inclusion of a symmetric subalgebra, providing new tools to analyze phase transitions, topological order, and the constraints imposed by non-invertible symmetries in quantum many-body systems.

An operator algebraic approach to fusion category symmetry on the lattice