Substantially Improved Rate and Distance for Addressable Transversal Phase Gates

I computer quantistici promettono di risolvere problemi che richiederebbero alle macchine classiche migliaia di anni, ma sono incredibilmente fragili. La minima perturbazione causata dal calore o dalle vibrazioni può sconvolgere le delicate informazioni che contengono, facendo fallire i calcoli. Per costruire una macchina che funzioni in modo affidabile, gli scienziati devono proteggere queste informazioni utilizzando la correzione degli errori quantistici. Questo processo consiste nello distribuire un singolo pezzo di dati su molti particelle fisiche, creando una rete di sicurezza in cui la perdita o la corruzione di alcune particelle non distrugga l'intero messaggio. Un requisito critico affinché queste macchine siano davvero utili è la capacità di eseguire operazioni specifiche e complesse sui dati senza rompere la rete di sicurezza. Queste operazioni, note come gate, devono essere applicate in modo da impedire a un singolo errore di diffondersi e infettare l'intero sistema.

Per decenni, una regola fondamentale nota come teorema di Eastin-Knill è rimasta un grande ostacolo. Ha dimostrato che nessun singolo codice quantistico può proteggere i dati consentendo al contempo l'applicazione facile e sicura di un insieme completo di operazioni universali su tutto il sistema. Gli scienziati hanno trovato un modo per aggirare il problema utilizzando un tipo speciale di operazione chiamata gate trasversale, che agisce su ogni particella fisica individualmente, mantenendo contenuti gli errori. Tuttavia, questi gate potevano gestire solo un set limitato di operazioni. Per eseguire l'intera gamma di calcoli necessari per l'informatica potente, i ricercatori dovevano fare affidamento su un processo complesso e dispendioso in termini di risorse chiamato distillazione dello stato magico per creare le operazioni mancanti. Una soluzione più elegante sarebbe stata progettare codici in cui queste operazioni mancanti potessero essere applicate direttamente e selettivamente ai singoli pezzi di dati, una proprietà nota come indirizzabilità. Sebbene i tentativi precedenti di creare tali codici abbiano avuto successo in teoria, i sistemi risultanti erano così inefficienti che richiedevano un numero impraticabile di particelle fisiche per memorizzare anche una minima quantità di informazione, rendendoli inutili per applicazioni del mondo reale.

Un team di ricercatori ha ora migliorato sostanzialmente l'efficienza di questi codici indirizzabili, spostandoli dalle curiosità teoriche verso la realtà pratica. Sviluppando un nuovo metodo di codifica delle informazioni che va oltre i normali framework binari, hanno costruito codici quantistici in grado di eseguire operazioni complesse e non standard su singoli qubit logici mantenendo un alto livello di protezione contro gli errori. Il team ha dimostrato che è possibile raggiungere un equilibrio in cui la quantità di dati memorizzati è significativa rispetto al numero di particelle fisiche utilizzate, e la distanza tra gli errori rimane sufficientemente grande da catturare gli sbagli. Il loro lavoro fornisce due metodi distinti per costruire questi codoli: uno che può essere generato rapidamente da un computer e un altro che richiede più tempo ma offre prestazioni ancora migliori. Entrambi i metodi dimostrano che il divario tra ciò che è teoricamente possibile e ciò che può essere costruito si sta restringendo significativamente.

Il cuore della svolta risiede nel modo in cui i ricercatori organizzano le particelle fisiche. Invece di trattare i dati come semplici interruttori on-off, hanno disposto l'informazione in una struttura ciclica, simile a come i numeri ruotano su un quadrante di un orologio. Questo approccio ha permesso loro di separare il compito di indirizzare i singoli qubit logici dal compito di garantire che il codice sia robusto contro gli errori. Nei design precedenti, questi due obiettivi erano strettamente accoppiati, costringendo a un compromesso in cui il miglioramento di uno significava sacrificare l'altro. Decoupling (disaccoppiando) questi obiettivi, i ricercatori hanno potuto ottimizzare il codice per velocità e sicurezza simultaneamente. Hanno utilizzato un framework matematico basato sulla geometria algebrica per costruire la prima versione di questi codici, che può essere generata in un tempo ragionevole. Questa costruzione garantisce che, man mano che il sistema cresce, l'efficienza del codice rimanga alta, con il tasso di memorizzazione delle informazioni e la capacità di rilevare gli errori che rimangono entrambi sopra una specifica e significativa soglia.

