NetQMPI: An MPI-Inspired library for programming Distributed Quantum Applications over Quantum Networks using NetQASM SDK

Quantencomputing verspricht, Probleme zu lösen, für deren Bewältigung klassische Computer tausende von Jahren benötigen würden, doch die Maschinen, die wir heute besitzen, sind klein und fragil. Sie sind begrenzt durch die Anzahl der winzigen Teilchen, sogenannter Qubits, die stabil genug gehalten werden können, um Berechnungen durchzuführen. Um eine Maschine zu bauen, die leistungsstark genug ist, um reale Herausforderungen anzugehen, blicken Wissenschaftler auf einen anderen Ansatz: das Verbinden vieler kleiner Quantenprozessoren zu einem einzigen riesigen Supercomputer. Dieses Konzept, bekannt als verteiltes Quantencomputing, stützt sich auf ein Quantennetzwerk, das diese separaten Geräte miteinander verknüpft. Der Aufbau eines solchen Netzwerks ist jedoch unglaublich schwierig, da die zwischen den Maschinen übertragenen Informationen nicht einfach kopiert oder gespeichert werden können und die Verbindungen einen delikaten Tanz aus der Erzeugung gemeinsam genutzter Quantenzustände und einer perfekt präzisen Synchronisierung des Timings erfordern.

Für Forscher, die versuchen, Software für diese zukünftigen Netzwerke zu schreiben, sind die derzeitigen Werkzeuge frustrierend schwierig. Bestehende Programmiermethoden zwingen Entwickler dazu, wie Low-Level-Ingenieure zu agieren, die jeden einzelnen Schritt des Verbindungsprozesses manuell verwalten. Sie müssen dem Computer explizit sagen, wie er eine Verbindung zwischen zwei Maschinen herstellt, warten, bis diese Verbindung entsteht, die Ergebnisse misst, Korrektursignale über einen klassischen Kanal sendet und dann Korrekturen an die Quantendaten anwendet. Dieser Prozess ist wortreich und fehleranfällig, was bedeutet, dass mit zunehmender Größe des Netzwerks der Code exponentiell komplexer und schwerer zu warten wird. Dies ist eine Barriere, die Wissenschaftler daran hindert, sich auf die eigentlichen Algorithmen zu konzentrieren, die sie ausführen wollen, indem sie stattdessen in der Mechanik der Hardware gefangen bleiben.

Um dies zu lösen, hat ein Forscherteam ein neues Software-Framework namens NetQMPI entwickelt. Dieses Werkzeug wurde entworft, um das Programmieren verteilter Quantenanwendungen so unkompliziert wie das Schreiben eines Standard-Computerprogramms für einen Cluster klassischer Maschinen zu gestalten. Die Forscher bauten NetQMPI so auf, dass es auf bestehenden, strengen Simulationswerkzeugen aufsitzt und als Übersetzer fungiert, der die unordentlichen Details des physischen Netzwerks verbirgt. Anstatt Programmierer dazu zu zwingen, separate Anweisungen für jede einzelne Maschine im Netzwerk zu schreiben, ermöglicht NetQMPI ihnen, ein einziges Skript zu schreiben, das auf allen Maschinen gleichzeitig läuft. In diesem Setup kennt jede Maschine ihre eigene eindeutige Identifikationsnummer, wodurch das einzelne Skript automatisch berechnen kann, welche Rolle es spielen soll – ob es sich um den Hauptcontroller oder einen empfangenden Knoten handelt – ohne dass der Programmierer unterschiedliche Codes für jedes Gerät schreiben muss.

Die Kerninnovation dieser Arbeit ist die Einführung von High-Level-Befehlen, die die komplexe Physik automatisch handhaben. Auf die alte Art der Vorgehensweise erforderte die Bewegung eines Stücks Quanteninformation von einer Maschine zu einer anderen ein mehrstufiges Protokoll, das die Erzeugung verschränkter Paare, lokale Messungen und die Übertragung klassischer Datenbits beinhaltete. Mit NetQMPI gibt ein Programmierer einfach einen Befehl aus, um ein Qubit an ein bestimmtes Ziel zu senden, und die Software handhabt die gesamte zugrunde liegende Sequenz von Ereignissen. Die Forscher führten auch einen speziellen Satz von Befehlen für Operationen ein, die mehrere Maschinen gleichzeitig involvieren. Da die Gesetze der Physik das Kopieren eines unbekannten Quantenzustands verbieten, konnten sie Informationen nicht einfach an alle broadcasten. Stattdessen entwickelten sie eine Methode, um einen Quantenzustand zu „exponieren“, wodurch er konzeptionell für alle verbundenen Maschinen für eine gemeinsame Berechnung verfügbar gemacht wird, ohne jemals physisch kopiert zu werden, und ihn dann wieder zu „de-exponieren“, um das System nach Abschluss der Arbeit in einen Normalzustand zurückzuführen.

Das Team testete sein Framework, indem es die Erzeugung eines hochgradig verschränkten Zustands, bekannt als Greenberger–Horne–Zeilinger-Zustand, über ein Netzwerk mehrerer Knoten simulierte. Dies ist ein Standardtest für Quantennetzwerke, vergleichbar mit einem „Hello World“-Programm für das klassische Computing, erfordert jedoch eine präzise Koordination zwischen allen Beteiligten. Als sie ihr neues Werkzeug mit bestehender Software verglichen, war der Unterschied in der Komplexität eklatant. Bei Verwendung der älteren, Low-Level-Werkzeuge wuchs die Menge des Codes, die zur Einrichtung des Netzwerks und der Logik erforderlich war, rapide an, wenn mehr Maschinen hinzugefügt wurden; das Hinzufügen einer vierten Maschine bedeutete, völlig neue Dateien zu schreiben und große Codeblöcke zu duplizieren. Im Gegensatz dazu blieb der NetQPI-Code exakt gleich groß, unabhängig davon, wie viele Maschinen sich im Netzwerk befanden. Die Forscher fanden heraus, dass durch die Verwendung ihres Single-Program-Ansatzes die Komplexität des Schreibens der Software von einem Niveau, das mit dem Quadrat der Anzahl der Maschinen wuchs, auf ein konstantes Niveau sank, das sich überhaupt nicht mehr veränderte.

Diese Arbeit beansprucht nicht, bereits ein physisches Quantennetzwerk gebaut oder diese Programme auf echter Hardware ausgeführt zu haben. Stattdessen haben die Forscher demonstriert, dass ihre Software korrekt funktioniert, wenn sie auf hochpräzisen Simulatoren läuft, die das Verhalten realer Quantengeräte mit großer Genauigkeit modellieren. Diese Simulationen beinhalten das Rauschen und die Imperfektionen, die in der tatsächlichen Physik vorkommen, was beweist, dass das Framework realistische Bedingungen bewältigen kann. Das Ergebnis ist eine Brücke zwischen den abstrakten Ideen von Quantenalgorithmen und den starren Anforderungen physischer Hardware. Durch die Abstraktion der schwierigen Details der Erzeugung von Verschränkung und Synchronisation ermöglicht NetQPI es Entwicklern, sich auf die Logik ihrer Anwendungen zu konzentrieren. Dieser Wechsel deutet darauf an, dass, sobald Quantennetzwerke schließlich Realität werden, die Software, die sie betreiben soll, handhabbar und skalierbar sein wird, anstatt ein unhandlicher Wirrwarr aus Low-Level-Anweisungen zu sein.