From Koszul-Complex Stabilizer Models to Superselection Profiles: Topological Rigidity and Nonsplit Extensions

Sintesi Tecnica: Dai Modelli di Stabilizzatore a Complesso di Koszul ai Profili di Superselezione

Enunciato del Problema
Il saggio affronta la classificazione delle fasi topologiche con simmetria di traslazione potenziata (SET) all'interno di codici stabilizzatori CSS invarianti per traslazione, di tipo Calderbank–Shor–Steane. Sebbene i metodi omologici abbiano estratto con successo dati topologici (come tipi di anyoni e regole di fusione) dalle presentazioni di stabilizzatori, una questione centrale rimane aperta: in che misura i dati sulle eccitazioni determinano unicamente la classe Clifford stabile di un codice quando la simmetria di traslazione è preservata? L'autore indaga se la gerarchia dei settori di superselezione, codificata tramite i funtori Ext, sia sufficiente a distinguere distinte fasi SET o se siano necessari ulteriori dati strutturali (come l'incollamento tra strati, inter-layer gluing). Lo studio si concentra sui modelli CSS costruiti da complessi di Koszul, che unificano le gerarchie del codice torico e i codici bivariate-bicycle (BB), per testare i limiti di questa classificazione.

Metodologia
L'autore impiega un rigoroso quadro algebrico basato su anelli di polinomi di Laurent $R = \mathbb{Z}_N[x_1^{\pm 1}, \dots, x_D^{\pm 1}]$ per modellare codici stabilizzatori invarianti per traslazione.

1. Modelli a Complesso di Koszul: Vengono definiti una classe di modelli di stabilizzatore in cui i qudit fisici e le mappe di stabilizzazione sono derivati dai differenziali di un complesso di Koszul $K_\bullet(f)$ associato a una sequenza $f = (f_1, \dots, f_s)$. Per sequenze regolari, questi modelli sono strettamente topologici.
2. Profilo di Superselezione Topologica: L'autore introduce il profilo di superselezione topologica $S_\sigma$, definito come l'oggetto derivato di grado positivo $\tau_{\ge 1} \text{RHom}_R(\text{coker } \phi_\sigma, R)$ per $\sigma \in \{X, Z\}$. Gli strati di coomologia $E^\ell_\sigma \cong \text{Ext}^\ell_R(\text{coker } \phi_\sigma, R)$ codificano i settori di eccitazione, le regole di fusione e le azioni di traslazione.
3. Corrispondenza Algebrico-Clifford: Per collegare gli invarianti algebrici alle fasi fisiche, il saggio utilizza un metodo di lemma di Schanuel a livello di matrice. Questo approccio stabilisce che l'isomorfismo stabile di moduli (sotto stabilizzazione libera) corrisponde alla equivalenza Clifford stabile (circuiti Clifford a profondità finita invarianti per traslazione con ancille).
4. Analisi di Dimensione Finita: Lo spazio logico su un reticolo periodico finito viene analizzato utilizzando il funtore Tor, specificamente $\text{Tor}^R_j(S, R_L)$, dove $S = R/(f)$ è il modulo di struttura di Koszul e $R_L$ è l'anello quoziente che impone condizioni al contorno periodiche.

Contributi Chiave e Risultati

• Definizione del Profilo di Superselezione: Il saggio formalizza il profilo di superselezione topologica come un invariante derivato che organizza tutti i livelli di superselezione di grado positivo e il loro incollamento tra strati (inter-layer gluing). Questo generalizza i precedenti framework di moduli di carica, trattenendo esplicitamente la struttura derivata che può contenere informazioni invisibili alla sola lista graduata dei moduli Ext.
• Teorema di Rigidità per Profili a Singolo Strato: L'autore dimostra un teorema di rigidità topologica (Teorema 2). Per codici CSS topologici invarianti per traslazione in cui il profilo del settore X è a singolo strato (al massimo un modulo Ext di grado positivo è non nullo) e il modulo ridotto di Pauli-X ammette una risoluzione libera di lunghezza finita, lo strato Ext non nullo e il suo grado determinano unicamente la classe Clifford stabile invariante per traslazione.
  • Per i codici a qudit primi, l'ipotesi di risoluzione finita è automatica.
  • In questo regime, il kernel di traslazione dello strato non nullo fornisce il coarsening minimo necessario per ridurre il codice a una pila di codici torici.
• Realizzabilità: La Costruzione 1 dimostra che qualsiasi modulo finitamente generato $E$ che soddisfi la condizione di grado ($\text{grade}_R(E) > j$) può essere realizzato come il $j$-esimo strato di superselezione di un valido codice CSS topologico.
• Spazio Logico di Dimensione Finita: Per i modelli di Koszul a lunghezza completa regolari, il saggio deriva una corrispondenza esplicita tra lo spazio logico e il funtore Tor: $H^Z_j(L) \cong \text{Tor}^R_j(S, R_L)$. Ciò fornisce corrispondenze logico-superselezione di tutti i gradi e tutte le dimensioni e stabilisce che la degenerazione dello stato fondamentale dipende dalla dimensione del sistema solo attraverso i massimi comuni divisori delle dimensioni del sistema e dei periodi di mobilità del modulo di struttura $S$.
• Estensioni Non Scisse e Incollamento tra Strati: Fondamentalmente, il saggio dimostra che la rigidità a singolo strato non si tiene nel regime multi-strato. Utilizzando la Costruzione 2, l'autore realizza otto distinte estensioni del codice torico a qubit 3D che condividono identici dati Ext a singolo strato ($E^\ell_\sigma$) e azioni di traslazione triviali, ma possiedono degenerazioni dello stato fondamentale distinte dipendenti dalla dimensione del sistema.
  • Questi modelli sono inequivalenti sotto unità locali a profondità finita che preservano la simmetria di traslazione.
  • Questo risultato prova che l'incollamento tra strati (inter-layer gluing) trasporta dati SET invisibili ai singoli strati Ext, il che significa che il pieno profilo derivato $S_\sigma$ è necessario per una classificazione completa nei casi multi-strato.

Significato e Rivendicazioni
Il saggio sostiene di fornire un quadro algebrico unificato per comprendere la relazione tra i dati di eccitazione e l'ordine topologico nei codici CSS invarianti per traslazione. Il suo significato primario risiede nell'aver stabilito un confine preciso per determinare quando i dati di eccitazione sono sufficienti per la classificazione:

1. Rigidità: Per i profili a "singolo strato" (comuni nei modelli di Koszul regolari come i codici torici standard), i dati di eccitazione (moduli Ext) sono sufficienti per determinare unicamente la fase Clifford stabile.
2. Limitazione dei Dati per Strato: Per i profili multi-strato, il saggio fornisce controesempi espliciti mostrando che i singoli strati sono insufficienti. L'incollamento tra strati (inter-layer gluing) all'interno del profilo derivato è un invariante fisico che distingue fasi con identici spettri di eccitazione.

Il lavoro colma il divario tra l'algebra omologica (funtori Ext/Tor) e l'informazione quantistica (circuiti Clifford, degenerazione dello stato fondamentale), offrendo un metodo "a livello di matrice" per classificare le fasi topologiche che rispetta la simmetria di traslazione. Conferma che, sebbene i modelli di Koszul regolari si riducano a pile di codici torici sotto un appropriato coarsening, il modo specifico di questa riduzione e l'ordine SET risultante sono codificati nell'azione di traslazione sul modulo di struttura di Koszul.