Timescale for macroscopic equilibration in isolated quantum systems: a rigorous derivation for free fermions

Il documento dimostra rigorosamente che, per una classe di sistemi di fermioni liberi invarianti per traslazione su un reticolo ipercubico, l'equilibrio della densità macroscopica avviene in un tempo proporzionale alla dimensione lineare $L$ del sistema, un limite temporale che si rivela ottimale.

L'essenziale

Il Titolo: Quanto tempo serve per "calmarsi"?

Immagina di avere una stanza piena di persone (i fermioni, che sono come particelle quantistiche) che corrono in modo caotico. All'inizio, tutte le persone sono ammassate in un angolo. La domanda è: quanto tempo ci vuole perché si distribuiscano uniformemente in tutta la stanza, rendendo impossibile dire dove erano all'inizio?

Questo articolo risponde a una domanda fondamentale: in un sistema quantistico isolato (dove nessuno entra o esce), quanto tempo serve per raggiungere l'equilibrio?

La Scoperta Principale: La Regola della "Dimensione"

Gli autori, Takashi Hara e Tatsuhiko Koike, hanno dimostrato matematicamente che per un sistema di particelle libere su un reticolo (una griglia), il tempo necessario per raggiungere l'equilibrio è proporzionale alla dimensione del sistema.

Se la stanza ha un lato lungo L, il tempo necessario per calmarsi è circa L.

• Se raddoppi la grandezza della stanza, raddoppi il tempo di attesa.
• Non serve un tempo infinito, né un tempo astronomico. Basta un tempo "ragionevole" legato alla grandezza fisica del sistema.

L'Analogia della "Folla in un Corridoio"

Immagina un lungo corridoio (il nostro sistema quantistico) con un pavimento a piastrelle.

1. Lo Stato Iniziale: Metti tutte le persone (le particelle) all'estremità sinistra del corridoio. È un disordine totale.
2. Il Movimento: Le persone iniziano a muoversi. Nel mondo quantistico, non camminano come persone normali, ma come onde che si diffondono.
3. L'Equilibrio: Dopo un po', le persone si sono mescolate così bene che, se guardi una sezione qualsiasi del corridoio, trovi sempre lo stesso numero di persone. Non importa da dove guardi, la densità è uguale.

Gli autori hanno calcolato che il tempo necessario perché questa "folla" si mescoli completamente è esattamente il tempo che un'informazione impiegherebbe per viaggiare da un'estremità all'altra del corridoio. Se il corridoio è lungo 100 metri, ci vogliono 100 "unità di tempo". Se è lungo 1000 metri, ci vogliono 1000 unità.

Perché è Importante? (Il Problema del "Tempo Sufficiente")

Fino a poco tempo fa, i fisici sapevano che alla fine il sistema si equilibra, ma non sapevano dire quando. Le risposte erano vaghe: "dopo un tempo sufficientemente lungo".
Questo è come dire: "Arriverai a Roma dopo un po' di tempo". È vero, ma non ti aiuta a pianificare il viaggio.

Questo articolo è rivoluzionario perché dice: "Non devi aspettare un tempo infinito. Basta aspettare un tempo pari alla lunghezza del sistema." È la prima volta che si dimostra rigorosamente questo per un sistema fisico realistico e isolato.

Come l'hanno Dimostrato? (Senza Matematica Complessa)

Gli autori hanno usato un trucco intelligente:

1. Non guardano ogni singola persona: Invece di tracciare il percorso di ogni singola particella (che sarebbe impossibile), guardano la "densità" (quante persone ci sono in media in ogni stanza).
2. La "Fotografia" nel Tempo: Immagina di scattare una foto della stanza ogni secondo. Se la stanza è in equilibrio, le foto saranno tutte uguali. Se non lo è, alcune foto mostreranno disordine.
3. Il Calcolo: Hanno dimostrato che, se aspetti abbastanza a lungo (circa la lunghezza del sistema), la maggior parte delle tue foto mostrerà una stanza perfettamente equilibrata. Le foto in cui c'è ancora disordine diventano così rare da essere praticamente zero.

Una Nota Curiosa: La Memoria Quantistica

