Finite-temperature quantum topological order in three dimensions

Sintesi Tecnica: Ordine Topologico Quantistico a Temperatura Finita in Tre Dimensioni

Enunciato del Problema
Una sfida centrale nella fisica della materia condensata è determinare quali fasi topologiche della materia possano persistere in stati termici a temperature non nulle. Sebbene gli ordini topologici a temperatura zero siano ben classificati, è stato stabilito da tempo che in dimensioni spaziali $d < 4$, gli ordini topologici standard (come il codice torico 3D) vengono distrutti a qualsiasi temperatura non nulla. Questa distruzione avviene perché le eccitazioni puntiformi proliferano, rendendo gli stati termici a corto raggio entangled (SRE) ed efficacemente classici. Precedenti teoremi di "no-go" suggerivano che un ordine topologico quantistico a temperatura finita — caratterizzato da stati termici a lungo raggio entangled (LRE) — potesse esistere solo in quattro o più dimensioni spaziali. La domanda specifica affrontata da questo lavoro è se un ordine topologico quantistico possa esistere in tre dimensioni a temperatura non nulla, distinto dalle fasi termiche classiche.

Metodologia
Gli autori investigano il codice torico fermionico (fTC), una variante del codice torico 3D definito su un reticolo cubico con qubit sui bordi. Il modello si distingue dal codice torico standard (bosonico, bTC) per due caratteristiche chiave:

1. Eccitazioni Puntiformi Fermioniche: Le violazioni dei termini del vertice ($A_v$) corrispondono a eccitazioni puntiformi che obbediscono a statistiche di scambio fermioniche.
2. Simmetria Anomala a 2-forme: Il modello possiede una simmetria a 2-forme associata ai loop di Wilson spaziali di queste eccitazioni fermioniche. Crucialmente, questa simmetria è "anomala" perché gli operatori di stringa che ereditano l'auto-statistica fermionica impediscono alla simmetria di essere gaugiata senza condensare i fermioni.

Gli autori impiegano una strategia di prova basata su Canali Quasi-Locali (QLC) per analizzare la struttura dell'entanglement dello stato termico $\rho_{fTC}$ a basse temperature ($T < T_0$). La prova procede in tre passaggi logici:

1. Pulizia dei Loop (Loop Cleaning): Costruiscono un QLC, $\mathcal{C}$, composto da cinque strati di operazioni locali. Questo canale rimuove sistematicamente le piccole eccitazioni a loop (violazioni dei termini di plaquette $B_p$) dallo stato termico. Il canale partiziona il sistema in blocchi di dimensione $\ln(L)^2$ e applica correzioni unitarie per eliminare i loop contenuti all'interno o che attraversano specifiche cuciture (seams).
2. Approssimazione a uno Stato Senza Loop: Gli autori dimostrano che, a temperature sufficientemente basse, lo stato termico $\rho_{fTC}$ è mappato da $\mathcal{C}$ in uno stato $\rho_\emptyset$ (uno stato con esattamente zero eccitazioni di loop) con alta fedeltà ($1 - O(L^{-\infty})$).
3. Argomento di Simmetria: Argomentano che lo stato senza loop $\rho_\emptyset$ possiede una simmetria a 2-forme anomala "forte". Citando risultati recenti sulle fasi protette dalla simmetria, mostrano che uno stato SRE non può approssimare uno stato con una tale simmetria anomala. Poiché i QLC mappano stati SRE in stati SRE, se lo stato termico originale $\rho_{fTC}$ fosse SRE, la sua immagine sotto $\mathcal{C}$ sarebbe anch'essa SRE, portando a una contraddizione.

Contributi Chiave e Risultati

• Esistenza dell'Ordine Topologico Quantistico 3D a Temperatura Finita: Il articolo fornisce il primo esempio di un sistema in meno di quattro dimensioni spaziali che esibisce ordine topologico quantistico a temperatura non nulla.
• Teorema 1: Gli autori dimostrano che al di sotto di una temperatura critica $T_0 \approx 1.24$ (che è inferiore alla temperatura di transizione di fase $T_c \approx 1.31$), la fedeltà tra lo stato termico del fTC, $\rho_{fTC}$, e qualsiasi stato SRE arbitrario $\sigma_{SRE}$ decade più velocemente di qualsiasi polinomio nella dimensione del sistema $L$:
  $$F(\rho_{fTC}, \sigma_{SRE}) = O(L^{-\infty})$$
  Ciò implica che la distanza di traccia si avvicina a 1, confermando che lo stato non è una miscela classica di stati puri SRE.
• Ruolo della Simmetria Anomala: Il lavoro identifica la simmetria a 2-forme anomala come il meccanismo specifico che protegge l'entanglement a lungo raggio dalle fluttuazioni termiche. Questo contrasta con il codice torico bosonico, dove la simmetria a 2-forme è priva di anomalie, permettendo allo stato termico di essere SRE.
• Distinzione dalla Memoria Quantistica: Gli autori chiariscono che, sebbene il fTC agisca come una memoria quantistica a temperatura zero, si comporta come una memoria classica a temperature non nulle al di sotto della transizione di fase. L'ordine topologico qui è una proprietà del medesimo stato misto termico, non una protezione dell'informazione quantistica contro errori locali nel senso tradizionale della memoria.

Significato e Rivendicazioni
Il documento sostiene di risolvere la questione se l'ordine topologico quantistico in 3D possa esistere a temperature non nulle, rispondendo affermativamente. La significatività risiede nell'identificare una fase della materia che, nel contesto delle fasi in equilibrio, esiste solo a temperature non nulle.

Gli autori congetturano che questo fenomeno non sia unico per il fTC ma si estenda a una classe più ampia di teorie di gauge discrete dotate di simmetrie a 2-forme anomale, come i modelli Walker-Wang basati su categorie premodulari con fermioni trasparenti. Suggeriscono che questi sistemi rappresentino una nuova classe di "ordini topologici a stato misto" che sono distinti dagli ordini topologici a stato puro.

Il lavoro apre la strada allo studio dell'ordine topologico quantistico in dimensioni fisicamente realistiche (3D) a temperature finite, andando oltre il requisito teorico di 4 o più dimensioni precedentemente ritenuto necessario per tale stabilità. Gli autori osservano che, sebbene il loro specifico limite di temperatura $T_0$ sia derivato dal loro specifico algoritmo di pulizia, si aspettano che la fase LRE persista fino alla temperatura critica $T_c$. Identificano inoltre la necessità di sviluppare diagnostici computabili efficientemente per questo ordine e di identificare sistemi fisici (come modelli di tipo Kitaev con interazioni a 2 corpi) che potrebbero realizzare questa fase.