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

Dit artikel bewijst dat operatorgroei in de gedesorderdeerde Ising-keten met strikt positieve koppelingsconstanten en velden bijna factoriële schaling vertoont in zowel tijd als ruimtelijke ondersteuning, waardoor dynamische lokalisatie bij elke sterkte van wanorde rigoureus wordt uitgesloten en een structurele pad-entropie-obstructie voor perturbatieve many-body lokalisatie wordt onthuld.

De kern

Stel je voor dat je een lange rij mensen hebt (een "spin chain") die elkaars handen vasthouden. Sommigen houden de handen stevig vast (sterke verbindingen), en anderen houden de handen losjes of helemaal niet vast (wanorde). In de natuurkunde vragen we ons vaak af: als je de persoon aan het begin van de rij een duwtje geeft, blijft die "duw" dan gelokaliseerd bij hen, of verspreidt het zich om de hele rij te laten schudden?

In de wereld van de kwantumfysica gaat deze vraag over Many-Body Localization (MBL). Een lange tijd hoopten natuurkundigen dat als de wanorde (de "losheid" van de verbindingen) sterk genoeg zou zijn, de duw zou blijven steken en het systeem nooit zijn begintoestand zou vergeten. Dit zou lijken op een verkeersopstopping die nooit opklaart.

Dit artikel betoogt dat voor bepaalde typen kwantumsystemen die verkeersopstopping een illusie is. Hier is de uitsplitsing van hun bevindingen met behulp van eenvoudige analogieën:

1. De "Explosie" van Mogelijkheden

De auteurs bestuderen wat er gebeurt wanneer je het systeem herhaaldelijk "prikt" (mathematisch gezien: commutatoren nemen). Ze ontdekten dat de "duw" niet alleen verspreidt; hij explodeert in complexiteit.

Stel je voor dat je probeert van je huis naar het huis van een vriend te lopen.

• Het Oude Beeld (Lokalisatie): Je neemt één pad, misschien een paar omwegen, maar je blijft op een specifieia straat.
• Het Nieuwe Beeld (Dit Papier): Elke keer dat je een stap zet, vermenigvuldigt het aantal mogelijke paden dat je genomen had zich razendsnel. Het zijn niet zomaar een paar omwegen; het is alsof elke stap die je zet splitst in een vertakkende boom van mogelijkheden die bijna factorieel groeit (een getal dat sneller groeit dan je kunt tellen, zoals $100!$).

Het papier bewijst dat in deze gedisorderde systemen het "gewicht" van de duw niet alleen verspreidt; het wordt verdeeld over een enorme, bijna oneindige hoeveelheid verschillende paden tegelijkertijd.

2. Het "Pad-entropie" Obstakel

De auteurs introduceren een concept genaamd Pad-entropie (Path Entropy). Denk aan dit als de pure "ruis" of "verwarring" veroorzaakt door het hebben van te veel opties.

• De Analogie: Stel je voor dat je een fluistering probeert te horen in een kamer. Als de kamer stil is (lage entropie), kun je de fluistering horen. Maar als de kamer gevuld is met miljoenen mensen die allemaal willekeurige dingen roepen (hoge pad-entropie), wordt de fluistering overstemd.
• Het Resultaat: In deze kwantumsystemen is de "ruis" van de miljarden mogelijke paden zo hard dat het elke poging om informatie gelokaliseerd te houden overstemt. Het papier betoogt dat voor het systeem gelokaliseerd te blijven, al deze miljarden willekeurige paden magisch tegen elkaar weg zouden moeten vallen (zoals een koor dat zo perfect zingt dat het geluid verdwijnt). De auteurs zeggen dat dit statistisch gezien onmogelijk is zonder een speciale, verborgen regel die we nog niet hebben gevonden.

3. De "Eindige Grootte" Illusie

Een van de meest praktische bevindingen is waarom computersimulaties verwarrend zijn geweest.

• De Analogie: Stel je voor dat je bestudeert hoe snel een bosbrand zich verspreidt. Als je alleen naar een klein stukje gras kijkt (een kleine computersimulatie), lijkt het erop dat de brand snel uitdooft omdat het geen gras meer heeft om te verbranden. Het lijkt alsof de brand "gelokaliseerd" is.
• De Realiteit: Maar als je naar het hele bos kijkt, verspreidt de brand zich overal.
• De Claim van het Papier: De auteurs bewijzen dat huidige computersimulaties naar "kleine stukjes" kijken. Ze hebben een specifieke schaal afgeleid: $L \sim (W/J)^2$. Zolang de systeemgrootte ($L$) kleiner is dan deze schaal, lijkt het systeem gelokaliseerd. Maar zodra het systeem groot genoeg wordt (groter dan deze schaal), verspreidt de "brand" (de operatorgroei) zich onvermijdelijk. De "lokalisatie" die in kleine simulaties wordt gezien, is slechts een pre-asymptotisch regime—een tijdelijke illusie voordat het ware, verspreidende gedrag het overneemt.

4. Het Falen van het "Fix-het" Gereedschap

