Quantum subspace verification for error correction codes

Per costruire un computer in grado di risolvere problemi oltre la portata di qualsiasi macchina odierna, gli scienziati stanno correndo per creare computer quantistici. Questi dispositivi utilizzano le strane regole del mondo subatomico per elaborare informazioni in modi che sembrano impossibili nella nostra esperienza quotidiana. Tuttavia, queste macchine sono incredibilmente fragili. La minima perturbazione causata dal calore, dalle vibrazioni o dal rumore elettromagnetico può far sì che le informazioni che contengono si rimescolino e scompaiano. Per risolvere questo problema, i ricercatori utilizzano una tecnica chiamata correzione degli errori quantistici. Invece di memorizzare un singolo pezzo di informazione su una singola particella minuscola, lo distribuiscono su molte particelle, creando una rete di sicurezza. Se una particola commette un errore, le altre possono aiutare a correggerlo, proprio come un coro in cui un cantante che sbaglia una nota non rovina la canzone perché il resto del gruppo mantiene il ritmo.

La sfida è sapere se questa rete di sicurezza stia effettivamente funzionando. Nel mondo reale, questi sistemi quantistici sono rumorosi e gli stati "perfetti" che gli scienziati mirano a raggiungere sono raramente ottenuti. Per controllare se un computer quantistico sta facendo il suo lavoro, gli scienziati solitamente cercano di misurare l'intero sistema per vedere quanto sia vicino all'ideale. Ma questo metodo tradizionale è come cercare di contare ogni granello di sabbia su una spiaggia per controllarne la dimensione; richiede così tanto tempo e sforzo che diventa impossibile per sistemi di grandi dimensioni. Uno studio di Junjie Chen e colleghi offre un modo più intelligente per controllare la salute di questi sistemi di correzione degli errori quantistici senza dover misurare ogni singola parte.

I ricercatori si sono resi conto che, per verificare se un computer quantistico funziona correttamente, non è necessario conoscere lo stato esatto di ogni particella. È sufficiente sapere se il sistema rimane all'interno della specifica "zona sicura" progettata dal codice di correzione degli errori. Hanno sviluppato un nuovo framework chiamato verifica dello spazio sottospazio quantistico. Pensate al codice di correzione degli errori come a una stanza specifica in un grande edificio. L'obiettivo è garantire che il computer sia all'interno di quella stanza, non necessariamente mappare ogni centimetro della sua posizione al suo interno. Concentrandosi su quest'area più ampia, il team ha creato un metodo che utilizza molte meno misurazioni per confermare che il sistema funzioni come previsto.

Il team ha testato la loro idea su due tipi principali di codici di correzione degli errori utilizzati nel settore: i codici stabilizzatori e i codici quantistici a bassa densità di parità (quantum low-density parity-check). I codici stabilizzatori sono come un insieme di regole che dicono alle particelle come comportarsi insieme, mentre l'altro tipo è una struttura più complessa e flessibile, progettata per gestire gli errori in modo efficiente. I ricercatori hanno dimostrato che, utilizzando il loro nuovo metodo, potevano verificare questi codici utilizzando solo misurazioni locali. Ciò significa che dovevano controllare solo piccoli gruppi di particelle alla volta, piuttosto che l'intero sistema in una volta sola. Per molti codici comuni, il numero di diverse configurazioni di misurazione richieste era sorprendentemente piccolo, rimanendo talvolta costante anche quando la dimensione del computer cresceva.

Un risultato chiave è stato che, per certi codici avanzati, lo sforzo richiesto per verificare il sistema non cresce con il numero di particelle fisiche utilizzate. In passato, controllare un sistema più grande significava un lavoro esponenzialmente maggiore, diventando rapidamente ingestibile. Con questo nuovo approccio, il lavoro rimane gestibile e, in alcuni casi, lo sforzo di verifica dipende solo dal numero di pezzi di informazione logica protetti, non dal numero totale di particelle fisiche che li sostengono. Questo è un cambiamento significativo, poiché significa che gli scienziati possono verificare computer quantistici su larga scala senza aver bisogno di risorse che crescono fuori controllo.

I ricercatori hanno inoltre combinato questo nuovo metodo di verifica con una tecnica esistente per stimare quanto uno specifico stato quantistico corrisponda a un obiettivo. Questa combinazione permette di controllare la qualità degli "stati magici", ovvero stati quantistici speciali e complessi necessari per eseguire i calcoli più potenti. I metodi precedenti per controllare questi stati erano così dispendiosi in termini di risorse da risultare impraticabili per sistemi di grandi dimensioni. Il nuovo protocollo riduce il numero di misurazioni necessarie di un fattore enorme, rendendo possibile verificare questi stati critici in modo efficiente.

Lo studio fornisce una via chiara per testare i computer quantistici man mano che crescono di dimensioni. Utilizzando la struttura nota dei codici di correzione degli errori per guidare le misurazioni, il team ha dimostato che la verifica può essere effettuata con alta fiducia utilizzando una frazione delle risorse precedentemente ritenute necessarie. Questo lavoro non offre solo un miglioramento teorico; fornisce uno strumento pratico che può essere implementato sull'hardware quantistico attuale e futuro. Mentre gli scienziati si avvicinano alla costruzione di computer quantistici tolleranti ai guasti, avere un modo affidabile ed efficiente per controllarne le prestazioni è essenziale. Questo nuovo framework assicura che, quando queste macchine saranno finalmente pronte, sapremo esattamente quanto bene stanno lavorando.