Cultivating logical catalysts for fault-tolerant dyadic phase rotations

Problematica

Il calcolo quantistico fault-tolerant si basa tipicamente su operazioni di Clifford supplementate da stati di risorsa non-Clifford (stati magici) per raggiungere l'universalità. Nei codici con set di porte trasversali limitati, come il codice di superficie ruotato, gli approcci standard per implementare rotazioni di fase diadiche fini (ad es. $Z_{2^{-b}}$) affrontano due colli di bottiglia primari:

1. Errore di Approssimazione: La sintesi Clifford+T e i circuiti Repeat-Until-Success (RUS) approssimano le rotazioni target. La precisione di sintesi $\epsilon$ deve essere scelta al di sotto del tasso di errore logico target, causando una crescita del costo non-Clifford (T-count) man mano che la computazione richiede errori logici inferiori.
2. Difficoltà di Verifica: Sebbene la "coltivazione di stati magici" (preparare uno stato a bassa distanza, verificarlo e farlo crescere ad alta distanza) sia stata efficace per lo stato canonico $|T\rangle$, essa non si estende facilmente a fasi diadiche più fini ($b \ge 3$). La verifica diretta di stati come $Z_{2^{-b}}|+\rangle$ richiede misurazioni non-Clifford, creando una dipendenza circolare in cui la risorsa necessaria per la verifica è la stessa risorsa che si sta coltivando.
3. Limitazioni dei Catalizzatori: I metodi catalitici esistenti, come gli stati a gradiente di fase, offrono riutilizzabilità ma spesso richiedono la preparazione di stati non-Clifford o presentano costi online (profondità e T-count) che scalano con la precisione $b$. Inoltre, gli stati a gradiente di fase sono autostati di adder non-Clifford, rendendoli difficili da coltivare utilizzando solo operazioni di Clifford.

Metodologia

Gli autori propongono un protocollo di coltivazione per il codice di superficie per stati catalizzatori riutilizzabili che implementano porte di fase diadica fine esatte ($Z_{2^{-b}}$) tramite phase kickback. Il meccanismo centrale si basa sul framework del catalizzatore controlled-Clifford:

1. Costruzione del Catalizzatore:

   • Il catalizzatore è definito come un autostato di un circuito Clifford ad alto periodo $U$. Nello specifico, gli autori utilizzano un circuito CNOT "a mattoni" (brickwork) $U_n$ composto da strati alternati di CNOT disgiunti.
   • Per una fase target $Z_{2^{-b}}$, selezionano $n = 2^b + 1$ qubit. Il circuito $U_n$ ha un periodo di $2^m$ (dove $m = \lceil \log_2 n \rceil$).
   • Un autostato $|\psi_{n,r}\rangle$ di $U_n$ con autovalore $\omega_m^r$ funge da catalizzatore. Quando utilizzato in un gadget controlled-$U_n$, il phase kickback applica una rotazione $Z_{2^{-b}}$ esatta al qubit di controllo, riportando il catalizzatore al proprio stato originale.
   • Caso di Studio: Il paper si concentra sulla porta $\sqrt{T} = Z_{1/8}$ ($b=3$). Ciò richiede un circuito brickwork a 9 qubit $U_9$ con periodo 16. Il catalizzatore è l'autostato $r=1$ $|\psi_9\rangle$ con autovalore $e^{i\pi/8}$.

2. Protocollo di Coltivazione:
   Il protocollo prepara una copia logica fault-tolerant di $|\psi_9\rangle$ attraverso tre fasi:

   • Preparazione Fisica e Codifica: Un autostato fisico a 9 qubit viene preparato e codificato in nove blocchi indipendenti di codice di superficie ruotato di distanza tre ($Rot(3)$).
   • Verifica Logica (Stima della Fase): Lo stato codificato subisce una misurazione logica di $U_9$ tramite un circuito di Quantum Phase Estimation (QPE).
     • Fondamentalmente, il controllo logico di $U_9$ è intrinsecamente fault-tolerant. Poiché $U_9$ possiede uno spettro discreto di radici $n$-esime dell'unità, un singolo round di stima della fase con un sindrome banale (lettura della fase target) proietta esattamente lo stato nello spazio degli autostati corretto.
     • Gli autori dimostrano che un singolo round di verifica ($N_1=1$) fornisce una distanza di errore logica effettiva di $f_{logical} \approx 2.654$, sufficiente a sopprimere gli errori dominanti senza i controlli ripetuti richiesti per la coltivazione di $|T\rangle$.
   • Crescita del Codice: I blocchi post-selezionati vengono fatti crescere da distanza 3 a distanza 7. Questo comporta una crescita unitaria ($Rot(3) \to Reg(3) \to Rot(5)$) e una crescita tramite misurazione di stabilizzatori ($Rot(5) \to Rot(7)$), utilizzando il decoding a gap complementare per filtrare gli errori residui.

