⚛️ high-energy theory

Rational Q-systems at Root of Unity I. Closed Chains

This paper develops a systematic rational $Q$ -system framework to solve Bethe ansatz equations for the XXZ spin chain at root of unity by eliminating Fabricius-McCoy string solutions to identify primitive states and constructing their descendant towers to fully characterize the Hilbert space and compute the 6-vertex model's torus partition function.

Original authors: Jue Hou, Yunfeng Jiang, Yuan Miao

Published 2026-10-14

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Jue Hou, Yunfeng Jiang, Yuan Miao

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

In the microscopic world of quantum materials, scientists often study chains of tiny magnets, known as spins, that interact with their neighbors. These systems are not just abstract puzzles; they model real physical materials and help us understand how heat and electricity move through solids. For decades, physicists have used a powerful mathematical toolkit called the Bethe ansatz to solve these models, predicting exactly how the spins behave and what energy levels the system can hold. This method works beautifully when the interaction between spins is generic, meaning it can be any value. However, there is a special, tricky case that has long frustrated researchers: when the interaction parameter is set to a "root of unity." In this specific regime, the usual rules break down. The system develops a hidden, complex symmetry that causes many different states to share the exact same energy, creating a massive degeneracy that standard methods cannot untangle. It is as if the usual map of the territory suddenly becomes a foggy maze where many paths lead to the same destination, and the old tools for counting the paths fail completely.

This foggy maze is the focus of a new study by researchers Jue Hou, Yunfeng Jiang, and Yuan Miao. They have developed a fresh, systematic way to navigate this difficult terrain, offering a complete solution for finding all the physical states of these spin chains when the interaction is at a root of unity. The core of their work involves a method called the rational Q-system, which acts like a sophisticated filter. In the past, applying this filter to the root-of-unity case produced an infinite number of mathematical answers, most of which were physically meaningless or "ghost" solutions. The researchers realized that these extra solutions were caused by a specific type of bound state, known as a Fabricius–McCoy string, which behaves like a phantom that can slide freely without changing the system's energy. To fix this, the team imposed strict new constraints on their equations. These constraints act as a sieve, filtering out the phantom strings and leaving behind only the "primitive" states—the fundamental, unique building blocks of the system.

Once these fundamental states were isolated, the researchers faced the second part of the puzzle: how to reconstruct the full, degenerate family of states that share the same energy. They discovered that every primitive state sits at the top of a "tower" of descendant states. These descendants are formed by adding specific pairs of roots at infinity or by re-introducing the previously filtered-out phantom strings in a controlled way. The structure of these towers is not random; it follows a precise, diamond-shaped pattern that the authors mapped out using a specific diagram. By combining the filtered primitive states with their calculated towers of descendants, the team successfully reconstructed the entire Hilbert space, which is the complete collection of all possible quantum states for the system. This means they can now count exactly how many states exist for any given setup, a task that was previously impossible due to the infinite solutions generated by the old methods.

The team did not stop at theory; they put their new method to the test with extensive numerical checks. They verified that their constrained system produced the exact number of solutions required by the known dimensions of the Hilbert space, confirming that no states were missed and no ghosts remained. As a practical application of their success, they used this complete set of states to calculate the torus partition function for the six-vertex model at root of unity. This function is a crucial quantity in statistical physics that describes the thermodynamic properties of the system on a closed loop. By solving the problem of the root of unity, the researchers have provided a reliable, systematic way to explore the physics of these complex quantum chains, turning a previously intractable problem into a solvable one and opening the door to understanding the hidden symmetries that govern these materials.

Technical Summary: Rational Q-Systems at Root of Unity

Problem Statement
The solution of Bethe ansatz equations for the XXZ spin chain with the anisotropy parameter $q$ at a root of unity is notoriously subtle. While the rational Q-system provides a powerful, systematic method to find all physical solutions for generic $q$ (and for the XXX chain), its direct application at root of unity fails. Specifically, the standard rational Q-system yields infinitely many solutions because it cannot fix the center of the so-called Fabricius–McCoy (FM) strings. These strings are special bound states of $\ell_2$ Bethe roots that do not carry conserved charges (except for momentum) and can be added to any solution without altering the eigenvalues of the transfer matrix (up to a sign). This infinite degeneracy contradicts the finite dimension of the Hilbert space, necessitating a reformulation of the Q-system to isolate the physical "primitive" states before reconstructing the full spectrum.

