The dynamic 4.8.8 Floquet code

Sintesi Tecnica: Il Codice di Floquet Dinamico 4.8.8

Problematica
Le memorie quantistiche fault-tolerant dipendono fortemente dall'efficienza dei circuiti di estrazione dei sindromi. Sebbene i codici di Floquet (come l'honeycomb 6.6.6 e il quadrato-ottagonale 4.8.8) utilizzino programmi periodici di misure Pauli a due qubit per definire i qubit logici, la loro implementazione richiede spesso qubit ancilla, aumentando l'overhead dell'hardware. I circuiti dinamici (o privi di ancilla) offrono un metodo per misurare i controlli contraendo temporaneamente essi sui qubit di dati, eliminando così la necessità di ancille dedicate. Tuttavia, lavori precedenti sul codice honeycomb 6.6.6 hanno dimostrato che, sebbene i circuiti dinamici riducano l'overhead dei qubit e migliorino le soglie, dimezzano la distanza spaziale del codice a livello di circuito. Ciò accade perché la contrazione dinamica causa la deformazione degli stabilizzatori, permettendo a errori singoli di invertire coppie di stabilizzatori separati da due passi di reticolo lungo i supporti degli operatori logici. Si era ipotizzato che il reticolo 4.8.8 potesse evitare questa riduzione della distanza poiché le sue catene di controllo dello stesso colore non coincidono con i naturali supporti logici, ma ciò non era stato verificato.

Metodologia
L'autore costruisce e confronta quattro implementazioni a livello di circuito del codice Floquet CSS 4.8.8 su un toro sotto rumore depolarizzante standard:

1. Standard basato su Ancilla: Ogni controllo di arco utilizza un'ancilla dedicata preparata in $|+\rangle$ (per XX) o $|0\rangle$ (per ZZ), accoppiata tramite porte CX e misurata.
2. Pipelined basato su Ancilla: Il circuito standard con ancilla con stadi di reset, gate e misurazione sovrapposti per ridurre la profondità del periodo di Floquet (ispirato al metodo SD6 honeycomb).
3. Dinamico (Reset): Una costruzione priva di ancilla in cui ogni controllo a due qubit è misurato tramite un gadget a 4-TICK ($CX - M - R - CX$) che agisce solo sui qubit di dati. Il qubit misurato viene resettato a $|+\rangle$ o $|0\rangle$ a metà circuito per proteggere contro il leakage e mantenere la distanza temporale.
4. Dinamico (No-Reset): Una variante del circuito dinamico in cui il reset a metà circuito viene rimosso ($CX - M - CX$), lasciando il qubit nello stato proiettato.

L'autore utilizza uno specifico programma CSS (sei sotto-round per periodo: rXX, gZZ, bXX, rZZ, gXX, bZZ) e impiega Stim per la generazione del flusso e l'identificazione dei detector. Per la variante con reset, viene applicata una riduzione greedy XOR-pairwise per garantire una base di detector locale a peso minimo. Le prestazioni sono valutate tramite campionamento Monte Carlo con decoder Minimum-Weight Perfect Matching (MWPM) e Belief Propagation (BP) + matching.

Contributi Chiave

• Verifica della Preservazione della Distanza: Il documento conferma che, a differenza del codice honeycomb, la costruzione dinamica sul reticolo 4.8.8 preserva la piena distanza spaziale del circuito ($d_{spatial} = L$). La deformazione degli stabilizzatori durante il gadget dinamico non si allinea con i supporti degli operatori logici nella geometria 4.8.8, impedendo il dimezzamento della distanza osservato nel codice honeycomb.
• Costruzione del Circuito Dinamico: Viene dettagliata una specifica costruzione di misurazione senza ancilla per il codice Floquet 4.8.8, incluso il necessario bicolore del grafo bipartito dei dati per determinare quale endpoint viene misurato per ogni controllo.
• Benchmarking Completo: Un confronto rigoroso di quattro diverse architetture di circuito (due dinamiche, due basate su ancilla) riguardo alla distanza spaziale, distanza temporale, soglie di errore e volume spazio-temporale.

Risultati

• Distanza Spaziale: Tutte e quattro le varianti mantengono una distanza spaziale di $d_{spatial} = L$.
• Soglie: Sotto rumore depolarizzante a livello di circuito:
  • No-Reset Dynamic: Raggiunge la soglia più alta di tutte le varianti al 0,512% (0,574% con BP+matching).
  • Reset Dynamic: Raggiunge lo 0,463% (0,490% con BP+matching).
  • Pipelined Ancilla: Raggiunge lo 0,478% (0,489% con BP+matching).
  • Standard Ancilla: La soglia più bassa a 0,228% (0,240% con BP+matching).
• Distanza Temporale: Il circuito dinamico con reset esibisce una distanza temporale che cresce più velocemente rispetto alle altre tre varianti. Asintoticamente, il circuito dinamico con reset ha una distanza temporale per periodo di Floquet ($n_{qec}$) nell'intervallo $2 \le d_t/n_{qec} \le 3$, mentre le varianti no-reset e basate su ancilla sono strettamente vincolate a $d_t/n_{qec} = 3/2$.
• Volume Spazio-Temporale:
  • Nel regime di fast-reset, il circuito dinamico con reset (accoppiato per distanza temporale) offre il volume spazio-temporale più piccolo, circa 0,30× rispetto alla baseline dell'ancilla non-pipelined.
  • Nel regime di slow-reset, la variante dinamica no-reset è la più efficiente, pari a 0,245× la baseline.
  • Il circuito basato su ancilla pipelined, pur essendo efficiente in profondità, richiede 2,5× più qubit fisici e non supera le varianti dinamiche in termini di volume spazio-temporale totale a tempi di gate hardware realistici.

Significatività
Il documento dimostra che l'approccio di estrazione del sindrome dinamico può essere applicato al codice Floquet 4.8.8 per ottenere i benefici attesi di riduzione dell'overhead dei qubit (riduzione di 2,5× dei qubit fisici) e miglioramento della soglia senza la penalità del dimezzamento della distanza spaziale del codice. Ciò valida la congettura che la geometria 4.8.8 sia robusta contro il meccanismo di riduzione della distanza inerente al circuito dinamico dell'honeycomb. Il lavoro stabilisce che i circuiti dinamici sono una via viabile e superiore per l'implementazione dei codici di Floquet, offrendo un compromesso tra la protezione dal leakage e la distanza temporale della variante con reset e l'efficienza della soglia e del volume della variante no-reset.