Toric codes all the way down: decoupling translation-invariant topological CSS codes in higher dimensions

Riepilogo Tecnico: "Toric codes all the way down: decoupling translation-invariant topological CSS codes in higher dimensions"

Problematica
I codici topologici Calderbank–Shor–Steane (CSS) spaziali in dimensioni $D \geq 3$ offrono caratteristiche promettenti per il calcolo quantistico fault-tolerant, come le porte non-Clifford trasversali e la decodifica single-shot. Tuttavia, manca una comprensione sistematica di questi codici. Sebbene alcuni codici ad alta dimensione (ad esempio, i codi colorati 3D) siano noti per essere localmente equivalenti a pile di codici torici più semplici, rimane non chiaro quali caratteristiche siano intrinseche a un codice specifico e quali siano ereditate da una struttura più semplice di "pila di codici torici". La domanda centrale affrontata è: Quando un codice CSS topologico invariante per traslazione è equivalente a una pila di codici torici di forma superiore tramite un circuito Clifford locale, a profondità finita e preservante la struttura CSS (potenzialmente con ancilla)?

In due dimensioni, questa equivalenza è stabilita se le traslazioni agiscono trivialmente su tutti i tipi di anyoni (dopo il coarse-graining a un superreticolo). In dimensioni superiori, le eccitazioni sono organizzate in "strati di superselezione" basati sulla loro dimensione. Sebbene si sapesse che le traslazioni devono agire trivialmente su ogni singolo strato, è stata identificata una nuova ostruzione: l' "incollamento" (gluing) tra questi strati. Anche se le traslazioni agiscono trivialmente su ogni singolo strato, gli strati possono rimanere "incollati" tra loro in un modo che impedisce il disaccoppiamento (decoupling).

Metodologia
Gli autori utilizzano un quadro algebrico basato su moduli su anelli di polinomi di Laurent ($R = \mathbb{F}_p[x_1^{\pm 1}, \dots, x_D^{\pm 1}]$), seguendo l'approccio di Haah e altri.

1. Rappresentazione Algebrica: I codici CSS invarianti per traslazione sono rappresentati da complessi di moduli liberi su $R$. I controlli dello stabilizzatore sono codificati nelle matrici di controllo $H_X$ e $H_Z$.
2. Profili di Superselezione: Gli autori definiscono il "profilo di superselezione" di un codice come la troncatura a grado positivo del complesso Hom derivato del modulo dello stabilizzatore di tipo X. Questo profilo cattura i tipi di eccitazioni (strati di superselezione) e, crucialmente, i morfismi di "incollamento inter-strato" che descrivono come gli strati siano attaccati l'uno all'altro.
3. Coarse-Graining: Lo studio investiga l'effetto del coarse-graining del reticolo a un superreticolo $\Lambda$. Ciò corrisponde alla restrizione degli scalari da $R$ al sottianello $\mathbb{F}_p[\Lambda]$.
4. Criterio di Disaccoppiamento: Un codice è disaccoppiato se il suo complesso è isomorfo (tramite un quadrato commutativo di mappe invertibili) al complesso di una pila di codici torici di forma superiore.

Contributi Chiave e Risultati

1. Identificazione dell'Incollamento Inter-Strato come Unica Ostruzione:
   Il documento definisce rigorosamente l' "incollamento inter-strato" utilizzando morfismi di connessione nella categoria derivata. Dimostra che, sebbene l'azione banale delle traslazioni su ogni strato sia necessaria, essa non è sufficiente per il disaccoppiamento se gli strati sono incollati in modo non banale. Gli autori mostrano che questo incollamento è l'unica ostruzione rimanente una volta che le traslazioni agiscono trivialmente sui singoli strati.

2. Il Criterio di Disaccoppiamento (Teorema 1):
   Un codice CSS topologico $p$-ario invariante per traslazione (dove $p$ è un numero primo) può essere disaccoppiato su un superreticolo $\Lambda$ se e solo se:

   • Le traslazioni in $\Lambda$ agiscono trivialmente su ogni strato di superselezione.
   • L'incollamento inter-strato svanisce su $\Lambda$.

   Quando queste condizioni sono soddisfatte, il codice è equivalente a una pila di codici torici di forma superiore $\bigoplus_j \text{TC}^{(D)}_j(\mathbb{F}_p)^{\oplus t_j}$ tramite un circuito Clifford locale a profondità finita composto da porte SUM (qudit CNOT) e SWAP.

