Good Stabilizer Codes from Shallow Clifford Circuits with Random Matchings

Nella ricerca di un computer in grado di risolvere problemi oltre la portata di qualsiasi macchina odierna, gli scienziati si trovano di fronte a un ostacolo fondamentale: la fragilità. I bit di informazione in un computer quantistico sono incredibilmente sensibili, soggetti a essere sconvolti dalla minima perturbazione. Per proteggere questi dati fragili, i ricercatori utilizzano un metodo chiamato correzione degli errori quantistici, che distribuisce un singolo pezzo di informazione su molti particelle fisiche. Se una particella fallisce, le altre mantengono il segreto al sicuro. Tuttavia, creare questa protezione richiede solitamente macchinari complessi e circuiti profondi e intricati, difficili da costruire e soggetti ai propri errori. La sfida è stata a lungo trovare un modo per creare questi codici protettivi in modo rapido e semplice, utilizzando solo gli strumenti più basilari disponibili in laboratorio.

Un team di ricercatori ha ora dimostrato che questo compito difficile può essere portato a termine con sorprendente facilità. Hanno mostrato che, disponendo i bit quantistici in un particolare schema casuale e applicando un set molto limitato di operazioni semplici, potevano generare codici di correzione degli errori robusti in una frazione del tempo precedentemente ritenuto necessario. Il loro lavoro dimostra che non è necessaria una vasta e complicata libreria di diversi gate quantistici per costruire un computer affidabile; al contrario, un processo semplice e ripetitivo che utilizza un solo tipo di gate di entanglement, mescolato con rotazioni locali casuali, è sufficiente per creare codici che sono quasi altrettanto buoni del miglior modello teorico possibile.

I ricercatori si sono concentrati su un'architettura specifica in cui ogni bit quantistico può potenzialmente interagire con ogni altro bit, una configurazione nota come connessione all-to-all. Nel loro esperimento, non hanno cercato di progettare attentamente un circuito unico per ogni problema. Invece, hanno costruito un circuito casuale composto da strati. In ogni strato, i bit quantistici venivano accoppiati casualmente e veniva applicato a ciascuna coppia un gate a due qubit specifico. Fondamentalmente, l'unico gate di entanglement utilizzato era il gate controlled-not, o CNOT, che è un elemento fondamentale nel calcolo quantistico. Per garantire che l'informazione si diffonda in modo uniforme ed efficace, hanno aggiunto rotazioni casuali a singolo qubit prima e dopo ogni strato di gate CNOT. Questo processo è stato ripetuto per un numero di strati che cresce solo logaritmicamente con la dimensione del sistema. In termini pratici, ciò significa che anche quando il numero di bit quantistici aumenta drasticamente, il numero di passaggi necessari per creare un codice protettivo cresce molto lentamente.

Il team ha dimostrato matematicamente che questo semplice processo casuale crea un codice altamente efficace nel rilevare e correggere gli errori. Hanno dimostrato che, per qualsiasi livello desiderato di protezione, esiste un tasso specifico di memorizzazione dell'informazione che corrisponde ai migliori limiti teorici noti nel campo. Questo limite, spesso chiamato limite di Gilbert-Varshamov quantistico, rappresenta la quantità massima di dati che possono essere memorizzati mantenendo comunque un'alta capacità di correzione degli errori. I metodi precedenti che raggiungevano questo livello di prestazione richiedevano circuiti molto più profondi, il che significava che coinvolgevano molti più passaggi sequenziali, oppure si affidavano a una varietà molto più ampia di gate complessi. La nuova scoperta è significativa perché raggiunge la stessa elevata prestazione con un circuito che è significativamente meno profondo e utilizza un set di strumenti molto più ristretto.

