LUCI on IBM Hardware: Error Suppression with Almost Half Syndrome Density

Technisches Resümee: LUCI auf IBM-Hardware

Problemstellung
Skalierbare fehlertolerante Quantenberechnungen erfordern logische Qubits, die ihren Zustand über verlängerte Ausführungszeiten aufrechterhalten können. Während der Surface-Code das praktischste Protokoll für die Quantenfehlerkorrektur (QEC) bei lokal beschränkten Prozessoren aufgrund seiner hohen Schwelle ist, beruhen traditionelle Implementierungen auf statischen Syndromextraktionsschaltkreisen. Diese starren Schaltkreise legen strikte Konnektivitätsbeschränkungen fest und sind anfällig für Hardwaredefekte (z. B. nicht funktionierende Qubits oder Koppler). Jüngste theoretische Rahmenwerke, wie etwa LUCI (Logical Unitary Circuit Implementation), schlagen dynamische Subroutinen vor, die um defekte Komponenten herum navigieren können, indem sie die Messzeitpläne ändern. Diese Flexibilität geht jedoch zu Lasten der zeitlichen Distanz, da mehrere Runden erforderlich sind, um ein vollständiges Syndrom zu extrahieren. Entscheidend ist, dass diese dynamischen Ansätze bisher weder experimentell auf physischer Hardware demonstriert noch hinsichtlich ihres Leistungsvergleichs mit Standard-Statik-Codes in Abwesenheit physischer Defekte – insbesondere im Hinblick auf den Trade-off der „Syndrom-Dichte“ (das Verhältnis von gemessenen Syndrombits zu den gesamten möglichen Bits pro Zyklus) – evaluiert wurden.

Methodik
Die Autoren benchmarkten das LUCI-Framework experimentell gegen den standardmäßigen rotierten Surface-Code auf dem supraleitenden Quantenprozessor ibm_miami von IBM. Die Studie nutzte ein „reset-freies“ Szenario, bei dem die physikalischen Qubit-Reset-Operationen weggelassen wurden, um Leerlaufzeiten und Leakage-Probleme zu vermeiden, und verließ sich stattdessen auf die klassische Post-Processing-Verarbeitung zur Definition von Detektoren.

Zentrale methodische Schritte umfassten:

• Dynamische Zeitplanung: Das LUCI-Framework wurde unter Verwendung von Mid-Cycle-Zuständen implementiert, bei denen der Schaltkreis zwischen zwei distinkten Runden (einer Basis- und einer Varianten-Runde) wechselt, um das vollständige Syndrom zu extrahieren. Dies steht im Gegensatz zum Standard-Surface-Code, der das vollständige Syndrom in einer einzigen Runde extrahiert.
• Asymmetrische Skalierung: Um gezielt bestimmte logische Fehler anzusprechen, skalierten die Forscher die QEC-Patches asymmetrisch. Sie testeten Distanz-3-Patches ($d=3$) und erweiterten diese zu rechteckigen Patches mit den Dimensionen $(d_x=5, d_z=3)$ zur Unterdrückung von logischen X-Fehlern oder $(d_x=3, d_z=5)$ zur Unterdrückung von logischen Z-Fehlern.
• Analyse der Syndrom-Dichte: Die Studie quantifizierte die „Syndrom-Dichte“ ($\rho$). Während der Standard-Surface-Code eine Dichte von 1 beibehält, erreichte das LUCI-Framework, das zwei Runden für die vollständige Extraktion benötigt, eine Dichte von etwa 0,6 für $d=3$ Patches und 0,588 für die erweiterten Patches.
• Hardware-Beschränkungen: Die Experimente wurden in einem defektfreien Bereich des Prozessors durchgeführt. Dennoch war das Mapping für den Standard-Surface-Code in der X-Basis gezwungen, einen hochgradig verrauschten Koppler (Fehlerrate $\sim15\%$) zu nutzen, was auf die starren Konnektivitätsanforderungen zurückzuführen ist, während die flexible LUCI-Zeitplanung es ermöglichte, diese spezifische verrauschte Komponente zu umgehen.
• Dekodierung: Logische Fehlerraten wurden mittels eines korrelierten Minimum Weight Perfect Matching (MWPM) Decoders (PyMatching) dekodiert, der durch Kalibrierungsdaten für Gates und Messungen gewichtet wurde.

Wesentliche Ergebnisse
Die Autoren verglichen die Fehlerunterdrückungsverhältnisse ($\Lambda_{5/3} = \epsilon^r_{d=3} / \epsilon^r_{d=5}$) zwischen dem Standard-Surface-Code und dem LUCI-Framework:

• Logische X-Fehler: Das LUCI-Framework zeigte eine überlegene Fehlerunterdrückung mit einem Verhältnis von 1,75(10), verglichen mit 1,58(13) beim Standard-Surface-Code. Diese Verbesserung wird darauf zurückgeführt, dass LUCI in der Lage ist, den hochgradig verrauschten Koppler zu umgehen, den der Standard-Code verwenden musste.
• Logische Z-Fehler: Der Standard-Surface-Code zeigte eine höhere Unterdrückung von Z-Fehlern (2,44(7)) als LUCI (1,93(12)).
• Gesamtleistung: Trotz der Tatsache, dass das LUCI-Framework mit nahezu der Hälfte der Syndrom-Dichte in der Zeit operiert (da zwei Runden für die vollständige Syndrom-Extraktion benötigt werden), blieb es mit dem standardmäßigen rotierten Surface-Code konkurrenzfähig.
• Rausch-Inhomogenität: Die Ergebnisse verdeutlichten, dass standardmäßige Syndromextraktions-Schaltkreise selbst in defektfreien Regionen nicht immer optimal sind, wenn die Hardware-Rauschverteilung inhomogen ist. Die dynamische Zeitplanung von LUCI umging erfolgreich eine spezifische verrausste Komponente, was zu besseren Gesamtraten für logische Fehler führte, während die logischen Grenzen gewahrt blieben.

Bedeutung und Ansprüche
Das Paper beansprucht, die Lücke zwischen theoretischen dynamischen Codes und der praktischen Hardware-Implementierung zu schließen. Seine primären Beiträge sind:

1. Experimentelle Verifizierung: Es liefert die erste experimentelle Demonstration des LUCI-Frameworks auf physischer Quantenhardware und verifiziert dessen Machbarkeit ohne physische Defekte.
2. Leistung unter reduzierter zeitlicher Distanz: Es stellt die konventionelle Abhängigkeit von statischen fehlertoleranten Architekturen infrage, indem es zeigt, dass dynamische Codes selbst dann herkömmliche Methoden übertreffen können, wenn sie mit reduzierter zeitlicher Syndrom-Dichte (halbiertem Dichte) arbeiten.
3. Hardware-Kompatibilität: Die Arbeit zeigt, dass dynamische Codes aktiv hochgradig verrauschte Komponenten in inhomogenen Hardware-Umgebungen umgehen können, was eine praktikable Alternative zur Maximierung der Leistung auf aktuellen Prozessorgenerationen darstellt.
4. Reset-freie Implementierung: Es implementiert erfolgreich eine reset-freie Detektordefinition innerhalb des LUCI-Frameworks und beweist damit, dass Hochleistungs-QEC ohne die Abhängigkeit von physischen Reset-Operationen möglich ist.

Die Autoren kommen zu dem Schluss, dass diese Erkenntnisse den Weg für hybride, hardwarekompatible Code-Designs ebnen und darauf hindeuten, dass die dynamische Syndromextraktion ein praktischer Ansatz zur Erhaltung logischer Qubits in Gegenwart von Hardware-Rausch-Inhomogenitäten ist.