Towards the Characterization of Logical Errors in Distributed Lattice Surgery

Sintesi Tecnica: Caratterizzazione degli Errori Logici nella Chirurgia di Reticolo Distribuita

Problema
Il calcolo quantistico distribuito (DQC) offre un'alternativa scalabile ai processori quantistici monolitici interconnettendo moduli più piccoli tramite coppie di entanglement condivise. Tuttavia, una sfida centrale in questa architettura è che le operazioni quantistiche inter-modulo sono intrinsecamente più rumorose delle porte locali intra-modulo. Sebbene il codice di superficie planare sia un forte candidato per il calcolo quantistico fault-tolerant distribuito (FT-DQC) grazie alla sua alta soglia e località geometrica, le analisi esistenti spesso si basano su modelli di rumore uniformi o assumono collegamenti di entanglement privi di rumore. Manca una comprensione di come il rumore specifico introdotto dalle operazioni non locali — specificamente le coppie di Bell imperfette — influenzi i tassi di errore logico e le soglie di fault-tolerance delle operazioni fondamentali di chirurgia di reticolo, come la fusione (merge), in condizioni di rumore a livello di circuito.

Metodologia
Gli autori analizzano l'errore logico in un'operazione di fusione $XX$ tra due patch di codice di superficie ruotato ospitate su diverse unità di elaborazione quantistica (QPU). Lo studio impiega il seguente framework metodologico:

• Modellazione del Rumore: Gli autori derivano un modello di rumore fenomenologico efficace che distingue tra qubit "bulk" (all'interno di una singola QPU) e qubit "seam" (all'interfaccia tra le QPU). Questo modello incorpora i contributi di porte CNOT locali, coppie di Bell rumorose, errori di idle e di readout.
  • Definiscono un tasso di errore fisico uniforme $\varepsilon$ per le operazioni locali (porte, misura, idle) e un fattore di scala $k$ per gli errori delle coppie di Bell ($\varepsilon_B = k\varepsilon$).
  • Vengono derivate espressioni analitiche per i tassi di errore effettivi dei dati ($p$) e della misura ($q$) sia per le regioni bulk che per quelle seam, mostrando che gli errori della seam dipendono linearmente da $k$.
• Rappresentazione Spazio-Temporale: L'operazione di fusione viene visualizzata come un diagramma spazio-temporale a forma di H. Il protocollo prevede l'estrazione dello sindrome pre-fusione, una fase di ponte (bridge) in cui i stabilizzatori congiunti vengono misurati per $d$ round, ed estrazione post-fusione.
• Decodifica e Simulazione: Gli errori logici $Z$ vengono decodificati utilizzando un decodificatore Minimum-Weight Perfect Matching (MWPM). Gli autori costruiscono un grafo di sindrome spazio-temporale 3D dove gli archi spaziali rappresentano gli errori dei dati e gli archi temporali rappresentano gli errori di misura.
• Parametri di Simulazione: Sono eseguite simulazioni Monte Carlo con $200.000$ shot per punto dati. Lo studio varia la distanza del codice $d \in \{5, 7, 9, 11, 13\}$ e il fattore di scala del rumore delle coppie di Bell $k \in \{1, 3, 5, 7, 9, 11\}$.

Contributi Chiave

1. Modello di Rumore Eterogeneo: Il lavoro presenta un modello di rumore fenomenologico specificamente adattato per la chirurgia di reticolo distribuita, derivando esplicitamente i tassi di errore effettivi per i qubit bulk e seam basati sulle sorgenti di rumore a livello di circuito (porte locali, coppie di Bell, idle e readout).
2. Caratterizzazione dell'Errore Logico: Gli autori caratterizzano gli errori logici $Z$ nell'operazione di fusione $XX$ utilizzando la geometria spazio-temporale a forma di H e la decodifica MWPM, fornendo un'analisi dettagliata di come i tassi di errore logico varino con i tassi di errore fisico sotto rumore eterogeneo.
3. Analisi della Soglia sotto Rumore di Entanglement: Lo studio quantifica l'impatto del rumore delle coppie di Bell aumentando sistematicamente il fattore di scala $k$. Dimostra che la soglia di fault-tolerance dell'operazione di fusione rimane robusta anche quando il rumore alla seam (interfaccia) è significativamente più alto del rumore bulk.

Risultati

• Stabilità della Soglia: La soglia di fault-tolerance ($\varepsilon_c$) per l'operazione di fusione diminuisce solo moderatamente all'aumentare del rumore delle coppie di Bell. Per $k=1$ (rumore uniforme), la soglia è $\approx 0,8683\%$. Anche a $k=11$ (dove il rumore delle coppie di Bell è 11 volte superiore al rumore delle porte locali), la soglia scende solo a $\approx 0,8339\%$, una riduzione assoluta di circa lo $0,034\%$.
• Dominanza del Bulk: I risultati confermano che la soglia asintotica è dominata dal rumore bulk piuttosto che dal rumore della seam. Ciò è attribuito alla scalabilità del numero di qubit: il bulk contiene $O(d^2)$ qubit per ogni round di estrazione dello sindrome, mentre la seam contiene solo $O(d)$ qubit. Di conseguenza, per $d \to \infty$, il contributo della seam al volume totale di errore spazio-temporale svanisce.
• Confronto con Sistemi Monolitici: Le soglie osservate ($\approx 0,86\%$) si allineano con l'intervallo riportato per gli esperimenti standard di memoria del codice di superficie ruotato ($0,5\% - 1,0\%$), suggerendo che la complessa struttura spazio-temporale dell'operazione di fusione non degrada drasticamente le prestazioni rispetto agli esperimenti di memoria, anche con interconnessioni rumorose.

Significatività e Rivendicazioni
Il lavoro sostiene che i suoi risultati forniscono intuizioni pratiche per la progettazione di architetture quantistiche distribuite. Nello specifico:

• Robustezza ai Link Imperfetti: La chirurgia di reticolo distribuita può tollerare collegamenti di entanglement imperfetti senza una perdita catastrofica nelle soglie di fault-tolerance.
• Compromesso tra Fedeltà e Tasso di Entanglement: La robustezza dell'operazione di fusione suggerisce un compromesso favorevole tra il tasso di generazione dell'entanglement e la fedeltà. I sistemi possono ottenere tassi di generazione dell'entanglement significativamente più elevati utilizzando coppie a minore fedeltà e minimizzando la necessità di una distillazione dell'entanglement estesa, che è probabilistica e dispendiosa in termini di risorse.
• Fattibilità di Architetture Modulari: I risultati supportano la fattibilità di architetture a codice di superficie modulari per il calcolo fault-tolerant, indicando che i requisiti stringenti per la fedeltà dell'entanglement possono essere rilassati rispetto alle capacità delle porte locali.

Gli autori concludono che, sebbene il loro studio si concentri sull'operazione elementare di fusione, gli argomenti di scalabilità riguardanti la tolleranza al rumore di confine probabilmente si estendono a operazioni logiche più ampie costruite con le primitive di fusione (merge) e divisione (split). Identificano direzioni per lavori futuri, tra cui lo studio di decodificatori adattati a profili di errore spazialmente variabili e l'estensione di questa analisi a CNOT, distillazione di stati magici e teletrasporto sotto vincoli hardware realistici.