C'è un dettaglio affascinante. Se le particelle fossero "memoriche" (ad esempio, se iniziassero in uno stato di moto perfettamente ordinato), potrebbero non equilibrarsi mai. Ma gli autori hanno mostrato che per la densità (la distribuzione nello spazio), il sistema si equilibra sempre, a meno che non si inizi in uno stato "impossibile" (come un'onda di moto perfetta che non si disperde).

In Sintesi

Questo lavoro è come avere un orologio preciso per la natura. Ci dice che in un mondo quantistico isolato, il caos non dura per sempre. Se hai un sistema grande quanto un atomo, si equilibra in un attimo. Se è grande quanto una stanza, ci vuole un secondo. Se è grande quanto un pianeta, ci vuole un tempo proporzionale alla sua grandezza.

È una prova matematica rigorosa che la natura, anche nel suo regno più misterioso (il mondo quantistico), segue regole prevedibili e "ragionevoli" quando si tratta di tempo e ordine.

Sommario tecnico

1. Il Problema

Il lavoro affronta una questione fondamentale nella meccanica statistica quantistica: determinare rigorosamente la scala temporale necessaria affinché un sistema quantistico isolato raggiunga l'equilibrio macroscopico.
Sebbene l'idea che gli stati puri iniziali evolvano verso l'equilibrio sia stata proposta da von Neumann quasi un secolo fa e sia stata successivamente dimostrata in vari contesti, la maggior parte delle prove esistenti si limita a affermare che l'equilibrio viene raggiunto in un tempo "sufficientemente lungo" (ma finito), senza fornire stime quantitative precise.
Mentre esistono risultati teorici su tempi di rilassamento in contesti astratti, mancano stime ottimali per sistemi fisici realistici a corto raggio. Questo paper mira a colmare tale lacuna fornendo una derivazione rigorosa per un sistema di fermioni liberi.

2. Metodologia e Setup

Gli autori considerano un sistema di $N$ fermioni senza spin su un reticolo ipercubico $d$-dimensionale di lato $L$ (volume $V=L^d$) con condizioni al contorno periodiche.

• Hamiltoniana: Il sistema è descritto da un Hamiltoniano di fermioni liberi con hopping uniforme tra primi vicini:
  $$\hat{H} = \sum_{\|x-y\|=1} \hat{c}^\dagger_x \hat{c}_y$$
• Osservabili Macroscopici: L'attenzione è posta sulla densità di particelle in scatole macroscopiche. Il reticolo è coperto da $n^d$ scatole di volume $l^d$ (dove $l$ è macroscopico ma $n = \lceil L/l \rceil$ è dell'ordine di $O(1)$). L'osservabile è la densità $\hat{\rho}_c$ in una scatola centrata in $c$.
• Definizione di Equilibrio: Lo spazio di Hilbert $\mathcal{H}$ è decomposto in un sottospazio di equilibrio $\mathcal{H}_{eq}$ e uno di non-equilibrio $\mathcal{H}_{neq}$.
  • $\mathcal{H}_{eq}$ contiene stati in cui la densità misurata in ogni scatola macroscopica è vicina al valore medio $N/V$ (entro una tolleranza $\varepsilon \bar{\rho}$).
  • $\mathcal{H}_{neq}$ è il complemento ortogonale.
  • Viene definito un operatore di proiezione $\hat{P}_{neq}$ che estrae la componente di non-equilibrio di uno stato.

L'obiettivo è dimostrare che, partendo da uno stato puro arbitrario $|\Psi(0)\rangle$, la frazione di tempo in cui lo stato evolve nel sottospazio di non-equilibrio tende a zero nel limite termodinamico ($L \to \infty$) se il tempo di osservazione $\tau$ scala come $O(L)$.

3. Risultati Principali

Il risultato centrale è il Teorema 1, che stabilisce che il tempo di equilibrizzazione è dell'ordine di $O(L)$.

