Disordered Ground States of Ergodic Quantum Spin Systems

This paper establishes that ergodic quantum spin systems with random local interactions always possess disordered ground states in the thermodynamic limit sharing the system's symmetry, a result derived using almost-sure disordered Lieb-Robinson bounds and new measure-theoretic tools, which further implies the deterministic nature of the associated GNS Hamiltonian spectrum.

The Gist

Imagine you are trying to understand the behavior of a massive, complex machine made of billions of tiny, spinning gears (quantum spins). In a perfect world, every gear is identical, and the machine runs with a predictable, rhythmic pattern. This is what physicists call a "translation-invariant" system.

But in the real world, things are messy. Some gears are slightly rusted, some are made of different metal, and some are vibrating at random frequencies. This is disorder.

This paper, written by Eric B. Roon and Jeffrey H. Schenker, tackles a big question: If you build a giant quantum machine with random, messy parts, can you still predict how it behaves when it gets infinitely large?

Here is the breakdown of their discovery using simple analogies:

1. The Problem: Chaos vs. Order

For decades, physicists have known that if you have a random system (like a forest where every tree is a different species), the local behavior is chaotic. However, in the world of random waves (like light or electrons in a messy material), there is a famous rule: Even if the ingredients are random, the final recipe often tastes the same.

For example, if you have a million random dice rolls, the average result is always 3.5. The paper asks: Does this "averaging out" happen for complex quantum machines? Specifically, does a system with random, messy parts settle into a stable, predictable state when it gets huge?

2. The Key Ingredient: "Ergodicity"

The authors use a concept called Ergodicity. Think of it like this:

• Imagine you are walking through a giant, infinite forest.
• If the forest is ergodic, it means that no matter where you start walking, if you walk long enough, you will eventually see every type of tree and every type of rock in the forest. The forest looks the same from every perspective in the long run.
• In their math, they assume the "randomness" of the machine parts is distributed in this fair, "ergodic" way. It's not that the left side is messy and the right side is clean; the messiness is spread out evenly across the whole universe.

3. The Discovery: Finding the "Ground State"

Every physical system wants to settle down into its lowest energy state, called the Ground State. Think of a ball rolling down a hill until it hits the bottom.

• The Old Problem: In a messy system, the "bottom of the hill" might look different depending on where you are. If you shift the ball slightly, the bottom might look totally different. This makes it hard to define a single "ground state" for the whole machine.
• The New Result: The authors prove that even with this randomness, there always exists a stable, predictable "ground state" for the whole machine.
• The Analogy: Imagine a crowd of people in a stadium, each holding a flashlight and waving it randomly. Individually, the light is chaotic. But if you look at the whole stadium from space, the pattern of light is actually a steady, predictable glow. The authors proved that this "steady glow" (the ground state) exists and follows the same rules as the randomness itself.

4. The Magic Tool: The "Lieb-Robinson Speed Limit"

To prove this, they used a tool called Lieb-Robinson bounds.

• The Metaphor: Imagine a rumor spreading through a crowd. In a quantum system, information (or a "rumor") cannot travel faster than a certain speed limit, even though the system is quantum.
• The authors showed that even in a messy, random system, this speed limit still holds true (almost always). Because information can't travel infinitely fast, the "mess" in one corner of the machine doesn't instantly ruin the stability of the whole machine. This allows them to prove that the system settles down into a stable state.

5. The Big Payoff: A Deterministic Spectrum

The most exciting part of their result is about the Spectrum. In physics, the "spectrum" is like the set of musical notes a machine can play.

• The Surprise: Even though the machine is built with random, messy parts, the notes it can play are deterministic.
• The Analogy: Imagine two different bands. One band has perfectly tuned instruments; the other has instruments that are slightly out of tune in random ways. You might expect them to play completely different songs. But this paper proves that if the "out-of-tuneness" is spread out evenly (ergodic), both bands will play the exact same set of notes. The randomness cancels itself out in the big picture.

Summary

In plain English, this paper says:

"Don't worry if your quantum system is messy and random. As long as the mess is spread out fairly evenly, the system will eventually settle into a stable, predictable state. Furthermore, the 'music' (energy levels) this system plays will be the same for everyone, regardless of the specific random details of the mess. We proved this by showing that information in these systems has a speed limit, preventing the chaos from taking over."

This is a foundational result that helps physicists understand how disorder affects materials like superconductors or magnetic chains, giving them confidence that even in a chaotic world, there is an underlying order.

Technical Summary

1. Problem Statement

The paper addresses a fundamental gap in the mathematical theory of disordered quantum spin systems. While it is well-established in the context of random Schrödinger operators that ergodic disorder leads to a deterministic spectrum for the total Hamiltonian, this result had not been rigorously extended to quantum spin systems in the thermodynamic limit.

Specifically, the authors aim to:

1. Prove the existence of ergodic disordered ground states for quantum spin systems with random local interactions satisfying a statistical translation invariance (ergodicity).
2. Demonstrate that the spectrum of the GNS Hamiltonian (the generator of bulk dynamics) associated with these ground states is deterministic (i.e., independent of the specific disorder realization) almost surely.
3. Formalize the necessary functional analytic tools, specifically regarding random states on $C^*$-algebras and measurability in infinite-dimensional spaces, which were previously lacking in the literature.

2. Mathematical Framework and Preliminaries

The authors work within the framework of Quantum Spin Systems on the integer lattice $\mathbb{Z}^\nu$:

• Algebraic Structure: The system is defined on a quasi-local $C^*$-algebra $\mathcal{A}_{\mathbb{Z}^\nu}$, constructed as the norm completion of the union of local algebras $\mathcal{A}_\Lambda$ (tensor products of matrix algebras).
• Disordered Interaction: They consider a random local interaction $\{h_\omega(Z)\}_{Z \Subset \mathbb{Z}^\nu}$, where $Z$ are finite subsets of the lattice. The interaction is assumed to decay sufficiently fast, measured by the $F$-norm (introduced in [43]), which controls the decay of interactions with distance.
• Ergodicity: The disorder is defined via a probability space $(\Omega, \mathcal{F}, P)$ and a group action $\{\vartheta_x\}_{x \in \mathbb{Z}^\nu}$ of measure-preserving ergodic maps. The interaction satisfies the translation covariance condition:
  $$\tau_x h_\omega(Z) = h_{\vartheta_x \omega}(Z+x)$$
  where $\tau_x$ is the translation automorphism on the algebra.

3. Methodology

The paper employs a combination of operator algebraic techniques, ergodic theory, and probabilistic functional analysis.

A. Formalization of Random States

A significant portion of the methodology involves rigorously defining random states (functions $\omega \mapsto \phi_\omega$ from the probability space to the dual of the $C^*$-algebra).

• Weak-$\infty$ Measurability: The authors define a random state as a function where $\omega \mapsto \phi_\omega(a)$ is Borel measurable for every local observable $a$.
• Vector Measures and Riesz-Markov-Kakutani: To handle limits of sequences of states, they prove a weak-$\infty$ version of the Riesz-Markov-Kakutani theorem (Proposition A.10). This establishes that a positive linear functional on the Bochner space $L^1(\mathcal{A}_{\mathbb{Z}^\nu})$ can be represented by a weak-$\infty$-measurable Radon-Nikodym derivative (a random state). This is crucial because standard Bochner measurability is too strong for the dual of non-reflexive spaces like $C^*$-algebras.

B. Quasi-locality and Lieb-Robinson Bounds

The authors utilize Lieb-Robinson bounds adapted for disordered systems.

• They show that if the $F$-norm of the interaction is finite almost surely, the dynamics satisfy a Lieb-Robinson bound with a deterministic velocity.
• This ensures the existence of the thermodynamic limit for the time evolution (Heisenberg dynamics) $\alpha_t^\omega$, which converges strongly to a global dynamics $\alpha_{t;\omega}$ independent of the sequence of finite volumes.

C. Construction of Ground States

To prove the existence of ground states, the authors use a functional analytic averaging argument:

1. Start with a sequence of finite-volume ground states.
2. Apply spatial averaging (Cesàro means) over large balls in the lattice.
3. Use the sequential compactness of the unit ball in the dual space (under the weak-$\infty$ topology) to extract a convergent subsequence.
4. Crucially, they use the ergodicity of the disorder to show that the limit state satisfies the covariance condition $\psi_\omega \circ \tau_x = \psi_{\vartheta_x \omega}$.

4. Key Results

Theorem A: Existence of Ergodic Disordered Ground States

Statement: For any ergodic local interaction with finite $F$-norm, there exists a weak-$\infty$-measurable family of ground states $\{\psi_\omega\}_{\omega \in \Omega}$ such that:

1. Each $\psi_\omega$ satisfies the ground state condition (positivity of the generator of dynamics).
2. The family is covariant: $\psi_\omega \circ \tau_x = \psi_{\vartheta_x \omega}$ almost surely.
   Significance: This proves that the "bulk" ground state sectors of disordered spin systems inherit the ergodicity of the underlying disorder, a property previously assumed or proven only for specific models.

Theorem B: Deterministic Spectrum of the GNS Hamiltonian

Statement: Let $\psi_\omega$ be a covariant ground state. Let $(H_\omega, \pi_\omega, \Psi_\omega)$ be the associated GNS representation. The generator $H_\omega$ of the unitary group implementing the dynamics satisfies:
$$H_{\vartheta_x \omega} = U_x^* H_\omega U_x$$
where $U_x$ are unitary operators intertwining the representations. Consequently, the spectrum of $H_\omega$ (including essential, discrete, continuous, and point spectra) is deterministic (constant almost surely).
Significance: This extends the classic Pastur-Kirsch-Martinelli theorem (known for random Schrödinger operators) to the setting of quantum spin systems. It implies that macroscopic spectral properties (like the presence of a spectral gap) are not random variables but fixed constants determined by the statistical distribution of the disorder.

Application: Disordered XY and XXZ Models

The authors apply their results to random perturbations of translation-invariant models (e.g., adding a random transverse field to an XY chain).

• They prove that the bulk spectrum of these models is deterministic.
• Unlike previous proofs for 1D chains that relied on the Jordan-Wigner transformation (mapping spins to fermions), this proof works in arbitrary dimensions $\nu$ and relies purely on operator algebraic methods.

5. Significance and Impact

• Rigorous Foundation: The paper provides the first rigorous proof that ergodicity in the disorder implies the existence of ergodic ground states and deterministic spectra for general quantum spin systems, filling a "hole" in the literature.
• Generalization: It generalizes results from 1D models (often solvable via fermionization) to arbitrary dimensions and general interactions, provided they satisfy the $F$-norm decay condition.
• New Mathematical Tools: The development of the weak-$\infty$ Riesz-Markov-Kakutani theorem and the handling of measurability in non-reflexive Banach spaces (specifically the dual of $C^*$-algebras) offers new tools for the mathematical physics community dealing with disordered systems.
• Implications for Many-Body Localization (MBL): While the paper does not focus on MBL, the establishment of deterministic spectra and ergodic ground states provides a necessary baseline for analyzing phenomena like MBL, where the breakdown of ergodicity is the central feature.

In summary, Roon and Schenker successfully bridge the gap between the theory of random Schrödinger operators and quantum spin systems, proving that the "bulk" properties of disordered quantum magnets are deterministic and well-defined in the thermodynamic limit.