Stabilizer codes over general phase spaces

Quantencomputer versprechen, Probleme zu lösen, die für heutige Maschinen unmöglich sind, aber sie sind unglaublich zerbrechlich. Die Informationen, die sie speichern – bekannt als Quantenzustände –, können durch die kleinste Vibration oder Hitze leicht durcheinandergebracht werden. Um diese Informationen zu schützen, nutzen Wissenschaftler eine Strategie namens Fehlerkorrektur, bei der ein einzelnes Stück an Daten über viele physikalische Teilchen verteilt wird. Wenn ein Teilchen korrumpiert wird, halten die anderen die Wahrheit bereit, sodass der Computer den Fehler beheben kann. Seit Jahrzehnten entwickeln Forscher spezifische Wege, um dies für verschiedene Arten von Quantenhardware zu tun. Einige Systeme nutzen winzige, diskrete Energieeinheiten, wie etwa einzelne Stufen auf einer Leiter. Andere nutzen kontinuierliche Energiewellen, wie die sanfte Bewegung eines Pendels. Bis jetzt wurden diese beiden Ansätze weitgehend als getrennte Welten behandelt, mit unterschiedlichen mathematischen Regeln und unterschiedlichen Werkzeugen zur Fehlerbehebung.

Eine neue Studie von Sayan Chakraborty und Victor V. Albert überbrückt diese Lücke. Sie haben eine vereinheitlichte Theorie für eine breite Klasse von Quantencodes entwickelt, die diese verschiedenen Arten von Systemen miteinander kombinieren können. Ihre Arbeit zeigt, wie man stabile Quantenspeicher unter Verwendung einer Kombination aus Oszillatoren, Rotoren und diskreten Einheiten aufbauen kann, die alle von einem einzigen, konsistenten Regelsatz gesteuert werden. Dies ist ein bedeutender Schritt nach vorn, da zukünftige Quantencomputer wahrscheinlich nicht nur auf einer Art von Hardware basieren werden; sie werden verschiedene Komponenten integrieren müssen, um effektiv funktionieren zu können. Indem sie bewiesen haben, dass diese gemischten Systeme mit derselben mathematischen Strenge wie ihre einfacheren Gegenstücke behandelt werden können, haben die Forscher einen Bauplan für den Aufbau robusterer und vielseitigerer Quantengeräte geliefert.

Der Kern dieser Arbeit ist ein Konzept namens Stabilisator-Code. Stellen Sie sich vor, Sie haben eine Sammlung von Objekten und möchten sie in einer bestimmten, sicheren Anordnung halten. Sie definen eine Reihe von Regeln, oder „Stabilisatoren“, die diesen sicheren Zustand beschreiben. Wenn sich die Objekte leicht bewegen, verletzen sie eine dieser Regeln, und das System erkennt, dass ein Fehler aufgetreten ist. Die Forscher konzentrierten sich auf Systeme, bei denen diese Regeln durch „Displacement-Operatoren“ (Verschiebungsoperatoren) definiert sind. Vereinfacht ausgedrückt sind dies Aktionen, die den Zustand eines Systems verschieben, entweder indem sie es an eine neue Position bewegen oder indem sie seine Phase ändern, was vergleichbar mit der Verschiebung des Timings einer Welle ist. Die entscheidende Erkenntnis ist, dass für die Funktion eines Codes diese Verschiebungsaktionen kommutieren müssen, was bedeutet, dass die Reihenfolge, in der man sie anwendet, keine Rolle spielt. Diese Eigenschaft ermöglicht es dem System, einen stabilen, geschützten Raum zu bilden, in dem Quanteninformationen existieren können.

Chakraborty und Albert erkannten, dass diese Displacement-Operatoren als Punkte auf einem Gitter in einem mathematischen Raum namens Phasenraum visualisiert werden können. Für ein einfaches System sieht dieses Gitter vielleicht wie ein regelmäßiges Muster von Punkten aus. Für komplexere Systeme kann das Gitter gestreckt, verdreht oder sogar mit Lücken versehen sein. Die Forscher zeigten, dass das Gitter, solange es eine spezifische Art von Struktur bildet, die als Gitter (Lattice) bekannt ist, einen gültigen Quantencode definieren kann. Dieses Gitter fungiert als Skelett des Fehlerkorrektur-Codes. Der Umfang des logischen Raums – die Menge an Information, die der Code speichern kann – steht in direktem Zusammenhang mit dem Volumen des Raums zwischen den Punkten dieses Gitters. Wenn die Punkte dicht gepackt sind, kann der Code mehr Information speichern; wenn sie weit verstreut sind, speichert er weniger.

