Lieb-Schultz-Mattis theorem from gauge constraints

Questo lavoro stabilisce un nuovo teorema di Lieb-Schultz-Mattis per una teoria di gauge $\mathbb{Z}_2 \times \mathbb{Z}_2$ unidimensionale accoppiata alla materia, dimostrando che i vincoli cinematici della legge di Gauss generano una simmetria U(1) che vieta stati fondamentali banali con gap e richiede o la rottura spontanea della simmetria o eccitazioni senza gap, queste ultime esibendo un comportamento di fermioni di Dirac liberi con un decadimento specifico delle correlazioni.

L'essenziale

Il quadro generale: un regolamento per catene quantistiche

Immagina di avere una lunga collana circolare fatta di perline. Nel mondo della fisica quantistica, queste perline non sono semplici oggetti di plastica; sono piccoli magneti (spin) che possono puntare in direzioni diverse. Di solito, i fisici cercano di capire cosa succede a queste perline quando si raffreddano. Si congelano in un pattern perfetto e silenzioso? O continuano a tremolare per sempre?

Questo documento introduce un nuovo insieme di regole per un tipo specifico di collana. Gli autori hanno costruito un modello in cui le perline sono collegate da invisibili "stringhe" di gauge. La regola più importante di questo modello è la Legge di Gauss. Pensa alla Legge di Gauss come a un buttafuori severo in un club: dice "Nessun due vicini possono indossare lo stesso outfit". Se una perla indossa una maglietta "Rossa", la stringa che la collega alla perla successiva deve essere "Blu" o "Verde", mai Rossa.

La scoperta principale: il teorema della "Zona senza silenzio"

Gli autori hanno scoperto una potente regola matematica (una variazione del famoso teorema di Lieb-Schultz-Mattis o LSM) che si applica a questa specifica collana.

L'analogia:
Immagina di cercare di disporre una fila di ballerini in modo che tutti siano perfettamente immobili e felici (uno stato fondamentale "con gap"). In molti sistemi fisici, puoi farlo. Ma in questo modello specifico, gli autori hanno dimostrato che è impossibile avere un'organizzazione perfettamente immobile e semplice.

Perché? A causa di un conflitto tra due tipi di simmetria:

1. Traslazione: Se sposti l'intera collana di un passo verso destra, le regole appaiono le stesse.
2. Riflessione: Se guardi la collana in uno specchio, le regole appaiono le stesse.

Gli autori hanno scoperto che il "buttafuori" (la Legge di Gauss) crea una nascosta "simmetria U(1)" – una sorta di orologio interno o ritmo per il sistema. Questo orologio ticchetta in un modo che è amichevole verso lo scorrimento (traslazione) ma odia guardare nello specchio (riflessione). È come un orologio che avanza quando cammini a sinistra, ma indietreggia quando cammini a destra.

Il risultato:
A causa di questo conflitto, il sistema non può stabilizzarsi in uno stato noioso e congelato. È costretto a fare una di queste due cose:

• Rompere la simmetria: I ballerini decidono spontaneamente di rompere la regola dello specchio (ad esempio, tutti si inclinano a sinistra invece che a destra).
• Rimanere agitati: I ballerini non smettono mai di muoversi; il sistema rimane "senza gap" (fluido e attivo) anche allo zero assoluto.

Il documento dimostra che non è possibile avere uno stato banale, congelato e con gap in questo sistema. Il "buttafuori" (Legge di Gauss) costringe il sistema a essere interessante.

Trovare il "punto dolce" (il punto senza gap)

Gli autori non hanno solo dimostrato che il sistema non può essere congelato; hanno anche trovato una configurazione specifica (un preciso "punto senza gap") in cui potevano risolvere la matematica esattamente.

L'analogia:
A questa configurazione specifica, la complessa collana di perline e stringhe si trasforma in un sistema più semplice: una fila di fermioni liberi (immaginali come particelle spettrali e non interagenti). Tuttavia, c'è un problema: il numero totale di questi fantasmi deve seguire una regola rigorosa (un vincolo sul numero totale).

