Symmetry Resolved Entanglement Entropy: Equipartition under Driven and Non-unitary Evolution in a Compact Boson CFT

Dit artikel onderzoekt de evolutie van symmetrie-opgeloste verstrengeling-entropie in gedreven en niet-unitaire compacte boson CFT's, waarbij wordt aangetoond dat een $\mathfrak{sl}^{(k)}(2,\mathbb{R})$-subalgebra de equipartitie tussen ladingssectoren kan doorbreken via koppeling tussen lage en hoge frequentiemodi.

De kern

De Dans van de Deeltjes: Hoe Symmetrie en Chaos de Wereld Beïnvloeden

Stel je voor dat je een enorme, ingewikkelde dansvloer hebt vol met dansers. In de wereld van de kwantumfysica zijn dit de deeltjes. Wetenschappers kijken vaak naar hoe deze deeltjes met elkaar "verstrengeld" zijn. Verstrengeling is als een onzichtbare, magische draad die twee deeltjes aan elkaar koppelt, zelfs als ze kilometers uit elkaar staan. Als je het ene deeltje aanraakt, reageert het andere direct.

Dit artikel gaat over een heel specifiek soort dans: Symmetrische Verstrengeling.

1. De Verdeling van de Taart (Equipartitie)

Stel je voor dat je een grote taart hebt (de totale verstrengeling) en je wilt deze verdelen onder verschillende gasten. Deze gasten zijn de "ladingen" of "symmetrieën" van het systeem (bijvoorbeeld: hoeveel deeltjes met een bepaalde lading er in een stukje van de taart zitten).

In de meeste gevallen, als de taart groot genoeg is, verdeelt de taart zich eerlijk over alle gasten. Dit noemen de auteurs equipartitie. Het maakt niet uit of je naar gast A of gast B kijkt; ze krijgen allemaal evenveel taart. Het is alsof de taart zichzelf perfect in gelijke stukjes snijdt.

2. De Dans met een Trage Trommel (Gedreven Systemen)

Nu komt het interessante deel. De auteurs laten de dansvloer niet rustig dansen, maar ze geven de dansers een ritme op via een Floquet-dans (een periodiek gedreven systeem). Ze schakelen de muziek aan en uit, of veranderen het ritme op een heel specifieke manier.

Ze gebruiken een heel speciaal soort muziek (een Hamiltoniaan gebaseerd op de Virasoro-algebra). Deze muziek heeft een geheim: hij koppelt de laagste tonen (de trage, grote bewegingen) aan de hoogste tonen (de snelle, kleine trillingen).

• De Analogie: Stel je voor dat je een orkest hebt. Normaal spelen de contrabassen (laag) en de fluiten (hoog) hun eigen stukjes. Maar deze speciale muziek dwingt de contrabassen om plotseling mee te doen met de fluiten en andersom. Ze worden met elkaar verstrikt.

3. De Breuk in de Eerlijke Verdeling

Wat gebeurt er nu met de taartverdeling?
Bij een normale dans blijft de taart eerlijk verdeeld. Maar bij deze speciale, "gedreven" dans gebeurt er iets vreemds: de eerlijke verdeling breekt.

• Het Effect: De grootte van het stukje taart dat een gast krijgt, hangt nu plotseling wel af van wie die gast is. Sommige gasten krijgen meer taart, anderen minder.
• De Oorzaak: Dit komt door de parameter $k$ in de muziek. Dit is als een knop die je kunt draaien. Als je deze knop op een bepaalde stand zet, zorg je ervoor dat de trage en snelle bewegingen zo sterk met elkaar verstrikt raken, dat de "grootte" van het systeem effectief kleiner wordt.
• De Leer: Zelfs als je een heel groot systeem hebt (oneindig groot), kun je door deze knop te draaien zorgen dat het zich gedraagt alsof het heel klein is. En in een klein systeem is de verdeling van de taart niet meer eerlijk. Je kunt de eerlijkheid dus "knijpen" of "breken" door de manier waarop je het systeem aanstuurt.

4. De Twee Fasen van de Dans

De dans heeft twee hoofdregimes:

1. De Verwarmingsfase: Hier groeit de chaos (en de verstrengeling) steeds sneller, alsof de dansers steeds wilder worden. Uiteindelijk wordt de taart weer eerlijk verdeeld, maar het duurt lang.
2. De Niet-verwarmingsfase: Hier blijft de dans in een ritme hangen. De verstrengeling oscilleert (gaat op en neer). In deze fase breekt de eerlijke verdeling het meest opvallend, en herstelt hij zich nooit volledig.

5. De Magische Meetlat (Niet-unitaire Evolutie)

