How thermal is a filtered state?

Sintesi Tecnica: "In che modo il termico è uno stato filtrato?"

Definizione del Problema
La simulazione quantistica offre una via per sondare le proprietà di equilibrio termico di sistemi a molti corpi. Tuttavia, la preparazione diretta di stati termici su dispositivi quantistici è problematica. Un'alternativa promettente consiste nell'utilizzare filtri energetici per approssimare gli ensemble termici partendo da stati puri semplici e facilmente preparabili (ad esempio, stati prodotto). Sebbene sia stabilito che un filtro esponenzialmente stretto (che risolve i singoli autostati) produce un comportamento termico ai sensi dell'Ipotesi di Termalizzazione degli Autostati (ETH), i requisiti precisi per la larghezza del filtro $\delta$ per garantire il comportamento termico rimangono una questione aperta. Lavori precedenti hanno esplorato questo aspetto tramite lo scaling dell'entropia di entanglement e l'universalità canonica, fornendo risultati contrastanti o incompleti riguardo alla necessaria scalatura di $\delta$ con la dimensione del sistema $N$ e l'ordine dell'entropia di Rényi $\alpha$. Questo lavoro mira a determinare rigorosamente quanto debba essere stretto il filtro affinché uno stato filtrato si comporti termicamente.

Metodologia
Gli autori analizzano il problema passando dalla evoluzione Hamiltoniana in tempo continuo a un regime Floquet a tempo discreto. Utilizzano un filtro coseno (specificamente una versione troncata) applicato a un Hamiltoniano locale o a un operatore di Floquet.

