Length-resolved Operator Growth and Path-Entropy Obstructions to Many-Body Localization

Questo articolo dimostra che la crescita degli operatori nella catena di Ising disordinata con accoppiamenti e campi strettamente positivi esibisce una scalatura quasi fattoriale sia nel tempo che nel supporto spaziale, escludendo così rigorosamente la localizzazione dinamica per qualsiasi intensità di disordine e rivelando un'ostruzione strutturale dell'entropia di percorso alla localizzazione molti-corpo perturbativa.

L'essenziale

Immagina di avere una lunga fila di persone (una "catena di spin") che si tengono per mano. Alcune si tengono con forza (connessioni forti), altre in modo debole o affatto (disordine). In fisica, spesso ci si chiede: se spingi la persona all'estremo inizio della fila, quella "spinta" rimane localizzata vicino a lei, o si diffonde fino a scuotere tutti gli altri?

Nel mondo della fisica quantistica, questa domanda riguarda la Localizzazione Many-Body (MBL). Per molto tempo, i fisici hanno sperato che, se il disordine (la "debolezza" delle connessioni) fosse stato abbastanza forte, la spinta sarebbe rimasta bloccata e il sistema non avrebbe mai dimenticato il suo stato iniziale. Sarebbe come un ingorgo stradale che non si sblocca mai.

Tuttavia, questo articolo sostiene che, per certi tipi di sistemi quantistici, quell'ingorgo è un'illusione. Ecco la scomposizione delle loro scoperte utilizzando analogie semplici:

1. L' "Esplosione" delle Possibilità

Gli autori studiano cosa succede quando si "tocca" ripetutamente il sistema (matematicamente, prendendo i commutatori). Hanno scoperto che la "spinta" non si limita a diffondersi; esplode in complessità.

Immagina di cercare di camminare da casa tua alla casa di un amico.

• La Vecchia Visione (Localizzazione): Prendi un percorso, forse qualche deviazione, ma rimani su una strada specifica.
• La Nuova Visione (Questo Articolo): Ogni volta che fai un passo, il numero di percorsi che avresti potuto prendere si moltiplica selvaggiamente. Non si tratta solo di qualche deviazione; è come se ogni tuo passo si dividesse in un albero di possibilità ramificate che cresce in modo quasi fattoriale (un numero che cresce più velocemente di quanto tu possa contare, come $100!$).

L'articolo dimostra che in questi sistemi disordinati, il "peso" della spinta non si limita a diffondersi; viene distribuito attraverso un numero enorme, quasi infinito, di percorsi differenti simultaneamente.

2. L' Ostacolo dell' "Entropia del Percorso"

Gli autori introducono un concetto chiamato Entropia del Percorso (Path Entropy). Immaginala come il puro "rumore" o la "confusione" causata dall'avere troppe opzioni.

• L'Analogia: Immagina di cercare di sentire un sussurro in una stanza. Se la stanza è silenziosa (bassa entropia), puoi sentirlo. Ma se la stanza è piena di milioni di persone che urlano tutte cose diverse e casuali (alta entropia del percorso), il sussurro viene sovrastato.
• Il Risultato: In questi sistemi quantistici, il "rumore" dei miliardi di percorsi possibili è così forte da sopraffare ogni tentativo di mantenere l'informazione localizzata. L'articolo sostiene che, affinché il sistema rimanga localizzato, tutti questi miliardi di percorsi casuali dovrebbero magicamente cancellarsi a vicenda perfettamente (come un coro che canta così perfettamente che il suono scompare). Gli autori dicono che questo è statisticamente impossibile senza una qualche regola speciale e nascosta che non abbiamo ancora trovato.

3. L' Illusione della "Dimensione Finita"

Una delle scoperte più pratiche riguarda il motivo per cui le simulazioni al computer sono state confuse.

