Resilience Beyond the Light Cone: Error-Detected Primitives for Practical Dynamic Circuits

I computer quantistici promettono di risolvere problemi che richiederebbero alle macchine classiche migliaia di anni, ma affrontano un ostacolo fondamentale: sono incredibilmente fragili. Per eseguire calcoli, queste macchine manipolano minuscole particelle chiamate qubit, che possono esistere in uno stato delicato di essere sia 0 che 1 contemporaneamente. Il modo standard per costruire un circuito quantistico è allineare una serie di operazioni, una dopo l'altra, come perle su un filo. Il problema è che più perle si aggiungono, più è probabile che la catena si spezzi a causa del rumore e delle imperfezioni nell'hardware. Ciò crea un "cono di luce" di influenza, il che significa che un cambiamento all'inizio del circuito può raggiungere solo un numero limitato di qubit al termine del calcolo, a meno che il circuito non sia reso molto profondo e lungo.

Per superare questo limite, i ricercatori hanno sviluppato i "circuiti dinamici". Invece di aspettare che l'intero calcolo finisca, questi circuiti si interrompono a metà per misurare alcuni qubit e usare i risultati per cambiare istantaneamente le istruzioni per gli altri rimanenti. Ciò consente alla macchina di creare connessioni tra qubit che sono lontani tra loro senza la necessità di una lunga catena di operazioni soggetta a errori. Tuttavia, questa velocità ha un prezzo. L'atto di misurare e reagire in tempo reale introduce i propri errori, spesso derivanti dal fatto che i dispositivi di misurazione stessi sono imperfetti. Su hardware attuale, questi errori di misurazione possono essere così gravi da distruggere le stesse connessioni a lungo raggio che la tecnica dovrebbe creare, rendendo il circuito dinamico non migliore del lento metodo tradizionale.

Un team di ricercatori di IBM Quantum e dell'Università del Wisconsin-Madison ha trovato un modo per risolvere questo compromesso. Hanno sviluppato un nuovo metodo che permette a questi circuiti dinamici veloci di rilevare e scartare i propri errori senza bisogno di hardware aggiuntivo o rallentare il processo. Trattando l'informazione quantistica come un segnale distribuito su molti qubit, hanno creato un sistema in grado di individuare quando una misurazione va male e semplicemente scartare quel tentativo specifico, mantenendo solo quelli riusciti. In esperimenti su un processore quantistico superconduttore, questo approccio ha permesso loro di creare una coppia di qubit a lungo raggio entangled, separata da altri 100 qubit, con un tasso di successo che ha dimostrato che la connessione era reale, un traguardo che la versione standard, soggetta a errori, dello stesso circuito non era in grado di raggiungere.

Il nucleo di questo nuovo metodo si basa su un concetto che gli autori chiamano "controllo distribuito". Immaginate di cercare di controllare un singolo interruttore della luce che è collegato a cento diverse luci sparse in una stanza. In una configurazione tradizionale, dovreste camminare lungo un lungo corridoio, premendo gli interruttori uno alla volta, il che richiede tempo e rischia di interrompere la connessione. Nell'approccio dinamico, il team distribuisce il segnale di "controllo" su tutte le luci simultaneamente utilizzando un particolare stato condiviso. Utilizzano poi un processo in due fasi: prima, distribuiscono questo segnale di controllo attraverso la macchina e, in secondo luogo, lo collassano nuovamente in un singolo punto per completare il lavoro. La genialità del loro lavoro risiede nel modo in cui gestiscono questo secondo passaggio. Invece di limitarsi a collassare il segnale, aggiungono uno strato di controlli che verificano se il segnale sia rimasto intatto durante il viaggio.

