Quantencomputer verarbeiten Information in Zuständen, die empfindlich auf Wechselwirkungen mit ihrer Umgebung reagieren. Energieverlust, Dephasierung, unvollständige Kontrollpulse und Messfehler verändern den Zustand eines Quantensystems und können die gespeicherte Quanteninformation zerstören. Für kleine Demonstrationsexperimente lassen sich solche Fehler teilweise durch kurze Rechenzeiten und sorgfältige Kalibrierung begrenzen. Für große, fehlertolerante Quantencomputer reicht dies nicht aus. Dort muss Quanteninformation aktiv oder passiv gegen Fehler geschützt werden.

Die Quantenfehlerkorrektur verfolgt deshalb das Ziel, einen logischen Quantenzustand so in einem größeren physikalischen Zustandsraum zu codieren, dass bestimmte Fehler erkannt und korrigiert werden können, ohne die eigentliche Quanteninformation direkt zu messen. Bei konventionellen Ansätzen wird ein logisches Qubit meist über viele physikalische Zwei-Niveau-Systeme verteilt. Bosonische Codes verfolgen eine andere Strategie: Sie nutzen den großen Hilbertraum eines einzelnen quantenmechanischen Oszillators.

Ein solcher Oszillator kann beispielsweise eine elektromagnetische Mode eines supraleitenden Resonators oder einer optischen Kavität sein. Anders als ein idealisiertes Qubit besitzt er nicht nur zwei Zustände, sondern eine prinzipiell unbegrenzte Folge von Anregungszuständen. Diese zusätzliche Zustandsdimension kann für die redundante Speicherung von Quanteninformation verwendet werden.

Grundidee bosonischer Codes

Die Energieeigenzustände eines harmonischen Oszillators werden als Fockzustände bezeichnet. Sie entsprechen unterschiedlichen Anregungszahlen. Ein bosonischer Code codiert einen logischen Zustand nicht einfach in zwei einzelnen Fockzuständen, sondern typischerweise in strukturierten Superpositionen vieler Fockzustände oder kohärenter Zustände. Dadurch entsteht innerhalb einer physikalischen Mode ein geschützter logischer Unterraum.

Der wesentliche Vorteil besteht darin, dass Redundanz nicht ausschließlich durch eine große Anzahl physikalischer Qubits erzeugt werden muss. Ein hochwertiger Resonator kann einen erheblich größeren Zustandsraum bereitstellen als ein einzelnes Zwei-Niveau-System. Allerdings verschiebt sich dadurch die technische Herausforderung: Statt viele Qubits kontrollieren zu müssen, benötigt man eine sehr präzise Kontrolle eines nichtlinearen bosonischen Systems sowie geeignete Ancilla-Qubits für Manipulation und Messung.

Einordnung der Bosonic rotation codes

Bosonic rotation codes, auf Deutsch bosonische Rotationscodes oder rotationssymmetrische bosonische Codes, bilden eine allgemeine Klasse bosonischer Fehlerkorrekturcodes. Ihr kennzeichnendes Merkmal ist eine diskrete Rotationssymmetrie im Phasenraum. Die logischen Zustände werden so konstruiert, dass ihre Struktur unter bestimmten Rotationen um den Ursprung des Phasenraums erhalten bleibt oder wohldefinierte Eigenwerte annimmt.

Diese Sichtweise vereinheitlicht mehrere wichtige bosonische Codes. Insbesondere Cat Codes und Binomial Codes können als rotationssymmetrische Codes verstanden werden. Beide verwenden sehr unterschiedliche physikalische Zustände, teilen jedoch eine charakteristische modulare Struktur bezüglich der Photonenzahl.

GKP-Codes gehören dagegen nicht zur gleichen Symmetrieklasse. Sie beruhen auf Translationssymmetrien im Phasenraum und besitzen eine gitterartige Zustandsstruktur. Rotation Codes und GKP-Codes verfolgen somit verwandte Ziele, nutzen dafür aber unterschiedliche geometrische Symmetrien.

Physikalische und mathematische Grundlagen

Bosonische Moden und harmonischer Oszillator

Das grundlegende Modell einer bosonischen Mode ist der quantenmechanische harmonische Oszillator. Seine Zustände werden durch Fockzustände beschrieben. Ein Zustand mit genau einer bestimmten Anzahl von Anregungen wird als \(|n\rangle\) geschrieben. Dabei kann die nichtnegative ganze Zahl \(n\) beliebig groß werden.

Der Vernichtungsoperator reduziert die Anregungszahl um eins:

\(a|n\rangle = \sqrt{n}|n-1\rangle\)

Der Erzeugungsoperator erhöht sie entsprechend:

\(a^\dagger|n\rangle = \sqrt{n+1}|n+1\rangle\)

Beide Operatoren erfüllen die bosonische Kommutatorrelation

\([a,a^\dagger]=1\)

und definieren den Zahloperator

\(\hat n=a^\dagger a\)

mit

\(\hat n|n\rangle=n|n\rangle\)

Der Hamiltonoperator eines idealen harmonischen Oszillators mit Kreisfrequenz \(\omega\) lautet

\(H=\hbar\omega\left(\hat n+\frac{1}{2}\right)\)

Damit besitzt jede zusätzliche Anregung dieselbe Energiedifferenz. Gerade diese regelmäßige Struktur macht den harmonischen Oszillator zu einem natürlichen Träger bosonischer Quanteninformation.

Kontinuierliche und diskrete Freiheitsgrade

Ein Qubit besitzt einen zweidimensionalen Hilbertraum. Eine bosonische Mode besitzt dagegen einen unendlichdimensionalen Hilbertraum. Trotzdem kann innerhalb dieses großen Zustandsraums ein zweidimensionaler logischer Unterraum ausgewählt werden. Die beiden Basiszustände dieses Unterraums werden üblicherweise als \(|0_L\rangle\) und \(|1_L\rangle\) bezeichnet.

Die zusätzlichen Dimensionen sind dabei keine überflüssigen Freiheitsgrade. Sie stellen die Redundanz bereit, die zur Fehlererkennung benötigt wird. Ein physikalischer Fehler kann den Zustand aus dem Codesubraum in einen anderen Teil des Hilbertraums verschieben. Wird dieser Zielbereich eindeutig erkannt, lässt sich daraus ein Fehlersyndrom gewinnen, ohne feststellen zu müssen, welche logische Superposition ursprünglich gespeichert war.

Quadraturen und Phasenraum

Eine bosonische Mode kann durch zwei Quadraturvariablen beschrieben werden. In dimensionslosen Einheiten lassen sie sich schreiben als

\(\hat q=\frac{a+a^\dagger}{\sqrt{2}}\)

und

\(\hat p=\frac{a-a^\dagger}{i\sqrt{2}}\)

mit der Kommutatorrelation

\([\hat q,\hat p]=i\)

Die beiden Quadraturen bilden die Achsen eines zweidimensionalen Phasenraums. Kohärente Zustände erscheinen dort als lokalisierte Wellenpakete. Die Position eines kohärenten Zustands wird durch eine komplexe Amplitude \(\alpha\) beschrieben.

Ein kohärenter Zustand besitzt die Fockraumentwicklung

\(|\alpha\rangle=e^{-|\alpha|^2/2}\sum_{n=0}^{\infty}\frac{\alpha^n}{\sqrt{n!}}|n\rangle\)

Seine mittlere Photonenzahl beträgt

\(\langle\hat n\rangle=|\alpha|^2\)

Rotationen im Phasenraum

Eine Phasenraumrotation um einen Winkel \(\theta\) wird durch den Operator

\(R(\theta)=e^{i\theta\hat n}\)

beschrieben. Auf einen Fockzustand wirkt er gemäß

\(R(\theta)|n\rangle=e^{in\theta}|n\rangle\)

Auf einen kohärenten Zustand angewendet, entspricht die Operation einer geometrischen Rotation seiner komplexen Amplitude:

\(R(\theta)|\alpha\rangle=|\alpha e^{i\theta}\rangle\)

Diese einfache Beziehung ist für Bosonic rotation codes zentral. Wird ein Zustand aus mehreren im Phasenraum regelmäßig verteilten Komponenten aufgebaut, kann er unter diskreten Rotationen eine definierte Symmetrie besitzen.

Zahl und Phase

Photonenzahl und Phase sind eng miteinander verbundene Größen. Ein Zustand, der sehr scharf auf bestimmte Photonenzahlen eingeschränkt ist, besitzt typischerweise eine weniger scharf definierte Phase. Umgekehrt benötigt eine starke Phasenlokalisierung Beiträge aus vielen Fockzuständen.

Rotationssymmetrische Codes nutzen genau diese Beziehung. Die Struktur im Fockraum bestimmt, welche Änderungen der Photonenzahl erkannt werden können. Die Verteilung der Zustandskomponenten im Phasenraum bestimmt gleichzeitig die Empfindlichkeit gegenüber Rotations- und Dephasierungsfehlern. Aus diesem Grund entsteht bei vielen Rotation Codes ein grundlegender Zielkonflikt zwischen Schutz gegen Zahlverschiebungen und Schutz gegen Phasenrauschen.

Aufbau und Definition von Bosonic rotation codes

Diskrete Rotationssymmetrie

