Design rules for fault-tolerant multi-gate teleportation

Sintesi Tecnica: Regole di Progettazione per la Teletrasporto Multi-Gate Tollerante ai Guasti

Definizione del Problema
Il calcolo quantistico distribuito (DQC) si basa sul teletrasporto di gate remoti tra moduli per scalare la potenza computazionale. Il teletrasporto di gate sequenziale standard consuma un bit entangled (ebit) per ogni gate remoto. Il teletrasporto multi-gate (MGT) offre un'ottimizzazione delle risorse raggruppando $n$ gate remoti in un singolo "pacchetto" guidato da un solo ebit, utilizzando un albero di fan-out CNOT locale per distribuire il controllo. Sebbene ciò risparmi $n-1$ ebit, introduce un rischio critico per la tolleranza ai guasti: un singolo guasto sul link non locale si propaga attraverso l'albero di fan-out, iniettando un errore Pauli correlato di peso-$n$ sui qubit target. Ciò contrasta con il teletrasporto sequenziale, dove i guasti del link producono errori indipendenti di peso-1. Il problema centrale affrontato è determinare la dimensione massima del pacchetto $n$ che preservi la tolleranza ai guasti sotto questo modello di errore correlato, specificamente per i codici di superficie ruotati, e identificare se i decoder standard possano sfruttare la nota struttura di correlazione.

Metodologia
Il documento impiega una combinazione di derivazione analitica e simulazione numerica:

1. Modellazione dell'Errore: Gli autori modellano un pacchetto MGT a controllo identico dove un singolo CNOT non locale è seguito da CNOT di fan-out locali. Dimostrano che un guasto sul qubit di controllo (o sul link non locale) si propaga creando una stringa Pauli contigua di peso-$n$ sui target. Sotto rumore depolarizzante, il tasso effettivo per questo errore pericoloso è $2p_{net}/3$.
2. Regole di Progettazione Analitiche: Gli autori derivano le dimensioni massime dei pacchetti basandosi sui meccanismi di guasto del decoder Minimum Weight Perfect Matching (MWPM). Analizzano la condizione in cui un errore di peso-$n$ e il suo complemento lungo un operatore logico formano una coppia di sindrome degenere.
3. Simulazione Numerica: Utilizzando PyMatching, gli autori simulano modelli di errore del detector (DEM) per codici di superficie ruotati di distanza $d \in \{5, 7, 9\}$. Confrontano due configurazioni di decoder:
   • Decoder Naive: Costruito da un DEM di base che tratta il pacchetto come $n$ errori indipendenti.
   • Decoder Consapevole della Correlazione (Correlation-Aware): Costruito dal DEM specifico del circuito del pacchetto, che codifica l'errore correlato come un singolo arco con peso $-\ln(p_{net})$.
4. Metriche di Prestazione: Lo studio valuta i tassi di errore logico (LER) al variare dei rapporti di rumore rete-gate ($\gamma = p_{net}/p_{gate}$), confrontando il pacchetto MGT con un baseline sequenziale per singolo link.

Contributi Chiave

1. Caratterizzazione dell'Errore Correlato: Il documento stabilisce che i pacchetti MGT producono intrinsecamente errori Pauli contigui di peso-$n$ da singoli guasti di rete, una modalità di guasto distinta dai modelli di rumore indipendente per singolo link utilizzati nella letteratura precedente sul calcolo distribuito.
2. Regole di Progettazione per la Dimensione del Pacchetto: Gli autori derivano due distinti limiti per la dimensione massima sicura del pacchetto $n_{max}$ per un codice di distanza $d$:
   • Limite Naive: $n_{max}^{naive} = \lfloor d/2 \rfloor$. Questo si applica se il decoder ignora la correlazione.
   • Limite Correlation-Aware: $n_{max}^{corr} = \lceil d/2 \rceil$. Questo limite è raggiungibile se il decoder tratta l'errore correlato come un singolo arco a basso peso.
   • L'estensione da $\lfloor d/2 \rfloor$ a $\lceil d/2 \rceil$ avviene perché il decoder consapevole della correlazione riconosce l'errore del singolo pacchetto come meno costoso rispetto ai $n$ errori indipendenti necessari per formare il percorso complementare nel grafo del matching.
