Multi-FPGA Quantum Circuit Simulation: ADistributed Statevector Architecture on FourXilinx Alveo U55C Accelerators

Per comprendere la sfida di simulare un computer quantistico, è necessario innanzitutto comprendere cosa sia effettivamente un computer quantistico. A differenza dei computer classici che portiamo nelle nostre tasche e negli uffici, che elaborano le informazioni come bit che sono o zero o uno, le macchine quantistiche utilizzano bit quantistici, o qubit. Questi qubit possono esistere in una sovrapposizione, rappresentando contemporaneamente sia lo zero che l'uno. Quando più qubit sono collegati tra loro, creano una vasta rete interconnessa di possibilità. Per simulare questo comportamento su un computer standard, gli scienziati devono tracciare la probabilità di ogni singola combinazione possibile di questi qubit. Man mano che vengono aggiunti più qubit, il numero di combinazioni cresce in modo esplosivo, raddoppiando con ogni nuova aggiunta. Simulare anche solo poche decine di qubit richiede una quantità di memoria che supera rapidamente la capacità anche dei più potenti supercomputer. Ciò rende incredibilmente difficile testare nuovi algoritmi quantistici o verificare che una macchina quantistica fisica funzioni correttamente senza aver prima costruito la macchina stessa.

Un ricercatore del Centre for Development of Advanced Computing in India ha trovato un modo per superare questi limiti di memoria suddividendo il lavoro su più schede hardware specializzate. Ha costruito un sistema che utilizza quattro schede acceleratrici ad alte prestazioni, ciascuna contenente un field-programmable gate array, un tipo di chip che può essere riconfigurato per eseguire compiti specifici. Invece di cercare di far rientrare l'intera simulazione di un sistema quantistico su un singolo chip, ha diviso l'enorme elenco di probabilità, noto come vettore di stato, tra le quattro schede. Ogni scheda è responsabile di una specifica porzione dei dati, detenendo una parte della memoria totale richiesta. Questo approccio distribuito permette di simulare circuiti quantistici fino a ventotto qubit, una scala che sarebbe impossibile da gestire per una singola scheda da sola.

Il ricercatore ha progettato un metodo ingegnoso per gestire la comunicazione tra queste quattro schede. In un circuito quantistico, alcune operazioni influenzano solo la porzione locale di dati su una singola scheda, mentre altre richiedono che le schede condividano informazioni. Il ricercatore ha scoperto che molte operazioni quantistiche comuni, in particolare quelle che coinvolgono spostamenti di fase, non richiedono affatto che le schede comunichino tra loro. Riconoscendo ciò, ha creato un percorso in cui queste operazioni specifiche vengono gestite interamente all'interno della propria memoria di ogni scheda, eliminando la necessità di lenti trasferimenti di dati tra le schede. Questa ottimizzazione è cruciale perché, in algoritmi complessi come la Trasformata di Fourier Quantistica, queste operazioni non comunicanti costituiscono la stragrande maggioranza del lavoro. Senza questa scorciatoia, il sistema verrebbe rallentato dal tempo necessario per spostare i dati avanti e indietro.

Per le operazioni che richiedono lo scambio di informazioni tra le schede, il ricercatore ha implementato un protocollo sincronizzato. Quando un gate agisce su qubit che si estendono attraverso le diverse schede, il sistema mette in pausa tutte e quattro le schede, sposta i dati necessari in un'area di memoria condivisa sul computer host, esegue il calcolo e poi riscrive i risultati. Questo processo è attentamente coordinato per garantire che ogni scheda lavori sulla stessa versione dei dati nello stesso momento. Il ricercatore ha testato questa architettura su hardware reale, eseguendo cinque diverse famiglie di algoritmi quantistici, inclusi i ricercatori di elementi specifici in un database e la creazione di stati entangled dove le particelle sono collegate indipendentemente dalla distanza.

I risultati sono stati precisi ed esatti. Quando il ricercatore ha confrontato l'output del suo sistema a quattro schede con un software di riferimento affidabile, il match è stato perfetto fino alla dodicesima cifra decimale per circuiti che vanno da quattro a diciotto qubit. Anche per circuiti più grandi dove un confronto diretto sarebbe stato troppo oneroso per la memoria, il sistema ha mantenito le regole matematiche della meccanica quantistica, assicurando che la probabilità totale di tutti gli esiti rimanesse esattamente uno. Ha simulato con successo un algoritmo di ricerca di Grover su dieci qubit, ottenendo un tasso di successo superiore al novantanove percento, e ha verificato il comportamento di una componente dell'algoritmo di Shor, utilizzato per la fattorizzazione di grandi numeri. Il sistema ha completato la simulazione di un circuito a diciotto qubit in poco più di diciannove secondi, dimostrando che l'architettura distribuita può gestire carichi computazionali significativi senza perdere accuratezza.

Questo lavoro non pretende di essere più veloce dei processori grafici più potenti per ogni compito, né suggerisce che i computer quantistici siano pronti per un uso diffuso. Invece, stabilisce un metodo affidabile ed esatto per simulare sistemi quantistici a una scala che è attualmente difficile da raggiungere. Il ricercatore ha dimostrato che, partizionando attentamente i dati e minimizzando la comunicazione non necessaria, è possibile costruire un motore di simulazione ad alta fedeltà utilizzando più schede acceleratrici. Ciò fornisce uno strumento vitale per verificare gli algoritmi quantistici e comprendere come queste macchine si comportano prima che vengano fisicamente costruite. Il sistema rappresenta un passo significativo nello sviluppo di un'infrastruttura completa per il calcolo quantistico, colmando il divario tra le simulazioni su piccola scala e i modelli approssimati utilizzati per sistemi molto grandi. Dimostrando che la simulazione esatta è possibile attraverso più dispositivi, il ricercatore ha aperto una nuova strada per i ricercatori per testare e perfezionare la complessa logica del futuro quantistico.