Feasibility of Distributed Fault-Tolerant Quantum Computing: From Quantum Links to Algorithms

Der Bau eines praktischen Quantencomputers ist eines der ehrgeizigsten Ziele der modernen Wissenschaft und verspricht, Probleme zu lösen, für deren Bewältigung heutige Supercomputer tausende von Jahren benötigen würden. Der Weg in diese Zukunft wird jedoch durch eine einfache physikalische Realität blockiert: Die Maschinen sind unglaublich schwierig zu bauen. Um einen Quantencomputer leistungsstark genug zu machen, müssen Wissenschaftler Millionen winziger Teilchen, sogenannte Qubits, miteinander verbinden. Derzeit können die fortschrittlichsten Geräte nur ein paar hundert oder ein paar tausend dieser Teilchen beherbergen. Die Herausforderung besteht darin, dass beim Versuch, mehr Qubits in ein einzelnes Gerät zu packen, die Kühlsysteme, die Verkabelung und die Steuerungselektronik zu groß und komplex werden, um innerhalb eines einzelnen Laboraufbaus bewältigt zu werden. Es ist, als versuche man, das gesamte Stromnetz einer Stadt in ein einziges Haus zu integrieren; der Platz und die Ressourcen gehen schlichtweg aus.

Um dies zu lösen, haben Forscher einen anderen Ansatz vorgeschlagen: Anstatt eine einzige riesige Maschine zu bauen, könnten sie viele kleinere Maschinen bauen und diese miteinander verbinden. Diese Idee, bekannt als verteiltes Quantencomputing (distributed quantum computing), beinhaltet die Verbindung separater Quantenprozessoren über ein Netzwerk, sodass diese als ein einziges, massives System zusammenarbeiten können. Der Haken dabei ist, dass diese Prozessoren Informationen instantan und perfekt teilen müssen, was die Erstellung einer speziellen Art von Verbindung erfordert, die als verschränkte Verbindung (entangled link) bezeichnet wird. Das Erstellen dieser Verbindungen zwischen entfernten Maschinen ist technisch sehr schwierig, und bis jetzt war unklar, ob die Kommunikationsverbindungen perfekt sein müssten, damit das System funktioniert, oder ob das System gewisse Unvollkommenheiten tolerieren könnte.

Einem Team von Forschern ist es nun gelungen, genau zu kartografieren, wie ein solches verteiltes System funktionieren würde, indem sie die Grenzen der aktuellen Technologie gegen die Anforderungen komplexer Berechnungen abwägen. Sie haben die Idee nicht nur theoretisiert, sondern eine detaillierte Simulation erstellt, die den Weg der Information nachzeichnet – vom Moment an, in dem zwei entfernte Maschinen versuchen, sich zu verbinden, über den Prozess der Fehlerbereinigung in dieser Verbindung bis hin zur Ausführung eines realen mathematischen Problems. Ihre Arbeit offenbart einen überraschenden Kompromiss: Es ist möglich, einen massiven, fehlertoleranten Quantencomputer mit nur einem einzigen Kommunikationskanal zwischen jedem Knoten aufzubauen, aber dies geht mit einem erheblichen Kostenfaktor bei der Geschwindigkeit einher.

Die Forscher konzentrierten sich auf supraleitende Quantenprozessoren, die derzeit zu den fortschrittlichsten Arten von Quantenhardware gehören. Sie modellierten zwei verschiedene Wege, wie diese Prozessoren miteinander kommunizieren könnten: mittels Mikrowellensignalen, die sich über kurze Distanzen gut ausbreiten, und mittels optischen Licht, das besser für lange Distanzen geeignet ist, aber derzeit stärkerem Rauschen und Verlust unterliegt. Sie begannen damit zu berechnen, wie viele „verschränkte Paare“ von Teilchen – im Wesentlichen das Rohmaterial für die Kommunikation – pro Sekunde mit realistischer Hardware erzeugt werden könnten. Sie fanden heraus, dass Mikrowellenverbindungen potenziell eine Million dieser Paare pro Sekunde generieren könnten, während optische Verbindungen möglicherweise nur tausend schaffen würden, und das nur, wenn sich die Technologie signifikant verbessert.

