Exponentially slow thermalization and the robustness of Hilbert space fragmentation

Dit artikel toont aan dat Hilbertruimtefragmentatie, zelfs wanneer de dynamische beperkingen niet exact zijn, kan leiden tot exponentieel trage thermalisatie door sterke knelpunten in de configuratieruimte die de verkenning van de Hilbertruimte beperken.

De kern

De Onontkoombare Muur: Waarom sommige kwantumwerelden nooit "opwarmen"

Stel je voor dat je een kamer vol met mensen hebt. Normaal gesproken, als je een deur openzet naar een drukke buitenwereld (een "thermische badkuip"), zullen de mensen in de kamer na verloop van tijd gaan bewegen, praten en zich mengen met de buitenwereld. Dit noemen we in de natuurkunde thermalisatie: het systeem bereikt een evenwichtstoestand.

Maar wat als die kamer een heel vreemde structuur heeft? Wat als de vloerbedekking bestaat uit een enorm labyrint van muren, en de mensen kunnen alleen bewegen als ze specifieke patronen volgen?

Dit is precies wat deze wetenschappers hebben ontdekt. Ze kijken naar een heel speciaal type kwantum-systeem (een rij atomen of "spins") dat vastzit in een Hilbert-ruimte-fragmentatie. Laten we dit uitleggen met een paar creatieve metaforen.

1. Het Labyrint van de Boom

Stel je de mogelijke toestanden van het systeem voor als een enorme, onzichtbare boom met takken.

• De takken: Elke tak vertegenwoordigt een specifieke manier waarop de atomen kunnen staan.
• De regels: In dit speciale systeem (het "pair-flip" model) mogen atomen alleen van plaats wisselen als ze een paar vormen dat op elkaar lijkt. Dit is als een regel in een spel: "Je mag alleen springen als je een partner hebt die precies hetzelfde kleurtje heeft."

Door deze regel is de boom niet één grote, open ruimte. Hij is opgesplitst in duizenden kleine, gescheiden kamertjes (de "fragmenten"). Als je in één kamer begint, kun je er niet zomaar uitkomen, tenzij je de regels volgt. In een perfect systeem zou je dus nooit de hele boom kunnen verkennen; je blijft voor altijd in je eigen kamer. Dit is geen thermalisatie.

2. De Deur die een Kraak geeft

In de echte wereld zijn regels zelden perfect. Er is altijd wat ruis, of een klein beetje chaos. In dit experiment hebben de onderzoekers aan het einde van de rij atomen een "deur" gemaakt die de regels een beetje verbreekt. Ze koppelden het systeem aan een "thermische badkuip" (een bron van chaos) aan één kant.

Je zou denken: "Ah, als er een deur is, kunnen de mensen eruit en alles zal snel mengen!"

Maar nee. Wat ze ontdekten, is dat het systeem zich gedraagt als een labyrint met een enorme, smalle doorgang.

3. De "Snelheidslimiet" van het Labyrint

Stel je voor dat je in een heel groot, donker labyrint staat (de boom).

• De "badkuip" (de chaos) zit bij de ingang.
• Je wilt naar het diepste punt van het labyrint (het centrum van de boom) om daar te "thermaliseren".
• Het labyrint is zo ontworpen dat er aan de ingang veel paden zijn die je naar buiten leiden, maar slechts één smal pad dat je naar binnen leidt.

Het is alsof je in een stroomversnelling zit die je bijna altijd terugdrukt naar de ingang. Om het centrum te bereiken, moet je tegen de stroom in zwemmen. Omdat het labyrint zo groot is (het groeit exponentieel met het aantal atomen), duurt het exponentieel lang voordat je het centrum bereikt.

De onderzoekers bewezen wiskundig dat de tijd die nodig is om het evenwicht te bereiken, niet lineair groeit (zoals $L$) of kwadratisch (zoals $L^2$), maar exponentieel ($e^L$).

• Als je 10 atomen hebt, duurt het misschien een seconde.
• Als je 20 atomen hebt, duurt het misschien een jaar.
• Als je 30 atomen hebt, duurt het langer dan het bestaan van het heelal.

4. Het Bewijs: De "Vaste" Spins

Hoe weten ze dit? Ze keken naar twee dingen:

1. De "Verstrengeling" (Entanglement): Dit is een maat voor hoe goed de deeltjes met elkaar "gepraat" hebben. Normaal groeit dit snel. Hier groeide het heel langzaam, alsof ze door honing moesten zwemmen.
2. De "Lading" (Charge): Ze keken naar een specifieke eigenschap van de atomen. Normaal zou deze waarde snel veranderen en stabiliseren. Hier bleef de waarde extreem lang vastzitten op zijn startwaarde, alsof het systeem zijn geheugen niet wilde verliezen.

