Exact Quantum Many-Body Scars by a generalized Matrix-Product Ansatz

Questo articolo introduce un ansatz generalizzato di prodotto di matrici basato sulla cancellazione locale degli errori per costruire autostati esatti per sistemi quantistici a molti corpi non privi di frustrazione, dimostrandone la validità attraverso esempi espliciti in una e due dimensioni spaziali.

L'essenziale

Il Quadro Generale: Trovare Ordine nel Caos

Immaginate una pista da ballo enorme e caotica, piena di migliaia di ballerini (particelle). Nella maggior parte dei sistemi quantistici, se si avvia la musica, i ballerini alla fine si mescolano completamente, dimenticando le loro posizioni di partenza. Questo fenomeno è chiamato "termalizzazione" o "ergodicità": tutto diventa una zuppa calda e casuale.

Tuttavia, i fisici hanno scoperto alcuni rari casi in cui alcuni ballerini si rifiutano di mescolarsi. Continuano a danzare in uno schema specifico e ripetitivo, anche se la musica è forte e caotica. Questi schemi speciali e ostinati sono chiamati Scars Quantistici a Molti Corpi. Sono come "fantasmi" di ordine che sopravvivono in un mare di caos.

Il problema è che trovare queste cicatrici è solitamente come cercare un ago in un pagliaio. La maggior parte dei metodi per individuarle funziona solo se il sistema è perfettamente bilanciato (una condizione chiamata "privo di frustrazione"). Se il sistema è leggermente sbilanciato o "frustrato", i vecchi metodi crollano.

Questo articolo introduce un nuovo strumento più flessibile per trovare queste cicatrici, anche in sistemi disordinati e sbilanciati.

Il Nuovo Strumento: Il Trucco della "Cancellazione Locale degli Errori"

Gli autori, Sascha Gehrmann e Fabian H.L. Essler, hanno sviluppato una nuova ricetta matematica. Per comprenderla, usiamo un'analogia con una staffetta.

1. Il Vecchio Modo (Privo di Frustrazione): Immaginate una staffetta in cui ogni singolo corridore deve correre perfettamente. Se un corridore inciampa, l'intera squadra perde. In fisica, ciò significa che ogni minuscola parte del sistema deve trovarsi in uno stato perfetto, a errore zero. Questo è molto difficile da realizzare in sistemi complessi.
2. Il Nuovo Modo (Ansatz Generalizzato): Gli autori hanno realizzato che non serve che ogni corridore sia perfetto. Serve solo che gli errori si cancellino a vicenda.
   • Immaginate che il Corridore A inciampi e cada in avanti (creando un "errore").
   • Ma il Corridore B, che è proprio dietro di lui, inciampa e cade all'indietro in modo da annullare perfettamente l'errore del Corridore A.
   • Se si guarda l'intera squadra, gli errori sono svaniti e la squadra finisce la gara perfettamente, anche se gli individui hanno inciampato lungo il percorso.

L'articolo definisce questo un "ansatz di cancellazione locale degli errori". Si basa su un'idea vecchia usata per studiare come le particelle si muovono in una fila (il metodo Derrida-Evans-Hakim-Pasquier), ma gli autori l'hanno aggiornata per funzionare con complessi sistemi di spin quantistici.

Come l'Hanno Testato

Gli autori non si sono limitati a parlare della teoria; hanno costruito esempi specifici per dimostrare che funziona. Hanno agito come architetti che costruiscono case in diversi quartieri:

• Catene Monodimensionali (Il Corridoio): Hanno costruito un modello di una lunga fila di spin (come una fila di domino).
  • Esempio 1: Hanno trovato un'intera famiglia di stati a cicatrice (un "multipletto degenere") in un sistema con un tipo specifico di torsione magnetica. È come trovare un intero coro di cantanti che possono tutti colpire la stessa nota perfetta, anche se la stanza è rumorosa.
  • Esempio 2: Hanno trovato una singola cicatrice isolata in una configurazione diversa.
• Griglie Bidimensionali (La Scacchiera): Sono passati a una griglia quadrata (come una scacchiera).
  • Hanno dimostrato che questo "trucco di cancellazione" funziona anche quando il sistema è bidimensionale e possiede campi magnetici complessi. Hanno trovato soluzioni esatte per modelli Spin-2 e Spin-1 che in precedenza si pensava fossero troppo disordinati per essere risolti esattamente.

