Quantum subspace verification for error correction codes

Um einen Computer zu bauen, der Probleme lösen kann, die jenseig der Reichweite jeder heutigen Maschine liegen, versuchen Wissenschaftler, Quantencomputer zu erschaffen. Diese Geräte nutzen die seltsamen Regeln der subatomaren Welt, um Informationen auf eine Weise zu verarbeiten, die in unserer alltäglichen Erfahrung unmöglich erscheint. Diese Maschinen sind jedoch unglaublich zerbrechlich. Die geringste Störung durch Hitze, Vibration oder elektromagnetisches Rauschen kann dazu führen, dass die von ihnen gehaltenen Informationen durcheinandergeraten und verschwinden. Um dies zu beheben, nutzen Forscher eine Technik namens Quantenfehlerkorrektur. Anstatt ein einzelnes Stück Information auf einem winzigen Teilchen zu speichern, verteilen sie es auf viele Teilchen und schaffen so ein Sicherheitsnetz. Wenn ein Teilchen einen Fehler macht, können die anderen helfen, ihn zu korrigieren, ganz ähnlich wie bei einem Chor, bei dem das Verfehlen eines Tons durch einen einzelnen Sänger das Lied nicht ruiniert, weil der Rest der Gruppe die Melodie weiterträgt.

Die Herausforderung besteht darin, zu wissen, ob dieses Sicherheitsnetz tatsächlich funktioniert. In der realen Welt sind diese Quantensysteme verrauscht, und die „perfekten“ Zustände, die Wissenschaftler anstreben, werden selten erreicht. Um zu überprüfen, ob ein Quantencomputer seine Aufgabe erfüllt, versuchen Wissenschaftler normalerweise, das gesamte System zu messen, um zu sehen, wie nah es dem Ideal kommt. Aber diese traditionelle Methode ist wie der Versuch, jedes Sandkorn an einem Strand zu zählen, um die Größe des Strandes zu überprüfen; sie erfordert so viel Zeit und Mühe, dass sie für große Systeme unmöglich wird. Eine neue Studie von Junjie Chen und Kollegen bietet einen klügeren Weg, die Gesundheit dieser Quantenfehlerkorrektursysteme zu überprüfen, ohne jedes einzelne Teil messen zu müssen.

Die Forscher erkannten, dass man nicht den exakten Zustand jedes Teilchens kennen muss, um zu verifizieren, ob ein Quantencomputer korrekt arbeitet. Man muss lediglich wissen, ob sich das System innerhalb der spezifischen „sicheren Zone“ befindet, die durch den Fehlerkorrekturcode definiert wurde. Sie entwickelten ein neues Framework namens Quanten-Subraum-Verifizierung (quantum subspace verification). Stellen Sie sich den Fehlerkorrekturcode als ein bestimmtes Zimmer in einem großen Gebäude vor. Das Ziel ist es, sicherzustellen, dass der Computer sich in diesem Zimmer befindet, nicht unbedingt, jede einzelne Stelle innerhalb des Zimmers kartografieren zu müssen. Durch die Konzentration auf diesen breiteren Bereich hat das Team eine Methode entwickelt, die viel weniger Messungen erfordert, um zu bestätügen, dass das System wie beabsichtigt funktioniert.

Das Team testete seine Idee an zwei wichtigen Arten von Fehlerkorrekturcodes, die auf diesem Gebiet verwendet werden: Stabilisator-Codes und Quanten-Low-Density-Parity-Check-Codes. Stabilisator-Codes sind wie ein Satz von Regeln, die den Teilchen sagen, wie sie sich gemeinsam verhalten sollen, während der andere Typ eine komplexere, flexiblere Struktur ist, die darauf ausgelegt ist, Fehler effizient zu handhaben. Die Forscher zeigten, dass sie durch die Verwendung ihrer neuen Methode diese Codes unter Verwendung nur lokaler Messungen verifizieren konnten. Das bedeutet, dass sie nur kleine Gruppen von Teilchen gleichzeitig überprüfen mussten, anstatt das gesamte System auf einmal. Für viele gängige Codes war die Anzahl der erforderlichen verschiedenen Messaufbauten überraschend gering und blieb manchmal konstant, selbst wenn die Größe des Computers größer wurde.

Eine zentrale Erkenntnis war, dass der Aufwand zur Verifizierung des Systems bei bestimmten fortgeschrittenen Codes nicht mit der Anzahl der verwendeten physikalischen Teilchen wächst. In der Vergangenheit bedeutete die Überprüfung eines größeren Systems exponentiell mehr Arbeit, was schnell unhandlich wurde. Mit diesem neuen Ansatz bleibt die Arbeit handhabbar, und in einigen Fällen hängt der Verifizierungsaufwand nur von der Anzahl der logischen Informationseinheiten ab, die geschützt werden, und nicht von der Gesamtzahl der physikalischen Teilchen, die diese halten. Dies ist ein bedeutender Wandel, da es bedeutet, dass Wissenschaftler groß angelegte Quantencomputer verifizieren können, ohne dass die Ressourcen außer Kontrolle geraten.

Die Forscher kombinierten diese neue Verifizierungsmethode auch mit einer bestehenden Technik zur Abschätzung, wie gut ein spezifischer Quantenzustand mit einem Zielzustand übereinstimmt. Diese Kombination ermöglicht es, die Qualität von „Magic States“ zu prüfen – speziellen, komplexen Quantenzuständen, die benötigt werden, um die leistungsfähigsten Berechnungen durchzuführen. Bisherige Methoden zur Überprüfung dieser Zustände waren so ressourcenintensiv, dass sie für große Systeme unpraktikabel waren. Das neue Protokoll reduziert die Anzahl der benötigten Messungen um einen massiven Faktor und macht es möglich, diese kritischen Zustände effizient zu verifizieren.

Die Studie bietet einen klaren Weg nach vorn für das Testen von Quantencomputern, wenn diese an Größe gewinnen. Indem das Team die bekannte Struktur von Fehlerkorrekturcodes nutzt, um die Messungen zu leiten, hat es gezeigt, dass die Verifizierung mit hoher Zuverlässigkeit mit einem Bruchteil der Ressourcen durchgeführt werden kann, die zuvor als notwendig erachtet wurden. Diese Arbeit bietet nicht nur eine theoretische Verbesserung; sie stellt ein praktisches Werkzeug bereit, das auf aktueller und zukünftiger Quantenhardware implementiert werden kann. Während Wissenschaftler der Entwicklung fehlertoleranter Quantencomputer näher kommen, ist eine zuverlässige und effiziente Methode zur Überprüfung ihrer Leistung unerlässlich. Dieses neue Framework stellt sicher, dass wir, wenn diese Maschinen endlich bereit sind, genau wissen, wie gut sie funktionieren.