Stabilizer codes over general phase spaces

I computer quantistici promettono di risolvere problemi impossibili per le macchine odierne, ma sono incredibilmente fragili. L'informazione che memorizzano, nota come stati quantistici, può essere facilmente rimescolata dalla minima vibrazione o dal calore. Per proteggere questa informazione, gli scienziati utilizzano una strategia chiamata correzione degli errori, che consiste nel distribuire un singolo pezzo di dato su molte particelle fisiche. Se una particella viene corrotta, le altre conservano la verità, permettendo al computer di recuperare. Per decenni, i ricercatori hanno sviluppato modi specifici per farlo per diversi tipi di hardware quantistico. Alcuni sistemi utilizzano minuscole unità discrete di energia, come singoli gradini su una scala. Altri utilizzano onde continue di energia, come il moto fluido di un pendolo. Finora, questi due approcci sono stati trattati in gran parte come mondi separati, con regole matematiche diverse e strumenti diversi per correggere gli errori.

Un nuovo studio di Sayan Chakraborty e Victor V. Albert colma questo divario. Hanno sviluppato una teoria unificata per una vasta classe di codici quantistici che possono mescolare insieme questi diversi tipi di sistemi. Il loro lavoro mostra come costruire memorie quantistiche stabili utilizzando una combinazione di oscillatori, rotori e unità discrete, tutti governati da un unico insieme coerente di regole. Questo è un passo avanti significativo perché i futuri computer quantistici probabilmente non si affideranno a un solo tipo di hardware; dovranno integrare vari componenti per funzionare efficacemente. Dimostrando che questi sistemi misti possono essere trattati con lo stesso rigore matematico dei loro omologhi più semplici, i ricercatori hanno fornito una tabella di marcia per costruire dispositivi quantistici più robusti e versatili.

Il nucleo di questo lavoro riguarda un concetto chiamato codice stabilizzatore. Immaginate di avere una collezione di oggetti e di volerli mantenere in una specifica disposizione sicura. Definite un insieme di regole, o "stabilizzatori", che descrivono questo stato sicuro. Se gli oggetti si muovono leggermente, rompono una di queste regole e il sistema sa che si è verificato un errore. I ricercatori si sono concentrati su sistemi in cui queste regole sono definite da "operatori di spostamento". In termini semplici, questi sono azioni che spostano lo stato di un sistema, sia muovendolo in una nuova posizione che cambiando la sua fase, che è come spostare il tempo di un'onda. L'intuizione chiave è che, affinché un codice funzioni, queste azioni di spostamento devono commutare, il che significa che l'ordine in cui si applicano non è importante. Questa proprietà permette al sistema di formare uno spazio stabile e protetto dove l'informazione quantistica può vivere.

Chakraborty e Albert si sono resi conto che questi operatori di spostamento possono essere visualizzati come punti su una griglia in uno spazio matematico chiamato spazio delle fasi. Per un sistema semplice, questa griglia potrebbe apparire come un motivo regolare di punti. Per sistemi più complessi, la griglia può essere allungata, torcitata o persino presentare lacune. I ricercatori hanno dimostrato che finché la griglia forma un tipo specifico di struttura nota come reticolo, essa può definire un codice quantistico valido. Questo reticolo funge da scheletro del codice di correzione degli errori. La dimensione dello spazio logico — la quantità di informazione che il codice può memorizzare — è direttamente correlata al volume dello spazio tra i punti di questo reticolo. Se i punti sono densamente impacchettati, il codice può memorizzare più informazione; se sono sparsi, ne memorizza meno.

Una delle scoperte più sorprendenti del articolo è la scoperta di codici "ibridi" che non possono essere scomposti in parti separate e indipendenti. In passato, gli scienziati spesso assumevano che un sistema complesso potesse essere compreso guardando ai suoi componenti più semplici individualmente. Ad esempio, un codice che mescola oscillatori e unità discrete poteva essere pensato come solo un codice di oscillatori incollato a un codice discreto. Tuttavia, gli autori hanno costruito esempi in cui i componenti sono così profondamente intrecciati che nessun rimescolamento matematico può separarli. Hanno creato un codice che mescola oscillatori con rotori planari, e un altro che mescola rotori con unità discrete, dove la connessione tra le parti è intrinseca. Ciò significa che le proprietà di correzione degli errori dell'intero sistema dipendono dal modo specifico in cui le parti sono collegate, e non è possibile comprendere il sistema studiando le parti in isolamento.

