Subsystem Thermalization Hypothesis in Quantum Spin Chains with Conserved Charges

Questo articolo estende l'universalità della termalizzazione quantistica dimostrando che l'ipotesi di termalizzazione dei sottosistemi si applica genericamente per piccoli sottosistemi in catene di spin quantistici con varie simmetrie, non solo per gli ensemble termici standard ma anche per gli ensemble di Gibbs generalizzati e parziali (p-GGE) che incorporano insiemi parziali di cariche conservate.

L'essenziale

Immagina di avere una macchina gigante e complessa fatta di piccoli piógoli rotanti (spin quantistici), tutti collegati tra loro. Nel mondo della fisica classica, se scuoti questa macchina e la lasci girare per molto tempo, alla fine si assesta in uno stato prevedibile, "termico"—come una tazza di caffè che si raffredda fino a raggiungere la temperatura ambiente. Questo è governato dalle leggi della termodinamica.

Ma nel mondo quantistico, le cose sono più strane. Poiché la macchina è isolata (senza interferenze esterne) e segue rigide regole quantistiche, tecnicamente non dovrebbe "raffreddarsi" o dimenticare il suo punto di partenza. Dovrebbe semplicemente continuare a evolversi per sempre.

La Grande Domanda:
Nonostante ciò, gli scienziati hanno notato che se guardi solo una piccola parte di questa macchina (un "sottosistema"), quella piccola parte spesso sembra essersi raffreddata e aver raggiunto l'equilibrio termico, anche se l'intera macchina non lo ha fatto. Questa è l'Ipotesi di Termalizzazione del Sottosistema.

Il Nuovo Colpo di Scena in Questo Articolo:
Gli autori di questo articolo si sono chiesti: "Cosa succede se la nostra macchina ha delle 'regole speciali' o 'cariche conservate' che non può infrangere?"

Pensa a queste cariche conservate come a leggi rigorose dell'universo che la macchina deve rispettare.

• Simmetria Z2 (Catena di Ising): Come una regola che dice: "Il numero totale di teste deve essere uguale al numero totale di croci."
• Simmetria U(1) (Catena XXZ): Come una regola che dice: "Lo spin totale verso l'alto meno lo spin totale verso il basso deve rimanere costante."
• Simmetria SU(2) (Catena XXX): Una regola più complessa dove il vettore di spin totale è conservato.

Di solito, per prevedere l'aspetto di un sistema termico, gli scienziati usano un "Insieme di Gibbs Generalizzato" (GGE). Pensa al GGE come a una ricetta perfetta che include ogni singola regola (ogni carica conservata) che il sistema segue. Se cuoci la torta usando questa ricetta perfetta, dovrebbe corrispondere al comportamento della piccola parte della macchina.

L'Innovazione: "Ricette Parziali" (p-GGE)
Gli autori si sono resi conto che forse non abbiamo bisogno della ricetta perfetta con tutte le regole per ottenere una buona approssimazione. Hanno proposto l'uso di p-GGE (Insiemi di Gibbs Parziali).

Immagina di cercare di indovinare il sapore di una zuppa.

• GGE: Conosci ogni singolo ingrediente e spezia nel pentolone.
• p-GGE: Conosci solo alcuni degli ingredienti (ad esempio, sai che ci sono sale e pepe, ma ignori le erbe aromatiche).

L'articolo si chiede: Se usiamo una "ricetta parziale" che ignora alcune delle regole, la piccola parte della macchina sembrerà ancora termica?

Cosa Hanno Fatto:
Hanno preso tre diversi tipi di catene di spin quantistici (Ising, XXZ e XXX) e hanno eseguito simulazioni al computer. Hanno creato due tipi di punti di partenza:

1. Autostati di Energia: La macchina in un particolare stato energetico congelato.
2. Stati Tipici: La macchina che parte come un groviglio casuale ed evolve per un lungo periodo (come scuotere la macchina e lasciarla assestare).

Hanno poi confrontato la "piccola parte" di queste macchine contro le previsioni di:

