Every architecture of six two-qubit gates is locally universal on three qubits

In der Welt des Quantencomputings ist ein Programm eine Sequenz von Instruktionen, die die empfindlichen Zustände winziger Teilchen namens Qubits manipuliert. Während man sich ein einzelnes Qubit als eine rotierende Münze vorstellen kann, die Kopf, Zahl oder eine Mischung aus beidem sein kann, kommt die wahre Kraft dieser Maschinen aus der Verknüpfung dieser Teilchen miteinander. Wenn zwei Qubits interagieren, werden sie verschränkt und teilen eine Verbindung, die es ihnen ermöglicht, sich gegenseitig instantan zu beeinflussen, ungeachtet der Entfernung. Diese Interaktion ist der Motor der Quantengeschwindigkeit, aber sie ist auch der schwierigste Teil beim Bau. In echter Hardware sind diese Zwei-Qubit-Interaktionen langsam und fehleranfällig, während Ein-Qubit-Operationen schnell und zuverlässig sind. Aus diesem Grund sind Ingenieure und Wissenschaftler besessen von Effizienz: Sie wollen wissen, welche absolute Mindestanzahl dieser schwierigen Interaktionen erforderlich ist, um jede mögliche Berechnung an einer kleinen Gruppe von Qubits durchzuführen.

Für ein System von nur drei Qubits besteht das Ziel darin, jede mögliche Konfiguration ihres kombinierten Zustands erzeugen zu können. Mathematisch gesehen ist dieser Raum der Möglichkeiten gewaltig und enthält dreiundsechzig unabhängige Bewegungsrichtungen. Seit Jahrzehnten wissen Forscher, dass eine grobe Zählung der verfügbaren Regler darauf hindeutet, dass sechs dieser schwierigen Zwei-Qubit-Interaktionen ausreichen sollten, um jeden Winkel dieses Raums zu erreichen. Doch eine einfache Zählung der Regler ist keine Garantie. Nur weil eine Maschine über genügend Drehknöpfe verfügt, bedeutet das nicht, dass diese so angeordnet sind, dass man sie alle unabhängig voneinander drehen kann. Es ist möglich, dass die Regler auf eine verborgene Weise mechanisch gekoppelt sind, was verhindert, dass die Maschine bestimmte Zustände erreicht, selbst wenn die Zahlen stimmen. Die Frage blieb: Sind sechs wirklich genug, oder verhindert die spezifische Anordnung dieser Interaktionen eine verbundene Blockade, die die Maschine daran hindert, voll funktionsfähig zu arbeiten?

Ein Forschungsteam der Seoul National University hat diese Frage nun mit absoluter Gewissheit beantwortet. Sie haben bewiesen, dass für jede Anordnung von sechs Zwei-Qubit-Gattern auf drei Qubits das System tatsächlich in der Lage ist, jeden möglichen Zustand zu erreichen, sofern die Gatter nicht redundant sind. Ihre Arbeit geht über die alte Vorstellung hinaus, dass nur eine einzige, spezifische, glückliche Anordnung von Gattern funktionieren könnte. Stattdessen zeigten sie, dass die Fähigkeit, den vollen Raum der Möglichkeiten zu erreichen, ein robustes Merkmal der Zahl sechs selbst ist. Ob die Gatter nun in einer geraden Linie, abwechselnd zwischen Nachbarn oder in einem anderen nicht-repetitiven Muster angeordnet sind, sechs Interaktionen reichen aus, um die volle Kraft von drei Qubits freizusetzen.

Um zu diesem Schluss zu kommen, mussten die Forscher das Problem auf eine sehr spezifische Weise betrachten. Sie behandelten den Quantenschaltkreis nicht als statisches Objekt, sondern als eine Landkarte, die sich verändert, während man an den Knöpfen dreht. Sie fragten sich, ob die Landkarte an einem spezifischen Punkt des Betriebs der Maschine „vollen Rang“ besitzt, was bedeutet, dass eine winzige Änderung in einer der sechs Gatter-Einstellungen es dem System ermöglichen würde, sich in eine neue, unabhängige Richtung zu bewegen. Wenn das System sich in dreiundsechzig unabhängigen Richtungen bewegen kann, kann es letztlich jeden Punkt im riesigen Raum der Drei-Qubit-Zustände erreichen. Die Forscher entwickelten eine Methode, um dies für jedes mögliche Muster von Gate-Verbindungen zu überprüfen. Sie reduzierten das Problem auf seine wesentliche Form, indem sie wiederholte Gatter ignorierten, die auf demselben Paar von Qubits hintereinander wirken, da diese keine neue Leistung hinzufügen.