In questo punto, il sistema si comporta come un fiume che scorre fluidamente. Gli autori hanno calcolato come si comportano le perturbazioni (le increspature) in questo fiume. Hanno scoperto che se dai un colpetto al sistema in un punto, l'effetto di quel colpetto svanisce man mano che ti allontani, ma lo fa in un pattern ondulatorio molto specifico:

• Oscilla (come un'onda: su, giù, su, giù).
• Si indebolisce molto lentamente (seguendo una specifica legge di potenza matematica).

Questo comportamento è descritto da "fermioni di Dirac liberi", che è un modo elegante per dire che il sistema agisce come un fluido perfetto e senza massa di particelle quantistiche.

Perché questo è importante (secondo il documento)

1. Nuova fonte di regole: Di solito, teoremi come quello di LSM derivano dalle proprietà interne delle particelle (come il loro spin). Questo documento mostra che i vincoli (la Legge di Gauss) da soli possono creare queste potenti regole. È come dire che la forma della stanza costringe i mobili ad essere disposti in un modo specifico, anche se i mobili stessi non hanno opinioni.
2. Un nuovo campo di gioco: Questo modello fornisce una piattaforma perfetta per studiare i "difetti topologici". Immagina un nodo nella collana che non può essere sciolto. Gli autori suggeriscono che questo modello è un ottimo luogo per studiare come questi nodi si comportano quando il sistema si trova in diverse fasi.
3. Verifica: Hanno utilizzato potenti simulazioni al computer (DMRG) per confermare che il sistema si comporta esattamente come previsto dalla loro matematica, mostrando che possiede una "carica centrale" di 1, il che conferma che agisce come un singolo canale di particelle quantistiche in movimento libero.

Riassunto in una frase

Gli autori hanno costruito una collana quantistica con una rigorosa regola "nessun vicino uguale", dimostrando che questa regola costringe il sistema a rompere la simmetria o a rimanere fluido, e hanno trovato una configurazione specifica in cui il sistema agisce come un fiume perfetto e fluente di particelle quantistiche.

Sommario tecnico

Riassunto Tecnico: Teorema di Lieb-Schultz-Mattis da Vincoli di Gauge

Enunciato del Problema
I teoremi di Lieb-Schultz-Mattis (LSM) impongono vincoli non banali sulle proprietà dello stato fondamentale di sistemi quantistici a molti corpi dotati di simmetrie spaziali e interne, tipicamente proibendo uno stato fondamentale banale con gap. Sebbene lavori recenti abbiano collegato i teoremi LSM ad anomalie quantistiche e li abbiano stabiliti in teorie di gauge $U(1)$ pure, rimane una questione aperta chiave: può emergere un teorema di tipo LSM in una teoria di materia accoppiata a campi di gauge con un gruppo di gauge discreto? Nello specifico, la struttura cinematica (vincoli di Gauss) di una tale teoria di gauge può portare a vincoli non banali sulla fisica a bassa energia all'interno del sottospazio della legge di Gauss?

Metodologia
Gli autori costruiscono una teoria di gauge $Z_2 \times Z_2$ unidimensionale accoppiata a materia su una catena periodica. Il modello presenta uno spazio di Hilbert tridimensionale su ogni sito (materia) e su ogni link (gauge). L'Hamiltoniana è definita come:
$$H = \sum_{j, \alpha=x,y,z} \left( t_\alpha S^\alpha_{j\sigma} S^\alpha_{j\tau} S^\alpha_{j+1\sigma} - K_\alpha (S^\alpha_{j\tau})^2 \right)$$
dove $S^\alpha$ sono operatori di spin-1. Il sistema possiede simmetrie di gauge locali generate dagli operatori $A^\alpha_j = \Sigma^\alpha_{j-1\tau}\Sigma^\alpha_{j\sigma}\Sigma^\alpha_{j\tau}$, dove $\Sigma^\alpha = \exp(i\pi S^\alpha)$.

L'analisi procede restringendo il sistema al sottospazio della legge di Gauss $\mathcal{V}_G$, definito dalla condizione $A^\alpha_j |\psi\rangle = |\psi\rangle$ per tutti i siti e i generatori. All'interno di questo sottospazio, gli autori:

1. Analizzano le Simmetrie: Investigano le relazioni di commutazione dell'Hamiltoniana con gli operatori di traslazione reticolare ($T$) e riflessione ($R$).
2. Identificano una Simmetria Nascosta: Costruiscono una quantità conservata $M$ (un generatore $U(1)$) derivata dai vincoli cinematici della legge di Gauss.
3. Dimostrano il Teorema LSM: Dimostrano che il generatore $M$ commuta con $T$ ma anticommuta con $R$, portando alla prova che uno stato fondamentale banale con gap è impossibile.
4. Mappano su Fermioni: Eseguono una mappatura non locale dallo spazio di Hilbert vincolato a una catena di qubit, e successivamente, tramite una trasformazione di Jordan-Wigner, a fermioni liberi, per identificare punti specifici nello spazio dei parametri.
5. Calcolano le Correlazioni: Utilizzano la teoria dei determinanti di Toeplitz e la congettura di Fisher-Hartwig per determinare il comportamento asintotico delle funzioni di correlazione nel punto critico identificato.

Contributi e Risultati Chiave

1. Teorema LSM da Vincoli Cinematici: Il risultato principale è la dimostrazione che imporre la legge di Gauss in una teoria di gauge $Z_2 \times Z_2$ accoppiata a materia genera una simmetria $U(1)$ emergente. Il generatore $M$ di questa simmetria soddisfa $[M, T] = 0$ e $\{M, R\} = 0$. Questa struttura algebrica forza lo stato fondamentale a rompere spontaneamente una simmetria o a essere senza gap, escludendo una fase banale con gap per qualsiasi Hamiltoniana invariante per traslazione e riflessione in questo sottospazio. Ciò stabilisce un meccanismo nuovo in cui il teorema LSM origina dai vincoli cinematici di una teoria di gauge piuttosto che da una simmetria globale del settore di materia da solo.

2. Punto Senza Gap e Fermioni di Dirac: Gli autori identificano un punto specifico nello spazio dei parametri ($t_x=t_y=t_z=1, K_x=K_y=K_z=0$) in cui il sistema è senza gap. Tramite una mappatura non locale, si mostra che l'Hamiltoniana in questo punto è equivalente a un sistema di fermioni di Dirac liberi soggetti a un vincolo sul numero totale di fermioni: $\exp(i\frac{2\pi}{3}(L+N)) = 1$. La carica centrale di questa teoria critica è determinata essere $c=1$, verificata numericamente tramite calcoli di entropia di entanglement bipartito con il gruppo di rinormalizzazione della matrice di densità (DMRG).

3. Asintotici della Funzione di Correlazione: Nel punto senza gap, viene derivato il comportamento asintotico della funzione di correlazione a due punti per la quantità locale invariante di gauge $(S^\alpha_{j\tau})^2$. Il risultato è:
   $$\langle (S^\alpha_{j\tau})^2 (S^\beta_{j+r\tau})^2 \rangle - \frac{4}{9} \propto \frac{\cos(\pi r)}{r^{2/9}}$$
   Questo decadimento a legge di potenza con un termine oscillatorio conferma la natura critica del punto.

4. Variante Spin-1/2: Il documento analizza brevemente una versione spin-1/2 del modello in cui gli operatori di simmetria locali non commutano tutti. Si mostra che ciò porta a una rappresentazione proiettiva del gruppo di simmetria, risultando in una degenerazione estensiva (almeno $2^L$) per ogni autovalore dell'energia.

Significato
Il documento afferma di rispondere affermativamente alla domanda se le teorie di gauge discrete accoppiate a materia possano supportare teoremi di tipo LSM. Il significato risiede nel scoprire un meccanismo in cui la simmetria responsabile del teorema LSM (la $U(1)$ emergente) origina direttamente dalla struttura cinematica (legge di Gauss) della teoria di gauge. Ciò fornisce una nuova prospettiva su come i vincoli nelle teorie di gauge possano dettare la fisica a bassa energia. Inoltre, il modello funge da piattaforma naturale per lo studio dei difetti topologici all'interno di famiglie di fasi a rottura spontanea di simmetria (SSB) e della natura delle singolarità nel diagramma di fase nel punto senza gap identificato. Il lavoro collega inoltre lo studio degli spazi di Hilbert vincolati a fenomeni come la frammentazione dello spazio di Hilbert e le cicatrici quantistiche a molti corpi.