Single-Shot Decoding and Fault-tolerant Gates with Trivariate Tricycle Codes

Sintesi Tecnica: Decodifica Single-Shot e Gate Fault-tolerant con Codici Triciclo Trivariati

Definizione del Problema
La correzione degli errori quantistici (QEC) è essenziale per il calcolo quantistico su larga scala. Sebbene il codice di superficie sia un candidato maturo, i suoi carichi di risorse per raggiungere il vantaggio quantistico rimangono elevati. Di conseguenza, vi è una spinta verso i codici quantum low-density parity check (qLDPC), che offrono migliori tassi di codifica e distanze relative. Tuttavia, gli esistenti candidati qLDPC spesso mancano di una combinazione di caratteristiche fault-tolerant desiderabili: alte soglie sotto rumore a livello di circuito, decodificabilità single-shot (decodifica da un numero costante di round di sindrome senza una perdita significativa di accuratezza) e un ricco insieme di gate logici trasversali o a profondità costante (sia Clifford che non-Clifford). I codici bicycle bivariate (BB) hanno mostrato promesse in alcune aree, ma una famiglia di codici completa che combini alte soglie, capacità single-shot e implementazioni efficienti di gate non-Clifford è stata finora mancante.

Metodologia
Gli autori introducono i codici Triciclo Trivariati (TT), una generalizzazione dei codici BB basata su un complesso a catena di lunghezza 3 derivato da tre polinomi trivariati ($A, B, C$) su un'algebra di gruppo $\mathbb{F}_2[G]$, dove $G = \mathbb{Z}_\ell \times \mathbb{Z}_m \times \mathbb{Z}_p$.

• Costruzione: I codici sono codici CSS definiti da matrici di controllo di parità $H_X$ e $H_Z$ derivate dalle mappe di bordo di un prodotto tensore di tre complessi a catena di lunghezza 1. Una caratteristica chiave è l'inclusione di meta-check ($M_Z$), che codificano le ridondanze nei check $Z$.
• Layout: I codici TT possono essere disposti su un reticolo cubico 3D con condizioni al contorno periodiche e connessioni aggiuntive a lungo raggio. Il codice torico 3D (3DTC) è identificato come un caso specifico di questa costruzione.
• Analisi: Gli autori derivano espressioni analitiche per il numero di qubit logici ($k$) e dimostrano che la distanza del meta-check ($d_M$) è uguale alla distanza $Z$ del codice ($d_Z$). Effettuano ricerche numeriche sui coefficienti polinomiali per trovare codici con parametri migliorati.
• Simulazione: Le prestazioni sono valutate sotto modelli di rumore fenomenologico e a livello di circuito. La decodifica viene eseguita tramite un decoder BP+OSD (Belief Propagation con Ordered Statistics Decoding). Per la decodifica single-shot, viene impiegata una strategia a finestra sovrapposta.
• Implementazione dei Gate: Gli autori analizzano i gate logici tramite automorfismi di shift, gate CZ trasversali tra blocchi e circuiti CCZ a profondità costante derivati dal formalismo del prodotto cup cohomologico.

Contributi Chiave e Risultati

1. Parametri del Codice ed Efficienza:

   • Gli autori hanno identificato numericamente diversi codici TT che superano il 3DTC. Ad esempio, un codice TT $[[432, 12, 12]]$ codifica 12 qubit logici con una distanza $Z$ di 12 utilizzando 48 volte meno qubit di dati rispetto a un equivalente 3DTC.
   • I codici TT presentano distanze asimmetriche ($d_X \ge d_Z$), il che può essere vantaggioso per architetture con rumore polarizzato.
   • I codici possiedono una "distanza del meta-check" uguale a $d_Z$, una proprietà cruciala per la decodifica single-shot.

2. Soglie e Decodificabilità Single-Shot:

   • Rumore a Livello di Circuito: Sotto rumore a livello di circuito, i codici TT dimostrano una soglia di circa lo 0,3% nel canale di errore $Z$ e dell'1% nel canale di errore $X$ (utilizzando la decodifica single-shot).
   • Prestazioni Single-Shot: Simulazioni numeriche utilizzando una strategia a finestra sovrapposta confermano che i codici TT possiedono la decodificabilità single-shot nel canale di errore $Z$. Il tasso di errore logico si stabilizza all'aumentare della dimensione della finestra, indicando che la decodifica può essere eseguita con un numero costante di round di sindrome senza una significativa perdita di accuratezza.
   • L'esperimento di memoria $X$ mostra una forte soppressione degli errori, con pseudo-soglie costantemente superiori a quelle del 3DTC.

3. Implementazione dei Gate Fault-Tolerant:

   • Automorfismi e Gate Trasversali: I codici supportano automorfismi di shift che eseguono gate Clifford all'interno di un blocco. Inoltre, gate CZ trasversali possono essere implementati tra due blocchi di codice, agendo su specifici set di qubit logici mentre agiscono come identità sugli altri.
   • CCZ a Profondità Costante: Gli autori identificano una sottocostruzione dei codici TT (specificamente quelli con polinomi di peso 2, chiamati codici $(2,2,2)$) che ammettono un circuito CCZ fisico a profondità costante (profondità-2). Questo circuito implementa un gate logico CCZ tra tre blocchi di codice.
   • Confronto delle Prestazioni: Il codice TT $(2,2,2)$ $[[48, 3, 4]]$, che supporta gate CCZ logici, utilizza 1/4 dei qubit di dati richiesti da un regolare 3DTC con distanza $Z$ equivalente.
   • Codici Distanza-2: Gli autori esplorano anche codici con tassi di codifica più elevati che supportano gate CCZ ma hanno una distanza $Z$ di 2 per alcuni qubit logici. Sebbene questi siano solo rilevatori di errori nella base $Z$, gli autori mostrano che il fissaggio del gauge (gauge-fixing) di questi qubit può produrre codici correttori di errori a distanza maggiore con ulteriori gate CZ trasversali.

Significatività
Il documento afferma che i codici TT rappresentano un passo avanti significativo nella progettazione di codici qLDPC, unificando diverse proprietà fault-tolerant critiche in una singola famiglia. La significatività risiede in:

• Efficienza delle Risorse: Dimostrare riduzioni sostanziali nell'overhead dei qubit rispetto al 3DTC per distanze logiche e capacità equivalenti.
• Efficienza di Decodifica: Fornire prove della decodificabilità single-shot, che riduce l'overhead temporale e le risorse computazionali classiche richieste per la decodifica.
• Universalità dei Gate: Offrire una via per implementare gate non-Clifford (CCZ) tramite circuiti a profondità costante, una caratteristica difficile da raggiungere nei codici topologici senza pesanti overhead.
• Versatilità: La costruzione è flessibile, permettendo codici con distanze bilanciate o ottimizzati per rumore polarizzato, e include il 3DTC come caso speciale.

Gli autori concludono che, sebbene l'asimmetria della distanza dei codici TT sia una caratteristica piuttosto che un difetto per determinati profili di rumore, il lavoro futuro potrebbe esplorare il bilanciamento della distanza. Notano inoltre che i circuiti di estrazione della sindrome attuali non sono stati completamente ottimizzati per la distanza a livello di circuito, suggerendo potenziali miglioramenti ulteriori delle prestazioni.