Homomorphism, substructure, and ideal: Elementary but rigorous aspects of renormalization group or hierarchical structure of topological orders

This paper proposes a rigorous quantum Hamiltonian formalism for renormalization group flows in topologically ordered systems by leveraging the algebraic relationship between homomorphisms, quotient rings, and ideals to characterize generalized symmetries, determine anyon condensation rules, and constrain gapped phase classifications.

The Gist

The Big Picture: Simplifying a Complex Universe

Imagine you are looking at a incredibly complex, high-resolution 8K movie. It has millions of pixels, intricate details, and a chaotic story. Now, imagine you want to understand the essence of the story without getting lost in the noise. You decide to "zoom out" or "blur" the image to see the main shapes and colors. In physics, this process of simplifying a system to see its core behavior is called Renormalization Group (RG) flow.

This paper proposes a new, rigorous way to understand how these "zooming out" processes work, specifically in the world of Topological Order. Think of Topological Order as a special kind of "quantum fabric" where particles (called anyons) don't just bounce off each other; they braid and fuse together in magical ways, creating a state of matter that is robust against noise (like a knot that won't untie no matter how you shake it).

The authors, Yoshiki Fukusumi and Yuma Furuta, argue that to understand how these quantum fabrics change from a complex "high-energy" state (UV) to a simpler "low-energy" state (IR), we need to stop thinking like traditional group theorists and start thinking like algebraists.

The Core Concept: The "Ideal" as a Trash Can

In traditional physics, we often think about symmetries like a Group. A group is like a club where every member has a "partner" (an inverse) that cancels them out. If you have a key, you have a lock. If you have a move, you have a counter-move.

However, the authors say that in these complex quantum systems, the rules are different. They introduce a mathematical concept called an Ideal.

The Analogy: The "Trash Can" of Symmetry
Imagine your quantum system is a giant factory producing toys (particles).

• The UV Theory (High Energy): The factory is chaotic. It produces millions of different, complex toys, including some broken ones, some that are just noise, and some that are the "real" toys we care about.
• The Ideal: This is a specific Trash Can inside the factory. It's not just a box; it's a rule that says, "Anything that goes into this bin gets crushed into zero."
• The Homomorphism (The Flow): This is the process of taking the factory, throwing everything in the "Ideal" Trash Can, and seeing what toys are left on the conveyor belt.

The paper's main insight is that the "Trash Can" (the Ideal) is non-invertible. You can't un-trash the trash. Once you throw something in, it's gone forever. This "irreversibility" is the key to understanding how the universe simplifies itself.

How the "Zoom Out" Works

The authors describe the transition from the complex world to the simple world as a Projection.

The Metaphor: The Shadow Puppet
Imagine you have a complex, 3D sculpture (the UV theory). You shine a light on it, and a shadow falls on the wall (the IR theory).

• In the old way of thinking, we tried to map every single curve of the sculpture to the shadow.
• The authors say: "No, let's look at the holes in the sculpture."
• The "Ideal" is the set of parts of the sculpture that, when you shine the light, disappear completely into the shadow (they become zero).
• By mathematically defining what gets "crushed to zero" (the Ideal), we can predict exactly what the shadow (the new, simpler physics) will look like.

Why This Matters: The "Condensation" of Particles

In the quantum world, when you "zoom out," some particles combine and disappear, while others emerge as new, stable entities. This is called anyon condensation.

The paper explains that the rules for which particles disappear and which survive are dictated by the Ideal.

• The Rule: If a particle belongs to the "Ideal" (the Trash Can), it gets condensed (it disappears or becomes part of the background).
• The Result: The remaining particles form a new "Fusion Ring" (a new set of rules for how the surviving toys interact).

The authors show that by looking at the algebraic structure of these "Trash Cans," we can systematically predict all possible ways a complex quantum system can simplify itself.

The Surprising Twist: Negative Numbers and Fractions

One of the most exciting parts of the paper is that when you do this math, you sometimes get negative numbers or fractions in your equations.

The Metaphor: The "Ghost" Toy
In normal physics, you can't have -1 toy or 0.5 toys. But in this "algebraic shadow" world, these numbers appear.

• The authors explain that these weird numbers aren't errors; they represent emergent symmetries.
• Think of it like a magic trick. If you have a deck of cards and you perform a specific shuffle (the RG flow), you might end up with a situation where the "value" of a card seems to be negative. It doesn't mean the card is gone; it means the relationship between the cards has changed in a way that requires a new kind of math to describe.

