Polynomial-time simulation of non-Clifford quantum error correction

Costruire un computer in grado di risolvere problemi al di fuori della portata di qualsiasi macchina odierna richiede un delicato equilibrio. Queste macchine, note come computer quantistici, si affidano a particelle che possono esistere in più stati contemporaneamente, una proprietà che permette loro di elaborare enormi quantità di informazioni simultaneamente. Tuttavia, questa stessa sensibilità le rende incredibilmente fragili; il minimo disturbo dall'ambiente causa la perdita delle loro informazioni e il loro fallimento. Per mantenere queste macchine in funzione, gli scienziati utilizzano la correzione degli errori, un metodo per controllare costantemente il sistema e correggere gli errori prima che si diffondano. Sebbene le regole di base per il controllo e la correzione di questi errori siano ben comprese, le operazioni più potenti che questi computer devono eseguire richiedono un tipo di correzione più complesso e meno prevedibile. Per anni, simulare il modo in cui queste complesse correzioni si comportano su un computer standard è stato quasi impossibile, costringendo i ricercatori a indovinare come i loro design resisterebbero al rumore del mondo reale.

Un team di ricercatori dell'Università di Oxford e della Freie Universität Berlin ha ora sviluppato un modo per simulare questi complessi circuiti di correzione dell'errore quantistico con perfetta accuratezza e velocità. Hanno scoperto che una vasta classe di questi circuiti, che include i metodi più promettenti per la preparazione delle risorse speciali necessarie per il calcolo quantistico universale, segue un modello matematico nascosto. Questo modello permette all'intero stato del sistema di essere descritto e tracciato utilizzando un tipo specifico di polinomio, un'espressione matematica che cresce in complessità molto più lentamente rispetto al numero di particelle coinvolte. Dimostrando che questi circuiti rimangono all'interno di questo modello anche quando si verificano errori casuali, il team ha creato un nuovo strumento di simulazione in grado di gestire sistemi con molti output logici, un compito che in precedenza causava il crash o l'esaurimento della memoria di altri software di simulazione.

La sfida nel simulare questi circuiti deriva dalla natura degli errori e delle correzioni. In un computer quantistico standard, gli errori sono spesso modellati come flip casuali di bit, simili a una moneta che cade su testa o croce. I ricercatori si sono concentrati su una specifica classe di circuiti che utilizzano un insieme di operazioni note per essere difficili da simulare classicamente. Questi circuiti sono progettati per prendere stati quantistici semplici e stabili e trasformarli in stati "magici" più complessi, essenziali per eseguire l'intera gamma di calcoli di cui un computer quantistico universale ha bisogno. Il problema è che man mano che questi circuiti crescono, il numero di possibili modi in cui il sistema può evolversi esplode esponenzialmente. I metodi di simulazione tradizionali cercano di tracciare ogni singola possibilità, il che diventa rapidamente impossibile all'aumentare delle dimensioni del sistema. I ricercatori si sono resi conto che, sebbene il sistema sembri caotico, aderisce in realtà a una struttura rigorosa. Hanno scoperto che ogni stato intermedio in questi circuiti può essere descritto come una sovrapposizione uniforme su una specifica forma geometrica, con fasi che seguono una regola polinomiale di terzo ordine.

Per rendere utile questa scoperta, il team ha introdotto un nuovo modo di guardare a questi stati, che chiamano formalismo diagonale-Clifford-e-Pauli. In termini più semplici, hanno trovato un modo per rappresentare lo stato quantistico complesso utilizzando un insieme di operatori stabilizzanti che sono più facili da gestire. Questi operatori sono costruiti da una combinazione di porte quantistiche di base e operazioni diagonali che spostano le fasi degli stati. Tracciando questi operatori invece della funzione d'onda completa, i ricercatori hanno potuto aggiornare lo stato del sistema dopo ogni porta e ogni misurazione in un tempo che cresce polinomialmente con la dimensione del sistema. Ciò significa che raddoppiare il numero di qubit non raddoppia il tempo richiesto per simulare il circuito; invece, il tempo aumenta a un ritmo gestibile, permettendo la simulazione di sistemi molto più grandi rispetto al passato.

