Less precise but less noisy: local circuits for momentum-space state preparation and measurement
Questo articolo dimostra che per la preparazione dello stato fondamentale e la misurazione del momento sul Modello di Sistema Quantinuum H2, i circuiti locali come l'evoluzione adiabatica superano i metodi globali ad alta precisione come la Trasformata di Fourier Fermionica, scambiando la risoluzione del momento con una sensibilità al rumore significativamente ridotta, ottenendo in ultima analisi energie inferiori e migliori misurazioni della funzione spettrale.
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 macchine capaci di risolvere problemi che vanno oltre le capacità degli odierni computer, gli scienziati stanno correndo per domare la sostanza più fragile dell'universo: gli stati quantistici. Questi sono i mattoni di un nuovo tipo di informatica, capace di simulare il comportamento complesso di atomi e molecole per scoprire nuovi materiali o medicinali. Tuttavia, queste macchine sono incredibilmente sensibili. La minima perturbazione dall'ambiente — calore, vibrazione o interferenza elettromagnetica — può sconvolgere le informazioni che contengono, causando il fallimento dei calcoli. Per combattere questo fenomeno, i ricercatori si sono tradizionalmente concentrati su due difese principali: rendere i calcoli il più brevi possibile e utilizzare il minor numero di passaggi possibile. La logica era semplice: meno passaggi significano meno possibilità che la macchina commetta un errore. Ma un recente esperimento suggerisce che questa strategia potrebbe trascurare un pezzo cruciale del puzzle. Si è scoperto che il modo in cui un calcolo è strutturato conta tanto quanto quanto tempo impiega. Alcuni percorsi attraverso il calcolo sono intrinsecamente più fragili di altri e, a volte, intraprendere una rotta leggermente più lunga e tortuosa è in realtà il modo più sicuro per arrivare alla risposta.
Un team di ricercatori presso Quantinuum, lavorando con il loro avanzato computer quantistico, ha deciso di testare questa idea confrontando due modi molto diversi per preparare uno specifico stato quantistico. Stavano esaminando un modello semplice di una catena di atomi, un sistema facile da descrivere ma difficile da simulare perfettamente su una macchina rumorosa. Un metodo che hanno utilizzato è la Trasformata di Fourier Fermionica, uno strumento digitale altamente preciso che agisce come una lente perfetta, permettendo al computer di vedere l'esatta quantità di moto di ogni particella nel sistema. Questo metodo è matematicamente elegante e fornisce un'immagine cristallina delle proprietà del sistema. L'altro metodo era l'evoluzione adiabatica, un approccio più fisico che guida lentamente il sistema da un punto di partenza semplice allo stato complesso desiderato, molto più simile al girare delicatamente una manopola piuttosto che premere un interruttore. Mentre il primo metodo è noto per la sua precisione, il secondo è noto per essere più robusto, sebbene richieda solitamente più passaggi per raggiungere lo stesso risultato.
I ricercatori si sono posti l'obiettivo di vedere quale metodo avrebbe performato meglio sul loro hardware reale, che non è perfetto e contiene una piccola quantità di rumore. Hanno eseguito entrambi i metodi sullo stesso sistema, regolando attentamente il numero di passaggi in modo che entrambi utilizzassero approssimativamente la stessa potenza di calcolo. Per sistemi piccoli, i risultati sono stati esattamente ciò che la teoria prevedeva: il metodo digitale preciso, la Trasformata di Fourier Fermionica, ha prodotto un risultato più pulito e accurato. Tuttavia, aumentando la dimensione del sistema, è accaduto qualcosa di inaspettato. Una volta che la catena di atomi è cresciuta oltre i venti particelle, la tendenza si è invertita. Il metodo adiabatico, che era leggermente meno preciso in un mondo perfetto, ha iniziato a produrre risultati con errori di energia significativamente inferiori rispetto al metodo digitale preciso. Infatti, per un sistema di quarantotto particelle, l'approccio adiabatico ha costantemente superato quello digitale, anche quando entrambi avevano a disposizione lo stesso numero di passaggi.
La ragione di questa inversione risiede nel modo in cui gli errori si propagano attraverso il calcolo. Il metodo digitale preciso funziona collegando particelle che sono lontane tra loro nel sistema, creando una rete di interazioni a lungo raggio. Sebbene questo permetta un'alta risoluzione, significa anche che un singolo errore in una parte della macchina può propagarsi e corrompere l'intero calcolo. È come cercare di bilanciare un castello di carte dove ogni carta è incollata a tutte le altre; se una carta scivola, l'intera struttura crolla. Al contrario, il metodo adiabatico si basa su interazioni locali, dove le particelle comunicano solo con i propri vicini immediati. Se si verifica un errore qui, esso rimane localizzato, influenzando solo una piccola parte del sistema. I ricercatori hanno scoperto che per il metodo digitale l'errore cresceva linearmente con la dimensione del sistema, mentre per il metodo locale l'errore rimaneva costante indipendentemente da quanto diventasse grande il sistema. Ciò significa che per problemi più grandi e complessi, il metodo locale "rumoroso" è in realtà la via più affidabile.
Per dimostrare che questo principio potesse essere applicato a misurazioni del mondo reale, il team ha anche sviluppato un nuovo modo per misurare la quantità di moto delle particelle senza utilizzare lo strumento digitale ad alta precisione. Invece di usare la lente globale della Trasformata di Fourier, hanno utilizzato una serie di misurazioni locali che osservavano come le particelle fossero correlate con i propri vicini. Questa nuova tecnica, che chiamano distribuzione di quantità di moto da misurazioni locali, sacrifica la capacità di distinguere tra quantità di moto estremamente simili. Tuttavia, per la maggior parte delle applicazioni fisiche, tale precisione estrema non è necessaria. Ciò che conta è ottenere la forma generale dei dati. Quando hanno testato questo nuovo metodo sul loro computer quantistico per misurare una proprietà chiamata funzione spettrale, ha funzionato molto bene. È riuscito a identificare le caratteristiche chiave del sistema, come la posizione dei picchi di energia, con molto meno rumore rispetto al metodo tradizionale. I risultati erano più puliti e accurati, dimostrando che rinunciare a un po' di precisione teorica può portare a un enorme guadagno in affidabilità pratica.
Questo lavoro sfida la convinzione radicata che i migliori algoritmi quantistici siano semplicemente quelli con il minor numero di passaggi o la durata più breve. I ricercatori hanno dimostrato che l'architettura stessa del circuito gioca un ruolo vitale nel determinare quanto bene esso sopravviva alla realtà rumorosa della tecnologia attuale. Scegliendo metodi che sono meno sensibili agli errori, anche se sono leggermente meno precisi in teoria, gli scienziati possono ottenere risultati migliori sulle macchine che hanno oggi. Le scoperte suggeriscono che il futuro dell'informatica quantistica potrebbe non risiedere nella costruzione di circuiti digitali sempre più veloci ed sempre più complessi, ma nel progettare approcci fisici più intelligenti che lavorino in armonia con l'hardware anziché contro di esso. Per le applicazioni nella chimica e nella scienza dei materiali, dove l'obiettivo è comprendere come si comportano gli atomi piuttosto che contarli con precisione infinita, questo compromesso tra precisione e robustezza potrebbe essere la chiave per sbloccare il vero potenziale dei computer quantistici.
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.