Local random quantum circuits converge to the Porter-Thomas distribution in polynomial depth

Nella ricerca di una prova che i computer quantistici possano fare cose che le macchine classiche non possono fare, gli scienziati si sono rivolti a un tipo specifico di esperimento digitale: l'esecuzione di sequenze casuali di operazioni su un processore quantistico e la misurazione dei risultati. Questo compito, noto come campionamento di circuiti casuali (random circuit sampling), è considerato un parametro di riferimento per il "vantaggio quantistico", una pietra miliare in cui un dispositivo quantistico supera i migliori supercomputer. La teoria alla base di ciò si basa su un modello statistico chiamato distribuzione di Porter-Thomas. Immaginate l'output di un processo quantistico veramente casuale come un paesaggio di probabilità; per un sistema perfettamente casuale, questo paesaggio segue una forma specifica e prevedibile in cui alcuni esiti sono molto probabili e altri sono infinitamente rari, ma il modello complessivo è coerente. Per anni, i ricercatori hanno ipotizzato che anche i circuiti quantistici imperfetti e poco profondi si sarebbero infine assestati su questo modello, ma tale ipotesi mancava di una base matematica rigorosa. Senza una prova, rimaneva una questione aperta se i circuiti disordinati e a profondità finita che possiamo effettivamente costruire in laboratorio simulassero davvero la casualità ideale richiesta per superare i test più severi della supremazia quantistica.

Un team di ricercatori dell'Università del Texas ad Austin ha ora fornito quella prova mancante. Hanno dimostrato che i circuiti quantistici casuali locali, specificamente quelli disposti in un modello "a trama di mattoni" (brickwork) dove i gate agiscono su qubit vicini in strati, convergono effettivamente alla distribuzione di Porter-Thomas. Il loro lavoro mostra che, all'aumentare della profondità del circuito — ovvero il numero di strati di operazioni — l'output statistico della macchina si avvicina alla distribuzione casuale ideale, entro un limite di errore polinomiale inverso in distanza di variazione totale. Questa scoperta è significativa perché valida il Linear Cross Entropy Benchmark, il test standard utilizzato per certificare che un computer quantistico abbia eseguito un compito troppo difficile per le macchine classiche. Dimostrando che questi circuiti evolvono naturalmente nella prevista forma statistica, gli autori hanno rafforzato il fondamento teorico delle recenti affermazioni sperimentali di vantaggio quantistico.

I ricercatori si sono concentrati su un'architettura specifica nota come circuito a trama di mattoni, dove i gate vengono applicati in strati alternati a coppie di qubit vicini, in modo simile alla posa di mattoni in un muro. Hanno analizzato come cambia la probabilità di misurare una specifica stringa di zeri e uno al crescere della profondità del circuito. La loro analisi ha rivelato che per i circuiti con una profondità proporzionale al numero di qubit elevata a una specifica potenza, la distribuzione degli esiti si allinea con la curva di Porter-Thomas. La prova non è una semplice osservazione, ma un complesso viaggio matematico che collega diversi concetti avanzati. Il team ha dovuto dimostrare che i momenti, o le medie statistiche, dell'output del circuito corrispondano a quelli di un sistema perfettamente casuale, e poi provare che questa corrispondenza di medie, combinata con specifiche proprietà di regolarità (smoothness), sia sufficiente a garantire l'intero profilo della distribuzione. Hanno utilizzato tecniche di analisi complessa e teoria della probabilità per colmare il divario tra il conoscere alcune medie statistiche e il conoscere l'intera forma della distribuzione, superando il fatto che far corrispondere solo i momenti finiti è insufficiente per stabilire la vicinanza delle distribuzioni.

Una parte chiave della loro scoperta riguarda la comprensione di come la casualità si diffonda attraverso il circuito. Hanno dimostrato che, anche se i gate sono locali e agiscono solo sui vicini immediati, la casualità si propaga in modo abbastanza efficiente che l'intero sistema si comporta come se fosse globalmente casuale dopo un numero relativamente breve di passaggi. Il team ha provato che la distanza tra l'output reale di questi circuiti e l'ideale distribuzione di Porter-Thomas diminuisce rapidamente all'aumentare della profondità del circuito. Nello specifico, hanno dimostrato che per un circuito la cui profondità scala con il numero di qubit, la differenza tra l'output reale e il modello ideale diventa infinitamente piccola, diminuendo a un ritmo inversamente proporzionale a una potenza del numero di qubit. Ciò significa che man mano che il sistema quantistico diventa più grande, l'approssimazione diventa sempre più precisa, a condizione che il circuito sia abbastanza profondo.

