Quantenfehlerkorrektur: von Schätzungen zu zertifizierten Distanzen

Die Arbeit ersetzt den üblichen Apparat. Der Dekoder rekonstruiert einen kodierten Zustand, indem er bis zu n hoch d plus 1 lokale stochastische Pauli-Fehler untersucht. Er arbeitet mit fester Verarbeitung konstanter Tiefe auf geometrisch einfachen kubischen torischen Codes, auch auf der vierdimensionalen Variante. Expansionstechniken oder Multiskalen-Dekoder braucht er nicht.

Bessere Codes und einfachere Dekoder könnten den Hardware- und Rechenaufwand senken, den fehlertolerante Quantencomputer brauchen. Für alle, die auf nutzbare Maschinen warten, ist das relevant. Doch es sind Fortschritte bei Benchmarks und in der Theorie. Weder Skalierbarkeit noch ein praktikabler Zeitplan sind geklärt.

Eine Sweep-Regel findet und korrigiert Fehler lokal, so wie ein Nachtwächter eine feste Route abgeht. Das Verfahren arbeitet direkt mit den aktuellen Syndromdaten. Es vermeidet die skalenabhängigen Kommunikationsverzögerungen, die praktische Entwürfe bisher ausgebremst haben.

Der Haken ist die Tiefe. Die Arbeit weist keinen konstanten Gesamtaufwand an Tiefe nach. Zuverlässiges Rechnen braucht deshalb weiterhin viele Verarbeitungszyklen.

Zertifizierte Distanzen ersetzen Schätzungen

Quantum Zeitgeist berichtete am 30. Oktober, dass Forscher Mindestdistanzen für 21 neue binäre Quantencodes zertifiziert und Parameter für 34 bestehende Einträge in Grassls Codetabelle verbessert haben. Die Mindestdistanz beruhte bisher auf Schätzungen, nicht auf exakter Berechnung.

Das Team wandte ein Ancestor-Lifting-Theorem auf quasizyklische additive Codes über F4 an. So verknüpfte es die Struktur dieser Codes mit überprüfbaren Distanzen. Die Schlagzeile von Quantum Zeitgeist nennt 28 neue binäre Codes, der Text dagegen 21 neu zertifizierte Codes plus 34 Verbesserungen. Die Ergebnisse zeigen noch keine Skalierbarkeit für praktische Anwendungen, die große Codeparameter erfordern.

Ein geschätzter Benchmark-Eintrag ist kein bewiesener.

Kürzere Qudit-Codes und geschichtete torische Codes

Forscher des Dayalbagh Educational Institute bauten triorthogonale Qudit-Codes mit Parametern von 3 bis 7. Bei gleichem Schutz ergaben sie kürzere Codes als zyklische, verkettete oder Reed-Muller-Entwürfe. Ihre vollständige Suche fand einen fehlererkennenden Code der Länge 11 mit der Primzahl fünf. Sie fand außerdem einen kürzesten fehlererkennenden Code der Länge sieben mit der Primzahl sieben. Kombinierten sie diese Strukturen mit Codes der Distanz zwei, sanken die Kosten für die Destillation von Qutrit-Magic-States unter starkem Rauschen um bis zu einer Größenordnung.

Forscher der Tsinghua-Universität und der Chinesischen Akademie der Wissenschaften wählten einen anderen Weg. Sie zeigten, dass eine Vergröberung um p hoch m minus 1 translationsinvariante p-äre CSS-Codes auf Stapel torischer Codes entkoppelt. Dabei ist m die Zahl der von null verschiedenen Schichten. Die Kriterien lassen sich prüfen: explizite Algorithmen laufen bei fester räumlicher Dimension nach der Profilberechnung in polynomieller Zeit.

Was unbewiesen bleibt

Die Arbeit zu zertifizierten Distanzen verbessert Benchmarks, für die es nur Schätzungen gab. Sie zeigt noch keine Skalierbarkeit auf die großen Codeparameter, die praktische Anwendungen brauchen. Das Ergebnis zum vierdimensionalen torischen Code bietet einen möglichen Weg zu einfacherem Design von Quantencomputern. Einen konstanten Gesamtaufwand an Tiefe garantiert es nicht. Jedes Ergebnis ist ein Schritt, keine Ziellinie.

Für Käufer und Hardware-Hersteller hat sich der Zeitplan nicht bewegt. Bessere Codes, und weiterhin keine nachgewiesene fehlertolerante Maschine.