Per capire perché questo sia importante, considerate la differenza tra costruire una casa con un arsenale completo di strumenti specializzati rispetto a un singolo martello e alcuni chiodi. Gli approcci precedenti suggerivano che, per costruire una struttura quantistica robusta, fosse necessario l'intero arsenale. Questo nuovo lavoro mostra che, con il giusto arrangiamento casuale, il martello e i chiodi sono sufficienti. I ricercatori hanno dimostrato che il loro processo di accoppiamento casuale, in cui i bit vengono accoppiati e agiti, fa sì che l'informazione si diffonda rapidamente e uniformemente in tutto il sistema. Questa diffusione è essenziale per la correzione degli errori perché assicura che un errore locale non distrugga l'informazione globale. Analizzando il comportamento statistico di questi circuiti casuali, il team ha confermato che la probabilità che il codice fallisca nel proteggere i dati è trascurabile, anche per sistemi molto grandi.

Lo studio ha anche affrontato una domanda lasciata aperta dalle ricerche precedenti: se un set ristretto di gate potesse ottenere gli stessi risultati di un set completo e complesso. La risposta è un sì definitivo. I ricercatori hanno dimostrato che il loro metodo funziona non solo per una distribuzione uniforme di tutti i possibili gate, ma per una distribuzione molto specifica e limitata centrata attorno al gate CNOT, a condizione che sia mescolata con rotazioni locali casuali. Questa scoperta è particolarmente rilevante per le attuali configurazioni sperimentali, come quelle che utilizzano ioni intrappolati, dove i vincoli dell'hardware spesso limitano i tipi di gate che possono essere applicati simultaneamente. La capacità di generare codici di alta qualità utilizzando solo gate CNOT e rotazioni locali casuali significa che l'hardware esistente potrebbe potenzialmente essere utilizzato per creare memorie a tolleranza ai guasti molto prima di quanto precedentemente anticipato.

La prova matematica alla base di questo risultato si basa sul tracciamento di come il "peso" di un errore evolve mentre attraversa gli strati casuali del circuito. In questo contesto, il peso si riferisce al numero di bit quantistici influenzati da un errore. I ricercatori hanno dimostrato che, se un errore inizia su pochi bit, l'accoppiamento casuale e l'applicazione dei gate causano la sua diffusione su sempre più bit molto rapidamente. Entro un numero logaritmico di passaggi, l'errore diventa così diffuso da non essere più un piccolo errore localizzato, ma un modello grande e complesso che il codice può facilmente identificare e distinguere dai dati corretti. Questa rapida diffusione assicura che il codice possa correggere errori che colpiscono un numero lineare di bit, che è il gold standard per la correzione degli errori quantistici.

Inoltre, il team ha stabilito che la loro costruzione è ottimale in termini di profondità. Hanno dimostrato che nessun circuito costruito da gate a uno e due qubit può raggiungere una distanza di codice lineare con meno di un numero logaritmico di strati. Ciò significa che il loro circuito di accoppiamento casuale è veloce quanto fisicamente possibile per questo tipo di architettura. Sebbene il numero totale di gate utilizzati sia leggermente superiore al limite teorico assoluto minimo, la riduzione della profondità del circuito è il fattore critico per ridurre il tempo in cui gli errori hanno il tempo di accumularsi durante il processo di codifica. Il lavoro chiarisce inoltre che, sebbene la costruzione sia casuale e probabilistica, non è un indovinare; la probabilità di fallimento è così bassa che, per qualsiasi dimensione pratica del sistema, il codice è garantito per funzionare con quasi certezza.

Questa ricerca colma il divario tra ideali teorici e ingegneria pratica. Suggerisce che la strada verso un computer quantistico a tolleranza ai guasti potrebbe non richiedere l'invenzione di gate completamente nuovi ed esotici o la costruzione di circuiti impossibilmente profondi. Al contrario, punta verso un futuro in cui un'elaborazione robusta dell'informazione quantistica può essere ottenuta semplicemente disponendo componenti standard in un modo casuale, ma strutturato. Le scoperte forniscono una chiara tabella di marcia per gli sperimentali: utilizzare accoppiamenti casuali, applicare gate CNOT e aggiungere casualità locale. Questa semplice ricetta, supportata da una rigorosa prova matematica, offre una via promettente e accessibile per costruire la prossima generazione di computer quantistici.