Full Extractors for Logical Processing in Hypergraph Product Codes

Um einen Computer zu bauen, der Probleme lösen kann, die jense einer Reichweite heutiger Maschinen liegen, müssen Wissenschaftler zuerst ein grundlegendes Problem lösen: wie man fragile Informationen schützt. Quantencomputer nutzen Teilchen, die sich in empfindlichen Zuständen befinden, und diese Zustände kollabieren leicht, wenn sie durch Hitze oder Rauschen gestört werden. Um dies zu verhindern, nutzen Forscher die Quantenfehlerkorrektur, eine Methode, bei der ein einzelnes Stück Information über viele physikalische Teilchen verteilt wird. Wenn ein Teilchen versagt, halten die anderen die Wahrheit fest. Die heute gebräuchlichste Art, dies zu tun, verwendet eine gitterartige Struktur namens Surface Code, die zwar zuverlässig ist, aber eine riesige Anzahl physikalischer Teilchen erfordert, um nur wenige Informationsstücke zu speichern. Diese hohen Kosten machen groß angelegtes Computing schwierig. Eine neuere Klasse von Codes, bekannt als Quanten-Low-Density-Parity-Check-Codes, bietet eine Möglichkeit, die gleiche Menge an Information mit weit weniger Teilchen zu speichern, aber sie waren schwieriger für tatsächliche Berechnungen zu nutzen, da die für Operationen erforderlichen Verbindungen zwischen den Teilchen komplex sind und mit aktueller Hardware schwer zu bauen sind.

Ein Forschungsteam am Massachusetts Institute of Technology hat nun ein System entworfen, das diese Lücke schließt. Sie entwickelten eine Methode, um Berechnungen auf diesen effizienten Codes durchzuführen, ohne die komplexen, rekonfigurierbaren Verbindungen zu benötigen, die zuvor als notwendig erachtet wurden. Die Forscher bauten, was sie „Full Extractor“ (vollständige Extraktoren) nennen – spezialisierte Hilfssysteme, die an den Hauptspeicher des Computers angeschlossen sind. Diese Extraktoren fungieren als Messwerkzeug, das es dem System ermöglicht, jedes spezifische Informationsstück, das in den Quantenspeicher kodiert ist, auszulesen, ohne den Rest zu stören. Durch die Montage dieser Werkzeuge aus kleineren, verifizierten Komponenten demonstrierte das Team, dass es möglich ist, jede logische Operation auf einem spezifischen Typ eines effizienten Codes zu messen, während die Hardwareverbindungen einfach und fest bleiben.

Die zentrale Herausforderung, die das Team adressierte, war die Frage, wie man die in diesen effizienten Codes gespeicherten Informationen misst. In einem Quantencomputer kann man die Daten nicht einfach ansehen, um zu sehen, was sie sind, denn der Akt des Hinsehens zerstört die Information. Stattdessen muss man sie indirekt mithilfe eines Prozesses messen, der als „Code Surgery“ (Code-Chirurgie) bezeichnet wird. Dies beinhaltet das vorübergehende Verschmelzen des Speicherblocks mit einem zusätzlichen Satz von Hilfsteilchen, das Durchführen einer Messung und das anschließende Trennen der beiden. Frühere Versuche, dies mit effizienten Codes zu realisieren, erforderten die Fähigkeit, die Verbindungen zwischen den Teilchen während des Betriebs umzuverdrahten – eine Fähigkeit, die mit den supraleitenden Chips, die in den meisten aktuellen Quantenprozessoren verwendet werden, schwer zu erreichen ist. Andere Ansätze nutzten feste Verbindungen, konnten aber nur eine begrenzte Anzahl von Operationen messen, was den Computer dazu zwang, komplexe Aufgaben in viele kleinere, langsamere Schritte zu zerlegen. Die Forscher wollten einen Mittelweg finden: ein System mit festen Verbindungen, das dennoch in der Lage ist, jede Operation direkt zu messen.