Ein rotationssymmetrischer bosonischer Code wird durch eine diskrete Rotationsordnung charakterisiert. Für eine positive ganze Zahl \(N\) kann ein grundlegender Symmetrieoperator beispielsweise als

\(S_N=e^{i\frac{2\pi}{N}\hat n}\)

geschrieben werden. Zustände im Codesubraum werden so konstruiert, dass sie unter dieser Rotation eine definierte Struktur besitzen.

Die entscheidende Konsequenz zeigt sich im Fockraum. Eine Rotation multipliziert jeden Fockzustand mit einer von seiner Photonenzahl abhängigen Phase. Werden nur Photonenzahlen verwendet, die in bestimmten modularen Klassen liegen, erhält der gesamte Zustand eine wohldefinierte Rotationssymmetrie.

Modulare Struktur im Fockraum

Für eine wichtige Klasse rotationssymmetrischer Qubit-Codes können die logischen Basiszustände schematisch so aufgebaut werden, dass einer nur Fockzustände mit geraden Vielfachen einer Grundordnung und der andere nur Fockzustände mit ungeraden Vielfachen dieser Ordnung enthält:

\(|0_L\rangle=\sum_{k=0}^{\infty}c_k|2kN\rangle\)

\(|1_L\rangle=\sum_{k=0}^{\infty}d_k|(2k+1)N\rangle\)

Die Koeffizienten \(c_k\) und \(d_k\) hängen von der konkreten Codefamilie ab. Bei Cat Codes ergeben sie sich aus Superpositionen kohärenter Zustände. Bei Binomial Codes werden sie gezielt aus einer endlichen Zahl von Fockzuständen konstruiert.

Wichtig ist weniger die konkrete Gewichtung als die regelmäßige Separation der unterstützten Focksektoren. Ein Photonenverlust verschiebt sämtliche beteiligten Photonenzahlen. Dadurch verlässt der Zustand seine ursprüngliche modulare Klasse. Genau diese Verschiebung kann als Fehlersyndrom dienen.

Logische Basis und logische Information

Die logischen Zustände \(|0_L\rangle\) und \(|1_L\rangle\) müssen orthogonal oder zumindest im idealen Grenzfall exakt unterscheidbar sein. Eine beliebige logische Qubit-Superposition besitzt dann die Form

\(|\psi_L\rangle=\alpha_L|0_L\rangle+\beta_L|1_L\rangle\)

mit der Normierungsbedingung

\(|\alpha_L|^2+|\beta_L|^2=1\)

Die Fehlerkorrektur darf nicht feststellen, welche Werte \(\alpha_L\) und \(\beta_L\) besitzen. Sie muss ausschließlich erkennen, in welchen Fehlerraum der Zustand verschoben wurde.

Die zur logischen Z-Basis konjugierte Basis lautet

\(|+_L\rangle=\frac{|0_L\rangle+|1_L\rangle}{\sqrt{2}}\)

und

\(|-_L\rangle=\frac{|0_L\rangle-|1_L\rangle}{\sqrt{2}}\)

Gerade in dieser Basis wird häufig deutlich, wie eng Photonenzahlstruktur und Phaseninformation miteinander verbunden sind.

Logischer Z-Operator

Wenn die beiden logischen Zustände in unterschiedlichen Klassen gerader und ungerader Vielfacher von \(N\) liegen, kann eine halbe Rotation relativ zur Symmetrieperiode als logischer Z-Operator wirken. Ein typischer Ausdruck ist

\(Z_L=e^{i\frac{\pi}{N}\hat n}\)

Für die entsprechenden Codezustände gilt dann idealerweise

\(Z_L|0_L\rangle=|0_L\rangle\)

und

\(Z_L|1_L\rangle=-|1_L\rangle\)

Diese Beziehung zeigt den engen Zusammenhang zwischen physikalischer Rotation und logischer Operation.

Number-phase codes

Eine besonders wichtige Interpretation rotationssymmetrischer Codes ist diejenige als Number-phase codes. Dabei wird die Redundanz so angeordnet, dass Verschiebungen der Photonenzahl und kleine Rotationen im Phasenraum möglichst unterscheidbar bleiben.

Die Zahlstruktur wird durch die großen Abstände zwischen den unterstützten Focksektoren erzeugt. Der Schutz gegen Rotationsfehler hängt dagegen von der Phasenlokalisierung der zugrunde liegenden Zustände ab. Die beiden Eigenschaften lassen sich nicht unabhängig voneinander optimieren. Ein praktischer Code muss daher für ein konkretes Fehlermodell ausgelegt werden.

Erweiterung auf Qudits

Das Konzept ist nicht auf zweidimensionale logische Systeme beschränkt. Statt eines Qubits können auch höherdimensionale Qudits in einer bosonischen Mode codiert werden. Dann werden mehrere modulare Focksektoren zur Darstellung unterschiedlicher logischer Basiszustände verwendet.

Höherdimensionale Encodings können für bestimmte Algorithmen oder Kommunikationsprotokolle interessant sein. Gleichzeitig steigen Anforderungen an Zustandserzeugung, Kontrolle und Syndromauswertung. Für die praktische Quantenfehlerkorrektur bleibt das logische Qubit deshalb die am intensivsten untersuchte Variante.

Zentrale Vertreter rotationssymmetrischer bosonischer Codes

Cat Codes

Cat Codes verwenden Superpositionen kohärenter Zustände. Der Name verweist auf Schrödingers Gedankenexperiment, weil makroskopisch oder mesoskopisch unterscheidbare Zustandskomponenten gleichzeitig in einer quantenmechanischen Superposition auftreten.

Die einfachste Cat-Struktur kombiniert zwei kohärente Zustände mit entgegengesetzten komplexen Amplituden. Schematisch entstehen Zustände der Form

\(|C_\alpha^\pm\rangle=\mathcal{N}_\pm\left(|\alpha\rangle\pm|-\alpha\rangle\right)\)

mit geeigneten Normierungsfaktoren \(\mathcal{N}_\pm\). Die symmetrische Kombination besitzt nur gerade Photonenzahlanteile, die antisymmetrische Kombination nur ungerade. Damit entsteht bereits eine direkte Verbindung zwischen einer geometrischen Symmetrie im Phasenraum und einer modularen Struktur im Fockraum.

Für leistungsfähigere Rotation Codes werden häufig vier oder mehr kohärente Komponenten gleichmäßig auf einem Kreis im Phasenraum angeordnet. Bei vier Komponenten liegen die Zustände beispielsweise auf unterschiedlichen Viertelkreispositionen. Aus geeigneten Superpositionen dieser Komponenten entstehen logische Zustände, deren Fockraumunterstützung wiederum bestimmten Photonenzahlklassen folgt.

Fehlermechanismus bei Cat Codes

Photonenverlust ist für elektromagnetische Resonatoren ein zentraler Fehler. Ein einzelner Verlust wird durch den Vernichtungsoperator \(a\) beschrieben. Bei Cat Codes verändert ein solcher Fehler die Photonenzahlparität oder allgemeiner den Rotationssektor. Wird dieser Sektor gemessen, lässt sich feststellen, ob ein Verlust stattgefunden hat.

Eine wichtige Eigenschaft kohärenter Zustände ist

\(a|\alpha\rangle=\alpha|\alpha\rangle\)

Dadurch wirkt Photonenverlust auf kohärente Komponenten besonders strukturiert. Die Information darüber, wie viele Verluste eingetreten sind, kann unter geeigneten Bedingungen aus der veränderten Symmetrie abgeleitet werden.

Allerdings sind Cat Codes nicht automatisch gegen alle Fehler geschützt. Größere kohärente Amplituden können verschiedene Fehlerarten unterschiedlich beeinflussen. Einerseits werden bestimmte logische Zustände besser unterscheidbar. Andererseits steigt die mittlere Photonenzahl, wodurch Verlustereignisse häufiger auftreten können. Praktische Cat-Code-Systeme müssen deshalb einen optimalen Bereich zwischen Zustandsseparation, Energie und Verlustwahrscheinlichkeit finden.

Binomial Codes

Binomial Codes verfolgen eine andere Strategie. Statt kohärenter Zustände verwenden sie gezielt ausgewählte endliche Superpositionen von Fockzuständen. Die Gewichte der einzelnen Komponenten folgen binomialartigen Strukturen. Dadurch können bestimmte Fehlermomente exakt ausgeglichen werden.

Ein stark vereinfachtes Schema besteht darin, Fockzustände mit regelmäßigem Abstand auszuwählen und ihre Amplituden so zu wählen, dass Fehler durch Photonenverlust, Photonengewinn und Dephasierung bis zu einer vorgegebenen Ordnung korrigierbar werden.

Die endliche Fockraumunterstützung hat einen konzeptionellen Vorteil: Die Codezustände lassen sich mathematisch sehr gezielt optimieren. Man kann beispielsweise verlangen, dass eine definierte Anzahl von Verlustereignissen orthogonale Fehlerräume erzeugt und gleichzeitig bestimmte Momente der Photonenzahl für beide logischen Zustände übereinstimmen.

Exakte und approximative Eigenschaften

Binomial Codes können für ausgewählte Fehlermengen exakte Quantenfehlerkorrekturbedingungen erfüllen. Cat Codes erreichen bestimmte Schutzwirkungen dagegen häufig asymptotisch oder approximativ, etwa wenn die kohärenten Komponenten ausreichend stark voneinander getrennt sind.

