🔢 mathematics

Lattice non-invertible symmetry from non-commuting transfer matrices

This paper establishes a direct link between Onsager symmetry, duality defects, and quantum integrability in the XXZ spin chain at roots of unity by constructing a lattice realization of the Onsager algebra and its duality automorphism via a non-Abelian algebra of transfer matrices, thereby demonstrating that non-Abelian integrability naturally gives rise to categorical dualities and topological defect lines.

Original authors: Eric Vernier, Yuan Miao, Masahito Yamazaki

Published 2026-06-25

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Eric Vernier, Yuan Miao, Masahito Yamazaki

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ 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 a giant, complex machine made of tiny spinning tops (spins) arranged in a line. Physicists call this the XXZ spin chain. Usually, when we study these machines, we look for "rules" that never change, like a perfect clockwork mechanism where every gear turns in perfect harmony with every other gear. This is called integrability.

However, this paper discovers a special setting for this machine—when the spinning tops are tuned to a very specific, "magical" frequency (mathematically known as "roots of unity"). In this setting, the usual rules of harmony break down in a fascinating way. Instead of all the gears turning in perfect sync, they start to dance in a complex, non-harmonious way that actually reveals a deeper, hidden structure.

Here is the breakdown of their discovery using simple analogies:

1. The Broken Harmony (Non-Commuting Transfer Matrices)

In normal physics, if you have two special tools (called "transfer matrices") to measure the machine, you can use them in any order: Tool A then Tool B gives the same result as Tool B then Tool A. They "commute."

But in this specific magical setting, the authors found that these tools do not commute. If you use Tool A then Tool B, you get a different result than Tool B then Tool A. It's like trying to put on your shoes and socks: if you put socks on first, then shoes, you get a result. If you try to put shoes on first, then socks, it doesn't work the same way.

Usually, this "messiness" is a problem. But the authors realized this messiness is actually the key to a new kind of symmetry.

2. The Hidden Blueprint (The Onsager Algebra)

The authors showed that this "messy" non-commuting behavior isn't random chaos. It follows a very strict, ancient blueprint called the Onsager Algebra.

Think of the Onsager Algebra as a secret instruction manual for a specific type of dance. For decades, physicists knew this dance existed in a different machine (the Ising model, which is like a simpler version of the spinning tops), but they couldn't find the dancers in this more complex XXZ machine.

By using a modified version of the standard equations (called an "unbalanced Yang-Baxter equation"), the authors finally built the dancers. They proved that the non-commuting tools are actually the steps of this secret dance.

3. The Magic Mirror (Duality and Non-Invertible Symmetry)

The most exciting part of the paper is about duality. In physics, duality is like a magic mirror that flips a system inside out.

Invertible Symmetry: Imagine a mirror that you can flip back and forth perfectly. If you flip it, you see the reflection; if you flip it again, you are back to the original.
Non-Invertible Symmetry (The Discovery): The authors found a "magic mirror" that cannot be flipped back. Once you use it, you can't simply undo the action to get exactly what you started with.

They constructed a specific "operator" (a mathematical tool) that acts as this non-invertible mirror. When they used it on their spinning top machine, it swapped different parts of the system in a way that preserved the overall energy but changed the internal structure.

4. The Fusion Rules (Tambara-Yamagami)

When you combine these "magic mirrors," they don't just cancel out or multiply like normal numbers. They follow a special set of rules called fusion rules.

The authors showed that these rules are exactly the same as a famous mathematical category called Tambara-Yamagami.

The Analogy: Imagine you have a set of magical cards. If you combine two specific cards, you don't just get a bigger card; you get a mixture of cards. The paper proves that the "magic mirror" in their spinning top machine follows these exact same mixing rules.

5. Connecting the Dots

The paper connects three things that were previously thought to be separate:

Integrability: The ability to solve the machine's equations exactly.
Symmetry: The rules that govern how the machine behaves.
Topology: The shape and structure of the "defects" (the magic mirrors).

The Main Takeaway:
The authors proved that when you tune a quantum machine to these specific "roots of unity," the fact that its tools don't work in a simple order (non-commuting) is actually the mechanism that creates a non-invertible symmetry. This symmetry acts like a topological defect line (a kind of invisible, unbreakable thread) that exists in the mathematical description of the universe (Conformal Field Theory).

They didn't just guess this; they built the actual "magic mirror" (the operator) out of the machine's own parts and showed it works exactly as the theory predicted. This suggests that these complex, non-reversible symmetries are a natural feature of certain quantum systems, waiting to be discovered in other models too.

Technical Summary: Lattice Non-Invertible Symmetry from Non-Commuting Transfer Matrices

