Provable random-matrix spectral ramp in a static, geometrically local Hamiltonian

Sintesi Tecnica: Rampa Spettrale di Matrice Casuale Dimostrabile in un Hamiltoniano Statico e Geometricamente Locale

Definizione del Problema
Il caos quantistico è ampiamente caratterizzato dall'emergere di statistiche della Teoria delle Matrici Casuali (RMT) negli spettri energetici, specificamente dalla crescita lineare della Funzione di Forma Spettrale (SFF), nota come "rampa". Sebbene questo fenomeno sia ben compreso nei limiti semiclassici, nei modelli all-to-all (es. SYK) e nei sistemi periodicamente guidati (Floquet), una prova rigorosa di una rampa RMT in Hamiltoniani statici, geometricamente locali con spazi di Hilbert locali a dimensione finita è rimasta elusiva. Risultati precedenti significativi di Bertini, Kos e Prosen (BKP) hanno stabilito tali rampe solo per circuiti a qudit dual-unitari guidati periodicamente. Questo lavoro affronta il divario tra la dinamica Floquet e gli Hamiltoniani statici costruendo un sistema tempo-indipendente, locale, che esibisce provabilmente una rampa spettrale.

Metodologia
L'autore impiega una riduzione circuito-Hamiltoniano basata su una recente variante della costruzione dell'orologio di Feynman-Kitaev (FK). La strategia centrale consiste nell'incorporare lo spettro delle quasi-energie di un circuito Floquet dual-unitario nello spettro energetico di un Hamiltoniano statico.

1. Costruzione del Sistema:

   • Il sistema è modellato come una scala a due gambe di lunghezza $n$ con condizioni al contorno periodiche.
   • Gamba 1: Una catena di qudit a $d$ stati (specificamente qubit, $d=2$).
   • Gamba 2: Una catena di tight-binding fermionica contenente esattamente una particella (la "mano dell'orologio").
   • Hamiltoniano: L'Hamiltoniano $H_{FK}$ è definito come:
     $$H_{FK} = -\frac{1}{2} \sum_{i=0}^{n-1} \left( u_i \otimes c^\dagger_{i+1}c_i + u^\dagger_i \otimes c^\dagger_i c_{i+1} \right)$$
     dove $u_i$ sono gate unitari che agiscono sui qubit $(i, i+1)$. Il salto (hopping) del fermione attiva il gate $u_i$, simulando efficacementamente l'evoluzione di un circuito quantistico.
   • Restrizione al Settore: L'analisi è limitata al settore a singola particella della catena fermionica ($\sum c^\dagger_i c_i = 1$). Questo settore ha dimensione $n 2^n$, che è esponenzialmente grande ma quadraticamente più piccola dello spazio di Hilbert completo.

2. Embedding Spettrale:

   • Gli autovalori di $H_{FK}$ in questo settore sono derivati come $E_{m,\phi} = -\cos[(2\pi m + \phi)/n]$, dove $\phi$ è una quasi-energia Floquet del circuito $U_F = u_{n-1}\dots u_0$ e $m$ è il momento della mano dell'orologio.
   • Ciò mappa lo spettro delle quasi-energie Floquet in uno spettro di energia reale, distorto da una funzione coseno.

3. Disordine e Media:

   • Poiché la SFF non è auto-auto-media (self-averaging), l'autore introduce un debole disordine estrinseco per estrarre il comportamento universale. Questo include:
     • Deformazioni casuali di gate unitari a singolo qubit $u_i$.
     • Uno spostamento di fase $\chi$ debole e spazialmente uniforme applicato a tutti i gate.
     • Media temporale su una piccola variabile casuale $r$.
   • I limiti vengono presi nell'ordine: limite termodinamico ($n \to \infty$), limite di lungo tempo ($\tau \to \infty$) e infine limite di zero-disordine ($\Delta \to 0$).

