Computing with many encoded logical qubits beyond break-even

Titolo: Calcolo con molti qubit logici codificati oltre il punto di pareggio (Beyond Break-Even)

1. Il Problema

L'obiettivo principale del calcolo quantistico fault-tolerant (FT) è eseguire algoritmi complessi che superino le capacità dei computer classici. Tuttavia, le implementazioni sperimentali attuali sono limitate da due fattori critici:

• Overhead di risorse: I codici di correzione degli errori (QEC) tradizionali richiedono un numero enorme di qubit fisici per codificare pochi qubit logici, rendendo difficile scalare a sistemi di grandi dimensioni.
• Soglia di errore: Finora, l'esecuzione di calcoli con qubit logici codificati non ha superato le prestazioni dei qubit fisici non codificati (il cosiddetto "punto di pareggio" o break-even), a causa degli errori introdotti dai circuiti di correzione stessa.

La sfida è dimostrare che è possibile eseguire calcoli su un numero significativo di qubit logici (decine o centinaia) utilizzando codici ad alto tasso di codifica (high-rate codes) su hardware reale, ottenendo una fedeltà superiore rispetto all'uso diretto dei qubit fisici.

2. Metodologia e Hardware

Il team di ricerca di Quantinuum ha utilizzato il processore quantistico a ioni intrappolati Helios, composto da 98 qubit fisici (ioni di $^{137}\text{Ba}^+$). L'architettura QCCD (Quantum Charge-Coupled Device) di Helios offre connettività arbitraria tra i qubit, essenziale per implementare codici geometricamente non locali con overhead ridotto.

Codici Utilizzati:

• Codici "Iceberg" (QED - Quantum Error Detection): Codici a basso overhead che codificano $k$ qubit logici utilizzando solo $k+2$ qubit fisici (due qubit ancilla aggiuntivi). Hanno distanza $d=2$ e possono rilevare qualsiasi errore su un singolo qubit.
• Codici Iceberg Concatenati (QEC - Quantum Error Correction): Per ottenere correzione degli errori (non solo rilevamento), i codici Iceberg sono stati concatenati. Ad esempio, un codice $I_{k_2} \circ I_{k_1}$ crea un codice con parametri $\llbracket n_1 n_2, k_1 k_2, d_1 d_2 \rrbracket$. In questo lavoro, sono stati implementati codici concatenati con distanza $d=4$ (es. $I_8 \circ I_6$).

Tecniche Chiave:

• Operazioni Parzialmente Fault-Tolerant (pFT): Per evitare il costo elevato della sintesi di porte non-Clifford, sono state utilizzate rotazioni di Pauli logiche a parametri continui native dell'hardware.
• Nuovi "Gadget": Sono stati sviluppati nuovi circuiti per l'inizializzazione, l'estrazione dei sindromi (syndrome extraction) e la lettura (readout) dei qubit logici, ottimizzati per la parallelizzazione su Helios (utilizzando stati GHZ per gli ancilla).
• Post-selezione: Gli esperimenti utilizzano la post-selezione per scartare i risultati in cui vengono rilevati errori (o leakage), permettendo di dimostrare prestazioni superiori a parità di fedeltà, con un costo accettabile in termini di numero di shot necessari.

3. Contributi Chiave

Il lavoro introduce diverse innovazioni tecniche:

1. Implementazione su larga scala: Esecuzione di calcoli con fino a 94 qubit logici (in codici QED) e 48 qubit logici (in codici QEC concatenati), un record per il numero di qubit logici operativi in un singolo esperimento.
2. Superamento del punto di pareggio (Beyond Break-Even): Dimostrazione che i qubit logici codificati, in diverse configurazioni, hanno una fedeltà superiore rispetto ai qubit fisici non codificati.
3. Ciclo QEC Efficiente: Sviluppo di un ciclo di correzione degli errori per codici concatenati a distanza $d=4$ che richiede solo 18 qubit ancilla fisici, riducendo drasticamente l'overhead spaziotemporale rispetto ai metodi precedenti (come lo stile Knill).
4. Benchmarking Completo: Valutazione delle prestazioni su molteplici fronti:
   • Preparazione e misura dello stato (SPAM).
   • Benchmarking di porte logiche (Cycle Benchmarking).
   • Preparazione di stati entangled su larga scala (Stati GHZ).
   • Simulazione quantistica di un modello magnetico (Modello XY 3D).