Diese Unterscheidung bedeutet jedoch nicht, dass Binomial Codes praktisch grundsätzlich überlegen sind. Die experimentelle Realisierung eines theoretisch exakt korrigierenden Codes kann schwieriger sein als die Stabilisierung eines Cat Codes. Entscheidend ist daher nicht nur die mathematische Codeeigenschaft, sondern die vollständige physikalische Architektur einschließlich Zustandserzeugung, Messung, Ancilla-Fehlern und Recovery.

Gemeinsame Rotationsstruktur

Trotz ihrer unterschiedlichen Erscheinungsformen besitzen Cat und Binomial Codes eine gemeinsame Struktur. Beide können so konstruiert werden, dass ihre logischen Zustände ausschließlich bestimmte modulare Klassen der Photonenzahl besetzen. Dadurch besitzen sie eine diskrete Rotationssymmetrie.

Der Rahmen der Bosonic rotation codes macht diese Gemeinsamkeit explizit. Er trennt die grundlegende Symmetriestruktur von der konkreten Wahl der Zustandskoeffizienten. Dadurch lassen sich allgemeine Aussagen über logische Operationen, Syndrommessungen und Fehlerfortpflanzung treffen, ohne sich auf eine einzige Codefamilie zu beschränken.

Abgrenzung zu GKP-Codes

GKP-Codes codieren Quanteninformation ebenfalls in einer bosonischen Mode, nutzen jedoch eine andere Geometrie. Ihre idealen Codezustände bilden periodische Gitterstrukturen in den Quadraturen des Phasenraums. Die zugrunde liegende Symmetrie ist eine diskrete Translation statt einer Rotation.

GKP-Codes sind besonders natürlich für kleine Verschiebungsfehler in den Quadraturen. Rotation Codes sind dagegen besonders eng mit Fehlern verbunden, die Photonenzahl oder Phase verändern. In realen Systemen können beide Ansätze sinnvoll sein. Die Wahl hängt davon ab, welche physikalischen Fehler dominieren und welche Operationen die jeweilige Hardware effizient unterstützt.

Fehlerprozesse und Fehlerkorrektur

Photonenverlust

Photonenverlust ist einer der wichtigsten Fehlerprozesse in bosonischen elektromagnetischen Systemen. Energie tritt aus einem Resonator aus oder wird an die Umgebung abgegeben. In einem Markov-Modell kann dieser Prozess durch eine Lindblad-Gleichung beschrieben werden:

\(\frac{d\rho}{dt}=\kappa\mathcal{D}[a]\rho\)

Dabei ist

\(\mathcal{D}[a]\rho=a\rho a^\dagger-\frac{1}{2}\left(a^\dagger a\rho+\rho a^\dagger a\right)\)

und \(\kappa\) bezeichnet die VerlustRate.

Ein einzelnes Verlustereignis wird durch \(a\) repräsentiert. Mehrere aufeinanderfolgende Verluste führen zu Operationen der Form \(a^k\). Da jeder Verlust die Photonenzahl um eins reduziert, verschiebt sich die modulare Fockraumklasse des Zustands.

Syndrom aus Rotationssymmetrie

Gerade diese Verschiebung ist für Rotation Codes nützlich. Besitzt der ursprüngliche Codesubraum einen festen Eigenwert bezüglich einer diskreten Rotation, erhält ein durch Photonverlust veränderter Zustand einen anderen Eigenwert.

Für eine Rotation mit dem Operator

\(S_N=e^{i\frac{2\pi}{N}\hat n}\)

ändert ein Fehler \(a^k\) den Rotationssektor in einer Weise, die von \(k\) abhängt. Solange unterschiedliche relevante Fehler unterschiedliche Syndrome erzeugen, kann die Anzahl der Verluste modulo der Rotationsordnung erkannt werden.

Die Messung darf dabei nicht zwischen \(|0_L\rangle\) und \(|1_L\rangle\) unterscheiden. Sie soll nur feststellen, in welchem Fehlerraum der Zustand liegt. Genau dies ist das zentrale Prinzip einer Quantensyndrommessung.

Photonengewinn

In einigen Systemen kann auch ein zusätzliches Photon aufgenommen werden. Ein solcher Fehler wird durch den Erzeugungsoperator \(a^\dagger\) beschrieben. Er verschiebt die Fockraumstruktur in die entgegengesetzte Richtung wie ein Verlust.

Rotationssymmetrische Codes können grundsätzlich so konstruiert werden, dass sowohl begrenzte Verlust- als auch Gewinnereignisse erkannt werden. In vielen kryogenen Resonatorsystemen ist Verlust jedoch wesentlich wahrscheinlicher als thermischer Gewinn. Daher werden praktische Codes häufig speziell für asymmetrische Rauschmodelle optimiert.

Dephasierung

Dephasierung verändert die relative Phase verschiedener Fockkomponenten, ohne notwendigerweise Energie aus dem System zu entfernen. Ein einfaches Modell verwendet den Zahloperator als Lindblad-Operator:

\(\frac{d\rho}{dt}=\kappa_\phi\mathcal{D}[\hat n]\rho\)

Da unterschiedliche Fockzustände unterschiedliche Eigenwerte von \(\hat n\) besitzen, sammeln sie unter dephasierenden Prozessen unterschiedliche zufällige Phasen an. Eine Superposition kann dadurch ihre Kohärenz verlieren.

Dies ist für Rotation Codes besonders relevant, weil ihre logischen Zustände häufig über viele verschiedene Fockzustände verteilt sind. Ein Code, der große Abstände im Photonenzahlraum verwendet, kann deshalb gegenüber bestimmten Phasenfehlern empfindlicher werden.

Kleine Rotationsfehler

Ein Phasenfehler kann auch als unbeabsichtigte Rotation im Phasenraum beschrieben werden:

\(U_\phi=e^{i\phi\hat n}\)

Für kleine \(\phi\) ähnelt diese Operation einer geringfügigen Verdrehung der codierten Zustandsstruktur. Wie gut ein Rotation Code solche Fehler toleriert, hängt unter anderem davon ab, wie stark seine Phasenkomponenten lokalisiert und voneinander getrennt sind.

Knill-Laflamme-Bedingungen

Die allgemeine mathematische Voraussetzung für exakte Quantenfehlerkorrektur wird durch die Knill-Laflamme-Bedingungen beschrieben. Sei \(P\) der Projektor auf den Codesubraum und seien \(E_a\) und \(E_b\) korrigierbare Fehleroperatoren. Dann muss gelten:

\(PE_a^\dagger E_bP=c_{ab}P\)

Die Konstanten \(c_{ab}\) dürfen von den Fehleroperatoren abhängen, aber nicht vom gespeicherten logischen Zustand.

Anschaulich bedeutet dies zweierlei. Erstens müssen unterschiedliche korrigierbare Fehler ausreichend unterscheidbare Fehlerräume erzeugen. Zweitens darf die Umgebung durch einen solchen Fehler keine Information darüber erhalten, ob sich das logische System ursprünglich in \(|0_L\rangle\), \(|1_L\rangle\) oder einer Superposition befand.

Approximative Fehlerkorrektur

Reale bosonische Codes erfüllen die idealen Bedingungen nicht immer exakt. Das ist kein grundsätzliches Ausschlusskriterium. Entscheidend ist, wie stark die Abweichung die logische Fehlerrate beeinflusst.

Cat Codes sind ein typisches Beispiel. Kohärente Komponenten mit endlicher Amplitude sind nicht vollständig orthogonal. Ihre Überlappung nimmt jedoch mit wachsender Separation stark ab. Dadurch nähert sich der Code einem idealeren Grenzfall an.

In praktischen Architekturen ist daher eine quantitative Betrachtung wichtiger als die bloße Einteilung in exakt oder approximativ. Ein theoretisch approximativer Code kann in realer Hardware eine niedrigere logische Fehlerrate erreichen als ein formal exakter Code, wenn er einfacher zu stabilisieren und zu messen ist.

Recovery

Nach einer Syndrommessung muss der fehlerhafte Zustand wieder in einen gültigen logischen Zustand überführt werden. Diese Operation wird als Recovery bezeichnet. Sie kann aus aktiven physikalischen Pulsen, teleportationsbasierten Protokollen, dissipativen Prozessen oder einer Kombination dieser Methoden bestehen.

Eine Recovery muss mehr leisten als eine Rückkehr zum ursprünglichen Codesubraum. Sie darf auch keine zusätzliche unbekannte logische Operation verursachen. Ist eine bekannte logische Pauli-Korrektur erforderlich, kann diese häufig in einem sogenannten Pauli Frame klassisch gespeichert werden, statt sie unmittelbar physikalisch auszuführen.

Logische Operationen und Quantenberechnung

Logische Gatter

Ein Fehlerkorrekturcode ist für einen Quantencomputer nur dann vollständig nutzbar, wenn logische Operationen auf den codierten Zuständen ausgeführt werden können. Eine physikalische Operation muss dabei innerhalb des Codesubraums eine gewünschte logische Transformation erzeugen oder kontrolliert zwischen bekannten Fehler- und Codesektoren vermitteln.