In het tweede deel van het artikel kijken ze naar wat er gebeurt als je de dansers niet alleen laat dansen, maar ook meet. In de kwantumwereld is meten een ingrijpende actie. Het is alsof je een camera op de dansers richt die alleen foto's maakt van de "goede" dansers en de rest verwijdert.

Dit noemen ze niet-unitaire evolutie.

• De Analogie: Stel je voor dat je een danspartij hebt, maar je laat alleen de mensen die op de maat dansen blijven. De anderen verdwijnen.
• Het Resultaat: Ook hier zien ze dat de verdeling van de taart verandert. De manier waarop de taart verdeeld wordt, hangt af van hoe je meet. Het gedrag is anders dan bij een normale dans, en de "eerlijke verdeling" herstelt zich op een heel andere manier (soms heel langzaam, soms helemaal niet).

Conclusie: Waarom is dit belangrijk?

Dit artikel laat zien dat we de fundamentele regels van de kwantumwereld (zoals "alles verdeelt zich eerlijk") kunnen manipuleren.

• De Knop: We hebben een "knop" (de parameter $k$) gevonden waarmee we kunnen bepalen hoe eerlijk de verdeling is.
• De Toepassing: Dit is niet alleen leuk voor de theorie. Het helpt ons begrijpen hoe kwantumcomputers werken, hoe energie zich verspreidt in materialen, en hoe we kwantumsystemen kunnen controleren door ze op een slimme manier te "aaien" (driven) of te meten.

Kortom: De auteurs hebben ontdekt dat als je een kwantum-systeem op de juiste manier "schudt" of "meet", je de natuurlijke eerlijkheid van de deeltjes kunt doorbreken en een heel nieuwe, gecontroleerde chaos kunt creëren.

Technische samenvatting

Probleemstelling

Het artikel onderzoekt de tijdsontwikkeling van symmetrie-opgeloste verstrengelingentropie (SREE) in geïsoleerde kwantumsystemen die ver van het evenwicht zijn. Hoewel verstrengelingentropie een fundamenteel hulpmiddel is om kritieke punten en niet-evenwichtsdynamica te begrijpen, is de rol van globale symmetrieën (zoals $U(1)$-lading) in deze dynamica minder goed begrepen.

Een centraal fenomeen in dit domein is verstrengelingsequipartitie: het idee dat bij grote subsystemen de verstrengeling uniform over de verschillende ladingssectoren wordt verdeeld, zodat de SREE onafhankelijk is van de lading $q$ (op subleading correcties na). De auteurs willen onderzoeken:

1. Of en hoe deze equipartitie behouden blijft of wordt verbroken in periodiek aangedreven (Floquet) CFT's.
2. Hoe niet-unitaire evolutie (geassocieerd met post-selectie van zwakke metingen) de dynamica van SREE beïnvloedt in vergelijking met unitaire kwantumquenches.
3. Of er een mechanisme bestaat om de schaal waarop equipartitie optreedt te controleren, zelfs in de thermodynamische limiet.

Methodologie

De auteurs gebruiken de 2D vrije compacte boson CFT met een $U(1)$-symmetrie als testmodel. Ze analyseren twee specifieke scenario's:

1. Bulk-gedreven Floquet CFT:

   • Het systeem wordt geëvolueerd met een reeks Hamiltonianen die behoren tot een familie van ruimtelijk inhomogene Hamiltonianen. Deze Hamiltonianen zijn lineaire combinaties van Virasoro-generatoren: $H \sim L_0 + L_k + L_{-k} + \text{h.c.}$, waarbij $k$ een geheel getal is dat de "kromming" van de driving definieert.
   • De evolutie wordt beschreven door een $SL(2, \mathbb{R})$ (of $SU(1,1)$) transformatie op de k-sheeted Riemann-oppervlakken die nodig zijn voor de replica-methode.
   • De geladen momenten $Z_n(\alpha) = \text{Tr}(\rho_A^n e^{i\alpha Q_A})$ worden berekend met behulp van composiet twist-velden ($\tau_{n,\alpha}$) die de twist en de $U(1)$-flux combineren.
   • De SREE wordt verkregen door een Fourier-transformatie van deze momenten naar de vaste lading $q$.

2. Niet-unitaire Quench:

   • Het systeem ondergaat een evolutie met een complexe tijd: $|\psi(t)\rangle = e^{-iH_{CFT}(1-i\mu)t}|\psi_0\rangle$, waarbij $\mu > 0$. Dit correspondeert met een complexe metriek en kan worden geïnterpreteerd als post-selectie na een zwakke meting.
   • De berekening gebeurt via een padintegraal op een strip die conform wordt afgebeeld op een cilinder met lengte $W(t)$.
   • De geladen momenten worden berekend als partitiefuncties op deze cilinder met een defectlijn die de flux implementeert.

