Nature abhors a vacuum: A simple rigorous example of thermalization in an isolated macroscopic quantum system

Questo lavoro dimostra in modo rigoroso e senza assunzioni non provate che una catena di fermioni liberi a bassa densità, partendo da uno stato iniziale di non equilibrio, evolve verso la termalizzazione grazie alla dimostrazione che tale stato possiede tipicamente una dimensione efficace sufficientemente grande.

L'essenziale

Il Titolo: "La Natura Odia il Vuoto" (ma qui è un po' diverso)

Immagina di avere una stanza molto grande (il nostro sistema quantistico) piena di palline da biliardo invisibili (i fermioni). Inizialmente, tutte le palline sono ammassate in un angolo della stanza, mentre l'altra metà è completamente vuota. È uno stato di "caos" o squilibrio: c'è una pressione altissima da una parte e il vuoto dall'altra.

La domanda che si pongono gli scienziati Naoto Shiraishi e Hal Tasaki è: se lasciamo che la natura faccia il suo corso, queste palline si spargeranno uniformemente in tutta la stanza?

In termini fisici, questo processo si chiama termalizzazione: il passaggio da uno stato disordinato a uno stato di equilibrio (come quando il profumo si sparge in una stanza o il caffè caldo si mescola con la crema).

Il Problema: È difficile da dimostrare

Per decenni, i fisici hanno creduto che questo accadesse in quasi tutti i sistemi complessi, basandosi su congetture (ipotesi non ancora provate matematicamente). È come dire: "Scommetto che se mescoli il caffè, diventerà marrone", ma senza poterlo dimostrare con una formula matematica rigorosa.

Il problema è che i sistemi quantistici sono strani: seguono regole diverse dalla nostra vita quotidiana. A volte, invece di mescolarsi, le palline rimangono bloccate in posizioni strane o non si mescolano mai davvero.

La Soluzione: Un Esperimento Matematico Rigoroso

Questi due ricercatori hanno fatto qualcosa di speciale: hanno costruito un esempio concreto e matematico dove possono provare al 100% che il mescolamento (termalizzazione) avviene, senza usare "scorciatoie" o ipotesi non verificate.

Ecco come hanno fatto, usando un'analogia semplice:

1. Il Gioco delle Palline (Il Modello)

Hanno scelto un sistema semplice: una fila di scatole (una catena) dove le palline possono saltare da una scatola all'altra. È un sistema "libero", cioè le palline non si scontrano o si respingono (sono come fantasmi che passano attraverso gli altri). Di solito, i fisici pensano che questi sistemi semplici non si termalizzino mai.

2. L'Ingrediente Segreto: Il "Caos" Iniziale

Qui sta il trucco. Invece di mettere le palline in un ordine perfetto (es. tutte in fila), hanno scelto lo stato iniziale in modo completamente casuale all'interno dell'angolo occupato.

• Analogia: Immagina di avere 1000 persone in una stanza. Se le fai stare in fila ordinata, quando apri la porta, potrebbero muoversi in modo prevedibile. Ma se le fai saltare a caso in un angolo, quando apri la porta, il caos iniziale è così grande e complesso che, dopo un po', è matematicamente impossibile che rimangano tutte in quell'angolo. Si spargeranno ovunque.

3. La Prova Matematica (Il "Motore" della Termalizzazione)

Gli scienziati hanno dimostrato due cose fondamentali:

• Nessun "Inganno" Energetico: Hanno provato che le energie possibili del sistema non si ripetono (non ci sono "doppi" o coincidenze che potrebbero bloccare il sistema). È come se ogni pallina avesse un'etichetta unica che la rende diversa da tutte le altre.
• Dimensione Effettiva Enorme: Hanno calcolato che lo stato iniziale casuale è così complesso che "tocca" quasi tutte le possibilità matematiche disponibili. È come se avessi un mazzo di carte così grande e mescolato che, tirandone fuori una, è quasi certo che non sarà quella che avevi in mente all'inizio.

Il Risultato: La Natura vince

Grazie a queste prove, hanno dimostrato che:

1. Dopo un tempo sufficientemente lungo (e "tipico", non un momento fortunato), se guardi una metà della stanza, troverai circa la metà delle palline.
2. Non importa quanto guardi, il risultato sarà quasi sempre lo stesso: la metà delle palline a sinistra, la metà a destra.
3. La probabilità che questo non accada è così piccola da essere praticamente zero (come vincere alla lotteria ogni giorno per un anno).

Perché è importante?

• Rigore: Non hanno detto "sembra che accada". Hanno detto "abbiamo la formula che lo prova".
• Applicabilità: Anche se hanno usato un modello semplice (palline che non si toccano), la loro logica matematica è così potente che potrebbe funzionare anche per sistemi molto più complessi e reali (dove le particelle interagiscono), come i gas reali o i materiali solidi.
• Il Paradosso: Hanno dimostrato che anche un sistema "noioso" e semplice (palline libere) può comportarsi in modo "caldo" e casuale, purché si parta da uno stato iniziale abbastanza complesso.

In sintesi

Immagina di versare un secchio di inchiostro nero in un secchio d'acqua.

• La vecchia idea: "Scommetto che si mescolerà."
• Questa nuova ricerca: "Prendiamo un caso specifico, disegniamo la mappa matematica esatta di ogni goccia d'acqua e dimostriamo che, matematicamente, l'inchiostro deve diffondersi uniformemente, e non può fare altrimenti."

Hanno dimostrato che "la natura odia il vuoto" non solo perché le palline si muovono, ma perché la complessità matematica del mondo quantistico le costringe a mescolarsi, rendendo lo stato di equilibrio quasi inevitabile.

Sommario tecnico

1. Il Problema

Il lavoro affronta una delle questioni fondamentali della meccanica statistica: se l'evoluzione temporale unitaria in un sistema quantistico macroscopico isolato possa descrivere il fenomeno della termalizzazione (ovvero, l'avvicinamento all'equilibrio termico).
Sebbene sia ampiamente accettato che sistemi complessi termalizzino, la dimostrazione rigorosa di questo fatto per modelli concreti, senza fare affidamento su ipotesi non dimostrate (come l'ipotesi di termalizzazione degli autostati energetici - ETH - nella sua forma forte, o assunzioni probabilistiche non verificate), è rimasta una sfida aperta.
La maggior parte dei risultati esistenti si basa su:

• Sistemi integrabili (che non termalizzano).
• Localizzazione a molti corpi (che impedisce la termalizzazione).
• Assunzioni forti sull'ETH o su dimensioni efficaci molto grandi, difficili da giustificare rigorosamente per modelli specifici.

L'obiettivo degli autori è fornire un esempio concreto, non banale e rigoroso di termalizzazione in un sistema isolato, basato esclusivamente su assunzioni verificabili.

2. Metodologia e Impostazione Teorica

Gli autori sviluppano una teoria generale per gas reticolari a bassa densità e la applicano a una catena di fermioni liberi.

A. Impostazione Generale (Sezione 2)

Considerano un sistema di $N$ fermioni su un reticolo $\Lambda$ di dimensione $L$ con densità $\rho = N/L$ piccola.

• Stato Iniziale: Viene scelto uno stato puro $|\Phi(0)\rangle$ casualmente dallo spazio di Hilbert $H_1$, dove tutte le particelle sono confinate nella metà sinistra della catena ($\Lambda_1$), mentre la metà destra ($\Lambda_2$) è un vuoto. Questo rappresenta uno stato di non-equilibrio (equilibrio a temperatura infinita su $\Lambda_1$ a contatto con un vuoto).
• Evoluzione: Il sistema evolve secondo l'operatore unitario $e^{-i\hat{H}t}$.
• Osservabile: Si misura il numero di particelle in una regione macroscopica arbitraria $\Gamma$.

La dimostrazione si basa su due assunzioni fondamentali:

1. Assunzione 2.1 (Assenza di degenerazione): Gli autovalori dell'energia $E_j$ del Hamiltoniano $\hat{H}$ sono non degeneri.
2. Assunzione 2.2 (Distribuzione delle particelle): Per ogni autostato energetico $|\Psi_j\rangle$, la probabilità di trovare tutte le particelle nella metà sinistra $\Lambda_1$ è limitata superiormente da $2^{-N}$:
   $$\langle \Psi_j | \hat{P}_1 | \Psi_j \rangle \leq 2^{-N}$$
   dove $\hat{P}_1$ è il proiettore sullo spazio dove tutte le particelle sono in $\Lambda_1$.

B. Ruolo della Dimensione Effettiva

Il cuore della dimostrazione risiede nel concetto di dimensione effettiva ($D_{\text{eff}}$) dello stato iniziale. Se $D_{\text{eff}}$ è quasi uguale alla dimensione totale dello spazio di Hilbert ($D_{\text{tot}}$), il sistema termalizza.

• Teorema 2.3: Gli autori dimostrano che, se l'Assunzione 2.2 è valida e la densità $\rho \leq 1/5$, allora per uno stato iniziale scelto casualmente, la dimensione effettiva soddisfa:
  $$\frac{D_{\text{tot}}}{D_{\text{eff}}} \leq e^{\rho N}$$
  con probabilità molto vicina a 1. Poiché $\rho$ è piccolo, $D_{\text{eff}} \approx D_{\text{tot}}$.
• Teorema 2.4: Combinando l'alta dimensione effettiva con l'assenza di degenerazione (Assunzione 2.1), si dimostra che, per tempi sufficientemente lunghi e tipici, la misura del numero di particelle in una regione macroscopica $\Gamma$ sarà vicina al valore di equilibrio (la frazione $\gamma$ della regione) con probabilità vicina a 1.

3. Applicazione al Modello Concreto: Catena di Fermioni Liberi (Sezione 3)

Per rendere il risultato rigoroso, gli autori devono giustificare le due assunzioni per un modello specifico: una catena unidimensionale di fermioni liberi con un termine di fase artificiale $\theta$ per rompere la simmetria di riflessione.

$$\hat{H} = \sum_{x=1}^{L} \left( e^{i\theta} \hat{c}^\dagger_x \hat{c}_{x+1} + e^{-i\theta} \hat{c}^\dagger_{x+1} \hat{c}_x \right)$$

Giustificazione dell'Assunzione 2.1 (Non-degenerazione)

Dimostrano che, scegliendo opportunamente i parametri (in particolare se $L$ è un numero primo dispari e $\theta$ è scelto in modo specifico o generico), gli autovalori dell'energia sono non degeneri.

• La prova si basa su risultati di teoria dei numeri (irriducibilità dei polinomi ciclotomici di indice primo e stime sulla norma di campo degli interi algebrici).
• Questo è un risultato non banale, poiché i modelli di fermioni liberi su intervalli continui o con simmetrie standard presentano spesso degenerazioni.

Giustificazione dell'Assunzione 2.2 (Distribuzione delle particelle)

Dimostrano che per la catena di fermioni liberi, la probabilità di trovare tutte le particelle in una metà della catena in un qualsiasi autostato energetico è effettivamente limitata da $2^{-N}$.

• La dimostrazione utilizza la decomposizione degli operatori di creazione in termini di sottoreticoli e stime sulle norme degli operatori.
• Questo giustifica l'assunzione per una classe di sistemi non interagenti.

4. Risultati Principali

Il risultato centrale è il Teorema 1.1 (e il Teorema 2.4 generalizzato):
Per una catena di fermioni liberi a bassa densità ($\rho \leq 1/5$) e un numero di particelle $N$ sufficientemente grande:

1. Esiste un tempo $T$ e un insieme di intervalli temporali $G \subset [0, T]$ con misura relativa $\mu(G)/T \geq 1 - e^{-(\rho/4)N}$.
2. Per ogni $t \in G$, se si misura il numero di particelle $N_{\text{left}}$ nella metà sinistra della catena partendo da uno stato iniziale casuale confinato in quella metà, il risultato soddisfa:
   $$\left| \frac{N_{\text{left}}}{N} - \frac{1}{2} \right| \leq \varepsilon_0(\rho)$$
   con probabilità di misura $> 1 - e^{-(\rho/4)N}$.
3. L'errore $\varepsilon_0(\rho) = \sqrt{3\rho/2}$ dipende dalla densità. Per ottenere alta precisione, è necessaria una densità molto bassa (es. $\rho \sim 10^{-4}$ per un errore di $10^{-2}$).

Nota cruciale: Il risultato si riferisce al risultato di una singola misurazione proiettiva, non al valore di aspettazione quantistica. Questo garantisce che un singolo esperimento a tempo sufficientemente lungo sia prevedibile dalla statistica di equilibrio.

5. Contributi Chiave e Significato

1. Rigore Matematico Assoluto: È il primo esempio non banale di termalizzazione in un sistema macroscopico isolato dimostrato rigorosamente senza assumere l'ETH o altre congetture non verificate. Tutto si basa su assunzioni dimostrate per il modello specifico.
2. Superamento del Paradosso dei Fermioni Liberi: I sistemi di fermioni liberi sono spesso considerati non termalizzanti (integrabili) perché le distribuzioni di momento sono conservate. Gli autori mostrano che, scegliendo uno stato iniziale sufficientemente complesso (casuale nel sottospazio di non-equilibrio), il sistema termalizza rispetto agli osservabili macroscopici (densità locale), anche se non rispetto a tutti gli osservabili (es. correlazioni a due corpi).
3. Nuova Strategia di Prova: L'uso della dimensione effettiva combinata con l'assunzione di distribuzione delle particelle (una forma debole di ETH) permette di bypassare la necessità di dimostrare l'ETH completa.
4. Generalità: Sebbene applicato ai fermioni liberi, la teoria generale (Sezione 2) si applica a qualsiasi modello di gas reticolare (inclusi modelli interagenti non integrabili) purché si possano giustificare le due assunzioni. Gli autori discutono nell'Appendice B estensioni a modelli interagenti su reticoli doppi e sistemi con simmetria $Z_2$.

6. Limitazioni

• Bassa Densità: La precisione della termalizzazione $\varepsilon_0(\rho)$ è una funzione della densità. Per ottenere una termalizzazione precisa, il sistema deve essere a densità molto bassa. Questo è un limite intrinseco della strategia basata su assunzioni "morbide" (verificabili).
• Osservabili Limitati: La termalizzazione è dimostrata solo per osservabili che contano il numero di particelle in regioni macroscopiche. Non è dimostrata per osservabili che coinvolgono correlazioni particella-particella o momenti specifici.
• Stato Iniziale: Nel modello principale, lo stato iniziale è scelto casualmente. Tuttavia, nell'Appendice C, gli autori mostrano che anche certi stati iniziali non casuali (configurazioni di "righello di Golomb") possono avere dimensioni effettive sufficientemente grandi da garantire la termalizzazione, sebbene richiedano densità che tendono a zero con $N$.

Conclusione

Il paper fornisce una pietra miliare nella fondazione della meccanica statistica quantistica, dimostrando che la termalizzazione può emergere rigorosamente dall'evoluzione unitaria in un sistema concreto, risolvendo il problema per una classe di osservabili macroscopiche e stati iniziali specifici, senza ricorrere a ipotesi non dimostrate.