Characterizing Long-Range Entanglement in a Mixed State Through an Emergent Order on the Entangling Surface

Riepilogo Tecnico: Caratterizzazione dell'Intreccio a Lungo Raggio in uno Stato Misto Attraverso un Ordine Emergente sulla Superficie di Intreccio

Enunciato del Problema
Mentre le fasi quantistiche fortemente interagenti a temperatura zero esibiscono pattern universali di intreccio a lungo raggio (ordine topologico) utili per la memoria quantistica, la maggior parte di tali fasi non riesce a funzionare come memorie auto-correttive a temperature diverse da zero a causa delle fluttuazioni termiche. Una questione aperta centrale è come caratterizzare la persistenza dell'intreccio a lungo raggio negli stati misti termici e come questo intreccio si comporta attraverso le transizioni di fase termiche. Nello specifico, non è chiaro se la "negatività topologica dell'intreccio" (una misura dell'intreccio per stati misti) rimanga una diagnosi universale per l'ordine topologico a temperatura finita e come evolva quando le fluttuazioni termiche distruggono l'ordine.

Metodologia
Gli autori investigano l'ordine topologico $Z_2$ (codice torico) nelle dimensioni spaziali $d=2, 3, 4$ a temperatura finita. La metodologia centrale coinvolge:

1. Trasposta Parziale e Correlatori Strani: Analizzano la negatività dell'intreccio ($E_N$) prendendo la trasposta parziale della matrice densità termica $\rho$ rispetto a un sottosistema $A$. Dimostrano che lo spettro della matrice parzialmente trasposta $\rho^{T_A}$ può essere mappato su "correlatori strani" $\langle + | \mathcal{O} | \psi \rangle$, dove $|+\rangle$ è uno stato banale simmetrico e $|\psi\rangle$ è uno stato emergente localizzato sul confine della bipartizione dell'intreccio.
2. Ordine SPT Emergente: Identificano che lo stato $|\psi\rangle$ sulla superficie di intreccio esibisce un ordine Topologico Protetto da Simmetria (SPT). Le simmetrie che proteggono questo ordine SPT sono emergenti e ereditate dai vincoli di gauge dell'ordine topologico del bulk (ad esempio, conservazione della carica e del flusso).
3. Mappatura alla Meccanica Statistica: Introducendo la temperatura finita, gli autori mostrano che la matrice densità termica corrisponde allo stato SPT emergente soggetto a un campo che rompe la simmetria. Mappano il calcolo dello spettro della negatività su funzioni di correlazione in modelli statistici classici (nello specifico modelli di Ising e teorie di gauge di Ising) definiti sulla superficie di intreccio.
4. Trucco delle Repliche: Per i casi che coinvolgono fluttuazioni termiche del bulk, impiegano un trucco delle repliche (limite $n \to 1$ di $\text{tr}[(\rho^{T_A})^n]$) per derivare la negatività, collegandola a medie annealed sulle fluttuazioni del bulk.

Contributi e Risultati Chiave

• Connessione tra Intreccio in Stato Misto e Stabilità SPT: Il lavoro stabilisce una corrispondenza diretta in cui la robustezza dell'intreccio a lungo raggio in uno stato topologico termico è equivalente alla stabilità di un ordine SPT emergente sulla superficie di intreccio contro perturbazioni che rompono la simmetria (campi termici).
• Dipendenza Dimensionale e Ordine a Temperatura Finita:
  • Codice Torico 2D: L'ordine SPT emergente sul confine 1D è protetto da una simmetria $Z_2 \times Z_2$. Tuttavia, questo ordine viene immediatamente distrutto da qualsiasi temperatura finita (campo che rompe la simmetria). Di conseguenza, la negatività topologica dell'intreccio si annulla ($E_{topo} = 0$) per ogni $T > 0$, coerentemente con la nota assenza di ordine topologico a temperatura finita in 2D.
  • Codice Torico 3D (eccitazioni puntiformi vietate): Quando le eccitazioni di carica puntiformi sono proibite (limite $\lambda_A \to \infty$), l'ordine SPT emergente sul confine 2D è protetto da una simmetria $Z_2$ 0-forma $\times$ $Z_2$ 1-forma. La simmetria 1-forma protegge l'ordine SPT contro campi deboli che rompono la simmetria. Gli autori derivano un'espressione esatta per la negatività, mostrando che essa è legata all'energia libera di un modello di Ising classico 2D. Si verifica una transizione di fase "disintrecciante" a una temperatura critica finita $T_c$, dove $E_{topo}$ salta da $\log 2$ (intreccio a lungo raggio) a $0$ (intreccio a corto raggio). Questa transizione appartiene alla classe di universalità di Ising 2D.
  • Codice Torico 4D: L'ordine SPT emergente sul confine 3D è protetto da due simmetrie $Z_2$ 1-forma. Gli autori mostrano che lo spettro della negatività si mappa su una teoria di gauge di Ising 3D accoppiata alla materia. La transizione deconfinamento-confinamento di questa teoria di gauge corrisponde alla perdita dell'intreccio a lungo raggio. L'ordine SPT rimane robusto fino a una temperatura critica finita, permettendo l'ordine topologico a temperatura finita.
• Scalatura Universale e Diagrammi di Fase: Gli autori derivano forme di scalatura universale per la negatività topologica vicino al punto critico (ad esempio, $E_{topo} \sim \log(1 + e^{-L/\xi})$). Costruiscono diagrammi di fase schematici (Fig. 2) che illustrano come l'intreccio a lungo raggio possa persistere se il bulk è ordinato topologicamente ($T_{bulk} < T_{bulk, c}$) e la temperatura del confine è al di sotto di un valore critico, oppure se l'ordine del bulk stesso viene distrutto.

Significato e Affermazioni
Il lavoro afferma di fornire un nuovo quadro teorico per comprendere l'ordine topologico a temperatura finita. Collegando la stabilità dell'intreccio in stato misto alla stabilità degli ordini SPT emergenti sulle superfici di intreccio, gli autori spiegano perché certi ordini topologici (come il codice torico 4D o il codice torico 3D con cariche vietate) possono sopravvivere a temperature finite mentre altri non possono. Il lavoro suggerisce che la transizione "disintrecciante" guidata dalle fluttuazioni termiche è fondamentalmente una transizione da una fase SPT emergente a una fase banale.

Gli autori affermano esplicitamente che la loro caratterizzazione vale per ordini topologici $Z_n$ e certi ordini fracton (ad esempio, codice X-cube e codice di Haah), dove la trasposta parziale induce ordini SPT protetti da simmetrie di sottosistema o frattali. Riconoscono che il comportamento della negatività attraverso transizioni in cui l'intero ordine topologico del bulk viene distrutto rimane una questione aperta, e l'applicabilità a ordini topologici generali oltre $Z_n$ e i fracton è oggetto di lavori futuri. Il lavoro non propone realizzazioni sperimentali ma offre una diagnosi teorica rigorosa per l'intreccio in stato misto.