3. Risoluzione dell'Incollamento tramite Coarse-Graining:
   Gli autori dimostrano che, per codici con un numero finito di tipi di eccitazione in ogni strato, l'ostruzione dell'incollamento può sempre essere rimossa tramite un ulteriore coarse-graining. Nello specifico, se un codice ha $m$ strati non nulli, il coarse-graining per un fattore di $p^{m-1}$ in ogni direzione (dopo aver garantito l'azione banale della traslazione) è sufficiente per rendere nulli gli strati di incollamento. Ciò accade perché le classi di incollamento, rappresentate da elementi nei gruppi $\text{Ext}$, diventano nulle quando ristrette a un superreticolo sufficientemente fine (specificamente, scalare per $p$ annulla le classi di coomologia rilevanti).

4. Algoritmi Espliciti:
   I risultati teorici vengono convertiti in due algoritmi costruttivi:

   • Algoritmo 1: Calcola un superreticolo sufficiente $\Lambda_{\text{suff}}$ trovando prima il superreticolo dove le traslazioni agiscono trivialmente sui livelli ($\Lambda_{\text{triv}}$) e poi applicando il fattore di coarse-graining necessario ($p^{m-1}$) per rimuovere l'incollamento.
   • Algoritmo 2: Costruisce il circuito di disaccoppiamento esplicito (porte SUM e SWAP) sul reticolo sottoposto a coarse-graining. Gli autori dimostrano che questo algoritmo opera in tempo polinomiale rispetto al numero di coefficienti nelle matrici di controllo per una dimensione spaziale $D$ fissata.

5. Applicazione a Tori Finiti (Corollario 1):
   Il criterio di disaccoppiamento determina il numero di qudit logici che un codice codifica su un toro finito. Un toro codifica il numero massimo di qudit logici (determinato dalle dimensioni degli strati di superselezione) se e solo se il codice può essere disaccoppiato sul reticolo del periodo. Se il reticolo del periodo non soddisfa il criterio di disaccoppiamento (a causa di un'azione di traslazione non banale o di un incollamento non nullo), il codice codifica meno qudit logici ("frustrazione topologica").

Significato e Rivendicazioni
Il documento sostiene di fornire una caratterizzazione completa di quando i codici CSS topologici invarianti per traslazione sono equivalenti a pile di codici torici.

• Unificazione: Unifica la comprensione di vari codici ad alta dimensione (come i codi colorati e il codice incollato/glued code) mostrando che sono o disaccoppiati o ostacolati da un meccanismo di incollamento specifico e rimovibile.
• Prova Costruttiva: A differenza delle precedenti prove di esistenza non costruttive, questo lavoro fornisce algoritmi espliciti per trovare il superreticolo richiesto e il circuito di disaccoppiamento.
• Implicazioni Fisiche: Gli autori sostengono che, per i codici che soddisfano il criterio, le proprietà come la decodifica single-shot e i set di porte logiche sono effettivamente quelle della corrispondente pila di codici torici, a meno di fattori costanti. Il "dizionario" fornito dal circuito di disaccoppiamento permette di mappare i decoder e le porte logiche dai codici torici ben conosciuti al codice target.
• Limitazioni: Il documento nota con modestia che, sebbene il criterio determini se il disaccoppiamento è possibile, esso non minimizza il costo (ad esempio, la dimensione del superreticolo o la profondità del circuito). Riconosce inoltre che per i codi con infiniti tipi di eccitazione (modelli fracton) o dimensioni di qudit composte, l'attuale framework (basato su strati a dimensione finita) non si applica direttamente.

In sintesi, il lavoro stabilisce che "i codici torici sono ovunque" (Toric codes are all the way down) per una vasta classe di codici CSS invarianti per traslazione: a patto di essere disposti a eseguire un coarse-graining del reticolo sufficientemente profondo per rendere banali le azioni di traslazione e dissolvere l'incollamento tra gli strati, qualsiasi tale codice è localmente equivalente a una pila di codici torici.