I computer quantistici promettono di risolvere problemi che sono attualmente impossibili anche per i supercomputer più potenti, dalla progettazione di nuovi medicinali alla modellazione di complesse reazioni chimiche. Tuttavia, queste macchine sono incredibilmente fragili. Le minuscole particelle che utilizzano per memorizzare le informazioni, chiamate qubit, sono facilmente disturbate dal calore, dalle vibrazioni o dai campi elettromagnetici residui, causando la perdita quasi istantanea dei loro dati. Per costruire un computer quantistico utile, gli scienziati devono proteggere questi qubit utilizzando una tecnica chiamata correzione degli errori quantistici. Questo processo prevede il raggruppamento di molti qubit fisici per agire come un singolo qubit "logico" stabile, controllando costantemente gli errori e correggendoli prima che si diffondano. La sfida è che questa protezione richiede una enorme quantità di hardware extra e una coordinazione complessa, il che spesso rende il computer troppo lento o grande per essere pratico.

Tra i molti modi in cui gli scienziati stanno cercando di risolvere questo problema, è emersa un'opzione altamente efficiente chiamata codici bicycle bivariate. Questi codici utilizzano un modello regolare e ripetitivo per organizzare i qubit, il che mantiene basso l'overhead e consente un controllo degli errori molto veloce. Allo stesso tempo, un nuovo tipo di hardware quantistico basato su atomi neutri ha attirato l'attenzione. Invece di utilizzare circuiti superconduttori o ioni intrappolati, questi sistemi utilizzano laser per sostenere singoli atomi sospesi in aria. Questi atomi possono essere spostati con grande precisione, permettendo ai ricercatori di riorganizzare la configurazione del computer al volo. Sebbene questa riconfigurabilità sia un abbinamento perfetto per le connessioni complesse richieste dai codici bicycle bivariate, le due tecnologie non sono ancora state combinate con successo. Le regole per muovere gli atomi sono rigide: non possono saltare l'uno sull'altro e devono rimanere in zone specifiche per interagire in sicurezza. Senza un modo per navigare queste regole, i codici efficienti non possono essere eseguiti sull'hardware flessibile.

Un team di ricercatori della Rice University e della Northeastern University ha colmato questo divario con un nuovo sistema che chiamano Park-n-Ride. Questo sistema funge da traduttore, prendendo le istruzioni astratte del codice bicycle bivariate e convertendole in un programma fisico valido per i processori a atomi neutri. I ricercatori non si sono limitati a proporre una teoria; hanno costruito un framework software completo che simula l'intero processo, dal posizionamento degli atomi al loro movimento per le misurazioni. Il loro lavoro dimostra che è possibile eseguire questi avanzati codici di correzione degli errori su sistemi a atomi neutri senza violare i rigidi vincoli fisici dell'hardware. Pianificando attentamente come gli atomi si muovono e dove si trovano, il sistema può eseguire operazioni quantistiche complesse molto più velocemente di quanto consentirebbero i metodi precedenti, provando che questa specifica combinazione di codice e hardware è praticabile.

Il cuore del problema risiede nei limiti fisici delle macchine a atomi neutri. Questi computer utilizzano laser per intrappolare gli atomi in una griglia e, per eseguire i calcoli, gli atomi devono essere spostati in posizioni specifiche per interagire. Tuttavia, la tecnologia utilizzata per muoverli, nota come deflettore acusto-ottico, ha una regola rigida: le colonne di atomi non possono incrociarsi. Se una colonna di atomi si trova a sinistra di un'altra, deve rimanere a sinistra in ogni momento; non può sorpassare l'altra. Questo vincolo rende difficile eseguire le connessioni a lungo raggio richieste dai codici bicycle bivariate, che spesso richiedono che qubit distanti tra loro si incontrino e interagiscano. Inoltre, gli atomi devono rimanere entro una certa distanza per interagire, e se si avvicinano troppo ad altri vicini non intenzionali, l'interazione fallisce. I ricercatori hanno scoperto che il semplice tentativo di spostare gli atomi verso le loro destinazioni logiche porta spesso a ingorghi stradali o manovre impossibili sotto queste regole.

Per risolvere questo problema, il sistema Park-n-Ride introduce un nuovo modo di pensare alla disposizione del computer. Invece di trattare gli atomi come una singola nuvola caotica, il sistema li organizza in colonne verticali, proprio come le corsie di un'autostrada. All'interno di ogni corsia, gli atomi possono muoversi su e giù, ma non possono cambiare corsia o incrociarsi. I ricercatori hanno sviluppato una strategia per decidere quali gruppi di atomi debbano stare in quale corsia. Hanno utilizzato un approccio matematico che osserva quali atomi hanno più frequentemente bisogno di comunicare tra loro e colloca quei gruppi nella stessa corsia o in corsie adiacenti. Ciò riduce la distanza che gli atomi devono percorrere per incontrarsi, riducendo il tempo e l'energia spesi nel movimento. Questa strategia di posizionamento, che chiamano seriazione spettrale, si è rivelata significativamente migliore rispetto al semplice posizionamento casuale o all'uso di un metodo "greedy" (ingordo) passo dopo passo. Nelle loro simulazioni, questo posizionamento intelligente ha ridotto il tempo totale necessario per eseguire un programma quantistico fino al 17,9% rispetto al posizionamento casuale e del 12,2% rispetto a un metodo greedy standard.

