Resilience Beyond the Light Cone: Error-Detected Primitives for Practical Dynamic Circuits

Quantencomputer versprechen, Probleme zu lösen, für die klassische Maschinen tausende von Jahren benötigen würden, aber sie stehen vor einer grundlegenden Hürde: Sie sind unglaublich fragil. Um Berechnungen durchzuführen, manipulieren diese Maschinen winzige Teilchen namens Qubits, die in einem empfindlichen Zustand existieren können, in dem sie gleichzeitig 0 und 1 sind. Die Standardmethode zum Bau eines Quantenschaltkreises besteht darin, eine Serie von Operationen nacheinander aufzureihen, wie Perlen an einer Schnur. Das Problem ist, dass mit jedem weiteren Perle die Wahrscheinlichkeit steigt, dass die Kette aufgrund von Rauschen und Unvollkommenheiten in der Hardware reißt. Dies erzeugt einen „Lichtkegel“ des Einflusses, was bedeutet, dass eine Änderung am Anfang des Schaltkreises bis zum Abschluss der Berechnung nur eine begrenzte Anzahl von Qubits erreichen kann, sofern der Schaltkreis nicht sehr tief und lang gestaltet wird.

Um dieses Limit zu durchbrechen, haben Forscher „dynamische Schaltkreise“ entwickelt. Anstatt darauf zu warten, dass die gesamte Berechnung abgeschlossen ist, halten diese Schaltkreise in der Mitte inne, um einige Qubits zu messen und die Ergebnisse zu nutzen, um die Anweisungen für die verbleibenden Qubits sofort zu ändern. Dies ermöglicht es der Maschine, Verbindungen zwischen weit entfernten Qubits zu schaffen, ohne eine lange, fehleranfällige Kette von Operationen zu benötigen. Dieser Geschwindigkeit hat jedoch ein Preis. Der Akt des Messens und des Reaktierens in Echtzeit führt eigene Fehler ein, oft dadurch, dass die Messgeräte selbst unvollkommen sind. Auf der aktuellen Hardware können diese Messfehler so schwerwiegend sein, dass sie genau die weiträumigen Verbindungen zerstören, die die Technik eigentlich schaffen soll, wodurch der dynamische Schaltkreis nicht besser ist als die langsame, traditionelle Methode.

Ein Team von Forschern von IBM Quantum und der University of Wisconsin-Madison hat einen Weg gefunden, diesen Kompromiss zu lösen. Sie entwickelten eine neue Methode, die es diesen schnellen, dynamischen Schaltkreisen ermöglicht, ihre eigenen Fehler zu erkennen und zu verwerfen, ohne zusätzliche Hardware zu benötigen oder den Prozess zu verlangsamen. Indem sie die Quanteninformation als verteiltes Signal über viele Qubits behandelten, schufen sie ein System, das erkennen kann, wenn eine Messung schiefgeht, und einfach diesen spezifischen Versuch verwirft, während nur die erfolgreichen beibehalten werden. In Experimenten auf einem supraleitenden Quantenprozessor ermöglichte dieser Ansatz die Erzeugung eines langreichweitigen verschränkten Qubit-Paares, das durch 100 andere Qubits getrennt war, mit einer Erfolgsrate, die bewies, dass die Verbindung real war – eine Leistung, die die standardmäßige, fehleranfällige Version desselben Schaltkreises nicht erbringen konnte.

Der Kern dieser neuen Methode beruht auf einem Konzept, das die Autoren als „verteilte Steuerung“ (distributed control) bezeichnen. Stellen Sie sich vor, Sie versuchen, einen einzelnen Lichtschalter zu steuern, der mit hundert verschiedenen Lichtern im ganzen Raum verbunden ist. In einem traditionellen Aufbau müssten Sie einen langen Flur entlanggehen und die Schalter nacheinander umlegen, was Zeit kostet und das Risiko birgt, die Verbindung zu unterbrechen. Im dynamischen Ansatz verteilte das Team das „Steuerungssignal“ gleichzeitig über alle Lichter mittels eines speziellen gemeinsamen Zustands. Sie nutzen dann einen zweistufigen Prozess: Zuerst verteilen sie dieses Steuerungssignal über die Maschine, und zweitens kollabieren sie es wieder zu einem einzigen Punkt, um die Aufgabe abzuschließen. Die Brillanz ihrer Arbeit liegt darin, wie sie den zweiten Schritt handhaben. Anstatt das Signal einfach nur kollabieren zu lassen, fügen sie eine Ebene von Prüfungen hinzu, die verifizieren, ob das Signal während der Reise intakt geblieben ist.

