Sintesi Tecnica: Codici Quantistici da Annealing Classico

Definizione del Problema

La correzione degli errori quantistici (QEC) è essenziale per il calcolo quantistico fault-tolerant (FT) su larga scala. Tuttavia, le famiglie di codici note spesso impongono carichi di risorse proibitivi. I codici topologici (ad esempio, i codici di superficie) sono vincolati dal limite di Bravyi-Poulin-Terhal, che limita i loro tassi di codifica. I codici quantum low-density parity-check (qLDPC) offrono parametri asintotici favorevoli ma richiedono interazioni a lungo raggio e una decodifica complessa, rendendoli difficili da implementare sull'attuale hardware near-term. Sebbene la concatenazione dei codici offra una via verso carichi di spazio-tempo costanti, essa si basa su codici "seed" di alta qualità con alti tassi di codifica e grandi distanze.

Le ricerche brute-force per tali codici sono generalmente intrattabili perché lo spazio dei codici stabilizzatori cresce esponenzialmente con la lunghezza del blocco $n$, e il calcolo della distanza del codice è un problema NP-hard. Di conseguenza, vi è la necessità di metodi numerici efficienti per scoprire codici stabilizzatori quantistici di dimensioni moderate ($n \le 50$) che raggiungano alti tassi di codifica ($k/n$) e distanze ($d$) che soddisfino o superino i limiti teorici, specificamente per architetture in grado di supportare interazioni a lungo raggio (ad esempio, ioni intrappolati o atomi neutri).

Metodologia

Gli autori introducono un algoritmo di annealing simulato adattivo per cercare codici quantistici ottimali all'interno di due classi specifiche:

1. Codici CSS: Codici Calderbank-Shor-Steane, che permettono una preparazione dello stato e una decodifica fault-tolerant relativamente semplici.
2. Codici SWEL: Una sottoclasse di codici CSS denominata "Self-Dual with Equivalent Logicals" (Auto-Duali con Logici Equivalenti). Questi codici soddisfano specifiche condizioni di simmetria ($H_X = H_Z$ e operatori logici $L_X = L_Z$) che garantiscono implementazioni trasversali di gate di Hadamard logico ($H^{\otimes k}$) e di Fase ($S^{\otimes k}$), facilitando la costruzione di set di gate fault-tolerant.

Spazio di Ricerca e Mosse

• Inizializzazione: Invece di partire da codici triviali, l'algoritmo effettua un "warm start" applicando un gate che preserva la struttura CSS o SWEL a un codice banale.
  • Per i codici CSS, lo spazio di ricerca è campionato tramite il gruppo lineare generale $GL(n, \mathbb{F}_2)$.
  • Per i codici SWEL, lo spazio di ricerca è campionato tramite il gruppo ortogonale $O(n, \mathbb{F}_2)$.
• Distribuzione delle Proposte (Mosse):
  • CSS: Le mosse sono generate applicando random CNOT gate tra coppie di qubit. Il Teorema 1 stabilisce che i CNOT gate possono trasformare qualsiasi codice CSS in un altro con gli stessi parametri di rango.
  • SWEL: Le mosse sono generate applicando "gate elementari che preservano SWEL", che agiscono su quattro qubit. Il Teorema 5 dimostra che questi gate, combinati con le permutazioni, possono attraversare l'intero spazio dei codici SWEL.

Funzione di Energia

Per evitare i "barren plateaux" (plateau sterili) dove la distanza del codice rimane costante nonostante i cambiamenti locali, gli autori definiscono una funzione di energia $E(C)$ che funge da surrogato del tasso di errore logico in un modello di rumore a capacità di codice.
$$E(C) = \frac{\log m}{\log(1/p)} - d$$
dove $d$ è la distanza del codice, $m$ è il numero di operatori logici non triviali a peso minimo, e $p$ è il tasso di errore fisico (impostato a $10^{-3}$). Questa funzione penalizza i codici con distanze più elevate (energia inferiore) e, crucialmente, risolve i pareggi tra codici di uguale distanza favorendo quelli con meno operatori logici a peso minimo ($m$).

Annealing Adattivo

L'algoritmo impiega uno schema di temperatura adattiva per evitare che il sistema si congeli su plateau o minimi locali degeneri. La temperatura viene regolata ad ogni epoca in base alle differenze di energia delle mosse proposte, mirando a un tasso di accettazione ascendente specifico. Un fattore di memoria viene utilizzato per smorzare le fluttuazioni di temperatura.

