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

Om de uitdaging van het simuleren van een quantumcomputer te begrijpen, moet men eerst begrijpen wat een quantumcomputer eigenlijk is. In tegenstelling tot de klassieke computers in onze zakken en kantoren, die informatie verwerken als bits die ofwel nul of één zijn, gebruiken quantummachines quantum bits, of qubits. Deze qubits kunnen zich in een superpositie bevinden, waarbij ze zowel nul als één tegelijkertijd vertegenwoordigen. Wanneer meerdere qubits aan elkaar gekoppeld zijn, creëren ze een uitgestrekt, onderling verbonden web van mogelijkheden. Om dit gedrag op een standaardcomputer te simuleren, moeten wetenschappers de waarschijnlijkheid van elke mogelijke combinatie van deze qubits bijhouden. Naarmate er meer qubits worden toegevoegd, groeit het aantal combinaties explosief en verdubbelt het bij elke nieuwe toevoeging. Het simuleren van slechts enkele tientallen qubits vereist een hoeveelheid geheugen die snel het vermogen van zelfs de krachtigste supercomputers overstijgt. Dit maakt het uiterst moeilijk om nieuwe quantumalgoritmen te testen of te verifiëren of een fysieke quantummachine correct werkt zonder de machine zelf eerst te bouwen.

Een onderzoeker aan het Centre for Development of Advanced Computing in India heeft een manier gevonden om deze geheugenlimieten te doorbreken door het werk te verdelen over meerdere gespecialiseerde hardwareborden. Ze bouwden een systeem dat gebruikmaakt van vier hoogwaardige acceleratorkaarten, die elk een field-programmable gate array bevatten, een type chip dat kan worden geconfigureerd om specifieke taken uit te voeren. In plaats van te proberen de volledige simulatie van een quantumsysteem op een enkele chip te passen, hebben ze de enorme lijst met waarschijnlijkheden, bekend als de state vector, verdeeld over de vier kaarten. Elke kaart is verantwoordelijk voor een specifiek deel van de data en houdt een deel van het totale benodigde geheugen vast. Deze gedistribueerde aanpak stelt hen in staat om quantumcircuits met tot achtentwintig qubits te simuleren, een schaal die een enkele kaart alleen niet zou kunnen aan kunnen.

De onderzoeker ontwierp een slimme methode om de communicatie tussen deze vier kaarten te beheren. In een quantumcircuit beïnvloeden sommige operaties alleen de lokale deelset van data op een enkele kaart, terwijl andere operaties vereisen dat de kaarten informatie delen. De onderzoeker ontdekte dat veel veelvoorkomende quantumoperaties, met name die die betrokken zijn bij faseverschuivingen, eigenlijk geen communicatie tussen de kaarten vereisen. Door dit te herkennen, creëerden ze een pad waarbij deze specifieke operaties volledig binnen het eigen geheugen van elke kaart worden afgehandeld, waardoor de noodzaak voor trage dataoverdrachten tussen de borden wordt geëlimineerd. Deze optimalisatie is cruciaal omdat deze niet-communicerende operaties in complexe algoritmen, zoals de Quantum Fourier Transform, het overgrote deel van het werk vormen. Zonder deze afkorting zou het systeem vertraagd worden door de tijd die nodig is om data heen en weer te bewegen.

Voor de operaties die vereisen dat de kaarten informatie uitwisselen, implementeerde de onderzoeker een gesynchroniseerd protocol. Wanneer een gate werkt op qubits die de verschillende kaarten overspannen, pauzeert het systeem alle vier de kaarten, verplaatst de benodigde data naar een gedeeld geheugengebied op de hostcomputer, voert de berekening uit en schrijft vervolgens de resultaten terug. Dit proces wordt zorgvuldig gecoördineerd om ervoor te zorgen dat elke kaart op hetzelfde moment aan dezelfde versie van de data werkt. De onderzoeker testte deze architectuur op echte hardware door vijf verschillende families van quantumalgoritmen uit te voeren, waaronder zoekopdrachten naar specifieke items in een database en de creatie van verstrengelde toestanden waarbij deeltjes verbonden zijn, ongeacht de afstand.

De resultaten waren precies en exact. Wanneer de onderzoeker de output van hun vier-kaarten systeem vergeleken met een vertrouwde softwarereferentie, was de overeenkomst perfect tot op de twaalfde decimaal voor circuits variërend van vier tot achttien qubits. Zelfs voor grotere circuits waar een directe vergelijking te geheugenintensief was, behield het systeem de wiskundige regels van de quantummechanica, waardoor de totale waarschijnlijkheid van alle uitkomsten exact één bleef. Ze simuleerden succesvol een Grover-zoekalgoritme op tien qubits, waarbij een succespercentage van meer dan negent puluh negen procent werd behaald, en verifieerden het gedrag van een component van het algoritme van Shor, dat wordt gebruikt voor het ontbinden van grote getallen in priemfactoren. Het systeem voltooide een simulatie van een achttien-qubit circuit in net meer dan negentien seconden, wat aantoont dat de gedistribueerde architectuur aanzienlijke computationele belastingen kan verwerken zonder nauwkeurigheid te verliezen.

Dit werk beweert niet sneller te zijn dan de krachtigste grafische processoren voor elke taak, noch suggereert het dat quantumcomputers klaar zijn voor breed gebruik. In plaats daarvan vestigt het een betrouwbare, exacte methode voor het simuleren van quantumsystemen op een schaal die momenteel moeilijk te bereiken is. De onderzoeker heeft aangetoond dat het, door de data zorgvuldig te partitioneren en onnodige communicatie te minimaliseren, mogelijk is om een hoogwaardige simulatie-engine te bouwen met behulp van meerdere acceleratorkaarten. Dit biedt een essentieel hulpmiddel voor het verifiëren van quantumalgoritmen en het begrijpen van hoe deze machines zich gedragen voordat ze fysiek zijn geconstrueerd. Het systeem vormt een belangrijke stap in de ontwikkeling van een volledige infrastructuur voor quantumcomputing, waarbij de kloof wordt overbrugd tussen kleinschalige simulaties en de enorme, benaderende modellen die voor zeer grote systemen worden gebruikt. Door te bewijzen dat exacte simulatie mogelijk is over meerdere apparaten, heeft de onderzoeker een nieuw pad geopend voor onderzoekers om de complexe logica van de quantumtoekomst te testen en te verfijnen.