Fault-tolerant embedding of quantum circuits on hardware architectures via swap gates

Quantencomputer versprechen Probleme zu lösen, für die klassische Maschinen Tausende von Jahren benötigen würden, doch sie stehen vor einer hartnäckigen physischen Hürde. Um zu funktionieren, müssen diese Maschinen empfindliche Operationen zwischen Paaren winziger Teilchen namens Qubits durchführen. In einer idealen Welt könnte jedes Qubit sofort mit jedem anderen Qubit kommunizieren. In der realen Welt jedoch haben die Chips, die wir heute bauen, strikte architektonische Grenzen; ein Qubit kann in der Regel nur mit seinen unmittelbaren Nachbarn interagieren. Wenn eine Berechnung erfordert, dass zwei entfernte Qubits zusammenarbeiten, muss die Information, die sie tragen, über den Chip bewegt werden, um sich zu treffen. Dies geschieht mittels einer spezifischen Operation namens Swap, die die Zustände zweier Qubits austauscht und effektiv die Daten entlang einer Linie von Zwischenpartikeln verschiebt, bis das richtige Paar zusammentrifft.

Die Herausforderung besteht darin, dass diese realen Swaps nicht perfekt sind. Während ein theoretischer Swap Informationen einfach von einem Ort an einen anderen bewegt, führt ein physischer Swap Rauschen ein und kann dazu führen, dass Fehler über den Schaltkreis verbreitet werden. Dies ist ein kritisches Problem für das fehlertolerante Computing, eine Methode, die darauf ausgelegt ist, Berechnungen korrekt laufen zu lassen, selbst wenn einzelne Komponenten ausfallen. Wenn der Prozess des Datentransports die Art und Weise verändert, wie Fehler auftreten, kann dies genau die Sicherheitsmechanismen untergraben, die die Berechnung schützen sollen. Forscher bei Entropica Labs und dem Yale-NUS College haben nun einen Weg demonstriert, Daten über diese eingeschränkten Chips zu bewegen, ohne das fehlertolerante Sicherheitsnetz zu beschädigen. Sie fanden eine einfache Menge von Regeln dafür, wie diese Swaps durchgeführt werden können, die die fehlerkorrigierenden Eigenschaften des ursprünglichen Plans bewahren und es ermöglichen, komplexe Quantenschaltkreise auf aktueller Hardware auszuführen, ohne einen vollständigen Redesign zu benötigen.

Der Kern des Problems liegt darin, wie Fehler durch einen Quantenschaltkreis wandern. In einem perfekten theoretischen Modell sind Fehler isoliert und handhabbar. Wenn Forscher diese Modelle jedoch auf tatsächlicher Hardware ausführen wollen, müssen sie Swap-Gates einfügen, um Qubits an die richtigen Orte zu routen. Diese realen Swaps sind verrauscht; sie können neue Fehler einführen oder dazu führen, dass ein Fehler auf einem Qubit sein benachbartes Qubit kontaminiert. Wenn sich das Muster dieser Fehler zu stark verändert, könnte der Fehlerkorrekturcode, der darauf ausgelegt ist, spezifische Arten von Fehlern zu beheben, versagen. Die Forscher fragten sich, ob es möglich sei, eine Routing-Strategie zu entwerfen, die die Qubits bewegt, aber die Fehlermuster so beibehält, wie sie in der idealen, unverbundenen Version des Schaltkreises aussehen würden.

Um dies zu beantworten, entwickelte das Team eine Strategie, die einschränkt, wie Swaps durchgeführt werden. Sie identifizierten zwei spezifische Arten von Bewegungen, die sicher anzuwenden sind. Die erste Art beinhaltet das Vertauschen eines Qubits, das Daten trägt, mit einem leeren Qubit, das nur für den Transport verwendet wird. Die zweite Art beinhaltet das Vertauschen zweier datentragender Qubits, die kurz davor stehen, gemeinsam eine Berechnung durchzuführen. Durch die Beschränkung des Routings auf nur diese zwei Arten von Bewegungen zeigten die Forscher, dass alle durch die Swaps eingeführten Fehler mathematisch so behandelt werden konnten, als wären sie lediglich zusätzliche, isolierte Fehler auf den Datenseiten selbst. Das bedeutet, dass der Fehlerkorrekturcode dasselbe Fehlermuster sieht, für das er konzipiert wurde, obwohl der Schaltkreis physisch neu angeordnet wurde. Das komplexe Netz von Fehlern, das durch das Bewegen von Daten entsteht, wird effektiv in das Standard-Fehlermodell „absorbiert“, wodurch die Fähigkeit des Schaltkreises zur Selbstkorrektur erhalten bleibt.

