Automated reduction of fault-tolerant circuits
Questo articolo presenta un metodo automatizzato per ridurre i circuiti tolleranti ai guasti applicando riscritture equivalenti ai guasti per esporre riduzioni di coppie di Bell, il che riduce con successo il conteggio delle risorse e i tassi di errore logico per l'estrazione dei sindromi di tipo Shor e Steane senza richiedere una verifica separata della tolleranza ai guasti per ogni circuito candidato.
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
I computer quantistici promettono di risolvere problemi impossibili per le macchine odierne, ma sono incredibilmente fragili. I bit di informazione che utilizzano, chiamati qubit, sono facilmente disturbati dal minimo rumore proveniente dal loro ambiente, causando errori che possono rovinare un calcolo. Per costruire una macchina utile, gli scienziati devono proteggere questi qubit utilizzando un metodo chiamato tolleranza ai guasti. Questo approccio non cerca di fermare ogni singolo errore; invece, codifica l'informazione attraverso molti qubit fisici in modo che, se alcuni dovessero fallire, il computer possa rilevare l'errore e correggerlo senza perdere i dati. Tuttavia, la strumentazione necessaria per controllare questi errori e correggerli è essa stessa complessa e soggetta a errori. Se il processo di controllo degli errori è troppo grande o inefficiente, può introdurre più errori di quanti ne corregga, vanificando lo scopo. La sfida centrale per i ricercatori è progettare questi circuiti di controllo degli errori in modo che siano il più piccoli ed efficienti possibile, pur rimanendo abbastanza robusti da gestire l'inevitabile rumore del mondo fisico.
In un nuovo studio, i ricercatori hanno sviluppato un metodo automatizzato per restringere questi circuiti tolleranti ai guasti senza compromettere la loro capacità di proteggere i dati. Il team è partito da design funzionanti e noti per la correzione degli errori e ha utilizzato un programma per computer per riorganizzare sistematicamente i componenti. Non si sono limitati a eliminare parti a caso; al contrario, hanno applicato un insieme di regole rigide che permettevano di scambiare l'ordine delle operazioni o rimuovere passaggi ridondanti, a condizione che la capacità del circuito di rilevare e gestire gli errori rimanesse esattamente la stessa. Pensatelo come un risolutore di puzzle che è autorizzato a spostare i pezzi per rendere l'immagine più piccola, ma che gli è vietato cambiare l'immagine finale. Seguendo queste regole, il software ha scoperto nuove versioni dei circuiti che utilizzavano meno risorse rispetto alle versioni originali progettate dagli esseri umani.
I ricercatori hanno testato il loro metodo su due tipi specifici di configurazioni di controllo degli errori utilizzate per un codice quantistico ben noto. Nel primo test, si sono concentrati su un metodo standard che utilizza un gruppo speciale di qubit ausiliari per misurare gli errori. Il design originale per questo compito richiedeva trenta preparazioni di questi qubit ausiliari e cinquantatré porte di connessione specifiche per completare un ciclo di controllo. La ricerca automatizzata ha trovato un modo per riorganizzare il circuito in modo che richiedesse solo diciotto preparazioni e quarantatré porte. Questa riduzione del quaranta per cento nei qubit ausiliari e del ventidue per cento nelle porte significava che il circuito era significativamente più leggero. Quando il team ha simulato come questo nuovo circuito più piccolo si sarebbe comportato in un ambiente rumoroso, ha scoperto che performava meglio del design originale. A un determinato livello di rumore, il nuovo circuito ha ridotto il tasso di errori non correggibili di circa il ventuno per cento. Questo miglioramento è rimasto valido anche quando i ricercatori hanno variato i livelli di rumore, con il nuovo design che riduceva costantemente gli errori tra il tredici e il ventitré per cento.
Il secondo test ha coinvolto un approccio più dinamico in cui il processo di controllo degli errori può cambiare strategia a metà percorso se viene rilevato un problema. I ricercatori hanno applicato la loro ricerca automatizzata a un circuito che era già stato ottimizzato da altri scienziati, il quale utilizzava quattro qubit ausiliari e quattordici porte di connessione. Il programma di ricerca ha trovato una disposizione diversa che utilizzava esattamente lo stesso numero di qubit e porte. Tuttavia, la nuova disposizione era più veloce. Riordinando i passaggi, i ricercatori hanno ridotto il tempo necessario affinché le porte agissero in sequenza, noto come profondità del circuito. In un mondo rumoroso, il tempo è una vulnerabilità; più a lungo un qubit resta inattivo in attesa del passaggio successivo, più è probabile che raccolga un errore. Poiché questo nuovo circuito ha terminato il suo lavoro più velocemente, ha sofferto meno di questo rumore di inattività. Nelle simulazioni, questo vantaggio di velocità ha ridotto il tasso di errore di circa il quindici per cento rispetto al precedente miglior design, nonostante il numero totale di parti fosse rimasto identico.
La chiave di questo successo è stata che i ricercatori non hanno dovuto verificare manualmente che ogni nuovo circuito trovato fosse sicuro. Poiché le regole utilizzate per riorganizzare i circuiti erano matematicamente provate per preservare le proprietà di correzione degli errori, qualsiasi circuito prodotto dal computer era garantito essere tollerante ai guasti. Ciò ha permesso loro di esplorare migliaia di possibilità rapidamente, qualcosa che sarebbe stato impossibile se un essere umano avesse dovuto controllare individualmente la sicurezza di ciascuno di essi. Lo studio dimostra che c'è ancora spazio per migliorare la correzione degli errori quantistici, non solo inventando teorie completamente nuove, ma perfezionando attentamente i circuiti che già possediamo. I ricercatori hanno scoperto che anche quando il numero di parti non può essere ridotto, semplicemente cambiare l'ordine in cui operano può portare a significativi guadagni di prestazioni. Questo lavoro suggerisce che gli strumenti automatizzati possono aiutare gli ingegneri a costruire computer quantistici più affidabili, trovando queste efficienze nascoste nella complessa strumentazione necessaria per mantenerli in funzione.
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.