Diese Prüfungen funktionieren, indem sie nach Inkonsistenzen im Muster der Qubits suchen. Wenn das Signal durch Rauschen oder eine schlechte Messung korrumpiert wurde, wird das Muster falsch aussehen, und das System markiert den Versuch als Fehlschlag. Die Forscher testeten zwei Arten von Prüfungen. Die erste Art, die sie „explizite Checks“ nennen, untersucht direkt spezifische Paare von Qubits, um zu sehen, ob sie übereinstimmen. Die zweite Art, die „implizite Checks“ genannt wird, ist leistungsfähiger; sie vergleicht die Ergebnisse verschiedener Messungen miteinander, um Fehler abzufangen, die der erste Typ vielleicht übersieht, einschließlich Fehlern, die durch die Messgeräte selbst verursacht wurden. Obwohl dieser Prozess bedeutet, dass der Computer die Berechnung öfter durchführen muss, um ein erfolgreiches Ergebnis zu finden, stellten die Forscher fest, dass der Kompromiss es wert ist. Die erfolgreichen Durchläufe sind von wesentlich höherer Qualität, und die zusätzliche Zeit, die mit dem Warten auf ein gutes Ergebnis verbracht wird, ist weit geringer als die Zeit, die durch Fehler in einem traditionellen Setup verloren geht.

Um zu beweisen, dass dies in der realen Welt funktioniert, führte das Team Experimente auf einem Quantenprozessor namens IBM Boston durch. Ihr erster Test beinhaltete die Erstellung eines langreichweitigen Gates, eines Werkzeugs, das zwei weit voneinander entfernte Qubits verbindet. Es gelang ihnen, zwei Qubits zu verbinden, die durch eine Kette von 100 anderen Qubits getrennt waren. Ohne ihre Fehlererkennungsmethode war die Verbindung zu schwach, um als real zu gelten, mit einem Fidelity-Score von etwa 0,39. Mit aktiver Fehlererkennung sprang die Fidelity auf 0,59 – ein Wert, der hoch genug ist, um zu zertifizieren, dass die beiden fernen Qubits tatsächlich verschränkt sind. Dies war eine signifikante Verbesserung und zeigte, dass die Fehlererkennung erfolgreich das Rauschen herausfilterte, das normalerweise diese langreichweitigen Verbindungen ruiniert.

In einem zweiten Experiment nutzte das Team dieselbe Technik, um einen spezifischen Typ eines komplexen Zustands vorzubereiten, der als W-Zustand bekannt ist und bei dem eine einzelne Anregung unter vielen Qubits aufgeteilt wird. Sie bereiteten diese Zustände für Systeme mit einer Größe von 5 bis 20 Qubits vor. In jedem Fall lieferte die Version mit Fehlererkennung ein wesentlich saubereres Ergebnis. Für das größte System aus 20 Qubits verbesserte die Fehlererkennung die Qualität des Zustands um etwa 0,2 im Vergleich zur Standardmethode. Die Forscher merkten an, dass der Prozess zwar erforderte, einige Versuche zu verwerfen, die Rate der erfolgreichen Ergebnisse jedoch hoch genug blieb, um praktikabel zu sein. Sie beobachteten, dass die Methode besonders gut darin war, Fehler zu korrigieren, die durch den Messprozess selbst verursacht wurden, welcher oft der größte Engpass in dynamischen Schaltkreisen ist.

Die Auswirkungen dieser Arbeit erstrecken sich über diese zwei Tests hinaus. Die Forscher zeigten, dass ihr Framework auf eine Vielzahl von Aufgaben angewendet werden kann, einschließlich der Vorbereitung komplexer Zustände wie Dicke-Zustände und der Durchführung eines fundamentalen algorithmischen Werkzeugs, des Hadamard-Tests. Durch die Vereinigung dieser verschiedenen Aufgaben unter einer einzigen Fehlererkennungsstrategie haben sie ein Toolkit bereitgestellt, mit dem viele bestehende Quantenprotokolle aufgewertet werden können. Die Methode erfordert nicht das Hinzufügen von mehr Qubits zur Maschine, was ein großer Vorteil für die aktuelle Hardware ist, die bereits mit dem Platzangebot kämpft. Stattdessen nutzt sie die vorhandenen Qubits intelligenter und tauscht ein wenig Zeit gegen einen großen Gewinn an Genauigkeit ein.

Diese Forschung deutet darauf hin, dass der Weg zu nützlichem Quantencomputing nicht unbedingt darauf warten muss, perfekte, fehlerfreie Maschinen abzuwarten. Stattdessen weist sie auf eine Zukunft hin, in der wir die unvollkommenen Werkzeuge, die wir heute haben, effektiver nutzen können. Indem wir akzeptieren, dass Fehler auftreten werden, und Systeme bauen, die in der Lage sind, diese Fehler zu identifizieren und auf der Fliege zu verwerfen, können wir die Grenzen dessen verschieben, was mit der heutigen Technologie möglich ist. Die Arbeit des Teams demonstriert, dass dynamische Schaltkreise, die einst durch ihre eigenen Messfehler geplagt waren, nun robust genug gemacht werden können, um Aufgaben auszuführen, die zuvor als unerreichbar galten. Während sich das Feld weiterentwickelt, könnten diese Techniken zu einem Standardbestandteil der Programmierung von Quantencomputern werden und die Fragilität der heutigen Zeit in einen Sprungstein für die leistungsstarken Maschinen von morgen verwandeln.