Rotationssymmetrische Codes besitzen den Vorteil, dass bestimmte logische Phasenoperationen unmittelbar mit physikalischen Rotationen verbunden sind. Wie bereits gezeigt, kann eine Rotation der Form

\(e^{i\frac{\pi}{N}\hat n}\)

unter geeigneter Codekonstruktion als logische Z-Operation dienen.

Andere logische Gatter sind schwieriger. Insbesondere eine Operation, die die beiden logischen Rotationssektoren miteinander vertauscht, muss die Fockraumstruktur gezielt verändern. Sie kann nicht immer durch eine einfache lineare Oszillatorrotation realisiert werden.

Clifford- und Nicht-Clifford-Operationen

Für universelle Quantenberechnung reicht eine einzelne Klasse leicht implementierbarer Gatter nicht aus. Typischerweise wird eine Menge benötigt, die Clifford-Operationen und mindestens eine geeignete Nicht-Clifford-Operation umfasst.

Clifford-Gatter sind für viele Fehlerkorrekturcodes strukturell günstig, weil sie Pauli-Fehler auf Pauli-Fehler abbilden. Universelle Quantenberechnung verlangt jedoch zusätzliche Operationen. Bei bosonischen Codes können hierfür nichtlineare Wechselwirkungen, speziell präparierte Ancilla-Zustände, Gate-Teleportation oder Magic-State-Verfahren verwendet werden.

Zwei-Moden-Operationen

Ein skalierbarer Quantencomputer benötigt verschränkende Operationen zwischen unterschiedlichen logischen Qubits. Bei bosonischen Codes bedeutet dies häufig eine kontrollierte Wechselwirkung zwischen zwei Resonatormoden oder eine ancillavermittelte Kopplung.

Eine mögliche Wechselwirkung zwischen zwei Moden mit Zahloperatoren \(\hat n_1\) und \(\hat n_2\) kann eine Struktur der Form

\(U=e^{i\chi t\hat n_1\hat n_2}\)

besitzen. Solche nichtlinearen Wechselwirkungen können konditionierte Phasen erzeugen. Entscheidend ist, dass die gewünschte logische Operation schneller und zuverlässiger erfolgt als die dominierenden Dekohärenzprozesse.

Teleportationsbasierte Fehlerkorrektur

Rotation-symmetric bosonic codes lassen sich mit teleportationsbasierten Protokollen verbinden. Dabei wird die logische Quanteninformation durch verschränkte Hilfszustände und Messungen von einer Mode auf eine andere übertragen. Gleichzeitig kann das Fehlersyndrom extrahiert werden.

Der Vorteil besteht darin, dass Fehlerkorrektur und logische Verarbeitung miteinander kombiniert werden können. Bestimmte notwendige Korrekturen müssen nicht physikalisch ausgeführt werden, sondern können durch eine Anpassung der Interpretation späterer Messungen berücksichtigt werden.

Teleportation ist deshalb nicht nur ein Kommunikationskonzept. In fehlertoleranten Architekturen ist sie ein Werkzeug zur kontrollierten logischen Zustandsübertragung, Fehlerdiagnose und Gatterimplementierung.

Fault Tolerance

Quantenfehlerkorrektur allein garantiert noch keine fehlertolerante Quantenberechnung. Ein Fehler während eines Korrekturzyklus oder logischen Gatters darf sich nicht unkontrolliert so ausbreiten, dass mehrere ursprünglich korrigierbare Fehler zu einem nicht mehr korrigierbaren logischen Fehler werden.

Besonders kritisch sind Ancilla-Fehler. Wird ein bosonischer Resonator über ein supraleitendes Ancilla-Qubit kontrolliert, kann ein Fehler des Ancillas während eines langen Kontrollpulses in die bosonische Mode übertragen werden. Deshalb sind fehlertolerante Pulsschemata, wiederholte Messungen, robuste Ancilla-Designs und sogenannte error-transparent oder path-independent operations wichtige Forschungsgebiete.

Physikalische Implementierung

Anforderungen an die Hardware

Ein praktikabler Bosonic rotation code benötigt zunächst eine bosonische Mode mit hoher Kohärenz. Der Resonator soll Quanteninformation deutlich länger speichern können als das Kontrollsystem, mit dem er manipuliert wird. Gleichzeitig muss eine ausreichende nichtlineare Kontrolle verfügbar sein, um gezielte Superpositionen verschiedener Fockzustände zu erzeugen und auszulesen.

Ein idealer harmonischer Oszillator allein ist dafür nicht ausreichend. Seine gleichmäßig beabstandeten Energieniveaus erlauben keine einfache selektive Adressierung einzelner Übergänge. Deshalb wird die bosonische Mode meist mit einem nichtlinearen Zwei- oder Mehrniveau-System gekoppelt.

Circuit Quantum Electrodynamics

Eine besonders wichtige experimentelle Plattform ist die Circuit Quantum Electrodynamics, kurz Circuit QED. Dabei werden supraleitende Qubits mit Mikrowellenresonatoren gekoppelt. Der Resonator kann als langlebiger Quantenspeicher dienen, während das supraleitende Qubit Zustandserzeugung, Kontrolle und Auslesung ermöglicht.

Im dispersiven Regime kann die Resonanzfrequenz des Ancillas von der Photonenzahl des Resonators abhängen. Umgekehrt kann der Zustand des Ancillas die Phasenentwicklung des Resonators beeinflussen. Diese Abhängigkeit macht photonenzahlselektive Operationen und Paritätsmessungen möglich.

Ein vereinfachter dispersiver Kopplungsterm besitzt die Form

\(H_{\mathrm{disp}}=\hbar\chi\hat n|e\rangle\langle e|\)

Dabei bezeichnet \(\chi\) die dispersive Kopplungsstärke und \(|e\rangle\) einen angeregten Ancilla-Zustand.

Zustandserzeugung

Die Erzeugung eines codierten bosonischen Zustands ist technisch anspruchsvoll. Für Cat Codes müssen kohärente Komponenten mit kontrollierten relativen Phasen aufgebaut werden. Für Binomial Codes müssen gezielte Fockzustandssuperpositionen mit genau eingestellten Amplituden erzeugt werden.

Mögliche Methoden sind optimal kontrollierte Mikrowellenpulse, SNAP-Gates, bedingte Verschiebungen und dissipative Stabilisierung. SNAP steht für selective number-dependent arbitrary phase und beschreibt Operationen, mit denen einzelnen Fockzuständen gezielt unterschiedliche Phasen zugeordnet werden können.

In Verbindung mit Verschiebungsoperationen lässt sich damit eine große Klasse bosonischer Zustände synthetisieren. Die praktische Grenze wird durch Kalibrierungsfehler, endliche Kohärenzzeiten und Fehler des Ancilla-Qubits bestimmt.

Paritäts- und Rotationsmessungen

Bei vielen bosonischen Codes ist die Photonenzahlparität ein direkt messbares Fehlersyndrom. Die Parität wird durch

\(\Pi=e^{i\pi\hat n}\)

beschrieben. Für gerade Photonenzahlen ist der Eigenwert positiv, für ungerade negativ.

Allgemeinere Rotation Codes benötigen entsprechend feinere modulare Messungen. Dabei soll festgestellt werden, zu welcher Photonenzahlklasse ein Zustand gehört, ohne die logische Superposition innerhalb dieser Klasse zu zerstören.

Ancilla-basierte Ramsey-Sequenzen können solche Informationen in den Zustand eines supraleitenden Qubits übertragen. Dieses wird anschließend gemessen. Die bosonische Mode bleibt dabei im Idealfall erhalten.

Aktive Fehlerkorrektur

Bei aktiver Fehlerkorrektur werden Syndrome wiederholt gemessen und anschließend gezielte Korrekturen durchgeführt. Die Zykluszeit muss kurz genug sein, damit die Wahrscheinlichkeit mehrerer unerkannter Fehler zwischen zwei Messungen klein bleibt.

Zu häufige Messungen sind allerdings ebenfalls problematisch. Jede Ancilla-Interaktion kann zusätzliche Fehler verursachen. Es existiert daher ein optimaler Bereich, in dem die Vorteile häufigerer Fehlerdiagnose größer sind als die durch Messung und Kontrolle verursachten Zusatzfehler.

Autonome Stabilisierung

Eine Alternative ist die autonome oder dissipative Fehlerkorrektur. Dabei wird die Systemdynamik selbst so konstruiert, dass unerwünschte Zustände bevorzugt zurück in einen gewünschten Codesubraum relaxieren.

Cat-Zustände können beispielsweise durch geeignete nichtlineare Zwei-Photonen-Prozesse stabilisiert werden. Statt jeden Fehler explizit zu messen und durch einen digitalen Korrekturzyklus zu behandeln, übernimmt ein speziell konstruiertes Reservoir einen Teil der Stabilisierung.

Autonome Verfahren können den Steuerungsaufwand reduzieren. Sie ersetzen jedoch nicht automatisch sämtliche Formen der Fehlerkorrektur. Insbesondere logische Fehler innerhalb des stabilisierten Codesubraums bleiben weiterhin relevant.

Weitere Plattformen

Das Konzept rotationssymmetrischer bosonischer Codes ist nicht auf supraleitende Mikrowellenresonatoren beschränkt. Prinzipiell können auch optische Moden, mechanische Oszillatoren, akustische Resonatoren und andere quantisierte bosonische Systeme verwendet werden.

