Clifford-deformed zero-rate LDPC codes with 50% biased noise thresholds

Enunciato del Problema
L'hardware quantistico realistico spesso presenta rumore fortemente anisotropo, dove la dephasing (errori di Pauli $Z$) domina rispetto ad altri canali di errore. Sebbene questo bias rappresenti un'opportunità per adattare i codici di correzione d'errore a fini di soglie di tolleranza ai guasti più elevate, la maggior parte dei risultati noti che raggiungono la soglia ottimale del 50% sotto bias infinito è stata limitata a codici topologici a bassa dimensionalità (ad esempio, codici di superficie, codici di colore). Una questione aperta critica è se questa prestazione vicina alla capacità sia un fenomeno intrinsecamente topologico o se possa essere ingegnerizzata più ampiamente per i codici di controllo di parità a bassa densità quantistica (qLDPC), che sono forti candidati per ridurre il sovraccarico asintotico del calcolo tollerante ai guasti. Nello specifico, gli autori indagano se le deformazioni di Clifford – trasformazioni unitarie locali su singolo qubit che ruotano gli assi di Pauli – possano guidare codici qLDPC a tasso zero verso il raggiungimento di una soglia del 50% sotto rumore biasato.

Metodologia
Gli autori impiegano una combinazione di dimostrazioni analitiche, simulazioni numeriche e modelli consapevoli dell'hardware:

1. Quadro Teorico: Derivano condizioni sufficienti generali per una soglia del 50% a bias infinito in codici stabilizzatori deformati da Clifford a tasso zero. Ciò comporta l'analisi della scalatura degli operatori logici puri-$Z$. Introducono il concetto di "Base di Operatori Logici" (BLO) e dimostrano che se il numero di operatori logici puri-$Z$ non banali cresce in modo sub-esponenziale rispetto al loro peso (specificamente, se $|L_Z| \le \exp(o(n^\alpha))$ mentre i pesi scalano come $n^\alpha$), la probabilità di fallimento logico decade esponenzialmente, producendo una soglia del 50%. Affinano ulteriormente questo risultato considerando BLO non sovrapposti e BLO sovrapposti con carichi di sovrapposizione assegnati.
2. Famiglia di Codici: Lo studio si concentra sui "codici a piastrelle" (tile codes), una famiglia di codici qLDPC planari e geometricamente locali con stabilizzatori a peso limitato e dimensione logica fissa ($k=8$ per bordi aperti).
3. Strategie di Deformazione: Indagano due tipi di deformazioni di Clifford:
   • Deformazioni Casuali: Applicazione di unitari di Clifford su singolo qubit casuali ($H$, $HSH$, $I$) ai qubit con probabilità specifiche ($\Pi_{XZ}, \Pi_{YZ}$).
   • Deformazioni Invarianti per Traslazione (TI): Applicazione di pattern strutturati di porte di Clifford (ad esempio, Hadamard sui legami verticali, o pattern unitari specifici) per preservare la simmetria del reticolo.
4. Decodifica e Simulazione:
   • Capacità del Codice: Le soglie numeriche sono stimate utilizzando un decodificatore Belief Propagation con Ordered Statistics Decoding (BP-OSD) sotto bias infinito e finito.
   • Livello di Circuito: Costruiscono circuiti di estrazione della sindrome utilizzando il simulatore Stim, ottimizzando l'ordinamento delle porte per preservare la distanza del circuito. Simulano il rumore a livello di circuito includendo errori di porta, di misura e di idle.
5. Mappatura Hardware: Per colmare il divario tra modelli idealizzati e realtà fisica, modellano implementazioni microscopiche dell'estrazione della sindrome su tre piattaforme (ioni intrappolati, qubit superconduttori, atomi neutri). Propagano errori di Pauli attraverso questi circuiti per estrarre parametri fenomenologici effettivi (tasso di errore effettivo $p_{eff}$ e bias effettivo $\eta_{eff}$), tenendo conto di come i set di porte native (ad esempio, CX rispetto a CZ) e le strategie di compilazione degradino il bias.

Contributi Chiave

