Breakeven demonstration of quantum low-density parity-check codes

Unter Ausnutzung der Flexibilität eines Ionenfallen-Quantencomputers und einer neuartigen optischen metastabilen Grundzustandsarchitektur demonstrierten Forscher neun verschiedene Quantenfehlerkorrekturcodes ohne Hardware-Rekonfiguration und erreichten eine Breakeven-Leistung, bei der die logische Fehlerrate eines hochraten-qLDPC-Codes die bisherigen supraleitenden Demonstrationen signifikant übertraf und gleichzeitig die physikalischen Qubit-Lebensdauern erreichte oder übertraf.

Das Wesentliche

Stellen Sie sich vor, Sie versuchen, eine empfindliche Nachricht über einen stürmischen Ozean zu senden. Die Nachricht ist Ihr „logisches Qubit“ (die eigentliche Information, die Sie sicher aufbewahren wollen), aber das Boot, das sie trägt, besteht aus „physischen Qubits“ (der eigentlichen Hardware, die anfällig dafür ist, von den Wellen nass zu werden und beschädigt zu werden).

Lange Zeit haben Wissenschaftler versucht, ein Boot zu bauen, das so robust ist, dass die Nachricht länger überlebt als das Holz des Bootes selbst. Dies wird als das Erreichen des „Breakeven-Punktes“ bezeichnet. Wenn die Nachricht länger hält als das Boot, haben Sie den Wettlauf gegen den Fehler gewonnen.

Dieses Paper von IonQ berichtet über einen großen Sieg in diesem Wettlauf unter Verwendung eines Trapped-Ion-Quantencomputers. Hier ist, was sie getan haben, einfach erklärt:

1. Das Problem: Die „Nachbarschafts“-Beschränkung

Die meisten heutigen Quantencomputer sind wie eine Nachbarschaft, in der Häuser (Qubits) nur mit ihren unmittelbaren Nachbarn sprechen können. Um eine Nachricht zu schützen, verwenden sie einen „Surface Code“, was so ist, als würde man eine massive Mauer um die Nachricht bauen. Das Problem? Diese Mauer ist riesig. Um ein einziges Stück Information zu schützen, benötigt man möglicherweise hunderte von Ziegelsteinen (physische Qubits). Das ist sehr teuer und ineffizient.

Es gibt einen neueren, smarteren Bauplan namens qLDPC-Codes. Dies sind wie ein hochmodernes Sicherheitssystem, bei dem die Nachricht durch ein Netz von Verbindungen geschützt wird, das nicht nur zu den Nachbarn reicht, sondern das gesamte Gebäude durchspannen kann. Dies ermöglicht es, mehr Informationen mit weniger Ziegelsteinen zu schützen. Der Bau dieser „langreichweitigen“ Verbindungen ist jedoch normalerweise ein Albtraum für Hardware-Ingenieure, da die meisten Maschinen nicht über den Raum hinweg kommunizieren können.

2. Die Lösung: Die „magische Fernbedienung“

Das Team bei IonQ nutzte einen Trapped-Ion-Computer, der einzigartig ist, weil er nicht auf physische Kabel angewiesen ist, die Nachbarn miteinander verbinden. Stattdessen verwenden sie Laser (Raman-Strahlen), die wie eine magische Fernbedienung wirken.

• Keine beweglichen Teile: Sie müssen die Atome (Ionen) nicht physisch bewegen. Die Laser können auf jedes Atom oder jedes Paar von Atomen sofort zeigen, egal wie weit sie in der Reihe voneinander entfernt sind.
• Der „OMG“-Trick: Um zu prüfen, ob die Nachricht sicher ist, müssen sie die „Sicherheitskräfte“ (Ancilla-Qubits) beobachten, ohne die „Gefangenen“ (Daten-Qubits) zu stören. Normalerweise erfordert dies, die Wachen in einen anderen Raum zu bewegen oder zusätzliche „Kühlatome“ zu verwenden, um die Stabilität zu gewährleisten.
  • Ihre Innovation: Sie verwendeten einen cleveren Trick namens Optical-Metastable-Ground (OMG)-Architektur. Stellen Sie sich vor, Sie stecken alle Gefangenen in einen „Auszeit-Raum“ (metastabiler Zustand), in dem sie für die Laser unsichtbar sind. Dann bringen sie selektiv nur die Wachen zurück in den Hauptraum, um deren Status zu prüfen, sie abzukühlen und sie wieder in die Auszeit zu schicken.
  • Das Ergebnis: Sie mussten keine Atome bewegen oder zusätzliche „Kühlatome“ verwenden. Sie erledigten alles vor Ort, was massiv Zeit und Platz spart.

3. Das Experiment: Testen verschiedener Baupläne

