Improved Quantum Codes with Transversal T Gates

Costruire un computer quantistico su larga scala richiede la risoluzione di un problema che sembra quasi paradossale: come proteggere informazioni fragili senza distruggerle. Nel mondo quantistico, l'atto stesso di controllare gli errori può sconvolgere i dati che si sta cercando di salvare. Per evitare questo, gli scienziati si affidano a una strategia chiamata tolleranza ai guasti (fault tolerance), in cui l'informazione è distribuita su molte particelle fisiche, note come qubit, in modo che se una fallisce, le altre possano mantenere la linea. Il modo più efficiente per eseguire calcoli su questa informazione distribuita è attraverso operazioni "trasversali". Immaginate un coro in cui ogni cantante esegue una nota specifica esattamente nello stesso momento; in un codice quantistico, ciò significa applicare un gate semplice a ogni qubit fisico simultaneamente per creare un' operazione logica complessa sui dati codificati. Questo metodo è naturalmente sicuro perché un errore su un qubit fisico non può diffondersi a molti altri durante l'operazione. Tuttavia, una legge fondamentale della fisica, nota come teorema di Eastin-Knill, stabilisce che nessun codice quantistico può supportare un insieme completo di operazioni universali utilizzando solo questi metodi trasversali semplici e sicuri. Gli scienziati devono quindi trovare un modo per includere almeno un'operazione difficile che infranga questa regola, o trovare un codice che supporti un gate specifico e cruciale trasversalmente, gestendo il resto attraverso altri mezzi.

Il gate al cuore di questa nuova ricerca è il gate T, un tipo specifico di operazione quantistica che è essenziale per rendere i computer quantistici abbastanza potenti da risolvere problemi del mondo reale. Mentre molti codici quantistici possono gestire un insieme di operazioni più semplici chiamate gate Clifford trasversalmente, l'aggiunta del gate T si è rivelata un ostacolo significativo. Per anni, le migliori famiglie di codici quantistici che potevano supportare un gate T trasversale sono rimaste bloccate con metriche di prestazione scarse. Dovevano o sacrificare la quantità di informazione che potevano memorizzare in nome della protezione dagli errori, o potevano proteggere solo una piccola quantità di dati. Queste limitazioni significavano che, per costruire un computer utile, sarebbe stato necessario un amount impraticabile di hardware fisico, creando un enorme overhead che rendeva la costruzione su larga scala un obiettivo lontano. La domanda centrale per i ricercatori è stata se sia possibile progettare una famiglia di codici quantistici che mantenga un alto tasso di memorizzazione delle informazioni e che, allo stesso tempo, diventi più forte man mano che il sistema cresce, il tutto supportando questo critico gate T senza richiedere correzioni complesse e soggette a errori.

In questo lavoro, un ricercatore del Massachusetts Institute of Technology e di IBM Research ha sviluppato un nuovo framework che espande significativamente le possibilità per questi codici. Lo studio introduce un metodo per la costruzione di codici quantistici che supportano il gate T trasversale con parametri che si riteneva fossero precedentemente irraggiungibili. Il ricercatore ha ottenuto questo adattando una classe di strutture matematiche note come codici monomiali decrescenti. Questi codici sono costruiti da polinomi valutati su una griglia di punti, e l'innovazione del ricercatore è consistita nel selezionare attentamente quali punti mantenere e quali rimuovere, un processo chiamato punzonatura (puncturing). Scegliendo di rimuovere punti in un modello specifico e strutturato, il ricercatore è stato in grado di creare qubit logici protetti dalla struttura rimanente. Fondamentalmente, lo studio dimostra che utilizzando un tipo specifico di codice polinomiale pesato e punzonandolo in un insieme di punti attentamente scelto, si può creare codici quantistici che non solo supportano il gate T, ma raggiungono anche un tasso costante di memorizzazione delle informazioni mentre la loro distanza di correzione degli errori cresce al crescere del sistema. Questa è la prima volta che tale combinazione viene raggiunta per codici che supportano il gate T senza richiedere ulteriori passaggi di correzione.

