Higher-order Spatially Separated Correlations and Quantum Magic in the Long-range Transverse Field Ising Model

Technische Zusammenfassung: Höherwertige räumlich getrennte Korrelationen und Quantenmagie im langreichweitigen transversalen Ising-Modell

Problemstellung
Langreichweitige wechselwirkende Quantensysteme, insbesondere solche mit Potenzgesetz-abfallenden Wechselwirkungen ($\sim 1/r^\alpha$), zeigen Phänomene, die sich von den Wechselwirkungen mit nächsten Nachbarn unterscheiden. Während Zwei-Körper-Korrelationen in solchen Systemen bekanntlich algebraisch abfallen, bleibt die Struktur höherwertiger multipartiter Korrelationen und deren Beziehung zu Quantenressourcen wie „Quantenmagie“ (Nicht-Stabiliserness) weniger verstanden. Speziell besteht ein Bedarf an der Charakterisierung, wie der Interaktionsexponent $\alpha$ die räumliche Skalierung basisunabhängiger Korrelationen und die klassische Simulierbarkeit des Grundzustands im langreichweitigen transversalen Ising-Modell (LITF) beeinflusst.

Methodik
Die Autoren untersuchen den Grundzustand eines eindimensionalen antiferromagnetischen LITF-Hamiltonians mit Potenzgesetz-Wechselwirkungen. Die Studie verwendet eine Kombination aus numerischen Techniken:

1. Dichtematrix-Renormierungsgruppe (DMRG): Implementiert über die ITensor-Bibliothek in Julia, um Systeme der Größe $L=50, 100, 200$ zur Bestimmung kritischer Punkte und der räumlichen Korrelationsskalierung zu simulieren. Die Bindungsdimensionen ($\chi$) wurden so gewählt, dass die Trunkierungsfehler unter $10^{-16}$ liegen.
2. Exakte Diagonalisierung (ED): Verwendet für kleinere Systeme ($L \le 25$), um die DMRG-Ergebnisse zu validieren und Quantenmagie direkt zu berechnen.
3. Tensor Cross Interpolation: Angewandt auf Grundzustands-Matrixproduktzustände (MPS), um die Quantenmagie für Systeme bis zu $L=25$ zu bewerten, wodurch die exponentielle Skalierung der Korrelationstensor-Elemente überwunden wird.
4. Analytische Näherung: Der Grenzfall großer Kopplung ($\lambda \gg 1$) wurde analysiert, um die Struktur des Grundzustands und die dazugehörige Magie abzuleiten.

Wichtige Observablen sind:

• Sektor-Längen ($S_k$): Basisunabhängige Maße für $k$-Körper-Korrelationen, definiert als die Summe der quadrierten Korrelationstensor-Elemente. Diese werden verwendet, um Verschränkung nachzuweisen ($S_L > 1$) und lokale realistische Modelle zu testen ($S_L|_{(x,y)} < 1$).
• Stabilizer-Rényi-Entropie (SRE): Speziell die zweite Ordnung Rényi-Entropie ($M_2$), verwendet als Maß für Quantenmagie (Nicht-Stabiliserness).
• Kumulative Magie: Das Integral von $M_2$ über den Kopplungsparameter $\lambda$ bis zu einem spezifischen Punkt, verwendet um den gesamten Ressourcengehalt über verschiedene $\alpha$ zu vergleichen.

Wesentliche Ergebnisse

1. Kritische Punkte: Pseudo-kritische Punkte $\lambda_c(\alpha)$ wurden für $\alpha \in \{5/3, 2, 7/3, 8/3, 3\}$ mittels Halbketten-Verschränkungsentropie bestimmt, was konsistent mit der bisherigen Literatur ist.
2. Räumliche Skalierung von Korrelationen: Für eine feste Systemgröße $L=100$ fallen die basisunabhängigen Sektor-Längen $S_k$ für äquidistante Teilchenkonfigurationen nahe dem kritischen Punkt algebraisch ab, folgend einer Form $(a + b \cdot r)^{-\gamma_k}$.
   • Die Pseudo-Skalierungsexponenten $\gamma_k(\alpha)$ sind nicht-monoton in Bezug auf $\alpha$.
   • Für $k=2$ tritt der schnellste Abfall bei $\alpha=2$ auf. Für $k>2$ tritt der schnellste Abfall bei $\alpha=8/3$ auf.
   • Generell wird der langsamste Abfall der Korrelationen (kleinstes $\gamma_k$) beim kleinsten Interaktionsexponenten $\alpha=5/3$ beobachtet.
