Unitary RQL Equals RQL

I computer quantistici sono spesso immaginati come macchine che contengono molte possibilità contemporaneamente, esplorando un vasto panorama di esiti simultaneamente. Per sfruttare questo potere, un computer deve essere in grado di controllare i propri progressi lungo il percorso, scartando le strade che non portano a nulla e concentrando le risorse su quelle che sembrano promettenti. Nel linguaggio della fisica quantistica, questo processo di controllo è chiamato misurazione. È l'atto di osservare un pezzo di informazione, il che costringe il sistema a scegliere uno stato definito e permette al computer di scartare tutto il resto. Per decenni, una domanda fondamentale è rimasta sospesa nello studio di quanta memoria abbiano bisogno queste macchine: se a un computer è permesso guardare i propri progressi e scartare informazioni nel mezzo di un calcolo, diventa più potente di uno che è costretto ad aspettare la fine per guardare?

La risposta dipende pesantemente dalle regole del gioco. Se al computer è permesso commetere errori su entrambi i lati — a volte dicendo "sì" quando dovrebbe dire "no", e viceversa — i ricercatori sapevano già che la capacità di misurare in anticipo non conferisce in realtà alcun vantaggio. Una macchina che aspetta la fine può fare tutto ciò che una macchina che misura in anticipo può fare, a patto che entrambe siano ammesse un piccolo margine di errore. Tuttavia, una versione più rigorosa delle regole cambia il quadro. In questo scenario più rigoroso, al computer è proibito commettere un tipo specifico di errore: non deve mai dire "sì" quando la risposta è in realtà "no". Può ancora commettere errori sull'altro lato, ma il costo di un falso positivo è zero. Per questo caso di errore a senso unico, non si sapeva se la capacità di misurare in anticipo e scartare informazioni fornisse un potere extra. La domanda era se una macchina che non deve mai sbagliare su una risposta "no" potesse essere costretta ad aspettare la fine senza perdere la capacità di risolvere problemi in modo efficiente.

Un ricercatore ha ora risolto questa questione, dimostrando che la capacità di misurare in anticipo non aiuta nemmeno in questo scenario rigoroso. Ha dimostrato che qualsiasi computer quantistico che operi con memoria limitata, non commetta falsi richiami "sì" ed è permesso misurare nel mezzo, può essere perfettamente simulato da una macchina che non misura mai fino all'ultimo passaggio. I due tipi di macchine sono, in termini di ciò che possono risolvere, esattamente uguali. Il ricercatore non si è limitato a suggerirlo, ma ha fornito una prova matematica rigorosa che costruisce un metodo specifico per convertire la macchina a misurazione anticipata in una che attende. Questo risultato è valido per una vasta gamma di standard blocchi costruttivi quantistici, inclusi quelli utilizzati nei design più comuni di computer quantistici oggi.

Il cuore della scoperta risiede nel modo in cui il ricercatore ha gestito l'informazione che normalmente verrebbe scartata. In un calcolo standard, quando una macchina misura un bit e vede uno zero, potrebbe scartare la parte del sistema che mostrava un uno. Se la macchina non è autorizzata a misurare in anticipo, deve mantenere viva quella parte scartata, il che di solito richiede memoria extra. Il ricercatore ha trovato un modo per mantenere viva l'informazione scartata senza usare memoria extra, trattando l'intera storia del calcolo come un oggetto singolo e unificato. Ha sviluppato una tecnica che effettivamente raddoppia la dimensione della descrizione del sistema, non aggiungendo memoria fisica, ma riorganizzando il modo in cui l'informazione viene archiviata.

Immaginate un calcolo come una lunga catena di eventi. Nel vecchio modo di pensare, se il computer guardava un anello della catena e decideva di tagliarlo, quella parte della catena era persa per sempre. Il nuovo metodo mantiene l'anello tagliato attaccato, ma in un modo in cui non può influenzare il risultato finale a meno che l'intera catena non dovesse avere successo. Il ricercatore ha ottenuto questo creando uno stato di "riferimento" speciale che traccia il comportamento medio del sistema. Ha usato questo riferimento per regolare il peso delle diverse parti del calcolo man mano che procedevano. Questa regolazione ha garantito che, se la macchina originale avrebbe rifiutato un problema, anche la nuova macchina lo avrebbe rifiutato con assoluta certezza, preservando la garanzia di errore zero. Allo stesso tempo, il metodo ha assicurato che, se la macchina originale avrebbe accettato un problema, la nuova macchina avrebbe comunque avuto una buona possibilità di accettarlo, anche se era costretta a mantenere tutta l'informazione scartata.

