On Exponentially Long Prethermalization Timescales in Isolated Quantum Systems

This paper demonstrates that isolated quantum many-body systems with a small perturbation $\varepsilon$ exhibit prethermalization with timescales exponentially long in $1/\varepsilon$, during which two quasi-conserved quantities remain approximately conserved.

The Gist

Imagine you have a giant, complex machine made of billions of tiny, interacting gears. In the world of quantum physics, this machine is a "quantum many-body system," and the gears are atoms or particles.

Usually, when you start this machine (by giving it energy), the gears spin wildly, collide, and eventually settle into a chaotic, random mess. Physicists call this thermal equilibrium. It's like a cup of hot coffee cooling down until it's the same temperature as the room; the specific details of how you poured the coffee are lost, and only the average temperature remains.

However, this paper discovers a fascinating "pause button" in nature. Under certain conditions, this machine doesn't just rush to chaos. Instead, it gets stuck in a long-lived "prethermal" state. It looks like it's settled, but it's actually holding onto its secrets for an incredibly long time before finally giving in to chaos.

Here is the breakdown of the paper's discovery using simple analogies:

1. The Setup: A Perfect Rhythm vs. A Tiny Nudge

Imagine the machine is built with a perfect, rigid rhythm. Every gear turns exactly once per second. This is the Unperturbed System ($N$). It's perfectly ordered, and if you knew the rules, you could predict exactly where every gear would be forever.

Now, imagine someone adds a tiny, slightly annoying vibration to the machine. Maybe a loose screw is rattling, or a tiny spring is slightly off. This is the Perturbation ($\epsilon P$).

• In the real world, $\epsilon$ (epsilon) is very small. It's just a tiny nudge.

The Question: If you nudge a perfect machine just a little bit, how long does it take before the whole thing falls apart into chaos?

2. The Old Answer vs. The New Discovery

• The Old View: Scientists previously thought that even a tiny nudge would eventually destroy the order, but it might take a very long time. They estimated this time to be "stretched exponential." Think of it like a snail trying to cross a continent. It's slow, but it's not impossibly slow.
• The New Discovery (This Paper): The author, Matteo Gallone, proves that the machine holds its order for exponentially longer than anyone thought.
  • The Analogy: If the old estimate was a snail crossing a continent, the new estimate is a snail crossing the entire universe.
  • Mathematically, the time the system stays ordered grows as $e^{1/\epsilon}$. Because $\epsilon$ is tiny, $1/\epsilon$ is huge, and $e$ to that power is astronomically large. For all practical human purposes, the system never thermalizes. It stays in that "prethermal" state forever.

3. The "Ghost" Rules (Quasi-Conserved Quantities)

Why does the machine stay ordered? Usually, when things get chaotic, "conserved quantities" (like total energy or momentum) are the only things that stay constant. But in this prethermal state, the system invents two new "Ghost Rules."

• The Metaphor: Imagine a dance floor where everyone is supposed to dance randomly. Suddenly, a "Ghost Rule" appears: "Everyone must keep their left hand on their hip."
  • This rule isn't perfect. Every now and then, someone bumps into another person and their hand slips.
  • But because the nudge ($\epsilon$) is so small, the hand slips very rarely.
  • For an exponentially long time, the dancers almost perfectly follow this rule.
