Certifying quantum code and circuit distances at scale
Questo articolo introduce un metodo scalabile che utilizza funzioni di partizione tropicali e la programmazione dinamica per certificare esattamente le distanze di codici e circuiti quantistici, rivelando significativi sovrastime nella letteratura precedente e consentendo stime più accurate delle risorse e l'utilizzo di hardware quantistico difettoso.
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 dall'autore. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo
I computer quantistici promettono di risolvere problemi impossibili per le macchine odierne, dalla progettazione di nuovi materiali alla decrittazione di codici complessi. Per farlo, devono eseguire calcoli con estrema precisione. Tuttavia, le particelle fisiche che memorizzano le informazioni in queste macchine sono notoriamente fragili, soggette a errori anche per il minimo disturbo. Per superare questo ostacolo, gli scienziati utilizzano una tecnica chiamata correzione degli errori quantistici. Essi distribuiscono un singolo pezzo di informazione su molte particelle fisiche, creando un'unità logica che può sopravvivere se alcune delle sue parti falliscono. La forza di questa protezione è misurata da un valore chiamato distanza. Una distanza maggiore significa che il sistema può resistere a più errori prima che l'informazione vada perduta. Questo numero è critico per gli ingegneri; determina quanti componenti fisici sono necessari per costruire un computer utile e quanto sarà affidabile la macchina finale. Per anni, i ricercatori si sono affidati a stime per questa distanza, utilizzando spesso ricerche informatiche che trovano gli errori ma non possono provare di aver trovato quelli minimi possibili.
Un team di ricercatori ha ora sviluppato un modo per calcolare queste distanze esattamente, anche per i sistemi massicci proposti per l'hardware futuro. Hanno trattato il problema della ricerca dell'errore più piccolo come un puzzle matematico unificato e lo hanno risolto utilizzando tre metodi distinti e rigorosi che lavorano insieme. Invece di indovinare o fermarsi al primo errore trovato, il loro approccio dimostra che non esiste un errore più piccolo. Combinando questi metodi con scorciatoie intelligenti che riducono la dimensione del problema, sono stati in grado di certificare le distanze esatte per codici quantistici che coinvolgono fino a 31.200 particelle fisiche e circuiti con centinaia di migliaia di potenziali punti di guasto. Questo livello di certezza permette loro di verificare i progetti di importanti aziende tecnologiche e di identificare difetti che le precedenti stime avevano mancato.
I ricercatori hanno applicato il loro metodo a una vasta gamma di proposte attuali, inclusi i progetti di Google e IBM. In molti casi, hanno scoperto che le stime pubblicate erano troppo ottimistiche. Ad esempio, un circuito di memoria specifico di IBM, che era stato assunto avere una distanza di 18, è stato dimostrato avere una distanza di soli 16. Questa differenza è significativa perché cambia il tasso di errore previsto di un fattore enorme. In un altro caso riguardante un codice progettato da Google, il team ha certificato le distanze per sistemi con oltre 31.000 qubit, confermando valori che erano precedentemente sconosciuti. Il loro audit di ventisei recenti articoli scientifici ha rivelato che dieci di essi contenevano distanze sovrastimate, con discrepanze talvolta pari a otto unità. Questi errori non erano dovuti a una cattiva matematica negli articoli originali, ma al fatto che i metodi di ricerca utilizzati lì non potevano garantire di aver trovato l'errore assolutamente più piccolo.
Oltre a correggere i numeri passati, il team ha utilizzato i propri strumenti per progettare circuiti migliori. Hanno testato migliaia di diversi programmi per come misurare gli errori in un tipo specifico di codice quantistico. Hanno scoperto che, mentre un programma standard era ottimale per alcuni codici, era tutt'altro che il migliore per altri. Riorganizzando l'ordine delle operazioni, potevano aumentare la distanza di un circuito da 16 a 18, rendendolo significativamente più robusto. Questo tipo di ottimizzazione precisa è essenziale per costruire macchine che possano eseguire lunghi calcoli senza fallire. I ricercatori hanno anche mostrato come il loro metodo aiuti nella realtà della produzione. I chip quantistici spesso escono dalla fabbrica con piccoli difetti, come un singolo sensore rotto. I modelli precedenti suggerivano che qualsiasi chip con un difetto dovesse essere scartato. Tuttavia, certificando la distanza di questi chip imperfetti, il team ha dimostto che molti rimangono utilizzabili. Ad esempio, con una resa di produzione in cui il 99,98% delle connessioni funziona, mantenere i chip con alcuni sensori morti che mantengono comunque una distanza elevata potrebbe aumentare il numero di chip utilizzabili dal 53% al 94%.
Il lavoro si basa su un framework unificato che tratta sia il codice stesso che il circuito usato per misurarlo come un unico problema. I ricercatori hanno espresso la ricerca dell'errore più piccolo come una "funzione di partizione tropicale", un concetto che permette loro di utilizzare potenti algoritmi per trovare il valore minimo. Hanno poi impiegato tre diversi risolutori esatti: un programma dinamico che attraversa il sistema come una scala, una ricerca che cerca errori entro un limite di peso specifico e una ricerca bidirezionale che si incontra nel mezzo. Un modello di costo decide quale risolutore utilizzare per ogni parte del problema per garantire l'efficienza. Quando un risolutore trova un errore, il team lo verifica riproducendo la sequenza di guasti in un simulatore per assicurarsi che causi effettivamente un fallimento logico senza far scattare alcun allarme. Questo processo produce un certificato: una prova che non esiste un errore più leggero, accompagnata dall'errore specifico che è stato trovato.
I risultati hanno implicazioni immediate per l'architettura dei futuri computer quantistici. Per il processore pianificato da IBM, il team ha confermato che lo schema standard per un blocco di memoria specifico ha una distanza di 16, non 18 come precedentemente assunto. Tuttavia, hanno anche identificato schemi alternativi che raggiungono la distanza superiore di 18, sebbene con un leggero aumento del tempo richiesto per ogni ciclo. Questo compromesso tra velocità e affidabilità è ora una quantità nota piuttosto che una supposizione. Allo stesso modo, per i codici iperbolici modulari di Google, il team ha fornito le prime distanze esatte per sistemi di quella scala, risolvendo questioni che erano rimaste aperte. La capacità di certificare questi valori significa che le stime sulle risorse per le future macchine possono basarsi su fatti concreti piuttosto che su limiti superiori.
Lo studio ha anche affrontato la questione delle misurazioni logiche, dove blocchi separati di memoria quantistica vengono uniti per eseguire operazioni. I ricercatori hanno scoperto che la distanza di questi sistemi uniti dipende fortemente da come vengono gestiti i qubit "gauge" aggiuntivi introdotti durante il processo. Se questi qubit vengono lasciati liberi, la distanza può diminuire significamente, ma se vengono fissati in uno stato specifico, la distanza rimane elevata. Questa distinzione è cruciale per progettare protocolli di misurazione che non indeboliscano accidentalmente la protezione dagli errori. I calcoli esatti del team hanno mostrato che le stime precedenti avevano trascurato queste sfumature, portando a potenziali sovrastime delle prestazioni.
In definitiva, l'articolo trasforma la distanza di un codice quantistico da una stima in una quantità verificata. Questo spostamento rimuove una grande fonte di incertezza dalla pianificazione dei computer quantistici. Gli ingegneri possono ora confrontare diversi progetti con fiducia, sapendo esattamente quanti errori ciascuno può tollerare. Il metodo scala alle dimensioni delle più grandi proposte all'orizzonte, gestendo sistemi con centinaia di migliaia di potenziali punti di guasto. Sebbene alcuni casi estremamente grandi o complessi richiedano ancora risorse computazionali sostanziali, il team ha dimostrato che la certificazione esatta è possibile per la stragrande maggioranza dei design attuali. Questa precisione permette una valutazione più realistica di ciò che i computer quantistici possono raggiungere e di quante risorse fisiche avranno realmente bisogno.
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.