Generating Compilers for Qubit Mapping and Routing
Dieses Paper schlägt einen automatisierten Ansatz zur Generierung von Qubit-Mapping- und Routing-Compilern für diverse Quantenprozessoren vor, indem es eine gemeinsame Zustandsautomatenstruktur des Geräts identifiziert, was die Erstellung einer domänenspezifischen Sprache und eines parametrischen Algorithmus ermöglicht, die Compiler erzeugen, welche mit spezialisierten, handgeschriebenen Lösungen konkurrieren können.
Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen
Stellen Sie sich vor, Sie versuchen, eine riesige, chaotische Tanzparty zu organisieren. Sie haben eine Gruppe von Tänzern (den Quantenschaltkreis), die gemeinsam bestimmte Bewegungen ausführen müssen. Die Tanzfläche (den Quantenprozessor) hat jedoch sehr seltsame Regeln:
- Einige Tänzer können nur mit ihren unmittelbaren Nachbarn Händchen halten.
- Einige Tänzer können sich nur bewegen, wenn der Boden vollkommen glatt ist.
- Einige Bewegungen erfordern einen speziellen „magischen“ Partner, der in einer bestimmten Ecke steht.
- Wenn zwei Tänzer versuchen, zur gleichen Zeit die Wege zu kreuzen, könnten sie zusammenstoßen und die gesamte Aufführung ruinieren.
Ihr Ziel ist es, jedem Tänzer zu sagen, wo er stehen soll und in welcher Reihenfolge er sich bewegen muss, damit er den Tanz so schnell und präzise wie möglich beenden kann. Dies ist das Qubit Mapping and Routing (QMR) Problem.
Der alte Weg: Eine neue Karte für jeden Boden erstellen
Früher musste man jedes Mal, wenn eine neue Art von Tanzfläche erfunden wurde (wie ein Boden aus supraleitendem Metall oder einer aus schwebenden Atomen), bei Null anfangen. Man musste einen völlig neuen, maßgeschneiderten Satz von Anweisungen (einen Compiler) speziell für diesen einen Boden schreiben.
Es war, als würde man für jedes Haus, das man bauen wollte, einen anderen Architekten engagieren, selbst wenn die Häuser fast identisch waren. Wenn morgen ein neues Hausdesign auf den Markt käme, müsste man einen neuen Architekten engagieren und von vorne beginnen. Das war langsam, teuer und schwer durchzuhalten.
Der neue Weg: Der „Amaro“-Blueprint-Generator
Die Autoren dieser Arbeit, von der University of Wisconsin-Madison, stellten eine einfache Frage: „Können wir eine Maschine bauen, die automatisch die Anweisungen für jede beliebige Tanzfläche entwirft, indem wir einfach nur die Regeln des Bodens beschreiben?“
Sie entwickelten ein System namens Amaro (Abstract MApping and ROuting). Betrachten Sie Amaro als einen universellen Übersetzer oder einen Rezeptgenerator.
Die Sprache (Das Rezeptbuch): Sie erfanden eine einfache, spezialisierte Sprache (wie eine sehr kurze, klare Bedienungsanleitung), in der Sie einfach nur die Regeln Ihrer spezifischen Tanzfläche beschreiben.
- Beispiel: „Tänzer können nur mit Nachbarn Händchen halten“ oder „Tänner können die Plätze tauschen, wenn sie nebeneinander stehen.“
- Für einen Standard-Quantencomputer mit Rauschen beträgt diese Beschreibung lediglich 12 Zeilen.
Der Generator (Der Koch): Sobald Sie diese wenigen Zeilen mit Regeln geschrieben haben, „kocht“ Amaro automatisch einen maßgeschneiderten Compiler (den Satz von Anweisungen) speziell für diesen Boden zusammen. Es benötigt keinen Menschen, der die komplexe Mathematik schreibt; es findet dies basierend auf Ihrer Beschreibung selbst heraus.
Der Solver (Der Tanzchoreograf): In diesem generierten Compiler steckt ein intelligenter Algorithmus. Er versucht nicht, die perfekte Lösung zu finden (was oft in einer vertretbaren Zeit nicht berechenbar ist). Stattdessen nutzt er eine clevere Strategie namens Simulated Annealing (denken Sie an das Schütteln einer Box mit Puzzleteilen, bis sie gut zusammenpassen) um eine sehr gute Lösung schnell zu finden. Er baut den Tanz Schritt für Schritt auf und stellt sicher, dass niemand zusammenstößt und der Tanz in den wenigsten Schritten abgeschlossen ist.
Wie gut funktioniert es?
Das Team testete ihren „universellen Übersetzer“ gegen die besten menschengeschriebenen Compiler für sieben verschiedene Arten von Quantenhardware, darunter:
- Verrauschte Computer (die, die heute verfügbar sind).
- Ionenfallen (Tänzer, die in Magnetfeldern schweben).
- Fehlerkorrigierte Computer (zukünftige Maschinen, die ihre eigenen Fehler korrigieren).
Die Ergebnisse:
- Geschwindigkeit: Die automatisch generierten Compiler waren genauso schnell wie die menschengeschriebenen Compiler.
- Qualität: In vielen Fällen fanden die generierten Compiler bessere Lösungen (weniger Fehler, schnellere Tänze) als die spezialisierten menschlichen Werkzeuge. Beispielsweise fand ihr generierter Compiler für einen Typ zukünftiger Computer in 93 % der Fälle eine bessere Lösung als die alte Baseline.
- Vielseitigkeit: Sie konnten ein völlig neues, komplexes Quantenproblem in nur wenigen Zeilen Code beschreiben, und das System generierte sofort einen funktionierenden Compiler dafür.
Das große Ganze
Die Arbeit behauptet, dass wir anstatt das Rad für jeden neuen Quantencomputer-Entwurf neu zu erfinden, nun einfach die Regeln des neuen Designs beschreiben können, und Amaro automatisch den benötigten „Verkehrsleiter“ baut, um Programme auf ihm auszuführen. Dies macht es viel einfacher, sich an die sich schnell ändernde Welt der Quantenhardware anzupassen, und stellt sicher, dass wir, sobald neue Maschinen gebaut werden, diese sofort effizient nutzen können.
Ertrinken Sie in Arbeiten in Ihrem Fachgebiet?
Erhalten Sie tägliche Digests der neuesten Arbeiten passend zu Ihren Forschungsbegriffen — mit technischen Zusammenfassungen, in Ihrer Sprache.