Metrological Benchmarking of Random Quantum Circuits

Nella corsa a dimostrare che i computer quantistici possono fare cose che le macchine classiche non possono fare, gli scienziati si sono rivolti a un tipo specifico di test: eseguire sequenze casuali di operazioni su un processore quantistico e verificare se l'output corrisponde a un modello complesso e imprevedibile. Questo approccio, noto come campionamento di circuiti casuali (random circuit sampling), è attualmente il metodo principale per dimostrare il "vantaggio quantistico". Tuttavia, rimane un ostacolo importante. Per verificare che un computer quantistico reale e rumoroso stia effettivamente eseguendo questi calcoli complessi correttamente, i ricercatori devono tradizionalmente conoscere la risposta perfetta e ideale da cui confrontarsi. Calcolare questa risposta ideale per sistemi di grandi dimensioni è così difficile che spesso richiede supercomputer, vanificando lo scopo del test. Inoltre, il rumore nell'hardware può far apparire i risultati ingannevolmente facili da simulare, nascondendo le reali prestazioni della macchina. Gli scienziati hanno bisogno di un modo per controllare se queste macchine funzionano come previsto senza dover prima risolvere il problema matematico impossibile della risposta perfetta.

Un team di ricercatori del Korea Advanced Institute of Science and Technology ha proposto un nuovo modo per risolvere questo problema. Invece di cercare di calcolare l'output finale di un circuito quantistico casuale, suggeriscono di osservare come reagisce il sistema quando viene delicatamente stimolato. Immaginate un computer quantistico che esegue una complessa sequenza casuale di operazioni. I ricercatori propongono di inserire una piccola perturbazione controllata nel mezzo di questa sequenza e poi eseguire le operazioni al contrario. Misurando quanto il stato finale del sistema cambi in risposta a questa stimolazione, possono valutare la qualità e la complessità della dinamica del circuito. Questa reazione è quantificata da una misura chiamata informazione di Fisher quantistica, che ci dice essenzialmente quanto il sistema sia sensibile alla perturbazione. Il team ha scoperto che questa sensibilità funge da potente parametro di riferimento, rivelando se il circuito si sta comportando come un sistema veramente casuale e complesso o come uno più semplice e prevedibile, tutto questo senza dover calcolare le probabilità dell'output ideale.

I ricercatori hanno testato la loro idea confrontando due tipi molto diversi di circuiti quantistici. Il primo tipo consiste in circuiti matematicamente casuali ed estremamente complessi, noti come circuiti Haar-random. Il secondo tipo utilizza un insieme specifico di regole chiamate circuiti di Clifford. Questi circuiti di Clifford sono interessanti perché possono diffondere l'informazione attraverso l'intero sistema con la stessa ampiezza dei circuiti complessi, pur rimanendo abbastanza semplici da poter essere simulati da un computer classico. Se il benchmark si basasse solo su quanto l'informazione si diffonde, entrambi i tipi di circuiti apparirebbero uguali. Tuttavia, i ricercatori hanno scoperto una differenza netta. Quando hanno applicato il loro protocollo di stimolazione e misurazione ai complessi circuiti Haar-random, il sistema ha mostrato una reazione forte e misurabile. La sensibilità cresceva all'aumentare del numero di qubit, raggiungendo un livello massimo di reattività. Al contrario, quando hanno applicato lo stesso identico test ai circuiti di Clifford, il sistema ha mostrato una reazione nulla. Nonostante l'informazione si fosse diffusa altrettanto ampiamente, il sistema era completamente insensibile alla perturbazione controllata. Questo risultato dimostra che il benchmark sta rilevando qualcosa di più profondo della semplice diffusione dell'informazione; sta sondando la natura specifica e caotica della dinamica che rende un circuito veramente difficile da simulare.

Per rendere questo test pratico per diversi tipi di hardware quantistico, il team ha sviluppato due variazioni del protocollo. Una versione utilizza un controllo preciso su singoli qubit, applicando la perturbazione a una singola particella. L'altra utilizza un approccio collettivo, in cui la perturbazione viene applicata all'intero sistema contemporaneamente, il che è utile per le macchine che non possono indirizzare i singoli qubit individualmente. Entrambi i metodi sono riusciti a distinguere tra i circuiti complessi e quelli semplici. I ricercatori hanno anche introdotto un protocollo "butterfly", una specifica sequenza di operazioni che consente di leggere il test misurando un singolo qubit alla fine. Mentre la risposta media di questo protocollo butterfly era la stessa per i circuiti complessi e semplici, i ricercatori hanno scoperto che le fluttuazioni — ovvero il modo in cui i risultati variavano da un'esecuzione all'altra — erano completamente diverse. I circuiti complessi mostravano fluttuazioni molto piccole, mentre quelli semplici mostravano variazioni ampie e prevedibili. Ciò significa che, anche con una semplice lettura a singolo qubit, gli scienziati possono distinguere tra un processo quantistico veramente casuale e uno più semplice osservando il modello di queste variazioni.

Infine, il team ha affrontato la realtà del rumore, che è presente in ogni attuale dispositivo quantistico. Hanno modellato l'effetto del rumore come un'interferenza globale e casuale che mescola lo stato quantistico perfetto con uno stato completamente casuale e inutile. Hanno derivato una precisa relazione matematica che mostra come la sensibilità ideale degradi all'aumentare del rumore. Fondamentalmente, questa relazione rimane valida senza la necessità di conoscere la risposta ideale in precedenza. Se il sistema è rumoroso, la sensibilità misurata si riduce semplicemente in modo prevedibile, consentendo ai ricercatori di quantificare esattamente quanto il rumore stia influenzando il benchmark. Ciò fornisce un riferimento quantitativo su come il benchmark cambi con l'intensità del rumore, collegando la teoria ideale agli esperimenti nel mondo reale.

Il lavoro offre una nuova strada per la validazione dei computer quantistici. Concentrandosi su come un sistema risponde a una spinta controllata piuttosto che cercare di calcolare la sua destinazione finale, i ricercatori possono testare circuiti casuali rumorosi senza l'onere computazionale di trovare la risposta ideale. La capacità di distinguere tra dinamiche complesse e caotiche e dinamiche più semplici e classicamente simulabili, utilizzando solo controlli locali o globali — e persino con letture a singolo qubit — fornisce uno strumento robusto per il settore. Man mano che i processori quantistici crescono, questi metodi permetteranno agli scienziati di verificare che le loro macchine stiano esplorando veramente il complesso panorama della meccanica quantistica, assicurando che il vantaggio che cercano sia reale e non un'illusione creata dal rumore o dalla semplicità.