• Condizioni Generali per la Soglia: Il lavoro stabilisce un quadro teorico unificato che spiega le soglie del 50% per i codici deformati da Clifford. Dimostra che la soglia è governata dalla struttura degli operatori logici puri-$Z$, richiedendo specificamente che il loro numero non cresca esponenzialmente con la dimensione del sistema rispetto al loro peso. Questo generalizza i risultati precedenti noti per i codici topologici alla classe più ampia di codici qLDPC a tasso zero.
• Analisi dei Codici a Piastrelle: Gli autori dimostrano che i codici a piastrelle, quando sottoposti a specifiche deformazioni di Clifford, soddisfano queste condizioni teoriche. Identificano un diagramma di fase per le deformazioni casuali in cui una vasta regione esibisce una soglia del 50%, delimitata da probabilità specifiche di permutazioni $X \leftrightarrow Z$ e $Y \leftrightarrow Z$.
• Dimostrazione Analitica per Deformazione Lineare: Per una specifica deformazione lineare invariante per traslazione (Hadamard sui legami verticali), gli autori forniscono una dimostrazione analitica di una soglia del 50% utilizzando una tecnica di riduzione del peso, riducendo il problema della decodifica a una serie di codici di ripetizione.
• Prestazioni a Livello di Circuito: Mostrano che i codici a piastrelle deformati da Clifford mantengono vantaggi di prestazione significativi rispetto ai codici non deformati anche sotto rumore a livello di circuito. Quantificano il "bias residuo" dopo un ciclo completo di estrazione della sindrome, collegando le implementazioni hardware microscopiche ai modelli fenomenologici.
• Compilazione Consapevole dell'Hardware: Lo studio fornisce evidenze concrete su come diverse piattaforme di qubit e strategie di compilazione (CX nativo rispetto a CZ nativo) influenzino il bias effettivo e i tassi di errore logico, evidenziando che la preservazione del bias è altamente sensibile alla scelta delle porte di entanglement native.

Risultati

• Bias Infinito: Sia i codici a piastrelle deformati da Clifford casuali che quelli invarianti per traslazione raggiungono una soglia del 50% nel limite di bias infinito. La soglia è robusta su un'ampia gamma di parametri di deformazione, purché la dimensione BLO rimanga costante o cresca lentamente (pendenza $s \approx 0$).
• Bias Finito: Sotto bias finito, le varianti deformate da Clifford (in particolare la deformazione TI con parametri $(0.25, 0.5)$) superano significativamente i codici a piastrelle CSS non deformati. La variante TI mostra la soppressione più forte degli errori logici e la scalatura sub-soglia più favorevole.
• Soglie a Livello di Circuito: Sebbene le soglie a livello di circuito siano inferiori alle soglie di capacità del codice a causa della rinormalizzazione del bias (la riduzione del bias effettivo durante l'estrazione della sindrome), il vantaggio relativo dei codici deformati persiste. Ad esempio, a $\eta = 10.000$, la deformazione lineare raggiunge una soglia di $\approx 1,5\%$, rispetto a $\approx 0,63\%$ per il codice CSS non deformato.
• Impatto Hardware: Il bias effettivo $\eta_{eff}$ è significativamente ridotto nelle piattaforme in cui la porta nativa è CX (ad esempio, ioni intrappolati, superconduttori) rispetto alle piattaforme native CZ (ad esempio, atomi neutri, ioni intrappolati con interazioni specifiche). La deformazione XY è particolarmente sensibile alle strategie di compilazione, mostrando ampie variazioni di prestazioni a seconda che vengano utilizzate porte CZ o CX.

Significato
Il lavoro afferma che le deformazioni di Clifford forniscono una via sistematica e generale per ottimizzare i codici qLDPC per il rumore biasato, superando i limiti dei codici topologici. Collegando le soglie elevate alle proprietà strutturali degli operatori logici (in particolare la scalatura degli operatori logici puri-$Z$), il lavoro offre un principio di progettazione per costruire codici tolleranti ai guasti adattati all'hardware anisotropo e realistico. I risultati suggeriscono che, con appropriate deformazioni di Clifford, i codici qLDPC a tasso zero possono avvicinarsi al limite fondamentale dell'informazione teorica per il rumore biasato, offrendo una strada promettente per ridurre il sovraccarico del calcolo quantistico tollerante ai guasti. Lo studio sottolinea inoltre l'importanza di co-progettare le deformazioni dei codici con i set di porte specifici dell'hardware per massimizzare la preservazione del bias nelle implementazioni pratiche.