Post-Processing

Dopo aver trovato un codice tramite l'annealing, viene applicato un algoritmo greedy per ridurre i pesi dei generatori stabilizzatori. Questo passaggio minimizza la complessità delle misurazioni di sindrome senza alterare la distanza del codice o gli operatori logici.

Contributi Chiave

1. Framework Algoritmico: Lo sviluppo di un algoritmo di annealing simulato adattivo specificamente progettato per la ricerca di codici quantistici CSS e SWEL, utilizzando proprietà di teoria dei gruppi per garantire che lo spazio di ricerca sia completamente coperto.
2. Caratterizzazione SWEL: Un rigoroso framework teorico (Teoremi 3 e l'autore) che definisce i codici SWEL e dimostra che l'insieme dei gate che preservano SWEL (isomorfi a $O(n, \mathbb{F}_2)$) è sufficiente per generare tutti i codici SWEL da un seed banale.
3. Surrogato dell'Energia: La formulazione di una funzione di energia che combina la distanza del codice con il conteggio degli operatori logici a peso minimo, risolvendo efficacementamente i plateau discreti che ostacolano la semplice ottimizzazione della distanza.
4. Scoperta di Codici allo Stato dell'Arte: L'identificazione di numerosi nuovi codici per lunghezze di blocco fino a $n=50$ che superano i codici precedentemente noti indicizzati su qecdb.org.

Risultati

Gli autori presentano una tabella completa dei codici scoperti (Appendice F) con parametri $[n, k, d]$ dove $n \le 50$ e $k \ge 4$.

• Performance: Molti dei codici CSS e SWEL scoperti raggiungono distanze che soddisfano o superano il limite di Gilbert-Varshamov quantistico ($d_{QGV}$) e il limite di Gilbert-Varshamov specifico per i CSS ($d_{CSS}$).
• Confronto: I risultati sono confrontati con i migliori codici presenti su qecdb.org. In molti casi, i nuovi codici offrono distanze maggiori per lo stesso $n$ e $k$, o un $k$ più alto per lo stesso $n$ e $d$.
• Tassi di Errore Logico: Utilizzando simulazioni Monte Carlo con campionamento per importanza, gli autori stimano i tassi di errore logico per questi codici. I risultati validano che la funzione di energia identifica con successo codici con tassi di errore logico inferiori, in particolare per distanze $d > 4$.
• Specifiche SWEL: I codici SWEL scoperti possiedono la struttura necessaria per i gate Clifford logici trasversali. Ad esempio, il codice SWEL $[20, 6, 4]$ è stato trovato avere almeno 2.304 gate Clifford logici SWAP-trasversali.

Significato e Rivendicazioni

Il paper sostiene che questi codici ottimizzati numericamente fungono da favorevoli codici seed per architetture fault-tolerant basate sulla concatenazione di codici. Fornendo codici ad alto tasso e alta distanza per dimensioni di blocco moderate, essi possono essere utilizzati per costruire qubit logici su larga scala con overhead ridotto.

Inoltre, gli autori sottolineano il potenziale di questi codici per dimostrazioni su hardware near-term. Nello specifico, notano che le piattaforme a ioni intrappolati e atomi neutri, che supportano interazioni a lungo raggio, sono ben adatte a implementare questi codici. I codici SWEL sono particolarmente significativi perché i loro set di gate trasversali permettono la costruzione di set di gate fault-tolerant senza la necessità di complessa distillazione di stati magici per le operazioni Clifford.

Gli autori rimangono modesti riguardo alla scalabilità immediata dell'algoritmo di ricerca, notando che il tempo di esecuzione esponenziale del calcolo della distanza limita la ricerca a $n \le 50$. Suggeriscono che il lavoro futuro potrebbe prevedere la parallelizzazione della valutazione della funzione di energia, il miglioramento degli schemi di annealing o l'integrazione di tecniche di machine learning per scalare la ricerca a lunghezze di blocco maggiori. Propongono inoltre che la concatenazione dei codici utilizzando questi seed (ad esempio, combinando i codici Iceberg $[8, 6, 2]$ con codici $[38, 12, 6]$) possa generare architetture pratiche per il calcolo quantistico su scala commerciale.