🔢 mathematics

The spin-1/2 Heisenberg XXZ chain and the Lorentz mirror model with loop weight 2

This paper establishes the polynomial decay of spin-spin correlations and the interchangeability of thermodynamic and infinite-volume limits for the spin-1/2 Heisenberg XXZ chain in the range $\Delta\in[-1,1/2]$ by employing novel probabilistic couplings between the Lorentz mirror model and the six-vertex model, thereby providing rigorous results independent of Bethe Ansatz techniques.

Original authors: Kieran Ryan

Published 2026-08-24

📖 7 min read🧠 Deep dive

CC BY 4.0

Original authors: Kieran Ryan

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, atoms do not sit still; they spin. Imagine a long chain of tiny magnets, each capable of pointing in different directions, interacting with their neighbors. Physicists call this the Heisenberg XXZ chain. For decades, scientists have tried to understand what happens to this chain when it is cooled to its lowest possible energy state, known as the ground state. In some conditions, these spins align perfectly, creating a rigid order. In others, they fluctuate wildly, refusing to settle. A particularly tricky region exists where the interactions are balanced just right, creating a "critical" state. Here, the system is neither frozen nor chaotic, but sits on a knife-edge where correlations between distant spins decay slowly, following a specific mathematical pattern. Proving exactly how these distant parts of the chain talk to each other, and confirming that the system settles into a single, unique state as it grows infinitely large, has been a major challenge. While some methods exist to solve these problems for specific cases, they often rely on complex, exact solutions that are difficult to generalize or verify with absolute rigor.

A recent study by Kieran Ryan at the Technical University of Vienna offers a fresh, rigorous path through this maze. Instead of relying on the traditional, highly complex mathematical techniques that have dominated the field, Ryan connects the quantum spin chain to a completely different kind of problem: the behavior of random loops on a grid. By translating the difficult quantum physics into a probabilistic model of loops, the author proves that for a wide range of conditions, the ground state of the infinite chain is indeed unique and well-defined. Furthermore, the study demonstrates that the influence between two spins in this chain fades away not instantly, but slowly, following a polynomial decay. This means that if you measure the spin at one point, it still has a faint, predictable influence on a point far away, and this influence weakens according to a specific power law rather than vanishing exponentially fast.

The core of this achievement lies in a clever translation of the problem. The quantum spins are mapped onto a model of random loops on a two-dimensional grid, a setup known as the Lorentz mirror model. In this model, imagine a grid where every intersection can hold a mirror or nothing at all. Light rays, or paths, travel through this grid, reflecting off mirrors and passing straight through empty spots, forming closed loops. The researcher assigns a specific weight to these loops, effectively counting them in a way that mirrors the physics of the spin chain. By studying how these loops connect different parts of the grid, the author could deduce the behavior of the spins. The proof relies on a deep understanding of how these loops spread out, or "delocalize," across the grid. It was already known that in certain related models, these loops do not get stuck in small, isolated clusters but instead wander freely across the entire system. Ryan extends this understanding to the specific loop model relevant to the spin chain, proving that the connections between distant points become vanishingly small as the distance grows, yet do so in a slow, polynomial fashion.

This work is significant because it establishes these results without using the Bethe Ansatz, a powerful but often opaque method that has been the standard tool for solving these quantum chains. By avoiding the Bethe Ansatz, the proof provides a new, independent verification of the system's behavior. The study confirms that for a specific range of interaction strengths, the infinite chain has a single, stable ground state that is the same regardless of how the system is prepared. It also shows that the limits of infinite size and zero temperature can be taken in any order, a property that is not always guaranteed in complex physical systems. Additionally, the research proves that the system is "extremal," meaning it does not break into a mixture of different states but remains a pure, coherent whole.

The findings also shed light on how these systems behave over time. The paper shows that dynamic correlations, which describe how a spin at one moment affects another spin at a later time, also decay to zero as the distance in space and time increases. This confirms that the system loses memory of its initial state over long distances and times, a fundamental property of thermalization and stability. In a special case where the interactions are perfectly balanced, the study even pinpoints the exact rate at which these correlations fade, matching predictions made by other theoretical approaches but now backed by a rigorous, non-perturbative proof.

The methodology used in this paper is notable for its reliance on probabilistic couplings. The author constructs a bridge between the mirror model and another famous model called the six-vertex model, which describes arrows on a grid. By showing that these two seemingly different systems are mathematically linked, the study leverages recent breakthroughs in the six-vertex model, specifically the proof that its height function delocalizes. This delocalization is the key that unlocks the behavior of the mirror model and, by extension, the spin chain. The paper also introduces a new coupling that connects the mirror model to an eight-vertex model and an Ashkin-Teller model, creating a network of relationships that allows the properties of one model to be transferred to the others. This web of connections allows the author to prove that the probability of two distant points being connected by a loop in the mirror model decays polynomially, which directly translates to the polynomial decay of spin correlations in the quantum chain.

