Opportunities and challenges in scaling quantum error detection on hardware

Sintesi Tecnica: Opportunità e Sfide nel Scalare la Rilevazione degli Errori Quantistici sull'Hardware

Enunciato del Problema
La rilevazione degli errori quantistici (QED) offre una via per ottenere valori di aspettazione non distorti che convergono esponenzialmente verso risultati privi di rumore all'aumentare della distanza del codice. A differenza di molte tecniche di mitigazione degli errori euristica che producono stimatori distorti, la QED scarta gli stati finali fuori dal sottospazio logico di un codice scelto, producendo teoricamente risultati non distorti se tutti gli errori sono correggibili. Tuttavia, la QED rimane relativamente poco studiata sull'hardware quantistico a causa di due principali sfide di scalabilità:

1. Sovraccarico di Campionamento: Il numero di campioni (shot) necessari per rilevare le parole di codice cresce esponenzialmente con la profondità del circuito e i livelli di rumore nella maggior parte dei modelli di rumore.
2. Sovraccarico di Elaborazione Classica: L'elaborazione classica pre- e post-circuito necessaria per identificare le parole di codice o valutare i proiettori necessari scala generalmente in modo esponenziale con la dimensione del codice (specificamente $2^r$, dove $r$ è il numero di generatori di stabilizzatore).
   Inoltre, il sovraccarico costante dell'incorporazione delle operazioni logiche sull'hardware fisico può degradare le prestazioni se il rumore introdotto dalla codifica e dall'instradamento supera i benefici della rilevazione degli errori.

Metodologia
Gli autori hanno condotto un'analisi di benchmark completa su computer quantistici IBM reali e ambienti rumorosi simulati per valutare la scalabilità della QED. Lo studio ha utilizzato due codici specifici:

• Codice di Ripetizione: Un codice $[[n, 1, n]]$ utilizzato per esperimenti di memoria e preparazione di stati di Bell logici. Questo codice è classico (corregge solo errori di inversione di bit) e permette una codifica banale nella base $Z$.
• Codice di Colore Triangolare: Un codice quantistico $[[n, 1, d]]$ (specificamente il codice di Steane per $d=3$ e generalizzazioni per $d=5, 7$) capace di correggere sia errori di inversione di bit che di fase. Questo codice richiede circuiti di codifica unitari non banali.

Gli esperimenti sono stati eseguiti su dispositivi IBM (Kyiv, Fez, Boston, Aachen) utilizzando fino a 74 qubit fisici e 3.146 porte a due qubit fisiche. Gli autori hanno preparato stati di Bell logici e misurato i valori di aspettazione ($\langle \bar{Z}\bar{Z} \rangle$, $\langle \bar{X}\bar{X} \rangle$, $\langle \bar{Z} \rangle$) variando la distanza del codice ($n$) e la profondità del circuito ($D$). Hanno inoltre applicato il disaccoppiamento dinamico (DD) per mitigare gli errori durante i tempi di inattività. Per analizzare i limiti della tecnica, gli autori hanno stimato la pseudo-soglia—il livello di rumore al di sotto del quale la QED supera gli esperimenti fisici—per il codice di colore triangolare utilizzando simulazioni rumorose con rumore di depolarizzazione a singolo qubit.

Risultati Chiave

• Convergenza Esponenziale: Sull'hardware, l'accuratezza dei valori di aspettazione ottenuti tramite QED converge esponenzialmente al valore ideale privo di rumore all'aumentare del numero di qubit fisici (distanza del codice). Ciò è stato osservato sia negli esperimenti di memoria con codice di ripetizione sia nella preparazione di stati di Bell logici.
• Prestazioni vs Qubit Fisici: Negli esperimenti con codice di ripetizione, i risultati codificati hanno costantemente superato i risultati fisici in media. Per il codice di colore triangolare, i risultati codificati hanno superato i risultati fisici alla distanza $d=3$ ($n=14$) su tutte le profondità testate. Tuttavia, a $d=5$ ($n=38$), si è verificato un incrocio in cui i risultati codificati sono diventati peggiori di quelli fisici oltre una certa profondità del circuito ($D=30$), illustrando l'esistenza di una pseudo-soglia.
• Limiti di Campionamento e Classici: Lo studio ha confermato che il campionamento delle parole di codice diventa esponenzialmente difficile. Per il codice di colore triangolare a distanza $d=7$ ($n=74$), non sono state campionate parole di codice sull'hardware dopo $10^6$ shot. Le simulazioni hanno indicato che per $n \ge 25$, il calcolo delle parole di codice dai generatori di stabilizzatore richiede ore di calcolo o supera le capacità di memoria, evidenziando il severo collo di bottiglia classico.
• Comportamento della Pseudo-soglia: La pseudo-soglia stimata $p^*$ per il codice di colore triangolare scende esponenzialmente con la profondità del circuito. Questo definisce una regione sotto-soglia in cui la rilevazione degli errori fornisce prestazioni superiori, analogamente alle soglie nella correzione completa degli errori quantistici, ma dipendente da specifici parametri di circuito e rumore.
• Sovraccarico di Codifica: Lo studio ha evidenziato che i circuiti di codifica non banali (richiesti per il codice di colore triangolare) introducono un sovraccarico significativo in profondità e porte a due qubit, che può spingere i tassi di errore effettivi al di sopra della pseudo-soglia se non ottimizzati.

Significato e Affermazioni
Il paper afferma di fornire un quadro chiaro delle opportunità e delle sfide per la scalabilità della QED sull'hardware attuale e futuro prossimo. Il significato principale risiede nel dimostrare che la QED può effettivamente produrre risultati non distorti e a convergenza esponenziale su hardware reale, validando il suo potenziale come potente tecnica di mitigazione degli errori. Gli autori affermano che, sebbene il campionamento e l'elaborazione classica rimangano ostacoli significativi, i risultati sperimentali mostrano una "forte promessa" per scalare la QED alla scala "Megaquop" e oltre, a condizione che i tassi di rumore rimangano al di sotto della pseudo-soglia.

Gli autori mantengono un atteggiamento modesto riguardo alla praticità immediata del metodo, riconoscendo di non aver normalizzato i miglioramenti in base al massiccio aumento delle risorse di campionamento richieste. Sostengono che il lavoro futuro deve concentrarsi sull'alleggerimento dei sovraccarichi esponenziali di campionamento ed elaborazione classica (citando tecniche come l'espansione generalizzata del sottospazio e la tomografia dell'ombra logica) per abilitare esperimenti su larga scala orientati alle applicazioni. Il lavoro funge da benchmark per la frontiera attuale della QED, mappando dove ha successo e dove i sovraccarichi ne impediscono attualmente la superiorità rispetto agli esperimenti fisici grezzi.