Eine der bemerkenswertesten Entdeckungen der Arbeit ist die Existenz von „Hybrid-Codes“, die nicht in separate, unabhängige Teile zerlegt werden können. In der Vergangenheit gingen Wissenschaftler oft davon aus, dass ein komplexes System verstanden werden kann, indem man seine einfacheren Komponenten einzeln betrachtet. Zum Beispiel könnte ein Code, der Oszillatoren und diskrete Einheiten mischt, als ein Oszillatoren-Code gedacht worden sein, der lediglich mit einem diskreten Code zusammengeklebt wurde. Die Autoren konstruierten jedoch Beispiele, in denen die Komponenten so tief miteinander verwoben sind, dass kein Maß an mathematischer Umstrukturierung sie trennen kann. Sie erstellten einen Code, der Oszillatoren mit planaren Rotoren mischt, sowie einen anderen, der Rotoren mit diskreten Einheiten miskt, wobei die Verbindung zwischen den Teilen intrinsisch ist. Das bedeutet, dass die Fehlerkorrektureigenschaften des Gesamtsystems von der spezifischen Art und Weise abhängen, wie die Teile miteinander verknüpft sind, und man das System nicht verstehen kann, indem man die Teile isoliert untersucht.

Die Forscher befassten sich auch mit dem Problem, wie Fehler in diesen gemischten Systemen zu dekodieren sind. Wenn ein Fehler auftritt, verschiebt er den Zustand des Systems an einen neuen Ort im Phasenraum. Das Ziel der Dekodierung ist es, festzustellen, welche Verschiebung stattgefunden hat, und diese umzukehren. Die Arbeit liefert eine Methode, um die beste Vorgehensweise hierfür zu bestimmen, basierend auf der Geometrie des Gitters. Sie zeigten, dass der effizienteste Decoder einer ist, der nach der kleinsten Verschiebung sucht, die die beobachtete Fehlermeldung verursacht haben könnte. Dieser Ansatz funktioniert für alle die verschiedenen Systeme, die sie untersucht haben, unabhängig davon, ob sie kontinuierliche Wellen, diskrete Schritte oder eine Mischung aus beidem beinhalten. Sie leiteten zudem Formeln ab, um die „Distanz“ des Codes zu berechnen, ein Maß dafür, wie viele Fehler der Code korrigieren kann, bevor er versagt. Diese Distanz wird durch den kürzesten Abstand zwischen den Punkten des Gitters und den Punkten bestimmt, die die logische Information repräsentieren.

Ein besonders eleganter Teil ihrer Arbeit betrifft die Beziehung zwischen dem Code und seinem „Dualen“. In der Mathematik hat jedes Gitter ein Partnergitter, das die möglichen logischen Operationen beschreibt. Die Forscher zeigten, dass die Eigenschaften des Codes, wie etwa seine Fähigkeit, Fehler zu erkennen, direkt mit den Eigenschaften dieses dualen Gitters verknüpft sind. Diese Verbindung ermöglicht es, leistungsstarke mathematische Werkzeuge aus der Gittertheorie zur Analyse von Quantencodes einzusetzen. Sie demonstrierten, dass diese Beziehung selbst für die komplexesten Hybrid-Codes gilt, und lieferten damit einen einheitlichen Rahmen, der für alle von ihnen betrachteten Systeme Anwendung findet.