• L'Analogia: Immagina di studiare quanto velocemente si diffonde un incendio boschivo. Se guardi solo un piccolo lembo di erba (una piccola simulazione al computer), l'incendio potrebbe sembrare spegnersi rapidamente perché finisce l'erba da bruciare. Sembra che l'incendio sia "localizzato".
• La Realtà: Ma se guardi l'intera foresta, l'incendio si diffonde ovunque.
• La Tesi dell'Articolo: Gli autori dimostrano che le attuali simulazioni al computer stanno guardando "piccoli lembi". Hanno derivato una scala specifica: $L \sim (W/J)^2$. Finché la dimensione del sistema ($L$) è inferiore a questa scala, il sistema sembra localizzato. Ma una volta che il sistema diventa abbastanza grande (più grande di questa scala), l' "incendio" (la crescita dell'operatore) inevitabilmente si diffonde. La "localizzazione" osservata nelle piccole simulazioni è solo un regime pre-asintotico — un'illusione temporanea prima che il vero comportamento di diffusione prenda il sopravvento.

4. Il Fallimento dello Strumento di "Riparazione"

I fisici hanno uno strumento matematico (chiamato trasformazione di Schrieffer-Wolff) usato per "sistemare" un sistema disordinato e trasformarlo in uno ordinato e localizzato. Speravano che questo strumento funzionasse per queste catene disordinate.

• L'Analogia: Immagina di cercare di organizzare una stanza disordinata spostando gli oggetti uno alla volta.
• Il Probleo: Gli autori mostrano che, mentre cerchi di organizzare la stanza, il "disordine" (il numero di modi per disporre le cose) cresce così velocemente che il tuo strumento di organizzazione si rompe. L' "entropia del percorso" (il puro numero di modi in cui il disordine può accadere) sovrasta la capacità dello strumento di mantenere le cose in ordine.
• La Conclusione: Non è possibile costruire matematicamente una versione "localizzata" di questo sistema usando i metodi standard perché la complessità dei percorsi è troppo alta.

In Sintesi

L'articolo conclude che la vera localizzazione permanente (dove il sistema non dimentica mai il suo inizio) è probabilmente impossibile in queste specifiche catene quantistiche, indipendentemente da quanto sia forte il disordine.

• Breve termine/Sistemi piccoli: Sembra che il sistema sia bloccato (localizzato).
• Lungo termine/Sistemi grandi: L' "entropia del percorso" vince. Il sistema alla fine si diffonde, dimentica il suo stato iniziale e diventa "ergodico" (completamente mescolato).

Gli autori suggeriscono che, se la localizzazione esistesse davvero, richiederebbe un meccanismo miracoloso e nascosto in cui miliardi di percorsi casuali si cancellano perfettamente tra loro — uno scenario che considerano altamente improbabile. Pertanto, nel mondo reale e infinito, questi sistemi sono probabilmente sempre caotici e in diffusione, non bloccati.

Sommario tecnico

Sintesi Tecnica: Crescita degli Operatori Risolta per Lunghezza e Ostacoli di Entropia di Percorso alla Localizzazione a Molti Corpi

Enunciato del Problema
L'esistenza e la stabilità della Localizzazione a Molti Corpi (MBL) nel limite termodinamico rimane oggetto di intenso dibattito. Mentre esistono dimostrazioni rigorose per la localizzazione di Anderson in sistemi non interagenti, la stabilità della MBL in sistemi interagenti disordinati è contestata. Una sfida primaria consiste nel distinguere una vera transizione di fase da crossover di dimensioni finite negli studi numerici, che sono limitati a piccoli sistemi. Inoltre, esiste una tensione strutturale tra l'ipotesi che i sistemi ergodici esibiscano una crescita degli operatori massimale (quasi fattoriale) e la possibilità che sistemi interagenti disordinati possano rimanere localizzati. Il presente articolo affronta se la crescita massimale degli operatori sia compatibile con le forme più forti di localizzazione (località dinamica) e con l'esistenza di Integrali di Moto Locali (LIOM) costruiti tramite schemi perturbativi.

Metodologia
Gli autori si concentrano sulla catena di Ising unidimensionale disordinata con campi trasversali e longitudinali, dove le interazioni e i campi sono estratti da distribuzioni strettamente positive. Lo studio impiega un approccio operatoristico rigoroso piuttosto che la diagonalizzazione numerica.

1. Formalismo degli Operatori: Gli autori utilizzano la base delle stringhe di Pauli per risolvere le norme degli operatori in funzione della lunghezza di supporto $\ell$. Analizzano il commutatore iterato $k$-volte $L_H^k(A) = [H, A]^{(k)}$ dell'Hamiltoniana $H$ con un operatore locale $A$ (specificamente $\sigma^z_0$).
2. Trasformazione di Gauge: Per stabilire limiti inferiori rigorosi, gli autori introducono una specifica trasformazione di gauge (cambiando la base degli operatori di Pauli) che assicura che tutti gli elementi di matrice del superoperatore di Liouville siano strettamente positivi. Ciò elimina la possibilità di interferenza distruttiva tra diversi percorsi di commutazione, permettendo un limite inferiore rigoroso sulla crescita dell'operatore.
3. Analisi dell'Entropia di Percorso: Il nucleo dell'analisi consiste nel contare il numero di "percorsi di scrambling" nell'espansione del commutatore. Gli autori distinguono tra il decadimento esponenziale delle ampiezze dei singoli percorsi (dovuto al disordine) e l'esplosione combinatoria del numero di percorsi (entropia di percorso).
4. Costruzione Perturbativa: Il documento investiga la convergenza delle trasformazioni di Schrieffer-Wolff iterative utilizzate per costruire i LIOM. Analizza il generatore $T$ della trasformazione unitaria che mappa l'Hamiltoniana microscopica a un'Hamiltoniana LIOM, concentrandosi sulla crescita della lunghezza di supporto di $T^{(n)}$ all'ordine $n$.

Contributi Chiave e Risultati

1. Crescita Quasi Fattoriale Risolta per Lunghezza:
   Gli autori generalizzano i risultati precedenti (Cao [1]) risolvendo la norma dell'operatore per lunghezza di supporto. Dimostrano che per la catena di Ising disordinata con accoppiamenti positivi, il peso dell'operatore a una specifica scala di lunghezza $\ell_k \sim k / \ln k$ cresce quasi fattorialmente:
   $$\|[H, \sigma^z_0]^{(k)}_{\ell_k}\|_2 \gtrsim \left(\frac{k}{\ln k}\right)^k$$
   Ciò implica che il peso dell'operatore non è confinato a brevi intervalli ma si diffonde spazialmente, con il peso dominante situato a lunghezze che divergono con l'ordine del commutatore $k$.

2. Esclusione Rigorosa della Località Dinamica:
   Sulla base del limite inferiore risolto per lunghezza, il lavoro dimostra che la "località dinamica" — la condizione per cui gli operatori locali rimangono esponenzialmente localizzati sotto l'evoluzione temporale — è rigorosamente esclusa per questo modello. Il contributo entropico derivante dalla ramificazione dei percorsi di commutazione sovrasta il fattore di localizzazione esponenziale atteso nelle fasi localizzate.

3. Scala di Crossover di Dimensione Finita:
   La competizione tra il termine di entropia di percorso (che guida la delocalizzazione) e il termine di localizzazione esponenziale (guidato dal disordine $W$ e dall'accoppiamento $J$) stabilisce una scala di crossover rigorosa per dimensione finita:
   $$L \sim \left(\frac{W}{J}\right)^2$$
   Per sistemi di dimensione $L \lesssim (W/J)^2$, il sistema risiede in un regime "pre-asintotico" in cui l'entropia di percorso non ha ancora sopraffatto la localizzazione. In questo regime, gli studi numerici possono osservare una localizzazione apparente, ma si tratta di un effetto transitorio che svanisce nel limite termodinamico ($L \to \infty$).

4. Ostacolo all'Entropia di Percorso alla Costruzione di LIOM:
   Il documento identifica un ostacolo strutturale alla costruzione perturbativa dei LIOM. Anche assumendo l'assenza di risonanze many-body o valanghe, lo schema iterativo di Schrieffer-Wolff genera un numero di percorsi di scrambling che cresce con la lunghezza di supporto. Gli autori sostengono che, senza un meccanismo specifico e non identificato di interferenza distruttiva tra questi quasi fattorialmente molti percorsi con ampiezze casuali, il generatore $T$ della trasformazione unitaria diventerà inevitabilmente non locale. Ciò suggerisce che la costruzione perturbativa dei LIOM fallisce nel limite termodinamico a causa dell' "entropia di percorso".

5. Coerenza con LIOM Astratti:
   Gli autori chiariscono che, sebbene la crescita massimale degli operatori escluda la località dinamica, non esclude strettamente l'esistenza di Hamiltoniane LIOM astratte. Dimostrano che le Hamiltoniane LIOM astratte possono sostenere operatori con una crescita anche superiore a quella fattoriale. Tuttavia, l'ostacolo risiede nella costruzione della mappatura unitaria quasi-locale che lega il modello microscopico a tale Hamiltoniana astratta.

Significato e Rivendicazioni
Il lavoro sostiene di risolvere la tensione tra la crescita massimale degli operatori e la localizzazione, dimostrando che la crescita massimale è una caratteristica generica delle catene di spin disordinate interagenti che preclude la forma più forte di localizzazione (località dinamica).

• Sui Studi Numerici: Il lavoro fornisce una spiegazione rigorosa del perché gli studi numerici su piccoli sistemi spesso suggeriscono fasi MBL stabili a forte disordine. Esso ipotizza che tali osservazioni siano artefatti del regime pre-asintotico definito dalla scala di crossover $L \sim (W/J)^2$. Di conseguenza, le simulazioni numeriche su piccoli sistemi sono inadeguate per determinare la stabilità della MBL nel limite termodinamico.
• Sulla Stabilità della MBL: Gli autori concludono che l' "ostacolo dell'entropia di percorso" è un meccanismo fondamentale che probabilmente rende la MBL instabile nel limite termodinamico per generiche catene di spin disordinate. Sostengono che affinché la MBL sopravviva, sarebbe richiesto un meccanismo altamente fine-tuned per la cancellazione sistematica di quasi fattorialmente molti percorsi dipendenti dal disordine, il che è considerato non generico.
• Sulla Dinamica in Tempo Reale: I risultati suggeriscono che la diffusione dell'operatore in tempo reale in questi sistemi è balistica (saturando il cono di Lieb-Robinson) fino a correzioni logaritmiche, piuttosto che sub-balistica o localizzata, poiché la cancellazione sistematica richiesta per una diffusione sub-balistica è statisticamente improbabile.

In sintesi, il lavoro argomenta che l' "entropia di percorso" derivante dalla ramificazione combinatoria del contenuto dell'operatore è una barriera strutturale alla localizzazione che opera indipendentemente dagli effetti di risonanza, sfidando l'esistenza di una fase MBL stabile nel limite termodinamico.