Bicycle Race: small two-block codes on the Pareto frontier

Nella ricerca di un computer quantistico pratico, gli scienziati affrontano un problema fondamentale: l'informazione memorizzata nei bit quantistici è incredibilmente fragile. Un minimo aumento di calore o un'onda elettromagnetica errante possono corrompere i dati, causando il fallimento del computer. Per combattere questo fenomeno, i ricercatori utilizzano codici di correzione degli errori, che distribuiscono l'informazione su molte particelle fisiche in modo che, se alcune vengono danneggiate, il messaggio originale possa comunque essere recuperato. Per anni, i candidati più promettenti per questo compito sono stati una classe di codici chiamati codici quantistici a bassa densità di parità. Questi sono speciali perché utilizzano connessioni semplici e locali tra le particelle, il che li rende più facili da costruire in laboratorio. Tuttavia, esiste un costante compromesso: i codici facili da costruire spesso memorizzano meno informazioni o correggono meno errori, mentre i codoli potenti tendono a essere così complessi da essere quasi impossibili da costruire.

Una specifica e più semplice famiglia di questi codici, nota come codici a due blocchi (two-block codes), è stata a lungo una preferita per la sua eleganza strutturale. Sono costruiti utilizzando un quadro matematico che permette loro di essere disposti in schemi bidimensionali, il che è un abbinamento perfetto per l'hardware quantistico emergente che utilizza atomi mobili. Per molto tempo, la comunità scientifica ha creduto che, sebbene questi codici semplici fossero buoni per la costruzione, non fossero abbastanza potenti da competere con i design più complessi e astratti. La saggezza prevalente era che la semplicità comportasse un costo in termini di prestazioni. Questo articolo mette in discussione tale assunto ponendo una domanda diretta: abbiamo semplicemente smesso di cercare con abbastanza impegno? Cercando sistematicamente attraverso ogni possibile variazione di questi codici semplici a piccole dimensioni, i ricercatori hanno scoperto che il divario tra semplice e complesso non è così ampio come si pensava, e che alcuni dei codici con le migliori prestazioni si nascondono in piena vista all'interno di questa semplice famiglia.

I ricercatori, guidati da Gideon Lee dell'Università di Chicago, si sono posti l'obiettivo di mappare l'intero panorama di questi codici a due blocchi per sistemi contenenti fino a 320 particelle fisiche. Invece di tirare a indovinare o affidarsi all'intuizione, hanno costruito una rigorosa pipeline di ricerca che girava su normali computer portatili. Questo sistema ha agito come un enorme setaccio, testando miliardi di potenziali configurazioni di codici. Per rendere possibile ciò, hanno utilizzato una serie di filtri matematici per scartare rapidamente la stragrande maggioranza dei codici che avrebbero inevitabilmente fallito, concentrando la loro potenza di calcolo solo sui candidati più promettenti. Hanno anche sviluppato un nuovo modo per utilizzare la struttura matematica sottostante dei gruppi che generano questi codici per guidare la ricerca, imparando efficacemente dove i migliori codici avrebbero probabilmente nascosto dopo aver eseguito i test iniziali. Questo approccio ha permesso loro di trovare codici di alta qualità molto più velocemente rispetto a una semplice selezione casuale di esempi.

I risultati di questa ricerca esaustiva sono stati sorprendenti. Il team ha scoperto che, per sistemi piccoli, questi semplici codici a due blocchi non sono solo competitivi; sono spesso l'opzione migliore disponibile. Hanno identificato diversi nuovi codici che superano i precedenti leader della loro classe. Ad esempio, hanno trovato un codice con 102 particelle che può memorizzare 20 unità di informazione e correggere errori fino a una distanza di 10, e un altro con 120 particelle che memorizza 24 unità con la stessa capacità di correzione degli errori. Questi codici sono particolarmente preziosi perché possono essere disposti su una superficie piatta con un modello ripetitivo, il che è ideale per i computer quantistici a atomi neutri attualmente in fase di sviluppo. Nelle simulazioni di come questi codici si comporterebbero in un ambiente rumoroso, hanno mostrato una forte resistenza agli errori, suggerendo che potrebbero essere utilizzati in macchine reali a breve.