Natuurkundigen hebben een wiskundig hulpmiddel (een Schrieffer-Wolff transformatie genoemd) dat wordt gebruikt om een rommelig systeem te "repareren" en het te veranderen in een net, gelokaliseerd systeem. Ze hoopten dat dit hulpmiddel zou werken voor deze gedisorderde ketens.

• De Analogie: Stel je voor dat je een rommelige kamer probeert op te ruimen door items één voor één te verplaatsen.
• Het Probleem: De auteurs laten zien dat naarmate je de kamer probeert te organiseren, de "rommel" (het aantal manieren om de dingen te arrangeren) zo snel groeit dat je organiserende hulpmiddel bezwijkt. De "pad-entropie" (het enorme aantal manieren waarop de chaos kan ontstaan) overweldigt het vermogen van het hulpmiddel om de boel netjes te houden.
• De Conclusie: Je kunt niet wiskundig een "gelokaliseerde" versie van dit systeem construeren met standaardmethoden, omdat de complexiteit van de paden te hoog is.

De Kernboodschap

Het papier concludeert dat echte, permanente lokalisatie (waarbij het systeem nooit zijn begin vergeet) waarschijnlijk onmogelijk is in deze specifieke kwantumketens, ongeacht hoe sterk de wanorde is.

• Korte termijn/Kleine systemen: Het lijkt alsof het systeem vastzit (gelokaliseerd).
• Lange termijn/Grote systemen: De "pad-entropie" wint. Het systeem verspreidt zich uiteindelijk, vergeet zijn begintoestand en wordt "ergodisch" (volledig gemengd).

De auteurs suggereren dat als lokalisatie wel bestaat, dit een miraculeus, verborgen mechanisme vereist waarbij miljarden willekeurige paden elkaar perfect compenseren—een scenario dat zij als zeer onwaarschijnlijk beschouwen. Daarom zijn deze systemen in de echte, oneindige wereld waarschijnlijk altijd chaotisch en verspreidend, en niet vastgelopen.

Technische samenvatting

Technische Samenvatting: Lengte-opgeloste Operatorgroei en Pad-entropie-obstakels voor Many-Body Localization

Probleemstelling
Het bestaan en de stabiliteit van Many-Body Localization (MBL) in de thermodynamische limiet blijft een onderwerp van intens debat. Hoewel er rigoureuze bewijzen bestaan voor Anderson-lokalisatie in niet-interagerende systemen, is de stabiliteit van MBL in interagerende gedisorderde systemen betwist. Een primaire uitdaging is het onderscheiden van een echte faseovergang van eindige-grootte crossovers in numerieke studies, die beperkt zijn tot kleine systeemgroottes. Verder is er een structurele spanning tussen de hypothese dat ergodische systemen maximale (bijna factoriële) operatorgroei vertonen en de mogelijkheid dat interagerende gedisorderde systemen gelokaliseerd kunnen blijven. Het artikel behandelt de vraag of maximale operatorgroei compatibel is met de sterkste vormen van lokalisatie (dynamische lokaliteit) en het bestaan van Local Integrals of Motion (LIOMs) geconstrueerd via perturbatieve schema's.

Methodologie
De auteurs richten zich op de eendimensionale gedisorderde Ising-keten met transversale en longitudinale velden, waarbij koppelingsconstanten en velden worden getrokken uit strikt positieve distributies. De studie maakt gebruik van een rigoureuze operator-theoretische benadering in plaats van numerieke diagonalisatie.

1. Operatorformalisme: De auteurs maken gebruik van de Pauli-stringbasis om operator-normen te resolveren op basis van ondersteuningslengte $\ell$. Ze analyseren de $k$-voudig geïteerde commutator $L_H^k(A) = [H, A]^{(k)}$ van de Hamiltoniaan $H$ met een lokale operator $A$ (specifiek $\sigma^z_0$).
2. Gauge-transformatie: Om rigoureuze ondergrenzen vast te stellen, introduceren de auteurs een specifieke gauge-transformatie (het veranderen van de basis van Pauli-operatoren) die ervoor zorgt dat alle matrixelementen van de Liouvilliaanse superoperator strikt positief zijn. Dit elimineert de mogelijkheid van destructieve interferentie tussen verschillende commutatorpaden, waardoor een strikte ondergrens op operatorgroei wordt mogelijk gemaakt.
3. Pad-entropie-analyse: De kern van de analyse betreft het tellen van het aantal "scrambling paden" in de commutator-expansie. De auteurs maken onderscheid tussen de exponentiële afname van individuele pad-amplitudes (door wanorde) en de combinatorische explosie van het aantal paden (pad-entropie).
4. Pertubatieve Constructie: Het artikel onderzoekt de convergentie van iteratieve Schrieffer-Wolff transformaties die worden gebruikt om LIOMs te construeren. Het analyseert de generator $T$ van de unitaire transformatie die het microscopische Hamiltoniaan naar een LIOM-Hamiltoniaan brengt, waarbij de focus ligt op de groei van de ondersteuningslengte van $T^{(n)}$ bij orde $n$.

Belangrijkste Bijdragen en Resultaten

