The Signal
He, Wang, Song e Gu stabiliscono un criterio di disaccoppiamento per i codici CSS
Un nuovo articolo individua nell’incollaggio tra strati un ostacolo alla separazione dei codici CSS topologici invarianti per traslazione in dimensioni superiori in pile di codici torici. Gli autori forniscono un criterio di disaccoppiament
Quantum.world Team · Scritto con l’IA · verificato ·
In un codice quantistico in dimensioni superiori, la simmetria di traslazione può apparire acquisita, mentre una connessione nascosta tra gli strati di eccitazione continua a impedire la separazione in componenti più semplici. In un articolo pubblicato il 29 ottobre, Mingxin He, Yifei Wang, Hao Song e Yingfei Gu individuano in questo «incollaggio» tra strati l’ostacolo residuo e mostrano come il coarse-graining possa eliminarlo.
Il risultato offre ai ricercatori un test per stabilire quando un codice CSS topologico invariante per traslazione possa essere trasformato in una pila di codici torici di forma superiore mediante un circuito locale a profondità finita. Gli autori dell’articolo, Mingxin He, Yifei Wang, Hao Song e Yingfei Gu, scrivono:
«Infine, forniamo un algoritmo esplicito che costruisce il disaccoppiamento come un circuito di gate SUM (CNOT per qudit) e SWAP».
Perché le traslazioni banali non bastano
I codici CSS organizzano i propri controlli di stabilizzatore nei tipi X e Z. Nei codici topologici studiati qui, le eccitazioni possono essere raggruppate in strati in base alla loro dimensione. Un disaccoppiamento trasforma il codice, mediante un circuito di Clifford locale che preserva la struttura CSS ed eventualmente con l’aggiunta di ancille, in una pila di codici torici, mantenendo le traslazioni di un superreticolo scelto.
In due dimensioni, afferma l’articolo, il disaccoppiamento è possibile quando le traslazioni in quel superreticolo agiscono banalmente su ogni tipo di anione. In dimensioni superiori si aggiunge un’altra condizione: gli strati possono rimanere incollati tra loro anche dopo che le traslazioni agiscono banalmente su ciascuno di essi. Gli autori indicano un esempio tridimensionale in cui tale incollaggio impedisce un disaccoppiamento che preservi le traslazioni originali. Il loro criterio rende esplicita la distinzione: sia l’azione delle traslazioni sia l’incollaggio tra strati devono consentire la formazione di una pila di codici torici.
Il limite del coarse-graining dipende dagli strati
Per i codici CSS p-ari invarianti per traslazione, dove p è primo e p = 2 corrisponde ai qubit, l’articolo dimostra un limite generale. Una volta che le traslazioni agiscono banalmente su ogni strato, l’incollaggio di un codice con m strati non nulli può essere eliminato mediante un ulteriore coarse-graining di un fattore pm−1 in ogni direzione. Ogni fattore aggiuntivo p separa un ulteriore strato da quelli sottostanti.
Questo limite garantisce un raffinamento sufficiente, non necessariamente il più piccolo. Nell’esempio tridimensionale dell’articolo, due strati sono incollati e basta aumentare la cella unitaria di un fattore p lungo una sola direzione; gli autori mostrano che questo è il più piccolo raffinamento possibile per quell’esempio. Aggiungono che il loro metodo generale può richiedere meno coarse-graining quando calcola direttamente le classi di incollaggio.
Il circuito è costruibile, ma non ancora poco costoso
Gli autori traducono il criterio in due algoritmi. Uno individua un superreticolo in cui il profilo di eccitazione del codice corrisponde a quello di una pila di codici torici, oppure segnala che non esiste un superreticolo adatto; l’altro costruisce il circuito di disaccoppiamento a partire da gate SUM e SWAP. Entrambi gli algoritmi sono implementati in un pacchetto Python open source, che usa l’aritmetica esatta sul campo finito.
Il risultato sulla complessità è accompagnato da un’importante precisazione. Per una dimensione spaziale fissata, la fase di costruzione del circuito ha un limite polinomiale rispetto alla dimensione del suo input sottoposto a coarse-graining, e lo stesso limite si applica alla profondità del circuito e al numero di ancille per cella unitaria. Ma l’articolo definisce il polinomio tutt’altro che pratico: la sua dimostrazione usa limiti sui gradi relativi al caso peggiore e il risultato non pone limiti all’entità del coarse-graining necessario né al costo per determinarlo. Il teorema fornisce un percorso sistematico, non la prova che ogni codice idoneo possa essere trasformato in modo efficiente nella pratica.
Un test per la capacità logica su un toro
Il criterio si applica anche quando il codice è collocato su un toro finito. L’articolo mostra che il toro raggiunge il numero massimo di qudit logici consentito dagli strati di eccitazione del codice esattamente quando il codice può essere disaccoppiato sul reticolo dei periodi di quel toro. Un’azione non banale delle traslazioni o un incollaggio residuo riduce tale numero.
Questo legame dà al test algebrico una conseguenza diretta per i sistemi finiti: individua quando la geometria periodica di un codice preserva l’intera capacità logica associata ai suoi strati. La regola degli autori riguarda quindi sia il modo in cui un codice può essere riorganizzato in componenti costituite da codici torici, sia il momento in cui un toro finito realizza il numero massimo di qudit logici consentito da tale organizzazione.