Random encoders and expurgation improve 1,873 entries of the Grassl qubit code tables

Nella corsa alla costruzione di un computer quantistico funzionante, il maggiore ostacolo non è solo la fragilità dell'informazione, ma l'estrema difficoltà di proteggerla. I bit quantistici, o qubit, sono facilmente disturbati dal minimo rumore, causando errori che possono distruggere un calcolo in un istante. Per sopravvivere, questi delicati stati devono essere avvolti in strati di protezione noti come codici di correzione degli errori. Questi codici funzionano distribuendo un singolo pezzo di informazione su molti qubit fisici, creando una rete di sicurezza che permette al sistema di rilevare e correggere gli errori senza mai guardare direttamente i dati. L'efficacia di un tale codice è misurata dalla sua capacità di catturare gli errori: più errori riesce a catturare prima che l'informazione vada perduta, migliore è il codice. Per decenni, gli scienziati hanno mantenuto una massiccia guida di riferimento, una tabella dei migliori codici noti per ogni possibile dimensione e forza, fungendo da mappa per gli ingegneri che cercano di costruire il futuro.

Uno studio recente ha ridisegnato porzioni significative di quella mappa. Utilizzando una combinazione di randomizzazione e un processo di pulizia mirato, i ricercatori hanno scoperto 192 nuovi codici quantistici che superano le migliori voci note nella guida esistente. Questi nuovi codici non sono solo possibilità teoriche; sono progetti espliciti e funzionanti che sono stati rigorosamente testati per dimostrare che funzionano esattamente come dichiarato. La scoperta suggerisce che, per molti tipi di sistemi quantistici, la migliore protezione disponibile non è una struttura rigida e accuratamente progettata, ma piuttosto un codice che parte come un arrangiamento casuale e viene poi potato per rimuoverne le debolezze. Questa scoperta sfida il lungo tempo assunto secondo cui i codici più efficienti debbano essere altamente strutturati, rivelando invece che un punto di partenza caotico, se raffinato correttamente, può offrire una protezione superiore.

Il lavoro è iniziato con un'idea semplice e potente: partire da un arrangiamento casuale di porte quantistiche e poi rimuovere sistematicamente i difetti. I ricercatori hanno generato centinaia di codici "genitori" applicando sequenze casuali di operazioni a un set di qubit. In un tipico codice casuale, c'è un'alta probabilità che alcuni errori sfuggano senza essere rilevati, proprio come una rete con buchi troppo grandi per catturare pesci piccoli. Per risolvere questo problema, il team ha impiegato un processo chiamato espurgazione. Hanno identificato ogni tipo specifico di errore che era troppo lieve per essere catturato dal design attuale del codice e hanno poi promosso quegli errori specifici affinché diventassero parte delle stesse regole del codice. Obbligando il codice a trattare questi errori pericolosi come se fossero parte della propria struttura, il codice ha efficacementmente chiuso i buchi, aumentando la sua capacità di rilevare gli errori. Questo processo ha ridotto leggermente la quantità di informazione che il codice poteva contenere, ma ne ha aumentato drasticamente la forza, permettendogli di catturare errori che i codici precedenti perdevano.

Per garantire che questi nuovi codici non fossero solo colpi di fortuna, i ricercatori li hanno sottoposti a un livello di scrutinio raro in questo campo. Invece di affidarsi a stime statistiche o controlli parziali, hanno eseguito una ricerca esaustiva per dimostrare i limiti di ciascun codice. Per il limite inferiore, hanno controllato sistematicamente ogni possibile combinazione di errori fino a un certo peso, un compito che ha richiesto l'esame di fino a 40 trilioni di possibilità distinte su un supercomputer. Per il limite superiore, hanno trovato un esempio specifico di un errore che il codice non poteva correggere, dimostrando che il codice non poteva essere più forte del suo limite riportato. Questa doppia certificazione significa che, per tutti i 192 codici, la distanza — la misura di quanti errori possono catturare — è nota con assoluta certezza. I risultati sono concreti: 161 di questi codici hanno migliorato i limiti noti di un'unità di forza, e 31 li hanno migliorati di due.

L'impatto di queste scoperte va ben oltre i 192 esempi specifici. Poiché le regole standard permettono ai codici di essere estesi o accorciati, queste nuove scoperte migliorano automaticamente 1.873 voci nella tabella di riferimento globale. In molti casi, i nuovi codici permettono di memorizzare significativamente più informazioni per lo stesso livello di protezione. Ad esempio, nell'intervallo di lunghezze dei codici tra 170 e 250 qubit con un alto requisito di forza, i nuovi codici possono contenere fino a nove bit logici di informazione in più rispetto alle migliori opzioni precedentemente note. Questo è un guadagno sostanziale, che permette effettivamente a un computer quantistico di fare più lavoro con lo stesso numero di componenti fisici. Lo studio ha rilevato che questi miglioramenti sono più pronunciati dove la tabella esistente elencava solo un limite inferiore teorico senza un codice specifico e funzionante, suggerendo che la vecchia tabella aveva perso soluzioni pratiche da molto tempo.

I ricercatori hanno anche utilizzato un metodo di conteggio per prevedere dove questo approccio avrebbe avuto successo e dove avrebbe fallito. Hanno scoperto che il metodo funziona meglio quando i codici esistenti nella tabella non sono migliori di quanto un codice casuale possa naturalmente raggiungere. In queste regioni, il punto di partenza casuale è già forte e il processo di potatura lo spinge oltre il limite. Tuttavia, dove la tabella contiene già codici ciclici altamente strutturati, l'approccio casuale non poteva competere. Questa distinzione è cruciale: ci dice che, sebbene i codici casuali non siano una soluzione universale, sono uno strumento potente per colmare le lacune della nostra conoscenza. Lo studio ha notato che altre strategie, come l'uso di circuiti strutturati o la costruzione di codici da piccoli blocchi pre-esistenti, sono state testate ma non hanno performato altrettanto bene quanto i genitori casuali nelle specifiche implementazioni e parametri provati; questi risultati sono specifici di tali prove piuttosto che proibizioni generali contro tali metodi.

L'intera ricerca è stata condotta da agenti di intelligenza artificiale, che hanno scritto il software, gestito le enormi computazioni sul supercomputer Aurora e verificato i risultati. Questa automazione ha permesso al team di esplorare un vasto panorama di possibilità che sarebbe stato impossibile per un essere umano navigare manualmente. L'IA non ha solo trovato i codici; ha anche generato i certificati che ne provano il funzionamento e ha costruito controllori indipendenti per verificare i risultati. Il risultato è una collezione pubblica di 192 codici espliciti, completi delle loro descrizioni matematiche e della prova della loro forza. Questi codici non sono solo numeri su una pagina; sono istruzioni pronte all'uso per costruire sistemi quantistici più robusti.

Guardando al futuro, lo studio evidenzia un limite pratico a questo approccio. Il controllo esaustivo richiesto per certificare questi codici diventa computazionalmente impossibile man mano che la dimensione del sistema cresce, limitando attualmente il metodo a circa 250 qubit. Per andare oltre, i ricercatori suggeriscono che i futi codici potrebbero dover essere costruiti utilizzando un'architettura diversa, una che permetta un controllo efficiente senza dover esaminare ogni singola possibilità. Fino ad allora, questi 192 codici rappresentano il nuovo standard per la correzione degli errori quantistici nel loro intervallo dimensionale. Dimostrano che, nella ricerca di come proteggere l'informazione quantistica, a volte la strada migliore non è imporre un ordine rigido, ma abbracciare un po' di caos e poi potarlo con cura per renderlo più forte.