Finding diagonal logical gates in CSS codes and circuits

Sintesi Tecnica: Ricerca di Gate Logici Diagonali in Codici e Circuiti CSS

Enunciato del Problema
La realizzazione di computer quantistici universali su larga scala e tolleranti ai guasti richiede l'implementazione efficiente di gate logici non-Clifford. Mentre le operazioni Clifford sono relativamente semplici nel formalismo degli stabilizzatori, i gate non-Clifford pongono sfide significative. Gli approcci attuali si affidano spesso alla distillazione di stati magici, a gate non-Clifford trasversali (talvolta combinati con il cambio di codice) o a gate logici "spazio-temporali" inseriti in circuiti di estrazione del sindrome. Una sfida centrale è identificare quali codici CSS (Calderbank-Shor-Steane) o circuiti ammettono gate logici diagonali che preservano la località (come $T$, $CS$, o$CCZ$) composti da un insieme prescritto di gate ansatz fisici. I metodi esistenti, come la condizione di triortogonalità, sono spesso limitati a tipi specifici di gate o mancano di generalità per arbitrari circuiti che preservano la località.

Metodologia
Il paper propone un algoritmo efficiente per trovare tutti i gate logici di un dato codice CSS (o circuito) che siano composti da un insieme presciso di gate ansatz diagonali. L'intuizione teorica centrale è che un gate diagonale preserva lo spazio del codice se e solo se assegna la stessa fase a ogni configurazione nella base $Z$ all'interno di una data classe di coorte.

1. Formulazione Matematica:

   • L'azione di un gate diagonale $V_c$ su uno stato della base computazionale $|a\rangle$ è definita da una funzione di fase $S_c(a)$. Per i gate nel terzo livello della gerarchia di Clifford, $S_c(a)$ è una funzione di "terzo ordine" che coinvolge termini come $a_i a_j a_k$ (per $CCZ$),$a_i a_j$ (per $CS$), e$a_i$ (per $T$).
   • La condizione per la preservazione dello spazio del codice è che $S_c(a)$ debba essere costante per tutti gli $a$ nella stessa classe di coorte. Ciò si riduce al requisito che $S_c(a + A e_j)$ debba essere uguale a $S_c(a)$ per tutti i generatori di stabilizzatore $X$ $A e_j$, dove $A$ è la matrice di controllo $X$.
   • Questa condizione è equivalente a richiedere che il "pullback" della funzione di fase tramite la matrice di controllo $X$, denotato come $S_c \circ A$, produca una funzione di fase banale.

2. L'Omomorfismo di Pullback ($A^*$):

   • Gli autori definiscono un omomorfismo di gruppo $A^*$ che mappa i coefficienti dei gate ansatz fisici ($c \in G_{phys}$) nei coefficienti della funzione di fase indotta sui controlli $X$.
   • $G_{phys}$ è un prodotto di gruppi abeliani 2-fini (ad esempio, $\mathbb{Z}_2, \mathbb{Z}_4, \mathbb{Z}_8$) corrispondenti ai diversi livelli della gerarchia di Clifford.
   • L'insieme dei validi gate logici corrisponde esattamente al nucleo (kernel) di questo omomorfismo: $A^* c = 0$.

3. Implementazione Algoritmica (Filtrazione):

   • Per calcolare il nucleo di $A^*$ in modo efficiente, gli autori introducono un metodo di "filtrazione". Invece di utilizzare la forma normale di Smith (che comporta aritmetica con interi grandi), il metodo decompone il problema in una sequenza di calcoli del nucleo su campi binari ($\mathbb{Z}_2$).
   • L'algoritmo calcola iterativamente i nuclei di $X \pmod 2$, $X \pmod 4$, e così via, elevando le soluzioni da gruppi di ordine inferiore a gruppi di ordine superiore. Ciò sfrutta il fatto che $\ker(X) \subset \ker(X \pmod 4) \subset \ker(X \pmod 2)$.
   • Le subroutine si basano su algebra lineare binaria standard (eliminazione gaussiana/RREF) che può essere accelerata tramite bit-packing.