Anschließend untersuchten sie jedes einzigartige Muster von Verbindungen, die mit zwei, drei, vier, fünf und sechs Gattern erstellt werden könnten. Für die kürzeren Muster bestätigten sie, dass das System nicht in der Lage ist, den vollen Raum zu erreichen, was den bekannten Grenzen entspricht. Doch für die Sechs-Gatter-Muster fanden sie etwas Bemerkenswertes. Für jedes einzelne der zweiundzwanzig getesteten, distinkten Muster fanden sie eine spezifische Einstellung, bei der das System sich gleichzeitig in alle dreiundsechzig Richtungen bewegen konnte. Sie verließen sich nicht auf Computersimulationen, die Rundungsfehler verbergen könnten. Stattdessen nutzten sie eine Technik, die auf exakten mathematischen Zertifikaten beruht, und verifizierten ihre Ergebnisse mittels ganzzahliger Arithmetik in massivem Umfang, um sicherzustellen, dass die Antwort bis auf die letzte Stelle korrekt ist.

Das Ergebnis ist eine definitive Bestätigung, dass sechs die magische Zahl für drei Qubits ist, aber nicht aufgrund eines glücklichen Zufalls. Es ist eine fundamentale Eigenschaft der Architektur. Selbst auf einer einfachen, linearen Kette von drei Qubits, bei der die Gatter nur mit ihren unmittelbaren Nachbarn interagieren können, reicht es aus, die Interaktionen zwischen dem ersten und zweiten Qubit sowie zwischen dem zweiten und dritten Qubit abzuwechseln, um die volle Universalität zu erzeugen. Dieser Befund ist entscheidend für den Bau echter Quantencomputer. Er sagt Ingenieuren, dass sie keine komplexen All-to-All-Verbindungsnetzwerke entwerfen müssen, um das Beste aus einem Drei-Qubit-System herauszuholen. Eine einfache, feste Verbindungskette ist ausreichend, vorausgesetzt, man verwendet sechs dieser leistungsstarken Interaktionen.

Die Studie klärt auch, was weiterhin unbekannt ist. Während das Team bewiesen hat, dass das System jeden Zustand lokal erreichen kann – das heißt, dass es durch Anpassung der Gatter beliebig nah an jeden Zielzustand herankommen kann –, haben sie nicht bewiesen, dass jeder einzelne Zustand mit einem einzigen, perfekten Satz von sechs Gattern erreicht werden kann. Es mag noch einige wenige, seltene, spezifische Zustände geben, die mehr als sechs Gatter erfordern, um exakt erreicht zu werden. Die Forscher haben jedoch die Vorstellung widerlegt, dass das Nichterreichen dieser Zustände auf einen Mangel an Verbindungen oder einen Mangel an Steuerreglern zurückzuführen ist. Wenn ein Sechs-Gatter-System einen spezifischen Zustand nicht erzeugt, liegt das nicht daran, dass die Maschine defekt oder das Design fehlerhaft ist; es ist eine tiefere, globale mathematische Eigenschaft, die noch gelöst werden muss.

Indem sie die Tür zu lokalen Hindernissen geschlossen haben, schärft diese Arbeit den Fokus für die Zukunft. Sie zeigt uns, dass der Weg zum Bau effizienter Quantenschaltkreise klar ist: Wir können einfache, feste Layouts verwenden, ohne befürchten zu müssen, dass uns Leistung fehlt. Die Herausforderung besteht nun vollständig im globalen Problem, die exakten Einstellungen für jede gegebene Aufgabe zu finden. Die Forscher haben gezeigt, dass die Tür entriegelt ist; der nächste Schritt ist lediglich, den richtigen Schlüssel für jedes spezifische Schloss zu finden. Diese Gewissheit bietet ein solides Fundament für das Kompilieren von Quantenprogrammen und stellt sicher, dass Ingenieure, wenn sie Schaltkreise für drei Qubits entwerfen, darauf vertrauen können, dass sechs Interaktionen ausreichen, um die gesamte Landschaft der Möglichkeiten zu erkunden.