Die konkrete Eignung hängt davon ab, welche Fehler dominieren, wie lange Zustände gespeichert werden können und ob nichtlineare Kontrolle verfügbar ist. Besonders wichtig ist die Fähigkeit, Symmetriesyndrome möglichst zerstörungsfrei auszulesen.

Leistungsfähigkeit und technische Grenzen

Hardwareeffizienz

Der offensichtlichste Vorteil eines bosonischen Codes liegt in der Nutzung eines großen Hilbertraums innerhalb eines einzelnen physikalischen Systems. Ein Resonator kann die Redundanz tragen, für die ein herkömmlicher Qubit-Code mehrere Zwei-Niveau-Systeme benötigt.

Dies bedeutet jedoch nicht, dass ein bosonisches logisches Qubit nur aus einem einzigen Bauteil besteht. Für Kontrolle, Messung und Kopplung werden weiterhin Ancillas, Steuerelektronik, Verstärker und zusätzliche Resonatoren benötigt. Der relevante Vorteil besteht eher darin, dass hochwertige Speicherresonatoren bestimmte Fehlerarten deutlich seltener erfahren können als aktiv angesteuerte supraleitende Qubits.

Energie als Ressource

Die mittlere Photonenzahl ist eine zentrale Ressource bosonischer Codes. Größere Cat-Zustände oder breiter verteilte Fockzustandssuperpositionen können eine stärkere Separation logischer Komponenten ermöglichen. Gleichzeitig erhöht eine größere mittlere Photonenzahl typischerweise die absolute Rate von Verlustereignissen.

Für einen Resonator mit Einzelphotonen-VerlustRate \(\kappa\) wächst die erwartete Verlustwahrscheinlichkeit in einem kurzen Zeitintervall näherungsweise mit der mittleren Photonenzahl:

\(P_{\mathrm{loss}}\approx\kappa\langle\hat n\rangle t\)

Ein größerer Code ist deshalb nicht automatisch ein besserer Code. Die zusätzliche Redundanz muss den erhöhten physikalischen Fehleraufwand tatsächlich überkompensieren.

Zahl-Phase-Trade-off

Rotation Codes besitzen einen strukturellen Zielkonflikt. Ein größerer Abstand zwischen relevanten Photonenzahlklassen verbessert die Unterscheidbarkeit bestimmter Verlust- oder Gewinnfehler. Gleichzeitig beeinflusst die dafür notwendige Zustandsstruktur die Phasenempfindlichkeit.

Ein Code, der hervorragend an Amplitudendämpfung angepasst ist, kann gegenüber starker Dephasierung ungünstig sein. Umgekehrt kann eine Optimierung für Rotationsrauschen die Fähigkeit reduzieren, viele diskrete Photonenzahländerungen eindeutig zu unterscheiden.

Der optimale Rotation Code ist deshalb immer an das physikalische Rauschspektrum gebunden.

Ancilla als Fehlerquelle

In idealisierten Modellen wird häufig angenommen, dass Syndrommessungen perfekt sind. In Experimenten kann jedoch gerade das Ancilla-System zu den dominierenden Fehlerquellen gehören. Ein supraleitendes Qubit besitzt häufig eine deutlich kürzere Kohärenzzeit als der gekoppelte Speicherresonator.

Relaxiert das Ancilla während einer konditionierten Operation, kann dies eine unkontrollierte Phasenrotation des Resonators verursachen. Solche Fehler sind besonders gefährlich, weil sie während der Fehlerkorrektur selbst entstehen.

Ein guter bosonischer Code muss deshalb nicht nur die natürlichen Speicherfehler korrigieren. Die gesamte Kontrollarchitektur muss so gestaltet sein, dass Ancilla- und Messfehler nicht häufiger logische Schäden verursachen als die Fehler, die eigentlich korrigiert werden sollen.

Break-even-Punkt

Ein wichtiger experimenteller Maßstab ist der Break-even-Punkt. Ein fehlerkorrigierter logischer Speicher sollte länger zuverlässig funktionieren als seine besten ungeschützten physikalischen Komponenten.

Wird lediglich ein kompliziertes Encoding erzeugt, dessen logische Kohärenz schneller zerfällt als die eines einfachen Resonatorzustands, hat die Fehlerkorrektur keinen praktischen Vorteil. Erst wenn Syndrommessung und Recovery die Lebensdauer der gespeicherten Information tatsächlich verlängern, ist ein zentraler Meilenstein erreicht.

Der Break-even-Punkt für einen Quantenspeicher ist allerdings noch nicht gleichbedeutend mit einem fehlertoleranten Quantencomputer. Für universelle Berechnung müssen auch logische Gatter, Messungen, Zustandsinitialisierung und Kopplungen unterhalb relevanter Fehlerschwellen funktionieren.

Kein universell bester bosonischer Code

Cat Codes, Binomial Codes und GKP-Codes besitzen unterschiedliche Stärken. Die Frage nach dem besten Code kann daher nicht unabhängig von der Hardware beantwortet werden.

In einem System mit dominantem Photonenverlust kann ein rotationssymmetrischer Code besonders attraktiv sein. Bei überwiegend kleinen Quadraturverschiebungen können GKP-artige Encodings günstiger sein. Eine Plattform mit starker dissipativer Zwei-Photonen-Stabilisierung kann wiederum speziell Cat-Zustände besonders effizient erzeugen und erhalten.

Für die Bewertung ist deshalb die vollständige logische Fehlerrate entscheidend, nicht die Eleganz des idealisierten Codes.

Weiterentwicklungen und aktueller Forschungsstand

Optimierte Decoder

Mit zunehmender Komplexität bosonischer Codes wird auch die Auswertung der Fehlersyndrome anspruchsvoller. Ein einfacher Decoder kann lediglich das zuletzt gemessene Syndrom betrachten. Ein leistungsfähiger Decoder berücksichtigt dagegen die gesamte zeitliche Folge von Messergebnissen, bekannte Messfehler und das statistische Rauschmodell.

Dies ist insbesondere dann wichtig, wenn ein einzelnes gemessenes Syndrom nicht eindeutig zwischen einem physikalischen Fehler und einem fehlerhaften Messergebnis unterscheidet.

Bayessche Methoden, Hidden-Markov-Modelle und maschinelle Lernverfahren können eingesetzt werden, um aus einer Folge verrauschter Messungen die wahrscheinlichste Fehlerhistorie zu bestimmen. Entscheidend ist dabei, dass der Decoder schneller als die relevante Kontrollschleife arbeitet oder seine Entscheidung zumindest rechtzeitig in die logische Verarbeitung integriert werden kann.

Multimode Rotation Codes

Die einfachste Form eines bosonischen Codes verwendet eine einzige Mode. Es ist jedoch möglich, Quanteninformation über mehrere bosonische Moden zu verteilen. Dadurch entstehen zusätzliche Freiheitsgrade für Fehlererkennung und logische Operationen.

Mehrmodige Encodings können beispielsweise Verlustereignisse in verschiedenen Resonatoren unterscheiden oder Symmetrien mehrerer Moden kombinieren. Gleichzeitig steigt jedoch die Zahl der notwendigen Kopplungen und Messungen.

Multimode-Verfahren sind deshalb besonders dann interessant, wenn mehrere langlebige Resonatoren ohnehin Teil der Hardwarearchitektur sind.

Bias Engineering

Ein zunehmend wichtiges Prinzip besteht darin, Fehler nicht nur zu korrigieren, sondern ihre Statistik gezielt zu verändern. Bestimmte Cat-Qubit-Architekturen können so betrieben werden, dass ein Fehlertyp stark unterdrückt wird, während ein anderer häufiger bleibt. Es entsteht ein stark asymmetrisches beziehungsweise gebiastetes Rauschmodell.

Ein äußerer Fehlerkorrekturcode kann anschließend speziell für diesen dominierenden Restfehlertyp optimiert werden. Dadurch lässt sich der Gesamtaufwand potenziell deutlich reduzieren.

Diese Idee zeigt, dass bosonische Codes nicht isoliert betrachtet werden sollten. Ihr größter Nutzen kann darin liegen, die physikalische Fehlerlandschaft so zu verändern, dass eine nachfolgende diskrete Fehlerkorrektur wesentlich effizienter arbeitet.

Nicht-Markovsche Fehler

Viele theoretische Modelle nehmen Markov-Rauschen an. Dabei besitzt die Umgebung effektiv kein Gedächtnis, und Fehlerereignisse sind auf kurzen Zeitskalen unabhängig. Reale Quantensysteme können jedoch zeitlich korrelierte Störungen aufweisen.

Frequenzschwankungen, quasistatisches Rauschen oder gekoppelte parasitäre Moden können über längere Zeiten korrelierte Phasenfehler erzeugen. Solche Prozesse verändern die optimale Wahl von Codeparametern und Messintervallen.

Die Analyse rotationssymmetrischer Codes unter realistischen spektralen Rauschmodellen ist deshalb entscheidend, wenn theoretische Vorteile zuverlässig auf größere Hardware übertragen werden sollen.

Symmetry Expansion und Error Mitigation