They suggest these "weird" flows might correspond to partially solvable models—systems that are mostly chaotic but have hidden pockets of perfect order (like finding a perfectly organized room inside a messy house).

The "Sandwich" and the "Wall"

The paper also discusses Domain Walls. Imagine two different universes (or two different phases of matter) meeting at a boundary.

• The Wall: This is the interface where the rules change.
• The Sandwich: The authors use a "sandwich" analogy. If you take a complex theory, put a "wall" in the middle, and look at the layers, you can see how the symmetry breaks or changes.
• They show that the "Ideal" acts as the recipe for building these walls. It tells you exactly how to stack the layers so that the physics on one side flows smoothly into the physics on the other.

Summary: What Did They Actually Do?

1. Reframed the Problem: They stopped treating quantum symmetries like simple groups (like a circle of friends holding hands) and started treating them like Rings (a more complex algebraic structure where you can add and multiply things).
2. Identified the Key: They found that the Ideal (the part of the system that gets "zeroed out") is the most important part of the puzzle. It's the "non-invertible" part that drives the change.
3. Created a Map: They built a mathematical method to take a complex theory, identify its "Trash Can" (Ideal), and calculate exactly what the simpler, low-energy theory will look like.
4. Found New Worlds: They discovered that this method predicts new types of quantum flows that involve "weird" numbers (fractions/negatives), which might explain some of the most mysterious, partially-solvable systems in physics today.

The Takeaway for Everyone

This paper is like discovering a new set of blueprints for how the universe simplifies itself. Instead of just watching a complex machine break down, they found the mathematical switch (the Ideal) that controls the breakdown. By understanding this switch, we can predict the future state of complex quantum materials, potentially leading to better quantum computers or new types of superconductors.

They are essentially saying: "To understand how the universe gets simpler, you have to understand what it throws away." And in this quantum world, what it throws away is just as important as what it keeps.

Technical Summary

1. Problem Statement

The paper addresses the fundamental challenge of systematically classifying and constructing Renormalization Group (RG) flows, particularly massless RG flows, between Conformal Field Theories (CFTs) and Topological Orders (TOs).

• The Gap: While the connection between CFTs and TOs via the bulk-edge correspondence is well-established, the algebraic mechanism describing how symmetries transform (or break) during an RG flow—specifically through domain walls—lacks a rigorous, general framework beyond standard group theory.
• The Limitation of Current Approaches: Existing methods often rely on specific integrable models or group-theoretic symmetries. They struggle to account for non-invertible symmetries (generalized symmetries), fractional or negative fusion coefficients, and the emergence of new symmetries that are not present in the ultraviolet (UV) theory.
• The Core Question: How can one rigorously define the mapping between the fusion rings of UV and IR theories, and what algebraic structures dictate the condensation rules of anyons that lead to the IR phase?

2. Methodology

The authors propose a general quantum Hamiltonian formalism that interprets RG flows as ring homomorphisms and utilizes the algebraic concept of ideals to describe the projection from UV to IR.

• Ring Homomorphism as RG Flow: The RG flow $\rho$ is defined as a ring homomorphism between the fusion ring of the UV theory, $A^{(1)}$, and the IR theory, $A^{(2)}$:
  $$\rho: A^{(1)} \to A^{(2)}$$
  This homomorphism preserves the fusion structure (addition and multiplication of anyons/symmetry operators).
• The Role of Ideals: The kernel of this homomorphism, $\text{Ker}\rho$, is identified as an ideal $I^{(1)}$ of the UV fusion ring.
  • Unlike subrings, ideals are intrinsically non-invertible and non-group-like.
  • The IR theory is constructed as the quotient ring: $A^{(2)} \cong A^{(1)} / \text{Ker}\rho$.
  • Physically, taking the quotient corresponds to anyon condensation or "gapping" the degrees of freedom in the kernel.
• Hamiltonian Construction: The authors map this algebraic projection to a physical Hamiltonian. By adding terms to the UV Hamiltonian $H^{(1)}$ that penalize the ideal sector (effectively sending the ideal to zero), one obtains the IR Hamiltonian $H^{(2)}$. This is analogous to gauge fixing or projecting out specific sectors in lattice models.
• Symmetry Classification: The paper rigorously defines unbroken symmetries (subrings disjoint from the kernel) and emergent symmetries (arising from the quotient structure), providing dimension inequalities to constrain the IR theory.