Um dies zu lösen, konzentrierte sich das Team auf eine spezifische Familie effizienter Codes, die Hypergraph Product Codes genannt werden. Sie entwickelten eine schrittweise Konstruktionsmethode, um ihre Messwerkzeuge zu bauen. Zuerst entwarfen sie kleine, einfache Systeme, die in der Lage sind, Informationen zu messen, die in nur einem Abschnitt des Speichers gespeichert sind. Sie verifizierten, dass diese kleinen Systeme robust genug sind, um Fehler zu handhaben, ohne die Daten zu korrumpieren. Als Nächstes verknüpften sie diese kleinen Systeme über Brückenverbindungen, um ein größeres Werkzeug zu schaffen, das in der Lage ist, alle Informationen in einer Richtung zu messen. Schließlich kombinierten sie zwei dieser größeren Werkzeuge – eines für jede Informationsrichtung – zu einem einzigen, vollständigen System. Dieses Endsystem, der Full Extractor, kann jede mögliche Operation auf dem Speicherblock messen. Entscheidend ist, dass das gesamte System mit einem festen Verbindungsmuster entworft wurde, bei dem kein einzelnes Teilchen mit mehr als zehn anderen verbunden sein muss. Dieses Maß an Konnektivität liegt innerhalb der Reichweite aktueller Fertigungstechniken für supraleitende Quantenprozessoren.

Die Forscher testeten ihr Design mithilfe detaillierter Computersimulationen, um zu sehen, wie es in Gegenwart von Rauschen abschneidet. Sie simulierten ein System mit einem spezifischen Grad an Fehlerprotektion und führten zufällige Fehler ein, um zu sehen, wie gut das System sich erholen kann. In diesen Simulationen, als die physikalischen Komponenten eine Fehlerrate von 0,1 Prozent aufwiesen, maß das System die logische Information mit einer Fehlerrate von etwa eins zu einer Million. Dieses Ergebnis ist signifikant, da es zeigt, dass die Effizienz der neuen Codes nicht zu Lasten der Zuverlässigkeit geht. Die Simulationen zeigten auch, dass die Gesamtgröße des Systems, einschließlich des Speichers und der Messwerkzeuge, nur zwischen 47 und 80 Prozent größer als der Speicherblock selbst war. Dies ist eine dramatische Verbesserung gegenüber früheren Designs, die oft Systeme erforderten, die viel größer waren als der Speicher, den sie schützten.

Die Arbeit legt nahe, dass der Weg zu praktischem Quantencomputing nicht erfordert, auf Hardware zu warten, die sich augenblicklich selbst umverdrahten kann. Stattdessen zeigt sie, dass mit sorgfältigem Architekturdesign bestehende Hardware mit festen Verbindungen die effizientesten Fehlerkorrektur-Codes unterstützen kann. Die Forscher merkten an, dass ihre Simulationen zwar einen spezifischen Typ von Decoder zur Verarbeitung der Fehlerinformationen verwendeten, die grundlegende Architektur jedoch solide ist und sich anpassen kann, sobald sich die Dekodierungsmethoden verbessern. Sie wiesen auch darauf hin, dass ihr aktuelles Design sich auf einen einzelnen Speicherblock konzentriert, die gleichen Prinzipien jedoch verwendet werden könnten, um viele Blöcke miteinander zu verbinden, um einen vollumfänglichen Computer zu bilden. Indem sie bewiesen haben, dass diese effizienten Codes mit einfachen, festen Verbindungen betrieben werden können, haben die Forscher eine große theoretische Barriere für den Bau größerer, leistungsfähigerer Quantenmaschinen beseitigt. Die Ergebnisse deuten darauf hin, dass die durch diese Codes gebotenen Platzersparnisse realisiert werden können, ohne den schweren Rechenaufwand einzuführen, der sie zuvor für die reale Anwendung unpraktisch gemacht hatte.