Rotationssymmetrien können nicht nur für vollständige Quantenfehlerkorrektur genutzt werden. Sie können auch bei Verfahren der Quantum Error Mitigation helfen. Wird bekannt, dass ein idealer Zustand in einem bestimmten Symmetriesektor liegen muss, können Messergebnisse aus anderen Sektoren erkannt, verworfen oder statistisch korrigiert werden.

Eine solche Methode ersetzt keine echte Fehlerkorrektur, weil sie verlorene Quanteninformation nicht beliebig rekonstruieren kann. Für kleinere Experimente kann die Symmetrie jedoch zusätzliche Information über die Zuverlässigkeit gemessener Daten liefern.

Flexiblere Symmetriestrukturen

Ein weiterer Forschungsansatz besteht darin, die strenge Rotationssymmetrie gezielt zu lockern. Eine perfekte Symmetrie kann ausgezeichnete Fehlersyndrome erzeugen, gleichzeitig aber bestimmte logische Operationen erschweren.

Verallgemeinerte bosonische zyklische Strukturen untersuchen deshalb, ob ein Teil des Fehlerschutzes gegen leichter realisierbare logische Gatter eingetauscht werden kann. Diese Richtung verdeutlicht einen allgemeinen Trend der Quantenfehlerkorrektur: Der praktisch beste Code ist nicht unbedingt der mathematisch stärkste, sondern derjenige mit dem günstigsten Gesamtsystem aus Schutz, Kontrolle und Hardwareaufwand.

Bedeutung für fehlertolerante Quantentechnologien

Bosonischer Code als erste Schutzebene

Eine vielversprechende Architektur betrachtet den bosonischen Code als innere Fehlerkorrekturebene. Der Resonator verwandelt ein sehr verrauschtes physikalisches System in ein bereits deutlich robusteres logisches Qubit.

Dieses bosonisch geschützte Qubit kann anschließend Bestandteil eines äußeren diskreten Fehlerkorrekturcodes werden. Ein solcher äußerer Code könnte beispielsweise verbleibende logische Fehler zwischen mehreren bosonischen Qubits korrigieren.

Das Ziel besteht nicht darin, klassische Qubit-Codes vollständig zu ersetzen. Vielmehr soll die bosonische Ebene die effektive Fehlerrate so weit reduzieren oder asymmetrisch gestalten, dass der äußere Code mit weniger Ressourcen auskommt.

Verkettete Architekturen

Bei einer Verkettung übernimmt jede Codeebene eine andere Aufgabe. Der innere bosonische Code kann häufige physikalische Fehler wie einzelne Photonenverluste behandeln. Der äußere Code korrigiert seltenere logische Restfehler sowie Fehler, die von der bosonischen Ebene nicht erkannt wurden.

Eine solche Architektur ist besonders attraktiv, wenn ein Resonator eine wesentlich längere natürliche Lebensdauer besitzt als das zu seiner Steuerung verwendete Qubit. Der Speicher profitiert dann von seiner hohen intrinsischen Qualität, während der Code gezielt die verbleibenden dominanten Prozesse adressiert.

Bedeutung für Quantenspeicher

Der unmittelbarste Einsatzbereich bosonischer Fehlerkorrektur ist der Quantenspeicher. Ein logisches Qubit muss über einen längeren Zeitraum erhalten werden, ohne dass währenddessen komplexe Algorithmen ausgeführt werden.

Gerade hier haben bosonische Systeme bereits wichtige experimentelle Vorteile gezeigt. Die Herausforderung ist überschaubarer als bei universeller Berechnung, weil weniger unterschiedliche Gattertypen benötigt werden.

Ein langlebiger logischer Speicher ist dennoch technologisch bedeutend. Quantencomputer benötigen Speicher für Zwischenzustände, modulare Architekturen benötigen Kommunikationspuffer und zukünftige Quantennetzwerke benötigen Quantenspeicher für Verschränkungsverteilung und Repeater.

Bedeutung für Quantenkommunikation

Optische Quantenkommunikation ist grundsätzlich bosonisch. Photonenverlust ist dort einer der dominierenden Fehlermechanismen. Bosonische Codes sind deshalb auch für Kommunikationskanäle von theoretischem Interesse.

Allerdings unterscheiden sich fliegende optische Moden erheblich von stationären supraleitenden Resonatoren. In einem Resonator kann ein Syndrom mehrfach gemessen werden. Ein einzelnes optisches Signal durchläuft einen Kanal dagegen häufig nur einmal.

Geeignete bosonische Encodings könnten dennoch dazu beitragen, Verlustinformation zu erkennen oder Quantenzustände robuster zwischen Netzwerkknoten zu übertragen. Besonders relevant wird dies in Kombination mit Quantenspeichern und Repeater-Protokollen.

Bedeutung für skalierbare Quantencomputer

Die zentrale Herausforderung heutiger Quantencomputer ist nicht die Demonstration einzelner kontrollierter Quantenzustände, sondern die Skalierung zu sehr vielen zuverlässigen logischen Operationen. Dafür müssen physikalische Fehlerraten niedrig genug und die Kosten der Fehlerkorrektur beherrschbar sein.

Bosonic rotation codes können zu dieser Skalierung beitragen, weil sie Redundanz innerhalb eines einzelnen Oszillators nutzen. Besonders interessant ist dies in Architekturen, in denen ein hochwertiger Resonator deutlich bessere Kohärenzeigenschaften als die aktiven Kontrollelemente besitzt.

Ob daraus tatsächlich ein geringerer Gesamtaufwand entsteht, hängt jedoch von der vollständigen Systemintegration ab. Zustandserzeugung, Ancilla-Fehler, logische Gatter, Messungen, Kühlung, Verkabelung und Decoder müssen gemeinsam betrachtet werden.

Fazit

Bosonic rotation codes sind eine klar definierte Klasse bosonischer Quantenfehlerkorrekturcodes, deren zentrale Eigenschaft eine diskrete Rotationssymmetrie im Phasenraum ist. Diese Symmetrie erzeugt eine modulare Struktur im Fockraum. Dadurch können Änderungen der Photonenzahl, insbesondere Photonenverluste, den codierten Zustand in unterscheidbare Fehlersyndrome verschieben.

Der große Hilbertraum eines harmonischen Oszillators wird dabei nicht als Problem, sondern als Ressource genutzt. Statt ein logisches Qubit ausschließlich über viele physikalische Zwei-Niveau-Systeme zu verteilen, wird Redundanz innerhalb einer bosonischen Mode erzeugt.

Cat Codes und Binomial Codes sind zwei besonders wichtige Realisierungen dieses Prinzips. Cat Codes arbeiten mit symmetrischen Superpositionen kohärenter Zustände und eignen sich unter anderem für Hardware mit kontrollierbaren nichtlinearen und dissipativen Prozessen. Binomial Codes verwenden gezielt konstruierte endliche Fockzustandssuperpositionen und können für bestimmte Fehlermengen exakte Korrekturbedingungen erfüllen.

Die Leistung eines Rotation Codes wird wesentlich durch das Rauschmodell bestimmt. Photonenverlust, Photonengewinn, Dephasierung und Rotationsfehler wirken unterschiedlich auf die Codezustände. Es existiert deshalb kein universell optimaler bosonischer Code. Eine hohe Rotationsordnung oder große Photonenzahl verbessert nicht automatisch die logische Leistung.

In realen Systemen entstehen zusätzliche Einschränkungen durch Ancilla-Qubits, Messfehler und Kontrolloperationen. Ein theoretisch leistungsfähiger Code kann praktisch scheitern, wenn seine Syndrommessung häufiger zusätzliche Fehler erzeugt als sie korrigiert. Deshalb ist die gesamte Fehlerkorrekturarchitektur entscheidend.

Besonders aussichtsreich ist die Kombination bosonischer und konventioneller Fehlerkorrektur. Ein Rotation Code kann als erste Schutzebene häufige physikalische Fehler unterdrücken. Ein äußerer Qubit-Code kann anschließend die verbleibenden logischen Fehler korrigieren. Dadurch könnte sich der Hardwareaufwand zukünftiger fehlertoleranter Quantencomputer reduzieren.

Bosonic rotation codes sind deshalb weder lediglich eine mathematische Verallgemeinerung bestehender Codes noch eine isolierte Speziallösung. Sie bilden einen systematischen Rahmen für die Nutzung von Rotationssymmetrien, modularer Photonenzahlstruktur und bosonischer Hardware zur Quantenfehlerkorrektur. Ihr langfristiger technologischer Wert wird davon abhängen, ob sich dieser theoretisch effiziente Schutz zuverlässig mit fehlertoleranten logischen Operationen, skalierbaren Steuerungssystemen und realistischen Hardwareplattformen verbinden lässt.

Mit freundlichen Grüßen Jörg-Owe Schneppat

Anhang

Wissenschaftliche Zeitschriften und Artikel

Die wissenschaftliche Literatur zu Bosonic rotation codes verbindet allgemeine Quantenfehlerkorrektur mit der Physik bosonischer Moden, diskreten Rotationssymmetrien, Cat Codes, Binomial Codes und experimenteller Kontrolle von Oszillatorzuständen. Für eine wissenschaftliche Abhandlung sollte zwischen grundlegender Primärliteratur, spezialisierten theoretischen Arbeiten, experimentellen Demonstrationen und Hintergrundliteratur zur Einordnung gegenüber anderen bosonischen Codes unterschieden werden.

