Polynomial-time simulation of non-Clifford quantum error correction

Der Bau eines Computers, der Probleme lösen kann, die außerhalb der Reichweite heutiger Maschinen liegen, erfordert einen delikaten Balanceakt. Diese Maschinen, bekannt als Quantencomputer, verlassen sich auf Teilchen, die in der Lage sind, gleichzeitig in mehreren Zuständen zu existieren – eine Eigenschaft, die es ihnen ermöglicht, riesige Mengen an Informationen simultan zu verarbeiten. Diese Sensibilität macht sie jedoch auch unglaublich fragil; die kleinste Störung durch die Umgebung führt dazu, dass sie ihre Information verlieren und versagen. Um diese Maschinen am Laufen zu halten, nutzen Wissenschaftler die Fehlerkorrektur, eine Methode, bei der das System ständig überprüft und Fehler behoben werden, bevor sie sich ausbreiten. Während die grundlegenden Regeln für das Überprüfen und Beheben dieser Fehler gut verstanden sind, erfordern die leistungsfähigsten Operationen, die diese Computer ausführen müssen, eine komplexere, weniger vorhersehbare Art der Korrektur. Jahrelang war es nahezu unmöglich, die Art und Weise, wie sich diese komplexen Korrekturen auf einem Standardcomputer verhalten, zu simulieren, was Forscher dazu zwang, darüber zu spekulieren, wie ihre Designs unter realweltigem Rauschen bestehen würden.

Ein Team von Forschern der Universität Oxford und der Freien Universität Berlin hat nun einen Weg entwickelt, diese komplexen Quantenfehlerkorrektur-Schaltkreise mit perfekter Genauigkeit und Geschwindigkeit zu simulieren. Sie entdeckten, dass eine breite Klasse dieser Schaltkreise, zu denen auch die vielversprechendsten Methoden zur Vorbereitung der speziellen Ressourcen gehören, die für universelles Quantencomputing benötigt werden, einem verborgenen mathematischen Muster folgt. Dieses Muster ermöglicht es, den gesamten Zustand des Systems zu beschreiben und zu verfolgen, indem ein spezifischer Typ von Polynom verwendet wird – ein mathematischer Ausdruck, dessen Komplexität weita viel langsamer wächst als die Anzahl der beteiligten Teilchen. Durch den Beweis, dass diese Schaltkreise selbst dann innerhalb dieses Musters bleiben, wenn zufällige Fehler auftreten, schuf das Team ein neues Simulationswerkzeug, das Systeme mit vielen logischen Ausgängen handhaben kann – eine Aufgabe, die andere Simulationssoftware bisher zum Absturz brachte oder an den Speicherlimits scheitern ließ.

Die Herausforderung bei der Simulation dieser Schaltkreise liegt in der Natur der Fehler und der Korrekturen. In einem Standard-Quantencomputer werden Fehler oft als zufälliges Umklappen von Bits modelliert, ähnlich wie eine Münze, die auf Kopf oder Zahl landet. Die Forscher konzentrierten sich auf eine spezifische Klasse von Schaltkreisen, die eine Menge von Operationen verwenden, die als schwierig klassisch zu simulieren gelten. Diese Schaltkreise sind darauf ausgelegt, einfache, stabile Quantenzustände in komplexere „magische“ Zustände zu transformieren, die essenziell sind, um das volle Spektrum an Berechnungen durchzuführen, das ein universeller Quantencomputer benötigt. Das Problem ist, dass mit zunehmender Größe dieser Schaltkreise die Anzahl der möglichen Wege, auf denen sich das System entwickeln kann, exponentiell explodiert. Traditionelle Simulationsmethoden versuchen, jede einzelne Möglichkeit zu verfolgen, was mit zunehmender Systemgröße schnell unmöglich wird. Die Forscher erkannten, dass das System zwar chaotisch aussieht, aber tatsächlich einer strengen Struktur folgt. Sie fanden heraus, dass jeder Zwischenzustand in diesen Schaltkreisen als eine uniforme Superposition über einer spezifischen geometrischen Form dargestellt werden kann, wobei die Phasen einer Regel für Polynome dritter Ordnung folgen.

Um diese Entdeckung nutzbar zu machen, führten die Forscher eine neue Sichtweise auf diese Zustände ein, die sie als Diagonal-Clifford-und-Pauli-Formalismus bezeichnen. Vereinfacht ausgedrückt fanden sie einen Weg, den komplexen Quantenzustand unter Verwendung eines Satzes von Stabilisatoren darzustellen, die leichter zu handhaben sind. Diese Operatoren werden aus einer Kombination von grundlegenden Quantengattern und diagonalen Operationen aufgebaut, welche die Phasen der Zustände verschieben. Indem sie diese Operatoren anstelle der vollständigen Wellenfunktion verfolgten, konnten die Forscher den Zustand des Systems nach jedem Gatter und jeder Messung in einer Zeit aktualisieren, die polynomiell mit der Größe des Systems wächst. Das bedeutet, dass die Verdoppelung der Anzahl der Qubits nicht die benötigte Zeit für die Simulation des Schaltkreises verdoppelt; stattdessen steigt die Zeit in einer handhabbaren Rate an, was die Simulation wesentlich größerer Systeme als bisher ermöglicht.

