Quantencomputer versprechen, Probleme zu lösen, für die klassische Maschinen Tausende von Jahren benötigen würden, aber sie sind unglaublich fragil. Die kleinste Störung durch Hitze oder Vibration kann die Informationen, die sie halten, durcheinanderbringen und dazu führen, dass Berechnungen fehlschlagen. Um dies zu überwinden, bauen Wissenschaftler fehlertolerante Quantencomputer, die nicht auf perfekten, fehlerfreien Teilen basieren. Stattdessen gruppieren sie viele physikalische Teilchen zu einer einzigen, stabilen „logischen“ Informationseinheit. Wenn ein Teilchen in der Gruppe einen Fehler aufweist, können die anderen den Fehler erkennen und korrigieren, ohne die Daten zu verlieren. Dieser Prozess, bekannt als Quantenfehlerkorrektur, ist das Fundament der zukünftigen Maschine, kommt aber mit einem hohen Preis: Eine einzige nützliche Berechnung erfordert unter Umständen Millionen von physikalischen Teilchen, die im Einklang arbeiten müssen.

Die Herausforderung besteht nicht nur darin, die Hardware zu bauen, sondern auch die Software zu schreiben, die sie steuert. Aktuelle Werkzeuge zur Programmierung von Quantencomputern sind für die heutigen verrauschten, kleinskaligen Geräte konzipiert. Sie verstehen nicht die komplexen Regeln, die für die Verwaltung der Fehlerkorrektur erforderlich sind, wie etwa die Verfolgung der „Syndrome“, die einen Fehler signalisieren, oder die Vorbereitung spezieller Ressourcen, die für schwierige Berechnungen benötigt werden. Ohne ein Softwaresystem, das die Sprache der Fehlerkorrektur spricht, können Ingenieure eine hochgradig abstrakte Idee nicht zuverlässig in einen physischen Schaltkreis übersetzen, den eine echte Maschine ausführen kann. Ein Forschungsteam am Oak Ridge National Laboratory hat diese Lücke geschlossen, indem es einen neuen Compiler entwickelt hat – ein Stück Software, das als Übersetzer zwischen menschlicher Logik und der starren, fehlerkorrigierten Welt eines zukünftigen Quantencomputers fungiert.

Die Forscher bauten ein System namens FTQC, was für Fault-Tolerant Quantum Computing steht. Betrachten Sie einen Compiler als einen Übersetzer, der ein in einer Hochsprache geschriebenes Programm nimmt und es in die spezifischen Anweisungen umwandelt, die eine Maschine versteht. In der Quantenwelt ist dies schwierig, da die Maschine nicht einfach nur ein Programm ausführt; sie muss sich ständig selbst auf Fehler überwachen und diese in Echtzeit korrigieren. Das neue System führt eine Möglichkeit ein, diese fehlerkorrigierten Einheiten direkt im Code zu beschreiben. Anstatt ein logisches Qubit als einfache Variable zu behandeln, gibt die Software ihm eine spezifische Identität, die seine Fehlerkorrekturregeln beinhaltet. Dies ermöglicht es dem Compiler, bei jedem Schritt zu prüfen, ob die durchgeführten Operationen für diesen spezifischen Typ des Fehlerschutzes zulässig sind. Wenn ein Programmierer versucht, zwei verschiedene Arten der Fehlerkorrektur zu mischen, die nicht zusammenarbeiten, stoppt der Compiler und meldet den Fehler, noch bevor der Code die Maschine erreicht.

Um die Komplexität zu bewältigen, entwarfen die Forscher das System mit zwei unterschiedlichen Ebenen. Die obere Ebene behandelt die logischen Anweisungen, die mathematische und logische Hochebene, die ein Wissenschaftler ausführen möchte. Die untere Ebene behandelt die physikalische Realität, die einzelnen Teilchen und die spezifischen Gates, die sie manipulieren. Ein spezieller Prozess in der Mitte übersetzt die logischen Anweisungen in die physikalischen, indem er eine einzige logische Anweisung in einen großen Block physikalischer Operationen expandiert. Dieses Design stellt sicher, dass dasselbe logische Programm an verschiedene Arten von Hardware gesendet werden kann, ohne neu geschrieben werden zu müssen. Das System enthält zudem einen integrierten Rechner, der schätzt, wie viele physikalische Teilchen für eine bestimmte Aufgabe benötigt werden. Dies ist entscheidend, da die Kosten der Fehlerkorrektur hoch sind; eine einfache Berechnung könnte eine ganze Fabrik an zusätzlichen Teilchen erfordern, nur um die Hauptdaten sicher zu halten.