3. Strategia di Simulazione:
   A causa della natura non-Clifford della fase di verifica (che coinvolge porte Toffoli per il controlled-$U_9$), gli autori impiegano una simulazione ibrida:

   • Front End: Una simulazione state-vector basata su reti tensoriali (MPS) traccia la preparazione fisica rumorosa e la verifica logica di $U_9$. Calcola analiticamente la probabilità di superare la post-selezione (Rao–Blackwellization) invece di scartare i tentativi falliti.
   • Back End: Una simulazione di stabilizzatore (Stim) con decoding basato su matching (PyMatching) simula le fasi di crescita esclusivamente Clifford, alimentata dalle informazioni di sindrome estratte dal front end.

Contributi Chiave

• Catalizzatori Diadici Esatti: Il paper introduce un metodo per coltivare stati catalizzatori riutilizzabili per fasi diadiche fini esatte ($Z_{2^{-b}}$) che sono autostati di circuiti di Clifford, bypassando la necessità di una verifica non-Clifford.
• Verifica a Singolo Round: Gli autori dimostrano che per circuiti di Clifford ad alto periodo, un singolo round di stima della fase è sufficiente per ottenere una verifica fault-tolerant, contrastando con i molteplici round tipicamente necessari per gli stati $|T\rangle$.
• Profondità Online Costante: L'invocazione online del catalizzatore utilizza un circuito controlled-Clifford con profondità T costante (indipendente da $b$) tramite porte Toffoli parallelizzate, evitando la scalabilità della profondità logaritmica della sintesi o la profondità lineare degli adder a gradiente di fase.
• Framework di Simulazione Ibrido: Una metodologia di simulazione robusta che combina reti tensoriali e codici di stabilizzatore per valutare protocolli di coltivazione che coinvolgono la verifica non-Clifford.

Risultati

• Performance: Con un tasso di errore fisico di $p = 10^{-3}$, il protocollo coltiva con successo un catalizzatore logico di distanza sette con un tasso di leakage logico di $\sim 10^{-6}$ utilizzando circa 7 tenti attesi. Con una post-selezione più forte, questo può essere soppresso a $\sim 10^{-7}$.
• Confronto con la Coltivazione di $|T\rangle$: La verifica a singolo round raggiunge un tasso di leakage comparabile ai recenti protocolli di coltivazione a singolo blocco per $|T\rangle$, nonostante il catalizzatore si estenda su nove blocchi di superficie e supporti una fase più fine.
• Trade-off delle Risorse:
  • Costo Online: Il catalizzatore $\sqrt{T}$ richiede 8 porte Toffoli (o 32 porte T) per invocazione con profondità costante. Questo è competitivo o migliore rispetto ai metodi ottimizzati di RUS e sintesi per target di alta precisione, pur essendo esatto.
  • Costo Offline: Il costo di preparazione è ammortizzato su molti utilizzi. Tuttavia, la dimensione del catalizzatore scala come $O(2^b)$ qubit logici (9 blocchi per $\sqrt{T}$), il che rappresenta un overhead significativo rispetto alla sintesi (0 ancilla) o agli stati a gradiente di fase ($O(b)$ qubit).

Significatività e Assertività

Il paper sostiene che questo approccio offre un trade-off distinto: scambia la dipendenza $\epsilon$ dei costi di sintesi (dove il costo cresce al diminuire della precisione) con una dipendenza $b$ (dove la dimensione dello stato di risorsa cresce con la finezza della fase).

• Esattezza: A differenza di sintesi o RUS, il catalizzatore introduce zero errore di approssimazione per ogni uso. La rotazione è algebricamente esatta, limitata solo dall'infedeltà logica residua del catalizzatore stesso.
• Latenza: La profondità T online costante è un vantaggio strutturale per applicazioni critiche per la latenza (ad es. loop interni di simulazioni Trotterizzate) dove una profondità variabile o logaritmica è deleteria.
• Fattibilità: Il protocollo fornisce una via concreta, basata solo su Clifford, per preparare catalizzatori ad alta fedeltà e a fase fine partendo da zero, una capacità precedentemente ostacolata dalla natura non-Clifford della verifica richiesta per le fasi diadiche più fini.

Gli autori concludono che, sebbene l'overhead di qubit limiti il protocollo a valori "modesti" di $b$ (fasi moderatamente fini), esso è altamente efficace per carichi di lavoro che comportano l'applicazione ripetuta di una fissa fase diadica fine. Identificano la riduzione dell'overhead $O(2^b)$ e l'estensione della coltivazione ad altri stati strutturati (come $|CCZ\rangle$) come direzioni future chiave.