In the range of parameters where the interactions are strong enough to prevent a phase transition but not strong enough to create a gap, the study rules out the possibility of the system having multiple competing ground states. This is a crucial distinction, as some similar systems are known to "dimerize," or break into pairs, creating two distinct ground states. The paper proves that for this specific spin-1/2 chain, such dimerization does not occur, and the system remains in a single, translation-invariant state. This result aligns with expectations for systems with this level of symmetry but provides the first rigorous confirmation for this specific range of parameters without relying on unproven assumptions.

The work also addresses the behavior of the system at finite temperatures, showing that the convergence to the infinite volume state holds for various finite-temperature states as well. This robustness suggests that the properties of the ground state are not fragile artifacts of absolute zero but are intrinsic to the system's structure. The paper further clarifies the nature of the decay, showing that it cannot be exponential, which would imply a gap in the energy spectrum. Instead, the slow, polynomial decay confirms the system is gapless, meaning there is no energy barrier preventing low-energy excitations.

Ultimately, this research provides a solid foundation for understanding the critical behavior of quantum spin chains. By replacing complex algebraic solutions with geometric and probabilistic arguments, the author offers a clearer, more intuitive picture of how these systems behave. The results confirm that the ground state is unique, the correlations decay polynomially, and the system is stable under various conditions. These findings not only settle long-standing questions about the XXZ chain but also demonstrate the power of connecting quantum physics to the study of random loops and percolation, opening new avenues for exploring other complex systems in statistical mechanics.

Technical Summary: The Spin-1/2 Heisenberg XXZ Chain and the Lorentz Mirror Model with Loop Weight 2

1. Problem Statement

This paper addresses the rigorous classification of infinite-volume ground states and the decay of correlations for the spin-1/2 Heisenberg XXZ chain in one dimension. The Hamiltonian is given by:
$H_\Lambda = -\sum_{xy \in E(\Lambda)} \left[ S^{(1)}_x S^{(1)}_y + S^{(2)}_x S^{(2)}_y + \Delta S^{(3)}_x S^{(3)}_y \right]$
where $\Delta \in \mathbb{R}$ is the anisotropy parameter. The focus is on the "critical" regime $\Delta \in [-1, 1)$ , where the system is expected to exhibit a unique, gapless ground state with polynomially decaying correlations.

While the convergence of finite-volume ground states to an infinite-volume limit is known for $\Delta < 1$ via Bethe Ansatz methods (e.g., Dorlas, Samsonov, Kozlowski), rigorous proofs regarding the rate of correlation decay (specifically polynomial vs. exponential) and the interchangeability of thermodynamic limits (taking system size $L \to \infty$ and inverse temperature $\beta \to \infty$ ) have been lacking, particularly without relying on the Bethe Ansatz. Additionally, the behavior of dynamic (Euclidean) correlators in infinite volume remains a rigorous challenge.

2. Methodology

The author employs a probabilistic approach, avoiding Bethe Ansatz techniques entirely. The core methodology involves establishing rigorous couplings between the XXZ quantum spin chain and several related classical probabilistic models:

The Lorentz Mirror Model (Loop Weight 2): A model of random loops on $\mathbb{Z}^2$ where vertices contain mirrors or are empty. The loop weight is $n=2$ .
The Six-Vertex Model: A model of arrow configurations on $\mathbb{Z}^2$ satisfying the ice rule.
The Eight-Vertex and Ashkin-Teller Models: Interacting spin models used as intermediate steps in couplings.
Space-Time Models: Continuous limits of the above discrete models defined on $\mathbb{Z} \times \mathbb{R}$ , representing the XXZ chain at finite temperature or in the ground state limit.

Key Technical Tools:

Couplings: The paper establishes two primary couplings:
- First Coupling: Between the Mirror model and the Six-vertex model (known previously). This relates loop connectivity to arrow orientations.
- Second (New) Coupling: A novel coupling between the Mirror model and the Eight-vertex model (via coloring loops red/blue to define domain walls). This allows the connection probability in the mirror model to be expressed as a four-point spin correlation in the Eight-vertex model.
Delocalisation of Height Functions: The proofs rely heavily on the recent rigorous result by Glazman and Lammers (and others) that the height function of the Six-vertex model delocalizes (variance tends to infinity) in the disordered regime. This result is extended here to the space-time Six-vertex model.
Percolation Processes: The analysis utilizes a specific percolation process $\xi^\bullet$ associated with the Six-vertex model, which satisfies a domain Markov property and exhibits no infinite clusters in the relevant regimes.
RSW (Russo-Seymour-Welsh) Theory: Strong RSW properties are proven for the random cluster representation of the Eight-vertex model to establish polynomial decay bounds.

3. Key Contributions and Results

A. The Heisenberg XXZ Chain

Theorem 1.1 (Convergence and Correlation Decay):

