Constant-rate quantum codes with low-weight stabilizers and full logical Clifford actions via transversal and fold-transversal gates
Questo articolo introduce una famiglia di codici quantistici a tasso costante con pesi dei stabilizzatori che crescono in modo sublogaritmico, i quali supportano l'intero gruppo di Clifford logico utilizzando solo porte trasversali e fold-trasversali, abilitando così un calcolo quantistico tollerante ai guasti a basso overhead di spazio.
Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo
Per costruire un computer in grado di risolvere problemi ben oltre la portata delle macchine odierne, gli scienziati stanno cercando di sfruttare le strane regole della fisica quantistica. Queste macchine utilizzano bit quantistici, o qubit, che possono esistere in più stati contemporaneamente, offrendo una potenza immensa. Tuttavia, questa potenza comporta un costo fragile: i qubit sono incredibilmente sensibili al rumore e agli errori. Un singolo errore può corrompere l'intero calcolo. Per risolvere questo problema, i ricercatori utilizzano codici di correzione degli errori quantistici, che distribuiscono l'informazione su molti qubit fisici per creare un singolo qubit "logico" stabile. L'obiettivo è trovare un modo per proteggere questa informazione senza utilizzare così tanti componenti fisici extra da rendere la macchina troppo grande per essere costruita. Inoltre, la macchina deve essere in grado di eseguire calcoli su questa informazione protetta senza rompere la protezione. Ciò richiede un delicato equilibrio: il codice deve essere abbastanza efficiente da entrare in un chip, ma anche abbastanza robusto da sopravvivere agli inevitabili errori del mondo reale, permettendo al contempo al computer di svolgere un lavoro utile.
Per anni, un ostacolo principale è stato trovare un codice che fosse allo stesso tempo altamente efficiente e capace di eseguire una gamma completa di operazioni necessarie senza richiedere parti ausiliarie extra. Alcuni metodi esistenti funzionano bene per la correzione degli errori ma richiedono misurazioni complesse e dispendiose in termini di tempo che introducono nuovi rischi. Altri consentono operazioni facili ma non riescono a proteggere abbastanza informazioni o richiedono così tanti componenti fisici da diventare impraticabili. La sfida centrale è stata quella di costruire un sistema che combini un alto tasso di memorizzazione delle informazioni con un set completo di strumenti logici, mantenendo al contempo semplici le connessioni fisiche tra le parti e il processo di correzione degli errori veloce.
In uno studio recente, i ricercatori hanno costruito una famiglia di codici quantistici che raggiunge questo difficile equilibrio. Hanno sviluppato un sistema in grado di memorizzare una quantità costante di informazioni rispetto alle sue dimensioni, il che significa che non spreca spazio man mano che cresce. Fondamentalmente, questo sistema può eseguire ogni operazione logica necessaria utilizzando solo interazioni semplici e dirette tra parti fisiche, senza bisogno di alcun qubit ausiliario aggiuntivo. Tuttavia, per raggiungere l'intera gamma di queste operazioni, il sistema richiede almeno due blocchi di codice che lavorino insieme, piuttosto che uno solo. I ricercatori hanno chiamato la loro creazione codici PRISM. Questi codici sono costruiti combinando due copie di un tipo specifico di codice classico derivato dalle simmetrie di forme geometriche note come "buildings" in matematica. Collegando queste strutture, il team ha creato un sistema quantistico in cui le connessioni tra le parti rimangono relativamente semplici, anche quando il sistema scala di dimensioni.
L'innovazione chiave risiede nel modo in cui questi codici gestiscono errori e operazioni. I ricercatori hanno progettato il sistema in modo che le connessioni tra i qubit fisici, utilizzate per controllare gli errori, non diventino eccessivamente complesse. Sebbene il numero di connessioni aumenti man mano che il sistema si ingrandisce, esso cresce molto lentamente — così lentamente che, per qualsiasi dimensione pratica di un computer, le connessioni rimangono gestibili, simili a quelle presenti nei sistemi di correzione degli errori più avanzati attualmente disponibili. Ciò consente al sistema di mantenere alte prestazioni anche nelle versioni iniziali più piccole. Il team ha dimostrato attraverso simulazioni che questi codici possono correggere gli errori efficacemente, superando altri metodi noti quando si utilizza lo stesso numero di qubit logici e livelli di protezione degli errori simili.
Per far funzionare il computer, i ricercatori hanno dimostrato che è possibile eseguire tutte le operazioni logiche necessarie utilizzando due tipi specifici di gate. Il primo tipo agisce indipendentemente sui singoli qubit fisici, garantendo che un errore in un punto non si propaghi ad altri. Il secondo tipo prevede lo scambio di posizione dei qubit e l'applicazione di operazioni semplici, un metodo che permette al sistema di accedere a una gamma di azioni logiche molto più ampia di quanto precedentemente ritenuto possibile con strumenti così semplici. Combinando questi due metodi, il team ha provato di poter generare l'intero set di operazioni logiche richieste per calcoli complessi. Questo è un passo avanti significativo perché i sistemi precedenti o mancavano della capacità di eseguire tutte queste operazioni o richiedevano risorse extra che vanificavano lo scopo di avere un codice efficiente.
Lo studio ha anche affrontato un comune malinteso secondo cui i codici ad alte prestazioni debbano necessariamente fare affidamento su connessioni complesse e ad alta densità. I ricercatori hanno dimostrato che, utilizzando le proprietà matematiche della loro specifica famiglia di codici, potevano ottenere un set completo di strumenti logici mantenendo le connessioni scarse. Hanno esplicitamente notato che, sebbene i loro codoli non siano strettamente il tipo più semplice possibile in senso teorico, si comportano quasi come i tipi più semplici per qualsiasi dimensione di computer realistica. Il lavoro fornisce una via chiara verso la costruzione di computer quantistici fault-tolerant che siano sia efficienti nello spazio sia capaci di eseguire l'intera gamma di operazioni necessarie per il calcolo universale, senza l'oneroso sovraccarico di parti ausiliarie extra.
Sommerso dagli articoli nel tuo campo?
Ricevi digest giornalieri degli articoli più recenti corrispondenti alle tue parole chiave di ricerca — con riassunti tecnici, nella tua lingua.