2025-11-18T17:19:13.403952

Digital quantum simulation of many-body localization crossover in a disordered kicked Ising model

Hayata, Seki, Yunoki
Simulating nonequilibrium dynamics of quantum many-body systems is one of the most promising applications of quantum computers. However, a faithful digital quantum simulation of the Hamiltonian evolution is very challenging in the present noisy quantum devices. Instead, nonequilibrium dynamics under the Floquet evolution realized by the Trotter decomposition of the Hamiltonian evolution with a large Trotter step size is considered to be a suitable problem for simulating in the present or near-term quantum devices. In this work, we propose simulating the many-body localization crossover as such a nonequilibrium problem in the disordered Floquet many-body systems. As a demonstration, we simulate the many-body localization crossover in a disordered kicked Ising model on a heavy-hex lattice using $60$ qubits from $156$ qubits available in the IBM Heron r2 superconducting qubit device named ibm\_fez. We compute out-of-time-ordered correlators as an indicator of the many-body localization crossover. From the late-time behavior of out-of-time-ordered correlators, we locate the quantum chaotic and many-body localized regimes as a function of the disorder strength. The validity of the results is confirmed by comparing two independent error mitigation methods, that is, the operator renormalization method and zero-noise extrapolation.
academic

Digitale Quantensimulation des Vielteilchen-Lokalisierungs-Crossovers in einem ungeordneten getriebenen Ising-Modell

Grundlegende Informationen

  • Papier-ID: 2510.01983
  • Titel: Digital quantum simulation of many-body localization crossover in a disordered kicked Ising model
  • Autoren: Tomoya Hayata, Kazuhiro Seki, Seiji Yunoki
  • Klassifizierung: quant-ph cond-mat.stat-mech hep-lat hep-th
  • Veröffentlichungsdatum: 15. Oktober 2025
  • Papierlink: https://arxiv.org/abs/2510.01983

Zusammenfassung

Dieses Papier präsentiert eine Methode zur Simulation des Vielteilchen-Lokalisierungs-(Many-body localization, MBL) Crossovers auf modernen Quantengeräten. Die Forscher nutzen 60 Qubits auf dem IBM Heron r2 Supraleitungs-Quantenprozessor ibm_fez, um das MBL-Crossover im ungeordneten getriebenen Ising-Modell auf einem Kagome-Gitter zu simulieren. Durch die Berechnung von zeitlich ungeordneten Korrelationsfunktionen (Out-of-time-ordered correlators, OTOCs) als Indikatoren für das MBL-Crossover werden Quantenchaos- und Vielteilchen-Lokalisierungsbereiche aus dem Spätzeit-Verhalten identifiziert. Die Ergebnisse werden durch zwei unabhängige Fehlerminderungsmethoden – Operator-Renormalisierung und rauschfreie Extrapolation – verifiziert.

Forschungshintergrund und Motivation

Kernprobleme

  1. Simulation der Nichtgleichgewichtsdynamik von Quantenvielteilchensystemen: Dies ist eine der vielversprechendsten Anwendungen von Quantencomputern, aber die getreue Simulation der Hamiltonianischen Zeitentwicklung auf aktuellen rauschbehafteten Quantengeräten ist äußerst herausfordernd.
  2. Vielteilchen-Lokalisierungsphänomen: MBL ist ein Mechanismus, der die Thermalisierung ungeordneter Quantenvielteilchensysteme verhindert und ist von großer Bedeutung für das Verständnis der Verletzung der Ergodizität in Quantensystemen.
  3. Floquet-Systeme: Periodisch getriebene Quantensysteme können exotische Phasen zeigen, die in Gleichgewichtssystemen nicht realisierbar sind, wie beispielsweise Zeitkristalle.

Forschungsmotivation

  • Technische Motivation: Das Rauschen auf bestehenden Quantengeräten begrenzt die Simulation exakter Hamiltonianischer Zeitentwicklung, während Floquet-Zeitentwicklung durch Trotter-Zerlegung implementiert wird und besser für moderne Quantengeräte geeignet ist
  • Wissenschaftliche Motivation: Der MBL-Übergang beinhaltet Nichtgleichgewichtsdynamik und das vollständige Eigenenspektrum, was für klassische Computer bei großen Systemen schwer zu handhaben ist; Quantensimulation hat natürliche Vorteile
  • Praktische Motivation: Erkundung neuer Richtungen für Anwendungen in der nahen Zukunft vor der Realisierung fehlertoleranter Quantencomputer