Il documento dettaglia due approcci principali per costruire questi codoli. Il primo è una costruzione esplicita, il che significa che i passaggi per costruire il codice sono chiaramente definiti e possono essere seguiti da un algoritmo informatico. Questo metodo utilizza una variazione di un oggetto matematico ben noto chiamato codice di Reed-Muller, ma con un colpo di scena: il ricercatore assegna pesi diversi alle variabili del polinomio, rendendo di fatto alcune parti del codice più pesanti o significative di altre. Regolando questi pesi e il modello di punti rimossi, il ricercatore ha dimostrato che è possibile creare codici che memorizzano l'informazione a un tasso costante mentre la loro capacità di rilevare e correggere gli errori migliora man mano che il sistema si ingrandisce. Questo risultato è significativo perché rompe una barriera di lunga data dove i codici precedenti potevano raggiungere questa crescita solo a costo del loro tasso di memorizzazione. Il secondo approccio è una costruzione randomizzata, che utilizza la probabilità per dimostrare che sono possibili parametri ancora migliori, anche se i passaggi specifici per costruirli non sono così semplici da scrivere. Questo metodo prevede la protezione di certi punti dalla rimozione utilizzando una struttura simile a un ipergrafo, che agisce come uno scudo per parti specifiche del codice, garantendo che l'informazione più critica rimanga intatta.

Una delle implicazioni più profonde di queste scoperte riguarda l'efficienza della distillazione dello stato magico (magic state distillation), un processo necessario per trasformare operazioni quantistiche rumorose nei gate T ad alta fedeltà necessari per il calcolo. In lavori precedenti, l'efficienza di questo processo era limitata da un esponente specifico che determinava quanto risorsa fisica fosse necessaria per creare un singolo gate logico di alta qualità. I nuovi codici costruiti in questo studio permettono a questo esponente di avvicinarsi a zero, il che significa che l'overhead richiesto per creare questi gate essenziali diventa trascurabile con l'aumentare della scala del sistema. Questo rappresenta un miglioramento drammatico rispetto ai migliori risultati precedenti, dove l'overhead rimaneva una frazione significativa delle risorse totali. Il ricercatore osserva inoltre che, sebbene i codici non siano necessariamente codici a parità di controllo a bassa densità (LDPC), che sono un target popolare per l'implementazione hardware, possono servire come un potente strato logico sopra altri codici o essere utilizzati direttamente in architetture in cui i vincoli fisici sono meno rigidi. Il lavoro fornisce un'espressione matematica in forma chiusa per la distanza di questi codici punzonati, un risultato che può essere utile in altre aree della teoria della comunicazione classica e quantistica.

Lo studio non sostiene di aver risolto l'intero problema della costruzione di un computer quantistico universale, né suggerisce che questi specifici codici siano l'unica strada percorribile. Esso esclude esplicitamente l'idea che le costruzioni precedenti fossero ottimali, mostrando che i confini di ciò che è realizzabile sono stati spinti oltre. Il ricercatore riconosce che, sebbene le costruzioni esplicite siano un passo avanti importante, le costruzioni randomizzate suggeriscono che potrebbero essere possibili prestazioni ancora migliori, sebbene siano più difficili da implementare direttamente. Il lavoro chiarisce anche che la proprietà del gate T trasversale vale nel senso più forte: applicare il gate fisico a ogni qubit produce direttamente il gate logico su ogni qubit logico, senza bisogno di alcun passaggio di correzione aggiuntivo, il che semplifica il protocollo di tolleranza ai guasti. Questa chiarezza è un contributo chiave, poiché i lavori precedenti spesso si affidavano a nozioni più deboli di trasversalità che richiedevano operazioni extra per correggere gli errori. Stabilendo questi nuovi parametri, la ricerca apre un regime più ampio di possibilità per la progettazione di codici quantistici, suggerendo che i compromessi tra tasso di memorizzazione e protezione dagli errori non sono così rigidi come precedentemente creduto.

In definitiva, questo articolo offre un nuovo schema su come organizzare l'informazione quantistica per resistere al rumore del mondo fisico mentre si eseguono le operazioni più difficili richieste dal calcolo. Ripensando a come punzonare e pesare i codici matematici, il ricercatore ha dimostrato che è possibile avere il meglio di entrambi i mondi: alta densità di informazione e crescente protezione dagli errori, il tutto supportando il critico gate T. I risultati sono provati matematicamente, fornendo una solida base per il lavoro futuro nella correzione degli errori quantistici. Mentre il campo si muove verso la costruzione di sistemi quantistici più grandi e complessi, queste scoperte suggeriscono che i costi di overhead associati alla tolleranza ai guasti potrebbero essere inferiori rispetto a quanto anticipato, portando il sogno di un computer quantistico su larga scala e fault-tolerant un passo più vicino alla realtà. Il lavoro è una testimonianza del potere della struttura matematica nel risolvere problemi fisici, dimostrando che con il giusto arrangiamento dell'informazione, i limiti del mondo quantistico possono essere navigati con sorprendente efficienza.