Una volta posizionati gli atomi, il sistema deve gestire il loro movimento. I ricercatori hanno scoperto che i codici bicycle bivariate comportano molti spostamenti, in cui l'intero schema di qubit viene ruotato o spostato in una direzione specifica. In un approccio tradizionale, questi spostamenti potrebbero essere eseguiti uno alla volta, il che è lento. Park-n-Ride, tuttavia, scompone questi spostamenti in movimenti più piccoli e paralleli. Permette a diverse parti del computer di spostarsi in direzioni diverse contemporaneamente, purché venga rispettata la regola del "non-incrocio". Coordinando attentamente questi movimenti, il sistema può eseguire questi spostamenti molto più velocemente. Le simulazioni hanno mostrato che questo approccio parallelo consente al computer di completare i compiti di spostamento significativamente più velocemente rispetto a se dovesse eseguirli sequenzialmente, accelerando efficacementamente l'intero ciclo di correzione degli errori.

Un'altra sfida critica è l'esecuzione delle misurazioni tra diversi gruppi di atomi. Per controllare gli errori, atomi provenienti da due gruppi diversi devono essere portati insieme per interagire. Il sistema Park-n-Ride risolve questo problema utilizzando un meccanismo a "ponte". Sposta una fila speciale di atomi da ciascun gruppo in una zona di interazione condivisa, dove possono incontrarsi e eseguire il controllo necessario. Il sistema pianifica questi movimenti in modo che i ponti non collidano tra loro. Tratta il movimento come un flusso di traffico, assicurando che ogni ponte si muova un passo alla volta verso la sua destinazione senza bloccare gli altri. Questo permette di eseguire più misurazioni contemporaneamente, invece di dover attendere che una finisca prima di iniziare la successiva. I risultati hanno mostato che questo metodo ha ridotto il numero di passaggi richiesti per queste interazioni di quasi la metà nei circuiti più grandi, riducendo drasticamente il tempo che il computer passa in attesa che gli atomi si posizionino.

I ricercatori hanno testato il loro sistema utilizzando una varietà di circuiti quantistici simulati, che vanno da piccoli setup con 32 moduli a grandi configurazioni con 113 moduli. Hanno scoperto che man mano che i circuiti diventavano più grandi, i benefici del loro posizionamento intelligente e del movimento parallelo diventavano ancora più pronunciati. Nelle simulazioni più grandi, il sistema ha ridotto il tempo di esecuzione totale di quasi il 40% aumentando la capacità delle colonne, dimostrando che l'approccio scala bene. Hanno anche osservato come il sistema gestisce la perdita di atomi, un problema comune in queste macchine. Poiché il sistema Park-n-Ride minimizza la distanza che gli atomi devono percorrere e il numero di volte in cui vengono spostati dentro e fuori dalle trappole, riduce la probabilità che un atomo venga perso durante il processo. I loro calcoli suggeriscono che questo approccio potrebbe ridurre il numero atteso di atomi persi di oltre il 40% rispetto a una strategia di posizionamento casuale, un fattore cruciale per costruire computer quantistici affidabili e su larga scala.

Lo studio ha anche esaminato come il sistema gestisce la produzione di risorse speciali necessarie per calcoli complessi, note come stati magici (magic states). Questi sono come il carburante per il computer quantistico e devono essere prodotti continuamente. I ricercatori hanno modellato uno scenario in cui ogni colonna di atomi ha la propria piccola fabbrica per produrre questi stati. Hanno scoperto che mantenendo la produzione locale a ciascuna colonna, il sistema evita la creazione di colli di bottiglia in cui l'intero computer deve attendere un unico centro di produzione centrale. Questo design assicura che il computer possa continuare a funzionare regolarmente anche quando la domanda di queste risorse speciali aumenta. Le simulazioni hanno mostrato che, sebbene la velocità di produzione di queste fabbriche sia importante, il design colonnare di Park-n-Ride consente al sistema di integrare questo requisito senza rallentare il calcolo principale.

In definitiva, il lavoro del team di Park-n-Ride fornisce una tabella di marcia pratica per combinare due delle tecnologie più promettenti nel calcolo quantistico. Dimostra che le rigide regole di movimento dei sistemi a atomi neutri non devono essere una barriera per l'esecuzione di codici di correzione degli errori efficienti. Co-progettando le istruzioni software con i vincoli fisici dell'hardware, i ricercatori hanno creato un sistema che non è solo teoricamente solido, ma anche praticamente efficiente. Le loro simulazioni confermano che, con la giusta pianificazione, i computer a atomi neutri possono eseguire programmi quantistici complessi con alta velocità e bassi tassi di errore. Ciò suggerisce che la strada verso un computer quantistico funzionale e su larga scala possa risiedere in sistemi abbastanza flessibili da potersi riorganizzare, a patto di avere una guida abbastanza intelligente per dire loro come muoversi. I risultati offrono un passo concreto in avanti, passando dalla teoria astratta a un progetto operativo per la prossima generazione di macchine quantistiche.