Range $\Delta \in [-1, 1/2]$ : The paper proves the existence of a unique infinite-volume ground state $\langle \cdot \rangle$ as the limit of finite-volume states. Crucially, it establishes that the spin-spin correlation $\langle S^{(1)}_0 S^{(1)}_x \rangle$ decays polynomially fast in $x$ (i.e., $C_1 |x|^{-\alpha_1} \leq \langle S^{(1)}_0 S^{(1)}_x \rangle \leq C_2 |x|^{-\alpha_2}$ ).
Range $\Delta \in [-1, 0]$ : The results are strengthened to include:
- Convergence holds for several finite-volume, finite-temperature states.
- The limits $L \to \infty$ and $\beta \to \infty$ can be taken in any order or simultaneously.
- Convergence holds for dynamic (Euclidean) correlators $\langle S^{(1)}_0 S^{(1)}_x(t) \rangle$ .
- Dynamic correlations decay to zero as $\|(x, t)\| \to \infty$ and cannot decay exponentially fast.
Exact Rates:
- For $\Delta \in [-1, -1/2]$ , the decay of $\langle S^{(3)}_0 S^{(3)}_x \rangle$ is shown to be $- \frac{1}{4\pi} \arccos(\Delta) |x|^{-2} + o(|x|^{-2})$ , derived as a corollary of recent work on the Six-vertex height function convergence to the Gaussian Free Field (Duminil-Copin et al.).
- For $\Delta = 0$ (XY model), the decay of $\langle S^{(1)}_0 S^{(1)}_x(t) \rangle$ is shown to be $\|(x, t)\|^{-1/2}$ , derived from the decay of the 1D quantum Ising model.

B. The Lorentz Mirror Model (Loop Weight 2)

Theorem 1.3:

Convergence: For parameters $p_{NW}, p_{NE} \geq p_\emptyset$ , the measures on finite domains converge weakly to a unique, translation-invariant, ergodic infinite-volume Gibbs measure.
Decay: Connection probabilities between edges decay to zero.
- In the symmetric case ( $p_{NW} = p_{NE}$ ), the decay is polynomial.
- The decay is proven not to be exponential.
- In the specific case $p_{NW} \cdot p_{NE} = p_\emptyset$ , the decay rate is exactly $n^{-1/2}$ .
Uniqueness: If $p_{NW} \cdot p_{NE} \leq p_\emptyset$ , the infinite-volume measure is the unique Gibbs measure and thermodynamic limit.

C. Space-Time Models

Theorem 1.5 & 1.6:

Delocalisation: The height function of the space-time Six-vertex model delocalizes for $\Delta \in [-1, 0]$ .
Loop Model: Ueltschi's loop model for the XXZ chain converges to a unique infinite-volume measure for $\Delta \in [-1, 0]$ . Connection probabilities in the loop model decay polynomially and not exponentially.
Coupling Circuit: The paper constructs a complete circuit of couplings between the space-time Mirror, Six-vertex, Eight-vertex, and Ashkin-Teller models, analogous to the discrete case, allowing results to be transferred between them.

4. Significance and Claims

The paper claims the following significance:

First Rigorous Proof of Polynomial Decay: Apart from the specific points $\Delta = 0$ and $\Delta = -1$ , this work provides the first rigorous proof that spin-spin correlations in the XXZ chain decay polynomially in the critical regime, without invoking the Bethe Ansatz. Specifically, the general polynomial bound is proven for $\Delta \in [-1, 1/2]$ , while the exact asymptotic rate for $\langle S^{(3)}_0 S^{(3)}_x \rangle$ is established for the sub-range $\Delta \in [-1, -1/2]$ .
Dynamic Correlators: It establishes the convergence of dynamic (Euclidean) correlators to an infinite-volume limit and proves their decay properties, a result previously unknown at the rigorous level.
Interchangeability of Limits: It proves that for $\Delta \in [-1, 0]$ , the limits of system size and inverse temperature can be interchanged, confirming the stability of the ground state against thermal fluctuations in this regime.
New Coupling Techniques: The introduction of a new coupling between the Mirror model and the Eight-vertex model (via loop coloring) is a methodological novelty that facilitates the analysis of connection probabilities through spin correlations.
Probabilistic Alternative: The work demonstrates that deep results in quantum spin systems can be derived using probabilistic methods (percolation, random loops, height functions) rather than relying on the integrability of the model via the Bethe Ansatz.

The author explicitly notes that while the Bethe Ansatz provides more precise asymptotic formulae (including amplitudes), this work provides the first rigorous confirmation of the type of decay (polynomial) and the existence of the infinite-volume limit for dynamic observables in the specified ranges. The results for $\Delta \in [-1, -1/2]$ and $\Delta=0$ are presented as corollaries of combining the new probabilistic framework with existing rigorous results on the Six-vertex and Ising models.