A robust phase of continuous transversal gates in quantum stabilizer codes

Sintesi Tecnica: Una Fase Robusta di Gate Trasversali Continui nei Codici di Stabilizzazione Quantistica

Enunciato del Problema
Il calcolo quantistico fault-tolerant (FTQC) richiede un insieme universale di gate logici. Sebbene i gate trasversali siano naturalmente fault-tolerant perché non propagano gli errori all'interno dei blocchi di codice, il teorema di Eastin-Knill proibisce un insieme universale di tali gate. Di conseguenza, i protocolli standard si affidano alla distillazione o alla coltivazione di stati magici, che tipicamente producono rotazioni ad angolo fisso. La sintesi di rotazioni arbitrarie ad angolo continuo (particolarmente di piccoli angoli) utilizzando questi metodi comporta un overhead significativo, che scala come $O(\log(1/\epsilon))$ per una tolleranza $\epsilon$. Ciò è inefficiente per applicazioni come la simulazione quantistica che richiedono molti piccoli angoli di rotazione. Inoltre, sebbene gli errori coerenti (rotazioni unitarie sistematiche) siano spesso visti come dannosi, la loro interazione con la correzione degli errori nei codici di superficie sotto rumore di dephasing è un'area di studio complessa.

Metodologia
Gli autori investigano il comportamento del codice di superficie quadrato ruotato (un codice CSS) sottoposto a rotazioni $Z$ trasversali coerenti uniformi per un angolo $\theta$, seguite da misurazione del sindrome e decodifica. Analizzano il canale logico risultante, che assume la forma di una rotazione coerente per un angolo di sindrome $\phi_s(\theta)$ combinata con un tasso di dephasing logico $q_s$.

Per caratterizzare il sistema, gli autori:

1. Modellano il Rumore: Considerano un canale fisico in cui ogni qubit subisce una rotazione coerente $\theta$ e un dephasing incoerente al tasso $p$.
2. Mappatura di Meccanica Statistica: Utilizzano una mappatura a un modello Ising di legame casuale complesso 2D con due strati accoppiati. Questo modello tiene conto dell'interferenza dei termini di errore derivanti dalle rotazioni coerenti e dell'accoppiamento indotto dal rumore incoerente.
3. Simulazione Numerica: Utilizzando il decoder PyMatching e metodi di rete tensoriale (specificamente l'algoritmo di Darmawan e Poulin), calcolano i parametri del canale logico ($\phi_s$ e $q_s$) per varie distanze di codice $d$ e parametri fisici $(p, \theta)$.
4. Progettazione di Protocollo Adattivo: Formulano il problema di raggiungere un angolo target $\Phi_T$ come un problema di controllo stocastico classico. Utilizzando l'equazione di Bellman, ottimizzano una policy per selezionare l'angolo di rotazione fisica $\theta$ ad ogni passo per minimizzare il numero atteso di round $T$, monitorando contemporaneamente il dephasing logico accumulato. Incorporano un meccanismo di "reset" per riavviare il processo se il dephasing supera una determinata soglia.

Contributi Chiave
Il documento identifica e caratterizza una "fase robusta" nello spazio dei parametri del dephasing fisico $p$ e dell'angolo di rotazione $\theta$. In questa fase:

• Soppressione Esponenziale del Dephasing Relativo: Il dephasing relativo logico medio, definito come $E[q_s / |\phi_s|]$, è esponenzialmente soppresso all'aumentare della distanza del codice $d$ ($E[q_s / |\phi_s|] \sim e^{-\kappa d}$).
• Confini di Fase: Questa fase è delimitata da due transizioni: un $\theta$ critico superiore dove il recupero diventa impossibile, e un nuovo confine inferiore dove il dephasing domina sull'angolo di rotazione.
• Unitari Logici Continui: All'interno di questa fase, le rotazioni coerenti trasversali e la decodifica producono rotazioni unitarie logiche con un'infedeltà esponenzialmente soppressa rispetto all'angolo di rotazione.

Sulla base di questa fase, gli autori progettano un protocollo fault-tolerant per rotazioni logiche ad angolo continuo che:

• Utilizza solo rotazioni coerenti trasversali, misurazioni di sindrome e correzioni assistite dal decoder.
• Evita la postselezione utilizzando l'adattamento feed-forward e i reset.
• Genera stati magici ad angolo continuo modulabili.

Risultati

• Diagramma di Fase: Gli autori mappano la fase robusta nel piano $(p, \theta)$. Per un tasso di dephasing fisico fisso (ad esempio, $p=0.001$), esiste un intervallo ottimale di $\theta$ in cui il dephasing relativo è minimizzato.
• Scaling: Il dephasing relativo logico all'angolo target (dove la sindrome banale si verifica con probabilità del 50%) diminuisce esponenzialmente con la distanza del codice $d$.
• Efficienza del Protocollo: Il protocollo adattivo raggiunge con successo angoli target $\Phi_T$ arbitrari. Il numero atteso di round $E[T]$ aumenta con l'angolo target ma è indipendente dalla tolleranza finale $\epsilon$ (a differenza dei sistemi di distillazione).
• Confronto delle Risorse: Per piccoli angoli target (ad esempio, $\Phi_T \leq \pi/28$ per $d=7$), il costo delle risorse del protocollo (volume spazio-temporale incluso i reset) diventa competitivo con, o superiore a, la convenzionale coltivazione di stati magici combinata con la sintesi Clifford+T.

Significatività e Rivendicazioni
Il documento rivendica di aver scoperto una nuova fase della materia nella correzione degli errori quantistici in cui le rotazioni coerenti, tipicamente viste come errori, possono essere sfruttate per eseguire operazioni logiche precise. La significatività primaria risiede nel fornire un'alternativa a basso costo e fault-tolerant per la generazione di piccole rotazioni ad angolo, cruciali per algoritmi come la simulazione quantistica Trotterizzata e la trasformata di Fourier quantistica.

Gli autori sottolineano che il loro protocollo è complementare ai metodi di iniezione esistenti, affrontando specificamente la difficoltà che altri metodi incontrano nella generazione efficiente di piccoli angoli. Notano che l'intervallo di angoli di rotazione logica raggiungibili diminuisce esponenzialmente con la dimensione del codice, limitando l'utilità del protocollo a scenari in cui sono richieste piccole rotazioni. Il lavoro suggerisce che questo approccio potrebbe essere esteso ad altri codici che soddisfano il criterio dell'unitario logico (come certi codici LDPC) e che la dimostrazione sperimentale rimane una sfida futura. Il documento non pretende di sostituire la distillazione degli stati magici per tutte le applicazioni, ma offre uno strumento specializzato ed efficiente per le operazioni ad angolo continuo nel codice di superficie.