Length-resolved Operator Growth and Path-Entropy Obstructions to Many-Body Localization

Diese Arbeit beweist, dass das Operatorwachstum in der ungeordneten Ising-Kette mit streng positiven Kopplungen und Feldern ein fast faktorielles Skalierungsverhalten sowohl in der Zeit als auch im räumlichen Träger aufweist, wodurch die dynamische Lokalisierung bei jeder Unordnungsstärke rigoros ausgeschlossen und ein struktureller Pfadentropie-Hindernis für die perturbatieve Viele-Körper-Lokalisierung aufgezeigt wird.

Das Wesentliche

Stellen Sie sich eine lange Reihe von Menschen vor (eine Spin-Kette), die sich an den Händen halten. Einige halten die Hände fest zusammen (starke Verbindungen), andere halten sie locker oder gar nicht (Unordnung). In der Physik fragen wir oft: Wenn man die Person am ganz am Anfang der Reihe anstößt, bleibt dieser „Stoß“ lokal bei ihr oder breitet er sich aus, um alle anderen in Unruhe zu versetzen?

In der Welt der Quantenphysik geht es bei dieser Frage um Many-Body Localization (MBL). Lange Zeit hofften Physiker, dass der „Verkehrsstau“ (die Information) lokalisiert bliebe, wenn die Unordnung (die „Lockeres“ der Verbindungen) stark genug wäre – das heißt, das System würde seinen Anfangszustand niemals vergessen. Das wäre wie ein Verkehrsstau, der sich niemals auflöst.

Dieses Paper argumentiert jedoch, dass dieser Verkehrsstau in bestimmten Arten von Quantensystemen eine Illusion ist. Hier ist die Aufschlüsselung ihrer Ergebnisse unter Verwendung einfacher Analogien:

1. Die „Explosion“ der Möglichkeiten

Die Autoren untersuchen, was passiert, wenn man das System wiederholt „anstößt“ (mathematisch gesehen: Kommutatoren bildet). Sie fanden heraus, dass sich der „Stoß“ nicht einfach nur ausbreitet, sondern in seiner Komplexität explodiert.

Stellen Sie sich vor, Sie versuchen, von Ihrem Haus zu einem Freund zu laufen.

• Die alte Sichtweise (Lokalisierung): Sie nehmen einen Pfad, vielleicht ein paar Umwege, aber Sie bleiben auf einer bestimmten Straße.
• Die neue Sichtweise (Dieses Paper): Jedes Mal, wenn Sie einen Schritt machen, vervielfacht sich die Anzahl der möglichen Pfade, die Sie hätten nehmen können, rasant. Es sind nicht nur ein paar Umwege; es ist, als ob jeder Ihrer Schritte in einen verzweigenden Baum von Möglichkeiten zerfällt, der fast faktoriell wächst (eine Zahl, die schneller wächst, als man zählen kann, wie $100!$).

Das Paper beweist, dass in diesen ungeordneten Systemen das „Gewicht“ des Stoßes nicht nur gestreut wird, sondern über eine massive, fast unendliche Anzahl verschiedener Pfade gleichzeitig verteilt wird.

2. Das Hindernis der „Pfad-Entropie“

Die Autoren führen ein Konzept namens Pfad-Entropie ein. Denken Sie dies als das schiere „Rauschen“ oder die „Verwirrung“ an, die durch zu viele Optionen entsteht.

• Die Analogie: Stellen Sie sich vor, Sie versuchen, ein Flüstern in einem Raum zu hören. Wenn der Raum leise ist (geringe Entropie), können Sie es hören. Aber wenn der Raum mit Millionen von Menschen gefüllt ist, die alle unterschiedliche, zufällige Dinge schreien (hohe Pfad-Entropie), wird das Flüstern übertönt.
• Das Ergebnis: In diesen Quantensystemen ist das „Rauschen“ der Milliarden von möglichen Pfaden so laut, dass es jeden Versuch übertönt, die Information lokalisiert zu halten. Das Paper argumentiert, dass für das Fortbestehen der Lokalisierung all diese Milliarden von Zufallspfaden sich magisch perfekt gegenseitig aufheben müssten (wie ein Chor, der so perfekt singt, dass der Klang verschwindet). Die Autoren sagen, dass dies statistisch unmöglich ist, ohne eine spezielle, verborgene Regel, die wir noch nicht gefunden haben.

3. Die „Endliche-Größe“-Illusion

