Simple logical quantum computation with concatenated symplectic double codes

Sintesi Tecnica: Computazione Quantistica Logica Semplice con Codici Doppi Simpletici Concatenati

Problematica
I recenti progressi nella correzione degli errori quantistici (QEC) hanno prodotto codici robusti per la memoria quantistica, come i codici topologici (ad es. codici di superficie) e i codici quantum low-density parity-check (qLDPC). Tuttavia, eseguire gate logici fault-tolerant su questi codici rimane una sfida significativa. I codici topologici offrono gate trasversali semplici ma soffrono di bassi tassi di codifica e alti overhead di scala. Al contrario, i codici qLDPC e quelli concatenati offrono tassi migliori, ma spesso richiedono protocolli complessi per le operazioni logiche, comportando significativi overhead spazio-temporali per la distillazione, l'iniezione di stati e l'estrazione dei sindromi. Esiste la necessità di un'architettura di codice che bilanci alti tassi di codifica con un set di gate logici semplice e implementabile, particolarmente per piattaforme hardware come gli atomi neutri e le trappole ioniche dove il movimento dei qubit (SWAP) è a basso costo.

Metodologia
Gli autori propongono e analizzano i codici Doppi Simpletici Concatenati (CSD). Questa costruzione prevede due livelli di concatenazione:

1. Codice Esterno: Un codice doppio semplice $D(C)$, costruito da un codice seed non-CSS $C$. La costruzione del doppio semplice crea un codice CSS con parametri $[[2n, 2k, \ge d]]$ da un codice base $[[n, k, d]]$. Crucialmente, questa costruzione introduce una dualità ZX- ($\tau$), una permutazione che scambia i settori X e Z, accoppiando i qubit fisici $i$ e $i+n$.
2. Codice Interno: Un codice stabilizzatore specifico $[[n', 2, d']]$ $Q$ è concatenato con $D(C)$. Gli autori si concentrano sul codice C4 ($[[4, 2, 2]]$) come codice interno.
3. Schema di Concatenazione: I qubit logici dei blocchi di codice C4 interni sono mappati sui qubit fisici del codice esterno $D(C)$ secondo la dualità ZX-$\tau$. Nello specifico, la coppia di qubit fisici $\{i, i+n\}$ in $D(C)$ (che sono correlati da $\tau$) sono codificati nei due qubit logici di un singolo blocco di codice C4.

Il documento investiga i risultanti codici C4-CSD ($C4 \otimes_\tau D(C)$), analizzandone i parametri, i set di gate logici e le proprietà fault-tolerant.

Contributi Chiave

• Gate Logici Transversali SWAP: Il contributo primario è la dimostrazione che la struttura di concatenazione eleva la fault-tolerance dei gate logici. I gate logici sul codice doppio semplice esterno che sono "fold-transversali" (che agiscono sulle orbite $\tau$) diventano SWAP-transversali sul codice concatenato C4-CSD. Ciò significa che questi gate possono essere implementati utilizzando solo gate single-qubit fisici e ridenominazione dei qubit (SWAP), che possono essere tracciati via software.
• Generazione del Gruppo di Clifford Completo:
  • Il set di gate ereditato dal codice seed e dalla struttura del doppio semplice ($G_\tau$) include automorfismi sollevati, un gate di tipo Hadamard ($H_\tau$) e un gate di tipo CZ ($S_\tau$).
  • Per ottenere il gruppo di Clifford completo, gli autori introducono gate di fase fold-transversali ($U_P(\pi)$) derivati dal gruppo di automorfismo del codice classico sottostante, che sono implementati tramite iniezione di stato utilizzando stati di risorsa preparati nello stato $U_P(\pi)|+\rangle$.
  • Per specifiche istanze di codici (ad es. quelli con segni di spunta verdi nella Tabella 1), la combinazione di $G_\tau$ e dei gate iniettati $U_P(\pi)$ genera l'intero gruppo semplice $Sp_{4k}(\mathbb{F}_2)$ sui qubit logici di un singolo blocco di codice.
• Connettività Inter-Blocco: Gli autori dimostrano che il gruppo di Clifford completo attraverso più blocchi di codice è ottenibile usando gate CNOT trasversali tra i blocchi combinati con i gate di Clifford a singolo blocco.
• Semplificazione del Circuito: Una caratteristica unica dei codici C4-CSD è che qualsiasi circuito di Clifford logico su un singolo blocco di codice può essere compilato in un circuito fisico funzionalmente semplice: una sequenza alternata di gate $U_P(\pi)$ iniettati e un singolo layer di gate di Clifford fisici single-qubit. Gli SWAP necessari per la ridenominazione possono essere "sciolti", lasciando un circuito dove le uniche operazioni attive sono i gate single-qubit e la correzione degli errori facilitata dalla teleportazione.

Risultati

• Parametri del Codice: Il documento fornisce una tabella di specifici codici C4-CSD derivati da vari codi seed non-CSS (ad es. $[[4, 2, 2]]$, $[[6, 4, 2]]$, $[[5, 1, 3]]$). Ad esempio, il codice C4-CSD $[[16, 4, 4]]$ è mostrato essere isomorfo al codice MHC (many-hypercubes) $L=2$ C4.
• Set di Gate: Gli autori calcolano la dimensione dei set di gate $G_\tau$ e $\langle U_P(\pi) \rangle$ per varie istanze. Identificano quali codici possono generare il gruppo di Clifford completo senza adapter aggiuntivi e quali richiedono iniezioni di stato parziali o adapter universali.
• Simulazioni Numeriche: Simulazioni a livello di circuito della preparazione dello stato e della correzione degli errori quantistici (QEC) sono state eseguite. I risultati indicano che i codici C4-CSD mostrano una performance promettente a tassi di errore fisici vicini allo stato dell'arte, funzionando efficacemente come memorie quantistiche.
• Decoding: Il documento discute i decoder per questi codici, notando che la struttura permette un'estrazione e una correzione dei sindromi efficienti.

Significatività e Rivendicazioni

Gli autori sostengono che i codici doppi semplici concatenati siano forti contendenti per essere il codice computazionale sottostante su computer quantistici di media e grande scala. La loro significatività risiede nel:

1. Semplicità: Il gruppo di Clifford logico è implementato attraverso un "circuito funzionalmente semplice" che si affida pesantemente a gate single-qubit e alla ridenominazione dei qubit, minimizzando la necessità di complesse interazioni multi-qubit fisiche durante l'esecuzione dei gate.
2. Compatibilità Hardware: La dipendenza dalla ridenominazione dei qubit (SWAP) rende questi codici particolarmente adatti ad architetture come gli atomi neutri e le trappole ioniche, dove il movimento dei qubit è un'operazione nativa e a basso costo.
3. Performance: I codici offrono performance a livello di circuito competitive e alti tassi di codifica, affrontando i problemi di overhead dei codici topologici pur evitando i complessi protocolli di gate spesso richiesti da altri codici ad alto tasso.

Il documento conclude ponendo domande aperte riguardo l'ottimizzazione dei codici seed e la scalabilità di queste costruzioni, ma mantiene una rivendicazione focalizzata sul fatto che i codici C4-CSD forniscono una via percorribile verso la computazione logica fault-tolerant con ridotta complessità operativa.