Problem Statement
The paper addresses the long-standing separation between the concepts of quantum integrability and symmetry in many-body systems. While integrability is traditionally defined by the Yang–Baxter equation guaranteeing commuting conserved quantities, modern symmetry theory characterizes symmetries via topological defect lines (TDLs), which can be non-invertible and described by fusion categories. The authors aim to establish a direct connection between these two frameworks, specifically investigating whether non-Abelian integrability structures can naturally give rise to non-invertible symmetries on the lattice. They focus on the spin-1/2 XXZ quantum chain at roots of unity, a regime known for "superintegrability" and enhanced degeneracies due to the non-semisimple nature of the underlying quantum group.

Methodology
The authors employ a non-Abelian generalization of the standard integrability framework:

Model Setup: They analyze the XXZ Hamiltonian with anisotropy $\Delta = (q+q^{-1})/2$ , where $q$ is a root of unity ( $q^N = \pm 1$ ). They utilize twisted boundary conditions to simplify the presentation, though results hold for periodic systems under specific conditions.
Unbalanced RLL Relations: Instead of the standard commuting transfer matrices derived from the Yang–Baxter equation, the authors utilize an "unbalanced" version of the RLL relation. In this formulation, the outgoing $L$ -operators carry transformed parameters, preventing simple commutativity and instead yielding non-trivial quadratic product identities.
Factorization: They demonstrate that the non-commuting transfer matrices (specifically the $(semi)$-cyclic and nilpotent transfer matrices, $T_c$ and $T_n$ , which arise from $N$ -dimensional representations of the quantum group) can be factorized into products of operators expressed in terms of Onsager algebra generators.
Duality Construction: By taking specific limits of the $\tau^2$ model transfer matrices, they construct Matrix Product Operators (MPOs) that act as duality automorphisms on the Onsager algebra.

Key Contributions and Results

Explicit Construction of the Onsager Algebra: The paper provides the first explicit construction of the Onsager algebra generators ( $A_m, G_l$ ) and their duality automorphism directly from the lattice transfer matrices of the XXZ chain at roots of unity. This resolves a long-standing gap where the existence of such symmetry was suspected but the generators remained elusive.
Non-Commuting Transfer Matrices: The authors show that the non-commuting transfer matrices $T_c$ and $T_n$ satisfy specific factorization formulas (Eqs. 6 and 7) involving the Onsager generators. These relations are derived using the unbalanced RLL equation and a "train argument" adapted for non-commuting operators.
Dolan–Grady Relations: By analyzing the commutators of specific transfer matrix derivatives, the authors prove that the operators $A_0$ and $A_1$ satisfy the Dolan–Grady relations, confirming the presence of the Onsager algebra symmetry.
Lattice Realization of Non-Invertible Symmetries: The duality operator $D_{\pm}$ $D_{\pm}$ , constructed as a limit of the $\tau^2$ $τ^{2}$ transfer matrix, is shown to implement a duality automorphism on the Onsager algebra. Crucially, the fusion algebra of these operators is proven to satisfy the Tambara–Yamagami fusion rules $TY(\mathbb{Z}_N)$ $T Y (Z_{N})$ .
- Specifically, $D_{\pm} \cdot D_{\pm} = (\sum Z_k) T(0)$ , where $Z_k$ generates a $\mathbb{Z}_N$ subgroup of the $U(1)$ magnetization symmetry.
- This establishes that the lattice model realizes the topological defect lines of the $c=1$ free compactified boson Conformal Field Theory (CFT) at rational radii.

Significance and Claims
The paper claims that non-Abelian integrability serves as a natural framework for the emergence of Onsager symmetry and categorical dualities in lattice models.

Bridging Integrability and Symmetry: The work demonstrates that the "unbalanced" Yang–Baxter structure, typically associated with superintegrability, is the mechanism that generates non-invertible symmetries.
Universality of Onsager Structures: The authors suggest that Onsager-type structures may be a more general feature of integrable systems exhibiting enhanced degeneracies, extending beyond the specific XXZ case.
CFT Connection: The results identify the lattice operators as discrete realizations of the non-invertible symmetries found in the continuum limit (the compactified boson CFT), specifically linking the root-of-unity points to rational CFTs with $TY(\mathbb{Z}_N)$ defect lines.

The authors maintain a modest scope regarding future directions, noting that while they have constructed the fusion algebra, the full fusion category (specifically the associator or F-symbols) remains to be determined, potentially requiring tensor-network methods. They also identify the extension to higher-rank models and the connection to affine Temperley–Lieb representations as open directions.