Einer der praktischsten Befunde betrifft die Frage, warum Computersimulationen so verwirrend waren.

• Die Analogie: Stellen Sie sich vor, Sie untersuchen, wie schnell sich ein Waldbrand ausbreitet. Wenn Sie nur ein winziges Stück Gras beobachten (eine kleine Computersimulation), sieht es so aus, als würde das Feuer schnell erlöschen, weil ihm das Gras ausgeht. Es wirkt, als wäre das Feuer „lokalisiert“.
• Die Realität: Aber wenn Sie den ganzen Wald betrachten, breitet sich das Feuer überall aus.
• Die Behauptung des Papers: Die Autoren beweisen, dass aktuelle Computersimulationen auf „winzige Parzellen“ schauen. Sie haben eine spezifische Skala hergeleitet: $L \sim (W/J)^2$. Solange die Systemgröße ($L$) kleiner als diese Skala ist, sieht es so aus, als sei das System lokalisiert. Aber sobald das System groß genug wird (größer als diese Skala), breitet sich das „Feuer“ (das Operatorwachstum) unweigerlich aus. Die beobachtete „Lokalisierung“ in kleinen Simulationen ist nur ein prä-asymptotisches Regime – eine vorübergehende Illusion, bevor das wahre, sich ausbreitende Verhalten übernimmt.

4. Das Scheitern des „Reparatur“-Werkzeugs

Physiker haben ein mathematisches Werkzeug (genannt Schrieffer-Wolff-Transformation), das verwendet wird, um ein unordentliches System zu „reparieren“ und in ein ordentliches, lokalisiertes System zu verwandeln. Sie hofften, dass dieses Werkzeug für diese ungeordneten Ketten funktionieren würde.

• Die Analogie: Stellen Sie sich vor, Sie versuchen, ein unordentliches Zimmer zu organisieren, indem Sie Gegenstände einzeln bewegen.
• Das Problem: Die Autoren zeigen, dass während Sie versuchen, das Zimmer zu organisieren, das „Chaos“ (die Anzahl der Möglichkeiten, Dinge anzuordnen) so schnell wächst, dass Ihr Organisationswerkzeug versagt. Die „Pfad-Entropie“ (die schiere Anzahl der Wege, wie das Chaos entstehen kann) überfordert die Fähigkeit des Werkzeugs, die Dinge ordentlich zu halten.
• Das Fazit: Man kann keine „lokalisierte“ Version dieses Systems mit Standardmethoden mathematisch konstruieren, weil die Komplexität der Pfade zu hoch ist.

Das Fazit

Das Paper kommt zu dem Schluss, dass wahre, dauerhafte Lokalisierung (bei der das System seinen Anfangszustand niemals vergisst) in diesen spezifischen Quantenketten wahrscheinlich unmöglich ist, ungeachtet der Stärke der Unordnung.

• Kurzfristig/Kleine Systeme: Es sieht so aus, als wäre das System festgefahren (lokalisiert).
• Langfristig/Große Systeme: Die „Pfad-Entropie“ gewinnt. Das System breitet sich schließlich aus, vergisst seinen Anfangszustand und wird „ergodisch“ (vollständig gemischt).

Die Autoren legen nahe, dass, falls Lokalisierung tatsächlich existiert, dies einen wunderbaren, verborgenen Mechanismus erfordern würde, bei dem sich Milliarden von Zufallspfaden perfekt gegenseitig aufheben – ein Szenario, das sie als höchst unwahrscheinlich ansehen. Daher sind diese Systeme in der realen, unendlichen Welt wahrscheinlich immer chaotisch und ausbreitend, nicht festgefahren.

Technische Zusammenfassung

Technisches Resümee: Längenaufgelöstes Operatorwachstum und Pfad-Entropie-Hindernisse für die Viele-Körper-Lokalisierung