1. Mappatura di Floquet: Il filtro è definito come una combinazione lineare di operatori di evoluzione temporale a passi discreti. Gli autori distinguono tra il "regime Hamiltoniano" (dove il passo temporale $T$ scala con la dimensione del sistema per risolvere l'energia) e il "regime Floquet completo" (dove $T$ è costante e lo spettro è ripiegato).
2. Struttura della Matrice di Densità Ridotta (RDM): Un passaggio tecnico centrale consiste nell'analizzare la RDM dello stato filtrato. Gli autori dimostrano che per generici stati prodotto iniziali, l'eco di Loschmidt (sovrapposizione tra stati evoluti nel tempo) decade esponenzialmente con la dimensione del sistema. Questo decadimento implica che i blocchi fuori diagonale nella RDM svaniscono, rendendo la RDM effettivamente una somma diretta pesata di RDM dai singoli passi di evoluzione temporale.
3. Calcolo dell'Entropia: Sfruttando questa struttura a blocchi diagonali, gli autori calcolano le entropie di entanglement di Rényi-$\alpha$ sommando i contributi dai blocchi diagonali e dalla distribuzione dei coefficienti del filtro.
4. Convergenza Termica: Per quantificare la "termicità", gli autori calcolano la distanza di traccia (o la differenza nei valori di aspettazione di osservabili locali) tra lo stato filtrato e l'ensemble termico (diagonale). Utilizzano l'ETH di Floquet, la quale postula che gli elementi di matrice delle osservabili nella base propria seguano le statistiche della teoria del caos quantistico (Random Matrix Theory), per limitare i contributi dei termini fuori diagonale.
5. Estensione al Regime Hamiltoniano: Infine, mappano gli stati filtrati tramite Hamiltoniano in stati filtrati tramite Floquet efficaci, raggruppando i termini di evoluzione temporale, permettendo così l'applicazione dei risultati di Floquet al contesto Hamiltoniano standard.

Risultati Chiave

1. Scaling dell'Entropia di Rényi: Gli autori riproducono e spiegano comportamenti di scaling distinti per l'entropia di entanglement $S_\alpha$ degli stati filtrati a seconda di $\alpha$:
   • $\alpha > 1$: L'entropia scala logaritmicamente con l'inverso della larghezza del filtro ($\log(1/\delta)$). Ciò contrasta con la legge di volume attesa per gli stati pienamente termici, suggerendo che per $\delta$ polinomialmente piccolo, gli stati filtrati non sono pienamente termici in termini di entanglement ad alto ordine.
   • $\alpha = 1$ (Von Neumann): L'entropia scala linearmente con $1/\delta$ (più una correzione logaritmica), similmente all'entropia di uno stato evoluto per un tempo $t \sim 1/\delta$.
   • $\alpha < 1$: Lo scaling dipende dal tipo di filtro. Per un filtro troncato, scala linearmente con $1/\delta$. Per un filtro non troncato (coseno esatto), scala quadraticamente con $1/\delta$ (ovvero $1/\delta^2$).
2. Convergenza agli Stati Termici: Sotto l'assunzione dell'ETH di Floquet, gli autori dimostrano che la distanza di traccia tra uno stato filtrato di Floquet e lo stato termico è limitata superiormente da $O(\sqrt{\delta})$. Nello specifico, la differenza nei valori di aspettazione per qualsiasi osservabile locale è limitata da $O(\sqrt{\delta})$.
3. Equivalenza del Regime Hamiltoniano: Il limite $O(\sqrt{\delta})$ si estende agli stati filtrati tramite Hamiltoniano. Mappando uno stato filtrato tramite Hamiltoniano in uno stato di Floquet efficace con un passo temporale modificato, gli autori mostrano che il tasso di convergenza rimane $O(\sqrt{\delta_H})$.
4. Verifica Numerica: Le previsioni teoriche sono validate tramite simulazioni Matrix Product State (MPS) per modelli Ising non integrabili ed exact diagonalization per sistemi piccoli, confermando lo scaling $O(\sqrt{\delta})$ per le osservabili locali e i specifici scalamenti dell'entropia.

Significatività e Rivendicazioni
Il paper sostiene di fornire una caratterizzazione quantitativa della convergenza degli stati filtrati verso gli ensemble termici.

• Risoluzione di Questioni Aperte: Chiarisce la relazione tra la larghezza del filtro e il comportamento termico, mostrando che, sebbene gli stati filtrati possano non esibire un entanglement a legge di volume per tutti gli $\alpha$ (specificamente per $\alpha > 1$) quando $\delta$ è polinomialmente piccolo, essi convergono comunque ai valori di aspettazione termici per le osservabili locali.
• Derivazione dell'Universalità Canonica: Il lavoro dimostra che la proprietà di "universalità canonica" (dove i valori di aspettazione in una stretta finestra energetica approssimano i valori termici) non è un'ipotesi indipendente, ma può essere derivata direttamente dall'ETH di Floquet. Gli autori mostrano che anche con elementi di matrice fuori diagonale correlati (oltre le semplici assunzioni di indipendenza), l'errore scala come $\sqrt{\delta}$.
• Efficienza Algoritmica: Gli autori notano che i filtri di Floquet possono sostituire i filtri Hamiltoniani nella preparazione di stati termici. Poiché il passo temporale di Floquet può essere maggiore ($O(\sqrt{N})$) rispetto al passo temporale Hamiltoniano necessario per risolvere l'energia, questo approccio può ridurre il numero di misurazioni richieste negli algoritmi quantistici.
• Semplicità degli Stati Iniziali: A differenza di altri metodi per la preparazione di Thermal Pure Quantum States (TPQS) che richiedono stati iniziali Haar-random, questo approccio funziona con semplici stati prodotto, rendendolo più fattibile sia per implementazioni classiche che quantistiche.

Gli autori rimangono modesti riguardo ai limiti, riconoscendo che, sebbene le osservabili locali convergano, la struttura dell'entanglement (particolarmente per $\alpha > 1$) non imita pienamente uno stato termico a meno che la larghezza del filtro non sia esponenzialmente piccola. Notano inoltre che l'estensione dei risultati dell'entropia di entanglement dal regime di Floquet a quello Hamiltoniano non è teoricamente garantita essere identica a causa dell'entanglement introdotto nello stato iniziale effettivo della mappatura, sebbene l'evidenza numerica supporti la somiglianza.