Kernbeiträge

  1. Erste Realisierung der digitalen Quantensimulation des MBL-Crossovers auf einem 60-Qubit-System, wobei die Systemgröße die Fähigkeiten der klassischen exakten Diagonalisierungsmethode übersteigt
  2. Entwicklung einer OTOC-basierten Methode zur Identifikation des MBL-Crossovers, die Quantenchaos- und Vielteilchen-Lokalisierungsbereiche durch Spätzeit-Verhalten lokalisiert
  3. Entwicklung des ungeordneten getriebenen Ising-Modells auf dem Kagome-Gitter, das die native Konnektivität und Gatteroperationen von IBM-Quantengeräten vollständig nutzt
  4. Etablierung von zwei unabhängigen Fehlerminderungsmethoden: Operator-Renormalisierung und rauschfreie Extrapolation, die sich gegenseitig validieren
  5. Nachweis der Machbarkeit der Simulation von Nichtgleichgewichtsdynamik in Floquet-Vielteilchensystemen auf modernen Quantengeräten

Methodische Details

Aufgabendefinition

Untersuchung des Vielteilchen-Lokalisierungs-Crossovers im ungeordneten getriebenen Ising-Modell auf einem Kagome-Gitter durch Variation der Unordnungsstärke W, um die Grenze zwischen dem Quantenchaos-Bereich (W < Wc) und dem Vielteilchen-Lokalisierungs-Bereich (W > Wc) zu identifizieren.

Modellarchitektur

Ungeordnetes getriebenes Ising-Modell

Der zeitabhängige Hamiltonianische wird definiert als:

H_X = \sum_{i=1}^N B_X(i)X_i, & t \in [0,T/2) \\ H_Z = J\sum_{(i,j)} Z_iZ_j + B_Z\sum_{i=1}^N Z_i, & t \in [T/2,T) \end{cases}$$ wobei: - $X_i$, $Z_i$ sind Pauli-Operatoren für den i-ten Gitterplatz - $B_X(i)$ ist ein Zufallsfeld, gleichmäßig verteilt in $[B_{X0}-W, B_{X0}+W]$ - $J$, $B_Z$, $B_{X0}$ sind feste Parameter - $W$ ist der Unordnungsstärkeparameter #### Floquet-Zeitentwicklungsoperator Der Zeitentwicklungsoperator für einen einzelnen Antriebszyklus: $$U_F = e^{-iH_ZT/2}e^{-iH_XT/2}$$ Parametereinstellung: $JT = π/2$, $B_ZT = 1.3$, $B_{X0}T = π/2$, so dass das System bei $W=0$ im maximalen Chaoszustand ist. #### Zeitlich ungeordnete Korrelationsfunktionen (OTOCs) Definiert als: $$\text{OTOC} = \langle 0^N|(U_F)^{\dagger n}X_1(U_F)^nZ_m(U_F)^{\dagger n}X_1(U_F)^n|0^N\rangle$$ Normalisierte Form: $$\text{OTOC} = \frac{\langle 0^N|(U_F)^{\dagger n}X_1(U_F)^nZ_m(U_F)^{\dagger n}X_1(U_F)^n|0^N\rangle}{\langle 0^N|(U_F)^{\dagger n}I_1(U_F)^nZ_m(U_F)^{\dagger n}I_1(U_F)^n|0^N\rangle}$$ ### Technische Innovationen 1. **Schaltkreisoptimierung**: Manuelle Entfernung redundanter Gatter außerhalb des Kausalitätskegels, signifikante Verbesserung der Fehlerminderungsqualität 2. **Effektives Quantenvolumen**: Verwendung des Nennerterms zur Schätzung des Kausalitätskegel-Wachstums als ergänzender MBL-Indikator 3. **Doppelte Fehlerminderung**: Kombination von Operator-Renormalisierung und ZNE-Methode zur gegenseitigen Validierung 4. **Distanzabhängige Analyse**: Identifikation von Wellenfrontausbreitungsmerkmalen durch OTOC-Verhalten bei verschiedenen Distanzen x ## Experimentelle Einrichtung ### Quantengerät - **Gerät**: IBM Heron r2 Supraleitungs-Quantenprozessor ibm_fez (156 Qubits) - **Verwendete Größe**: 60 Qubits, die ein 2×3 Kagome-Gitter bilden - **Gatterfehlerrate**: CZ-Gatter ~3,7×10⁻³, SX-Gatter ~2,93×10⁻⁴, Auslesefehler ~1,76×10⁻² ### Experimentelle Parameter - **Anzahl der Unordnungsrealisierungen**: 25 - **Trotter-Schritte**: 10 - **Gesamtzahl der Schaltkreise**: 250 (25×10) - **Messvorgänge pro Schaltkreis**: 16.000 - **Pauli-Wicklungsschaltkreise**: 32 ### Bewertungsindikatoren 1. **Normalisiertes OTOC**: Hauptindikator, reflektiert die Ausbreitung von Informationsstörungen 2. **Effektives Quantenvolumen**: $V_{eff} = \log F / \log(1-p)$, charakterisiert die Größe des Kausalitätskegels 3. **Crossover-Punkt-Lokalisierung**: $W_c = \arg\max_W \partial\langle\langle\text{OTOC}\rangle\rangle/\partial W$ ### Fehlerminderungsmethoden 1. **Operator-Renormalisierung**: Verwendung des Nennerterms zur Korrektur von Rauscheffekten 2. **Rauschfreie Extrapolation (ZNE)**: Extrapolation durch Rauschverstärkungsfaktoren f=1,0, 1,5 ## Experimentelle Ergebnisse ### Hauptergebnisse #### OTOC-Verhaltensmerkmale - **Schwache Unordnungsregion (W≤0,18)**: OTOC fällt bei Distanz x=n steil ab, zeigt starken Spätzeit-Zerfall und weist auf Quantenchaos-Verhalten hin - **Starke Unordnungsregion (W≥0,18)**: OTOC bleibt nahe 1 oder fällt langsam ab, zeigt Vielteilchen-Lokalisierungsmerkmale - **Crossover-Punkt**: $W_c \sim 0,18$, Ergebnisse beider Fehlerminderungsmethoden stimmen überein #### Wellenfrontausbreitungsanalyse - **W=0,05**: Klare Wellenfront, die sich in der Nähe von x=n ausbreitet - **W=0,5**: Wellenfront verschwindet, Informationsausbreitung ist begrenzt #### Effektives Quantenvolumen - **Schwache Unordnung**: Spätzeit-Überlinerares Wachstum, reflektiert schnelle Kausalitätskegel-Expansion - **Starke Unordnung**: Lineares Wachstum, zeigt, dass der Kausalitätskegel nicht mehr wächst ### Fehlerminderungsvalidierung Beide Fehlerminderungsmethoden zeigen konsistente Ergebnisse in Chaos- und MBL-Bereichen; die Crossover-Region (0,14≤W≤0,2) erfordert sorgfältige Analyse. Die ZNE-Methode macht das Phasenübergangsverhalten deutlicher, aber die Fehlerbalken sind relativ groß. ### Experimentelle Erkenntnisse 1. **Distanzabhängigkeit**: OTOC bei x=n/2=5 ist am besten als Crossover-Indikator geeignet 2. **Systemgrößeneffekte**: Das 60-Qubit-System zeigt eine Größe, die klassische Berechnung nicht erreichen kann 3. **Rausch-Robustheit**: Normalisiertes OTOC zeigt eine gewisse Widerstandsfähigkeit gegen Rauschen ## Verwandte Arbeiten ### MBL-Theorieforschung - Theoretischer Rahmen basierend auf der Verletzung der Eigenstate-Thermalisierungs-Hypothese - Logarithmisches Lichtkegel-Verhalten in eindimensionalen Systemen - Kontroverse über die Stabilität von MBL in höheren Dimensionen ### Quantensimulationsexperimente - Realisierung von Zeitkristallen auf Supraleitungs-Qubits - Identifikation von lokalen integralen Bewegungskonstanten - Anwendung von Excited-State Variational Quantum Eigensolver ### Floquet-Systeme - Exotische Phasen periodisch getriebener Systeme - Äquivalenz von Trotter-Dynamik und Floquet-Systemen - Quantensimulation von Vorwärmungsphänomenen ## Schlussfolgerungen und Diskussion ### Hauptschlussfolgerungen 1. **Erfolgreiche Realisierung der 60-Qubit-MBL-Crossover-Simulation**, Lokalisierung des Crossover-Punkts $W_c \sim 0,18$ 2. **Validierung von OTOC als effektiver MBL-Indikator**, Unterscheidung zwischen Chaos- und Lokalisierungsbereichen 3. **Nachweis der praktischen Fähigkeiten moderner Quantengeräte**, Eröffnung neuer Richtungen für Anwendungen vor der Fehlertoleranz ### Einschränkungen 1. **Trotter-Schritt-Beschränkung**: Rauschbeschränkungen verhindern die Beobachtung des asymptotischen Verhaltens über lange Zeiten 2. **Einzelne Systemgröße**: Keine Finite-Size-Skalierungsanalyse durchgeführt, kann nicht bestätigen, ob ein echter Phasenübergang existiert 3. **Stabilität von 2D-MBL**: Theoretisch umstritten, ob die MBL-Phase in höheren Dimensionen stabil ist 4. **Kausalitätskegel-Beschränkung**: Wenn der Kausalitätskegel alle Qubits abdeckt, kann die Schaltkreis nicht weiter erweitert werden ### Zukünftige Richtungen 1. **Geräte mit niedrigerem Rauschen**: Erkundung des logarithmischen Lichtkegel-Verhaltens über längere Zeiten 2. **Finite-Size-Skalierung**: Forschung mit mehreren Systemgrößen zur Bestimmung der Phasenübergangsnatur 3. **Andere Nichtgleichgewichtsphasen**: Erweiterung auf zeitliche Quasikristalle und andere exotische Phasen 4. **Klassisch schwer lösbare Probleme**: Suche nach weiteren Quantenvorteil-Anwendungen ## Tiefgreifende Bewertung ### Stärken 1. **Technische Innovativität**: Erste Realisierung der MBL-Simulation auf großflächigen Quantengeräten, Schaltkreisoptimierung und Fehlerminderungsmethoden haben universelle Anwendbarkeit 2. **Experimentelle Vollständigkeit**: 25 Unordnungsrealisierungen, doppelte Fehlerminderung, Multi-Distanz-Analyse gewährleisten Zuverlässigkeit der Ergebnisse 3. **Physikalische Bedeutung**: Erfolgreiche Identifikation des MBL-Crossovers bietet neue experimentelle Plattform für Quantenvielteilchen-Physik 4. **Methodologischer Beitrag**: Etablierung eines Paradigmas für die Untersuchung von Nichtgleichgewichtsdynamik auf rauschbehafteten Quantengeräten ### Mängel 1. **Theoretische Tiefe**: Fehlende theoretische Vorhersagen und Vergleiche für die numerischen Werte des Crossover-Punkts 2. **Skalierungsanalyse**: Einzelne Systemgröße begrenzt das Verständnis der Phasenübergangsnatur 3. **Rauschmodell**: Die Annahme des Depolarisierungskanals könnte zu vereinfacht sein 4. **Universalität**: Die Anwendbarkeit der Methode auf andere Quantengeräte und Modelle bleibt zu überprüfen ### Auswirkungen 1. **Akademischer Wert**: Bietet wichtige experimentelle Referenzwerte für das Schnittstellenfeld von Quantenvielteilchen-Physik und Quantencomputing 2. **Technologischer Fortschritt**: Fehlerminderung und Schaltkreisoptimierungsmethoden können auf andere Quantensimulationsprobleme verallgemeinert werden 3. **Anwendungsperspektiven**: Demonstriert das wissenschaftliche Rechenpotenzial moderner Quantengeräte 4. **Reproduzierbarkeit**: Detaillierte experimentelle Parameter und offene Daten unterstützen die Wiederholung der Ergebnisse ### Anwendungsszenarien 1. **Quantenvielteilchen-Physikforschung**: Nichtgleichgewichtsdynamik, Phasenübergänge, kritische Phänomene 2. **Quantenalgorithmus-Entwicklung**: Fehlerminderung und Schaltkreisoptimierungstechniken 3. **Quantengerät-Bewertung**: Benchmark-Tests und Leistungscharakterisierung 4. **Bildung und Schulung**: Lehrfälle für Quantensimulation und Vielteilchen-Physik ## Literaturverzeichnis Dieses Papier zitiert 48 wichtige Referenzen, die folgende Bereiche abdecken: - MBL-Theoretische Grundlagen [10-17, 25, 29-33] - Quantensimulationsexperimente [19, 26-28, 35] - Floquet-Systeme [1-6, 15-17] - Fehlerminderungsmethoden [22, 34, 35, 44] - Quantenchaos-Theorie [36-39] Wichtige Referenzen umfassen Nandkishore & Huse's MBL-Übersicht, IBMs Quantenvorteil-Beweis und OTOC-Theoretische Grundlagen. --- **Gesamtbewertung**: Dies ist ein experimentelles Papier von großer Bedeutung im Schnittstellenfeld von Quantenvielteilchen-Physik und Quantencomputing. Die Autoren haben erfolgreich die digitale Quantensimulation des MBL-Crossovers auf großflächigen Quantengeräten realisiert; die technischen Methoden sind innovativ und die Ergebnisse zuverlässig. Trotz einiger Einschränkungen in theoretischer Tiefe und Systemgröße eröffnet die Arbeit neue Richtungen für wissenschaftliche Anwendungen moderner Quantengeräte und hat wichtige akademische Werte sowie technologische Fördereffekte.