Perché Questo È Importante (Secondo l'Articolo)

L'articolo evidenzia alcuni punti chiave:

1. È Esatto: A differenza di molte simulazioni al computer che forniscono una risposta approssimata, questo metodo fornisce la descrizione matematica esatta di questi stati speciali.
2. È Semplice (Relativamente): Gli stati risultanti possono essere scritti utilizzando un formato matematico compatto chiamato "Stato Prodotto Matriciale" (MPS). Pensate a questo come a un algoritmo di compressione altamente efficiente. Invece di aver bisogno di una biblioteca di libri per descrivere lo stato, serve solo un piccolo quaderno.
3. È Accessibile: Poiché questi stati sono così semplici (basso "intreccio"), gli autori suggeriscono che potrebbero essere osservati su computer quantistici attuali e simulatori. Non serve una macchina futuristica per vederli; è possibile osservarli nella dinamica di osservabili locali già oggi.

Riassunto

L'articolo presenta un nuovo e astuto trucco matematico di "cancellazione". Permette ai fisici di trovare schemi quantistici esatti e stabili (cicatrici) in sistemi che sono disordinati e sbilanciati. Consentendo agli errori locali di cancellarsi a vicenda globalmente, possono costruire questi stati sia in linee 1D che in griglie 2D, aprendo la strada allo studio di questi rari fenomeni quantistici su hardware quantistico reale ed esistente.

Sommario tecnico

Sintesi Tecnica: Cicatrici Esatte di Molti Corpi Quantistici tramite un Ansatz Generalizzato a Prodotto di Matrici

Enunciato del Problema
La ricerca di meccanismi che rompono l'ergodicità nei sistemi quantistici di molti corpi interagenti ha identificato le "cicatrici di molti corpi quantistici" come una classe distinta di autostati non termici. Questi stati, caratterizzati da basso intreccio e da espressioni chiuse semplici, permettono oscillazioni persistenti nella dinamica di non equilibrio. Sebbene esistano vari quadri concettuali per costruire tali stati (ad esempio, embedding, strutture teoriche di gruppo, algebre generatrici dello spettro), un metodo dominante per ottenere autostati esatti a prodotto di matrici (MPS) si basa sulla condizione "priva di frustrazione". In questo approccio standard, la densità hamiltoniana locale $h_{j,k}$ annichila lo stato localmente ($h_{j,k}|\Psi\rangle = 0$). Questa condizione è restrittiva e limita la classe di hamiltoniane per cui è possibile costruire autostati MPS esatti. Gli autori affrontano la questione se sia possibile costruire autostati MPS esatti per hamiltoniane che non sono prive di frustrazione.

Metodologia: Ansatz DHEP Generalizzato
Gli autori propongono una generalizzazione dell'ansatz di Derrida-Evans-Hakim-Pasquier (DHEP), originariamente sviluppato per lo stato stazionario del processo di esclusione semplice asimmetrico (ASEP). Il nucleo del loro metodo è un meccanismo di "cancellazione dell'errore locale".

1. Quadro Generale: Per un sistema di spin quantistici su un grafo $G$ con hamiltoniana $H = \sum h_{j,k}$, gli autori cercano un MPS $|\Psi\rangle$ definito da tensori $A$.
2. Condizione Rilassata: Invece di richiedere $h_{j,k}|\Psi\rangle = 0$, essi impongono una condizione in cui l'azione della densità hamiltoniana locale sui tensori MPS genera "termini di errore" che non sono zero ma possono essere espressi come una somma telescopica. Nello specifico, per un arco che connette i nodi $k$ e $\ell$:
   $$h_{k,\ell} [A_k] [A_\ell] = [E^{(k,\ell)}_k] [A_\ell] + [A_k] [E^{(k,\ell)}_\ell]$$
   Qui, $E$ rappresenta un tensore della stessa struttura di $A$.
3. Cancellazione Globale: Se la somma di questi tensori di errore su tutti gli archi connessi a un nodo si annulla ($\sum_{e \in E_v} E^e_v = 0$), gli errori locali si cancellano globalmente a causa dell'invarianza per traslazione (o di opportune condizioni al contorno). Di conseguenza, $H|\Psi\rangle = 0$ (o un'energia costante), producendo un autostato esatto nonostante l'hamiltoniana non sia priva di frustrazione.
4. Riduzione Algebrica: Il problema si riduce alla ricerca di rappresentazioni di un'algebra quadratica definita dalla condizione di cancellazione locale.

