Classifying fusion rules of anyons or SymTFTs: A general algebraic formula for domain wall problems and quantum phase transitions

This paper proposes a general algebraic formula based on ring homomorphisms and the Verlinde formula to classify anyon transformations across domain walls, thereby unifying the description of topological phase transitions, massless renormalization group flows, and symmetry-enriched topological orders within the framework of Symmetry Topological Field Theories (SymTFTs).

The Gist

The Big Picture: The "Universal Translator" for Quantum Worlds

Imagine the universe is made of different "neighborhoods" or phases of matter. Some neighborhoods are like a calm, quiet library (a stable state), while others are like a chaotic, noisy party (a different state). In the world of quantum physics, these neighborhoods are called Topological Phases.

Inside these neighborhoods live tiny, magical creatures called Anyons. These aren't normal particles like electrons; they are "quasi-particles" that behave like ghosts. If you swap two of them, the whole universe remembers it. They are the building blocks of future quantum computers.

The problem? Sometimes, these neighborhoods change. A library might turn into a party, or a calm sea might turn into a storm. When this happens, the "rules" for how the Anyons interact (their Fusion Rules) change too.

The Question: If we know the rules in the "Before" neighborhood (UV) and the "After" neighborhood (IR), how do we mathematically describe the Wall between them? How do we translate the Anyons from one world to the other without losing their identity?

The Answer: This paper provides a Universal Translator Formula. It's a mathematical recipe that tells us exactly how Anyons transform when they pass through a "domain wall" (the boundary between two different quantum states).

---

The Core Analogy: The "Magic Filter"

Think of the transition between these two quantum worlds as a Magic Filter or a Customs Checkpoint.

1. The Input (UV Theory): You have a bag of colorful, complex Lego blocks (the Anyons in the first world). They have specific rules for how they snap together (Fusion Rules).
2. The Filter (The Domain Wall): This is the wall the blocks must pass through. The author proposes that this wall acts like a Ring Homomorphism. In plain English, this is a rule that says: "Keep the structure of how things snap together, but maybe change the colors or merge some blocks."
3. The Output (IR Theory): On the other side, you get a new set of Lego blocks. Some might have disappeared, some might have merged, but the way they snap together still follows a logical pattern.

The Puzzle: For years, physicists knew this filter existed, but they didn't have a simple instruction manual to calculate exactly how the blocks change. They had to do incredibly hard, messy math for every single case.

The Breakthrough: The author, Yoshiki Fukusumi, found a simple formula (Equation 12 in the paper) that acts like a calculator for this filter. You just plug in the "blueprints" (mathematical data called Modular S matrices) of the two worlds, and the formula spits out the exact transformation rules.

---

Key Concepts Explained with Metaphors

1. The Verlinde Formula (The "DNA" of the Neighborhood)

The paper relies on something called the Verlinde Formula.

• Analogy: Imagine every neighborhood has a unique "DNA sequence" that dictates how its citizens (Anyons) interact. The Verlinde formula is the decoder ring for this DNA.
• The Paper's Trick: The author assumes this DNA is valid and uses it to reverse-engineer the rules of the wall. It's like looking at the DNA of a caterpillar and a butterfly to figure out exactly how the transformation happens.

2. Idempotents (The "Identity Cards")

The math uses "idempotents."

• Analogy: Think of these as Identity Cards or ID Badges for the Anyons.
• How it works: The formula works by checking which ID badges are kept and which are thrown away at the wall.
  • If an Anyon keeps its badge, it survives the transition.
  • If it loses its badge, it gets "condensed" or disappears into the wall (it becomes part of the background).
• Why it matters: This makes the math much easier. Instead of tracking every complex interaction, you just track which ID badges survive.

3. The "Massless" vs. "Massive" Flow (The "Nambu-Goldstone" Connection)

The paper connects two types of changes:

• Massless Flow (The Smooth Transition): Like a river flowing smoothly from a mountain to a valley. The energy doesn't get stuck; it just changes form.
• Massive Flow (The Broken Symmetry): Like a dam breaking. The water gets stuck, creating a new, heavy structure.
• The Analogy: The author compares this to the Nambu-Goldstone theorem (famous in physics).
  • Imagine a spinning top. If it spins perfectly, it has symmetry. If it wobbles and falls, the symmetry is "broken."
  • The "broken" pieces (the massive part) become "pseudo-particles" (like the wobble).
  • The paper shows that the math describing the "smooth river" (massless) and the "broken dam" (massive) are actually two sides of the same coin. One is the "ideal" (the perfect math structure), and the other is the "module" (the physical reality).