• La ricetta completa (GGE).
• Ricette parziali (p-GGE) che includevano solo alcune regole, o che addirittura escludevano la regola energetica principale (l'Hamiltoniana).

I Risultati (La "Demografia"):
Non si sono limitati a guardare un solo caso; hanno esaminato migliaia di scenari (la "demografia") per vedere quanto spesso l'ipotesi funzionasse.

1. Le Parti Piccole Funzionano Meglio: Proprio come guardare un singolo pixel in una foto ad alta risoluzione, l'ipotesi funziona molto bene se il "sottosistema" che stai osservando è piccolo rispetto all'intera macchina.
2. Le Ricette Parziali Funzionano Sorprendentemente Bene: Anche se usi una "ricetta parziale" (p-GGE) che ignora alcune delle cariche conservate, la piccola parte della macchina sembra comunque termica.
3. L'Hamiltoniana Non è Sempre Essenziale: In alcuni casi, hanno scoperto che anche se ignoravano la principale regola dell'energia (l'Hamiltoniana) nella loro ricetta, la termalizzazione rimaneva comunque valida. Questo suggerisce che, per una piccola parte del sistema, conoscere l'energia totale non è sempre necessario per prevederne il comportamento.
4. Simmetrie Non-Abeliane: Hanno testato il tutto su sistemi con regole complesse e non commutanti (simmetria SU(2)) e hanno scoperto che l'approccio della "ricetta parziale" funziona ancora.

Il Punto Fondamentale:
L'articolo sostiene che l'idea della termalizzazione quantistica è molto più flessibile di quanto pensassimo. Non abbiamo bisogno di conoscere ogni singola regola dell'universo per prevedere come una piccola parte di un sistema quantistico si comporterà. Anche descrizioni "imperfette" (p-GGE) che ignorano determinate quantità conservate possono prevedere con successo che una piccola parte del sistema si è termalizzata.

Questo espande l' "universo" della termalizzazione quantistica, dimostrando che essa è valida in una gamma molto più ampia di scenari e con meno informazioni di quanto precedentemente richiesto.

Sommario tecnico

Sintesi Tecnica: Ipotesi di Termalizzazione dei Sottosistemi in Catene di Spin Quantistiche con Cariche Conservate

Problema
Il documento affronta la termalizzazione di sistemi quantistici molti-corpo isolati, concentrandosi specificamente su catene di spin non integrabili con cariche conservate. Sebbene l'Ipotesi di Termalizzazione degli Autostati (ETH) e il concetto di Tipicità Canonica suggeriscano che i sottosistemi locali di autostati di energia o di stati puri tipici debbano somigliare a ensemble termici, la presenza di cariche conservate complica questo quadro. I quadri standard di termalizzazione spesso si basano sul Gibbs Ensemble Generalizzato (GGE), che include tutte le cariche conservate. Tuttavia, la costruzione di un GGE completo è spesso impraticabile a causa dell'infinito numero di cariche nei sistemi integrabili o della complessità delle simmetrie non assiali. Inoltre, rimane poco chiaro come l'ipotesi di termalizzazione si comporti quando viene incluso solo un sottoinsieme di cariche conservate nell'ensemble termico di riferimento, o quando l'Hamiltoniana stessa viene esclusa dalla definizione dell'ensemble. Gli autori mirano a quantificare la validità dell'ipotesi di termalizzazione dei sottosistemi attraverso vari ensemble "parziali" e per diversi tipi di stati (autostati, stati tipici e stati quasi di superselezione).

Metodologia
Gli autori utilizzano un approccio numerico tramite Diagonalizzazione Esatta (ED) su catene di spin spin-1/2 di circa $L=10$ siti. Lo studio si concentra su tre varianti non integrabili di catene di spin:

1. Catena di Ising: Possiede una simmetria discreta $Z_2$ (riflessione).
2. Catena XXZ: Possiede una simmetria continua $U(1)$ (spin totale $S^z$).
3. Catena XXX: Possiede una simmetria non assiale $SU(2)$ (vettore di spin totale).

La metodologia prevede:

• Preparazione dello Stato:
  • Autostati di Energia: Ottenuti tramite ED.
  • Stati Tipici: Generati evolvendo unitariamente stati prodotto casuali per un tempo sufficientemente lungo ($T=1000$) per saturare l'entropia di entanglement locale.
  • Stati Quasi di Superselezione: Stati tipici classificati in base ai loro valori di aspettazione delle cariche conservate ($\langle Q_a \rangle$), suddividendo efficacemente lo spazio di Hilbert in settori granulari.
• Ensemble Termici: Gli autori introducono i Partial Generalized Gibbs Ensembles (p-GGEs). A differenza del GGE standard che include tutte le cariche conservate, i p-GGE includono solo un sottoinsieme selezionato di cariche $\{Q_j\}$ con i corrispondenti potenziali chimici $\{\beta_j\}$. Fondamentalmente, il framework tratta l'Hamiltoniana ($Q_0$) e le altre cariche su un piano di parità, permettendo ensemble in cui l'Hamiltoniana è esclusa.
• Quantificazione: La validità dell'ipotesi di termalizzazione è misurata dall'entropia relativa ($S_A$) tra la matrice densità ridotta del sottosistema $A$ (dal puro stato) e la matrice densità ridotta del corrispondente stato termico p-GGE.
  $$S_A = S \left[ \text{Tr}_{\bar{A}}|\Psi\rangle\langle\Psi| \parallel \text{Tr}_{\bar{A}}\rho_{\{j\}} \right]$$
  Un'entropia relativa nulla indica una termalizzazione riuscita.
• Demografia: Invece di analizzare singoli stati, gli autori esaminano le "demografie" (distribuzione della popolazione) dei valori di entropia relativa attraverso ensemble di stati con diversi valori di aspettazione delle cariche.

Contributi Chiave

1. Estensione ai p-GGE: Il documento formalizza e testa numericamente l'ipotesi di termalizzazione dei sottosistemi utilizzando i p-GGE, dimostrando che la termalizzazione può sussistere anche quando viene incluso solo un sottoinsieme di cariche conservate nell'ensemble termico.
2. Indipendenza dall'Hamiltoniana: Un risultato significativo è che l'Hamiltoniana non è strettamente necessaria affinché l'ipotesi di termalizzazione sia valida. I p-GGE costruiti senza l'Hamiltoniana (escludendo $Q_0$) spesso producono demografie di termalizzazione più nitide (minore entropia relativa) rispetto a quelli che la includono, particolarmente in sistemi con simmetrie non assiali.
3. Termalizzazione Non Assiale: Lo studio estende il framework di termalizzazione ai sistemi con simmetrie non assiali ($SU(2)$), confrontando stati tipici e autostati contro Stati Termici Non Assiali (NATS) e vari p-GGE.
4. Analisi Fine-Grained: Gli autori distinguono tra termalizzazione "coarse-grained" (mediata su tutti gli stati tipici) e termalizzazione "fine-grained" (all'interno di specifici settori di quasi-superselezione). Mostrano che, mentre la termalizzazione coarse-grained può apparire efficace, le versioni fine-grained possono fallire per specifici settori di carica.

Risultati

• Dipendenza dalla Dimensione del Sottosistema: In tutti i modelli (Ising, XXZ, XXX), l'ipotesi di termalizzazione del sottosistema è robustamente valida per piccoli sottosistemi (specificamente $A=1$ sito). La validità degrada all'aumentare della dimensione del sottosistema $A$, fallendo infine quando $A$ si avvicina alla metà della dimensione del sistema.
• Dipendenza dalla Carica:
  • Ising ($Z_2$): La termalizzazione è valida per stati tipici e autostati rispetto a GGE e p-GGE. Tuttavia, la termalizzazione fine-grained fallisce per i settori con grandi aspettazioni di energia ($\langle Q_0 \rangle$) quando confrontati con p-GGE definiti solo dalla simmetria di riflessione.
  • XXZ ($U(1)$): Similmente al caso Ising, la termalizzazione è efficace per piccoli $A$. Si osserva un inversione di comportamento degna di nota: la termalizzazione è efficace per tutti i settori di energia fissi ($\langle Q_0 \rangle$), ma fallisce per i settori di spin totale elevato ($\langle Q_1 \rangle$) quando si utilizzano specifici p-GGE.
  • XXX ($SU(2)$): Lo studio conferma che gli Stati Termici Non Assiali (NATS) sono stati di riferimento validi. Inoltre, i p-GGE che coinvolgono almeno due cariche non-Hamiltoniane producono una termalizzazione efficace. I risultati suggeriscono che escludere l'Hamiltoniana dal p-GGE porti spesso a demografie di termalizzazione migliori rispetto all'includerla.
• Autostati vs. Stati Tipici: In generale, l'ipotesi di termalizzazione del sottosistema risulta essere più efficace per gli stati tipici rispetto agli autostati di energia quando confrontati con lo stesso ensemble termico. Inoltre, i GGE forniscono generalmente un match migliore rispetto ai p-GGE, sebbene i p-GGE rimangano efficaci per piccoli sottosistemi.

Significatività e Rivendicazioni
Il documento rivendica l'estensione della universalità della termalizzazione quantistica oltre i requisiti stretti del Generalized Gibbs Ensemble. Introducendo il framework dei p-GGE, gli autori dimostrano che l'ipotesi di termalizzazione è più flessibile di quanto precedentemente ipotizzato:

• Si applica a sistemi in cui viene mantenuta solo un'informazione parziale (un sottoinsieme di cariche conservate) nella descrizione termica.
• Suggerisce che l'Hamiltoniana stessa potrebbe non essere un requisito fondamentale per definire uno stato termico nel contesto della termalizzazione dei sottosistemi, poiché gli ensemble che escludono il vincolo di energia possono comunque descrivere accuratamente gli stati locali ridotti.
• Il framework fornisce uno strumento quantitativo (demografia dell'entropia relativa) per valutare il "grado" di termalizzazione in sistemi isolati con quantità conservate, colmando il divario tra dinamiche integrabili e non integrabili.

Gli autori concludono che, sebbene l'ipotesi valga genericamente per piccoli sottosistemi, la scelta dell'ensemble di riferimento (quali cariche includere) e il settore di carica specifico dello stato sono fattori critici nel determinare la validità della termalizzazione.