Waarom is dit belangrijk?

Dit is een doorbraak omdat het laat zien dat chaos niet altijd snel heerst. Zelfs als je een systeem "open" maakt voor chaos (door de deur open te zetten), kan de interne structuur van het systeem (de regels van het spel) zo complex zijn dat het effect van die chaos er extreem lang over doet om het hele systeem te bereiken.

Samenvattend in één zin:
Het is alsof je een bak met water (het systeem) probeert te verwarmen door er één hete lepel (de badkuip) in te doen. Normaal wordt het water snel warm. Maar als het water een heel speciale structuur heeft die de warmte vasthoudt in kleine, afgescheiden bubbels, kan het duizenden jaren duren voordat het hele bakje warm is, zelfs als de lepel erin blijft steken.

De onderzoekers hebben bewezen dat dit "vastlopen" in het labyrint een robuust fenomeen is: het blijft bestaan, zelfs als de regels van het labyrint een beetje beschadigd zijn. Dit opent nieuwe deuren voor het begrijpen van waarom sommige materialen zich zo vreemd gedragen en hoe we kwantumcomputers kunnen beschermen tegen fouten door ze in zulke "gevangen" toestanden te houden.

Technische samenvatting

Probleemstelling

Het centrale thema van de kwantumdynamica is het begrijpen van mechanismen die thermalisatie (het bereiken van thermisch evenwicht) belemmeren of stoppen. Een bekend mechanisme is Hilbert-ruimtefragmentatie (HSF), waarbij dynamische beperkingen de Hilbert-ruimte opsplitsen in exponentieel veel dynamisch onverbonden sectoren. Dit voorkomt thermalisatie strikt genomen alleen als de beperkingen exact worden nageleefd.

De belangrijkste open vraag die dit artikel adresseert, is: Wat gebeurt er met de thermalisatie als deze dynamische beperkingen slechts zwak worden verbroken? In de praktijk zijn veel experimentele systemen dicht bij de exacte beperkte punten, maar nooit perfect. Het is onduidelijk of de "gefragmenteerde" structuur van de Hilbert-ruimte nog steeds een signatuur achterlaat in de dynamica wanneer er ergodisch herstellende verstoringen (zoals een thermisch bad) aanwezig zijn. Bestaande theorieën suggereren vaak dat zelfs kleine verstoringen leiden tot snelle thermalisatie, maar dit artikel onderzoekt of er modellen bestaan die zelfs dan uitzonderlijk langzame thermalisatie vertonen.

Methodologie

De auteurs bestuderen een specifiek 1D-systeem: een spin-keten met "pair-flip" beperkingen (waarbij alleen spins met identieke waarden kunnen flippen) die aan één uiteinde is gekoppeld aan een onbeperkt, ergodisch systeem (een thermisch bad).

1. Hamiltoniaanse Dynamica (Numeriek):

   • Ze modelleren een keten met een beperkt gebied ($1 < i \le L_{cons}$) en een onbeperkt gebied ($L_{cons} < i \le L$).
   • Ze voeren kwantum-quench-simulaties uit met TEBD (Time-Evolving Block Decimation) voor $N=3$ spins.
   • Ze analyseren de groei van de verstrengeling (entanglement entropy) en de relaxatie van lokale observabelen (zoals lading $Q_a$) vanuit "bevroren" beginstaten.

2. Random Unitary (RU) Circuit Dynamica (Analytisch):

   • Om strikte bewijzen te kunnen leveren, vervangen ze de Hamiltoniaanse dynamica door een vereenvoudigd model van random unitary circuits met een depolariserend ruisbad aan het uiteinde.
   • Ze mappen de kwantumdynamica af op een Markov-proces op de ruimte van productstaten.
   • Ze gebruiken de Krylov-grafiek: een grafiek waarbij knopen corresponderen met "Krylov-sectoren" (groepen van staten die onder de beperkte dynamica met elkaar verbonden zijn) en randen corresponderen met overgangen veroorzaakt door het bad.
   • De structuur van deze grafiek wordt geanalyseerd als een N-ary boom (een boom met $N$ takken per knoop).

3. Wiskundige Analyse:

   • Ze gebruiken Cheeger's ongelijkheid om de spectrale kloof ($\Delta_M$) van de Markov-generatie te begrenzen, wat direct gerelateerd is aan de relaxatietijd ($t_{rel} \sim 1/\Delta_M$).
   • Ze analyseren de "expansie" van subregio's in de Hilbert-ruimte om te bepalen hoe snel een systeem uit een bepaalde sector kan ontsnappen.

Belangrijkste Bijdragen en Resultaten

1. Exponentieel Langzame Thermalisatie