Das Paper adressiert auch das praktische Problem der Energie. In der realen Welt können Quantenzustände nicht unendlich viel Energie besitzen, doch die idealen mathematischen Modelle gehen oft davon aus, dass sie dies tun. Die Autoren entwickelten einen Weg, um „Finite-Energy“-Versionen (energieendliche Versionen) dieser Codes zu erstellen. Sie zeigten, dass sie durch eine leichte Dämpfung der Energie des Systems physische Zustände erschaffen können, die sich fast exakt wie die idealen mathematischen Zustände verhalten. Der durch diese Dämpfung eingeführte Fehler ist extrem gering, was diese Codes für reale Anwendungen lebensfähig macht. Dies ist entscheidend, da es beweist, dass die von ihnen entworfenen theoretischen Codes tatsächlich in physischen Geräten gebaut und eingesetzt werden können.

Im Laufe ihrer Studie verwendeten die Autoren einen mathematischen Rahmen, der von Marc Rieffel entwickelt wurde und die Quantenmechanik mit einem Feld verbindet, das als nichtkommutative Geometrie bezeichnet wird. Dieser Rahmen behandelt den Raum der Quantenzustände als ein geometrisches Objekt, was es den Forschern ermöglicht, geometrische Intuition zur Lösung von Quantenproblemen zu nutzen. Sie fanden heraus, dass der Syndromraum – der Raum, in dem die Fehlerinformation gespeichert wird – als ein Bündel von Fasern (Fibers) betrachtet werden kann. Jede Faser entspricht einem spezifischen Fehlermuster, und der Code lebt in einer dieser Fasern. Diese geometrische Sichtweise half ihnen zu beweisen, dass die Dimension des Codes gleich dem Volumen des Gitters ist – ein Ergebnis, das für alle von ihnen untersuchten Systeme gilt.

Die Arbeit greift auch bekannte Codes auf, wie etwa den Gottesman-Kitaev-Preskill (GKP)-Code, einen berühmten Quantenfehlerkorrektur-Code für kontinuierliche Systeme. Die Autoren zeigten, dass ihr neuer Rahmen diese bestehenden Codes als Spezialfälle natürlich einschließt. Darüber hinaus konstruierten sie neue Codes, die verschiedene Arten von Systemen auf eine Weise kombinieren, die zuvor unmöglich war. Beispielsweise erstellten sie einen Code, der zwölf Oszillatoren mit zwölf Qubits mischt, abgeleitet von einem berühmten klassischen Code namens Golay-Code. Dieser Hybrid-Code ist nicht bloß eine einfache Kombination der beiden, sondern ein eng integriertes System, in dem die Oszillatoren und Qubits so miteinander verknüpft sind, dass ein neuer, leistungsfähigerer Code entsteht.

Die Forscher untersuchten auch die Grenzen dieser Codes. Sie bewiesen, dass für bestimmte Arten von Systemen, speziell jenen, die einen Oszillator und einen Rotor beinhalten, der Code nur dann „intrinsisch gekoppelt“ sein kann, wenn er eine spezifische Menge an Information speichert. Wenn die Menge der Information zu gering ist, kann das System immer in unabhängige Teile zerlegt werden. Sobald die Information jedoch einen gewissen Schwellenwert erreicht, wird die Kopplung unvermeidlich. Dieser Befund hilft Wissenschaftlern zu verstehen, wann sie in ihren eigenen Designs mit solch komplexen, hybriden Verhaltensweisen rechnen können.

Zusammenfassend lässt sich sagen, dass Chakraborty und Albert eine umfassende Theorie für eine breite Palette von Quantenfehlerkorrektur-Codes geliefert haben. Sie haben gezeigt, dass Oszillatoren, Rotoren und diskrete Einheiten in einem einzigen, kohärenten Rahmen gemischt werden können. Sie haben bewiesen, dass diese gemischten Systeme intrinsische Eigenschaften besitzen können, die sich nicht auf ihre Einzelteile reduzieren lassen, und sie haben die Werkzeuge bereitgestellt, um sie zu analysieren und zu dekodieren. Durch die Verbindung dieser vielfältigen Systeme mit einer einzigen geometrischen Sprache haben sie das Tor zur Entwicklung flexiblerer und robusterer Quantencomputer geöffnet. Ihre Arbeit legt nahe, dass die Zukunft des Quantencomputings nicht darin liegen könnte, sich für eine Art von Hardware zu entscheiden, sondern darin, zu lernen, wie man sie zu einem einzigen, widerstandsfähigen Gefüge verwebt.