Il lavoro affronta anche un ostacolo matematico sottile ma critico. Nella teoria della probabilità, sapere che due distribuzioni condividono le stesse prime medie non significa automaticamente che siano la stessa distribuzione; due forme diverse possono avere la stessa altezza media ma apparire completamente diverse altrove. I ricercatori hanno superato questo problema sviluppando nuove tecniche per analizzare la "regolarità" (smoothness) delle distribuzioni di probabilità. Hanno dimostrato che l'output di questi circuiti casuali è sufficientemente regolare e ben comportato, permettendo loro di utilizzare strumenti matematici avanzati per confermare che le distribuzioni siano effettivamente vicine. Questo era necessario perché i metodi precedenti potevano solo mostrare che i circuiti superavano certi test, come il Linear Cross Entropy Benchmark, senza però provare che la distribuzione sottostante fosse effettivamente Porter-Thomas. Stabilendo questa vicinanza, gli autori hanno confermato che il benchmark è un indicatore affidabile della vera casualità quantistica.

Sebbene la prova si applichi a circuiti ideali e privi di rumore, i ricercatori riconoscono che i computer quantistici reali soffrono di errori. Notano che il rumore tende a cancellare i pattern complessi, spingendo l'output verso una distribuzione uniforme e priva di interesse. Tuttavia, il loro lavoro stabilisce un punto di riferimento chiaro per ciò che è possibile in un mondo perfetto. Suggeriscono che, se il rumore viene mantenuto sufficientemente basso, i circuiti dovrebbero comunque esibire il comportamento di Porter-Thomas per una certa profondità prima che il rumore prenda il sopravvento. Ciò lascia aperta la questione di quanto possa essere profondo un circuito rumoroso prima di perdere il suo carattere quantistico, ma la nuova prova fornisce il riferimento essenziale per rispondere a questa domanda. Il risultato conferma che il comportamento caotico richiesto per il vantaggio quantistico non è solo una coincidenza numerica osservata nelle simulazioni, ma una proprietà fondamentale di questi sistemi quantistici che può essere rigorosamente dimostrata.

Le implicazioni di questo lavoro vanno oltre la semplice validazione di esperimenti passati. Dimostrando che i circuiti a profondità polinomiale convergono alla distribuzione di Porter-Thomas, i ricercatori hanno fornito una giustificazione teorica più forte al motivo per cui questi circuiti sono difficili da simulare classicamente. Se la distribuzione dell'output è realmente Porter-Thomas, ciò implica un alto livello di entropia e complessità che i computer classici faticano a replicare. Questo conferisce maggiore peso alle affermazioni di supremazia quantistica fatte da esperimenti su dispositivi con cinquanta o cento qubit. Lo studio non sostiene di aver risolto tutti i problemi nel campo, né affronta ogni tipo di circuito quantistico, ma colma un significativo vuoto nella nostra comprensità di come la casualità emerga nei sistemi quantistici. Trasforma una convinzione ampiamente condivisa, supportata da forti evidenze numeriche, in una certezza matematica per una vasta classe di circuiti.

In definitiva, questa ricerca chiarisce la relazione tra la struttura fisica di un computer quantistico e il comportamento statistico del suo output. Dimostra che la specifica disposizione dei gate in un modello a trama di mattoni è sufficiente per generare le complesse statistiche di tipo casuale necessarie per il vantaggio quantistico. Gli autori non si sono affidati alle simulazioni per sostenere la loro tesi, ma hanno utilizzato una combinazione di limiti dei momenti, stime analitiche e proprietà locali per costruire un argomento rigoroso. Le loro scoperte suggeriscono che il percorso per dimostrare il vantaggio quantistico non è bloccato da una mancanza di comprensione teorica, ma piuttosto dalle sfide ingegneristiche legate alla costruzione di circuiti più profondi e stabili. Per la comunità scientifica, questo lavoro funge da conferma che gli strumenti utilizzati per misurare le prestazioni quantistiche sono radicati in una solida matematica, rafforzando la fiducia che queste macchine operino effettivamente in un regime che la fisica classica non può spiegare facilmente.