4. Risultati Principali

• Prestazioni SPAM (State Preparation and Measurement):

  • La preparazione di 48 qubit logici nel codice concatenato $I_8 \circ I_6$ ($d=4$) ha mostrato una fedeltà superiore di un ordine di grandezza rispetto ai qubit fisici.
  • Non sono stati registrati errori logici in 4000 shot per il codice concatenato, con un limite superiore di infedeltà di $8.3 \times 10^{-6}$ per qubit logico.

• Ciclo QEC e Memoria Logica:

  • Per il codice $I_8 \circ I_6$, l'infedeltà media per ciclo QEC è stata limitata a $4 \times 10^{-5}$, con un tasso di accettazione (acceptance rate) del 62% dopo la post-selezione.
  • Confrontando l'errore di memoria logica con l'errore di memoria fisica (non leakage), si è osservato che il QEC migliora la memoria, indicando che l'hardware è al di sotto della soglia pseudo-fault-tolerant per questo codice.
  • L'aumento della distanza del codice (da $d=2$ a $d=4$ tramite concatenazione) ha aumentato significativamente il tasso di accettazione (da ~0.945 a ~0.972), permettendo calcoli FT più lunghi.

• Porte Logiche:

  • Le porte logiche (incluso il gate FANOUT e rotazioni $U_{ZZ}$) hanno mostrato infedeltà nell'ordine di $1.0-1.2 \times 10^{-4}$, superando di gran lunga l'errore delle porte fisiche a due qubit ($\sim 8 \times 10^{-4}$).

• Stati GHZ:

  • Preparazione di stati GHZ logici su 94 qubit con fedeltà del ~95%.
  • Nessun errore logico registrato nei codici $I_8 \circ I_6$ e in configurazioni leakage-heralded con 60 qubit logici.

• Simulazione del Modello XY 3D:

  • È stata eseguita una simulazione di un modello magnetico quantistico tridimensionale (4x4x4) su 64 qubit logici.
  • Utilizzando un protocollo di "Mirror Benchmarking", si è osservato che l'errore effettivo per porta ($\tilde{\epsilon}_{2Q}$) è stato ridotto di circa il 30% grazie alla codifica, rispetto alla simulazione non codificata.
  • Questo dimostra la fattibilità di simulazioni quantistiche su scala "oltre-classica" (dove la simulazione classica diretta diventa impossibile) utilizzando codici ad alto tasso.

5. Significato e Prospettive

Questo lavoro rappresenta un punto di svolta nella computazione quantistica fault-tolerant:

• Fattibilità Pratica: Dimostra che i codici ad alto tasso (high-rate codes) come i codici Iceberg sono una soluzione praticabile per scalare i computer quantistici attuali, offrendo un ottimo compromesso tra overhead e capacità di correzione.
• Scalabilità: La capacità di concatenare i codici per aumentare la distanza senza degradare la fedeltà apre la strada a calcoli FT più lunghi e complessi.
• Oltre il Classico: I risultati forniscono la prima evidenza sperimentale che i computer quantistici possono eseguire calcoli su molti qubit logici codificati che superano le prestazioni dei loro equivalenti non codificati, un prerequisito fondamentale per raggiungere il vantaggio quantistico in applicazioni reali.
• Futuro: Il successo di queste simulazioni su modelli 3D suggerisce che l'estensione a modelli di materia condensata più complessi (come Hubbard o Kitaev) è ora alla portata, specialmente combinando queste tecniche con architetture a connettività arbitraria (ioni intrappolati e atomi neutri).

In sintesi, il paper conferma che l'era del calcolo quantistico fault-tolerant su larga scala è iniziata, con dimostrazioni concrete di superiorità delle prestazioni logiche rispetto a quelle fisiche su un hardware reale.