Fehlerkorrigierendes Quantenrechnen mit kontinuierlichen Variablen unter allgemeinem Rauschen

Warum es wichtig ist, rauschendes Licht zu bändigen

Quantencomputer versprechen, Probleme zu lösen, die heutige Rechner überfordern — von der Simulation komplexer Moleküle bis zur Optimierung globaler Logistik. Viele der skalierbarsten Hardwareplattformen basieren auf Licht, wobei Informationen nicht durch einzelne Teilchen, sondern durch die kontinuierlichen Schwankungen eines elektromagnetischen Feldes getragen werden. Das Problem ist, dass Licht in der Praxis verrauscht ist: winzige Zittern, Verluste und Verzerrungen können empfindliche Quanteninformation schnell zerstören. Diese Arbeit zeigt erstmals in einem rigorosen Rahmen, dass ein lichtbasierter Quantencomputer selbst unter sehr allgemeinen und realistischen Rauschtypen zuverlässig arbeiten kann — vorausgesetzt, er ist richtig aufgebaut.

Von glatten Wellen zu digitalen Qubits

In optischen Systemen mit „kontinuierlichen Variablen“ werden Informationen in Stärke und Phase eines Lichtfeldes gespeichert, die sich kontinuierlich ändern können. Das erleichtert die Erzeugung und Manipulation großer Netzwerke verschränkter Lichtstrahlen und ist ein vielversprechender Weg zu skalierbarer Quantenhardware. Die meisten Theorien für zuverlässiges Quantenrechnen wurden jedoch für diskrete Zwei-Niveau-Systeme — Qubits — und für vergleichsweise einfache Fehlermodelle entwickelt. Ein zentrales Werkzeug, um diese Lücke zu schließen, ist der Gottesman–Kitaev–Preskill-(GKP-)Code, der geschickt ein einzelnes Qubit in die kontinuierlichen Freiheitsgrade eines Oszillators einbettet. Der Code ordnet Zustände so an, dass kleine Verschiebungen in Amplitude oder Phase wie vertraute Qubit-Fehler wirken, die prinzipiell korrigierbar sind. Frühere Analysen galten jedoch nur für sehr spezielle Rauschtypen, etwa rein gaußsche Zufallsverschiebungen, und beruhten oft auf idealisierten, physikalisch unmöglichen Code-Zuständen.

Was als korrigierbarer Fehler gilt, neu definiert

Der erste Schritt der Autorinnen und Autoren ist eine realistischere Beschreibung von GKP-kodierten Zuständen und Fehlern, die nicht auf unphysikalische Annahmen angewiesen ist. Sie nutzen einen mathematischen Rahmen namens Stabilizer-Subsystem-Dekomposition, der den gesamten Zustandsraum des Lichts in zwei Teile aufspaltet: einen, der das logische Qubit trägt, und einen anderen, der „Syndrom“-Informationen über Fehler aufzeichnet. Innerhalb dieses Bildes definieren sie einen „r-Filter“, der im Kern abfragt, wie weit der Zustand im Syndromraum von der Fehlerfrei-Region abgewichen ist. Ein approximativer GKP-Zustand wird damit nicht mehr durch ein perfektes Raster aus Delta-Peaks charakterisiert, sondern dadurch, wie eng er innerhalb eines kleinen quadratischen Bereichs um den Ursprung eingeschlossen ist. Solange sich der Zustand in diesem Bereich aufhält, kann das kodierte Qubit weiterhin als sauber interpretiert werden, auch wenn die zugrunde liegende Wellenfunktion unordentlich ist.

Sowohl Rauschen als auch Energie unter Kontrolle halten

