2025-11-15T06:49:11.290097

Long-range nonstabilizerness and phases of matter

Korbany, Gullans, Piroli
Long-range nonstabilizerness can be defined as the amount of nonstabilizerness which cannot be removed by shallow local quantum circuits. In this work, we study long-range nonstabilizerness in the context of many-body quantum physics, a task with possible implications for quantum-state preparation protocols and implementation of quantum-error correcting codes. After presenting a simple argument showing that long-range nonstabilizerness is a generic property of many-body states, we restrict to the class of ground states of gapped local Hamiltonians. We focus on one-dimensional systems and present rigorous results in the context of translation-invariant matrix product states (MPSs). By analyzing the fixed points of the MPS renormalization-group flow, we provide a sufficient condition for long-range nonstabilizerness, which depends entirely on the local MPS tensors. Physically, our condition captures the fact that the mutual information between distant regions of stabilizer fixed points is quantized, and this fact is not changed after applying shallow quantum circuits. We also discuss possible ramifications in the classification of phases of matter and quantum error correction.
academic

Langreichweitige Nichtstabilisierbarkeit und Phasen der Materie

Grundlegende Informationen

  • Papier-ID: 2502.19504
  • Titel: Long-range nonstabilizerness and phases of matter
  • Autoren: David Aram Korbany¹, Michael J. Gullans², Lorenzo Piroli¹
  • Institutionen: ¹Università di Bologna and INFN, ²University of Maryland and NIST
  • Klassifizierung: quant-ph cond-mat.stat-mech
  • Veröffentlichungsdatum: 26. Februar 2025
  • Papierlink: https://arxiv.org/abs/2502.19504

Zusammenfassung

Langreichweitige Nichtstabilisierbarkeit (Long-range nonstabilizerness) kann als die Menge der Nichtstabilisierbarkeit definiert werden, die nicht durch flache lokale Quantenschaltkreise entfernt werden kann. Diese Arbeit untersucht langreichweitige Nichtstabilisierbarkeit im Kontext der Vielteilchen-Quantenphysik, was für die Implementierung von Quantenzustandspräparationsprotokolle und Quantenfehlerkorrekturcodes von großer Bedeutung ist. Die Autoren präsentieren zunächst ein einfaches Argument, das zeigt, dass langreichweitige Nichtstabilisierbarkeit eine allgemeine Eigenschaft von Vielteilchenzuständen ist, beschränken die Untersuchung dann auf die Grundzustände von lückenhaften lokalen Hamiltonianen. Der Fokus liegt auf eindimensionalen Systemen, wobei strenge Ergebnisse im Kontext von translationsinvarianten Matrixproduktzuständen (MPS) präsentiert werden. Durch die Analyse der Fixpunkte des MPS-Renormalisierungsgruppenfluss werden hinreichende Bedingungen für langreichweitige Nichtstabilisierbarkeit bereitgestellt, die vollständig von lokalen MPS-Tensoren abhängen. Physikalisch erfasst diese Bedingung die Tatsache, dass die gegenseitige Information zwischen entfernten Regionen in Stabilisator-Fixpunkten quantisiert ist, eine Eigenschaft, die nach der Anwendung flacher Quantenschaltkreise unverändert bleibt.

Forschungshintergrund und Motivation

Problemhintergrund

  1. Stabilisatorzustände und Clifford-Operationen: Stabilisatorzustände und Clifford-Operationen sind grundlegende Werkzeuge der Quanteninformationstheorie, die effizient auf klassischen Computern simuliert werden können, ein nützliches Spielzeugmodell für Quantencomputing bieten und ideale Bausteine für die Konstruktion von Quantenfehlerkorrektionscodes darstellen.
  2. Nichtstabilisierbarkeit (Nonstabilizerness): Auch als "Magie" (magic) bekannt, quantifiziert grob, wie sehr sich ein Zustand von einem Stabilisatorzustand unterscheidet. Mit dem Fortschritt des fehlertoleranten Quantencomputing hat die Nichtstabilisierbarkeit zunehmend Aufmerksamkeit erhalten.
  3. Definition der langreichweitigen Nichtstabilisierbarkeit: Analog zum Konzept der langreichweitigen Verschränkung kann langreichweitige Nichtstabilisierbarkeit als die Menge der Nichtstabilisierbarkeit definiert werden, die nicht durch flache lokale Quantenschaltkreise entfernt werden kann.