De kernbevinding is dat de thermalisatietijd $t_{th}$ exponentieel schaalt met de grootte van het beperkte gebied ($L_{cons}$), zelfs wanneer de beperkingen aan het uiteinde van de keten volledig zijn verbroken.

• Numerieke resultaten: Voor Hamiltoniaanse dynamica wordt een logaritmische groei van de verstrengeling en een exponentieel trage afname van lokale ladingen waargenomen.
• Analytische bewijzen: Voor het RU-circuit-model bewijzen ze dat de spectrale kloof $\Delta_M$ exponentieel klein is: $\Delta_M \sim L^{-3/2} \rho^L$, waarbij $\rho < 1$. Dit impliceert een relaxatietijd $t_{rel} \sim \rho^{-L}$.

2. Het Mechanisme: Bottlenecks in de Configuratie-ruimte

De oorzaak van deze trage dynamica is een sterke bottleneck (verkeersopstopping) in de configuratieruimte, gevisualiseerd als een boomstructuur:

• Uitwaartse bias: In de boomstructuur van de Krylov-grafiek zijn er $N-1$ manieren om "naar buiten" (naar de rand van de boom) te gaan, maar slechts één manier om "naar binnen" (naar het centrum) te gaan. Dit creëert een statistische bias die staten naar de rand duwt.
• Inwaartse bias (tegengesteld effect): Naarmate men naar het centrum van de boom gaat, nemen de grootte van de sectoren exponentieel toe. Dit creëert een tegenwerkende "inwaartse" bias.
• Overwinning van de uitwaartse bias: De auteurs bewijzen dat voor $N > 2$ de uitwaartse bias (die de thermalisatie vertraagt) de inwaartse bias (die staten naar het centrum trekt) overwint op lange tijdschalen. Het systeem blijft "vastzitten" in sectoren dicht bij de rand van de boom, wat leidt tot een exponentieel lange tijd om het volledige Hilbert-ruimte-evenwicht te bereiken.

3. Verschil tussen $N=2$ en $N>2$

• $N > 2$ (Sterke Fragmentatie): De boomstructuur heeft een vertakkingsfactor $>1$, wat leidt tot de exponentiële bottlenecks en trage thermalisatie.
• $N = 2$ (Zwakke Fragmentatie): De boom is slechts een lijn (geen vertakking). De bottlenecks zijn veel zwakker, en de thermalisatie is polynomiaal (diffusief), niet exponentieel.

4. Robuustheid van HSF

Het artikel toont aan dat Hilbert-ruimtefragmentatie robuust is tegen lokale verstoringen. Zelfs als de dynamica ergodisch wordt gemaakt door een bad aan één uiteinde, behoudt het systeem de "gefragmenteerde" kenmerken gedurende een tijd die exponentieel lang is in de systeemgrootte. Dit betekent dat lokale observabelen (zoals lading) exponentieel lang in hun beginwaarde kunnen blijven, in plaats van snel naar het thermische evenwicht te relaxeren.

5. Temperley-Lieb Modellen

In de supplementaire informatie wordt bewezen dat voor specifieke SU(N)-symmetrische modellen (Temperley-Lieb), zelfs een impuriteit op één enkele site niet voldoende is om de degeneratie van de grondtoestand volledig op te heffen. Dit leidt tot een gebrek aan thermalisatie op oneindige tijden, zelfs met een lokale verstoring.

Significantie

Deze bevindingen hebben belangrijke implicaties voor het begrip van niet-ergodische kwantumsystemen:

1. Nieuw Mechanisme voor Langzame Dynamica: Het introduceert een nieuw mechanisme voor anomalieel langzame thermalisatie dat niet afhankelijk is van disorder (zoals bij Many-Body Localization), maar puur voortkomt uit de topologische structuur van de toegankelijke Hilbert-ruimte (Krylov-grafieken).
2. Experimentele Relevantie: Het suggereert dat systemen die dicht bij de "pair-flip" beperkingen liggen (zoals bepaalde georiënteerde Fermi-Hubbard ketens of atoomgassen), langdurige niet-thermische gedragingen kunnen vertonen, zelfs in de aanwezigheid van kleine onzuiverheden of koppelingen aan de omgeving.
3. Generalisatie: De auteurs concluderen dat dit "boom-achtige" bottleneck-mechanisme waarschijnlijk universeel is voor een breed scala aan sterk gefragmenteerde systemen, inclusief dipool-besparende modellen en semigroep-gebaseerde dynamica.

Samenvattend bewijst dit werk dat de "gefragmenteerde" aard van de Hilbert-ruimte een fundamentele, robuuste barrière vormt voor thermalisatie, die zelfs kleine ergodische verstoringen kan weerstaan gedurende tijden die exponentieel lang zijn ten opzichte van de systeemgrootte.