Methodology
The authors propose a two-part strategy to construct a complete basis for the Hilbert space of the XXZ spin chain at root of unity:

Construction of the Constrained Rational Q-System:
- The authors first identify that the presence of FM-strings imposes specific algebraic relations among the coefficients of the Q-function polynomial.
- To eliminate these unphysical solutions, they impose additional constraints on the Q-system. By using elimination theory, they derive a set of polynomial equations $R_k(c_0, \dots, c_{M-1}) = 0$ that the coefficients of a Q-function must satisfy if it contains an FM-string.
- They introduce a constraint equation of the form $1 + w \sum |R_k|^2 = 0$ (where $w$ is an auxiliary variable) to the standard zero-remainder conditions of the Q-system. This effectively forbids solutions containing FM-strings.
- The authors distinguish three types of primitive solutions based on the behavior of Bethe roots at infinity:
  1. Solutions with only finite Bethe roots.
  2. Solutions with finite roots and roots at $+\infty$ .
  3. Solutions with finite roots and roots at $-\infty$ .
- They construct separate constrained Q-systems for each of these three cases, ensuring that the resulting solutions are the "primitive" states (those with the minimal number of Bethe roots for a given eigenvalue).
Construction of Descendant Towers:
- Once primitive states are identified, the full Hilbert space is reconstructed by generating "descendant towers."
- Descendants are formed by adding FM-strings and "infinity pairs" (pairs of roots at $+\infty$ and $-\infty$ ) to the primitive state.
- The authors provide an algorithm to determine the centers of the FM-strings for a given primitive state. This involves constructing a specific function $F(u)$ derived from the transfer matrix fusion relations. The zeros of $F(u)$ determine the centers of the allowed FM-strings.
- The number of infinity pairs is determined by the degree of $F(u)$ .
- The structure of these descendants forms a diamond-shaped Hasse diagram, connecting the primitive state to its dual state (obtained by flipping all spins).

Key Contributions

Constrained Q-System: The paper introduces a systematic method to eliminate the infinite family of FM-string solutions from the rational Q-system, yielding a finite set of primitive solutions that correspond to the physical states required for the completeness of the Bethe ansatz.
Algorithm for Descendants: The authors provide a concrete procedure to construct the full descendant tower for any primitive state. This includes a novel method to fix the centers of FM-strings using the zeros of a function derived from higher-spin transfer matrix fusion relations, a fact previously unreported in the literature.
Classification of Primitive States: The work clarifies the structure of primitive solutions at root of unity, distinguishing between those with finite roots only, those with roots at $+\infty$ , and those with roots at $-\infty$ , noting that primitive states cannot simultaneously possess roots at both positive and negative infinities.
Numerical Verification: The proposal is validated through extensive numerical checks, confirming that the constrained Q-system produces the correct number of primitive solutions and that the descendant construction recovers the full Hilbert space dimension.

Results and Applications

The authors successfully compute the torus partition function of the 6-vertex model at root of unity using their method. This application demonstrates the utility of the complete set of physical states in calculating thermodynamic quantities.
The paper provides combinatorial formulas (detailed in Appendix C) for counting the number of primitive states for given quantum numbers ( $L, M$ ).
The work resolves the apparent contradiction between the infinite solutions of the standard Q-system and the finite Hilbert space by rigorously separating primitive states from their degenerate descendants.

Significance
The paper claims to provide the first systematic framework for solving the Bethe ansatz equations for the XXZ spin chain at root of unity using the rational Q-system formalism. By addressing the subtleties of FM-strings and roots at infinity, the authors offer a complete and non-redundant method to enumerate the physical spectrum. This is significant because the exact structure of the enhanced symmetry algebra at root of unity (often conjectured to be an Onsager algebra or $sl_2$ loop algebra) has remained difficult to access via standard Bethe ansatz techniques. The ability to construct the full Hilbert space and compute partition functions suggests that this approach can serve as a robust tool for studying integrable models at roots of unity, bridging the gap between the well-understood generic $q$ case and the highly degenerate root-of-unity regime.

More like this