Sequential realization of Quantum Instruments

Nel mondo del calcolo quantistico, gli scienziati stanno attualmente lavorando con macchine che sono potenti ma fragili. Questi dispositivi, spesso chiamati computer quantistici a scala intermedia rumorosa, hanno un numero limitato di minuscole unità di elaborazione, note come qubit, e faticano a conservare le informazioni per molto tempo. Per eseguire compiti complessi, i ricercatori devono solitamente preparare un grande gruppo di questi qubit, eseguire una sequenza di operazioni e poi misurarli tutti alla fine. Tuttavia, sta emergendo un approccio più nuovo e flessibile: i circuiti adattivi. In questo metodo, il computer non si limita a eseguire uno script pre-scritto. Invece, misura un qubit nel mezzo di un processo, legge il risultato e usa quell'informazione per decidere quale operazione eseguire successivamente. Questa capacità di reagire in tempo reale permette alla macchina di essere molto più efficiente, ma richiede un modo per descrivere matematicamente come queste decisioni passo dopo passo modellino il risultato finale.

La sfida principale risiede nel modo in cui costruire questi complessi comportamenti quantistici quando la macchina ha pochissimi qubit a disposizione. Tradizionalmente, per creare un effetto quantistico specifico, come una misurazione che rivela informazioni parziali o una trasformazione che cambia lo stato di un sistema, gli scienziati avrebbero bisogno di aggiungere extra qubit solo per assistere il processo. Queste unità extra, chiamate ancille, agiscono come aiutanti temporanei. Il problema è che per molti compiti difficili, il numero di aiutanti richiesti è così grande che le macchine attuali semplicemente non possono fornirli. La domanda diventa: esiste un modo per ottenere lo stesso risultato usando meno aiutanti, magari riutilizzando gli stessi più volte, a condizione che il computer possa misurare e resettarli rapidamente?

Un team di ricercatori dell'Istituto di Fisica di Bratislava ha affrontato questo problema sviluppando un nuovo quadro matematico per descrivere queste sequenze adattive. Si sono concentrati su un concetto chiamato strumento quantistico, che è una descrizione generale di un processo quantistico che produce sia un risultato classico, come un numero su uno schermo, sia un nuovo stato quantistico. I ricercori hanno dimostrato che tale strumento può essere scomposto in una serie di piccoli passi, dove la scelta del passo successivo dipende dal risultato del precedente. Questa scomposizione permette all'intero processo di essere realizzato utilizzando una sequenza di misurazioni e operazioni, piuttosto che un'unica operazione massiccia e ad alto consumo di risorse.

Il risultato più significativo del loro lavoro è un preciso compromesso tra il numero di passi che un processo compie e il numero di qubit ausiliari di cui ha bisogno. Hanno dimostrato che per molti compiti quantistici, specialmente quelli che aumentano la dimensione del sistema quantistico, si può usare un numero molto piccolo di qubit ausiliari se si è disposti a ripetere il processo molte volte. Nello specifico, hanno dimostrato che per un compito che trasforma un sistema di $n$ qubit in un sistema di $m$ qubit (dove $m$ è maggiore di $n$), è possibile implementare il processo utilizzando solo $m-n$ qubit ausiliari. Questi pochi aiutanti vengono misurati e resettati ripetutamente durante la sequenza, facendo efficacementmente il lavoro di un set molto più grande di qubit non utilizzati. Questo risultato è controintuitivo perché suggerisce che il tempo, sotto forma di passi ripetuti, può essere scambiato con lo spazio, sotto forma di hardware aggiuntivo.

I ricercatori hanno anche stabilito un limite fondamentale su questo scambio. Hanno dimostrato che il prodotto tra il numero di passi e il numero di qubit ausiliari non può essere arbitrariamente piccolo; è limitato dalla complessità del compito stesso. Ciò significa che, sebbene sia possibile risparmiare sull'hardware compiendo più passi, non si possono risparmiare entrambi contemporaneamente. Se avete pochissimi qubit, dovrete compiere molti passi, e se avete pochissimi passi, avrete bisogno di molti qubit. Questa relazione rimane valida indipendentemente dai dettagli specifici del compito quantistico, fornendo una regola chiara per gli ingegneri che progettano questi circuiti.

Inoltre, il team ha fornito un metodo costruttivo per costruire queste sequenze. Hanno dimostrato che scegliendo attentamente come raggruppare i possibili esiti delle misurazioni intermedie, si può minimizzare le risorse necessarie. Hanno scoperto che semplificare gli esiti, o "coarse-graining", porta spesso a implementazioni più efficienti. Ad esempio, se una misurazione ha molti risultati possibili, raggruppare alcuni di essi insieme prima di decidere il passo successivo può ridurre il numero di qubit ausiliari richiesti. Questa intuizione offre una guida pratica per ottimizzare i circuiti quantistici sull'hardware attuale, dove ogni qubit conta.

L'articolo affronta anche un comune malinteso su come funzionano questi processi. In precedenza si pensava che l'implementazione di certe misurazioni quantistiche complesse potesse richiedere un gran numero di qubit ausiliari tutti in una volta. Il nuovo lavoro mostra che ciò non è necessario. Utilizzando una sequenza adattiva, si può ottenere lo stesso risultato con un set minimo di aiutanti che vengono riutilizzati. Questo è particolarmente rilevante per l'attuale generazione di computer quantistici, che sono limitati nelle dimensioni ma stanno diventando sempre più capaci di eseguire misurazioni a metà circuito. La capacità di scambiare tempo per spazio significa che compiti precedentemente ritenuti impossibili su piccoli dispositivi potrebbero ora essere alla portata della tecnologia.

Nella loro analisi, i ricercatori hanno anche esplorato la relazione tra queste implementazioni sequenziali e la compatibilità di diverse misurazioni quantistiche. Hanno scoperto che la capacità di scomporre un processo in passi è profondamente connessa al fatto che le misurazioni coinvolte possano essere eseguite insieme senza disturbarsi a vicenda. Sebbene non abbiano risolto ogni possibile caso, hanno fornito un metodo robusto per una vasta gamma di strumenti, inclusi quelli utilizzati per la preparazione dello stato e la simulazione di canali. Il loro lavoro funge da progetto su come progettare circuiti quantistici efficienti che rispettino i limiti fisici delle macchine odierne massimizzando il loro potenziale attraverso un sequenziamento intelligente.

In definitiva, questa ricerca fornisce una strada chiara verso l'applicazione pratica dei circuiti quantistici adattivi. Essa va oltre le possibilità teoriche per offrire strategie concrete di gestione delle risorse. Comprendendo la relazione esatta tra il numero di passi e il numero di qubit, gli scienziati possono ora progettare esperimenti che siano su misura per i vincoli specifici del loro hardware. Che l'obiettivo sia eseguire una misurazione complessa, simulare un canale quantistico o preparare uno stato specifico, il nuovo quadro garantisce che il processo sia il più efficiente possibile. Il lavoro conferma che il futuro del calcolo quantistico su hardware limitato non risiede solo nella costruzione di macchine più grandi, ma in modi più intelligenti di utilizzare quelle che abbiamo.