Da ihre „magische Fernbedienung“ so flexibel ist, mussten sie ihre Maschine nicht umbauen, um verschiedene Sicherheitsbaupläne zu testen. Sie testeten neun verschiedene Codes auf dersendelben Hardware:

• qLDPC-Codes: Die hocheffizienten Codes mit langreichweitigen Verbindungen.
• Topologische Codes: Codes, die auf der Form eines Donuts (Torus) basieren.
• Konkatenierte Codes: Codes, bei denen man ein kleines Sicherheitsnetz in ein größeres einwickelt.

4. Die Ergebnisse: Den Wettbewerb schlagen

Das Team erreichte zwei wichtige Meilensteine:

• Den bisherigen Rekord brechen: Sie testeten einen spezifischen Code (BB5), der 4 Informationseinheiten in 18 physische Qubits kodiert. Ein vorheriges Experiment auf einem supraleitenden Chip (mit einer anderen Art von Hardware) hatte denselben Code getestet, aber Schwierigkeiten mit Fehlern gehabt. Die Version von IonQ war 4-mal besser darin, „Z“-Fehler zu stoppen und 9-mal besser darin, „X“-Fehler zu stoppen.
• Die „Breakeven“-Linie überschreiten: Dies ist die große Neuigkeit. Sie maßen, wie lange die „logische“ Information im Vergleich zu den physischen Atomen überlebte.
  • In einem spezifischen Code überlebte die logische Information für 3,95 Sekunden.
  • Die physischen Atome selbst überlebten nur für 3,3 Sekunden.
  • Die Analogie: Die Nachricht überlebte länger als das Boot, auf dem sie lag. Dies ist der „Breakeven“-Punkt.

Zusammenfassung

Betrachten Sie dieses Paper als einen Beweis dafür, dass eine flexible, lasergesteuerte Flotte von Booten (Trapped Ions) smarte, langreichweitige Sicherheitsnetze (qLDPC-Codes) nutzen kann, um eine Nachricht länger sicher zu halten, als die Boote selbst halten würden.

Sie haben bewiesen, dass man keine massive, starre Maschine bauen muss, um großartige Ergebnisse zu erzielen. Stattdessen haben sie durch ein flexibles System, das sofort mit jedem Teil der Maschine „sprechen“ kann, ein Schutzniveau erreicht, das ein entscheidender Schritt zum Bau großer, fehlertoleranter Quantencomputer ist. Sie taten dies, ohne bewegliche Teile zu verwenden oder zusätzliche Kühlmittel einzusetzen, was den Prozess viel effizienter macht.

Technische Zusammenfassung

Technische Zusammenfassung: Breakeven-Demonstration von Quanten-LDPC-Codes

Problemstellung
Fehlertolerantes Quantencomputing (FTQC) erfordert eine umfangreiche Quantenfehlerkorrektur (QEC). Während der Surface-Code aufgrund seiner Kompatibilität mit 2D-Nachbarschaftsarchitekturen eine populäre Wahl ist, leidet er unter einem massiven Qubit-Overhead, der hunderte physikalische Qubits pro logisches Qubit erfordert. Quanten-Low-Density-Parity-Check-Codes (qLDPC) bieten eine vielversprechende Alternative, indem sie Lokalitätsbeschränkungen lockern und dadurch höhere Kodierraten sowie reduzierten Overhead ermöglichen. Die experimentelle Realisierung von qLDPC-Codes wird jedoch durch die Notwendigkeit nicht-lokaler Gates und komplexer Hardware-Rekonfigurationen erschwert. Vorangegangene Demonstrationen, wie etwa ein spezifischer Bivariate Bicycle (BB)-Code auf supraleitenden Qubits, erforderten maßgeschneiderte Hardware mit weitreichenden Kopplern und erreichten logische Fehlerraten, die noch nicht mit den Lebensdauern physikalischer Qubits (Breakeven) konkurrieren konnten.

Methodik
Die Autoren nutzten einen mit gefangenen Ionen betriebenen Quantencomputer, bestehend aus einer stationären Kette von vierzig $^{133}\text{Ba}^+$-Ionen. Das System nutzt zwei zentrale architektonische Vorteile:

1. All-to-All-Konnektivität: Gates werden mittels steuerbarer Raman-Strahlen implementiert, die jedes Ion oder jedes Ionenpaar in der Kette adressieren können, wodurch der Bedarf an physischem Ionentransport entfällt.
2. Optical-Metastable-Ground (OMG)-Architektur: Eine neuartige Implementierung, die eine adressierbare Messung zur Mitte des Schaltzyklus (Mid-Circuit Measurement, MCM) und Resets ohne dedizierte Kühl-Ionen ermöglicht.
   • Mechanismus: Idle-Qubits werden mittels eines globalen 1762-nm-Strahls in ein metastabiles Manifold ($5^2D_{5/2}$) „eingelagert“ (shelving). Spezifische „Readout-Ancillae“ werden selektiv zurück in den Grundzustand ($6^2S_{1/2}$) „ausgelagert“ (deshelving), um gemessen zu werden.
   • Sympathetische Kühlung: Die gemessenen Ancillae werden zur sympathetischen Kühlung der gesamten Kette verwendet, was den Bedarf an separaten Kühl-Ionen eliminiert (die in transportbasierten Systemen typischerweise bis zu 50 % der Ionenzahl ausmachen).
   • Leakage-Handhabung: Das System detektiert Leakage aus dem Qubit-Manifold über Fluoreszenzprüfungen. Während der primäre Ansatz die Post-Selektion (Verwerfen von Durchläufen mit detektierterem Leakage) ist, merken die Autoren an, dass dies mittels bedingter Resets in Erasures umgewandelt werden kann.

In den Experimenten wurden neun verschiedene Quantenfehlerkorrektur-Codes aus drei Familien ohne Hardware-Rekonfiguration demonstriert:

• qLDPC-Codes: Fünf Codes, darunter drei BB5-Varianten und zwei GB4-Codes (Gewicht-4 Stabilisatoren).
• Topologische Codes: Ein Standard-Toric-Code ($d=3$) und eine rotierte Variante ($d=4$).
• Konkatenierte Codes: Der $[[4, 2, 2]]$-Code, der mit sich selbst konkateniert wurde.

Memory-Experimente wurden durchgeführt, indem logische Eigenzustände ($X_L$ und $Z_L$) präpariert und Syndromzyklen (bis zu 6 Zyklen) wiederholt wurden. Die Syndromdaten wurden mittels eines Beam-Decoders dekodiert.

Wichtigste Ergebnisse

• Logische Fehlerraten: Unter Verwendung eines BB5-Codes, der 4 logische Qubits in 18 physikalische Qubits kodiert, erreichten die Autoren logische Fehlerraten, die signifikant niedriger sind als bei einer vorangegangenen supraleitenden Demonstration eines ähnlichen BB-Codes (der 4 logische Qubits in 18 physikalische Qubits mittels 32 Transmonen kodierte). Konkret war die logische Fehlerrate für Z-Fehler 4-mal niedriger und für X-Fehler 9-mal niedriger im Vergleich zum supraleitenden Benchmark.
• Breakeven-Performance: Die Studie berichtet die erste Demonstration der Breakeven-Performance für qLDPC-Codes. Die Lebensdauern der logischen Qubits waren vergleichbar mit – und in einigen Fällen sogar etwas höher als – den Lebensdauern der zugrunde liegenden physikalischen Qubits.
  • Die leistungsfähigste Code-Instanz (GB4 $[[26, 2, 5]]$) wies eine Lebensdauer des logischen Qubits von 3,95 $\pm$ 0,68 s auf, verglichen mit 3,3 $\pm$ 0,9 s für die physikalischen Qubits.
  • Für den BB5 $[[18, 4, 3]]$-Code war die logische Lebensdauer vergleichbar mit der physikalischen Qubit-Lebensdauer ($T_2^* \approx 1,1 \pm 0,3$ s für $X_L$ und $T_1 \approx 3,3 \pm 0,9$ s für $Z_L$).
• Flexibilität: Dieselbe Hardware implementierte erfolgreich Codes mit völlig unterschiedlichen Konnektivitätsanforderungen (von lokalen Toric-Codes bis hin zu hochgradig nicht-lokalen qLDPC-Codes), ausschließlich durch die Software-Rekonfiguration von Gate-Sequenzen und Qubit-Mappings.

Bedeutung und Ansprüche
Das Paper behauptet, dass diese Arbeit einen bedeutenden Meilenstein auf dem Weg zu effizienten fehlertoleranten Architekturen darstellt. Durch die Nutzung der Flexibilität von Ionenfallen-Systemen demonstrieren die Autoren, dass hochgradig effiziente qLDPC-Codes implementiert werden können, ohne die Hardware-Beschränkungen, die ihre experimentelle Realisierung zuvor begrenzt haben. Die erfolgreiche Demonstration der Breakeven-Performance (bei der logische Qubits so lange oder länger leben als physikalische Qubits) für qLDPC-Codes deutet darauf hin, dass diese Codes viable Kandidaten für die erste Generation des FTQC sind. Die neuartige Implementierung der OMG-Architektur wird als kritischer Enabler hervorgehoben, der skalierbare Mid-Circuit-Messungen und Kühlung ohne den Overhead von Ionentransport oder dedizierten Kühl-Spezies ermöglicht. Die Arbeit unterstreicht, dass Ionenfallen-Geräte eine natürliche Plattform für die Realisierung der komplexen Konnektivität sind, die für qLDPC-Codes erforderlich ist.