Analyzing Common Electronic Structure Theory Algorithms for Distributed Quantum Computing

La ricerca di come gli atomi si leghino per formare molecole è una delle sfide più fondamentali della scienza. Per farlo, i ricercatori risolvono un complesso problema matematico noto come l'equazione di Schrödinger, che descrive il comportamento degli elettroni che ruotano attorno ai nuclei atomici. Per decenni, gli scienziati si sono affidati a potenti computer classici per approssimare queste soluzioni, ma man mano che le molecole diventano più grandi e complesse, i calcoli diventano così immensi che anche i supercomputer più veloci del mondo faticano a gestirli. È qui che entra in gioco l'informatica quantistica. A differenza dei computer classici che elaborano informazioni in bit, i computer quantistici utilizzano qubit, ovvero bit quantistici, che possono esistere in più stati contemporaneamente. Questa proprietà unica offre il potenziale di simulare reazioni chimiche con una velocità e un'accuratezza che le macchine classiche non possono eguagliare, promettendo scoperte nella scoperta di farmaci e nella scienza dei materiali. Tuttavia, le attuali macchine quantistiche sono ancora piccole e soggette a errori, possedendo solo una manciata di qubit. Per affrontare problemi di chimica del mondo reale che richiedono centinaia o miglia di qubit, i ricercatori stanno esplorando una strategia chiamata calcolo quantistico distribuito. Questo approccio prevede la suddivisione di un calcolo massiccio in diversi dispositivi quantistici più piccoli, collegandoli tra loro per lavorare come una singola macchina più grande.

Un team di ricercatori dell'Università di Toronto ha recentemente messo alla prova questa idea esaminando cinque metodi popolari utilizzati per simulare strutture chimiche su computer quantistici. Il loro obiettivo era determinare se questi algoritmi specifici potessero essere efficacemente suddivisi ed eseguiti su più dispositivi utilizzando una tecnica chiamata "circuit cutting" (taglio dei circuiti). In questo processo, un singolo circuito quantistico viene tagliato in pezzi più piccoli che possono essere eseguiti su macchine separate, con i risultati successivamente riassemblati. I ricercatori si sono concentrati su un modo specifico di farlo chiamato operazioni locali, che si basa sul fatto che i dispositivi lavorino indipendentemente senza la necessità di inviare segnali complessi avanti e indietro durante il calcolo. Hanno testato questi metodi su una semplice molecola, l'idrogeno, e poi hanno scalato verso catene più lunghe di atomi di idrogeno per vedere come crescesse la difficoltà. Lo studio è stato condotto attraverso simulazioni informatiche dettagliate, poiché i ricercatori non avevano accesso a una rete di computer quantistici collegati abbastanza grande da eseguire gli esperimenti completi essi stessi.

I risultati di questa indagine sono stati netti e hanno rivelato un ostacolo significativo per il futuro della chimica quantistica distribuita. I ricercatori hanno scoperto che quattro dei cinque metodi testati, che sono attualmente considerati strumenti standard nel settore, sarebbero incredibilmente inefficienti se suddivisi su più dispositivi. Quando hanno tentato di tagliare i circuiti per questi metodi, il numero di volte in cui avrebbero dovuto eseguire l'esperimento per ottenere una risposta affidabile è esploso nelle migliaia di miliardi, nei quadrilioni o anche oltre. Ad esempio, uno dei metodi più comuni, applicato a una minuscola molecola di idrogeno, richiederebbe di eseguire il calcolo circa 1,5 volte 10 alla potenza di 17 solo per eguagliare l'accuratezza di un singolo passaggio su una macchina non tagliata. Per mettere questo in prospettiva, se un singolo passaggio richiedesse un secondo, la versione distribuita richiederebbe più tempo dell'età dell'universo per completarsi. Questo enorme aumento dello sforzo richiesto, noto come overhead di campionamento, accade perché il modo in cui questi algoritmi sono costruiti crea una rete di connessioni che non può essere facilmente interrotta senza perdere l'informazione essenziale necessaria per risolvere il problema.

Al contrario, il quinto metodo esaminato, noto come "local unitary cluster Jastrow ansatz", si è comportato in modo molto diverso. Questo approccio ha mostrato una crescita della difficoltà molto più gestibile all'aumentare delle dimensioni del sistema. Quando i ricercatori hanno applicato la stessa tecnica di divisione a questo metodo, il numero di esecuzioni extra necessarie è rimasto piccolo e ragionevole, anche mentre simulavano catene più grandi di atomi di idrogeno. Per i sistemi più grandi testati, l'overhead era abbastanza basso da poter essere potenzialmente gestito dall'hardware quantistico attuale o di prossima generazione. Ciò suggerisce che, sebbene gli algoritoli più popolari per la chimica quantistica siano attualmente inadatti per essere distribuiti su più macchine, esiste almeno una strada percorribile che non si scontra con un muro di complessità esponenziale. Le scoperte indicano che la comunità non può semplicemente prendere l'esistente software di chimica quantistica ed eseguirlo su una rete di piccoli computer quantistici; le strutture matematiche sottostanti dei metodi più comuni sono semplicemente troppo rigide per essere scomposte efficientemente.

Lo studio conclude che, affinché il calcolo quantistico distribuito diventi una realtà pratica per la chimica, gli scienziati devono sviluppare algoritmi completamente nuovi che siano progettati fin dall'inizio per essere suddivisi. Gli attuali metodi "gold standard", che funzionano bene su una singola macchina grande, falliscono quando costretti in un framework distribuito perché il costo di riassemblare i pezzi rotti diventa troppo alto. I ricercatori sottolineano che il loro lavoro non significa che il calcolo quantistico distribuito sia impossibile, ma piuttosto che gli strumenti attualmente disponibili non sono quelli giusti per il compito. Identificando quali metodi falliscono e quali mostrano promessa, questa ricerca fornisce una chiara direzione per lo sviluppo futuro. Suggerisce che la strada per risolvere problemi chimici complessi su una rete di dispositivi quantistici richiederà l'invenzione di nuovi modi per descrivere il comportamento degli elettroni, piuttosto che cercare di forzare i vecchi metodi in un'architettura nuova. La speranza è che, concentrandosi su metodi come quello che ha performato bene in questo studio, il campo possa infine sbloccare il pieno potenziale della potenza quantistica distribuita per la scoperta scientifica.