Das Team testete sein System anhand mehrerer Standard-Quantenalgorithmen, darunter eine Methode zur Datensuche und eine Technik zur Analyse der Eigenschaften von Molekülen. Sie führten diese Tests auf einem Simulator durch, um zu sehen, wie die Software die Übersetzung und die Ressourcenzählung handhabt. Die Ergebnisse zeigten, dass der Compiler erfolgreich logische Programme in physikalische Schaltkreise für verschiedene Arten von Fehlerkorrektur-Codes umwandeln konnte, einschließlich des Steane-Codes und des Surface-Codes. Eine der aufschlussreichsten Erkenntnisse ergab sich aus der Analyse einer Drei-Qubit-Berechnung, die als Quantum Fourier Transform bekannt ist. Der Compiler stellte fest, dass das System, um diese Berechnung mit Fehlerkorrektur durchzuführen, eine „Magic State Factory“ benötigt – einen dedizierten Ressourcenblock zur Vorbereitung spezieller Zustände, die für die Mathematik erforderlich sind. Diese Fabrik benötigte fünfmal so viele physikalische Teilchen wie der gesamte kodierte Schaltkreis selbst. Dies verdeutlicht eine verborgene Kostenstelle in der fehlertoleranten Computertechnik: Die Ressourcen, die benötigt werden, um das System aufrechtzuerhalten, übersteigen oft die Ressourcen, die für die eigentliche Berechnung selbst benötigt werden.

Über die Simulation hinaus brachten die Forscher ihre Arbeit auf reale Hardware. Sie zielten auf einen 20-Qubit-Supraleiter-Quantencomputer am Oak Ridge National Laboratory ab. Sie nutzten ihren Compiler, um einen einfachen logischen Schaltkreis in die nativen Anweisungen der Maschine zu übersetzen. Da die Maschine zu klein ist, um eine vollständige fehlerkorrigierte Berechnung durchzuführen, nutzten sie den Compiler, um den physikalischen Schaltkreis zu generieren, und wandten dann nach dem Durchlauf ein klassisches Dekodierungsverfahren auf die Ergebnisse an. Die Ergebnisse waren vielversprechend: Durch die Verwendung der vom Compiler generierten Fehlerkorrektur-Informationen konnten sie den logischen Auslesefehler um den Faktor 3,3 reduzieren. Das bedeutet, dass das Endergebnis signifikant genauer war als die Rohdaten der Maschine, was beweist, dass die Ausgabe des Compilers erfolgreich die physische Hardware erreichen und die Qualität der Ergebnisse verbessern konnte.

Die Arbeit erhebt nicht den Anspruch, das Problem der Konstruktion eines fehlertoleranten Computers gelöst zu haben. Die Experimente waren in ihrer Größe begrenzt und demonstrierten nicht die volle Schwelle, ab der die Fehlerkorrektur perfekt effektiv wird. Die Simulationen verwendeten vereinfachte Modelle für bestimmte komplexe Operationen, und die Hardware-Tests waren Proof-of-Concept-Durchläufe statt vollumfänglicher Demonstrationen. Dennoch bietet das System eine praktische Grundlage für die nächste Entwicklungsstufe. Indem die Forscher die Regeln der Fehlerkorrektur innerhalb der Software sichtbar und handhabbar gemacht haben, haben sie ein Werkzeug geschaffen, das es Ingenieuren ermöglicht, ihre Designs zu inspizieren, zu verifizieren und zu optimieren, bevor sie gebaut werden. Diese Klarheit ist essenziell für den Übergang von theoretischen Ideen zu den massiven, komplexen Systemen, die für die nächste Generation des Quantencomputings erforderlich sind.