Efficient Quantum Circuits for Electronic Hamiltonian Simulation without Pauli Expansion

Nella ricerca di una comprensione del mondo materiale, gli scienziati si rivolgono spesso al comportamento degli elettroni, le minuscole particelle che orbitano attorno ai nuclei degli atomi. Per prevedere come questi elettroni interagiscono e formano molecole, i ricercatori si affidano a complessi modelli matematici noti come hamiltoniane. Simulare questi modelli è una sfida fondamentale nella fisica e nella chimica, ma è anche una delle applicazioni più promettenti per i computer quantistici. A differenza dei computer classici, che elaborano informazioni in bit che sono o zero o uno, i computer quantistici utilizzano qubit che possono esistere in molteplici stati contemporaneamente. Questa capacità unica permette loro di imitare direttamente la natura quantistica degli elettroni. Tuttavia, tradurre le equazioni che descrivono il comportamento degli elettroni in istruzioni che un computer quantistico possa seguire è stato tradizionalmente un processo goffo. Il metodo standard prevede la scomposizione delle complesse interazioni elettroniche in una lunga lista di componenti semplici e rigidi. Sebbene questo approccio funzioni, spesso oscura i modelli più profondi ed eleganti intrinseci nelle equazioni originali, portando a circuiti inutilmente grandi e soggetti a errori.

Un team di ricercatori del RIKEN e dell'Università di Tokyo ha sviluppato un nuovo modo per affrontare questo problema, offrendo un percorso più efficiente per simulare i sistemi elettronici. Invece di scomporre le equazioni elettroniche in quei componenti rigidi e semplificati, i ricercatori hanno scelto di mantenere intatta la struttura originale il più a lungo possibile. Si sono concentrati su coppie specifiche di termini matematici che compaiono naturalmente nelle equazioni, trattandoli come blocchi unificati piuttosto che come pezzi separati. Preservando queste strutture più ampie, sono stati in grado di progettare circuiti quantistici significativamente più compatti che richiedono molte meno operazioni per essere eseguiti. Questo metodo evita una fonte comune di errore che affligge l'approccio tradizionale, in cui le approssimazioni sono spesso necessarie per rendere gestibili i calcoli.

Il nucleo di questa nuova strategia consiste in una tecnica chiamata diagonalizzazione ladder-string-pair. Nel metodo tradizionale, gli scienziati prenderebbero la descrizione matematica del movimento di un elettrone e la espanderebbero in una lunga catena di porte logiche di base, molto simile a tradurre una poesia in un dizionario di singole parole e poi cercare di ricostruire il significato parola per parola. Questo processo spesso nasconde il ritmo e il flusso del testo originale. Il nuovo approccio, tuttavia, riconosce che certe coppie di termini nelle equazioni elettroniche sono naturalmente collegate. Identificando queste coppie e gestendole insieme, i ricercatori possono costruire un circuito che rispetti le relazioni naturali tra le parti. Ciò consente loro di utilizzare trasformazioni specifiche che preparano lo stato del computer quantistico in un modo che si allinea perfettamente con il problema, invece di costringere il problema a adattarsi a uno stampo preesistente e rigido.

Quando i ricercatori hanno applicato questo metodo al caso più generale di interazioni elettroniche, hanno scoperto che i loro nuovi circuiti erano straordinariamente efficienti. Per un tipo specifico di interazione che coinvolge due elettroni che si muovono tra quattro diverse posizioni, il metodo tradizionale richiederebbe al computer quantistico di elaborare sedici istruzioni separate e distinte. Al contrario, il nuovo metodo gestisce questa stessa interazione come un'unica unità coesa. Questa consolidazione significa che il computer non deve eseguire i passaggi extra richiesti per approssimare la somma di quelle sedici parti, eliminando efficacemente uno strato di errore che solitamente si accumula durante il calcolo. Il circuito risultante è non solo più breve, ma anche più preciso perché non si basa sulle approssimazioni passo dopo passo che il vecchio metodo richiede.

I guadagni di efficienza diventano ancora più drammatici quando i ricercatori osservano gruppi di queste interazioni insieme. Hanno scoperto che tre interazioni elettroniche correlate, che condividono lo stesso insieme di posizioni, formano un gruppo naturale che può essere ottimizzato come un'unica unità. Quando queste tre vengono trattate insieme, molte delle complesse operazioni di commutazione richieste dal computer quantistico si annullano a vicenda. In un esempio specifico fornito dallo studio, questo raggruppamento ha ridotto il numero di operazioni di commutazione richieste da trentasei a soli dodici. Questa è una riduzione massiccia del carico di lavoro per il processore quantistico, il che è critico perché ogni operazione aggiunge una possibilità che il rumore e l'errore interrompano il calcolo.

Inoltre, i ricercatori hanno dimostrato che questa ottimizzazione può essere scalata. Disponendo una sequenza di questi gruppi in un ordine specifico, hanno scoperto che i risparmi potevano propagarsi attraverso l'intero calcolo. Per un sistema con un gran numero di posizioni elettroniche, il metodo tradizionale richiede un numero di operazioni che cresce quadraticamente, il che significa che il lavoro aumenta rapidamente man mano che il sistema diventa più grande. Il nuovo metodo, tuttavia, riduce questa crescita a un tasso lineare, dove il lavoro aumenta solo in proporzione diretta alla dimensione del sistema. Questo passaggio da una scalabilità quadratica a una lineare suggerisce che il nuovo approccio potrebbe rendere fattibile la simulazione di molecole molto più grandi e complesse di quanto precedentemente ritenuto possibile con l'attuale hardware quantistico.

Lo studio ha anche affrontato il modo in cui controllare queste simulazioni, un passo necessario per molti algoritmi quantistici avanzati. Hanno dimostrato che l'aggiunta di un meccanismo di controllo ai loro nuovi circuiti è semplice, richiedendo solo un piccolo aggiustamento alla struttura esistente. Inoltre, hanno scoperto che per i sistemi in cui le interazioni elettroniche sono descritte da numeri reali piuttosto che da numeri complessi, i circuiti possono essere ulteriormente semplificati. In questi casi, le operazioni possono essere disposte in una configurazione back-to-back che consente un ulteriore aumento della riduzione delle operazioni di commutazione, richiedendo solo otto operazioni in totale per una specifica porta complessa.

In definitiva, questo lavoro fornisce una via sistematica verso una simulazione più efficiente dell'Hamiltoniana elettronica. Rifiutando di scomporre il problema nelle sue parti più piccole e rigide, i ricercatori hanno preservato la struttura di alto livello della fisica che stanno cercando di simulare. Questa preservazione consente una gamma molto più ampia di ottimizzazione, rivelando cancellazioni ed efficienze che sono invisibili quando il problema viene visto attraverso la lente dell'approccio tradizionale ed espanso. Il risultato è un insieme di circuiti quantistici che non sono solo più piccoli, ma fondamentalmente più adatti al compito di modellare il mondo quantistico, offrendo un percorso più chiaro e diretto per comprendere il comportamento della materia al suo livello più fondamentale.