3. Integrazione del Decoder: Il documento dimosta che non è richiesta alcuna architettura di decoder personalizzata per raggiungere il limite migliorato. Il decoder MWPM standard, quando costruito dal DEM a livello di circuito del pacchetto, codifica naturalmente la struttura di correlazione e corregge automaticamente l'errore di peso-$n$ fino al limite di $\lceil d/2 \rceil$.
4. Compromessi di Prestazione: Lo studio quantifica il compromesso tra il risparmio di entanglement e i tassi di errore. Identifica che MGT supera il teletrasporto sequenziale quando la rete è il collo di bottiglia ($\gamma \gg 1$), ma può incorrere in una leggera penalità a bassi $\gamma$ a causa dell'overhead dei gate di fan-out locali aggiuntivi.

Risultati

• Capacità di Correzione dell'Errore: Le simulazioni confermano che un decoder consapevole della correlazione corregge con successo pacchetti di dimensione $n = \lceil d/2 \rceil$. Ad esempio, a $d=9$, i pacchetti di dimensione $n=4$ sono correggibili, mentre un decoder naive fallisce a questa dimensione.
• Tassi di Errore Logico (LER):
  • A $\gamma$ moderati o elevati (ad es., $\gamma \ge 10$), il LER del pacchetto consapevole della correlazione eguaglia o supera il baseline sequenziale. Il vantaggio cresce sia con $\gamma$ che con $d$.
  • A bassi $\gamma$ ($\approx 1$), il LER del pacchetto è leggermente più alto (rapporto $\le 1.13$) perché i $n-1$ gate locali aggiuntivi introducono rumore di gate senza significativi risparmi di rete.
  • Il LER per il pacchetto consapevole della correlazione diventa indipendente da $\gamma$ (rimanendo al livello del rumore di gate), poiché il decoder assorbe il singolo guasto del pacchetto, mentre il baseline sequenziale accumula $n$ guasti di rete indipendenti.
• Schemi Ibridi: Per pacchetti che superano $n_{max}$, il documento propone un albero di fan-out $k$-ario (usando $k$ ebit) per ridurre il peso del peggior caso a $\approx n/k$, ripristinando la tolleranza ai guasti.

Significatività e Rivendicazioni
Il documento sostiene di fornire le prime regole di progettazione che tengono conto simultaneamente del risparmio di risorse di comunicazione e del rumore correlato nel calcolo quantistico distribuito. La sua principale significatività risiede nel permettere ai compilatori di circuiti distribuiti "consapevoli del rumore" di favorire la pacchettizzazione tramite fan-out senza sacrificare la tolleranza ai guasti.

Gli autori affermano che:

• Il risparmio di entanglement del MGT è vitale per il calcolo tollerante ai guasti, a condizione che la dimensione del pacchetto rispetti il limite $\lceil d/2 \rceil$ e che il decoder utilizzi il DEM a livello di circuito.
• La modalità di guasto correlato è una conseguenza strutturale del collo di bottiglia di 1-ebit, rendendo le conclusioni indipendenti dall'interfaccia (applicabili a protocolli EJPP, basati su misura o stati CAT).
• Nei regimi in cui il rumore di rete domina il rumore di gate locale ($\gamma \gtrsim 10$), coerentemente con le attuali stime sperimentali per gli interconnect fotonici, il MGT offre un vantaggio decisivo rispetto al teletrasporto sequenziale riducendo l'accumulo di errori di rete indipendenti.

Il documento rimane modesto riguardo al proprio ambito, osservando che le rivendicazioni quantitative sono specifiche per i codici di superficie ruotati e i modelli semplificati di rumore depolarizzante, mentre le conclusioni qualitative riguardanti i limiti strutturali si prevede si estendano ad altri codi CSS e decoder a peso minimo. Il lavoro futuro è differito a qLDPC, rumore con bias e integrazione completa del rumore a livello di circuito.