Risultati Chiave ed Esempi
Gli autori dimostrano l'efficacia di questo metodo costruendo cicatrici MPS esatte sia in una che in due dimensioni spaziali per hamiltoniane non prive di frustrazione.

• Modello 1D I (Multipletto Degenero di Cicatrici):

  • Sistema: Una catena di spin-$S$ con un'hamiltoniana che combina un termine di Rydberg generalizzato (che penalizza le eccitazioni adiacenti) e un'interazione di Dzyaloshinskii–Moriya (DM).
  • Risultato: Per $S=1/2$, gli autori costruiscono un MPS esatto con energia zero. Lo stato esibisce una lunghezza di correlazione finita.
  • Degenerazione: L'analisi numerica rivela un multipletto di energia zero con degenerazione $N/2 + 2$. Gli autori mostrano che $N/2 + 1$ di questi stati (tutti con momento nullo) possono essere generati espandendo il parametro MPS $b$ in una serie di potenze di $1/a$. Questa espansione produce una torre di stati $|v_n\rangle$ dove $|v_n\rangle$ contiene al massimo $n$ spin ribaltati, analogo a strutture trovate nella catena XYZ spin-1/2.
  • Spin Superiori: La costruzione si estende a $S \geq 1$, suggerendo un numero esteso di autostati di energia zero invarianti per traslazione all'interno del sottospazio di Rydberg.
  • Condizioni al Contorno: Il metodo è applicato anche a catene aperte con specifici campi magnetici di bordo, producendo un autostato esatto non degenere con un autovalore energetico sintonizzabile.

• Modello 1D II (Cicatrice Isolata):

  • Sistema: Una catena spin-1 con una specifica hamiltoniana che coinvolge termini quadratici di spin e un campo magnetico.
  • Risultato: Viene costruito un MPS di energia zero esatto. A differenza del Modello I, lo spazio degli autostati di energia zero è non degenere. Lo stato ha una lunghezza di correlazione finita e non nulla $\xi = \log(3)$.

• Modelli su Reticolo Quadrato 2D:

  • Modello Spin-2: Gli autori costruiscono un MPS di energia zero invariante per traslazione per un modello spin-2 su un reticolo quadrato con un campo magnetico. In assenza del campo, il modello è privo di frustrazione; il campo non nullo rompe questa proprietà, trasformando lo stato in una cicatrice.
  • Modello XYZ Spin-1 con Interazione DM: Viene trovato un MPS di energia zero esatto per un modello XYZ spin-1 con interazione DM e un campo magnetico. Quando l'interazione DM è non nulla, lo stato non è più uno stato fondamentale ma rimane un autostato esatto. Notabilmente, questo MPS può essere decomposto in due stati prodotto, risultando in una lunghezza di correlazione nulla nel limite di volume infinito.

Significato e Affermazioni
Il lavoro afferma di fornire un algoritmo sistematico per ottenere autostati MPS esatti che rilassa la rigorosa condizione di assenza di frustrazione. Consentendo termini di errore locali che si telescopiano a zero globalmente, il metodo generalizza sia l'ansatz DHEP che il lavoro precedente di Klümper e Zittartz.

Gli autori sottolineano che gli stati di cicatrice costruiti possiedono basse dimensioni di legame, rendendoli teoricamente accessibili per l'osservazione nella dinamica di osservabili locali sui computer quantistici attuali. Il lavoro è modesto nel suo ambito, presentando esempi illustrativi specifici in 1D e 2D piuttosto che una classificazione universale di tutti i sistemi cicatrizzati. Gli autori notano che, sebbene abbiano verificato la costruzione per $S \leq 2$, una dimostrazione per $S > 2$ rimane una questione aperta. Essi riconoscono anche un recente preprint che indaga una versione più generale di questo ansatz nel contesto di MPS iniettivi.