Belangrijkste Bijdragen en Resultaten

1. Controleerbare Schaal voor Equipartitie in Gedreven Systemen

De belangrijkste ontdekking is dat de parameter $k$ (de label van de $sl(k)(2, \mathbb{R})$-subalgebra van de Virasoro-algebra) fungeert als een vrije parameter die de effectieve lengteschaal van het systeem bepaalt.

• Mechanisme: De Hamiltonianen $L_k + L_{-k}$ koppelen lage-frequentie (IR) modi aan hoge-frequentie (UV) modi. In de positieruimte correspondeert dit met snelle oscillaties van de driving-profiel.
• Resultaat: De effectieve lengte $l_{eff}$ die de verstrengeling bepaalt, wordt gegeven door $L/k$ (waarbij $L$ de omtrek is). Zelfs als $L \to \infty$ (thermodynamische limiet), kan $l_{eff}$ klein blijven als $k$ groot is.
• Consequentie: De breedte van de ladingsverdeling, $B_1(N) \propto \log(l_{eff})$, wordt niet parametrisch groot. Hierdoor is de term die afhangt van de lading $q$ (proportioneel aan $q^2/B_1$) niet onderdrukt. Dit leidt tot een duidelijke breuk van de ladingsequipartitie in de SREE, zelfs in de thermodynamische limiet.

2. Dynamica in Verschillende Floquet-fasen

De auteurs analyseren drie fasen gebaseerd op de driving-protocol:

• Verwarmingsfase (Heating): De entropie groeit lineair in de tijd. Equipartitie wordt asymptotisch hersteld, maar zeer traag afhankelijk van $k$.
• Fase-overgang: Logaritmische groei.
• Niet-verwarmingsfase (Non-heating): De entropie oscilleert. Hier wordt equipartitie niet dynamisch hersteld; de SREE behoudt een sterke afhankelijkheid van $q$ voor alle tijden.

De Shannon-entropie (of "number entropy"), die de fluctuaties van de lading meet, volgt de schaal van $B_1(N)$:

• Verwarmingsfase: $S_{num} \sim \log N$.
• Fase-overgang: $S_{num} \sim \log(\log N)$.
• Niet-verwarmingsfase: $S_{num}$ blijft begrensd en oscillerend.

3. Niet-unitaire Evolutie en Complexe Metriek

Voor de niet-unitaire quench met complexe tijd ($\mu > 0$):

• De effectieve cilinderlengte $W(t)$ groeit logaritmisch in de tijd ($W(t) \sim \log t$) in plaats van lineair (zoals bij unitaire quenches).
• Dit resulteert in een log-log groei van de number entropy ($S_{num} \sim \log \log t$).
• Hoewel equipartitie op lange tijden wordt hersteld (omdat $W(t) \to \infty$), is de afwijking van equipartitie op eindige tijden significant en verschilt deze fundamenteel van het unitaire geval. De afwijking wordt bepaald door de Affleck-Ludwig randentropieën en de twist-basis toestand.

Significantie en Conclusies

• Algebraïsche Oorsprong: De breuk van equipartitie wordt niet veroorzaakt door eindige systeemgrootte, maar door de algebraïsche structuur van de driving Hamiltonian ($sl(k)(2, \mathbb{R})$). Dit biedt een nieuw mechanisme om verstrengelingseigenschappen te manipuleren.
• Koppeling van Modi: Het werk illustreert hoe expliciete koppeling tussen IR- en UV-modi (via Lüscher-Mack type Hamiltonianen) de hiërarchie van lengteschalen in CFT's kan veranderen.
• Generalisatie: Hoewel berekend voor een vrije boson, argumenteren de auteurs dat dit mechanisme geldig blijft voor andere CFT's vanwege de universele oscillator-representatie van de Virasoro-algebra.
• Toekomstperspectief: De resultaten openen de deur voor onderzoek naar symmetrie-opgeloste verstrengeling in holografische systemen (AdS/CFT), geëxciteerde toestanden en systemen met niet-Abelse symmetrieën (zoals WZW-modellen).

Kortom, het artikel toont aan dat "equipartitie" geen absoluut gegeven is in niet-evenwichtssystemen, maar dat deze afhankelijk is van de dynamische schaal die wordt opgelegd door de evolutie-operator, en dat deze schaal kunstmatig kan worden gemanipuleerd om de verdeling van verstrengeling over ladingssectoren te controleren.