Fast mixing of all-to-all quantum systems at high temperatures

Sintesi Tecnica: Miscelazione Rapida di Sistemi Quantistici All-to-All ad Alte Temperature

Definizione del Problema
Il documento affronta la complessità della preparazione dello stato termico per arbitrarie hamiltoniane quantistiche $k$-locali con interazioni all-to-all (non geometriche). Sebbene esistano algoritmi efficienti di campionamento di Gibbs quantistico per sistemi geometricamente locali (reticoli) ad alte temperature, estendere questi risultati ad sistemi all-to-all è rimasto una sfida aperta. Le prove esistenti di miscelazione rapida per sistemi non commutanti si basano fondamentalmente sui limiti di Lieb-Robinson, che quantificano la propagazione dell'informazione tramite una struttura a "cono di luce" intrinseca alle geometrie reticolari. Nei sistemi all-to-all, tale località geometrica è assente, e la nozione standard di cono di luce fallisce nel descrivere la crescita degli operatori, rendendo inapplicabili le precedenti analisi dei tempi di miscelazione. Il problema centrale è determinare se arbitrarie hamiltoniane $k$-locali all-to-all con forza di interazione limitata ammettano un gap spettrale indipendente dalla dimensione del sistema per la loro dinamica lindbladiana termica a temperature sufficientemente elevate.

Metodologia
Gli autori sviluppano un nuovo framework analitico che aggira la necessità dei limiti di Lieb-Robinson sfruttando la convergenza dell'evoluzione in tempo complesso e le espansioni di cluster. La strategia di prova procede attraverso quattro fasi tecniche principali:

1. Espansioni di Cluster per l'Evoluzione in Tempo Complesso:
   Gli autori stabiliscono un'espansione di cluster per l'evoluzione di operatori locali in tempo complesso, $A(z) = e^{izHA}e^{-izH}$, dove $z \in \mathbb{C}$. Basandosi sul lavoro di Netočny e Redig [NR04] e sulla sua versione algoritmica [MH21], dimostrano che per un $|z|$ sufficientemente piccolo (corrispondente ad alte temperature), l'evoluzione di un operatore locale può essere decomposta in una combinazione lineare di cluster connessi di interazioni. Questa espansione quantifica la "quasi-località" dell'evoluzione, dimostrando che l'influenza di un operatore locale si diffonde verso altri siti in modo controllato, decadendo con il prodotto delle forze di interazione all'interno del cluster.

2. Il Pseudo-Lindbladian e le Condizioni di Dobrushin:
   Per aggirare la mancanza di stretta località nel generatore Lindbladiano originale $\mathcal{L}$, gli autori introducono un generatore "pseudo-lindbladiano" $\mathcal{K}$, ispirato ai recenti lavori su sistemi 1D [BC26]. $\mathcal{K}$ è costruito da salti di Pauli a singolo sito e possiede proprietà di località esplicite assenti in $\mathcal{L}$, sebbene non generi una mappa CPTP (completely positive trace-preserving).
   Gli autori stabiliscono condizioni sufficienti affinché $\mathcal{K}$ ammetta un gap spettrale utilizzando versioni non commutative delle condizioni di Dobrushin. Tali condizioni richiedono:

• Località in Temperatura: Il generatore alla temperatura inversa $\beta$ deve essere una piccola perturbazione del generatore a temperatura infinita (depolarizzante).
• Influenza a Coppie: Gli aggiornamenti su un sito non devono influenzare simultaneamente tutti gli altri siti (una condizione di tipo mean-field).
  Utilizzando i risultati delle espansioni di cluster, gli autori provano che queste condizioni sono soddisfatte ad alte temperature, implicando che $\mathcal{K}$ possiede un gap spettrale indipendente dalla dimensione del sistema.

3. Norma dell'Oscillatore KMS e Gap Spettrale per $\mathcal{K}$:
   Una chiave innovazione tecnica è l'introduzione della "norma dell'oscillatore KMS", una modifica della norma dell'oscillatore standard adattata al prodotto interno KMS. Gli autori dimostrano che il decadimento di questa norma sotto la dinamica generata da $\mathcal{K}$ implica una disuguaglianza di Poincaré (gap spettrale). Dimostrano che le condizioni di Dobrushin derivate dai limiti dell'evoluzione in tempo complesso assicurano tale decadimento.

4. Confronto della Forma di Dirichlet:
   Infine, gli autori mettono in relazione il gap spettrale del pseudo-lindbladiano $\mathcal{K}$ con l'originale lindbladiano $\mathcal{L}$ (da [CKG23]). Effettuano un confronto della forma di Dirichlet, mostrando che il tasso di dissipazione di $\mathcal{L}$ è inferiore a quello di $\mathcal{K}$ fino a una costante dipendente dalla temperatura. Questo passaggio comporta la "rimozione" (peeling off) della dipendenza temporale e di frequenza della trasformata di Fourier dell'operatore nella forma di Dirichlet del lindbladiano, utilizzando la convergenza dell'evoluzione in tempo complesso per limitare i termini di errore.

Contributi Principali e Risultati

• Teorema Principale (Teorema 1.3): Il documento prova che per arbitrarie hamiltoniane $k$-locali all-to-all con forza di interazione limitata, esiste una costante universale $c$ e una temperatura inversa soglia $\beta_c$ tali che per ogni $\beta < \beta_c$, il lindbladiano [CKG23] ammette un gap spettrale che è indipendente dalla dimensione del sistema $n$.
• Implicazioni Algoritmiche (Corollario 1.4): Come diretta conseguenza, il documento stabilisce l'esistenza di schemi di approssimazione quantistica a tempo polinomiale completo (FPTAS) per stimare funzioni di partizione e valori di aspettazione globali in questi sistemi ad alte temperature. Il tempo di miscelazione è mostrato essere $O(n + \log(1/\epsilon))$, consentendo la preparazione efficiente dello stato su computer quantistici.
• Generalizzazione: Questo lavoro generalizza i risultati esistenti di miscelazione rapida oltre l'ambito geometricamente locale, affrontando una lacuna significativa nella letteratura dove le prove precedenti erano ristrette a hamiltoniane reticolari.

Significato e Rivendicazioni
Il documento sostiene di fornire la prima prova incondizionata di gap spettrali indipendenti dalla dimensione del sistema per catene di Markov quantistiche che descrivono arbitrarie hamiltoniane all-to-all ad alte temperature. Gli autori pongono il loro lavoro come un passo fondamentale verso la comprensione dei tempi di miscelazione in sistemi disordinati più complessi, come i vetri di spin quantistici e il modello Sachdev-Ye-Kitaev (SYK).

Tuttavia, il documento mantiene un tono modesto riguardo al proprio ambito. Gli autori notano esplicitamente che le loro tecniche sono attualmente insufficienti per affrontare hamiltoniane quantistiche casuali (vetri di spin), tracciando un parallelo con il divario storico tra le prove di miscelazione nei reticoli e quelle nei vetri di spin nella meccanica statistica classica. Inoltre, sebbene i risultati implichino algoritmi quantistici efficienti, gli autori riconoscono che i loro metodi non forniscono ancora algoritmi di simulazione classica migliorati per questi sistemi, pur suggerendo che i limiti derivati potrebbero potenzialmente essere sfruttati per tali scopi in lavori futuri. Il lavoro è presentato come un passo fondativo per estendere la teoria della miscelazione quantistica a sistemi non geometrici, basandosi sull'interazione tra la crescita degli operatori in tempo complesso e le condizioni di Dobrushin non commutative.