Uno dei risultati più significativi è stata una mappa dettagliata di dove vivono effettivamente questi buoni codici. I ricercatori hanno scoperto che i buoni codici non sono distribuiti uniformemente in tutte le possibilità matematiche; invece, si raggruppano pesantemente in un piccolo numero di gruppi specifici. Hanno scoperto che, per sistemi più piccoli, i codici costruiti da gruppi commutativi (dove l'ordine delle operazioni non conta) tendono ad essere i più forti. Tuttavia, man mano che la dimensione del sistema cresce, i migliori codici si spostano verso gruppi non commutativi, dove l'ordine delle operazioni conta. Questo punto di incrocio si sposta all'aumentare della complessità delle connessioni del codice. Questa intuizione è cruciale perché dice ai futuri ricercatori esattamente dove guardare, invece di perdere tempo in spazi vuoti. Il team ha anche confermato che, sebbene questi codoli semplici siano eccellenti, non sono una soluzione magica per ogni dimensione; oltre un certo punto, potrebbero essere necessarie costruzioni più complesse, ma per l'intervallo di dimensioni rilevanti per i computer quantistici a breve termine, i codici semplici sono sufficienti.

Il documento affronta anche il ruolo del peso di controllo (check weight), ovvero il numero di particelle coinvolte in ogni operazione di controllo dell'errore. I ricercatori hanno esplorato codici con pesi di controllo che vanno da cinque a nove. Hanno scoperto che all'aumentare del peso di controllo, trovare un buon codice diventa esponenzialmente più difficile, con i codici di alta qualità che diventano centinaia di volte più rari. Nonostante questa difficoltà, sono riusciti a scoprire una ricchezza di nuovi codici con peso nove, un regime che era stato ampiamente inesplorato perché ritenuto troppo impraticabile. L'ascesa dell'hardware quantistico con qubit mobili, dove le connessioni possono essere stabilite tra particelle distanti senza fili fisici, ha reso pratici questi codici ad alto peso. Il team ha dimostrato che questi codici possono essere operati con pochissimi movimenti fisici, rendendoli altamente efficienti per i dispositivi quantistici di prossima generazione.

Per garantire la solidità delle loro scoperte, i ricercatori non si sono affidati esclusivamente ai propri calcoli. Hanno verificato i loro migliori risultati utilizzando software indipendenti e open-source e li hanno confrontati con un enorme database di codici precedentemente pubblicati. Hanno scoperto che i loro nuovi codici stabiliscono un nuovo standard di prestazione in molte categorie, spingendo i confini di ciò che è possibile con piccoli sistemi quantistici. Hanno anche reso tutti i loro dati e codici disponibili al pubblico, creando una risorsa che altri scienziati possono usare per verificare i risultati e costruire sul proprio lavoro. Questa trasparenza è una parte chiave del loro contributo, permettendo alla comunità di vedere esattamente come questi codici siano stati trovati e testati.

In definitiva, questo lavoro serve da promemoria del fatto che, in scienza, a volte le scoperte più profonde derivano dal guardare vecchie idee con occhi nuovi e strumenti migliori. I codici a due blocchi non erano una nuova invenzione; erano studiati da decenni. Ciò che è cambiato è stato l'approccio. Combinando una ricerca esaustiva e ostinata con tecniche computazionali moderne e una profonda comprensione della matematica sottostante, i ricercatori hanno dimostrato che i codici "semplici" sono tutt'altro che obsoleti. Hanno dimostrato che, per le dimensioni dei computer quantistici che stiamo costruendo oggi, queste eleganti strutture bidimensionali non sono solo una curiosità teorica, ma una soluzione pratica e ad alte prestazioni pronta per il laboratorio. Lo studio conclude che il divario tra codici semplici e complessi non è un abisso incolmabile, ma un paesaggio che può essere navigato con pazienza e la giusta strategia di ricerca.