1. Lengte-opgeloste Bijna Factoriële Groei:
   De auteurs generaliseren eerdere resultaten (Cao [1]) door de operator-norm te resolveren naar ondersteuningslengte:
   $$\|[H, \sigma^z_0]^{(k)}_{\ell_k}\|_2 \gtrsim \left(\frac{k}{\ln k}\right)^k$$
   Dit impliceert dat de operator-gewicht niet beperkt is tot korte bereiken maar ruimtelijk verspreidt, waarbij het dominante gewicht zich bevindt op lengtes die divergeren met de commutator-orde $k$.

2. Rigoureuze Uitsluiting van Dynamische Lokaliteit:
   Op basis van de lengte-opgeloste ondergrens bewijzen de auteurs dat "dynamische lokaliteit"—de conditie dat lokale operatoren exponentieel gelokaliseerd blijven onder tijdevolutie—rigoureus wordt uitgesloten voor dit model. De entropische bijdrage van het vertakken van commutator-paden overtreft de exponentiële lokalisatiefactor die verwacht wordt in gelokaliseerde fasen.

3. Eindige-grootte Crossover-schaal:
   De competitie tussen de pad-entropie-term (die delokalisatie aandrijft) en de exponentiële lokalisatie-term (gedreven door wanordesterkte $W$ en koppeling $J$) stelt een rigoureuze eindige-grootte crossover-schaal vast:
   $$L \sim \left(\frac{W}{J}\right)^2$$
   Voor systeemgroottes $L \lesssim (W/J)^2$ bevindt het systeem zich in een "pre-asymptotisch" regime waarin de pad-entropie de lokalisatie nog niet heeft overweldigd. In dit regime kunnen numerieke studies een schijnbare lokalisatie observeren, maar dit is een transiënt effect dat verdwijnt in de thermodynamische limiet ($L \to \infty$).

4. Pad-entropie-obstakel voor LIOM-constructie:
   Het artikel identificeert een structureel obstakel voor de perturbatieve constructie van LIOMs. Zelfs als men geen many-body resonanties of avalanches aanneemt, genereert het iteratieve Schrieffer-Wolff-schema een aantal scrambling paden dat groeit met de ondersteuningslengte. De auteurs stellen dat zonder een specifieke, niet-geïdentificeerde mechanisme voor destructieve interferentie tussen deze bijna factorieel talrijke paden met willekeurige amplitudes, de generator $T$ van de unitaire transformatie onvermijdelijk niet-lokaal zal worden. Dit suggereert dat de perturbatieve constructie van LIOMs faalt in de thermodynamische limiet vanwege "pad-entropie".

5. Consistentie met Abstracte LIOMs:
   De auteurs verduidelijken dat hoewel maximale operatorgroei dynamische lokaliteit uitsluit, het de existentie van abstracte LIOM-Hamiltoniaanse niet strikt uitsluit. Ze demonstreren dat abstracte LIOM-Hamiltoniaanse zelfs sneller-dan-factoriële groei kunnen ondersteunen. Het obstakel ligt echter in de constructie van de quasi-lokale unitaire mapping van het microscopische model naar een dergelijke abstracte Hamiltoniaan.

Betekenis en Claims
Het artikel claimt de spanning tussen maximale operatorgroei en lokalisatie op te lossen door aan te tonen dat maximale groei een generiek kenmerk is van gedisorderde interagerende spin-ketens dat de sterkste vorm van lokalisatie (dynamische lokaliteit) verhindert.

• Over Numerieke Studies: Het werk biedt een rigoureuze verklaring voor waarom numerieke studies op kleine systemen vaak stabiele MBL-fasen suggereren bij sterke wanorde. Het stelt dat deze observaties artefacten zijn van het pre-asymptotische regime, gedefinieerd door de crossover-schaal $L \sim (W/J)^2$. Bijgevolg zijn numerieke simulaties van kleine systemen slecht geschikt om de stabiliteit van MBL in de thermodynamische limiet te bepalen.
• Over MBL-stabiliteit: De auteurs concluderen dat het "pad-entropie-obstakel" een fundamenteel mechanisme is dat MBL waarschijnlijk instabiel maakt in de thermodynamische limiet voor generieke gedisorderde spin-ketens. Ze argumenteren dat voor het overleven van MBL een hoogst fijn afgestemd mechanisme vereist zou zijn voor de systematische annulering van bijna factorieel veel wanorde-afhankelijke paden, wat als niet-generiek wordt beschouwd.
• Over Real-Time Dynamica: De resultaten suggereren dat de real-time operator-verspreiding in deze systemen ballistisch is (het verzadigt de Lieb-Robinson-kegel) tot aan logaritmische correcties, in plaats van sub-ballistisch of gelokaliseerd, aangezien de systematische annulering die nodig is voor sub-ballistische spreiding statistisch onwaarschijnlijk is.

Samenvattend betogen de auteurs dat de "pad-entropie" voortvloeiend uit de combinatorische vertakking van operator-inhoud een structurele barrière is voor lokalisatie die onafhankelijk werkt van resonantie-effecten, wat het bestaan van een stabiele MBL-fase in de thermodynamische limiet uitdaagt.