Reale optische Systeme stehen vor zwei verknüpften Problemen: Fehler akkumulieren im Laufe der Zeit, und die Energie des Lichtfelds kann beim Anwenden von Gattern unbegrenzt wachsen. Standardmaße für Rauschen, wie sie für Qubits verwendet werden, setzen Zugriff auf beliebig energiehaltige Testzustände voraus und bewerten deshalb selbst kleine Phasenschwankungen im Licht als „maximal schlimm“. Um dieses unrealistische Urteil zu vermeiden, führen die Autorinnen und Autoren ein energiebegrenztes Distanzmaß zwischen physikalischen Prozessen ein, das nur vergleicht, wie Kanäle auf Zustände unterhalb einer festen Photonenzahl wirken. Sie entwerfen dann einen spezifischen Fehlerkorrektur-Schritt, basierend auf Quanten-Teleportation, der die logische Information wiederholt in frisch vorbereitete, mäßig energiereiche GKP-Zustände überträgt. Dieses Verfahren vom Knill-Typ korrigiert nicht nur verschiebungsartige Fehler, sondern setzt außerdem kontinuierlich die Energie zurück und stellt so sicher, dass die kodierten Zustände niemals willkürlich fragil werden.

Vom chaotischen Laborrauschen zu geordneten logischen Fehlern

Mit diesen Werkzeugen definiert die Arbeit eine breite Klasse physikalisch realistischer Rauschprozesse — unabhängig und Markowsch, aber sonst sehr allgemein. Jeder optische Modus kann Verluste, zufällige Phasendrehungen, unvollkommene GKP-Zustandserzeugung, endliche Detektorauflösung oder andere nicht-gaußsche Verzerrungen erleiden, solange ihre Gesamtstärke im energiebegrenzten Sinn beschränkt ist und nicht mehr als eine begrenzte Zusatzverschiebung hinzufügt. Die Autorinnen und Autoren zeigen, dass, wenn solches Rauschen auf einem fehlertoleranten, GKP-basierten Schaltkreis wirkt, seine komplizierten kontinuierlichen Effekte in ein effektives Fehlermodell auf den logischen Qubits übersetzt werden, das lokal und markowsch ist — genau wie die Standardannahme, für die starke Threshold-Theoreme bereits existieren. Entscheidend ist, dass sie abschätzen, wie stark dieses logische Rauschen in Abhängigkeit von wenigen experimentell relevanten Parametern sein kann: der maximal zulässigen Verschiebung, der tolerierten Fehlerstärke und einer Energieobergrenze.

Ein echter Schwellenwert für lichtbasierte Quantencomputer

Indem sie die Übersetzung von physikalischem Rauschen in logisches Qubit-Rauschen mit bekannten Ergebnissen zu kaskadierten Qubit-Codes kombinieren, beweisen die Autorinnen und Autoren einen vollständigen Threshold-Satz für Quantenrechnen mit kontinuierlichen Variablen. Einfach gesagt existiert ein von null verschiedener Pegel allgemeinen optischen Rauschens, unterhalb dessen man durch Kodierung und Schichtung von Fehlerkorrekturcodes die Zuverlässigkeit der gesamten Berechnung beliebig steigern kann, mit nur polylogarithmischem Mehraufwand an Ressourcen. Die Arbeit hebt auch einen qualitativen Unterschied zwischen lichtbasierten und qubitbasierten Architekturen hervor: In Systemen mit kontinuierlichen Variablen ist sorgfältiges Energiemanagement nicht nur eine technische Randbedingung, sondern eine Kernanforderung für Fehlertoleranz. Dieses rigide Rahmenwerk bietet Experimentatorinnen und Experimentatoren nun konkrete Zielgrößen — in Bezug auf Squeezing, Verluste, Phasenstabilität und Detektorleistung — um den Aufbau skalierbarer, fehlertoleranter Quantencomputer aus verrauschtem Licht zu leiten.

Zitation: Matsuura, T., Menicucci, N.C. & Yamasaki, H. Continuous-variable fault-tolerant quantum computation under general noise. Nat Commun 17, 1709 (2026). https://doi.org/10.1038/s41467-026-69036-5

Schlüsselwörter: Quantenberechnung mit kontinuierlichen Variablen, GKP-Code, Quantenfehlerkorrektur, Fehlertoleranz, optische Quantensysteme