• Affermazione: Per qualsiasi stato iniziale, la frazione di tempo in cui la densità macroscopica devia significativamente dal valore medio, durante un intervallo $[0, \tau]$, tende a zero nel limite termodinamico, purché $\tau \geq L \times g(L)$, dove $g(L)$ è una funzione arbitraria che diverge per $L \to \infty$.
• Ottimalità: Il tempo $O(L)$ è ottimale. Gli autori notano che esistono stati iniziali (ad esempio, fermioni concentrati in una regione) che richiedono un tempo dell'ordine di $L$ per diffondersi attraverso il sistema, a causa del limite di velocità di Lieb-Robinson.
• Teorema 1' (Stima Quantitativa): Viene fornita una stima rigorosa per la frazione di tempo di non-equilibrio:
  $$\frac{1}{2\tau} |T_{\delta, |\Psi(0)\rangle}^{[-\tau, \tau]}| \leq K_d \frac{n^{3d}}{(\varepsilon \bar{\rho})^2} \delta^{1/2}(\tau, L)$$
  dove $\delta(\tau, L)$ è una funzione che decade rapidamente quando $\tau/L$ e $L$ sono grandi.

4. Approccio Tecnico e Dimostrazione Chiave

La dimostrazione si basa su una stima chiave della media temporale del quadrato della deviazione della densità.

1. Riduzione a problema a singola particella: Sfruttando la simmetria di traslazione e la natura dei fermioni liberi, l'analisi dell'operatore di densità $\hat{\rho}(t)$ viene ridotta allo studio di un sistema a singola particella con un spettro di energie relative $\tilde{E}_{\beta, m} = E_\beta - E_{\beta+m}$.
2. Media Temporale e Identità Chiave: Viene introdotta una media temporale pesata con una funzione specifica $f_\tau(t) \propto (\frac{\sin(t/\tau)}{t/\tau})^2$. Questa scelta permette di utilizzare una proprietà della trasformata di Fourier (convoluzione) per separare le somme sugli indici di energia.
   L'identità fondamentale (Eq. 23) permette di esprimere la media temporale di termini oscillanti come un'integrale su un intervallo energetico di larghezza $1/\tau$.
3. Stima della Densità degli Stati (DOS): Il cuore della dimostrazione risiede nel controllare il numero di stati $|\Omega_m(E)|$ (densità degli stati) per le differenze di energia $\tilde{E}_{\beta, m}$ in un intervallo di energia $1/\tau$.
   • Per $d=1$, viene dimostrata una limitazione superiore rigorosa su $|\Omega_m(E)|$ (Lemma 5), che mostra come il numero di stati cresca al massimo linearmente con $L$ e inversamente con la larghezza dell'intervallo energetico.
   • Per $d \geq 2$, il problema viene ridotto al caso unidimensionale (Lemma 7).
4. Disuguaglianza di Markov: Combinando la stima dell'operatore di media temporale con la disuguaglianza di Markov, si dimostra che la probabilità (o la frazione di tempo) di trovare il sistema fuori equilibrio è trascurabile.

5. Significato e Contributi

Questo lavoro rappresenta un avanzamento significativo nella fondazione della meccanica statistica quantistica per diversi motivi:

• Rigore Matematico: È la prima volta che una scala temporale realistica di equilibrizzazione ($O(L)$) viene stabilita rigorosamente per un sistema quantistico isolato e fisicamente naturale (fermioni liberi su reticolo), senza assumere casualità nell'Hamiltoniana o non-degenerazione dello spettro.
• Ottimalità: La scala temporale trovata è ottimale, coerente con la fisica della propagazione del segnale (limite di Lieb-Robinson).
• Generalità: Sebbene il modello specifico sia quello di fermioni liberi, la metodologia (basata sul controllo della densità degli stati delle differenze di energia) è robusta e potrebbe estendersi ad altri sistemi con hopping non necessariamente tra primi vicini o con degenerazioni, purché la struttura degli stati sia sufficientemente regolare.
• Distinzione tra Spazio e Momento: Gli autori sottolineano che l'equilibrio è raggiunto nelle variabili spaziali (densità), ma non necessariamente nel momento (un autostato del momento rimane tale). Questo chiarisce il ruolo delle osservabili macroscopiche nella definizione di equilibrio.

In sintesi, il paper fornisce una prova matematica definitiva che i sistemi quantistici isolati macroscopici si equilibrano in un tempo proporzionale alla dimensione lineare del sistema, risolvendo un problema aperto da decenni riguardo alla quantificazione dei tempi di rilassamento in sistemi deterministici.