Surface Code with Imperfect Erasure Checks

Riepilogo Tecnico: Codice di Superficie con Check di Erasure Imperfetti

Problematica
I recenti progressi nella correzione degli errori quantistici (QEC) si sono concentrati sui "qubit di erasure" (qubit di cancellazione), in cui il rumore fisico dominante si manifesta come stati di leakage che possono essere rilevati e convertiti in erasure. Gli studi teorici indicano che i protocolli QEC che utilizzano errori di erasure possiedono distanze di errore effettive e tassi di errore di soglia significativamente più elevati rispetto a quelli soggetti a rumore Pauli standard. Tuttavia, questi vantaggi teorici assumono spesso check di erasure perfettamente accurati eseguiti dopo ogni operazione di gate. In pratica, l'implementazione di tali check perfetti comporta un carico di overhead temporale e hardware significativo. Ad esempio, nelle architetture di qubit dual-rail (DR) superconduttori, eseguire un check di erasure dedicato dopo ogni gate può raddoppiare il tempo del ciclo di correzione degli errori e introdurre nuovi errori durante il check stesso. Inoltre, i check di erasure pratici possono soffrire di imperfezioni, tra cui:

1. Risoluzione Temporale Imperfetta: Il check può rilevare un evento di leakage con un ritardo, il che significa che un flag sollevato al tempo $t$ potrebbe corrispondere a un evento di leakage al tempo $t$ o $t-1$.
2. Risoluzione Spaziale Imperfetta: Il check può indicare che si è verificato un leakage all'interno di un determinato gate a due qubit, ma non riesce a identificare quale dei due qubit partecipanti sia andato in leakage.

Questo lavoro investiga le conseguenze di tali imperfezioni sulle prestazioni del codice di superficie, chiedendosi se i vantaggi dei qubit di erasure persistano quando i check sono imperfetti ma efficienti in termini di overhead.

Metodologia
Gli autori analizzano il codice di superficie sotto quattro distinti modelli di rumore che combinano due tipi di errori Pauli indotti da leakage e due tipi di imperfezioni nei check di erasure:

• Modelli Pauli Indotti da Leakage:
  • Modello Pauli Generale: Un qubit in leakage induce un errore Pauli ($I, X, Y, Z$) sul qubit interagente con uguale probabilità.
  • Modello Pauli Tailored (Su Misura): Motivato dai qubit DR superconduttori (specificamente DR basati su cavità con check integrati), questo modello assume che l'errore indotto sia ristretto. Per un gate CZ, l'errore è tratto da $\{I, Z\}$; per un gate CX, da $\{I, X\}$. Questa restrizione deriva dalla specifica fisica della piattaforma DR.
• Imperfezioni del Check di Erasure:
  • Risoluzione Spaziale Perfetta: Il check identifica l'esatto qubit in leakage.
  • Risoluzione Spaziale Imperfetta: Il check identifica il gate contenente il leak ma non il qubit specifico, richiedendo il reset di entrambi i qubit.
  • Risoluzione Temporale Imperfetta: Caratterizzata da un parametro $\eta$, che rappresenta la probabilità che un leakage segnalato sia avvenuto nel gate corrente piuttosto che in quello immediatamente precedente.

Gli autori impiegano simulazioni Monte Carlo di rumore a livello di circuito stocastico combinato con un decoder Union-Find (UF) pesato. Il decoder è calibrato per tenere conto degli errori correlati introdotti dal rilevamento ritardato (dove un singolo evento di leakage può propagare errori a più qubit nel tempo) e dall'incertezza nella risoluzione spaziale. Valutano il tasso di errore di soglia ($p_{th}$) e la distanza di errore effettiva ($d_{eff}$) per vari valori di $\eta$ e della frazione di erasure $R_e$.

Risultati Chiave

1. Prestazioni di Soglia:

   • Sotto ipotesi fisicamente ragionevoli (ad esempio, $\eta \approx 0.986$ e $R_e \approx 0.98$), la soglia per il codice di superficie con check di erasure imperfetti rimane significativamente più alta di quella per il puro rumore Pauli ($\sim 1\%$).
   • Nello specifico, per il modello Pauli Tailored con check imperfetti, la soglia è approssimativamente del 4,23%, che è più del doppio della soglia Pauli e solo leggermente inferiore al caso di rilevamento di erasure perfetto ($\sim 5,56\%$).
   • Anche nello scenario peggiore in cui la risoluzione temporale è scarsa ($\eta \to 0$), la soglia rimane ben al di sopra del limite Pauli (variando tra $\sim 2,6\%$ e $\sim 4,9\%$ a seconda del modello).
   • La differenza di soglia tra check spazialmente perfetti e spazialmente imperfetti è trascurabile per il modello Pauli generale, ma rimane significativa ($>1\%$) per il modello Pauli Tailored quando $\eta \to 1$.

2. Distanza di Errore Effettiva ($d_{eff}$):

   • Modello Pauli Generale: La risoluzione temporale imperfetta degrada la distanza effettiva. Per un codice di dimensione $d$, la distanza effettiva verso un errore logico $Z$ ($Z_L$) scende da $d$ a circa $(d+1)/2$ al diminuire di $\eta$, tornando efficacementamente alla scalabilità del rumore Pauli.
   • Modello Pauli Tailored: Fondamentalmente, la distanza effettiva rimane robusta. Anche con risoluzione temporale e spaziale imperfetta, la distanza effettiva sia per gli errori logici $Z_L$ che $X_L$ rimane a $d$. Questo perché l'insieme ristretto di errori ($\{I, Z\}$ o $\{I, X\}$) impedisce a un singolo evento di leakage ritardato di generare gli errori correlati specifici necessari per formare un operatore logico a peso minimo.

3. Efficienza dell'Hardware:

   • Lo studio collega questi modelli alle esistenti architetture dual-rail superconduttrici. I DR basati su cavità con check di erasure integrati (che sono spazialmente imperfetti ma temporalmente efficienti) richiedono significativamente meno transmon (circa il 29% del conteggio richiesto per i qubit convenzionali per raggiungere lo stesso $d_{eff}$) rispetto agli schemi di check espliciti.

Significatività e Rivendicazioni
L'articolo sostiene che i sostanziali vantaggi dei qubit di erasure — specificamente i requisiti di sistema più rilassati per la tolleranza ai guasti — sono robusti contro le imperfezioni realistiche dei check di erasure.

• Riduzione dell'Overhead: Dimostra che è possibile ottenere memorie ad alte prestazioni con codici di superficie utilizzando check di erasure "efficienti in termini di overhead" (ad esempio, check integrati con risoluzione spaziale/temporale imperfetta) senza sacrificare la soglia o la distanza effettiva, a condizione che il rumore indotto dal leakage segua la struttura "tailored" trovata nei qubit DR superconduttori.
• Fattibilità Pratica: I risultati suggeriscono che il requisito stringente di check di erasure perfetti e in tempo reale non è necessario. I sistemi possono tollerare il rilevamento ritardato e l'ambiguità spaziale pur mantenendo un tasso di errore di soglia più che doppio rispetto al rumore Pauli standard.
• Caratterizzazione del Rumore: Il lavoro sottolinea l'importanza critica di caratterizzare sperimentalmente il modello di rumore dettagliato (specificamente se il leakage induce errori Pauli generali o tailored), poiché ciò determina se il codice mantiene il suo vantaggio di distanza sotto check imperfetti.

Gli autori concludono che è possibile ottenere buone prestazioni per le memorie quantistiche a codice di superficie con requisiti di sistema rilassati, motivando l'uso di strategie di check di erasure semplificate e hardware-efficient nei processori quantistici superconduttori.