Complex Quantum Dynamics Versus Classical Simulability of Noisy Random Circuits
Questo articolo dimostra che nei circuiti quantistici rumorosi, le diagnostiche dinamiche standard della complessità (come la magia e lo scrambling) possono divergere dalla simulabilità classica poiché sondano diversi ordini statistici dello spettro di Pauli, mostrando così che tali diagnostiche da sole non costituiscono una prova affidabile di vantaggio quantistico in presenza di rumore.
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 dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo
Nella ricerca di una prova che i computer quantistici possano fare cose che le macchine classiche non possono fare, gli scienziati cercano spesso segni di estrema complessità all'interno dell'operazione del computer. Osservano comportamenti specifici che suggeriscono che la macchina stia esplorando un vasto e intricato panorama di possibilità, ben oltre la portata del calcolo standard. Due dei segni più affidabili sono la "magia" e lo "scrambling" (rimescolamento). La magia, in questo contesto, non è una forza soprannaturale ma un termine tecnico per un tipo di risorsa quantistica che rende un sistema difficile da prevedere o copiare. Lo scrambling si riferisce a quanto velocemente l'informazione si diffonde e si mescola attraverso l'intero sistema, diventando impossibile da rintracciare alla sua fonte. Quando questi segni sono forti, i ricercatori presumono che il computer stia eseguendo un compito che richiederebbe a un supercomputer classico un tempo impraticabile per simulare.
Tuttavia, i computer quantistici del mondo reale non sono perfetti. Operano in un ambiente rumoroso in cui piccole interazioni con il mondo esterno disturbano costantemente i delicati stati quantistici. Questo rumore trasforma l'informazione quantistica pura e nitida in un amalgama confuso e sfocato. La grande domanda per il settore è stata se i segni di complessità — magia e scrambling — rimangano guide affidabili in presenza di rumore. Se indichino ancora un compito difficile da simulare, anche mentre la macchina stessa diventa più facile da modellare a causa del rumore? Uno studio recente condotto da ricercatori dell'Università di Oxford suggerisce che la risposta sia no. Hanno scoperto che nei circuiti rumorosi, i segni di complessità possono persistere molto tempo dopo che il compito è diventato facile da risolvere per un computer classico, oppure possono svanire mentre il compito rimane irrisolto da qualsiasi metodo noto.
I ricercatori hanno investigato questo disconnessione costruendo due diversi tipi di circuiti quantistici simulati. Il primo tipo era basato su un'architettura standard utilizzata in molti esperimenti quantistici, dove hanno aggiunto un numero specifico di porte speciali a un sottofondo di operazioni più semplici. Il secondo tipo utilizzava un insieme diverso di regole progettate per sistemi fermionici, ovvero particelle come gli elettroni, e aggiungeva un tipo diverso di porta per renderli universali. In entrambi i casi, hanno introdotto del rumore per mimare le imperfezioni dell'hardware reale. Hanno poi tracciato due cose simultaneamente: le diagnostiche dinamiche, che sono le misure di magia e scrambling, e il costo effettivo di simulazione del circuito su un computer classico. Volevano vedere se il punto in cui la diagnostica diceva "questo è complesso" corrispondeva al punto in cui gli algoritmi classici dicevano "questo è facile da risolvere".
Ciò che hanno scoperto è stata una chiara separazione tra i due. Le diagnostiche dinamiche e i confini della simulazione classica non si allineavano. In alcuni scenari, il circuito manteneva una forte firma di magia, suggerendo che stesse ancora facendo qualcosa di quantistico e complesso, anche se un computer classico poteva già simularlo efficientemente. In altri scenari, la firma della magia scompariva, facendo apparire il sistema semplice, eppure nessun algoritmo classico noto poteva simularlo efficientamente. Questo disallineamento accade perché il rumore influenza diverse proprietà matematiche del sistema con velocità differenti. Le misure di magia e scrambling dipendono dalle statistiche del quarto ordine del sistema, che sono come un'impronta digitale dettagliata della sua complessità. Gli algoritmi che rendono efficiente la simulazione classica, tuttavia, si basano principalmente sulle statistiche del secondo ordine, che sono una misura molto più grossolana.
Il rumore locale, ovvero il tipo di disturbo che colpisce singole parti del sistema, sopprime queste statistiche di ordine superiore molto più velocemente di quelle di ordine inferiore. È come se il rumore cancellasse i dettagli fini dell'impronta digitale quantistica molto prima di sfocare il contorno generale. Poiché gli algoritmi di simulazione classica hanno solo bisogno del contorno generale per funzionare, possono avere successo mentre i dettagli fini — proprio le cose che le diagnostiche misurano — sono ancora visibili. Viceversa, i dettagli fini possono svanire mentre il contorno rimane troppo complesso per qualsiasi algoritmo noto per gestirlo. I ricercatori hanno calcolato che questo divario crea una specifica finestra di dimensioni del sistema in cui le diagnostiche sono fuorvianti. Per sistemi più piccoli, la magia scompare prima che la simulazione diventi facile. Per sistemi più grandi, la simulazione diventa facile mentre la magia è ancora rilevabile.
Questa scoperta ha implicazioni significative per l'interpretazione degli esperimenti sui dispositivi quantistici attuali. Quando gli scienziati misurano la magia o lo scrambling su un processore rumoroso, non possono assumere che un segnale forte provi automaticamente che il dispositivo stia eseguendo un compito difficile da simulare classicamente. Il segnale potrebbe essere semplicemente un residuo della struttura del sistema che il rumore non ha ancora cancellato, anche se il sistema ha già attraversato la soglia della simulabilità classica. Lo studio mostra che la relazione tra ciò che osserviamo nell'evoluzione quantistica e ciò che possiamo computare classicamente non è una linea diretta, ma un panorama complesso dove i due possono divergere.
I ricercatori hanno confermato questi risultati utilizzando calcoli matematici esatti per la prima famiglia di circuiti e simulazioni numeriche per la seconda. Non hanno solo ipotizzato; hanno derivato formule precise che mostrano come i diversi momenti statistici decadono nel tempo. Hanno scoperto che il punto in cui le diagnostiche non seguono più il costo della simulazione dipende dalla dimensione del sistema e dalla tolleranza per l'errore nel campionamento, ma non dalla forza del rumore stesso. Ciò significa che il disallineamento è una caratteristica fondamentale del modo in cui il rumore interagisce con la complessità quantistica, non solo un vezzo di una configurazione specifica.
Lo studio ha anche esaminato un tipo diverso di circuito che coinvolge i fermioni per garantire che il risultato non fosse specifico di un'architettura. Hanno trovato lo stesso schema: la misura dinamica della non-gaussianità, che è la versione fermionica della magia, non si allineava con il costo della simulazione. In questo caso, il costo della simulazione classica era determinato da come l'informazione era distribuita tra i diversi gradi di libertà, una proprietà che la diagnostica dinamica non catturava. Questo rafforza la conclusione che il disallineamento è un fenomeno generale, derivante dal fatto che gli strumenti che usiamo per misurare la complessità e quelli che usiamo per simulare il sistema guardano aspetti diversi dello stato.
In definitiva, il lavoro chiarisce che un valore misurato di magia o scrambling su un dispositivo rumoroso non costituisce, di per sé, una prova di durezza classica. Suggerisce che il campo ha bisogno di sviluppare nuove diagnostiche che siano più strettamente legate alle proprietà del secondo ordine che gli algoritmi classici effettivamente sfruttano. Fino ad allora, la presenza di questi segnali complessi in un esperimento rumoroso dovrebbe essere guardata con cautela. I ricercatori hanno dimostrato che il panorama del vantaggio quantistico è più sottile di quanto precedentemente pensato, con i segnali di complessità e la realtà della simulabilità che spesso percorrono sentieri diversi.
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.