La prova implica un trucco astuto per gestire il fatto che mantenere tutta l'informazione solitamente fa crescere i numeri coinvolti in modo troppo grande per essere gestito. Il ricercatore ha introdotto un sistema di pesi che si annullano a vicenda mentre il calcolo procede. Ha aggiunto un pizzico di rumore casuale al sistema a ogni passaggio, il che sembra controintuitivo, ma in realtà impedisce ai numeri di diventare instabili. Questo rumore permette di scalare le diverse parti del calcolo in modo che rimangano gestibili. Ha poi dimostrato che la parte del calcolo corrispondente all'informazione "scartata" può essere simulata usando porte quantistiche standard, a condizione che tali porte abbiano inversi matematici esatti. Questo requisito è soddisfatto dai set di porte standard utilizzati nella maggior parte della ricerca quantistica.

Il ricercatore ha anche esplorato se questo risultato valga per diversi tipi di porte quantistiche, incluse quelle con proprietà matematiche più complesse. Ha scoperto che finché le porte appartengono a una specifica famiglia di numeri nota come campi CM, il risultato è valido. Questa famiglia include le porte standard utilizzate nella maggior parte degli algoritmi quantistici, così come alcune più esotiche. Ciò significa che la scoperta non è limitata a un singolo design ristretto, ma si applica a una vasta classe di potenziali computer quantistici. La prova si estende anche a uno scenario correlato che coinvolge un verificatore che controlla una testimonianza, una configurazione spesso usata nella crittografia e nella teoria della complessità. In questo caso, ha dimostrato che un verificatore che deve accettare una risposta corretta con certezza perfetta può anche essere convertito in una macchina che aspetta la fine per misurare, senza perdere quella certezza perfetta.

Questo lavoro risolve un problema aperto di lunga data nella teoria dell'informatica quantistica. Conferma che il potere dei computer quantistici con memoria limitata non deriva dalla capacità di guardare i propri progressi e scartare informazioni. Invece, il potere deriva dalla meccanica quantistica sottostante. La capacità di misurare in anticipo è una comodità, non una necessità, per le macchine che devono essere rigorosamente corrette riguardo alle risposte negative. La costruzione del ricercatore fornisce una tabella di marcia su come tale macchina potrebbe essere costruita, mostrando che la memoria extra solitamente ritenuta necessaria per questa conversione non è in realtà necessaria. Il risultato rafforza la nostra comprensione dei limiti fondamentali del calcolo quantistico e suggerisce che gli algoritmi quantistici più efficienti potrebbero non aver bisogno affatto di misurazioni intermedie.

Le implicazioni di questa scoperta sono principalmente teoriche, aiutando a mappare il panorama di ciò che i computer quantistici possono e non possono fare. Chiarisce la relazione tra diversi modelli di computazione e rimuove una potenziale fonte di confusione su da dove provenga il vantaggio quantistico. Dimostrando che i due modelli sono equivalenti, il ricercatore ha semplificato lo strumento per analizzare gli algoritmi quantistici. Il lavoro futuro potrà ora concentrarsi sulle proprietà del modello di attesa, sapendo che qualsiasi risultato trovato lì si applica ugualmente al modello di misurazione più flessibile. L'articolo non sostiene di aver costruito una macchina fisica che utilizza questo metodo, né suggerisce cambiamenti immediati al modo in cui i computer quantistici sono attualmente progettati. Piuttosto, fornisce una solida base matematica che assicura che i limiti teorici di queste macchine siano ben compresi. La prova è completa e rigorosa, non lasciando spazio a dubbi sull'equivalenza di questi due modi di eseguire un calcolo quantistico sotto i vincoli specificati.