4. Generalizzazioni:

   • Gate Spazio-Temporali: Il metodo si estende ai "gate logici spazio-temporali locali", dove i gate diagonali sono inseriti in circuiti di estrazione del sindrome. Ciò viene modellato trattando il circuito come una rete tensoriale (o integrale di cammino) e applicando la stessa logica di pullback al grafo di decoding $Z$.
   • Livelli Superiori e Gate Arbitrari: Il framework si generalizza a livelli superiori della gerarchia di Clifford e a gate diagonali arbitrari (non-gerarchici) regolando la definizione delle funzioni di fase e dei gruppi di coefficienti.
   • Qudit: Il metodo è generalizzato a qudit di dimensione prima o composta definendo appropriate funzioni di ordine superiore su $\mathbb{Z}_{d_i}$.

Contributi Chiave

• Framework Unificato: Il paper fornisce un formalismo generale che unifica la ricerca di gate trasversali, circuiti logici che preservano la località e gate logici spazio-temporali sotto un'unica condizione algebrica: la ricerca del nucleo di un specifico omomorfismo di gruppo $A^*$.
• Algoritmo Efficiente: Presenta un algoritmo veloce con una complessità temporale ingenua di $O(n^3)$ per un sistema con $O(n)$ qubit (o gate), utilizzando una tecnica di filtrazione che riduce il problema a operazioni matriciali binarie.
• Flessibilità: L'approccio permette agli utenti di prescrivere arbitrari set di gate ansatz (inclusi gate non locali o ripiegati/folded) e trovare tutti i risultanti gate logici senza imporre l'invarianza per traslazione.
• Implementazione: Viene fornita un'implementazione in Python, inclusa una package specializzata (twogroup-linalg) per l'algebra lineare su gruppi abeliani 2-fini.

Risultati ed Esempi

• L'algoritmo recupera con successo i gate logici noti per i codici torici 2D e 3D, i codici colorati, i codici fracton e i codici bicycle bivariate.
• Scopre un gate diagonale di terzo ordine precedentemente sconosciuto nel "codice colorato 3D duale", che implementa un gate logico $T$ equivalente.
• Il metodo dimostra di poter trovare gate logici invarianti per traslazione in tempo $O(1)$ rispetto alla dimensione del sistema (scalando solo con i parametri della cella unitaria).
• Il tempo di esecuzione per un codice colorato 2D con 800 qubit è di circa 30 secondi su un laptop standard per il caso non invariante per traslazione.

Significatività e Rivendicazioni
Il paper sostiene che il proprio metodo offra un modo sistematico ed efficiente per esplorare lo spazio dei gate logici fault-tolerant per i codici CSS. Riformulando il problema come un calcolo del nucleo, generalizza la condizione di triortogonalità ad arbitrari prodotti di gate della gerarchia di Clifford e circuiti che preservano la località.

Gli autori osservano che, sebbene il metodo possa trovare arbitrari gate diagonali, la realizzabilità fisica in contesti fault-tolerant probabilmente restringe questi gate alla gerarchia di Clifford (in linea con gli argomenti di tipo Bravyi-Koenig). Il lavoro suggerisce che questo approccio potrebbe essere utilizzato per scoprire nuovi codici qLDPC con proprietà di gate logici desiderabili o per ottimizzare l'estensione dei gate logici ai bordi dei codici e alle pareti di dominio (domain walls). Il paper mantiene un tono modesto riguardo a futuri miglioramenti di velocità, riconoscendo che, sebbene la sparsità nei codici qLDPC offra potenziale per ulteriori ottimizzazioni (ad esempio, tramite l'algoritmo di Wiedemann o la decomposizione del nucleo locale), l'attuale implementazione densa $O(n^3)$ è già competitiva con la ricerca della base logica del codice stesso.