Sobald diese Rohverbindungen hergestellt wurden, sind sie oft zu verrauscht, um direkt für Berechnungen verwendet werden zu können. Die Forscher simulierten einen Prozess namens Destillation, bei dem mehrere verrauschte Verbindungen kombiniert werden, um eine einzige, hochwertige Verbindung zu erzeugen. Dieser Schritt ist entscheidend, da er es dem System ermöglicht, selbst dann zu funktionieren, wenn die ursprünglichen Verbindungen unvollkommen sind. Dieser Reinigungsprozess benötigt jedoch Zeit und verbraucht Ressourcen. Das Team stellte fest, dass, wenn die Rate der ursprünglichen Verbindungen zu gering ist, die Wartezeit auf eine saubere Verbindung so lang wird, dass die Quanteninformation innerhalb der Prozessoren verblasst, bevor sie genutzt werden kann. Dies setzt eine harte Grenze: Damit das System effizient arbeitet, müssen die physischen Verbindungen verschränkte Paare mit einer Rate von mindestens einhunderttausend pro Sekunde erzeugen – ein Schwellenwert, der mit Mikrowellentechnologie derzeit erreichbar ist, für optische Verbindungen jedoch ein fernes Ziel bleibt.

Mit diesen Hardwarebeschränkungen im Hinterkopf ging das Team zur nächsten Stufe über: der Erzeugung „logischer“ Verbindungen. Dies sind die fehlerkorrigierten Verbindungen, die die eigentlichen Quantenalgorithmen nutzen. Sie verglichen zwei Methoden zur Erstellung dieser Verbindungen. Eine Methode, bekannt als Lattice Surgery, erfordert eine sehr hohe Anzahl simultaner Verbindungen und extrem hochwertige Verbindungen. Die andere Methode, die als State Injection bezeichnet wird, ist flexibler und kann mit weniger Verbindungen und verrauschteren Verbindungen arbeiten, erfordert jedoch eine komplexere Verarbeitung, um die Fehler zu bereinigen. Ihre Simulationen zeigten, dass die Injection-Methode wesentlich nachgiebiger ist. Sie ermöglicht es dem System zu funktionieren, selbst wenn die physischen Verbindungen nicht perfekt sind, vorausgesetzt, es gibt genügend Zeit, um die Fehler zu verarbeiten.

Schließlich testeten die Forscher, wie sich diese Hardwarebeschränkungen auf die tatsächliche Geschwindigkeit der Ausführung eines Quantenalgorithmus auswirken. Sie simulierten das Durchlaufen standardmäßiger mathematischer Aufgaben, wie etwa die Faktorisierung großer Zahlen oder die Abschätzung der Energie von Molekülen, über ein Netzwerk von zehn separaten Quantenprozessoren. Die Ergebnisse waren klar und quantifizierbar. Durch die Aufteilung der Arbeit auf zehn Knoten konnten sie die Anzahl der benötigten physischen Teilchen in jeder einzelnen Maschine um den Faktor zehn reduzieren. Dies ist eine enorme Entlastung für Ingenieure, da es bedeutet, dass jede Maschine kleiner, leichter zu kühlen und einfacher zu bauen sein kann. Dieser Vorteil wurde jedoch durch einen Nachteil erkauft: Die Gesamtzeit zur Fertigstellung der Berechnung erhöhte sich um etwa das Zehnfache.

Die Studie kommt zu dem Schluss, dass verteiltes Quantencomputing selbst mit begrenzten Kommunikationsressourcen machbar ist. Ein System mit nur einem Kommunikationskanal pro Knoten kann die notwendigen Berechnungen durchführen, sofern die Hardware in der Lage ist, verschränkte Paare mit einer Rate von etwa einer Million pro Sekunde mit hoher Fidelität zu erzeugen. Wenn die Hardware langsamer oder verrauschter ist, kann das System zwar immer noch funktionieren, aber die Wartezeiten steigen und die gesamte Rechenzeit verlängert sich erheblich. Um das System so schnell wie eine einzige, riesige Maschine laufen zu lassen, müssten die Kommunikationsverbindungen weitaus überlegen sein, was hunderte parallele Kanäle und eine nahezu perfekte Fidelität erfordern würde – was derzeit jenseits unserer technologischen Möglichkeiten liegt.

Diese Arbeit liefert eine realistische Roadmap für die Zukunft. Sie zeigt, dass wir nicht darauf warten müssen, perfekte, makellose Quantenverbindungen zu besitzen, um einen nützlichen verteilten Quantencomputer zu bauen. Stattdessen können wir kleinere, handhabbare Maschinen bauen und sie mit aktueller oder naheliegender Technologie verbinden, wobei wir akzeptieren, dass die Berechnungen länger dauern werden. Die Forscher haben genau quantifiziert, wie viel länger dies dauert und welche spezifischen Verbesserungen in der Kommunikationsgeschwindigkeit und -qualität notwendig sind, um diese Berechnungen schneller zu machen. Ihre Ergebnisse legen nahe, dass der Weg nach vorne nicht ein einziger Sprung zur Perfektion ist, sondern eine Serie von handhabbaren Schritten, bei denen Hardwarebeschränkungen und algorithmisches Design ausbalanciert werden, um praktische Ergebnisse zu erzielen.