4. Derivazione della Formula di Convoluzione:

   • Utilizzando l'identità di Jacobi-Anger, la funzione di partizione del Hamiltoniano $Z_H(it)$ è espressa come una combinazione lineare di funzioni di partizione Floquet $Z_F(iw)$.
   • La SFF connessa dell'Hamiltoniano, $K_H(t)$, è mostrata essere una convoluzione della SFF Floquet, $K_F(w)$, pesata da funzioni di Bessel:
     $$K_H(t) = 2n^2 \sum_{w=1}^{\infty} |J_{wn}(t)|^2 K_F(w) + o(1)$$
   • Crucialmente, la media del disordine sopprime i termini incrociati ($w \neq w'$), isolando i contributi diagonali.

Contributi Chiave e Risultati

1. Dimostrazione della Rampa:
   Scegliendo i gate $\{u_i\}$ come dual-unitari (ma non gate SWAP), l'autore sfrutta il risultato BKP secondo cui la SFF Floquet scala linearmente con il tempo ($K_F(w) \propto |w|$) nel limite termodinamico.

   • Il paper generalizza il risultato BKP da condizioni al contorno periodiche a quelle aperte (richieste dalla costruzione FK dove $u_{n-1}=1$), dimostrando che la rampa lineare persiste fino a correzioni esponenzialmente piccole.
   • Nel limite di scaling dove $t = n\tau$ (limite di doppio scaling di Thouless), la SFF ridotta $\kappa_H(\tau) = \lim_{n\to\infty} K_H(n\tau)/n$ viene derivata.
   • Il comportamento asintotico per grandi $\tau$ è dimostrato essere:
     $$\kappa_H(\tau) = \frac{2}{\pi} \tau + O(\tau \Delta^{1/2})$$
   • Prendendo il limite di zero-disordine si ottiene una pendenza finita e non nulla, confermando l'esistenza di una rampa spettrale.

2. Scaling del Tempo di Thouless:
   L'analisi rivela che il tempo di Thouless $t_{Th}$ scala linearmente con la dimensione del sistema ($t_{Th} \propto n$). Ciò è attribuito al moto balistico della mano dell'orologio, che deve attraversare la circonferenza del sistema prima che emergano le firme RMT globali. Questo rappresenta lo scaling più veloce possibile per Hamiltoniani geometricamente locali.

3. Ruolo della SFF Connessa vs Disconnessa:
   La rampa è visibile solo nella SFF connessa. La parte disconnessa, $|\langle \text{Tr}(e^{-iHt}) \rangle|^2$, decade lentamente ($\sim 1/t$) a causa delle singolarità di van Hove ai bordi della banda a particella singola. Questo sfondo disconnesso maschererebbe la rampa anche al tempo di Heisenberg nella SFF totale, rendendo necessaria la sottrazione della componente disconnessa per osservare il comportamento universale.

Significato e Rivendicazioni
Il paper rivendica di fornire la prima prova di una rampa spettrale in un sistema a molti corpi, tempo-indipendente e geometricamente locale con dimensione finita dello spazio di Hilbert locale.

• Colma il divario tra i risultati noti per i circuiti dual-unitari Floquet e gli Hamiltoniani statici.
• Dimostra che la "rampa" è una caratteristica robusta del caos quantistico che può essere incorporata in sistemi statici tramite la costruzione di Feynman-Kitaev, a patto che il sistema sia limitato a un settore di simmetria specifico (singola mano dell'orologio).
• L'autore nota esplicitamente le limitazioni: la prova si applica attualmente solo al settore a singola mano dell'orologio. Estendere questo al pieno spazio di Hilbert o ai settori con densità di mano dell'orologio finita rimane una questione aperta, sebbene argomenti non rigorosi suggeriscano che una rampa simile potrebbe esistere con un prefattore differente.

Il lavoro non propone realizzazioni sperimentali o applicazioni specifiche oltre a stabilire l'esistenza teorica di tale sistema, mantenendo il focus sulla derivazione rigorosa delle statistiche spettrali in un modello teorico controllato.