A superconducting surface-code processor with lattice-surgery logical operations

Diese Arbeit berichtet über die experimentelle Realisierung fehlertoleranter Lattice-Surgery-Operationen auf einem supraleitenden Surface-Code-Prozessor, wobei eine hochpräzise logische Bell-Zustands-Präparation, ein logischer Deutsch-Jozsa-Algorithmus sowie die Teleportation von Nicht-Clifford-Gattern demonstriert werden, um ein vielseitiges Paradigma für skalierbare Quantenberechnungen zu etablieren.

Das Wesentliche

Stellen Sie sich vor, Sie versuchen, eine zerbrechliche Nachricht über einen stürmischen Ozean zu senden. Wenn Sie ein einzelnes Papierboot schicken, wird eine einzige Welle es versenken. Aber wenn Sie ein massives, verstärktes Floß aus vielen kleineren Booten bauen, kann das Floß den Wellen standhalten, selbst wenn einige einzelne Boote beschädigt werden. Dies ist die Grundidee hinter der Quantenfehlerkorrektur: die Verwendung vieler physischer „Boote“ (Qubits), um eine einzige Information (ein logisches Qubit) zu schützen.

Dieses Paper beschreibt einen bedeutenden Schritt nach vorn beim Bau dieses Floßes, und zwar unter Verwendung eines Designs namens Surface Code auf einem supraleitenden Computerchip. Hier ist das, was die Forscher erreicht haben, einfach erklärt:

1. Das Setup: Das Bauen des Floßes

Das Team baute ein Gitter aus 125 winzigen supraleitenden „Booten“ (Qubits) auf einem Chip. Sie organisierten diese in zwei separaten „Flößen“ (logische Qubits), die jeweils aus 17 physischen Booten bestehen.

• Die Herausforderung: In der realen Welt sind diese Boote wackelig. Sie driften ab, verlieren Energie und machen Fehler.
• Die Lösung: Sie kontrollierten ständig das „Wetter“ (Messung von Fehler-Syndromen), um zu sehen, ob irgendwelche Boote abdriften. Wenn ein Boot anfing zu driften, konnten sie es korrigieren, bevor das ganze Floß unterging. Sie bewiesen, dass ihr Floß viele Runden dieser Kontrollen überleben konnte, mit einer sehr geringen Wahrscheinlichkeit, dass die gesamte Nachricht korrumpiert wird.

2. Der Zaubertrick: Das Verschmelzen und Trennen von Flössen (Lattice Surgery)

Der spannendste Teil des Papers ist eine Technik namens Lattice Surgery (Gitterchirurgie). Stellen Sie sich dies als eine Möglichkeit vor, Mathematik auf zwei separaten Flössen auszuführen, ohne die Boote jemals physisch bewegen zu müssen.

• Verschmelzen: Stellen Sie sich vor, Sie haben zwei separate Flöße, die nebeneinander treiben. Um eine Berechnung durchzuführen, binden Sie sie vorübergehend zu einem einzigen, länglichen Floß zusammen.
• Die Messung: Während sie zusammengebunden sind, messen Sie eine bestimmte Eigenschaft des kombinierten Flosses. Dies verrät Ihnen etwas über die Beziehung zwischen den beiden ursprünglichen Flößen.
• Trennen: Danach lösen Sie die Verbindung wieder und trennen die Flöße wieder in zwei einzelne Einheiten auf.

Weil die Quantenmechanik so funktioniert, bewirkt dieser Prozess des Zusammenbindens und Trennens nicht nur eine Messung, sondern verschränkt sie. Es ist, als würde man zwei separate Zauberstäbe nehmen, sie zusammendrücken und dann wieder auseinanderziehen, sodass sie nun magisch miteinander verbunden sind: Wenn man den einen wackelt, wackelt der andere sofort mit, egal wie weit sie voneinander entfernt sind.

3. Was sie tatsächlich getan haben

Die Forscher nutzten diese „Zusammenbinde- und Trenn-Methode“, um drei spezifische Dinge zu tun:

• Einen „Quanten-Zwilling“ erschaffen (Bell-Zustand): Sie begannen mit zwei separaten logischen Flößen, verschmolzen sie und trennten sie wieder. Das Ergebnis waren zwei logische Qubits, die perfekt miteinander verknüpft (verschränkt) waren. Sie bewiesen, dass diese Verbindung real und stark war, selbst mit dem Rauschen im System.
• Ein Logikrätsel lösen (Deutsch-Jozsa-Algorithmus): Sie nutzten ihre verknüpften Flöße, um ein spezifisches Logikrätsel zu lösen. In diesem Rätsel muss man herausfinden, ob eine verborgene Maschine immer die gleiche Antwort gibt oder ob sie eine Mischung aus Antworten liefert. Ihr Quantenfloß löste dies viel häufiger korrekt als ein „rohes“ (unkorrigiertes) System, was zeigte, dass die Fehlerkorrektur tatsächlich dabei hilft, besser zu „denken“.
• Die „unmögliche“ Drehung (Non-Clifford-Gates): Standard-Quantencomputer können einige Drehungen (Rotationen) leicht ausführen, aber sie haben Schwierigkeiten mit einer speziellen Art von Drehung, der sogenannten „Non-Clifford“-Rotation. Um dies zu erreichen, nutzte das Team einen speziellen Trick:
  1. Sie bereiteten eine spezielle „magische Zutat“ (einen Magic State) auf einem Floß vor.
  2. Sie verschmolzen die Flöße, um diese Magie auf das andere Floß zu übertragen.
  3. Sie trennten die Flöße und führten so effektiv eine komplexe Drehung durch, die normalerweise sehr schwer zu vollziehen ist.
     Sie zeigten, dass sie dies mit hoher Genauigkeit (etwa 94 % Fidelität) schaffen konnten, wenn sie die Durchläufe herausfilterten, in denen Fehler erkannt wurden.