Questi controlli funzionano cercando incongruenze nel pattern dei qubit. Se il segnale è stato corrotto dal rumore o da una cattiva misurazione, il pattern apparirà errato e il sistema segnalerà il tentativo come fallito. I ricercatori hanno testato due tipi di controlli. Il primo tipo, che chiamano controlli espliciti, osserva direttamente coppie specifiche di qubit per vedere se corrispondono. Il secondo tipo, chiamato controlli impliciti, è più potente; confronta i risultati di diverse misurazioni tra loro per catturare errori che il primo tipo potrebbe mancare, inclusi gli errori commessi dai dispositivi di misurazione stessi. Sebbene questo processo comporti il fatto che il computer debba eseguire il calcolo più volte per trovare un risultato di successo, i ricercatori hanno scoperto che il compromesso vale la pena. Le esecuzioni di successo sono di qualità molto superiore e il tempo extra trascorso ad aspettare un buon risultato è molto inferiore al tempo perso a causa degli errori in una configurazione tradizionale.

Per dimostrare che questo funziona nel mondo reale, il team ha eseguito esperimenti su un processore quantistico chiamato IBM Boston. Il loro primo test consisteva nel creare un gate a lungo raggio, uno strumento che connette due qubit che sono lontani tra loro. Sono riusciti a collegare due qubit separati da una catena di 100 altri qubit. Senza il loro metodo di rilevamento degli errori, la connessione era troppo debole per essere considerata reale, con un punteggio di fedeltà di circa 0,39. Con il rilevamento degli errori attivo, la fedeltà è balzata a 0,59, un punteggio sufficientemente alto da certificare che i due qubit distanti fossero realmente entangled. Questo è stato un miglioramento significativo, dimostrando che il rilevamento degli errori ha filtrato con successo il rumore che di solito rovina queste connessioni a lunga distanza.

In un secondo esperimento, il team ha utilizzato la stessa tecnica per preparare un tipo specifico di stato complesso noto come stato W, che coinvolge un'unica eccitazione condivisa tra molti qubit. Hanno preparato questi stati per sistemi che vanno da 5 a 20 qubit. In ogni caso, la versione con rilevamento degli errori ha prodotto un risultato molto più pulito. Per il sistema più grande di 20 qubit, il rilevamento degli errori ha migliorato la qualità dello stato di circa 0,2 rispetto al metodo standard. I ricercatori hanno osservato che, sebbene il processo richiedesse di scartare alcuni tentativi, il tasso di esiti positivi rimaneva sufficientemente alto da essere pratico. Hanno notato che il metodo era particolarmente efficace nel correggere gli errori causati dal processo di misurazione stesso, che è spesso il collo di bottiglia principale nei circuiti dinamici.

Le implicazioni di questo lavoro si estendono oltre questi due soli test. I ricercatori hanno dimostrato che il loro framework può essere applicato a una vasta gamma di compiti, inclusa la preparazione di stati complessi come gli stati di Dicke e l'esecuzione di uno strumento algoritmico fondamentale chiamato test di Hadamard. Unificando questi diversi compiti sotto una singola strategia di rilevamento degli errori, hanno fornito un toolkit che può potenziare molti protocolli quantistici esistenti. Il metodo non richiede l'aggiunta di più qubit alla macchina, un grande vantaggio per l'hardware attuale che sta già lottando con lo spazio. Inveve, utilizza i qubit esistenti in modo più intelligente, scambiando un po' di tempo con un grande guadagno in accuratezza.

Questa ricerca suggerisce che la strada verso l'informatica quantistica utile potrebbe non richiedere l'attesa di macchine perfette e prive di errori. Al contrario, punta verso un futuro in cui possiamo utilizzare in modo più efficace gli strumenti imperfetti che abbiamo oggi. Accettando che gli errori avverranno e costruendo sistemi in grado di identificarli e scartarli al volo, possiamo spingere i confini di ciò che è possibile con la tecnologia attuale. Il lavoro del team dimostra che i circuiti dinamici, un tempo afflitti dai propri errori di misurazione, possono ora essere resi robusti abbastanza da eseguire compiti che prima erano considerati fuori portata. Mentre il campo avanza, queste tecniche potrebbero diventare una parte standard di come i computer quantistici vengono programmati, trasformando la fragilità dei giorni attuali in un trampolino di lancio per le potenti macchine di domani.