Quantum scrambling of algebras of observables: the $\mathbb{Z}_2$-symmetric case

Technische Samenvatting: Kwantumscrambling van Algebraën van Observabelen: De $Z_2$-Symmetrische Geval

Probleemstelling
Dit artikel breidt de formalisering van kwantumscrambling uit van individuele operatoren naar volledige algebraën van observabelen. Waar eerder werk de Algebraïsche Out-of-Time-Order Correlator (A-OTOC) vestigde als een maatstaf voor scrambling voor "collineaire" algebra's (waarbij de algebra en zijn commutant specifieke dimensionale relaties hebben), ontbrak een metriek interpretatie voor meer algemene algebra's. De auteurs adresseren het specifieke geval waarbij de commutant van de observabele-algebra $\mathcal{A}$, aangeduid als $\mathcal{A}'$, wordt gegenereerd door een enkele Hermitische involutie $S$ (een pariteitsoperator). In deze $Z_2$-symmetrische setting is $\mathcal{A}' \cong \mathbb{C}Z_2$ en vervalt de Hilbertruimte in twee pariteitssectoren. Het doel is om exacte analytische expressies voor scrambling-maten in deze context af te leiden, een geometrische interpretatie te bieden en deze maten toe te passen om fasen in interagerende spin-ketens te diagnosticeren.

Methodologie
De auteurs maken gebruik van twee primaire maten om de scrambling van de algebra $\mathcal{A}$ onder een unitaire kanaal $U(\cdot) = U(\cdot)U^\dagger$ te kwantificeren:

1. Algebraïsche OTOC (A-OTOC): Gedefinieerd als het gemiddelde kwadraat van de norm van commutatoren tussen unitaire operatoren in $\mathcal{A}$ en de dynamisch geëvolueerde unitaire operatoren in de commutant $\mathcal{A}'$.
2. Plücker Fidelity: Een Slater-determinant-achtige grootheid afgeleid van het inbedden van operator-algebra's in een hoger-dimensionale projectieve operatorruimte, die de overlap meet tussen de initiële commutant-algebra $\mathcal{A}'$ en zijn dynamische beeld $U(\mathcal{A}')$.

De analyse steunt op de decompositie van de Hilbertruimte $\mathcal{H}$ in invariante subruimten $\mathcal{H}_+$ en $\mathcal{H}_-$ die overeenkomen met de $\pm 1$ eigenwaarden van de generator $S$. Kernparameters zijn de trace-parameter $\tau = \text{Tr}(S)/d$ (die verdwijnt voor een spoorloze $S$) en de oneindige-temperatuur tijd-autocorrelatiefunctie van de generator, $Y(U) = \frac{1}{d}\langle S, U(S) \rangle$.

Belangrijkste Bijdragen en Resultaten

• Exacte Analytische Expressies: De auteurs leiden gesloten vorm-expressies af voor zowel de A-OTOC ($G_\mathcal{A}(U)$) als de Plücker fidelity ($F_\mathcal{A}(U)$) in het algemene $Z_2$-symmetrische geval. Deze grootheden zijn uitsluitend afhankelijk van de symmetriebreking-parameter $\tau$ en de autocorrelatie $Y(U)$:
  $$G_\mathcal{A}(U) = (1-Y)\left[1 - \frac{1-Y}{2(1-\tau^2)}\right], \quad F_\mathcal{A}(U) = \left| \frac{Y - \tau^2}{1 - \tau^2} \right|$$
  Zij tonen aan dat deze maten verbonden zijn door de identiteit $G_\mathcal{A}(U) = \frac{1-\tau^2}{2}[1 - F_\mathcal{A}^2(U)]$.

• Geometrische Interpretatie: Een centrale bijdrage is het herstel van een metriek interpretatie voor deze scrambling-maten. De auteurs tonen aan dat de A-OTOC proportioneel is aan het gekwadrateerde Hilbert-Schmidt afstand tussen de commutant-algebra $\mathcal{A}'$ en zijn dynamische beeld $U(\mathcal{A}')$ op de manifold van $Z_2$-algebra's ($\mathcal{M}_{Z_2}$). Specifiek geldt $G_\mathcal{A}(U) = \frac{1-\tau^2}{4} D_{HS}^2(\mathcal{A}', U(\mathcal{A}'))$. Dit breidt het geometrische begrip van scrambling uit voorbij het eerder bekende collineaire geval.

• Symmetriebreking en Scrambling: De studie stelt vast dat scrambling wordt gecontroleerd door de $Z_2$-symmetriebrekende component van de unitaire evolutie.

  • Geen Scrambling: Treedt op als $U$ de algebra $\mathcal{A}'$ behoudt (d.w.z. $U(S) = \pm S$). Dit komt overeen met $Y=1$ of, in het spoorloze geval ($\tau=0$), $Y=-1$.
  • Maximale Scrambling: Treedt op wanneer $Y(U) = \tau^2$, wat leidt tot $F_\mathcal{A}(U)=0$ en $G_\mathcal{A}(U) = (1-\tau^2)/2$.
  • Typische Waarden: Voor willekeurige unitaire operatoren concentreert de A-OTOC zich nabij zijn maximale waarde, met name voor spoorloze generatoren ($\tau=0$), waar de bovengrens $1/2$ is.

• Langetermijn Gemiddelden: Voor door Hamiltoniaanse dynamica gegenereerde processen wordt het langetermijn gemiddelde van de A-OTOC bepaald door de gedephaseerde component van de generator $S$ en de spectrale degeneratiestructuur van het Hamiltoniaan. Voor niet-gedegenereerde spectra nadert het langetermijn gemiddelde de maximale scrambling-waarde.

• Numerieke Toepassingen op Spin-ketens: Het formalisme wordt getest op interagerende spin-ketens om verschillende fysieke fasen te diagnosticeren:

  • Many-Body Localization (MBL): In willekeurige veld-XXZ-ketens neemt de langetermijn gemiddelde A-OTOC significant af naarmate de wanorde toeneemt, wat de transitie naar MBL signaleert. De gevoeligheid van deze maat hangt af van de ondersteuning van de pariteitsoperator, waarbij lokale operatoren de sterkste respons vertonen.
  • Orde-Wanorde Transitie: In de transversale-veld Ising-keten (TFIM) neemt de A-OTOC toe van 0 (geordende fase) naar $\approx 1/2$ (wanordende fase) naarmate het transversale veld het kritieke punt kruist, wat het gedrag van de grondtoestand-magnetisatie spiegelt.
  • Integrabiliteit Transitie: In de TFIM met een longitudinaal veld is de A-OTOC exact nul op het integrabele punt (waar globale pariteit een symmetrie is) en nadert deze snel de ergodische waarde zodra de integrabiliteit wordt verbroken, waarbij de transitie scherper wordt naarmate de systeemgrootte toeneemt.

Betekenis
Het artikel claimt dat het voorgestelde formalisme een verenigd kader biedt voor het kwantificeren van kwantumscrambling dat de brug slaat tussen algebraïsche niet-commutativiteit en geometrische afstand. Door de commutant te beperken tot een $Z_2$-structuur, herstellen de auteurs een metriek interpretatie voor de A-OTOC die voorheen niet beschikbaar was voor algemene algebra's. De resultaten suggereren dat de langetermijn gemiddelde A-OTOC, wanneer gekoppeld aan een fysiek gemotiveerde pariteitsoperator, dient als een gevoelig diagnostisch instrument om te differentiëren tussen integrabele, chaotische en gelokaliseerde fasen in veel-deeltjes systemen. Het werk benadrukt dat het "typische" gedrag van willekeurige unitaire operatoren leidt tot maximale scrambling, en dat afwijkingen van dit typische gedrag onderliggende structurele symmetrieën of lokalisatieverschijnselen in specifieke kwantumsystemen kunnen onthullen.