Low-Overhead Quantum Error Correction with Boundary-Connected Planar Modules

Der Traum von einem praktischen Quantencomputer basiert auf einem Paradoxon. Diese Maschinen versprechen, Probleme zu lösen, für die klassische Supercomputer tausende von Jahren benötigen würden – von der Entwicklung neuer lebensrettender Medikamente bis hin zur Entschlüsselung der Codes, die unsere digitale Welt schützen. Doch eben jene Physik, die sie so leistungsstark macht, macht sie auch unglaublich fragil. Die winzigen Informationseinheiten, die sie verwenden und Qubits genannt werden, sind so empfindlich, dass schon das leiseste Flüstern von Hitze oder Vibration ihre Daten korrumpieren kann. Um eine nützliche Maschine zu bauen, müssen Wissenschaftler diese fragilen Qubits in eine schützende Schicht der Fehlerkorrektur einhüllen, wobei viele physische Qubits verwendet werden, um ein einziges, stabiles „logisches“ Qubit zu erzeugen. Jahrelang war die führende Strategie für diesen Schutz der Surface Code, eine Methode, die Qubits in einem flachen, zweidimensionalen Gitter anordnet. Während dieser Ansatz theoretisch gut funktioniert, erfordert er eine erstaunliche Anzahl an physischen Komponenten, was potenziell Millionen von Qubits für eine einzige nützliche Berechnung voraussetzt. Diese massive Anforderung hat einen Engpass geschaffen, da der Bau eines einzelnen Chips mit so vielen Komponenten aufgrund der Fertigungsgrenzen und der benötigten Verdrahtungsdichte wahrscheinlich unmöglich ist.

Ein Team von Forschern von Google Quantum AI und Google DeepMind hat nun einen Weg vorgeschlagen, diesen Engpass zu durchbrechen, indem es die Art und Weise ändert, wie der Computer gebaut wird, statt nur die Mathematik dahinter zu verändern. Anstatt zu versuchen, ein massives, monolithisches Gitter auf einen einzigen riesigen Chip zu quetschen, schlagen sie vor, den Prozessor in kleinere, handhabbare flache Module zu unterteilen, die durch ein spärliches Netzwerk aus Fernverbindungen miteinander verbunden sind. Durch die Anordnung dieser Module in einem spezifischen Muster hat das Team einen neuen Typus des Fehlerkorrekturcodes geschaffen, der sich so verhält, als würde er auf einer gekrümmten, sattelförmigen Oberfläche leben, obwohl die physische Hardware flach bleibt. In Simulationen reduzierte dieses modulare Design die Anzahl der physischen Qubits, die benötigt werden, um ein einzelnes logisches Qubit zu schützen, im Vergleich zum Standard-Surface-Code um den Faktor zehn oder mehr. Für größere, leistungsstärkere Systeme könnten die Einsparungen sogar über dreißigfach liegen, was den Traum von einem Quantencomputer mit praktischem Nutzen erheblich näher an die Realität rückt.

Die Kernherausforderung liegt in der Geometrie der Fehlerkorrektur. Der traditionelle Surface Code funktioniert wie eine Patchwork-Decke auf einem flachen Tisch, bei der jedes Quadrat ein Qubit ist und die Regeln zur Überprüfung von Fehlern von den unmittelbaren Nachbarn abhängen. Dies funktioniert gut für die Fertigung, aber um das für reale Anwendungen erforderliche Schutzniveau zu erreichen, muss die Decke enorm werden, was gewaltige Ressourcen verbraucht. Die Forscher erkannten, dass die mathematischen Regeln für besseren Schutz tatsächlich von Formen mit negativer Krümmung stammen, wie etwa einer Pringles-Chip oder eines Sattels, bei denen sich der Raum schnell ausdehnt, wenn man sich vom Zentrum entfernt. Auf einer solchen Form kann man viel mehr logische Qubits auf demselben Raum unterbringen. Das Problem ist: Niemand kann einen Computerchip bauen, der die Form eines Sattels hat; Silizium-Wafer sind flach.

