Universal energy-space localization and stable quantum phases against time-dependent perturbations
Yu, Wei
Stability against perturbation is a highly nontrivial property of quantum systems and is often a requirement to define new phases. In most systems where stability can be rigorously established, only static perturbations are considered; whether a system is stable against generic time-dependent perturbations remains largely elusive. In this work, we identify a universal phenomenon in $q$-local Hamiltonians called energy-space localization and prove that it can survive under generic time-dependent perturbations, where the evolving state is exponentially localized in an energy window of the instantaneous spectrum. The property holds ubiquitously, and the leakage bounds remain invariant under arbitrarily monotonic rescaling of evolution time. This flexibility enables the energy-space localization to be a powerful tool in proving the stability of systems. For spin glass models where the configuration spaces are separated by large energy barriers, the localization in energy space can induce a true localization in the configuration space and robustly break ergodicity. We then demonstrate the applications of our results in several systems with such barriers. For certain LDPC codes, we show that the evolving state is localized near the original codeword for an exponentially long time even under generic time-dependent perturbations. We also extend the stability of LDPC codes against static $q$-local perturbations to quasi-$q$-local. In addition, we show that for some classical hard optimization problems with clustered solution space, the stability becomes an obstacle for quantum Hamiltonian-based algorithms to drive the system out of local minima. Our work provides a new lens for analyzing the non-equilibrium dynamics of generic quantum systems, and versatile mathematical tools for stability proving and quantum algorithm design.
academic
Universelle Energieraum-Lokalisierung und stabile Quantenphasen gegen zeitabhängige Störungen
Dieses Paper identifiziert und beweist ein universelles Phänomen in q-lokalen Hamiltonoperatoren — die Energieraum-Lokalisierung (energy-space localization), die unter allgemeinen zeitabhängigen Störungen überlebt. Der Evolutionszustand zeigt exponentielle Lokalisierung innerhalb eines Energiefensters des momentanen Spektrums. Diese Eigenschaft ist universell vorhanden, und die Leckschranken bleiben unter beliebiger monotoner Neumskalierung der Evolutionszeit invariant. Für Spin-Glas-Modelle, deren Konfigurationsraum durch große Energiebarrieren getrennt ist, kann die Lokalisierung im Energieraum echte Lokalisierung im Konfigurationsraum induzieren und Ergodizität robust brechen.
Stabilitätsproblem unter zeitabhängigen Störungen: Die meisten Stabilitätsnachweise für Quantenphasen sind auf statische Störungen beschränkt, während Störungen in der Realität häufig zeitabhängig sind. Für die Langzeitevolution unter allgemeinen zeitabhängigen Störungen fehlen strenge Grenzen und mathematische Werkzeuge.
Einschränkungen bestehender Methoden: Bestehende Methoden liefern Grenzen, die Potenzreihen der Evolutionszeit t sind und schließlich divergieren, wenn t wächst. Sie können nur Fehler während konstanter (oder logarithmischer in der Systemgröße) Evolutionszeiten kontrollieren.
Forschungsmotivation: Die Autoren lösen das Problem aus einer anderen Perspektive — sie identifizieren zunächst, welche Eigenschaften unter allgemeinen zeitabhängigen Störungen überleben, und nutzen dies dann als Leitfaden zur Suche nach entsprechenden Modellen.
Die unkontrollierbaren Effekte zeitabhängiger Störungen (wie hochenergetische Anregungen und große Wärmeabsorption) können Zustände weit weg von der ursprünglichen Konfiguration treiben
Von großer praktischer Bedeutung für Quantenfehlerkorrektur und Quantenalgorithmus-Design
Bietet neue Perspektiven für die Analyse der Nichtgleichgewichtsdynamik allgemeiner Quantensysteme
Identifikation und Beweis der Universalität der Energieraum-Lokalisierung: Für q-lokale Hamiltonoperatoren zeigt ein anfänglicher Eigenzustand bei der Evolution unter einem allgemeinen zeitabhängigen Hamiltonoperator exponentielle Lokalisierung innerhalb eines Energiefensters des momentanen Energiespektrums.
Etablierung eines strengen mathematischen Rahmens: Bereitstellung von zwei Hauptsätzen (Theorem 1 und 2), die jeweils dynamische und statische Fälle behandeln und exponentiell kleine Leckschranken liefern.
Beweis mehrerer Stabilitätsarten für LDPC-Codes:
Exponentiell lange dynamische Lokalisierung unter allgemeinen zeitabhängigen Störungen
Erweiterung der Stabilität unter statischen q-lokalen Störungen auf quasi-q-lokale Störungen
Beweis der robusten langsamen Mischungseigenschaft des Gibbs-Samplers
Offenlegung algorithmischer Hindernisse in schweren Optimierungsproblemen: Beweis, dass für klassische schwere Optimierungsprobleme mit geclusterten Lösungsräumen Stabilität ein Hindernis für hamiltonianische Quantenalgorithmen darstellt, um Systeme aus lokalen Minima zu treiben.
Theorem 1 (informelle Formulierung): Sei der Anfangszustand |ψ(0)⟩ ein Eigenzustand von H(0) mit Energie E₀. Wenn der Zustand gemäß H(t) von t=0 bis T evolviert, dann ist der Zustand zu jedem Zeitpunkt t exponentiell innerhalb des Energiefensters E₀⁽ᵈ⁾≡E₀-dn, E₀+dn des momentanen Spektrums von H(t) lokalisiert.
Für die Fälle 1, 2, 4 wird das Leck ε⁽¹⁾ durch folgende Formel begrenzt:
Der Schlüsselschritt besteht darin, das Wachstum beliebiger k-ter Momente ⟨(H(t)-E₀)²ᵏ⟩_t zu begrenzen. Dies wird durch Schätzung des Wachstums verschachtelter Kommutatoren ad^m_H(t)(H'(t)) erreicht.
Definition 1 (Clusteringeigenschaft): Ein Hamiltonoperator H besitzt die Clusteringeigenschaft im Energiefenster E₁,E₂, wenn alle Eigenzustände in diesem Fenster in Cluster {wⱼ} unterteilt werden können, so dass:
Der Abstand zwischen Zuständen im selben Cluster D(|φ⟩,|φ'⟩) ≤ ν₁
Der Abstand zwischen Zuständen in verschiedenen Clustern D(|φ⟩,|φ'⟩) ≥ ν₂
Proposition III.1: Für LDPC-Codes mit linearer Soundness bleibt der Zustand unter zeitabhängigen Störungen in der Nähe des ursprünglichen Codewortes lokalisiert, solange λ < (b-ε₀)/2, mit einer Lokalisierungszeit von T ~ (1/λ)e^Ω(n) und Leck e^(-Ω(n)).
Für den statischen Hamiltonoperator H = Hc + V₀ + Hd ist jeder gestörte Eigenzustand |ψ⟩ exponentiell in der Nähe eines Codewortes |w⟩ lokalisiert, wenn λ ausreichend klein ist.
Proposition III.4: Für H = Hc + V₀ besitzt der Gibbs-Sampler mit lokalem stationärem Zustand e^(-βH) eine exponentiell lange Mischzeit e^Ω(n), wenn λ ausreichend klein ist.
Proposition IV.1 (Einfrieren von Lösungen): Wenn die Gesamtvariation des Hamiltonoperators H(t) unter B/2 liegt, dann bleibt jeder Z-Grundzustand, der anfänglich im Cluster w₀ liegt und Energie unter E_B - 2Λ hat, im Cluster w₀ lokalisiert, mit einer Zeit bis zu T ~ (1/Λ)e^Ω(Λ/M).
Dies zeigt, dass Quantenalgorithmen ohne ausreichend große Variation das System nicht aus lokalen Minima treiben können.