LUCI on IBM Hardware: Error Suppression with Almost Half Syndrome Density

Sintesi Tecnica: LUCI su Hardware IBM

Problematica
La computazione quantistica fault-tolerant scalabile richiede qubit logici in grado di preservare il proprio stato per tempi di esecuzione prolungati. Sebbene il codice di superficie sia il protocollo di Correzione degli Errori Quantistici (QEC) più pratico per processori con vincoli di connettività locale, grazie alla sua alta soglia, le implementazioni tradizionali si affidano a circuiti di estrazione dei sindromi statici. Questi circuiti rigidi impongono severi vincoli di connettività e sono vulnerabili ai difetti hardware (ad esempio, qubit o accoppiatori non funzionanti). Recenti framework teorici, come LUCI (Logical Unitary Circuit Implementation), propongono subroutine dinamiche che possono aggirare i componenti difettosi alterando gli schemi di misurazione. Tuttavia, questa flessibilità comporta una riduzione della distanza temporale, richiedendo più round per estrarre un sindrome completo. Fondamentalmente, questi approcci dinamici non erano stati dimostrati sperimentalmente su hardware fisico, né la loro performance era stata confrontata con i codici statici standard in assenza di difetti fisici, in particolare riguardo al trade-off della "densità del sindrome" (il rapporto tra i bit del sindrome misurati e il totale dei bit possibili per ciclo).

Metodologia
Gli autori hanno testato sperimentalmente il framework LUCI rispetto al codice di superficie ruotato standard sul processore quantistico superconduttore IBM ibm_miami. Lo studio ha utilizzato uno scenario "reset-free", in cui le operazioni di reset dei qubit fisici sono state omesse per evitare tempi di inattività e problemi di leakage, affidandosi invece all'elaborazione post-classica per definire i detector.

Le principali fasi metodologiche includono:

• Scheduling Dinamico: Il framework LUCI è stato implementato utilizzando stati mid-cycle, dove il circuito alterna due round distinti (un baseline e una variante) per estrarre il sindrome completo. Ciò contrasta con il codice di superficie standard, che estrae il sindrome completo in un singolo round.
• Scaling Asimmetrico: Per mirare a specifici errori logici, i ricercatori hanno scalato i patch QEC in modo asimmetrico. Hanno testato patch con distanza $d=3$ e li hanno estesi a patch rettangolari con dimensioni $(d_x=5, d_z=3)$ per sopprimere gli errori logici X, o $(d_x=3, d_z=5)$ per sopprimere gli errori logici Z.
• Analisi della Densità del Sindrome: Lo studio ha quantificato la "densità del sindrome" ($\rho$). Mentre il codice di superficie standard mantiene una densità pari a 1, il framework LUCI, richiedendo due round per l'estrazione completa, ha ottenuto una densità di circa 0,6 per i patch $d=3$ e di 0,588 per i patch estesi.
• Vincoli Hardware: Gli esperimenti sono stati condotti in una regione del processore priva di difetti. Tuttavia, la mappatura per il codice di superficie standard nella base X è stata costretta a utilizzare un accoppiatore altamente rumoroso (tasso di errore $\sim15\%$) a causa dei rigidi requisiti di connettività, mentre lo scheduling flessibile di LUCI ha permesso di evitare questo specifico componente rumoroso.
• Decoding: I tassi di errore logico sono stati decodificati utilizzando un decoder Minimum Weight Perfect Matching (MWPM) correlato (PyMatching), pesato dai dati di calibrazione per gate e misurazioni.

Risultati Chiave
Gli autori hanno confrontato i rapporti di soppressione dell'errore ($\Lambda_{5/3} = \epsilon^r_{d=3} / \epsilon^r_{d=5}$) tra il codice di superficie standard e il framework LUCI:

• Errori Logici X: Il framework LUCI ha dimostrato una soppressione dell'errore superiore con un rapporto di 1,75(10), rispetto all'1,58(13) del codice di superficie standard. Questo miglioramento è attribuito alla capacità di LUCI di evitare l'accoppiatore altamente rumoroso che il codice standard era costretto a utilizzare.
• Errori Logici Z: Il codice di superficie standard ha mostrato una soppressione maggiore per gli errori Z (2,44(7)) rispetto a LUCI (1,93(12)).
• Performance Complessiva: Nonostante il framework LUCI operi con quasi la metà della densità del sindrome nel tempo (richiedendo due round per il sindrome completo), è rimasto competitivo con il codice di superficie ruotato standard.
• Inomogeneità del Rumore: I risultati hanno evidenziato che i circuiti di estrazione del sindrome standard non sono sempre ottimali, anche in regioni prive di difetti, quando il rumore hardware è inomogeneo. Lo scheduling dinamico di LUCI ha bypassato con successo un componente specifico rumoroso, ottenendo migliori tassi di errore logico per gli errori mirati pur preservando i confini logici.

Significatività e Rivendicazioni
Il paper sostiene di aver colmato il divario tra i codici dinamici teorici e l'implementazione pratica sull'hardware. I suoi contributi primari sono:

1. Verifica Sperimentale: Fornisce la prima dimostrazione sperimentale del framework LUCI su hardware quantistico fisico, verificandone la fattibilità in assenza di difetti fisici.
2. Performance sotto Ridotta Distanza Temporale: Sfida la dipendenza convenzionale dalle architetture fault-tolerant statiche, mostrando che i codici dinamici possono superare i metodi standard anche quando operano con una densità del sindrome temporale ridotta (densità dimezzata).
3. Compatibilità Hardware: Il lavoro dimostra che i codici dinamici possono evitare attivamente i componenti altamente rumorosi in ambienti hardware inomogenei, offrendo un'alternativa valida per massimizzare le performance su processori di generazione attuale.
4. Implementazione Reset-Free: Implementa con successo una definizione di detector reset-free all'interno del framework LUCI, provando che una QEC ad alte prestazioni è possibile senza fare affidamento su operazioni di reset fisico.

Gli autori concludono che queste scoperte aprono la strada a progettazioni di codici ibridi e compatibili con l'hardware, suggerendo che l'estrazione dinamica del sindrome è un approccio pratico per la preservazione dei qubit logici in presenza di inomogeneità del rumore hardware.