Forschungsmotivation

  1. Bedeutung der Quantensimulation: In der Vielteilchenphysik interessiert man sich typischerweise für langreichweitige Korrelationen, die durch lokale unitäre Transformationen (wie flache Quantenschaltkreise) nicht verändert werden.
  2. Praktischer Anwendungswert: Wenn der Zielzustand keine langreichweitige Nichtstabilisierbarkeit aufweist, kann man einen anderen Zustand mit denselben langreichweitigen Korrelationen finden, der aber ein Stabilisatorzustand ist und daher leichter auf einem fehlertoleranten Quantencomputer implementiert werden kann.
  3. Theoretische Lücke: Obwohl bereits einige Forschungen durchgeführt wurden, ist das Konzept der langreichweitigen Nichtstabilisierbarkeit in großem Maße noch nicht ausreichend erforscht, insbesondere im Kontext der Grundzustandsphysik bleibt die Suche nach Charakterisierungen langreichweitiger Nichtstabilisierbarkeit in Wellenfunktionen ein wichtiges offenes Problem.

Kernbeiträge

  1. Beweis der Universalität langreichweitiger Nichtstabilisierbarkeit: Durch ein Zählargument wird gezeigt, dass langreichweitige Nichtstabilisierbarkeit eine typische Eigenschaft von Vielteilchen-Quantenzuständen ist.
  2. Vorschlag eines hinreichenden Bedingungssatzes: Bereitstellung hinreichender Bedingungen für langreichweitige Nichtstabilisierbarkeit eindimensionaler translationsinvarianter MPS basierend auf RG-Fixpunkten (Satz 1).
  3. Etablierung eines notwendigen Bedingungssatzes: Bereitstellung notwendiger Bedingungen für exakte kurzreichweitige Nichtstabilisierbarkeit (Satz 2).
  4. Offenlegung des physikalischen Mechanismus: Beweis, dass langreichweitige Nichtstabilisierbarkeit eng mit der Quantisierungseigenschaft gegenseitiger Information in Stabilisatorzuständen zusammenhängt.
  5. Bereitstellung eines Klassifizierungsrahmens: Etablierung der Beziehung zwischen kurzreichweitiger/langreichweitiger Verschränkung und kurzreichweitiger/langreichweitiger Nichtstabilisierbarkeit (Tabelle I).

Methodische Details

Aufgabendefinition

Untersuchung der Charakterisierung langreichweitiger Nichtstabilisierbarkeit von MPS-Zuständen in eindimensionalen Quantensystemen, mit MPS-Tensoren als Eingabe und einer Bestimmung, ob der Zustand langreichweitige Nichtstabilisierbarkeit aufweist, als Ausgabe.

Kerndefintionen

Definition 1 (Langreichweitige Nichtstabilisierbarkeit): Eine Zustandsfamilie {∣ψN⟩}N∈N\{|\psi_N\rangle\}_{N\in\mathbb{N}} weist kurzreichweitige Nichtstabilisierbarkeit auf, wenn und nur wenn für alle ε0>0\varepsilon_0 > 0 und α>0\alpha > 0 ein lokaler Quantenschaltkreis QDNQ_{D_N} mit Tiefe DN=O(polylog(N))D_N = O(\text{polylog}(N)) und ein Stabilisatorzustand ∣SN⟩|S_N\rangle existieren, so dass für hinreichend großes NN:

Δ(QDN∣ψN⟩,∣SN⟩)≤ε0Nα=εN\Delta(Q_{D_N}|\psi_N\rangle, |S_N\rangle) \leq \frac{\varepsilon_0}{N^\alpha} = \varepsilon_N

wobei Δ(∣ψ⟩,∣ϕ⟩)=1−∣⟨ψ∣ϕ⟩∣2\Delta(|\psi\rangle, |\phi\rangle) = \sqrt{1-|\langle\psi|\phi\rangle|^2} die Spurendistanz ist.

Modellarchitektur

MPS-Renormalisierungsgruppenverfahren

  1. MPS-Normalform: Jeder translationsinvariante MPS kann dargestellt werden als: ∣ϕN⟩=1cN∑j=1bβj(N)∣v(N)(Aj)⟩|\phi_N\rangle = \frac{1}{c_N}\sum_{j=1}^b \beta_j^{(N)}|v^{(N)}(A_j)\rangle
  2. RG-Fixpunkte: Durch iterative Prozesse von Blockierung und Polarzerlegung fließt der MPS zu Fixpunkten mit der folgenden Form: ∣ϕ~N⟩=∑j=1bαj(N)∣Ωj⟩|\tilde{\phi}_N\rangle = \sum_{j=1}^b \alpha_j^{(N)}|\Omega_j\rangle

Gegenseitige Informationsanalysemethode

Für eine Dreiteilung Λ=A∪C∪B\Lambda = A \cup C \cup B wird gegenseitige Information definiert als: IA,B[ψ]=S(ρA)+S(ρB)−S(ρAB)I_{A,B}[\psi] = S(\rho_A) + S(\rho_B) - S(\rho_{AB})

Technische Innovationspunkte

  1. Nutzung der Quantisierungseigenschaft von Stabilisatorzuständen: Die Schlüsseleinsicht ist, dass die gegenseitige Information von Stabilisatorzuständen immer eine ganze Zahl ist, eine Eigenschaft, die unter der Wirkung flacher Quantenschaltkreise erhalten bleibt.
  2. RG-Fixpunktanalyse: Durch die Analyse der RG-Fixpunktstruktur von MPS werden komplexe MPS-Probleme auf leichter handhabbare Formen vereinfacht.
  3. Nutzung lokaler Orthogonalität: Durch die Nutzung der lokalen Orthogonalität verschiedener RG-Fixpunktkomponenten wird die Berechnung gegenseitiger Information machbar.

Experimentelle Einrichtung

Theoretischer Analysrahmen

Diese Arbeit ist hauptsächlich theoretischer Natur und enthält keine numerischen Experimente im traditionellen Sinne, sondern verifiziert die theoretischen Ergebnisse durch strenge mathematische Beweise.

Konkrete Beispielanalysen

  1. GHZ-ähnliche Zustände: Betrachtung des Zustands ∣ϕ~N[α,β]⟩=α∣0⟩⊗N+β∣1⟩⊗N|\tilde{\phi}_N[\alpha,\beta]\rangle = \alpha|0\rangle^{\otimes N} + \beta|1\rangle^{\otimes N}
  2. Vierkomponentige Zustände: Analyse von Zuständen der Form ∣ϕ~N(t)⟩=α1(t)∣00⟩⊗N/2+α2(t)∣01⟩⊗N/2+α3(t)∣10⟩⊗N/2+α4(t)∣11⟩⊗N/2|\tilde{\phi}_N(t)\rangle = \alpha_1(t)|00\rangle^{\otimes N/2} + \alpha_2(t)|01\rangle^{\otimes N/2} + \alpha_3(t)|10\rangle^{\otimes N/2} + \alpha_4(t)|11\rangle^{\otimes N/2}

Experimentelle Ergebnisse

Haupttheoretische Ergebnisse