3. Verschränkung und Nichtlokalität:
   • Zwei-Körper-reduzierte Zustände sind Bell-diagonal und verletzen keine Separabilitätsbedingungen.
   • Verschränkung kann über Sektor-Längen für $k=5$ (alle $\alpha$) und $k=7$ ($\alpha > 5/3$) detektiert werden, wenn die Teilchen nächste Nachbarn sind ($S_k > 1$).
   • Jedoch gilt für alle untersuchten Korrelationsfunktionen die Bedingung $S_L|_{(x,y)} < 1$, was darauf hindeutet, dass ein lokales verborgenes Variablenmodell für Zwei-Einstellungs-Korrelationsszenarien existiert. Es wird keine Bell-Nichtlokalität verletzt.
4. Quantenmagie und Simulierbarkeit:
   • Die Rényi-Stabilizer-Entropie $M_2$ erreicht ihren Peak am kritischen Punkt $\lambda_c$ für alle $\alpha$.
   • Kumulative Magie: Ein Kernergebnis ist, dass die kumulative Magie, integriert von $\lambda=0$ bis zum kritischen Punkt, monoton mit dem Interaktionsexponenten $\alpha$ ansteigt. Das heißt, Systeme mit schneller abfallenden Wechselwirkungen (höheres $\alpha$) besitzen im prä-kritischen Regime eine größere Gesamtmenge an Quantenmagie als Systeme mit langsamer abfallenden Wechselwirkungen.
   • Im Grenzfall großer $\lambda$ nähert sich der Grundzustand einer Superposition von Néel-Zuständen an. Die Magie verschwindet für gleiche Superpositionen (GHZ-ähnlich), ist aber für asymmetrische Superpositionen ungleich Null und erreicht ein Maximum von $\log(4/3)$.

Bedeutung und Behauptungen
Das Paper behauptet, neue Einblicke in das Zusammenspiel von langreichweitigen Wechselwirkungen, beobachtbaren nicht-klassischen Phänomenen und klassischer Simulierbarkeit zu liefern.

• Korrelationsstruktur: Die Arbeit zeigt, dass basisunabhängige Korrelationen in langreichweitigen Systemen komplexe, nicht-monotone Skalierungsverhalten aufweisen, die vom $\alpha$ abhängen und von der Standardintuition abweichen, die aus kurzreichweitigen Modellen abgeleitet wird.
• Quantenressourcen: Die Autoren etablieren, dass der Gehalt an „Quantenmagie“ des LITF-Grundzustands hochsensibel auf die Rate des Wechselwirkungsabfalls reagiert. Insbesondere legt der Befund, dass die kumulative Magie mit $\alpha$ ansteigt, nahe, dass langreichweitige Systeme mit schneller abfallenden Kopplungen mehr Ressourcen für Quantenberechnungen (hinsichtlich des Nicht-Stabiliserness) enthalten können als Systeme mit langsamer abfallenden Kopplungen, zumindest bis zum kritischen Punkt.
• Klassische Simulierbarkeit: Durch die Quantifizierung der Magie bieten die Ergebnisse eine Perspektive auf die Schwierigkeit, diese Modelle klassisch zu simulieren, indem sie den Reichweitenbereich der Wechselwirkung direkt mit der computationalen Komplexität des Grundzustands verknüpfen.

Die Studie bleibt bescheiden hinsichtlich zukünftiger Implikationen und konzentriert sich strikt auf die Charakterisierung der Grundzustandseigenschaften innerhalb des definierten Parameterraums und der numerischen Grenzen, ohne neue experimentelle Protokolle oder Anwendungen jenseits des analysierten Modells vorzuschlagen.