Grundlegende Primärliteratur zu Bosonic rotation codes

  • Arne L. Grimsmo, Joshua Combes, Ben Q. Baragiola: Quantum Computing with Rotation-Symmetric Bosonic Codes, Physical Review X 10, 011058, 2020.
    • Die zentrale Primärarbeit für Bosonic rotation codes. Sie führt den allgemeinen Rahmen rotationssymmetrischer bosonischer Codes systematisch ein und zeigt, dass unter anderem Cat Codes und Binomial Codes als Vertreter einer gemeinsamen, durch diskrete Phasenraumrotationen charakterisierten Codeklasse behandelt werden können. Besonders relevant sind die Abschnitte zu Number-phase codes, logischen Gattern, teleportationsbasierter Fehlerkorrektur und zur Verkettung mit diskreten Fehlerkorrekturcodes. Diese Arbeit sollte als Hauptquelle für Definition, mathematische Struktur und konzeptionelle Einordnung des Themas verwendet werden.
  • Marios H. Michael, Matti Silveri, R. T. Brierley, Victor V. Albert, Juha Salmilehto, Liang Jiang, S. M. Girvin: New Class of Quantum Error-Correcting Codes for a Bosonic Mode, Physical Review X 6, 031006, 2016.
    • Grundlegende Primärarbeit zu Binomial Codes. Die Autoren konstruieren bosonische Codezustände als endliche Superpositionen von Fockzuständen mit binomial bestimmten Gewichten und untersuchen deren Schutz gegen Bosonenverlust, Bosonengewinn und Dephasierung. Die Arbeit ist für Bosonic rotation codes besonders wichtig, weil Binomial Codes ein zentraler Vertreter rotationssymmetrischer Number-phase codes sind. Sie eignet sich für die Darstellung von Fockraumstruktur, generalisierter Zahlparität und exakten beziehungsweise approximativen Fehlerkorrekturbedingungen.
  • P. T. Cochrane, G. J. Milburn, W. J. Munro: Macroscopically Distinct Quantum-Superposition States as a Bosonic Code for Amplitude Damping, Physical Review A 59, 2631–2634, 1999.
    • Eine frühe und grundlegende Arbeit zur Nutzung von Schrödinger-Cat-Zuständen als bosonische Fehlerkorrekturcodes. Sie zeigt, wie Superpositionen kohärenter Zustände zur Codierung eines logischen Qubits und zum Schutz gegen Amplitudendämpfung eingesetzt werden können. Für die Abhandlung ist diese Quelle vor allem zur historischen und physikalischen Herleitung von Cat Codes relevant, die später in den allgemeinen Rahmen rotationssymmetrischer bosonischer Codes eingeordnet wurden.

Spezialisierte Arbeiten zu Struktur, Leistung und Fehlerkorrektur

  • Victor V. Albert, Kyungjoo Noh, Kasper Duivenvoorden, Dylan J. Young, R. T. Brierley, Philip Reinhold, Christophe Vuillot, Linshu Li, Chao Shen, S. M. Girvin, Barbara M. Terhal, Liang Jiang: Performance and Structure of Single-Mode Bosonic Codes, Physical Review A 97, 032346, 2018.
    • Diese Arbeit vergleicht verschiedene wichtige bosonische Encodings innerhalb eines gemeinsamen Fehlermodells. Cat Codes, Binomial Codes, GKP-Codes und weitere Konstruktionen werden hinsichtlich ihrer Struktur und ihrer Leistungsfähigkeit beim bosonischen Verlustkanal untersucht. Für eine Abhandlung über Bosonic rotation codes ist die Quelle besonders wertvoll, um Vorteile und Grenzen rotationssymmetrischer Codes gegenüber alternativen bosonischen Encodings sachlich einzuordnen und Aussagen über Codeleistung nicht unabhängig vom zugrunde liegenden Rauschmodell zu treffen.
  • Timo Hillmann, Fernando Quijandría, Arne L. Grimsmo, Giulia Ferrini: Performance of Teleportation-Based Error-Correction Circuits for Bosonic Codes with Noisy Measurements, PRX Quantum 3, 020334, 2022.
    • Die Arbeit erweitert die Analyse rotationssymmetrischer bosonischer Codes auf realistischere Messmodelle. Untersucht wird insbesondere, wie unvollkommene heterodyne, homodyne und phasenbasierte Messungen die teleportationsbasierte Fehlerkorrektur beeinflussen. Sie eignet sich für den Abschnitt über praktische Grenzen von Bosonic rotation codes, da sie zeigt, dass nicht allein die ideale Codekonstruktion, sondern auch Messwirkungsgrad, Decoder und Recovery-Schaltung über das Erreichen eines praktischen Break-even-Punkts entscheiden.
  • Benjamin Marinoff, Miles Bush, Joshua Combes: Explicit Error-Correction Scheme and Code Distance for Bosonic Codes with Rotational Symmetry, Physical Review A 109, 032436, 2024.
    • Eine spezialisierte theoretische Arbeit zur Fehlerbasis, Fehlerausbreitung, Decodierung und Code-Distanz rotationssymmetrischer bosonischer Codes. Sie liefert einen expliziten Rahmen zur Beschreibung von Zahl- und Rotationsfehlern und ist besonders relevant, wenn die Abhandlung über eine rein qualitative Erklärung hinausgehen und die mathematische Bedeutung von Code-Distanz bei Rotation Codes präzisieren soll.
  • Yijia Xu, Yixu Wang, Victor V. Albert: Clifford Operations and Homological Codes for Rotors and Oscillators, Physical Review A 110, 022402, 2024.
    • Diese Arbeit erweitert die Betrachtung von Rotation Codes auf Rotoren, mehrere Oszillatormoden und homologische Codekonstruktionen. Für eine Abhandlung ist sie vor allem als Spezialliteratur zu Multimode-Ansätzen und zur Weiterentwicklung der ursprünglichen Single-Mode-Perspektive geeignet. Sie zeigt zudem, wie Rotorsysteme und bosonische Oszillatoren mathematisch miteinander verbunden werden können und welche neuen Codierungs- und Decodierungsstrukturen daraus entstehen.
  • Suguru Endo, Yasunari Suzuki, Kento Tsubouchi, Rui Asaoka, Kaoru Yamamoto, Yuichiro Matsuzaki, Yuuki Tokunaga: Quantum Error Mitigation for Rotation-Symmetric Bosonic Codes with Symmetry Expansion, Physical Review A 111, 062402, 2025.
    • Diese Spezialarbeit untersucht, wie die Rotationssymmetrie bosonischer Codes zusätzlich für Quantum Error Mitigation genutzt werden kann. Im Mittelpunkt steht Symmetry Expansion, mit der bekannte Symmetriesektoren zur virtuellen Projektion und statistischen Fehlerreduktion verwendet werden. Die Quelle eignet sich für einen aktuellen Forschungsausblick und verdeutlicht, dass die Symmetriestruktur von Bosonic rotation codes nicht nur für vollständige Fehlerkorrektur, sondern auch für ergänzende Fehlerunterdrückungsverfahren nutzbar ist.

Experimentelle Arbeiten zu bosonischer Fehlerkorrektur

  • Nissim Ofek, Andrei Petrenko, Reinier Heeres, Philip Reinhold, Zaki Leghtas, Brian Vlastakis, Yehan Liu, Luigi Frunzio, S. M. Girvin, Liang Jiang, Mazyar Mirrahimi, M. H. Devoret, R. J. Schoelkopf: Extending the Lifetime of a Quantum Bit with Error Correction in Superconducting Circuits, Nature 536, 441–445, 2016.
    • Eine Schlüsselarbeit für die experimentelle bosonische Quantenfehlerkorrektur. Das Experiment verwendet in einer supraleitenden Kavität gespeicherte Cat-Zustände und wiederholte Fehlersyndrommessungen, um Energieverlust zu erkennen und die Lebensdauer codierter Quanteninformation zu verlängern. Die Quelle ist für die Abhandlung besonders geeignet, um die Verbindung zwischen theoretischen Cat-Code-Konzepten, Photonenzahlparität, Circuit QED und realer Fehlerkorrekturhardware herzustellen.
  • Ling Hu, Yuwei Ma, Weizhou Cai, Xianghao Mu, Yuan Xu, Wenting Wang, Y. Wu, H. Wang, Y. P. Song, C.-L. Zou, S. M. Girvin, L.-M. Duan, Luyan Sun: Quantum Error Correction and Universal Gate Set Operation on a Binomial Bosonic Logical Qubit, Nature Physics 15, 503–508, 2019.
    • Eine zentrale experimentelle Arbeit zu Binomial Codes. Sie demonstriert wiederholte Fehlerkorrektur sowie die kontrollierte Verarbeitung eines in einer bosonischen Mode codierten logischen Qubits. Für die Abhandlung ist diese Quelle besonders wichtig, weil sie zeigt, dass binomiale Rotation Codes nicht nur theoretische Quantenspeicher darstellen, sondern mit logischen Operationen und universeller Einzelqubit-Kontrolle verbunden werden können.