3. Key Contributions

A. Algebraic Framework for RG Flows

The paper establishes that the structure of RG flows is governed by the ideal decomposition of fusion rings. This moves the study of RG beyond group symmetries to ring theory, accommodating non-invertible symmetries and generalized symmetries.

• Projection Interpretation: The RG flow is explicitly interpreted as a linear algebra projection where the kernel (ideal) is set to zero.
• Non-uniqueness of Homomorphisms: The authors demonstrate that even for well-known flows (e.g., Tricritical Ising to Ising), the ring homomorphism is not unique. Multiple solutions exist, some of which involve fractional or negative coefficients.

B. Emergent Defects and Partial Solvability

• Emergent Defects: The paper introduces the concept of "emergent defects" in the IR theory that have no direct UV counterpart. These arise because the homomorphism can map UV operators to linear combinations that do not correspond to simple UV defects.
• Connection to Partially Solvable Systems: The authors conjecture that the non-unique, "unusual" homomorphisms (those with fractional/negative coefficients) correspond to partially solvable systems (or Hilbert space fragmentation) found in recent literature. These are systems that are not fully integrable but possess specific solvable sectors.

C. Systematic Construction of IR Theories

The paper provides a constructive algorithm:

1. Start with a UV fusion ring.
2. Identify non-invertible objects (non-abelian anyons) which generate non-trivial ideals.
3. Construct the quotient ring to determine the possible IR fusion rings.
4. This method generates an infinite series of potential massless RG flows and IR theories from a single UV theory.

D. Application to Specific Models

The authors rigorously analyze several flows:

• Tricritical Ising $\to$ Ising: They show that preserving the $Z_2$ symmetry and t'Hooft anomaly matching allows for multiple solutions. The standard RG flow corresponds to one specific solution, while others may relate to partially solvable models.
• $SU(2)_1 \times SU(2)_1 \to SU(2)_2$ (Majorana): They construct unusual homomorphisms involving negative fusion coefficients, linking them to fermionic string theory structures and double semion algebras.
• $\{SU(2)_1\}^3 \to SU(2)_3$ and $\{SU(2)_1\}^4 \to SU(2)_4$: These examples highlight the inevitability of fractional coefficients in surjective homomorphisms and reveal "puzzles" where certain charged sectors cannot be mapped surjectively without breaking consistency, suggesting open problems in non-invertible extensions.

4. Results

• Rigorous Definition of Symmetry Breaking: The paper provides a precise algebraic definition for unbroken vs. emergent symmetries based on the intersection of the symmetry subring and the kernel ideal ($A_{unbroken} \cap \text{Ker}\rho = \{0\}$).
• Hierarchical Structure: The quotient ring structure explains the hierarchical organization of topological orders (e.g., in fractional quantum Hall states), where higher-level theories are projections of lower-level ones.
• Sandwich Construction: The authors interpret the "sandwich construction" (relating D-dimensional gapped phases to D+1 dimensional symmetries) as a consequence of ideal decomposition, where condensable objects in the bulk correspond to the ideal in the boundary theory.
• Negative/Fractional Coefficients: The formalism naturally accommodates negative and fractional fusion coefficients, which are necessary for describing fermionic systems and non-invertible symmetries, resolving inconsistencies in previous categorical derivations.

5. Significance

• Theoretical Unification: This work unifies the concepts of RG flows, domain walls, and anyon condensation under a single algebraic framework (Ring Homomorphism and Ideals), extending the reach of symmetry analysis from groups to rings.
• New Classification Tool: It offers a systematic method to classify gapped phases and topological orders by generating all possible IR theories from a known UV theory via ideal decomposition.
• Bridge to Experiment: The formalism suggests that "partially solvable" models and measurement-induced phase transitions (interpreting projection as measurement) are physically realizable phenomena governed by these algebraic structures.
• Foundation for Non-Invertible Symmetries: By treating ideals as fundamental, the paper provides the necessary mathematical language to handle non-invertible symmetries, which are currently a frontier in condensed matter and high-energy physics.

In summary, Fukusumi and Furuta demonstrate that the ideal is the fundamental algebraic object governing the transition from UV to IR in topological systems. This insight transforms the understanding of RG flows from a perturbative or phenomenological process into a rigorous algebraic projection, opening new avenues for constructing and classifying quantum phases of matter.