• The Science: The paper proves that there are two specific properties (let's call them "Ghost Magnetism" and "Ghost Spin") that the system almost perfectly preserves. They aren't perfectly conserved (the hand slips eventually), but the error is so tiny that for billions of years, the system acts as if these rules are absolute laws of physics.

4. The Method: The "Normal Form" Magic Trick

How did the author prove this? He used a mathematical technique called Normal Form, which is like a magic trick for simplifying complex equations.

• The Analogy: Imagine you are trying to describe the path of a leaf blowing in a very windy, turbulent storm. It's a mess.
• The Trick: The author performs a series of "coordinate transformations." He changes the way he looks at the leaf.
  1. He zooms in and rotates his view to cancel out the biggest gusts of wind.
  2. He does it again to cancel out the next biggest gusts.
  3. He repeats this process over and over.
• The Result: After doing this "dance" of math steps (about $1/\epsilon$ times), the chaotic wind disappears almost entirely. What's left is a simple, calm description of the leaf's motion, plus a tiny, tiny bit of "noise" that is so small it's practically zero.
• This proves that the system is effectively governed by a simple, stable set of rules for an incredibly long time.

5. Real-World Example: The Quantum Ising Model

The paper applies this to a specific model called the Quantum Ising Model in a strong magnetic field.

• The Scene: Imagine a grid of tiny magnets (spins). A strong magnetic field forces them all to point Up.
• The Nudge: You add a weak interaction that tries to make them flip side-to-side.
• The Outcome: Even though the side-to-side interaction tries to scramble the magnets, the strong magnetic field holds them in place. The paper proves that the total "Up-ness" (magnetization) of the system will stay almost perfectly constant for a time so long it's effectively infinite.

Why Does This Matter?

1. Stability: It tells us that quantum systems can be incredibly stable, even when they aren't perfectly isolated. This is crucial for building quantum computers, which need to keep their information (qubits) from scrambling (decohering) for as long as possible.
2. New States of Matter: It suggests that we can create "phases of matter" that don't exist in equilibrium. These are states that only exist because the system is "stuck" in this prethermal limbo.
3. Foundations of Physics: It helps explain why some systems (like the famous Fermi-Pasta-Ulam problem) don't thermalize as quickly as classical physics predicts. Nature has a "pause button" that is much stronger than we realized.

In Summary:
This paper shows that if you have a quantum system that is mostly orderly with just a tiny bit of chaos, it won't fall apart quickly. Instead, it will enter a "stasis" where it follows hidden, almost-perfect rules for a time so long it defies our intuition. It's like a spinning top that, instead of wobbling and falling over in a second, keeps spinning perfectly upright for the age of the universe.

Technical Summary

1. Problem Statement and Context

The paper addresses the problem of prethermalization in isolated quantum many-body systems. Prethermalization is a phenomenon where a system, after a rapid initial evolution, relaxes to a long-lived quasi-stationary state (the prethermal state) before eventually reaching true thermal equilibrium.

• Specific Setting: The study focuses on time-independent quantum systems on a $d$-dimensional lattice with an extensive local Hamiltonian of the form:
  $$H = N + \varepsilon P$$
  where:
  • $N$ is a "number operator" with an integer spectrum ($\sigma(N) \subset \mathbb{Z}$).
  • $P$ is an extensive local perturbation.
  • $\varepsilon \ll 1$ is a small parameter representing the perturbation strength.
• Previous Limitations: Previous work (specifically reference [1] in the paper) established that prethermalization occurs up to timescales of order $\exp(-\ln^3(1/\varepsilon)/\varepsilon)$. This is a "stretched exponential" bound, which, while long, is not optimal for systems with integer spectra.
• Goal: The author aims to prove that the prethermalization timescale is truly exponential in $1/\varepsilon$ (i.e., $t \sim e^{c/\varepsilon}$) and that the system possesses two quasi-conserved quantities that are extensive local operators.

2. Methodology: Iterative Normal Form Transformation

The core of the proof relies on a non-convergent iterative normal form scheme, inspired by classical resonant normal form techniques and the "isochronous" version of the Nekhoroshev theorem.

Key Technical Steps:

1. Hamiltonian Decomposition: The Hamiltonian is iteratively transformed via unitary conjugations $H^{(n+1)} = e^{-iG^{(n)}} H^{(n)} e^{iG^{(n)}}$. At each step $n$, the Hamiltonian is decomposed as:
   $$H^{(n)} = N + Z^{(n)} + P^{(n)}$$
   where $Z^{(n)}$ commutes with $N$ (the resonant part) and $P^{(n)}$ is a non-resonant perturbation term of size $O(e^{-n})$.

2. Homological Equation: To eliminate the non-resonant part $P^{(n)}$, the author solves a homological equation for the generator $G^{(n)}$:
   $$-i[G^{(n)}, N] + P^{(n)} = \tilde{Z}^{(n)}$$
   subject to the constraint $[\tilde{Z}^{(n)}, N] = 0$.

   • The solution involves an integral over the flow of $N$: $B_S = \frac{1}{2\pi} \int_0^{2\pi} e^{-iN\vartheta} A_S e^{iN\vartheta} d\vartheta$.
   • Crucially, because $N$ has an integer spectrum, the flow is periodic, allowing for an explicit solution that preserves the locality of the operators.

3. Norm Estimates and Locality: The paper utilizes a specific extensive local norm ($\|\cdot\|_\kappa$) to control the growth of operator norms during the iteration.

   • Lemma 2.1 & 2.2: Provide bounds on iterated commutators and conjugations, ensuring that the unitary transformations do not destroy the extensive local nature of the operators.
   • Lieb-Robinson Bounds: Used to control the propagation of information and estimate the error in local observables over time.

4. Optimal Truncation: The iteration is not carried out to infinity (as the series would diverge). Instead, it is truncated at an optimal step $n^* \approx \lfloor \varepsilon_0 / \varepsilon \rfloor$. At this point, the remainder term $P^{(n^*)}$ is exponentially small, of order $O(e^{-\varepsilon_0/\varepsilon})$.

3. Key Contributions and Results

Main Theorem (Theorem 1.1)

The paper proves that for $\varepsilon < \varepsilon_0$, there exist two extensive local operators $\mathcal{N}$ and $\mathcal{Z}$ (the "dressed" operators) such that:

1. Structure: $\mathcal{N}$ retains the integer spectrum of the original $N$.
2. Closeness: $\mathcal{N}$ is close to $N$ in operator norm (difference scales with $\varepsilon$).
3. Quasi-Conservation: Both $\mathcal{N}$ and $\mathcal{Z}$ are quasi-conserved for exponentially long times. Specifically, the deviation from conservation scales as:
   $$\frac{1}{|\Lambda|} \| e^{iHt}\mathcal{N}e^{-iHt} - \mathcal{N} \|_{op} \leq C |t| \varepsilon e^{-\varepsilon_0/\varepsilon}$$
   This holds for times $|t| \lesssim e^{\varepsilon_0/\varepsilon}$.
4. Commutativity: The two quasi-conserved quantities commute: $[\mathcal{N}, \mathcal{Z}] = 0$.
5. Effective Dynamics: The true dynamics generated by $H$ can be approximated by the effective Hamiltonian $H_{\text{eff}} = \mathcal{N} + \mathcal{Z}$ on local observables for the same exponentially long timescale.

Application: Quantum Ising Model

The theory is applied to a Quantum Ising model in a strong magnetic field:
$$H = \sum Z_x - \varepsilon \sum X_x X_y$$
Here, $N = \sum Z_x$ represents the total magnetization. The result proves that magnetization is quasi-conserved for times $t \sim e^{c/\varepsilon}$, providing a rigorous mathematical foundation for the stability of this phase against perturbations.

4. Significance and Impact

• Sharp Timescale Bound: The paper improves upon previous results by establishing a true exponential timescale ($e^{1/\varepsilon}$) rather than a stretched exponential one. This is a significant theoretical advancement, showing that the "isochronous" nature of the integer spectrum allows for much longer stability.
• Extensive Local Observables: Unlike some previous approaches where conserved quantities might be non-local or difficult to define, this work explicitly constructs extensive local quasi-conserved quantities. This is crucial for physical interpretation and experimental verification.
• Robustness in Thermodynamic Limit: All constants in the bounds are independent of the system size $|\Lambda|$, meaning the results hold rigorously in the thermodynamic limit.
• Methodological Rigor: The proof provides a robust framework for handling time-independent nearly integrable systems, bridging the gap between classical Nekhoroshev stability theorems and quantum many-body physics. It demonstrates that the "resonant normal form" technique is highly effective for quantum systems with integer spectra.

In summary, Gallone's work provides a rigorous mathematical proof that isolated quantum systems with a specific Hamiltonian structure ($N + \varepsilon P$) exhibit prethermalization over truly exponentially long times, governed by two well-defined, local, quasi-conserved quantities.