Hamiltonian Eigenvalue Transformation by Tridiagonal Gadgets

Immaginate una macchina costruita per risolvere un problema lasciando che un sistema fisico evolva nel tempo. Questa è la promessa del calcolo analogico, un campo in cui le leggi della fisica stessa eseguono il calcolo. In questo mondo, la macchina è governata da un Hamiltoniano, una descrizione matematica di come l'energia fluisca attraverso un sistema di parti interagenti. La bellezza di questo approccio è che, se la macchina è costruita partendo da interazioni locali — dove ogni parte comunica solo con i suoi vicini immediati — il sistema rimane gestibile e fisicamente realizzabile. Gli algoritmi progettati per risolvere i problemi più difficili richiedono spesso che la macchina esegua operazioni che non sono locali. Chiedono al sistema di agire come se ogni parte fosse connessa a tutte le altre simultaneamente, un'impresa che nessun dispositivo fisico può effettivamente costruire. Ciò crea un divario tra l'elegante teoria di ciò che un computer dovrebbe fare e la complessa realtà di ciò che un dispositivo può fare.

La domanda centrale per i ricercatori è se sia possibile colmare questo divario. Possiamo prendere una macchina semplice e locale e farle comportare esattamente come una complessa e non locale, senza dover costruire le connessioni impossibili? Un nuovo studio di Arthur Braida, Joseph Cunningham e Jérémie Roland risponde con un sì risonante, ma con un compromesso specifico. Hanno dimostrato come costruire un dispositivo locale che imiti l'azione di una funzione matematica complessa su un sistema quantistico. Inveve di cercare di costruire direttamente le connessioni impossibili, attaccano brevi e semplici catene di particelle extra al sistema principale. Queste catene agiscono come filtri, rimodellando l'energia del sistema in un modo preciso. Il risultato è una singola macchina statica che esegue una trasformazione complessa istantaneamente, piuttosto che una sequenza di passaggi che devono essere temporizzati perfettamente.

I ricercatori si sono concentrati su un tipo specifico di strumento matematico chiamato polinomio, che è un modo per descrivere una curva o una trasformazione utilizzando una somma di potenze. Negli algoritmi quantistici, questi polinomi vengono utilizzati per amplificare il segnale di una risposta corretta pur sopprimendo il rumore delle risposte errate. Il problema è che applicare tale polinomio a un sistema fisico richiede solitamente che il sistema diventi altamente non locale, violando le regole di ciò che può essere costruito. La soluzione del team consiste nell'attaccare una serie di piccole catene aperte di particelle al sistema principale. Ogni catena è una semplice linea di siti dove le particelle possono saltare da uno all'altro. I ricercatori hanno scoperto che ogni catena possiede un livello di energia unico e isolato che dipende dal sistema di input in un modo molto specifico.

La magia di queste catene risiede nella loro lunghezza. Una catena con un certo numero di siti produce uno spostamento di energia che inizia con una specifica potenza dell'input. Una catena più lunga produce uno spostamento che inizia con una potenza superiore. Poiché le potenze iniziali sono diverse per catene di lunghezze differenti, i ricercatori possono trattarle come blocchi di costruzione. Attaccando catene di varie lunghezze e pesandole con numeri specifici, possono sommare i loro effetti per ricreare qualsiasi curva matematica desiderata. È simile a come un pittore mescola i colori primari per creare qualsiasi tonalità; qui, i "colori" sono gli spostamenti di energia delle catenze di diverse lunghezze, e il "mix" è la macchina locale finale.

Il team ha dimostrato che questo metodo funziona con certezza matematica per qualsiasi sistema di input che non sia troppo forte. Hanno mostrato che le catene non interferiscono tra loro e che la macchina risultante è ancora locale, il che significa che richiede solo connessioni tra poche particelle vicine alla volta. Il costo di questa trasformazione non è nella complessità delle connessioni, ma nel numero di particelle extra necessarie e nella scala energetica della macchina. Per raggiungere un alto grado di precisione, la macchina richiede un numero di particelle extra che cresce con il quadrato della complessità del compito, e anche l'energia necessaria per farla funzionare aumenta. Tuttavia, questo è un miglioramento significativo rispetto ai metodi precedenti, che avrebbero richiesto alla macchina di eseguire una lunga sequenza di operazioni, trasformando di fatto il dispositivo analogico in uno digitale.

Una delle applicazioni più sorprendenti di questo lavoro è la ricerca di uno stato specifico all'interno di un vasto sistema, un problema noto come ricerca analogica. Nella versione ideale di questo algoritmo, la macchina deve applicare un proiettore, un'operazione matematica che isola una singola risposta corretta tra miliardi di possibilità. Questo proiettore è l'oggetto più non locale immaginabile, che connette ogni particella a tutte le altre. I ricercatori hanno dimostrato che la costruzione basata sulle catene può approssimare questo proiettore con alta precisione. Hanno simulato il processo su un computer per sistemi fino a venti particelle e hanno scoperto che la macchina locale da loro costruita riproduceva esattamente lo spettro energetico e i gap critici dell'algoritmo ideale non locale. La macchina ha isolato con successo lo stato marcato, provando che l'operazione globale complessa poteva essere portata da un semplice dispositivo locale.

I ricercatori hanno anche esplorato un modo più efficiente per costruire questo filtro per compiti specifici. Invece di sintetizzare l'intera curva in un colpo solo, hanno mostrato che iterando un semplice blocco a due particelle si può ottenere lo stesso risultato. Questo metodo utilizza meno particelle extra e mantiene la scala energetica gestibile, crescendo solo polinomialmente con la dimensione del problema. Nelle simulazioni, questo approccio iterativo ha imitato con successo il comportamento dell'algoritmo di ricerca ideale, mantenendo i cruciali gap energetici che permettono al sistema di trovare la soluzione in modo efficiente. Il lavoro suggerisce che il comportamento esatto di queste semplici catene quantistiche è un primitivo potente, capace di eseguire trasformazioni complesse senza la necessità delle intricate sequenze dipendenti dal tempo che solitamente affliggono il calcolo analogico.

Questa ricerca non sostiene di aver risolto ogni problema della computazione quantistica, né suggerisce che queste macchine siano pronte per essere costruite in un laboratorio domani. Le scale energetiche richieste sono elevate e il numero di particelle extra necessarie cresce con la difficoltà del compito. Tuttavia, lo studio fornisce una prova rigorosa del fatto che il divario tra gli algoritmi ideali e i dispositivi fisici può essere colmato. Dimostra che un Hamiltoniano locale e indipendente dal tempo può essere costruito per eseguire l'azione di un polinomio complesso, offrendo una nuova strada per progettare computer quantistici analogici. Trasformando una sequenza di operazioni in una singola struttura statica, il lavoro avvicina il potere teorico degli algoritmi quantistici alla realtà fisica di ciò che può essere costruito.