Das Team testete diese Idee durch die Simulation der Einbettung einer populären Fehlerkorrekturmethode, bekannt als Surface Code, auf zwei verschiedene Arten von Hardware-Layouts: ein Heavy-Hexagonal-Gitter und ein Standard-Hexagonal-Gitter. Diese Layouts repräsentieren die physischen Verbindungen, die in realen Quantenprozessoren zu finden sind, wie etwa denen von IBM. In ihren Simulationen führten sie zufällige Fehler bei jedem Schritt des Prozesses ein, einschließlich der Swap-Gates, um zu sehen, wie gut das System standhält. Sie verglichen die Leistung dieser neuen Routing-Strategie mit einem theoretischen Ideal, bei dem keine Swaps benötigt würden. Die Ergebnisse zeigten, dass der physische Schaltkreis mit den Swaps zwar tatsächlich verrauschter war, die grundlegende Art und Weise, wie er mit Fehlern umgeht, jedoch intakt blieb. Die Beziehung zwischen der Rate der physischen Fehler und der Rate der logischen Ausfälle blieb konsistent, was bewies, dass die fehlertolerante Natur des Codes bewahrt wurde.

Die Simulationen offenbarten einen spezifischen Preis für die Verwendung dieser Methode. Der zusätzliche Lärm, der durch die Swap-Gates eingeführt wurde, bedeutete, dass die physische Fehlerrate niedriger sein musste, damit das System effektiv arbeitet, im Vergleich zum idealen Szenario. Für das Heavy-Hexagonal-Layout war das effektive Rauschen etwa 3,6-mal höher als das rohe physische Rauschen, während es für das Hexagonal-Layout etwa 1,25-mal höher war. Trotz dieses Anstiegs fanden die Forscher heraus, dass das System immer noch ein klares Schwellenwertverhalten aufwies: Unterhalb eines bestimmten Niveaus an physischem Rauschen funktionierte die Fehlerkorrektur, und oberhalb davon versagte das System. Dieses Schwellenwertverhalten ist das Kennzeichen eines erfolgreichen fehlertoleranten Systems. Die Tatsache, dass die Kurven für die physischen und die idealen Schaltkreise in ihrer Form und Steigung übereinstimmten, bestätigte, dass die Routing-Strategie die zugrunde liegende Logik der Fehlerkorrektur nicht gebrochen hat.

Diese Arbeit bietet einen direkten Weg nach vorn, um komplexe Quantenalgorithmen auf der heutigen begrenzten Hardware auszuführen. Zuviel mussten Forscher zuvor einen Schaltkreis an ein spezifisches Chip-Layout anpassen, indem sie entweder den Algorithmus selbst neu gestalteten oder akzeptierten, dass die Fehlerkorrektur scheitern würde. Jetzt können Forscher einen abstrakten Schaltkreis, der für eine perfekte Maschine entworfen wurde, unter Verwendung dieser spezifischen Swap-Regeln auf ein reales Gerät abbilden, mit der Gewissheit, dass die Sicherheitsmechanismen weiterhin funktionieren werden. Die Studie legt nahe, dass die Hardware zwar unvollkommen ist, die Art und Weise, wie wir Informationen darauf bewegen, dies jedoch nicht sein muss. Indem sie das Routing einfach und eingeschränkt halten, haben die Forscher gezeigt, dass wir die Lücke zwischen theoretischem Quantencomputing und den physischen Maschinen, die wir heute bauen können, schließen können, ohne die Zuverlässigkeit zu opfern, die zur Lösung realer Probleme erforderlich ist.