4. Symmetry Enriched Topological Orders (The "Party with Rules")

The paper also talks about what happens if you add extra rules, like a specific dance move everyone must do (Symmetry).

• Analogy: Imagine the Anyons are dancers.
  • Topological Order: They dance in a specific pattern.
  • Symmetry Enriched: They also have to wear red hats.
• The formula can handle this too. It can tell you how the dancers and their hats change when they cross the wall, even if the wall forces some dancers to change hats or leave the dance floor entirely.

---

Why Should You Care? (The "So What?")

1. Building Quantum Computers: To build a quantum computer, we need to manipulate these Anyons without breaking them. Knowing exactly how they transform across boundaries helps engineers design better, more stable quantum chips.
2. Understanding Phase Transitions: Just like water turning to ice, matter changes states. This paper gives us a new lens to see how the rules of the universe change during these shifts, from the tiniest particles to the largest cosmic structures.
3. Simplifying the Complex: Before this, figuring out these transitions was like trying to solve a Rubik's cube blindfolded. Now, the author has given us a "cheat sheet" (the formula) that makes the problem solvable with basic algebra.

Summary

This paper is a mathematical bridge. It connects two different worlds of quantum physics using a simple, elegant formula. It tells us that even when the rules of the universe change (like a phase transition), there is a hidden, consistent logic (a ring homomorphism) that governs how the fundamental building blocks (Anyons) transform. It's like finding the universal grammar that allows two different languages to translate into each other perfectly.

Technical Summary

1. Problem Statement

The paper addresses the fundamental challenge of classifying domain walls (gapped or symmetry-preserving interfaces) between topologically ordered phases or Conformal Field Theories (CFTs). Specifically, it seeks to determine the transformation law of anyons (or symmetry operators) as they pass through a domain wall connecting an Ultraviolet (UV) theory to an Infrared (IR) theory.

• The Core Puzzle: While the existence of a ring homomorphism $\rho: A \to A'$ between the fusion rings of the UV and IR theories is well-established, constructing this homomorphism explicitly—specifically determining the coefficients $A^{\alpha'}_{\alpha}$ in the expansion $\rho(\alpha) = \sum_{\alpha'} A^{\alpha'}_{\alpha} \alpha'$—has been a difficult problem.
• Limitations of Existing Methods: Previous approaches often rely on specific constructions like coset models or level-rank dualities, or they impose strict constraints (e.g., requiring integer coefficients or specific domain wall properties) that fail to describe general Renormalization Group (RG) flows, such as those between theories with different central charges or irrational coefficients.
• Goal: To derive a general, algebraic formula for the homomorphism coefficients that applies to a wide class of fusion rings without relying on specific model-dependent constructions, utilizing the framework of Symmetry Topological Field Theories (SymTFTs).

2. Methodology

The author employs a rigorous algebraic approach based on linear algebra and abstract algebra, specifically leveraging the properties of idempotents in commutative fusion rings.

• Foundational Assumptions:
  1. The theories possess a commutative fusion ring.
  2. The Verlinde formula holds, linking fusion coefficients ($N$) to the modular $S$-matrix.
  3. The theories are $C$-linear (complex linear), allowing for linear combinations of anyonic objects.
• Idempotent Basis Transformation:
  • Instead of working directly with the anyon basis $\{\alpha\}$, the author introduces idempotents $\{e(\alpha)\}$, which are orthogonal projectors in the fusion ring.
  • The relationship between anyons and idempotents is governed by the modular $S$-matrix: $\alpha = \sum_\beta \frac{S_{\alpha,\beta}}{S_{I,\beta}} e(\beta)$.
  • A ring homomorphism $\rho$ is trivial to define in the idempotent basis: it maps preserved idempotents to corresponding idempotents in the IR theory and maps "broken" (unpreserved) idempotents to zero.