Satz 1 (Hinreichende Bedingung): Eine hinreichende Bedingung für langreichweitige Nichtstabilisierbarkeit eines MPS ist, dass seine RG-Fixpunkte erfüllen: lim⁡N→∞H({∣αj(N)∣2})∉N\lim_{N\to\infty} H(\{|\alpha_j^{(N)}|^2\}) \notin \mathbb{N} wobei H({pj})=−∑jpjlog⁡2(pj)H(\{p_j\}) = -\sum_j p_j \log_2(p_j) die Shannon-Entropie ist.

Satz 2 (Notwendige Bedingung): Eine notwendige Bedingung für exakte kurzreichweitige Nichtstabilisierbarkeit von RG-Fixpunkten ist, dass für alle i≠ji \neq j: ∣αi∣4/∣αj∣4∈Q|\alpha_i|^4/|\alpha_j|^4 \in \mathbb{Q}

Universalitätsergebnisse

Durch ein Zählargument wird bewiesen, dass: lim⁡N→∞nCnSnB→0\lim_{N\to\infty} \frac{n_C n_S}{n_B} \to 0 wobei nBn_B, nSn_S, nCn_C jeweils die Anzahl unterscheidbarer Zustände im Hilbert-Raum, die Anzahl der Stabilisatorzustände und die Anzahl flacher Quantenschaltkreise sind.

Klassifizierungsergebnisse

Etablierung der Beziehung zwischen kurzreichweitiger/langreichweitiger Verschränkung und kurzreichweitiger/langreichweitiger Nichtstabilisierbarkeit:

  • Kurzreichweitig verschränkte Zustände können kurzreichweitige oder langreichweitige Nichtstabilisierbarkeit aufweisen
  • Langreichweitige Nichtstabilisierbarkeit impliziert langreichweitige Verschränkung
  • Es existieren Zustände mit langreichweitiger Verschränkung aber ohne langreichweitige Nichtstabilisierbarkeit

Verwandte Arbeiten

Forschung zur Nichtstabilisierbarkeit

  1. Grundlagentheorie: Bahnbrechende Arbeiten von Bravyi-Kitaev und anderen etablierten grundlegende Konzepte der Nichtstabilisierbarkeit
  2. Berechnungsmethoden: Jüngste Fortschritte bei der Suche nach berechenbaren Nichtstabilisierbarkeitsmaßen
  3. Vielteilchenanwendungen: Nichtstabilisierbarkeit als Werkzeug zur Charakterisierung von Vielteilchenzuständen und Materietypen erhält Aufmerksamkeit

Theorie der langreichweitigen Verschränkung

  1. Topologische Verschränkungsentropie: Arbeiten von Kitaev-Preskill und Levin-Wen etablierten Charakterisierungen langreichweitig verschränkter Zustände
  2. MPS-Theorie: Übersichtsarbeiten von Cirac und anderen legten theoretische Grundlagen für MPS in der Vielteilchenphysik

Quantenfehlerkorrektur

  1. Stabilisatorcodes: Arbeiten von Gottesman etablierten den theoretischen Rahmen für Stabilisatorcodes
  2. Fehlertolerantes Quantencomputing: Ergebnisse wie das Eastin-Knill-Theorem offenbaren die Bedeutung der Nichtstabilisierbarkeit im fehlertoleranten Quantencomputing

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

  1. Universalität: Langreichweitige Nichtstabilisierbarkeit ist eine typische Eigenschaft von Vielteilchen-Quantenzuständen
  2. Nachweisbarkeit: Langreichweitige Nichtstabilisierbarkeit kann durch die Shannon-Entropie der RG-Fixpunkte nachgewiesen werden
  3. Physikalischer Mechanismus: Langreichweitige Nichtstabilisierbarkeit hängt eng mit der Nicht-Ganzzahligkeit gegenseitiger Information zusammen

Einschränkungen

  1. Hinreichendheit: Satz 1 bietet nur hinreichende Bedingungen, nicht notwendige
  2. Dimensionsbeschränkung: Ergebnisse konzentrieren sich hauptsächlich auf eindimensionale Systeme, höherdimensionale Fälle sind komplexer
  3. Approximation: Der in der Definition zulässige Fehlerterm macht bestimmte Grenzfälle schwer zu handhaben