Hintergrundliteratur zu bosonischen Codes und Quantenfehlerkorrektur

  • Daniel Gottesman, Alexei Kitaev, John Preskill: Encoding a Qubit in an Oscillator, Physical Review A 64, 012310, 2001.
    • Die grundlegende Arbeit zu GKP-Codes ist für Bosonic rotation codes vor allem als Vergleichs- und Abgrenzungsquelle relevant. Während Rotation Codes diskrete Rotationssymmetrien und modulare Photonenzahlstrukturen nutzen, beruhen GKP-Codes auf Translationssymmetrien beziehungsweise Gitterstrukturen im Phasenraum. Die Quelle ermöglicht eine fachlich saubere Gegenüberstellung der beiden wichtigsten Symmetrieprinzipien bosonischer Quantenfehlerkorrektur.
  • Barbara M. Terhal: Quantum Error Correction for Quantum Memories, Reviews of Modern Physics 87, 307–346, 2015.
    • Eine umfassende Übersichtsarbeit zu den Grundlagen und Anforderungen der Quantenfehlerkorrektur. Sie ist keine spezifische Quelle zu Rotation Codes, liefert aber den theoretischen Rahmen für logische Qubits, Fehlermodelle, Code-Distanzen, Fehlerschwellen und fehlertolerante Quantenspeicher. Sie eignet sich deshalb zur Absicherung der allgemeinen QEC-Grundlagen, auf denen die Diskussion bosonischer Codes aufbaut.
  • Alexandre Blais, Arne L. Grimsmo, S. M. Girvin, Andreas Wallraff: Circuit Quantum Electrodynamics, Reviews of Modern Physics 93, 025005, 2021.
    • Die maßgebliche Übersichtsarbeit zur Circuit Quantum Electrodynamics liefert den physikalischen Hintergrund für viele experimentelle Realisierungen bosonischer Codes. Sie behandelt supraleitende Schaltkreise, Mikrowellenresonatoren, dispersive Kopplungen und die Kontrolle quantisierter elektromagnetischer Felder. Für die Abhandlung ist sie besonders für die Abschnitte über Hardware, Resonatorspeicher, Ancilla-Qubits und bosonische Zustandskontrolle relevant.

Bücher und Monographien

Für das Verständnis von Bosonic rotation codes sind neben der spezialisierten Primärliteratur Standardwerke zur Quanteninformation, Quantenfehlerkorrektur und Quantenoptik erforderlich. Sie liefern die mathematischen und physikalischen Grundlagen für Hilberträume, Quantenkanäle, Fehlerkorrekturbedingungen, harmonische Oszillatoren, kohärente Zustände und Kavitätssysteme.

Standardwerke zur Quanteninformation

  • Michael A. Nielsen, Isaac L. Chuang: Quantum Computation and Quantum Information, 10th Anniversary Edition, Cambridge University Press, 2010.
    • Das Standardwerk für Quanteninformation und Quantenberechnung. Für eine Abhandlung über Bosonic rotation codes sind insbesondere die Grundlagen zu Quantenzuständen, Dichtematrizen, Quantenkanälen, Quantenoperationen und Quantenfehlerkorrektur relevant. Das Buch sollte vor allem zur Absicherung allgemeiner Definitionen und des konventionellen QEC-Rahmens verwendet werden; die spezielle Theorie bosonischer Rotation Codes ist Gegenstand der neueren Primärliteratur.
  • Daniel A. Lidar, Todd A. Brun (Hrsg.): Quantum Error Correction, Cambridge University Press, 2013.
    • Eine umfangreiche fachwissenschaftliche Sammlung zur Theorie und Praxis der Quantenfehlerkorrektur. Das Werk behandelt grundlegende QEC-Konzepte ebenso wie verallgemeinerte Fehlerkorrektur, Dekohärenzschutz und fehlertolerante Quantenberechnung. Für Bosonic rotation codes dient es als Hintergrundliteratur, insbesondere zur Einordnung der Knill-Laflamme-Bedingungen, logischer Encodings und verschiedener Fehlerkorrekturstrategien.

Quantenoptik und bosonische Systeme

  • Serge Haroche, Jean-Michel Raimond: Exploring the Quantum: Atoms, Cavities, and Photons, Oxford University Press, 2006.
    • Ein grundlegendes Werk zur Kavitäts-Quantenelektrodynamik und zur experimentellen Kontrolle quantisierter elektromagnetischer Felder. Es ist für Bosonic rotation codes besonders relevant, um kohärente Zustände, Fockzustände, Photonenzahlmessungen, Quantensprünge und die Wechselwirkung von Atomen beziehungsweise künstlichen Atomen mit Kavitätsmoden physikalisch einzuordnen. Es ergänzt damit die abstrakte QEC-Theorie durch die zugrunde liegende Oszillatorphysik.

Vorlesungsnotizen und Monographie-nahe Ressourcen

  • Victor V. Albert: Bosonic Coding: Introduction and Use Cases, Proceedings of the International School of Physics “Enrico Fermi”, Vol. 209, S. 79–107, 2025.
    • Eine kompakte, auf Vorlesungen basierende Einführung in bosonische Codierungen. Die Darstellung ordnet bosonische Speicher unter anderem in Fock-State-Codes und bosonische Stabilizer-Codes ein und diskutiert Number-phase-, Cat-, Binomial- und GKP-Strukturen. Für die Abhandlung eignet sich die Quelle besonders zur übergeordneten Einordnung von Bosonic rotation codes innerhalb der größeren Landschaft bosonischer Quantenfehlerkorrektur.

Online-Ressourcen und Datenbanken

Online-Ressourcen sind für Bosonic rotation codes vor allem für die Recherche aktueller Primärliteratur, die Überprüfung bibliografischer Angaben und die systematische Einordnung verwandter Codeklassen hilfreich. Sie sollten in einer wissenschaftlichen Abhandlung nicht als Ersatz für Primärliteratur verwendet werden, sondern als Recherche- und Navigationsinstrument.

Fachjournale und Verlage

  • American Physical Society: APS Journals.
    • Die APS veröffentlicht mit Physical Review X, Physical Review A, Physical Review Letters, PRX Quantum und Reviews of Modern Physics einen erheblichen Teil der grundlegenden Literatur zu bosonischer Quantenfehlerkorrektur. Für Bosonic rotation codes ist die Plattform die wichtigste Anlaufstelle für begutachtete Arbeiten zur allgemeinen Codekonstruktion, zu Binomial Codes, Code-Distanz, Circuit QED und fehlertoleranter Quanteninformation.
  • Nature Portfolio: Nature und Nature Physics.
    • Nature und Nature Physics enthalten mehrere experimentell zentrale Arbeiten zur bosonischen Fehlerkorrektur, insbesondere zu Cat- und Binomial-Qubits, Break-even-Experimenten und kontrollierten logischen Operationen. Die Plattform ist für die Abhandlung vor allem zur Verifikation experimenteller Ergebnisse und zur Darstellung des technologischen Entwicklungsstands relevant.
  • Cambridge University Press: Cambridge Core.
    • Cambridge Core stellt wissenschaftliche Bücher und Monographien zu Quanteninformation und Quantenfehlerkorrektur bereit. Die Plattform eignet sich insbesondere zur Überprüfung bibliografischer Angaben von Standardwerken und zur Vertiefung allgemeiner theoretischer Grundlagen.

Lern- und Forschungsplattformen

  • arXiv: Quantum Physics.
    • arXiv ist für Bosonic rotation codes besonders wichtig, da neue theoretische und experimentelle Arbeiten häufig bereits vor oder parallel zur Journalveröffentlichung als Preprint verfügbar sind. Die Kategorie quant-ph ermöglicht eine laufende Beobachtung neuer Entwicklungen zu bosonischen Codes, Quantenfehlerkorrektur, kontinuierlichen Variablen und fehlertoleranter Quantenberechnung. Für endgültige bibliografische Angaben sollte nach Möglichkeit zusätzlich die begutachtete Journalversion herangezogen werden.
  • Error Correction Zoo: Bosonic Rotation Code.
    • Der Error Correction Zoo ist eine strukturierte Forschungs- und Nachschlageressource für klassische und quantenmechanische Fehlerkorrekturcodes. Die Seite zu Bosonic rotation codes bietet eine kompakte Einordnung der Codeklasse und verweist auf verwandte Strukturen und Primärliteratur. Sie eignet sich besonders zur Orientierung und zum Auffinden von Beziehungen zwischen Cat Codes, Binomial Codes, Fock-State-Codes und anderen bosonischen Encodings, sollte jedoch nicht anstelle der angegebenen Primärarbeiten zitiert werden.
  • Crossref: Metadaten- und DOI-Suche.
    • Crossref ermöglicht die Überprüfung von DOI, Autorenschaft, Publikationsjahr, Journal und weiteren bibliografischen Metadaten wissenschaftlicher Veröffentlichungen. Für den Anhang ist die Plattform vor allem als Kontrollinstrument geeignet, wenn bibliografische Angaben verschiedener Versionen einer Veröffentlichung abgeglichen werden müssen.
Relational Quantum Mechanics (RQM)

Relational Quantum Mechanics (RQM)

...

Dual-Rail-Qubits

Dual-Rail-Qubits

...

Lokalisierte Oberflächenplasmonen (LSPs)

Lokalisierte Oberflächenplasmonen (LSPs)

...

Ladungs-Qubits

Ladungs-Qubits

...

Antiferromagneten

Antiferromagneten

...

Exziton-Polariton

Exziton-Polariton

...