4. Das Fazregebnis

Das Paper behauptet, dass Lattice Surgery eine praktische, funktionierende Methode ist, um komplexe Berechnungen auf einem Quantencomputer durchzuführen.

• Sie haben nicht nur einen Speicherstick gebaut, der Daten hält; sie haben einen Prozessor gebaut, der mit diesen Daten rechnen kann.
• Sie haben bewiesen, dass man durch das Verschmelzen und Trennen dieser logischen „Flöße“ Verschränkung erzeugen, Algorithmen ausführen und komplexe Drehungen vornehmen kann.
• Obwohl das System noch größer und perfekter sein muss, um reale Probleme zu lösen, beweist dieses Experiment, dass die grundlegenden Bausteine für einen skalierbaren, fehlertoleranten Quantencomputer wie beabsichtigt funktionieren.

Kurz gesagt: Sie haben erfolgreich demonstriert, dass man zwei separate, fehlerkorrigierte Quanten-„Flöße“ nehmen, sie für eine Berechnung zusammenbinden und sie wieder auseinanderziehen kann, um ein nützliches, verschränktes Ergebnis zu erhalten. Dies ist ein entscheidender Meilenstein auf dem Weg zum Bau eines Quantencomputers, der tatsächlich Probleme lösen kann.

Technische Zusammenfassung

Technisches Resümee: Ein supraleitender Surface-Code-Prozessor mit Lattice-Surgery-Logikoperationen

Problemstellung
Skalierbare Quantenberechnungen erfordern fehlertolerante logische Operationen, die verhindern, dass physikalische Fehler mit geringem Gewicht in unkorrigierbare logische Fehler propagieren. Während der Surface-Code ein führender Kandidat für die Quantenfehlerkorrektur (QEC) aufgrund seiner hohen Schwelle und Kompatibilität mit planaren Layouts ist, konzentrierte sich der experimentelle Fortschritt weitgehend auf die Demonstration wiederholter Syndromextraktionszyklen (SECs) und logischer Speicherlebensdauern, die den Break-Even-Punkt überschreiten. Die entscheidende verbleibende Herausforderung besteht darin, logische Operationen zu implementieren, die die Fehlertoleranz innerhalb der strengen Beschränkungen statischer, zweidimensionaler supraleitender Architekturen bewahren. Während transversale Operationen fehlertolerant sind, erfordern sie eine nicht-lokale Konnektivität, die in planaren Systemen nicht verfügbar ist. Lattice Surgery, das Code-Patches dynamisch deformiert, um Operationen durchzuführen, ist die vorgeschlagene Lösung für solche Plattformen; dennoch bleiben die direkte Demonstration zwischen voll fehlerkorrigierbaren Surface-Code-Patches und der Realisierung nicht-Clifford-Logikgattern ausstehende experimentelle Herausforderungen.

Methodik
Die Autoren haben grundlegende Lattice-Surgery-Operationen auf einem planaren supraleitenden Prozessor realisiert, der aus 125 abstimmbaren Transmon-Qubits besteht. Das System beherbergt zwei logische Qubits, $L_1$ und $L_2$, die jeweils in einem distanz-drei rotierten Surface-Code (9 Daten-Qubits und 8 Syndrom-Qubits pro Patch) kodiert sind.

Die Kernmethodik umfasst:

1. Lattice Merge und Split: Um gemeinsame logische Operationen durchzuführen, werden die zwei disjunkten Code-Patches durch die dynamische Rekonfiguration von Syndromextraktionsschaltkreisen zu einem einzigen verlängerten $7 \times 3$ rotierten Surface-Code ($L_3$) zusammengeführt. Dies beinhaltet die Erweiterung von Rand-Stabilisatoren sowie die Einführung von Ancilla-Daten- und Syndrom-Qubits. Die logischen Pauli-Operatoren werden über die Parität der Syndrom-Datensätze gemessen. Die Patches werden anschließend durch Messung der Ancilla-Daten-Qubits in der $Z$-Basis und Wiederherstellung der ursprünglichen Stabilisator-Gewichte wieder in $L_1$ und $L_2$ getrennt.
2. Zustandsvorbereitung und Korrektur: Logische Bell-Zustände werden deterministisch über ein Lattice-Split-Protokoll erzeugt, wobei mittels Pauli-Frame-Updates, die auf Zwischenmessergebnissen basieren, Korrekturen für messungsinduzierte Fehler vorgenommen werden.
3. Algorithmische Ausführung: Ein zweiqubit-basierter Deutsch-Jozsa-Algorithmus wird auf logischer Ebene ausgeführt. Der Quanten-Oracle wird mittels Lattice Surgery implementiert, wobei zwischen konstanten und balancierten Booleschen Funktionen unterschieden wird.
4. Nicht-Clifford-Operationen: Universelle Kontrolle wird durch Magic-State-Injection und Gate-Teleportation erreicht. Ein hochpräziser Magic-Zustand wird auf $L_2$ vorbereitet und konsumiert, um beliebige logische $R_X(\theta)$-Rotationen auf $L_1$ via einer gemeinsamen $M_{XX}$-Messung (realisiert durch Merge/Split-Operationen) durchzuführen.
5. Fehlerbehandlung: Die Studie verwendet einen Belief-Matching-Decoder zur Fehlerkorrektur und nutzt eine „fehlerfreie“ Post-Selektion (Verwerfen von Durchläufen mit nicht-trivialen Syndromen oder Leakage-Ereignissen), um die Leistungsgrenzen zu bestimmen.

Wesentliche Beiträge

• Experimentelle Realisierung von Lattice Surgery: Die erste direkte Demonstration von Lattice-Merge- und Lattice-Split-Operationen zwischen zwei distanz-drei Surface-Code-logischen Qubits auf einem supraleitenden Prozessor.
• Logische Verschränkung: Deterministische Vorbereitung eines logischen Bell-Zustands ($|\Phi^+\rangle_L$) über die zwei Surface-Code-Patches hinweg, was simultanen Schutz gegen Bit-Flip- und Phase-Flip-Fehler bietet.
• Ausführung logischer Algorithmen: Erfolgreiche Implementierung des Deutsch-Jozsa-Algorithmus auf logischer Ebene, was die algorithmische Nützlichkeit innerhalb eines fehlertoleranten Rahmens demonstriert.
• Implementierung von Nicht-Clifford-Gattern: Realisierung kontinuierlicher nicht-Clifford-Rotationen um die logische $X$-Achse mittels Magic-State-Injection und Gate-Teleportation, eine notwendige Komponente für universelle Quantenberechnungen.

Ergebnisse

• Leistung des logischen Speichers: Nach Ausschluss von Leakage-Ereignissen wiesen die logischen Qubits pro Zyklus Fehlerraten von $\epsilon_{L1} = 0.0365(2)$ und $\epsilon_{L2} = 0.0282(1)$ auf.
• Bell-Zustands-Fidelität: Die Rohzustands-Fidelität betrug $0.372$. Unter Verwendung eines Belief-Matching-Decoders verbesserte sich die untere Grenze der Fidelität auf $F_{dec} = 0.532$, was echte bipartite Verschränkung bestätigt. Unter der „fehlerfreien“ Post-Selektion erreichte die Fidelität $F_{pst} = 0.925$.
• Deutsch-Jozsa-Genauigkeit: Die Fehlerkorrektur verbesserte die Klassifizierungsgenauigkeit signifikant. Für konstante Funktionen stieg die Genauigkeit von $0.886$ (roh) auf $0.970$ (dekodiert). Für balancierte Funktionen verbesserte sie sich von $0.623$ auf $0.716$. Die Post-Selektion steigerte diese Werte auf nahezu Einheit, allerdings auf Kosten der Beibehaltung von nur $0,06\,\%$ der Daten im balancierten Fall.
• Nicht-Clifford-Gate-Fidelität: Für das logische $R_X(\pi/4)$-Gate zeigten die fehlerkorrigierten Ergebnisse eine moderate Verbesserung gegenüber den Rohdaten. Unter der „fehlerfreien“ Post-Selektion erreichte die logische Gate-Fidelität $0.943^{+10}_{-9}$.

Bedeutung
Die Autoren behaupten, dass diese Ergebnisse Lattice Surgery als praktisches und vielseitiges Paradigma für die logische Berechnung in naheliegenden Surface-Code-Architekturen etablieren. Durch die Demonstration des gesamten Stacks von Operationen – von der Speichererhaltung und Verschränkungserzeugung bis hin zur algorithmischen Ausführung und der Implementierung universeller Gates – stellt diese Arbeit einen entscheidenden Meilenstein auf dem Weg zum skalierbaren fehlertoleranten Quantenvorteil in supraleitenden Schaltkreisen dar. Die Arbeit positioniert diese Erkenntnisse als die essenziellen Bausteine, die für den Übergang von isolierten Quantenspeichern zu programmierbaren fehlertoleranten Prozessoren erforderlich sind.