Breakeven demonstration of quantum low-density parity-check codes

Sintesi Tecnica: Dimostrazione del Breakeven di Codici Quantum Low-Density Parity-Check

Problematica
Il calcolo quantistico tollerante ai guasti (FTQC) richiede un'estesa correzione degli errori quantistici (QEC). Sebbene il codice di superficie sia una scelta popolare grazie alla sua compatibilità con architetture a vicinato prossimo 2D, esso soffre di un enorme overhead di qubit, richiedendo centinaia di qubit fisici per ogni qubit logico. I codici quantum low-density parity-check (qLDPC) offrono un'alternativa promettente rilassando i vincoli di località, permettendo tassi di codifica più elevati e un overhead ridotto. Tuttavia, la realizzazione sperimentale dei codici qLDPC è ostacolata dalla necessità di gate non locali e configurazioni hardware complesse. Dimostrazioni precedenti, come uno specifico codice bivariate bicycle (BB) su qubit superconduttori, hanno richiesto hardware su misura con accoppiatori a lungo raggio e hanno ottenuto tassi di errore logico che non erano ancora competitivi con la vita utile dei qubit fisici (breakeven).

Metodologia
Gli autori hanno utilizzato un computer quantistico a ioni intrappolati composto da una catena stazionaria di quaranta ioni $^{133}\text{Ba}^+$. Il sistema sfrutta due vantaggi architettonici chiave:

1. Connettività All-to-All: I gate sono implementati utilizzando fasci Raman sterzabili che indirizzano qualsiasi ione o coppia di ioni nella catena, eliminando la necessità di trasporto fisico degli ioni.
2. Architettura Optical-Metastable-Ground (OMG): Un'implementazione innovativa che consente la misurazione mid-circuit (MCM) e il reset indirizzabili senza ioni di raffreddamento dedicati.
   • Meccanismo: I qubit inattivi vengono "riposti" (shelved) in un manifold metastabile ($5^2D_{5/2}$) utilizzando un fascio globale a 1762 nm. Specifici "ancilla di readout" vengono selettivamente "de-riposti" (deshelved) nello stato fondamentale ($6^2S_{1/2}$) per la misurazione.
   • Raffreddamento Simpatico: Gli ancilla misurati vengono utilizzati per raffreddare simpaticamente l'intera catena, eliminando la necessità di separati ioni di raffreddamento (che tipicamente consumano fino al 50% del numero di ioni nei sistemi basati sul trasporto).
   • Gestione della Leakage: Il sistema rileva la fuga (leakage) fuori dal manifold dei qubit tramite controlli di fluorescenza. Sebbene l'approccio principale preveda la post-selezione (scartando i campioni con leakage rilevato), gli autori osservano che questo può essere convertito in erasure mediante reset condizionali.

Gli esperimenti hanno dimostrato nove distinti codici di correzione dell'errore quantistico appartenenti a tre famiglie senza alcuna riconfigurazione dell'hardware:

• Codici qLDPC: Cinque codici, inclusi tre varianti BB5 e due codici GB4 (stabilizzatori di peso 4).
• Codici Topologici: Un codice torico standard ($d=3$) e una variante ruotata ($d=4$).
• Codici Concatenati: Il codice $[[4, 2, 2]]$ concatenato con se stesso.

Esperimenti di memoria sono stati condotti preparando gli autostati logici ($X_L$ e $Z_L$) e ripetendo i cicli di sindrome (fino a 6 cicli). I dati di sindrome sono stati decodificati tramite un decoder a fascio (beam decoder).

Risultati Chiave

• Tassi di Errore Logico: Utilizzando un codice BB5 che codifica 4 qubit logici in 18 qubit fisici, gli autori hanno ottenuto tassi di errore logico significativamente inferiori rispetto a una precedente dimostrazione su superconduttori di un simile codice BB (codifica 4 qubit logici in 18 transmon). Nello specifico, il tasso di errore logico è stato 4 volte inferiore per gli errori Z e 9 volte inferiore per gli errori X rispetto al benchmark superconduttore.
• Performance di Breakeven: Lo studio riporta la prima dimostrazione di performance di breakeven per i codici qLDPC. La durata dei qubit logici è stata comparabile, e in alcuni casi leggermente superiore, alla durata dei qubit fisici sottostanti.
  • L'istanza del codice con le migliori prestazioni (GB4 $[[26, 2, 5]]$) ha esibito una durata del qubit logico di 3,95 $\pm$ 0,68 s, rispetto a 3,3 $\pm$ 0,9 s per i qubit fisici.
  • Per il codice BB5 $[[18, 4, 3]]$, la durata logica è stata comparabile alla durata del qubit fisico ($T_2^* \approx 1,1 \pm 0,3$ s per $X_L$ e $T_1 \approx 3,3 \pm 0,9$ s per $Z_L$).
• Flessibilità: Lo stesso hardware ha implementato con successo codici con requisiti di connettività vastamente differenti (dai codici torici locali ai codici qLDPC altamente non locali) esclusivamente tramite la riconfigurazione software delle sequenze di gate e delle mappature dei qubit.

Significato e Rivendicazioni
Il paper sostiene che questo lavoro rappresenti una pietra miliare significativa verso architetture fault-tolerant efficienti nei qubit. Sfruttando la flessibilità dei sistemi a ioni intrappolati, gli autori dimostrano che i codici qLDPC ad alto tasso possono essere implementati senza i vincoli hardware che hanno precedentemente limitato la loro realizzazione sperimentale. La riuscita dimostrazione della performance di breakeven (dove i qubit logici vivono quanto o più dei qubit fisici) per i codici qLDPC suggerisce che questi codici siano candidati validi per le prime generazioni di FTQC. L'implementazione della nuova architettura OMG è evidenziata come un abilitatore critico, consentendo misurazioni mid-circuit e raffreddamento scalabili senza l'overhead del trasporto ionico o di specie di raffreddamento dedicate. Il lavoro sottolinea che i dispositivi a ioni intrappolati sono una piattaforma naturale per realizzare la complessa connettività richiesta dai codici qLDPC.