Ein kritischer Teil ihrer Arbeit bestand darin, zu verstehen, wie Messungen diese Schaltkreise beeinflussen. In der Quantencomputertechnik führt die Messung eines Teilchens zum Kollaps seines Zustands, und das Ergebnis kann zufällig sein. Die Forscher bewiesen, dass für diese spezifische Klasse von Schaltkreisen bestimmte Arten von Messungen „kompatibel“ sind, was bedeutet, dass sie die zugrunde liegende Polynomstruktur bewahren. Sie zeigten, dass wenn eine Messung in einem idealen, rauschfreien Schaltkreis deterministisch ist oder wenn sie mit einer spezifischen Einschränkung im System antikommutiert, sie auch dann kompatibel bleibt, wenn Rauschen eingeführt wird. Dieser Befund ist entscheidend, da er die Simulation ermöglicht, ohne jeden möglichen verrauschten Zweig separat analysieren zu müssen. Stattdessen können die Forscher die Bedingungen im idealen Schaltkreis verifizieren und sicher sein, dass die Simulation auch dann effizient und genau bleibt, wenn zufällige Fehler eingefügt werden.

Das Team implementierte diese Erkenntnisse in einem Open-Source-Softwarepaket namens Merlin. Sie testeten Merlin gegen mehrere bestehende Simulatoren an Schaltkreisen, die für die Magische-Zustand-Destillation (Magic State Distillation) konzipiert sind – ein Prozess, der dazu dient, verrauschte Quantenzustände in hochwertige Zustände zu reinigen – sowie für das Code-Switching, bei dem der zur Fehlerkorrektur verwendete Code des Computers geändert wird. In Tests mit dem Bravyi-Haah-Destillationsprotokoll, bei dem die Anzahl der logischen Ausgänge zunimmt, demonstrierte Merlin eine signifikant bessere Skalierung sowohl in der Laufzeit als auch in der Speicherauslastung im Vergleich zu anderen Werkzeugen. Während andere Simulatoren die Simulation eines Code-Switching-Schaltkreises basierend auf einem spezifischen großen Code aufgrund von Speichererschöpfung nicht abschließen konnten, simulierte Merlin den gesamten Prozess erfolgreich. Dieser Erfolg unterstreicht eine komplementäre Stärke: Während andere Methoden für kleine, einfache Schaltkreise schneller sind, glänzt Merlin, wenn die Anzahl der logischen Ausgänge wächst – ein Bereich, der für die Bewertung von High-Rate-Protokollen entscheidend ist.

Die Auswirkungen dieser Arbeit reichen über nur schnellere Simulationen hinaus. Indem sie einen Rahmen bereitstellen, der in der Lage ist, die internen Zustände dieser komplexen Schaltkreise exakt zu verfolgen, haben die Forscher der Fachwelt ein mächtiges Werkzeug zur Gestaltung und zum Testen fehlertoleranter Quantenarchitekturen gegeben. Sie zeigten, dass die Bedingungen für eine effiziente Simulation durch eine Vielzahl von Protokollen erfüllt werden, einschließlich jener, die auf transversalen Gattern, Gauge-Fixing und Syndromextraktion basieren. Dies bedeutet, dass Ingenieure Merlin nun nutzen können, um die Leistung neuer Fehlerkorrekturschemata bei Systemgrößen zu bewerten, die zuvor unzugänglich waren. Die Fähigkeit, diese Schaltkreise exakt und ohne Näherung zu simulieren, ermöglicht eine präzise Bewertung der logischen Fehlerraten und des Ressourcenaufwands, welche kritische Faktoren für die Bestimmung der Lebensfähigkeit eines Quantencomputerdesigns sind.

Die Forscher merkten auch an, dass ihre Methode keine universelle Lösung für alle Quantenschaltkreise ist. Schaltkreise, die bestimmte Arten von Messungen oder Gattern enthalten, die nicht dem Polynommuster entsprechen, erfordern weiterhin eine exponentielle Zeit zur Simulation. Durch die Erweiterung ihres Rahmens auf die Zerlegung von Zuständen in eine Summe dieser speziellen Polynomzustände eröffneten sie jedoch einen Weg zur Simulation noch breiterer Klassen von Schaltkreisen, wenn auch mit einem Aufwand, der von der Anzahl der Terme in der Zerlegung abhängt. Dieser Ansatz spiegelt wider, wie andere Simulationsmethoden Komplexität handhaben, bietet jedoch den Vorteil einer effizienteren Basendarstellung für die spezifische Klasse von Schaltkreisen, die für die Quantenfehlerkorrektur relevant sind.

Letztendlich bietet diese Arbeit ein klares Fenster in das Verhalten komplexer Quantensysteme unter realistischen Bedingungen. Sie zeigt, dass selbst in Gegenwart von Rauschen bestimmte Quantenschaltkreise eine Struktur beibehalten, die für eine effiziente klassische Simulation genutzt werden kann. Diese Erkenntnis validiert nicht nur die Machbarkeit spezifischer Fehlerkorrekturprotokolle, sondern bietet auch eine neue Perspektive auf die interne Dynamik von Quantencomputern. Während sich das Feld in Richtung größerer und leistungsfähigerer Maschinen bewegt, werden Werkzeuge wie Merlin essenziell sein, um die Abwägungen zwischen verschiedenen Designentscheidungen zu navigieren und sicherzustellen, dass der Weg zum universellen Quantencomputing auf einer zuverlässigen, gut verstandenen physikalischen Grundlage gebaut wird.