Subsystem Thermalization Hypothesis in Quantum Spin Chains with Conserved Charges

Dit artikel breidt de universaliteit van kwantumthermalisatie uit door aan te tonen dat de hypothese van subsystem-thermalisatie generiek geldt voor kleine subsystemen in kwantum-spin-ketens met diverse symmetrieën, niet alleen voor standaard thermische ensembles maar ook voor gegeneraliseerde en partiële Generalized Gibbs Ensembles (p-GGE's) die partiële verzamelingen van geconserveerde ladingen bevatten.

De kern

Stel je voor dat je een gigantische, complexe machine hebt gemaakt van kleine draaiende tolletjes (kwantumspins) die allemaal met elkaar verbonden zijn. In de wereld van de klassieke fysica, als je deze machine flink schudt en hem een lange tijd laat draaien, komt hij uiteindelijk tot rust in een voorspelbare, "thermische" toestand—zoals een kop koffie die afkoelt tot kamertemperatuur. Dit wordt beheerst door de wetten van de thermodynamica.

Maar in de kwantumwereld zijn de dingen vreemder. Omdat de machine geïsoleerd is (geen externe verstoring) en strikte kwantumregels volgt, zou hij technisch gezien niet "af moeten koelen" of zijn startpunt moeten vergeten. Hij zou gewoon eeuwig moeten blijven evolueren.

De Grote Vraag:
Ondanks dit, hebben wetenschappers opgemerkt dat als je naar slechts een klein deel van deze machine kijkt (een "subsysteem"), dat kleine deel vaak lijkt alsof het is afgekoeld en een thermisch evenwicht heeft bereikt, ook al heeft het hele systeem dat niet. Dit is de Subsystem Thermalization Hypothesis.

De Nieuwe Twist in Dit Papier:
De auteurs van dit papier vroegen zich af: "Wat gebeurt er als onze machine speciale 'regels' of 'geconserveerde ladingen' heeft die hij niet kan breken?"

Denk aan deze geconserveerde ladingen als strikte wetten van het universum waar de machine aan moet voldoen.

• Z2 Symmetrie (Ising Chain): Zoals een regel die zegt: "Het totale aantal koppen moet gelijk zijn aan het totale aantal staarten."
• U(1) Symmetrie (XXZ Chain): Zoals een regel die zegt: "De totale spin die omhoog wijst minus de totale spin die omlaag wijst, moet constant blijven."
• SU(2) Symmetrie (XXX Chain): Een complexere regel waarbij de totale spinvector behouden blijft.

Normaal gesproken, om het gedrag van een thermisch systeem te voorspellen, gebruiken wetenschappers een "Generalized Gibbs Ensemble" (GGE). Denk aan de GGE als een perfect recept dat elke enkele regel (elke geconserveerde lading) bevat die het systeem volgt. Als je de taart bakt met dit perfecte recept, zou het overeenkomen met het gedrag van het kleine deel van de machine.

De Innovatie: "Partiële" Recepten (p-GGE)
De auteurs realiseerden zich dat we misschien niet het perfecte recept nodig hebben met alle regels om een goede benadering te krijgen. Ze stelden Partial-GGEs (p-GGEs) voor.

Stel je voor dat je probeert de smaak van een soep te raden.

• GGE: Je kent elk ingrediënt en elke specerij in de pot.
• p-GGE: Je kent slechts sommige van de ingrediënten (bijv. je weet dat er zout en peper in zit, maar je negeert de kruiden).

Het papier vraagt: Als we een "partieel recept" gebruiken dat sommige van de regels negeert, ziet het kleine deel van de machine er dan nog steeds thermisch uit?

Wat Ze Deden:
Ze namen drie verschillende soorten kwantumspin-ketens (Ising, XXZ en XXX) en voerden computersimulaties uit. Ze creëerden twee soorten startpunten:

1. Energie-eigen toestanden: De machine in een specifieke, bevroren energietoestand.
2. Typische toestanden: De machine beginnend als een willekeurige bende die een lange tijd evolueert (zoals het schudden van de machine en het laten bezinken).

Ze vergeleken vervolgens het "kleine deel" van deze machines met de voorspellingen van:

• Het volledige recept (GGE).
• Partiële recepten (p-GGE) die slechts enkele regels bevatten, of zelfs de belangrijkste energieregel (de Hamiltonian) volledig negeerden.

De Resultaten (De "Demografie"):
Ze keken niet naar slechts één geval; ze keken naar duizenden scenario's (de "demografie") om te zien hoe vaak de hypothese werkte.

1. Kleine Delen Werken het Best: Net zoals het kijken naar een enkele pixel in een foto met een hoge resolutie, werkt de hypothese heel goed als het "subsysteem" waar je naar kijkt klein is in verhouding tot het geheel.
2. Partiële Recepten Werken Verrassend Goed: Zelfs als we een "partieel recept" (p-GGE) gebruiken dat sommige van de geconserveerde ladingen negeert, ziet het kleine deel van de machine er nog steeds thermisch uit.
3. De Hamiltonian Is Niet Altijd Essentieel: In sommige gevallen ontdekten ze dat zelfs als ze de belangrijkste energieregel (de Hamiltonian) uit hun recept lieten, de thermalisatie toch standhield. Dit suggereert dat voor een klein deel van het systeem, het niet altijd noodzakelijk is om de totale energie te kennen om het gedrag te voorspellen.
4. Niet-Abelse Symmetrieën: Ze testten dit op systemen met complexe, niet-commuterende regels (SU(2) symmetrie) en vonden dat de "partiële recept" aanpak nog steeds werkt.

De Kern van het Verhaal:
Het papier beweert dat het idee van kwantum-thermalisatie veel flexibeler is dan we dachten. We hoeven niet elke regel van het universum te kennen om te voorspellen hoe een klein stukje van een kwantumsysteem zich zal gedragen. Zelfs "imperfecte" beschrijvingen (p-GGE's) die bepaalde geconserveerde hoeveelheden negeren, kunnen succesvol voorspellen dat een klein deel van het systeem is getermaliseerd.

Dit breidt de "universele reikwijdte" van kwantum-thermalisatie uit, en laat zien dat het standhoudt in een veel grotere verscheidenheid aan scenario's en met minder informatie dan voorheen vereist.

Technische samenvatting

Technische Samenvatting: Hypothese van Subsysteem-thermalisatie in Kwantumspinketens met Geconserveerde Ladingen

Probleemstelling
Het artikel behandelt de thermalisatie van geïsoleerde kwantumveel-deeltjessystemen, met een specifieke focus op niet-integreerbare spinketens met geconserveerde ladingen. Hoewel de Eigenstate Thermalization Hypothesis (ETH) en het concept van Canonical Typicality suggereren dat lokale subsystemen van energietoestanden of typische zuivere toestanden een thermisch ensemble moeten benaderen, compliceert de aanwezigheid van geconserveerde ladingen dit beeld. Standaard thermalisatie-frameworks vertrouwen vaak op het Generalized Gibbs Ensemble (GGE), dat alle geconserveerde ladingen bevat. Het construeren van een volledige GGE is echter vaak onpraktisch vanwege het oneindige aantal ladingen in integrabele systemen of de complexiteit van niet-Abeliaanse symmetrieën. Bovendien blijft het onduidelijk hoe de thermalisatiehypothese zich gedraagt wanneer slechts een subset van geconserveerde ladingen wordt opgenomen in het referentie-thermische ensemble, of wanneer de Hamiltoniaan zelf wordt uitgesloten van de definitie van het ensemble. De auteurs beogen de geldigheid van de subsystem-thermalisatiehypothese te kwantificeren over diverse "partiële" ensembles en voor verschillende soorten toestanden (eigen-toestanden, typische toestanden en bijna superselectie-toestanden).

Methodologie
De auteurs maken gebruik van een numerieke aanpak middels Exact Diagonalization (ED) op spin-1/2 ketens van ongeveer $L=10$ sites. De studie richt zich op drie niet-integrabele varianten van kwantumspinketens:

1. Ising-keten: Bezit een discrete $Z_2$-symmetrie (reflectie).
2. XXZ-keten: Bezit een continue $U(1)$-symmetrie (totale $S^z$).
3. XXX-keten: Bezit een niet-Abeliaanse $SU(2)$-symmetrie (totale spinvector).

De methodologie omvat:

• Toestandspreparatie:
  • Energietoestanden: Verkregen via ED.
  • Typische toestanden: Gegeneerd door willekeurige producttoestanden een voldoende lange tijd unitair te evolueren ($T=1000$) om de lokale entanglement-entropie te verzadigen.
  • Bijna superselectie-toestanden: Typische toestanden geclassificeerd door hun verwachtingswaarden van geconserveerde ladingen ($\langle Q_a \rangle$), wat de Hilbertruimte effectief onderverdeelt in fijnmazige sectoren.
• Thermische Ensembles: De auteurs introduceren Partiële Generalized Gibbs Ensembles (p-GGE's). In tegenstelling tot de standaard GGE, die alle geconserveerde ladingen bevat, bevatten p-GGE's slechts een geselecteerde subset van ladingen $\{Q_j\}$ met bijbehorende chemische potentialen $\{\beta_j\}$. Cruciaal is dat het framework de Hamiltoniaan ($Q_0$) en andere ladingen op gelijke voet behandelt, waardoor ensembles mogelijk zijn waarin de Hamiltoniaan is uitgesloten.
• Kwantificering: De geldigheid van de thermalisatiehypothese wordt gemeten door de relatieve entropie ($S_A$) tussen de gereduceerde dichtheidsmatrix van een subsysteem $A$ (uit de zuivere toestand) en de gereduceerde dichtheidsmatrix van het overeenkomstige p-GGE thermische toestand.
  $$S_A = S \left[ \text{Tr}_{\bar{A}}|\Psi\rangle\langle\Psi| \parallel \text{Tr}_{\bar{A}}\rho_{\{j\}} \right]$$
  Een verdwijnende relatieve entropie duidt op succesvolle thermalisatie.
• Demografie: In plaats van individuele toestanden te analyseren, onderzoeken de auteurs de "demografie" (populatieverdeling) van relatieve entropiewaarden over ensembles van toestanden met variërende lading-verwachtingswaarden.

Belangrijkste Bijdragen

1. Uitbreiding naar Partiële-GGE's: Het artikel formaliseert en test numeriek de subsystem-thermalisatiehypothese met behulp van p-GGE's, en demonstreert dat thermalisatie kan plaatsvinden zelfs wanneer slechts een subset van geconserveerde ladingen in het thermische ensemble is opgenomen.
2. Hamiltoniaan-onafhankelijkheid: Een significante bevinding is dat de Hamiltoniaan niet strikt noodzakelijk is voor het bestaan van de thermalisatiehypothese. p-GGE's geconstrueerd zonder de Hamiltoniaan (het uitsluiten van $Q_0$) leveren vaak scherpere thermalisatie-demografieën (kleinere relatieve entropie) op dan de ensembles die deze wel bevatten, met name in systemen met niet-Abeliaanse symmetrieën.
3. Niet-Abeliaanse Thermalisatie: De studie breidt het thermalisatie-framework uit naar systemen met niet-Abeliaanse ($SU(2)$) symmetrieën, waarbij typische toestanden en eigen-toestanden worden vergeleken met Non-Abelian Thermal States (NATS) en diverse p-GGE's.
4. Fijnmazige Analyse: De auteurs maken onderscheid tussen "coarse-grained" (grofmazige) thermalisatie (gemiddeld over alle typische toestanden) en "fine-grained" (fijnmazige) thermalisatie (binnen specifieke bijna superselectie-sectoren). Ze tonen aan dat hoewel coarse-grained thermalisatie succesvol kan lijken, de fine-grained versies kunnen falen voor specifieke lading-sectoren.

Resultaten

• Afhankelijkheid van Subsysteemgrootte: Over alle modellen (Ising, XXZ, XXX) houdt de subsystem-thermalisatiehypothese robuust stand voor kleine subsystemen (specifiek $A=1$ site). De geldigheid degradeert naarmate de subsystemgrootte $A$ toeneemt, en faalt uiteindelijk wanneer $A$ de helft van de systeemgrootte nadert.
• Lading-afhankelijkheid:
  • Ising ($Z_2$): Thermalisatie houdt stand voor typische toestanden en eigen-toestanden wanneer deze worden vergeleken met GGE en p-GGE's. Echter, fine-grained thermalisatie faalt voor sectoren met grote energie-verwachtingswaarden ($\langle Q_0 \rangle$) wanneer deze worden vergeleken met p-GGE's die enkel gedefinieerd zijn door de reflectiesymmetrie.
  • XXZ ($U(1)$): Vergelijkbaar met het Ising-geval, is thermalisatie effectief voor kleine $A$. Een opmerkelijke verschuiving in gedrag wordt waargenomen: thermalisatie werkt goed voor alle vaste energie-sectoren ($\langle Q_0 \rangle$), maar faalt voor grote totale spin-sectoren ($\langle Q_1 \rangle$) bij het gebruik van specifieke p-GGE's.
  • XXX ($SU(2)$): De studie bevestigt dat Non-Abelian Thermal States (NATS) geldige referentie-toestanden zijn. Bovendien leveren p-GGE's die ten minste twee niet-Hamiltoniaanse ladingen bevatten, effectieve thermalisatie op. De resultaten suggereren dat het uitsluiten van de Hamiltoniaan uit de p-GGE vaak leidt tot betere thermalisatie-demografieën dan het opnemen ervan.
• Eigen-toestanden vs. Typische Toestanden: In het algemeen wordt geconstateerd dat de subsystem-thermalisatiehypothese effectiever is voor typische toestanden dan voor energie-eigen-toestanden wanneer deze met hetzelfde thermische ensemble worden vergeleken. Daarnaast bieden GGE's over het algemeen een betere match dan p-GGE's, hoewel p-GGE's effectief blijven voor kleine subsystemen.

Significantie en Claims
Het artikel claimt de universaliteit van kwantum-thermalisatie uit te breiden voorbij de strikte vereisten van het Generalized Gibbs Ensemble. Door het p-GGE framework te introduceren, demonstreren de auteurs dat de thermalisatiehypothese flexibeler is dan voorheen gedacht:

• Het is van toepassing op systemen waarbij slechts partiële informatie (een subset van geconserveerde ladingen) behouden blijft in de thermische beschrijving.
• Het suggereert dat de Hamiltoniaan zelf mogelijk geen fundamentele vereiste is voor het definiëren van een thermische toestand in de context van subsystem-thermalisatie, aangezien ensembles die de energie-restrictie uitsluiten nog steeds de lokale gereduceerde toestanden accuraat kunnen beschrijven.
• Het framework biedt een kwantitatieve tool (relatieve entropie-demografie) om de "graad" van thermalisatie in geïsoleerde kwantumsystemen met geconserveerde grootheden te beoordelen, waarmee de kloof tussen integrabele en niet-integrabele dynamica wordt overbrugd.

De auteurs concluderen dat hoewel de hypothese generiek standhoudt voor kleine subsystemen, de keuze van het referentie-ensemble (welke ladingen worden opgenomen) en de specifieke lading-sector van de toestand cruciale factoren zijn bij het bepalen van de geldigheid van thermalisatie.