Zukünftige Richtungen

  1. Höherdimensionale Verallgemeinerung: Verallgemeinerung der Ergebnisse auf höherdimensionale Systeme, insbesondere auf nicht-abelsche topologisch geordnete Modelle
  2. Symmetrieschutz: Untersuchung symmetrigeschützter langreichweitiger Nichtstabilisierbarkeit
  3. Dynamik: Untersuchung langreichweitiger Nichtstabilisierbarkeit unitärer Operatoren
  4. Experimentelle Verifikation: Suche nach experimentell messbaren Charakterisierungen langreichweitiger Nichtstabilisierbarkeit

Tiefgreifende Bewertung

Stärken

  1. Theoretische Strenge: Bereitstellung strenger mathematischer Beweise mit solider theoretischer Grundlage
  2. Konzeptionelle Innovativität: Erste systematische Untersuchung langreichweitiger Nichtstabilisierbarkeit in MPS
  3. Methodische Neuheit: Geschickte Nutzung der Quantisierungseigenschaft von Stabilisatorzuständen und RG-Methoden
  4. Physikalische Einsicht: Offenlegung tieferer Verbindungen zwischen Nichtstabilisierbarkeit und Quanteninformationsgeometrie

Mängel

  1. Vollständigkeit der Bedingungen: Hinreichende Bedingungen sind möglicherweise nicht notwendig, Gegenbeispiele erfordern weitere Untersuchung
  2. Rechenkomplexität: Praktische Berechnung von RG-Fixpunkten kann in bestimmten Fällen schwierig sein
  3. Experimentelle Verbindung: Die Verbindung zwischen theoretischen Ergebnissen und experimentell messbaren Größen muss weiter etabliert werden

Auswirkungen

  1. Theoretischer Beitrag: Bereitstellung neuer Analysewerkzeuge für die Quantenvielteilchentheorie
  2. Anwendungsperspektiven: Potenzielle Anwendungen auf Quantenfehlerkorrektur und Quantensimulation
  3. Interdisziplinäre Verbindung: Verbindung von Quanteninformation, Vielteilchenphysik und topologischen Phasenübergängen

Anwendungsszenarien

  1. Quantenzustandsklassifizierung: Kann zur Klassifizierung und Charakterisierung verschiedener Quantenvielteilchenzustände verwendet werden
  2. Quantenalgorithmusdesign: Bietet Orientierung für die Gestaltung effizienter Quantenzustandspräparationsprotokolle
  3. Quantenfehlerkorrektur: Bietet theoretische Unterstützung für die Konstruktion und Analyse von Quantenfehlerkorrektionscodes

Literaturverzeichnis

  1. Gottesman, D. Stabilizer codes and quantum error correction. (1997)
  2. Nielsen, M. A. & Chuang, I. L. Quantum Computation and Quantum Information (2011)
  3. Cirac, J. I., Perez-Garcia, D., Schuch, N. & Verstraete, F. Matrix product states and projected entangled pair states (2021)
  4. White, C. D., Cao, C. & Swingle, B. Phys. Rev. B 103, 075145 (2021)
  5. Ellison, T. D., Kato, K., Liu, Z.-W. & Hsieh, T. H. Quantum 5, 612 (2021)

Diese Arbeit leistet einen wichtigen theoretischen Beitrag zur Quantenvielteilchentheorie, etabliert einen strengen mathematischen Rahmen für langreichweitige Nichtstabilisierbarkeit und offenbart tiefere Verbindungen zu Quanteninformationsgeometrie. Obwohl es einige technische Einschränkungen gibt, machen die innovativen Methoden und tiefgreifenden physikalischen Einsichten dies zu einem wichtigen Fortschritt in diesem Forschungsbereich.