Failure of the Quench Action Formalism for Mott Insulator Initial States

Questo articolo dimostra, attraverso espliciti controesempi che coinvolgono stati iniziali di isolante di Mott e il gas di Lieb-Liniger, che l'assunzione fondamentale del formalismo dell'azione di quench — ovvero che le sovrapposizioni con gli autostati dipendano in modo fluido dalla densità dei quasi-particelle tramite un funzionale esponenziale — è fondamentalmente invalida a causa del comportamento altamente singolare di tali sovrapposizioni.

L'essenziale

Immagina di cercare di prevedere il futuro di una folla caotica di persone (un sistema quantistico) dopo un improvviso cambiamento delle regole del gioco. Per anni, i fisici hanno usato un particolare "libro delle regole" chiamato Formalismo Quench Action per fare queste previsioni.

Ecco la scomposizione semplice di ciò che questo articolo afferma, utilizzando analogie quotidiane:

Il Vecchio Libro delle Regole (L'Assunzione della "Fluidità")

Il vecchio libro delle regole assumeva che, se hai una folla di persone, l'unica cosa che conta per prevedere il loro futuro sia la densità media della folla.

• L'Analogia: Immagina di guardare una finestra appannata. Non vedi le singole persone, solo una nuvola di nebbia liscia e sfocata. La vecchia teoria diceva: "Finché sappiamo quanto è densa la nebbia in diversi punti, possiamo prevedere perfettamente come si muoverà la folla".
• La Matematica: Assumeva che la connessione (sovrapposizione) tra lo stato iniziale e qualsiasi stato futuro potesse essere descritta da una singola curva dolce e fluida. Non importava esattamente dove si trovassero le singole persone, purché la "densità della nebbia" complessiva fosse la stessa.

La Nuova Scoperta (La Realtà "Singolare")

Garry Goldstein, l'autore di questo articolo, dice: "Questo libro delle regole è sbagliato."

Ha scoperto uno scenario specifico (un "Isolante di Mott" che diventa un "gas di Lieb-Liniger") in cui l'analogia della nebbia fluida fallisce completamente.

• L'Analogia: Immagina che la folla non sia affatto una nebbia. Inveve, è un gruppo di ballerini che devono stare su una griglia molto specifica e rigida.
  • Se un ballerino si trova nel posto giusto, la musica suona e la danza continua.
  • Se un ballerino è anche solo di un centimetro fuori da quella griglia specifica, la musica si ferma istantaneamente e la danza è impossibile.
• La Realtà: Goldstein dimostra che, per questo specifico sistema, la connessione tra l'inizio e la fine non è una curva fluida. È altamente frastagliata e "singolare".
  • Non si tratta della densità media.
  • Si tratta di posizioni esatte e discrete. Il sistema "funziona" (ha una sovrapposizione non nulla) solo se le particelle occupano numeri quantici specifici e precisi (come posti a sedere specifici in un teatro). Se sono anche solo leggermente fuori posizione, la connessione scende a zero.

Il Controesempio

Goldstein non ha solo ipotizzato; ha costruito una "prova di concetto" matematica usando una configurazione specifica:

1. La Configurazione: Ha preso uno stato in cui le particelle sono bloccate in un modello rigido simile a un cristallo (l'Isolante di Mott).
2. Il Cambiamento: Ha cambiato improvvisamente le regole per permettere loro di muoversi liberamente (il gas di Lieb-Liniger).
3. Il Risultato: Quando ha calcolato la connessione tra l'inizio e la fine, ha scoperto che non era una funzione fluida. Era una funzione "scegli e prendi".
   • Scenario A: Le particelle sono nell'esatto schema corretto? Connessione = 100%.
   • Scenario B: Le particelle hanno la stessa densità media, ma sono in uno schema leggermente diverso? Connessione = 0%.

Perché Questo è Importante

La vecchia teoria (Quench Action) cercava di semplificare l'universo dicendo: "Non preoccuparti dei piccoli dettagli; guarda solo il quadro generale (la densità)".

L'articolo di Goldstein dice: "I piccoli dettagli sono tutto."

• La Metafora: È come cercare di prevedere l'esito di una serratura e una chiave. La vecchia teoria diceva: "Se la chiave è approssimativamente della dimensione giusta, aprirà la serratura". Goldstein dice: "No, se i denti della chiave non sono esattamente al posto giusto, la serratura non girerà affatto, indipendentemente da quanto la dimensione sia vicina".

La Conclusione

L'articolo conclude che il "Formalismo Quench Action" fallisce per questi specifici tipi di stati iniziali perché assume una fluidità che semplicemente non esiste. La realtà è molto più complessa, "ricca" e piena di possibilità "singolari" dove il sistema si comporta in modo binario (tutto o niente) piuttosto che in modo fluido e graduale.

In breve: L'universo è molto più esigente e specifico di quanto il vecchio libro delle regole gli avesse dato credito. Non puoi guardare solo la media; devi guardare la disposizione esatta.

Sommario tecnico

Sintesi Tecnica: Fallimento del formalismo dell'azione di quench per stati iniziali di tipo isolante di Mott

Problematica
Il saggio affronta un'assunzione fondamentale all'interno del formalismo dell'azione di quench, un quadro teorico utilizzato per descrivere la dinamica fuori equilibrio e il rilassamento di sistemi quantistici isolati verso un Ensemble di Gibbs Generalizzato (GGE) dopo un quench quantistico. Il formalismo postula che la sovrapposizione tra un generico stato iniziale $|\Psi_0\rangle$ e un autostato di un Hamiltoniano finale integrabile (caratterizzato da rapidità $|k_1, \dots, k_N\rangle$) possa essere espressa come un funzionale liscio della densità di quasiparticelle $\rho(k)$:
$$\langle k_1, \dots, k_N | \Psi_0 \rangle = \exp(-S_{\Psi_0}(\rho(k)))$$
Questa assunzione implica che la sovrapposizione dipenda solo dalla densità macroscopica degli stati, tale che due autostati qualsiasi che condividano la stessa $\rho(k)$ producano sovrapposizioni identiche (fino a correzioni di ordine $O(1/N)$). L'autore sostiene che tale assunzione sia errata per specifici stati iniziali, nello specifico gli stati fondamentali di isolanti di Mott, dove la sovrapposizione esibisce un comportamento altamente singolare che non può essere catturato da una funzione liscia di $\rho(k)$.

Metodologia
L'autore impiega controesempi espliciti per testare la validità dell'assunzione dell'azione di quench. L'analisi primaria si concentra su un quench quantistico in cui un isolante di Mott bosonico unidimensionale viene improvvisamente evoluto sotto l'Hamiltoniano di Lieb-Liniger. Lo studio è condotto in due regimi:

1. Limite Tonks-Girardeau ($c \to \infty$): La sovrapposizione viene calcolata esattamente per il limite di accoppiamento infinito del gas di Lieb-Liniger.
2. Espansione al primo ordine in $1/c$: La sovrapposizione viene calcolata per un accoppiamento finito $c$, espandendo fino al primo ordine in $1/c$.

In entrambi i casi, lo stato iniziale $|\Psi_0\rangle$ è definito come un prodotto di funzioni d'onda localizzate (isolante di Mott) con larghezza $W \ll l$ (dove $l$ è la spaziatura del reticolo), e gli autostati finali sono gli autostati dell'assia Bethe del modello di Lieb-Liniger. Il calcolo comporta l'integrazione della funzione d'onda iniziale contro le funzioni d'onda di Bethe, utilizzando contrazioni di Wick e riconoscendo la struttura risultante come un determinante di Vandermonde.

Contributi Chiave e Risultati
Il saggio dimostra che la sovrapposizione tra lo stato fondamentale dell'isolante di Mott e gli autostati di Lieb-Liniger possiede una struttura molto più complessa della forma funzionale liscia assunta dal formalismo dell'azione di quench.

• Struttura della sovrapposizione singolare: Nel limite Tonks-Girardeau, la sovrapposizione al quadrato è trovata essere proporzionale a un prodotto di termini seno dipendenti dai numeri quantici $I_j$ che etichettano gli autostati:
  $$|\langle k_1, \dots, k_N | \Psi_0 \rangle|^2 \propto \prod_{j>i} 4 \sin^2\left[ \frac{\pi(I_j - I_i)}{N} \right]$$
  Questa espressione si annulla a meno che l'insieme dei numeri quantici $\{I_j\}$ non occupi ogni intero modulo $N$ esattamente una volta. Di conseguenza, la sovrapposizione è nulla per la stragrande maggioranza degli stati che condividono la stessa densità macroscopica $\rho(k)$ ma differiscono nella configurazione microscopica dei numeri quantici.

• Fallimento della liscezza: I risultati mostrano che la sovrapposizione non è una funzione liscia della densità di quasiparticelle $\rho(k)$. Al contrario, essa è altamente sensibile alla specifica disposizione delle rapidità (o dei numeri quantici). Ciò contraddice direttamente l'assunzione centrale del formalismo dell'azione di quench (Eq. 6 nel testo), che richiede che la sovrapposizione sia determinata esclusivamente da $\rho(k)$.

• Estensione al accoppiamento finito: Risultati simili sono derivati per il primo ordine nell'espansione $1/c$. La sovrapposizione rimane non nulla solo per specifiche configurazioni di numeri quantici che soddisfano rigide condizioni di spaziatura, rinforzando la conclusione che la struttura della sovrapposizione è singolare e non catturata da un funzionale d'azione liscio.

• Appendice A (Modello XXZ): L'autore nota che simili "stati cristallini" nel modello XXZ (nel limite di grande anisotropia $|\Delta| \gg 1$) esibiscono la stessa ricca e singolare struttura di sovrapposizione, suggerendo che il fallimento del formalismo non è unico per il gas di Lieb-Liniger.

Significato e Rivendicazioni
Il saggio afferma che il formalismo dell'azione di quench è fondamentalmente errato per una classe di stati iniziali fisicamente rilevanti, specificamente gli isolanti di Mott. L'autore sostiene che il formalismo abbia "semplificato enormemente la situazione", ritraendo erroneamente i quench come essendo universalmente controllati dall'entropia di Yang-Yang e da piccole fluttuazioni attorno a un punto di sella.

Dimostrando che le sovrapposizioni hanno "una struttura significativamente più ricca" di quanto precedentemente pensato — ovvero che non sono funzioni lisce di $\rho(k)$ — il saggio suggerisce che l'equilibratura dei sistemi integrabili possa essere molto più complessa. L'autore ipotizza che queste possibilità singolari possano rendere necessari "nuovi formalismi e nuovi approcci teorici" per comprendere come o se tali sistemi si equilibrino verso un GGE. Il lavoro non propone un nuovo formalismo, ma identifica una lacuna critica nella comprensione teorica attuale della dinamica fuori equilibrio dei sistemi integrabili.