Foliated Quantum Error Correction for Qudits

Sintesi Tecnica: Correzione degli Errori Quantistici Foliata per Qudit

Enunciato del Problema
Il calcolo quantistico basato sulla misura (MBQC) è un paradigma in cui il calcolo viene eseguito su uno stato a grafo pre-preparato tramite misurazioni di singoli qubit (o qudit). Sebbene l'MBQC tollerante ai guasti sia ben stabilito per i qubit (ad esempio, lo stato a cluster 3D di Raussendorf che foglia il codice di superficie), estendere questi protocolli tolleranti ai guasti a sistemi a dimensioni superiori (qudit) rimane una sfida aperta. Sebbene i codici qudit offrano teoricamente soglie di correzione degli errori più elevate, l'implementazione pratica è ostacolata da modelli di rumore complessi e sfide di controllo in molte piattaforme fisiche. Tuttavia, nei sistemi fotonici, gli stati ad alta dimensionalità sono facilmente disponibili e il meccanismo di rumore dominante (perdita di fotoni) è indipendente dalla dimensione. Ciò crea una specifica motivazione per sviluppare protocolli MBQC tolleranti ai guasti per qudit di dimensione prima per sfruttare questi potenziali vantaggi di soglia.

Metodologia
Gli autori presentano un framework generale per "foliare" qualsiasi codice di correzione dell'errore quantistico basato su Pauli definito su qudit di dimensione prima ($d$). La costruzione generalizza il lavoro precedente sui codici CSS e non-CSS per qubit al contesto dei qudit, inclusi i codici dinamici.

1. Costruzione dello Stato a Grafo: Il framework definisce uno stato a grafo qudit $\Lambda$ indicizzato da 3-uple $(tipo, etichetta, tempo)$.

   • Qudit di Dati: Rappresentati come nodi $(0, q, t)$, formano catene lineari dove i passi temporali adiacenti sono connessi da archi con pesi $(-1)^t$.
   • Qudit Ancilla: Rappresentati come nodi $(1, c, t)$, corrispondenti ai controlli di sindrome al tempo $t$.
   • Entanglement: Le ancille sono entangled con i qudit di dati tramite gate Controlled-Z ($CZ$) con pesi determinati dalla matrice di controllo della parità $H(t)$ del codice. Per i codici CSS, le ancille ai passi temporali pari/dispari si connettono rispettivamente ai qudit di tipo $Z$ e di tipo $X$. Per i codici non-CSS, sono necessari archi aggiuntivi e basi di misurazione modificate per preservare la commutatività.

2. Foliazione e Detector:

   • Il protocollo prevede la preparazione dello stato a grafo ed l'esecuzione di misurazioni nella base $X$ su tutti i qudit (eccetto le condizioni al contorno iniziale/finale).
   • Detector: Per abilitare la correzione degli errori, gli autori definiscono i "detector" come stabilizzatori dello stato a grafo che commutano con tutte le misurazioni. Un detector $D(c, t)$ è costruito prendendo il prodotto di una misurazione ancilla al tempo $t$, l'inverso della stessa misurazione ancilla al tempo $t+2$, e le misurazioni dei qudit di dati nel passo temporale intermedio $t+1$, pesati dai termini della matrice di controllo.
   • Correzione degli Errori: In presenza di errori, questi detector non riescono a stabilizzare lo stato post-misurazione. Gli autori dimostrano che, sotto un modello di rumore fenomenologico (errori Pauli $Z$ sullo stato a grafo), il problema della correzione degli errori mappa direttamente l'implementazione circuitale del codice.

3. Generalizzazione: Il framework accoglie:

   • Codici CSS: Codici stabilizzatori e subsystem dove i controlli sono puramente $X$ o $Z$.
   • Codici Non-CSS: Codici con controlli misti $X$ e $Z$ (ad esempio, il codice $[[5,1,3]]$), che richiedono pesi di arco specifici tra le ancelle e basi di misurazione modificate ($XZ^{-p_X p_Z}$).
   • Codici Dinamici: Codici dove l'insieme dei controlli misurati cambia nel tempo (ad esempio, i codici di Floquet), richiedendo detector che coprono più passi temporali.

Contributi Chiave

• Framework Generale: Una definizione costruttiva per foliare arbitrari codici qudit basati su Pauli (stabilizer, subsystem e dinamici) in uno stato a grafo basato sulla misura.
• Estensione Non-CSS e Dinamica: La prima costruzione esplicita per foliare codici qudit non-CSS e codici qudit dinamici (specificamente generalizzando il codice honeycomb).
• Validazione Numerica: Gli autori simulano numericamente il codice torico qudit foliato utilizzando un decoder di tipo Hard-Decisions Renormalization Group (HDRG). Calcolano le soglie di errore per varie dimensioni $d$.
• Analisi della Soglia: Le simulazioni mostrano che la soglia di correzione degli errori aumenta con la dimensione del qudit $d$. Ad esempio, la soglia sale da $\approx 0.023$ per $d=3$ a $\approx 0.088$ per $d=7919$. Questi valori sono comparabili o superiori a quelli delle versioni circuitali non-foliate.

Risultati

• Codice Torico: Il codice torico qudit foliato è stato simulato sotto rumore Pauli $Z$. I risultati confermano che la costruzione foliata mantiene la tolleranza ai guasti con soglie che scalano favorevolmente con la dimensione. Gli autori notano che le soglie osservate sono più alte dei precedenti risultati circuitali, attribuendo ciò in parte all'uso di un codice torico ruotato e di una strategia di albero ricoprente a peso minimo modificata nel decoder.
• Codice Perfetto: Il framework è stato applicato con successo al codice perfetto qudit $[[5,1,3]]$ (un esempio non-CSS), dimostrando la capacità di gestire controlli misti e l'entanglement tra ancelle.
• Codice Honeycomb: È stata costruita una generalizzazione qudit del codice honeycomb CSS, illustrando la foliazione di un codice dinamico dove i detector coprono più passi temporali (ad esempio, da $t=0$ a $t=4$).

Significatività e Rivendicazioni
Il lavoro rivendica di fornire un framework fondamentale per l'MBQC ad alta dimensionalità. La significatività risiede in:

1. Rilevanza per le Piattaforme: Affronta direttamente le necessità delle piattaforme fotoniche dove gli stati ad alta dimensionalità sono nativi e i protocolli basati sulla misura sono naturali.
2. Unificazione Teorica: Unifica la foliazione di codici stabilizer, subsystem e dinamici sotto un'unica costruzione di stato a grafo per i qudit.
3. Fattibilità Pratica: Gli autori sostengono che non è richiesta la costruzione dell'intero stato a grafo; solo 2–3 strati devono essere mantenuti in memoria alla volta, con i successivi generati su richiesta. Ciò si allinea alle strategie di calcolo quantistico basato sulla fusione (FBQC), suggerendo una via verso un'implementazione efficiente delle risorse nei sistemi fotonici.

Il lavoro non rivendica l'implementazione sperimentale di questi codici, ma fornisce la costruzione teorica e l'evidenza numerica necessaria per motivarne l'implementazione in future architetture fotoniche.