• Derivation Strategy:
  1. Define the set of preserved idempotents $S_\rho$ and the mapping between UV and IR labels $S_{\rho, \times} = \{(\alpha_{pr}, \alpha'_{pr})\}$.
  2. Express the homomorphism action on idempotents: $\rho(e(\alpha_{pr})) = e(\alpha'_{pr})$ and $\rho(e(\alpha)) = 0$ for unpreserved sectors.
  3. Transform back to the anyon basis using the modular $S$-matrices of both the UV ($S$) and IR ($S'$) theories to derive the explicit coefficients for the anyon transformation.

3. Key Contributions and Results

A. The General Formula (Eq. 12)

The primary result is a closed-form expression for the coefficients $A^{\alpha'}_{\alpha}$ of the homomorphism $\rho(\alpha) = \sum_{\alpha'} A^{\alpha'}_{\alpha} \alpha'$:

$$A^{\alpha'}_{\alpha} = \sum_{(\beta_{pr}, \beta'_{pr}) \in S_{\rho, \times}} \frac{S_{\alpha, \beta_{pr}} S'_{I, \beta'_{pr}} S'_{\beta'_{pr}, \alpha'}}{S_{I, \beta_{pr}}}$$

• Significance: This formula is analogous to the Verlinde formula but incorporates data from both the UV and IR theories. It requires only the modular $S$-matrices and the choice of preserved sectors.
• Generality: Unlike previous methods, this formula allows for irrational coefficients and can connect theories with different central charges, resolving controversies regarding thermal Hall conductance and anomaly inflow mechanisms.

B. Classification of Domain Walls

The formula provides a systematic classification of surjective homomorphisms. For UV and IR theories with $n$ and $n'$ simple objects respectively, the number of possible homomorphisms corresponds to the permutations $P(n, n')$ of mapping preserved sectors.

• Example: The flow from the $M(2,7)$ minimal model to $M(2,5)$ yields 6 distinct homomorphisms, matching known results but derived here via a general algebraic method.

C. Algebraic Structure: Ideals and Modules

The paper establishes a deep correspondence between the algebraic structure of the fusion ring and physical RG flows:

• Massless RG (Gapless): The set of unpreserved sectors forms an ideal $S^c_\rho$ in the UV fusion ring. The IR theory is identified as the quotient ring $A / S^c_\rho$.
• Massive RG (Gapped): The ideal $S^c_\rho$ corresponds to the module of degenerate ground states in the dual massive RG flow (where the coupling constant sign is flipped).
• Nambu-Goldstone Analogy: The counting of operators follows an analogy to the Nambu-Goldstone theorem:
  $$n = n_{pNG} + n'$$
  where $n$ is the total UV symmetry operators, $n'$ is the IR symmetry operators, and $n_{pNG} = n - n'$ represents "pseudo-Nambu-Goldstone" modes (the ideal) that become gapped in the massless flow or degenerate ground states in the massive flow.

D. Anomaly-Free Conditions and Extended Models

The paper discusses conditions for the "unbroken subalgebra" $A_{ub}$.

• Anomaly Cancellation: For the homomorphism to be physically consistent (anomaly-free), the conformal spin of condensed objects must satisfy a half-integer condition ($s \in \mathbb{Z}/2$).
• Generalizations: The method is extended to:
  • Orbifolding and Extensions: Applying the formula to $Z_N$-extended theories and SymTFTs.
  • Non-local Models: Using similarity transformations (Galois shuffles) to handle non-Hermitian or non-local systems.
  • Fermionic Systems: Demonstrating how the formula applies to Majorana fermions and double semion models via "bulk semionization."

4. Significance and Impact

1. Unification of Frameworks: The paper unifies the description of gapped domain walls, massless RG flows, and measurement-induced phase transitions under a single algebraic framework (SymTFT).
2. Experimental Relevance: By allowing for irrational coefficients and changes in central charge, the formula provides a theoretical basis for understanding experimental observations in fractional quantum Hall systems where bulk-edge correspondence involves non-trivial connectivity and anomaly inflow.
3. Computational Simplicity: The method reduces complex categorical or combinatorial calculations to elementary linear algebra involving modular $S$-matrices, making the classification of domain walls accessible for a broader range of models.
4. Categorical Insight: It clarifies the relationship between the ideal structure in massless flows and modules in massive flows, offering a new perspective on the Nambu-Goldstone mechanism in topological phases.
5. Future Directions: The framework opens pathways for studying higher-dimensional topological orders, non-invertible symmetries, and the classification of quantum criticalities in symmetry-enriched topological orders.

In summary, Fukusumi provides a powerful, general algebraic tool (Eq. 12) that demystifies the construction of domain walls between topological phases, bridging the gap between abstract category theory and concrete physical phenomena in condensed matter and high-energy physics.