Per spingere i limiti ancora oltre, il team ha anche sviluppato un secondo metodo, più esaustivo. Questo approccio cerca attraverso un vasto numero di possibili configurazioni per trovare la migliore disposizione di particelle per una data dimensione. Sebbene questo metodo richieda molto più tempo di calcolo per verificare i risultati, produce codici con un'efficienza ancora maggiore. I ricercatori hanno scoperto che questa ricerca esaustiva può migliorare le garanzie di prestazione di un fattore di quasi tre rispetto al loro metodo più veloce. Hanno stabilito un limite superiore teorico, o "upper bound", per quanto buoni possano essere questi codici. Sorprendentemente, i loro migliori risultati sono arrivati molto vicini a questo limite, suggerendo che hanno quasi raggiunto la prestenza ottimale consentita dalle leggi della fisica per questo tipo di codice. La vicinanza al massimo teorico indica che c'è ancora spazio per il miglioramento, segnando un passo avanti significativo nel campo.

Il team non si è fermato alla matematica astratta; ha costruito esempi concreti per dimostrare che la sua teoria funziona nella pratica. Ha costruito due codici quantistici specifici, uno utilizzando 48 qubit fisici e un altro utilizzando 90. Questi codici hanno dimostrato con successo la capacità di applicare gate di fase complessi ai singoli qubit logici senza disturbare gli altri. Il codice a 48 qubit può correggere errori su fino a due particelle fisiche, mentre la versione a 90 qubit può gestire errori fino a tre. I ricercatori hanno anche progettato i circuiti specifici richiesti per codificare le informazioni in questi sistemi, dettagliando esattamente quanti gate e connessioni sono necessari per farli funzionare. Questi esempi finiti servono come modelli, mostrando che i vantaggi teorici del loro nuovo metodo di codifica possono essere realizzati in design hardware reali.

Le implicazioni di questo lavoro si estendono oltre un solo tipo di gate. Il nuovo framework di codifica separa il controllo delle operazioni logiche dalla progettazione strutturale del codice di correzione degli errori. Questa separazione significa che gli stessi principi possono probabilmente essere applicati ad altri tipi di gate quantistici e a diversi livelli di complessità. I ricercatori hanno dimostrato che il loro metodo funziona per vari livelli della gerarchia di Clifford, una classificazione delle operazioni quantistiche, e che l'efficienza dei codici scala in modo prevedibile all'aumentare della complessità del gate. Questa scalabilità è cruciale per costruire computer quantistici su larga scala, poiché assicura che l'overhead — le risorse extra necessarie per la correzione degli errori — non esploda man mano che la macchina diventa più complessa. Fornendo una via chiara verso codici che siano sia indirizzabili che efficienti, lo studio rimuove un importante collo di bottiglia che ha ostacolato lo sviluppo di computer quantistici fault-tolerant.

Sebbene i risultati siano promettenti, il lavoro evidenzia anche le sfide rimanenti. I ricercatori hanno identificato un piccolo divario tra le prestazioni dei loro migliori codici e il limite superiore teorico, suggerendo che c'è ancora spazio per il perfezionamento. Gli sforzi futuri si concentreranno probabilmente sulla chiusura di questo divario e sull'integrazione di questi nuovi codici con algoritmi di decodifica efficienti che possano identificare e correggere rapidamente gli errori man mano che si verificano. Il team ha inoltre osservato che l'implementazione pratica richiederà la valutazione di come questi codici si comportano in condizioni di rumore del mondo reale e di come interagiscono con la connettività fisica dell'hardware quantistico. Tuttavia, i target quantitativi stabiliti da questa ricerca forniscono una tabella di marcia chiara per ingegneri e teorici. Riducendo il divario tra i parametri realizzabili e i limiti teorici, questo lavoro trasforma il sogno di un computer quantistico completamente indirizzabile e fault-tolerant da una possibilità distante a un obiettivo ingegneristico tangibile.