Um dies zu lösen, entwickelte das Team einen Weg, diese gekrümmte Geometrie mithilfe flacher Teile zu simulieren. Sie unterteilten den Quantenprozessor in kleine, flache Module, die jeweils etwa hundert Qubits enthalten. Diese Module sind an ihren Kanten durch einige Fernverbindungen miteinander verbunden, die als die „Nähte“ zwischen den Teilen fungieren. Durch die sorgfältige Gestaltung der Art und Weise, wie diese Nähte verbunden sind, ahmt das gesamte System die Eigenschaften einer gekrümmten Oberfläche nach. Die Forscher entwickelten neue Familien von Codes, die sie modulare hyperbolische Codes nennen, die auf dieser virtuellen gekrümmten Oberfläche existieren, aber aus flachen, leicht fertigbaren Kacheln bestehen. Sie testeten diese Codes mit detaillierten Computersimulationen, die das Rauschen und die Fehler berücksichtigten, die in realer Hardware zu erwarten sind, einschließlich der Tatsache, dass die Fernverbindungen zwischen den Modulen etwas verrauschter sein könnten als die Verbindungen innerhalb eines Moduls.

Die Ergebnisse dieser Simulationen waren beeindruckend. Das neue modulare Design erreichte das gleiche Niveau des Fehlerschutzes wie der Standard-Surface-Code, verbrauchte jedoch weitaus weniger physische Qubits. In einem spezifischen Beispiel fanden die Forscher einen Code, der ein logisches Qubit mit einer Distanz von zweiundzwanzig – einem Maß dafür, wie gut es Fehlern standhalten kann – schützen konnte, und dafür nur sechsunddreißig physische Qubits benötigte. Im Gegensatz dazu würde ein Standard-Flachgitter-Code mit demselben Schutzniveau über tausend physische Qubits erfordern. Der modulare Ansatz erwies sich zudem als robust; selbst wenn die Verbindungen zwischen den Modulen zehnmal verrauschter waren als die internen Verbindungen, behielt das System seine hohe Leistungsfähigkeit bei. Diese Toleranz ist entscheidend, da der Bau perfekter Fernverbindungen schwierig ist, und das neue Design zeigt, dass das System auch dann gut funktionieren kann, wenn diese Verbindungen unvollkommen sind.

Über die bloße Speicherung von Informationen hinaus zeigten die Forscher auch, wie man Berechnungen auf diesen geschützten logischen Qubits durchführt. Sie entwickelten eine Methode, um Informationen im System zu bewegen und logische Operationen unter Nutzung der Symmetrien der zugrunde liegenden gekrümmten Form durchzuführen. Stellen Sie sich die Module wie Fliesen auf einem Boden vor; die Forscher fanden einen Weg, das gesamte Muster der Fliesen auf eine fehlertolerante Weise zu verschieben, was effektiv bedeutet, die logischen Informationen von einem Ort zum anderen zu bewegen, ohne den Fehlerschutz zu brechen. Sie kombinierten dies mit einem spezialisierten „Band“-System, das den Zustand der logischen Qubits messen und sie für die Verarbeitung in das Gedächtnis hinein- und herausführen kann. Dies ermöglicht es dem System, als universeller Computer zu fungieren, der komplexe Algorithmen wie einen 50-Bit-Addierer ausführen kann, welcher ein grundlegender Baustein für die Arithmetik ist.

Die Bedeutung dieser Arbeit geht über die Zahlen hinaus. Sie zeigt, dass die physikalischen Einschränkungen beim Bau von Quantencomputern, die lange Zeit als Barriere für den Fortschritt angesehen wurden, tatsächlich in einen Vorteil verwandelt werden können. Indem sie akzeptierten, dass wir modulare Systeme mit Fernverbindungen bauen müssen, konnten die Forscher die Effizienz von Hochleistungscodes erschließen, die zuvor als unmöglich auf flachen Chips zu bauen galten. Das Design stützt sich auf Komponenten, die heute bereits in Laboren demonstriert werden, wie etwa hochpräzise lokale Gates und Verbindungen zwischen Modulen. Während das Paper auf Simulationen statt auf einer physischen Demonstration des vollständigen Systems basiert, deuten die Ergebnisse auf einen klaren Weg nach vorne hin. Durch die Co-Entwicklung der fehlerkorrigierenden Codes mit der modularen Hardware-Architektur hat das Team gezeigt, dass der Ressourcenaufwand für die Quantenfehlerkorrektur drastisch reduziert werden kann, was den Weg zu den ersten wirklich nützlichen Quantencomputern ebnet.