Una parte critica del loro lavoro ha riguardato la comprensione di come le misurazioni influenzano questi circuiti. Nel calcolo quantistico, la misurazione di una particella ne provoca il collasso dello stato, e il risultato può essere casuale. I ricercatori hanno dimostrato che, per la loro specifica classe di circuiti, certi tipi di misurazioni sono "compatibili", ovvero preservano la struttura polinomiale sottostante. Hanno dimostrato che se una misurazione è deterministica in un circuito ideale privo di rumore, o se anticomuta con un vincolo specifico nel sistema, rimarrà compatibile anche quando viene introdotto il rumore. Questa scoperta è fondamentale perché consente alla simulazione di procedere senza dover analizzare separatamente ogni possibile ramo rumoroso. Invece, i ricercatori possono verificare le condizioni sul circuito ideale e avere la certezza che la simulazione rimarrà efficiente e accurata anche quando vengono inseriti guasti casuali.

Il team ha implementato queste scoperte in un pacchetto software open-source chiamato Merlin. Hanno testato Merlin contro diversi simulatori esistenti su circuiti progettati per la distillazione dello stato magico, un processo utilizzato per purificare gli stati quantistici rumorosi in stati di alta qualità, e lo scambio di codice (code switching), che consiste nel cambiare il codice di correzione dell'errore utilizzato dal computer. Nei test riguardanti il protocollo di distillazione Bravyi-Haah, dove il numero di output logici aumenta, Merlin ha dimostrato una scalabilità significativamente migliore sia in termini di tempo di esecuzione che di utilizzo della memoria rispetto ad altri strumenti. Mentre altri simulatori non sono riusciti a completare la simulazione di un circuito di scambio di codice basato su un codice specifico di grandi dimensioni a causa dell'esaurimento della memoria, Merlin ha simulato con successo l'intero processo. Questo successo evidenzia un punto di forza complementare: mentre altri metodi sono più veloci per circuiti piccoli e semplici, Merlin eccelle quando il numero di output logici cresce, un regime che è essenziale per valutare protocolli ad alta velocità.

Le implicazioni di questo lavoro vanno oltre la semplice velocità di simulazione. Fornendo un quadro che può tracciare gli stati interni di questi complessi circuiti con precisione, i ricercatori hanno dato alla comunità uno strumento potente per progettare e testare architetture tolleranti ai guasti. Hanno dimostrato che le condizioni per una simulazione efficiente sono soddisfatte da una vasta gamma di protocolli, inclusi quelli basati su porte trasversali, fissaggio del gauge ed estrazione del sindrome. Ciò significa che gli ingegneri possono ora usare Merlin per valutare le prestazioni di nuovi schemi di correzione dell'errore a dimensioni di sistema precedentemente inaccessibili. La capacità di simulare questi circuiti esattamente, senza approssimazioni, permette una valutazione precisa dei tassi di errore logico e degli sprechi di risorse (overhead), che sono fattori critici per determinare se il design di un computer quantistico sia praticabile.

I ricercatori hanno inoltre notato che il loro metodo non è una soluzione universale per tutti i circuiti quantistici. I circuiti che includono certi tipi di misurazioni o porte che non rientrano nel modello polinomiale richiedono ancora un tempo esponenziale per essere simulati. Tuttavia, estendendo il loro quadro per includere decomposizioni di stati in una somma di questi stati polinomiali speciali, hanno aperto la strada alla simulazione di classi di circuiti ancora più ampie, sebbene con un costo che dipende dal numero di termini nella decomposizione. Questo approccio rispecchia il modo in cui altri metodi di simulazione gestiscono la complessità, ma con il vantaggio di una rappresentazione di base più efficiente per la specifica classe di circuiti rilevante per la correzione dell'errore quantistico.

In definitiva, questo lavoro fornisce una finestra chiara sul comportamento di sistemi quantistici complessi in condizioni realistiche. Dimostra che, anche in presenza di rumore, certi circuiti quantistici mantengono una struttura che può essere sfruttata per una simulazione classica efficiente. Questa intuizione non solo valida la fattibilità di specifici protocolli di correzione dell'errore, ma offre anche una nuova lente attraverso cui osservare la dinamica interna dei computer quantistici. Mentre il campo si muove verso la costruzione di macchine più grandi e capaci, strumenti come Merlin saranno essenziali per navigare tra i compromessi delle diverse scelte di progettazione e garantire che il percorso verso il calcolo quantistico universale sia costruito su una base di fisica affidabile e ben compresa.