Problemstellung
Die Existenz und Stabilität der Viele-Körper-Lokalisierung (Many-Body Localization, MBL) im thermodynamischen Limes bleibt ein Gegenstand intensiver Debatten. Während es rigorose Beweise für die Anderson-Lokalisierung in nicht-wechselwirkenden Systemen gibt, ist die Stabilität von MBL in wechselwirkenden ungeordneten Systemen umstritten. Eine primäre Herausforderung besteht darin, einen echten Phasenübergang von endlichen Größenübergängen (finite-size crossovers) in numerischen Studien zu unterscheiden, die auf kleine Systemgrößen beschränkt sind. Darüber hinaus besteht eine strukturelle Spannung zwischen der Hypothese, dass ergodische Systeme ein maximales (fast fakultätisches) Operatorwachstum aufweisen, und der Möglichkeit, dass wechselwirkende ungeordnete Systeme lokalisiert bleiben könnten. Die Arbeit adresset die Frage, ob maximales Operatorwachstum mit den stärksten Formen der Lokalisierung (dynamischer Lokalität) und der Existenz von Lokalen Integralen der Bewegung (Local Integrals of Motion, LIOMs), die mittels perturbativer Schemata konstruiert werden, vereinbar ist.

Methodik
Die Autoren konzentrieren sich auf die eindimensionale ungeordnete Ising-Kette mit transversalen und longitudinalen Feldern, wobei die Kopplungen und Felder aus strikt positiven Verteilungen gezogen werden. Die Studie verwendet einen rigorosen operator-theoretischen Ansatz anstelle von numerischer Diagonalisierung.

1. Operator-Formalismus: Die Autoren nutzen die Pauli-String-Basis, um Operatornormen nach der Support-Länge $\ell$ aufzulösen. Sie analysieren den $k$-fach iterierten Kommutator $L_H^k(A) = [H, A]^{(k)}$ des Hamilton-Operators $H$ mit einem lokalen Operator $A$ (speziell $\sigma^z_0$).
2. Gauge-Transformation: Um rigorose untere Schranken zu etablieren, führen die Autoren eine spezifische Gauge-Transformation ein (Änderung der Basis der Pauli-Operatoren), die sicherstellt, dass alle Matrixelemente des Liouvillischen Superoperators strikt positiv sind. Dies eliminiert die Möglichkeit destruktiver Interferenz zwischen verschiedenen Kommutator-Pfaden und ermöglicht so eine strikte untere Schranke für das Operatorwachstum.
3. Pfad-Entropie-Analyse: Der Kern der Analyse besteht darin, die Anzahl der „Scrambling-Pfade“ in der Kommutator-Expansion zu zählen. Die Autoren unterscheiden zwischen dem exponentiellen Abfall einzelner Pfad-Amplituden (bedingt durch Unordnung) und der kombinatorischen Explosion der Anzahl der Pfade (Pfad-Entropie).
4. Perturbative Konstruktion: Die Arbeit untersucht die Konvergenz iterativer Schrieffer-Wolff-Transformationen, die zur Konstruktion von LIOMs verwendet werden. Sie analysiert den Generator $T$ der unitären Transformation, die den mikroskopischen Hamilton-Operator auf einen LIOM-Hamilton-Operator abbildet, wobei sie sich auf das Wachstum der Support-Länge von $T^{(n)}$ bei Ordnung $n$ konzentriert.

Zentrale Beiträge und Ergebnisse

1. Längenaufgelöstes fast fakultätisches Wachstum:
   Die Autoren verallgemeinern vorangegangene Ergebnisse (Cao [1]), indem sie die Operatormasse nach der Support-Länge auflösen. Sie beweisen, dass für die ungeordnete Ising-Kette mit positiven Kopplungen das Operatormass bei einer spezifischen Längenskala $\ell_k \sim k / \ln k$ fast fakultätisch wächst:
   $$\|[H, \sigma^z_0]^{(k)}_{\ell_k}\|_2 \gtrsim \left(\frac{k}{\ln k}\right)^k$$
   Dies impliziert, dass das Operatormass nicht auf kurze Reichweiten beschränkt ist, sondern sich räumlich ausbreitet, wobei das dominante Mass bei Längen liegt, die mit der Kommutator-Ordnung $k$ divergieren.

2. Rigorose Exklusion der dynamischen Lokalität:
   Basierend auf der längenaufgelösten unteren Schranke beweist die Arbeit, dass „dynamische Lokalität“ – die Bedingung, dass lokale Operatoren unter Zeitentwicklung exponentiell lokalisiert bleiben – für dieses Modell rigoros ausgeschlossen ist. Der entropische Beitrag durch das Verzweigen der Kommutator-Pfade übertrifft den erwarteten exponentiellen Lokalisierungsfaktor in lokalisierten Phasen.

