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

Um die Herausforderung der Simulation eines Quantencomputers zu verstehen, muss man zuerst begreifen, was ein Quantencomputer eigentlich ist. Im Gegensatz zu den klassischen Computern in unseren Taschen und Büros, die Informationen als Bits verarbeiten, die entweder Null oder Eins sind, nutzen Quantenmaschinen Quantenbits, oder Qubits. Diese Qubits können in einer Superposition existieren, was bedeutet, dass sie gleichzeitig Null und Eins repräsentieren. Wenn mehrere Qubits miteinander verbunden sind, erschaffen sie ein riesiges, vernetztes Geflecht aus Möglichkeiten. Um dieses Verhalten auf einem Standardcomputer zu simulieren, müssen Wissenschaftler die Wahrscheinlichkeit jeder einzelnen möglichen Kombination dieser Qbuts verfolgen. Mit jedem hinzugefügten Qubit wächst die Anzahl der Kombinationen explosionsartig und verdoppelt sich mit jeder neuen Ergänzung. Die Simulation von nur wenigen Dutzend Qubits erfordert eine Menge an Speicher, die schnell die Kapazität selbst der leistungsstärksten Supercomputer übersteigt. Dies macht es unglaublich schwierig, neue Quantenalgorithmen zu testen oder zu verifizieren, ob eine physische Quantenmaschine korrekt arbeitet, ohne die Maschine zuvor selbst gebaut zu haben.

Ein Forscher am Centre for Development of Advanced Computing in Indien hat einen Weg gefunden, diese Speicherlimits zu durchbrechen, indem er die Arbeit auf mehrere spezialisierte Hardware-Boards aufteilt. Er baute ein System, das vier Hochleistungs-Beschleunigerkarten verwendet, von denen jede einen Field-Programmable Gate Array enthält – einen Typ von Chip, der so konfiguriert werden kann, dass er spezifische Aufgaben ausführt. Anstatt zu versuchen, die gesamte Simulation eines Quantensystems auf einen einzigen Chip zu passen, verteilte er die massive Liste der Wahrscheinlichkeiten, bekannt als Zustandsvektor, auf die vier Karten. Jede Karte ist für einen spezifischen Teil des Datensatzes verantwortlich und hält einen Teil des insgesamt benötigten Speichers bereit. Dieser verteilte Ansatz ermöglicht es ihnen, Quantenschaltkreise mit bis zu achtundzwanzig Qubits zu simulieren – ein Maßstab, der für eine einzelne Karte allein unmöglich zu bewältigen wäre.

Der Forscher entwarf eine kluge Methode, um die Kommunikation zwischen diesen vier Karten zu steuern. In einem Quantenschaltkreis wirken einige Operationen nur auf den lokalen Datensegment der einzelnen Karte, während andere erfordern, dass die Karten Informationen austauschen. Der Forscher entdeckte, dass viele gängige Quantenoperationen, insbesondere solche, die Phasenverschiebungen beinhalten, gar keinen Austausch von Informationen zwischen den Karten erfordern. Durch die Erkenntnis dies konnte er einen Pfad schaffen, auf dem diese spezifischen Operationen vollständig innerhalb des eigenen Speichers der jeweiligen Karte gehandhabt werden, was unnötige Datentransfers zwischen den Boards eliminiert. Diese Optimierung ist entscheidend, da diese nicht-kommunizierenden Operationen in komplexen Algorithmen wie der Quanten-Fourier-Transformation den Großteil der Arbeit ausmachen. Ohne diese Abkürzung würde das System durch die Zeit, die benötigt wird, um Daten hin und her zu bewegen, ausgebremst werden.

Für die Operationen, die einen Informationsaustausch zwischen den Karten erfordern, implementierte der Forscher ein synchronisiertes Protokoll. Wenn ein Gate auf Qubits wirkt, die über die verschiedenen Karten hinweg verlaufen, pausiert das System alle vier Karten, bewegt die notwendigen Daten in einen gemeinsamen Speicherbereich des Host-Computers, führt die Berechnung durch und schreibt die Ergebnisse anschließend zurück. Dieser Prozess wird sorgfältig koordiniert, um sicherzustellen, dass jede Karte zur gleichen Zeit mit derselben Version der Daten arbeitet. Der Forscher testete diese Architektur auf echter Hardware und führte fünf verschiedene Familien von Quantenalgorithmen aus, darunter die Suche nach spezifischen Objekten in einer Datenbank und die Erzeugung verschränkter Zustände, bei denen Teilchen unabhängig von der Entfernung miteinander verknüpft sind.

Die Ergebnisse waren präzise und exakt. Als der Forscher die Ausgabe seines Vier-Karten-Systems mit einer vertrauenswürdigen Software-Referenz verglich, war die Übereinstimmung bei Schaltkreisen von vier bis achtzehn Qubits bis zur zwölften Dezimalstelle perfekt. Selbst für größere Schaltkreise, bei denen ein direkter Vergleich zu speicherintensiv gewesen wäre, behielt das System die mathematischen Regeln der Quantenmechanik bei und stellte sicher, dass die Gesamtwahrscheinlichkeit aller Ergebnisse exakt eins blieb. Sie simulierten erfolgreich einen Grover-Suchalgorithmus auf zehn Qubits und erreichten eine Erfolgsrate von über neunundneunzig Prozent, und verifizierten das Verhalten einer Komponente von Shors Algorithmus, der zur Faktorisierung großer Zahlen verwendet wird. Das System schloss eine Simulation eines Achtzehn-Qubit-Schaltkreises in etwas mehr als neunzehn Sekunden ab, was demonstriert, dass die verteilte Architektur signifikante Rechenlasten bewältigen kann, ohne an Genauigkeit zu verlieren.

Diese Arbeit erhebt nicht den Anspruch, für jede Aufgabe schneller als die leistungsstärksten Grafikprozessoren zu sein, noch deutet sie darauf hin, dass Quantencomputer bereit für den breiten Einsatz sind. Stattdessen etabliert sie eine zuverlässige, exakte Methode zur Simulation von Quantensystemen in einem Maßstab, der derzeit schwer zu erreichen ist. Der Forscher zeigte, dass es durch die sorgfältige Partitionierung der Daten und die Minimierung unnötiger Kommunikation möglich ist, eine hochpräzise Simulationsmaschine unter Verwendung mehrerer Beschleunigerkarten aufzubauen. Dies stellt ein wichtiges Werkzeug zur Verifizierung von Quantenalgorithmen und zum Verständnis des Verhaltens dieser Maschinen dar, bevor sie physisch konstruiert werden. Das System stellt einen bedeutenden Schritt in der Entwicklung einer vollständigen Infrastruktur für das Quantencomputing dar, indem es die Lücke zwischen kleinen Simulationen und den massiven, approximativen Modellen für sehr große Systeme schließt. Indem er bewies, dass eine exakte Simulation über mehrere Geräte hinweg möglich ist, hat der Forscher einen neuen Weg für die Forschung eröffnet, um die komplexe Logik der Quantenzukunft zu testen und zu verfeinern.