Syndrome measurements enable deterministic fault-tolerant $T$ gates

Sintesi Tecnica: Le misurazioni del sindrome abilitano gate T deterministici e tolleranti ai guasti

Problema
La computazione quantistica universale fault-tolerant richiede l'implementazione di gate non-Clifford (come il gate $T$) su qubit logici codificati. Sebbene la conservazione dell'informazione quantistica e l'esecuzione di operazioni Clifford in modo fault-tolerant siano ben comprese, il teorema di Eastin–Knill proibisce un insieme universale di gate trasversali, e risultati correlati di "no-go" vincolano le implementazioni locali di gate non-Clifford logici. Gli approcci esistenti, come la distillazione di stati magici, il code switching, il gauge fixing e la fault tolerance a pezzi (pieceable fault tolerance), proteggono le operazioni non-Clifford attraverso vari meccanismi, ma spesso comportano un overhead significativo o requisiti di risorse complessi. Una sfida centrale rimane: come generare risorse non-Clifford garantendo che l'informazione codificata sia protetta durante tutta l'evoluzione, in particolare durante le fasi intermedie in cui lo stato può temporaneamente lasciare lo spazio del codice.

Metodologia
Gli autori propongono un meccanismo in cui un grado di libertà del sindrome media un gate non-Clifford logico deterministico. La metodologia centrale prevede:

1. Rilascio di un vincolo di stabilizzatore: Il rilascio temporaneo di un controllo di stabilizzatore da un codice di stabilizzatore di distanza $d \ge 2$ crea un codice di stabilizzatore intermedio $D$ che codifica $k+1$ qubit logici (i $k$ originali più un qubit ausiliario) all'interno dello stesso blocco fisico.
2. Due rotazioni di Pauli: Il gate logico $T$ viene implementato applicando due rotazioni di Pauli fisiche, $R_B(\pi/4)$ e $R_A(\pi/2)$, dove $A$ e $B$ sono operatori di Pauli ermitiani che soddisfano $AB = i\bar{L}$ (con $\bar{L}$ che è il target del Pauli logico). Questi fattori sono scelti affinché abbiano fattori anticommutanti sovrapposti e sindromi non nulle identiche rispetto al codice originale.
3. Misurazione del sindrome e feed-forward: Dopo le rotazioni, viene eseguita una misurazione del sindrome. A causa del sindrome condiviso di $A$ e $B$, la misurazione produce solo due possibili esiti (0 o $s$). Viene applicato un correttore Clifford dipendente dall'esito (o una sequenza di misurazione di Pauli) per garantire che entrambi i rami implementino lo stesso gate $T$ logico deterministico, $R_{\bar{L}}(\pi/4)$.
4. Analisi del codice intermedio: Gli autori analizzano rigorosamente la distanza $\delta$ del codice intermedio $D$ durante le rotazioni ideali. Derivano che $\delta = \min\{d, \mu(s), \nu(A)\}$, dove $\mu(s)$ è il peso minimo di un Pauli con sindrome $s$, e $\nu(A)$ è il peso minimo di uno stabilizzatore che anticomuta con $A$. Per codici puri con fattorizzazioni bilanciate, $\delta$ cresce con la distanza del codice originale $d$, sebbene sia limitato superiormente dal peso massimo dei generatori di stabilizzatore.
5. Verifica della Fault Tolerance: Il documento dimostra che la sola distanza intermedia è insufficiente per la fault tolerance, poiché un singolo guasto può propagarsi producendo un errore logico indetectabile (ad esempio, invertendo l'angolo di rotazione). Per affrontare ciò, sono sviluppate due specifiche costruzioni fault-tolerant:
   • Concatenazione Selettiva (Gate a 22 qubit fisso): Una costruzione che utilizza il codice di Steane in cui specifici qubit esterni sono codificati con blocchi Reed–Muller e di ripetizione. Ciò consente un layer non-Clifford trasversale e utilizza stati cat verificati per le misurazioni, ammettendo una soppressione dell'errore ricorsiva.
   • Controllo Trasportato (Codice Golay): Una costruzione sul codice Golay a 23 qubit in cui la rotazione non-Clifford è protetta da un "controllo trasportato" (uno stabilizzatore coniugato) e da un circuito di monitoraggio. Questo metodo permette di recuperare l'input codificato sconosciuto anche se un tentativo di gate viene rifiutato.

Contributi Chiave e Risultati

• Gate T Logico Deterministico: Il documento stabilisce un meccanismo generale per implementare un gate $T$ logico deterministico su qualsiasi codice di stabilizzatore di distanza $d \ge 2$ utilizzando due rotazioni di Pauli, misurazione del sindrome e feed-forward di Clifford.
• Caratterizzazione del Codice Intermedio: Gli autori determinano esattamente la distanza del codice intermedio formato rilasciando uno stabilizzatore. Dimostrano che per i codici puri, la distanza intermedia scala con la distanza del codice, mentre per i codi con controlli a peso limitato (come i codici LDPC), la distanza intermedia è limitata superiormente dal peso massimo del controllo.
• Due Costruzioni Fault-Tolerant:
  • Un gate a codice fisso di 22 qubit (basato sul codice di Steane) che tollera un singolo guasto, utilizza 15 gate fisici di tipo $T$, e supporta la concatenazione ricorsiva per tassi di errore logico arbitrariamente bassi. In uno schema seriale con riutilizzo degli ancilla, richiede al massimo 33 qubit fisici.
  • Un gate diretto sul codice Golay (blocco a 23 qubit) che tollera un singolo guasto usando un controllo trasportato e un monitor. Richiede al massimo 32 qubit fisici e 22 gate $T$ fisici per tentativo. Fondamentalmente, può recuperare lo stato codificato sconosciuto dopo un tentativo rifiutato, permettendo un nuovo tentativo.
• Fallimento dei Gadget non Protetti: Gli autori dimostrano che un gadget a due rotazioni non protetto non è tollerante a un singolo guasto, poiché un singolo guasto sull'asse di rotazione può invertire l'angolo di rotazione e produrre un errore logico indistinguibile dal ramo corretto dal sindrome finale.

Significato
Il documento sostiene di aver stabilito un meccanismo generale per i gate non-Clifford logici che collega la sintesi di un gate direttamente alla protezione degli spazi che esso visita. Utilizzando i gradi di libertà del sindrome, l'approccio evita la necessità di distillazione di stati magici o complessi code switching per il gate stesso, affidandosi invece alle capacità di rilevamento dell'errore del codice intermedio. Il lavoro dimostra che la protezione adattata all'evoluzione intermedia consente gate non-Clifford sui dati codificati, fornendo una nuova via per la computazione quantistica universale fault-tolerant. Le due costruzioni realizzate servono come implementazioni proof-of-concept che tollerano singoli guasti sotto rumore stocastico locale, con la costruzione Golay che evidenzia specificamente la capacità di recuperare dal rifiuto, una caratteristica non presente nei protocolli di distillazione standard.