3. Endliche Größen-Crossover-Skala:
   Der Wettbewerb zwischen dem Pfad-Entropie-Term (der Delokalisierung antreibt) und dem exponentiellen Lokalisierungs-Term (getrieben durch Unordnung $W$ und Kopplung $J$) etabliert eine rigorose endliche Größen-Crossover-Skala:
   $$L \sim \left(\frac{W}{J}\right)^2$$
   Für Systemgrößen $L \lesssim (W/J)^2$ befindet sich das System in einem „prä-asymptotischen“ Regime, in dem die Pfad-Entropie die Lokalisierung noch nicht überwältigt hat. In diesem Regime können numerische Studien eine scheinbare Lokalisierung beobachten, aber dies ist ein transienter Effekt, der im thermodynamischen Limes ($L \to \infty$) verschwindet.

4. Pfad-Entropie-Hindernis für die LIOM-Konstruktion:
   Die Arbeit identifiziert ein strukturelles Hindernis für die perturbative Konstruktion von LIOMs. Selbst wenn man keine Many-Body-Resonanzen oder Avalanchen annimmt, erzeugt das iterative Schrieffer-Wolff-Schema eine Anzahl von Scrambling-Pfaden, die mit der Support-Länge wächst. Die Autoren argumentieren, dass ohne einen spezifischen, unidentifizierten Mechanismus für destruktive Interferenz unter diesen fast fakultätisch vielen Pfaden mit zufälligen Amplituden, der Generator $T$ der unitären Transformation zwangsläufig nicht-lokal wird. Dies deutet darauf hin, dass die perturbative Konstruktion von LIOMs aufgrund der „Pfad-Entropie“ im thermodynamischen Limes scheitert.

5. Konsistenz mit abstrakten LIOMs:
   Die Autoren klären, dass maximales Operatorwachstum zwar die dynamische Lokalität ausschließt, aber nicht strikt die Existenz abstrakter LIOM-Hamilton-Operatoren ausschließt. Sie zeigen, dass abstrakte LIOM-Hamilton-Operatoren Operatoren mit sogar schneller-als-fakultätischem Wachstum unterstützen können. Das Hindernis liegt jedoch in der Konstruktion der quasi-lokalen unitären Abbildung des mikroskopischen Modells auf einen solchen abstrakten Hamilton-Operator.

Bedeutung und Behauptungen
Die Arbeit behauptet, die Spannung zwischen maximalem Operatorwachstum und Lokalisierung dadurch aufzulösen, dass sie zeigt, dass maximales Wachstum eine generische Eigenschaft ungeordneter wechselwirkender Spin-Ketten ist, die die stärkste Form der Lokalisierung (dynamische Lokalität) verhindert.

• Zu numerischen Studien: Die Arbeit liefert eine rigorose Erklärung dafür, warum numerische Studien an kleinen Systemen oft stabile MBL-Phasen bei starker Unordnung suggerieren. Sie postuliert, dass diese Beobachtungen Artefakte des prä-asymptotischen Regimes sind, das durch die Crossover-Skala $L \sim (W/J)^2$ definiert ist. Folglich sind numerische Simulationen kleiner Systeme schlecht geeignet, um die Stabilität von MBL im thermodynamischen L limit zu bestimmen.
• Zur MBL-Stabilität: Die Autoren kommen zu dem Schluss, dass das „Pfad-Entropie-Hindernis“ ein fundamentaler Mechanismus ist, der MBL im thermodynamischen Limes für generische ungeordnete Spin-Ketten wahrscheinlich instabil macht. Sie argumentieren, dass für das Überleben von MBL ein hochgradig fein abgestimmter Mechanismus zur systematischen Auslöschung der fast fakultätisch vielen unordnungsabhängigen Pfade erforderlich wäre, was als nicht-generisch gilt.
• Zu Echtzeit-Dynamiken: Die Ergebnisse legen nahe, dass die Echtzeit-Operatorausbreitung in diesen Systemen ballistisch ist (und den Lieb-Robinson-Kegel bis zu logarithmischen Korrekturen sättigt), anstatt sub-ballistisch oder lokalisiert zu sein, da die für eine sub-ballistische Ausbreitung erforderliche systematische Auslöschung statistisch höchst unwahrscheinlich ist.

Zusammenfassend argumentiert die Arbeit, dass die „Pfad-Entropie“, die aus der kombinatorischen Verzweigung des Operator-Inhalts resultiert, eine strukturelle Barriere für die Lokalisierung darstellt, die unabhängig von Resonanzeffekten operiert und die Existenz einer stabilen MBL-Phase in Frage stellt.