I ricercatori hanno anche affrontato il problema della decodifica degli errori in questi sistemi misti. Quando si verifica un errore, esso sposta lo stato del sistema in una nuova posizione nello spazio delle fasi. L'obiettivo della decodifica è capire quale spostamento è avvenuto e invertirlo. Il documento fornisce un metodo per determinare il modo migliore per farlo, basandosi sulla geometria del reticolo. Hanno dimostrato che il decoder più efficiente è quello che cerca lo spostamento minimo che potrebbe aver causato l'errore osservato. Questo approccio funziona per tutti i diversi tipi di sistemi studiati, che coinvolgano onde continue, passi discreti o un mix di entrambi. Hanno anche derivato formule per calcolare la "distanza" del codice, che è una misura di quanti errori il codice può correggere prima di fallire. Questa distanza è determinata dalla distanza più breve tra i punti del reticolo e i punti che rappresentano l'informazione logica.

Una parte particolarmente elegante del loro lavoro riguarda la relazione tra il codice e il suo "duale". In matematica, ogni reticolo ha un reticolo partner che descrive le possibili operazioni logiche. I ricercatori hanno dimostrato che le proprietà del codice, come la sua capacità di rilevare gli errori, sono direttamente collegate alle proprietà di questo reticolo duale. Questa connessione permette di utilizzare potenti strumenti matematici provenienti dallo studio dei reticoli per analizzare i codici quantistici. Hanno dimostrato che questa relazione rimane valida anche per i codici ibridi più complessi, fornendo un quadro unificato che si applica a tutti i sistemi considerati.

L'articolo affronta anche la questione pratica dell'energia. Nel mondo reale, gli stati quantistici non possono avere energia infinita, ma i modelli matematici ideali spesso assumono il contrario. Gli autori hanno sviluppato un modo per creare versioni a "energia finita" di questi codici. Hanno dimostrato che, smorzando leggermente l'energia del sistema, potevano creare stati fisici che si comportano quasi esattamente come quelli matematici ideali. L'errore introdotto da questo smorzamento è estremamente piccolo, rendendo questi codici praticabili per applicazioni del mondo reale. Ciò è fondamentale perché dimostra che i codoli teorici da loro progettati possono effettivamente essere costruiti e utilizzati in dispositivi fisici.

In tutto il loro studio, gli autori hanno utilizzato un quadro matematico sviluppato da Marc Rieffel, che collega la meccanica quantistica a un campo chiamato geometria non commutativa. Questo quadro tratta lo spazio degli stati quantistici come un oggetto geometrico, permettendo ai ricercatori di usare l'intuizione geometrica per risolvere problemi quantistici. Hanno scoperto che lo spazio del sindrome, ovvero lo spazio in cui viene memorizzata l'informazione sull'errore, può essere visto come un fascio di fibre. Ogni fibra corrisponde a un particolare schema di errore, e il codice vive in una di queste fibre. Questa visione geometrica ha aiutato a dimostrare che la dimensione del codice è uguale al volume del reticolo, un risultato che si applica a tutti i sistemi studiati.

Il lavoro rivisita anche codici noti, come il codice Gottesman-Kitaev-Preskill (GKP), un famoso tipo di codice di correzione dell'errore per sistemi continui. Gli autori hanno dimostrato che il loro nuovo quadro include naturalmente questi codici esistenti come casi speciali. Inoltre, hanno costruito nuovi codici che combinano diversi tipi di sistemi in modi precedentemente impossibili. Ad esempio, hanno creato un codice che mescola dodici oscillatori con dodici qubit, derivato da un famoso codice classico noto come codice Golay. Questo codice ibrido non è una semplice combinazione dei due; è un sistema strettamente integrato dove gli oscillatori e i qubit sono legati in un modo che crea un nuovo, più potente codice.

I ricercatori hanno anche esplorato i limiti di questi codici. Hanno dimostrato che per certi tipi di sistemi, specificamente quelli che coinvolgono un oscillatore e un rotore, il codice può essere solo "intrinsecamente accoppiato" se memorizza una specifica quantità di informazione. Se la quantità di informazione è troppo piccola, il sistema può sempre essere separato in parti indipendenti. Tuttavia, una volta che l'informazione raggiunge una certa soglia, l'accoppiamento diventa inevitabile. Questa scoperta aiuta gli scienziati a capire quando possono aspettarsi di trovare questi comportamenti ibridi complessi nei propri progetti.

In sintesi, Chakraborty e Albert hanno fornito una teoria completa per una vasta gamma di codici di correzione dell'errore quantistico. Hanno dimostrato che oscillatori, rotori e unità discrete possono essere mescolati insieme in un unico quadro coerente. Hanno provato che questi sistemi misti possono avere proprietà intrinseche che non possono essere ridotte alle loro parti, e hanno fornito gli strumenti per analizzare e decodificare essi. Collegando questi diversi sistemi a un unico linguaggio geometrico, hanno aperto la porta alla progettazione di computer quantistici più flessibili e robusti. Il loro lavoro suggerisce che il futuro del computing quantistico potrebbe non risiedere nella scelta di un tipo di hardware rispetto a un altro, ma nell'imparare come intrecciarli insieme in un unico, resiliente tessuto.