Arbitrary parallel entangling gates with independent calibration on a trapped ion quantum computer

Dieser Artikel stellt eine neue Methode zur Ausführung beliebiger paralleler verschränkender Gatter auf einem Quantencomputer mit gefangenen Ionen mit unabhängiger Kalibrierung vor, die bei verschiedenen Graphenmustern eine nahezu lineare Beschleunigung und hohe Fidelität erreicht und damit zukünftige Architekturen auf Basis mehrerer mittel langer Ionenketten motiviert.

Das Wesentliche

Stellen Sie sich einen Quantencomputer als eine belebte Küche vor, in der Köche (Qubits) zusammenarbeiten müssen, um ein komplexes Gericht (eine Berechnung) zuzubereiten. Normalerweise müssen zwei Köche, die Zutaten austauschen müssen, um ein Gericht fertigzustellen, dies nacheinander, ein Paar nach dem anderen tun. Wenn Sie zehn Köche haben, bedeutet das neun separate Wege zur Speisekammer, einen nach dem anderen. Das dauert lange, und je länger das Gericht zubereitet wird, desto wahrscheinlicher ist es, dass das Essen verdorben (Fehler schleichen sich ein).

Dieser Artikel stellt eine neue Methode vor, einen „eingefangenen-Ionen"-Quantencomputer (eine Art Computer, der schwebende Atome als seine Köche verwendet) zu betreiben. Die Forscher haben eine Methode entwickelt, die es mehreren Paaren von Köchen ermöglicht, gleichzeitig Zutaten auszutauschen, ohne dass sie gegeneinander stoßen oder andere Gerichte verderben.

Hier ist die Aufschlüsselung ihrer Entdeckung mit einfachen Analogien:

1. Das Problem: Der Stau „Eins nach dem anderen"

In der Vergangenheit, wenn man mehrere Paare von Atomen gleichzeitig verschränken (verbinden) wollte, musste der Computer sehr wählerisch sein.

• Der alte Weg: Es war wie der Versuch, einen Tanz zu koordinieren, bei dem alle in perfektem Gleichschritt bewegen müssen, man aber nur ein Tanzpaar nach dem anderen unterrichten konnte. Wenn man das Tanzmuster (den „Graphen") ändern wollte, musste man anhalten, die ganze Choreografie neu unterrichten und von vorne beginnen.
• Der Kalibrierungs-Albtraum: Um die Timing für 100 verschiedene Paare richtig zu bekommen, hat man normalerweise nur 10 „Lautstärkeregler" (Kalibrierungskontrollen). Zu versuchen, 100 verschiedene Songs mit nur 10 Reglern zu stimmen, ist mathematisch unmöglich, ohne dass sie sich gegenseitig stören.

2. Die Lösung: Der „Hochfrequenz"-Trick

Die Autoren entwickelten eine neue Methode, um die „Musik" (Laserpulse) zu erzeugen, die den Atomen sagt, was zu tun ist.

• Unterschiedliche Frequenzen: Stellen Sie sich vor, die Köche hören Radio. Anstatt dass alle denselben Sender hören, haben die Forscher jedes Paar von Köchen auf eine leicht andere Radiofrequenz abgestimmt.
• Rauschen unterdrücken: Durch sorgfältiges Design der Musik stellten sie sicher, dass Koch A und Koch B nur ihr eigenes Lied hören, während Koch C und Koch D ein anderes hören. Obwohl sie alle im selben Raum sind (derselbe Ionenstrang), tanzen sie nicht versehentlich zur Musik der anderen.
• Die „universelle Playlist": Das Beste daran ist, dass sie eine Master-Playlist erstellt haben, die für jede Kombination von Paaren funktioniert. Ob Sie Koch 1 mit Koch 2 verbinden wollen, oder Koch 5 mit Koch 9, oder alle gleichzeitig, Sie verwenden einfach dieselbe Playlist. Sie müssen keine neue Musik für jedes neue Rezept schreiben.

3. Die Ergebnisse: Geschwindigkeit und Genauigkeit

Das Team testete dies an einem echten Quantencomputer mit einer Kette von 7 Atomen (wobei 5 als „Köche" verwendet wurden).

• Geschwindigkeit: Als sie drei verschiedene berühmte Quantenalgorithmen ausführten (wie ein „Hidden Shift"-Rätsel und einen „Bernstein-Vazirani"-Codeknacker), war die parallele Methode etwa zweimal so schnell wie das Durchführen der Schritte nacheinander. In einigen Fällen war sie sogar noch schneller.
• Qualität: Normalerweise macht es Dinge schneller, sie unordentlicher zu machen. Aber hier waren die „parallelen" Gerichte genauso hochwertig wie die „seriellen" (eins nach dem anderen) Gerichte. Die Fehlerraten blieben niedrig.
• Flexibilität: Sie testeten verschiedene Formen von Verbindungen:
  • Disjunkt: Zwei separate Paare, die allein arbeiten (wie zwei Paare, die in einer Ecke tanzen).
  • Stern-Graph: Ein zentraler Koch, der mit allen anderen verbunden ist (wie eine Nabe).
  • Ring-Graph: Jeder verbindet sich mit seinem Nachbarn in einem Kreis.
  • In allen Fällen funktionierte die Methode, ohne dass die Maschine für jede neue Form neu kalibriert werden musste.

4. Warum das für die Zukunft wichtig ist

Der Artikel legt nahe, dass zukünftige Quantencomputer nicht nur versuchen sollten, eine riesige Kette von Atomen zu bilden (was schwer zu kontrollieren ist) oder viele winzige, getrennte Ketten (bei denen der Transport von Atomen zwischen ihnen langsam ist).

Stattdessen schlagen sie vor, mittelgroße Ketten (wie 10–20 Atome) zu bauen, die viele Dinge gleichzeitig tun können. Da diese neue Methode „beliebige" Verbindungen (jedes gewünschte Muster) ohne die üblichen Kalibrierungsprobleme ermöglicht, macht sie diese mittelgroßen Ketten viel leistungsfähiger und effizienter.

Kurz gesagt: Sie haben herausgefunden, wie man einer Gruppe von Atomen erlaubt, sich paarweise gleichzeitig zu unterhalten, unter Verwendung eines einzigen Satzes von Anweisungen, der für jedes Muster funktioniert, was den Quantencomputer schneller und einfacher zu justieren macht.

Technische Zusammenfassung

1. Problemstellung

Die parallele Verarbeitung ist entscheidend für den Erreichung eines praktischen Quantenvorteils, da sie im Vergleich zur seriellen Gatausführung die Schaltungstiefe und die Ausführungszeit erheblich reduziert. Obwohl gefangenen-Ionen-Quantencomputer eine vollständige Qubit-Konnektivität bieten, die beliebige Muster von Zwei-Qubit-Verschränkungsgattern ermöglicht, stohen bestehende Methoden zur Parallelisierung dieser Gatter an kritische Grenzen:

• Kalibrierungskomplexität: Bisherige Methoden erfordern oft maßgeschneiderte Pulssynthesen für jedes spezifische Gattermuster. Die Kalibrierung von $O(N^2)$ Verschränkungswinkeln unter Verwendung von nur $O(N)$ unabhängigen Steuerparametern (Pulsamplituden pro Ion) ist mathematisch eingeschränkt, was eine unabhängige Kalibrierung beliebiger Muster schwierig oder unmöglich macht.
• Übersprechen und Leistung: Das gleichzeitige Ansteuern mehrerer Gatter führt häufig zu signifikantem Übersprechen zwischen Qubit-Paaren und erfordert übermäßige Laserleistung, die Hardwaregrenzen überschreiten oder die Fidelität verschlechtern kann.
• Skalierbarkeit: Frühere Ansätze (z. B. Refs. [1, 2]) leiden unter hoher Pulskomplexität, mangelnder Stabilität gegenüber Frequenzdrifts oder der Unfähigkeit, überlappende Qubit-Muster (z. B. Sterngraphen) effizient ohne Neusynthese zu handhaben.

2. Methodik

Die Autoren schlagen eine neuartige Methode zur Synthese von Gatterpulsen vor, die beliebige parallele Verschränkungsgatter mit unabhängiger Kalibrierung ermöglicht. Die Kerninnovation besteht darin, Gatterpulse in verschiedene Frequenzbänder zu trennen, um Übersprechen zu minimieren, und eine iterative Projektionsmethode zur Unterdrückung verbleibender Interferenzen zu verwenden.

Der Prozess umfasst drei Hauptschritte:

1. Basisdefinition und Nullraum-Einschränkung (Schritt 1):

   • Die Pulsfunktionen $g_i(t)$ werden unter Verwendung einer Fourier-Basis (Sinusfunktionen) konstruiert.
   • Um sicherzustellen, dass die Qubits am Ende des Gatters von den Bewegungsmoden entkoppelt sind (Erfüllung von $\alpha_{ip} = 0$), werden die Pulse auf den Nullraum einer Matrix $\hat{M}$ eingeschränkt, die aus den Lamb-Dicke-Parametern und den Modenfrequenzen abgeleitet ist. Dies garantiert, dass die transiente Spin-Bewegungs-Verschränkung entfernt wird.

2. Moduszuweisung und -ordnung (Schritt 2):

   • Die Autoren formulieren ein Maximum-Weight-Matching-Problem, um spezifische Qubit-Paare $(i, j)$ bestimmten Bewegungsmoden $p$ und Eigenwerten $\lambda$ zuzuordnen.
   • Das Ziel ist es, die Leistungseffizienz zu maximieren, indem Qubit-Paare mit Moden gepaart werden, die die stärkste Kopplung aufweisen ($\eta_{ip}\eta_{jp}\Lambda_{p,\lambda}$).
   • Gatter werden basierend auf diesen Zuordnungen für die Synthese sortiert, wobei diejenigen mit geringeren Leistungsanforderungen (höhere Kopplungseffizienz) priorisiert werden, um sie zuerst zu lösen.

3. Iterative Pulssynthese mit Übersprechunterdrückung (Schritt 3):

   • Pulse werden iterativ gelöst. Für das $m$-te Gatter wird der Lösungsraum so eingeschränkt, dass er zu allen zuvor gelösten Pulsen ($m' < m$) orthogonal ist.
   • Ein Projektor-Operator $\hat{Q}$ wird konstruiert, um unerwünschte Übersprechtermine ($\chi_{ij}$) zwischen dem aktuellen Gatter und allen zuvor gelösten Gattern explizit zu eliminieren.
   • Dies stellt sicher, dass die Pulse, obwohl sie dasselbe Frequenzband teilen, die Verschränkungswinkel der anderen nicht beeinträchtigen.

Hauptmerkmale der Methode:

• Einzelner Pulssatz: Ein einzelner Satz von $O(N^2)$ Pulslösungen wird für alle möglichen Zwei-Qubit-Gatter generiert. Jedes Teilmenge (Graphmuster) kann implementiert werden, indem einfach die relevanten Pulse ausgewählt werden, wodurch die Notwendigkeit einer Neusynthese entfällt.
• Unabhängige Kalibrierung: Da das Übersprechen mathematisch auf Null gesetzt wird, kann jedes Gatter in einem parallelen Satz unabhängig kalibriert werden, indem seine spezifische Amplitude angepasst wird, ähnlich wie bei seriellen Gattern.
• Leistungsneubalance: Für überlappende Gatter (z. B. ein Sterngraph, bei dem ein Qubit an mehreren Gattern beteiligt ist) wendet die Methode eine Leistungsneubalance an. Die Leistung des zentralen Qubits wird um $\sqrt{d}$ reduziert (wobei $d$ der Grad ist), und die peripheren Qubits werden erhöht, wobei der gesamte Verschränkungswinkel beibehalten wird, während die Spitzenleistung im machbaren Bereich bleibt.

3. Hauptbeiträge

• Graphmuster-unabhängige Implementierung: Die Methode unterstützt beliebige Graphmuster (disjunkte Paare, Sterngraphen, Ringgraphen), ohne dass für jede Konfiguration eine neue Pulssynthese erforderlich ist.
• Unabhängige Kalibrierung: Sie löst den Kalibrierungsengpass, indem sie es ermöglicht, $O(N)$ Gatter gleichzeitig mit $O(N)$ Steuerknöpfen zu kalibrieren, eine Leistung, die bei anderen Methoden zuvor auf disjunkte Paare beschränkt war.
• Stabilität: Die Pulse sind so ausgelegt, dass sie gegenüber Drifts in den Frequenzen der Bewegungsmoden stabil sind (ein Merkmal, das bei früheren Parallelisierungsschemata oft fehlte).
• Speichereffizienz: Durch das Speichern eines einzigen universellen Pulssatzes anstelle von $2^{O(N^2)}$ spezifischen Mustern reduziert die Methode die Speicheranforderungen für die Quantensteuerungselektronik (FPGAs) drastisch.

4. Experimentelle Ergebnisse

Die Autoren implementierten diese Gatter auf einem 171Yb+-Gefangenen-Ionen-Quantencomputer unter Verwendung einer 7-Ionen-Kette (5 aktive Qubits).

• Gatterfidelität:
  • Disjunkte Gatter: Die parallele Ausführung zweier disjunkter XX-Gatter erzielte Fidelitäten von 98,48% und 98,58%, vergleichbar mit seriellen Gattern (~98,5%).
  • Überlappende Gatter: Eine parallele Implementierung zweier Gatter, die ein Ion teilen, erreichte eine Fidelität von 94,99%, vergleichbar mit dem seriellen Äquivalent (96,15%).
• Algorithmische Benchmarks:
  • Hidden Shift (HS) Algorithmus: Die parallele Implementierung reduzierte die Ausführungszeit um ca. 50% und verbesserte die durchschnittliche Fidelität auf 94,58% (vs. 93,15% seriell).
  • Bernstein-Vazirani (BV) Algorithmus: Die Parallelisierung reduzierte die Ausführungszeit erheblich (von $4\tau$ auf $\tau$ oder $2\tau$, je nach Oracle). Die Fidelität blieb mit 97,01% hoch.
  • Heisenberg-Hamiltonian (HH) Simulation: Eine 4-Qubit-Simulation eines Ringgraphen (All-zu-All-Konnektivität) zeigte eine 4-fache Beschleunigung der Ausführungszeit. Die parallele Implementierung ergab einen mittleren quadratischen Abstand zur idealen Simulation von 0,016, deutlich besser als die serielle Implementierung mit 0,037.
• Leistungsskalierung:
  • Für $O(N)$ parallele Gatter skaliert der durchschnittliche Leistungsbedarf linear mit $N$, vergleichbar mit einem einzelnen Gatter.
  • Die Methode vermeidet die exponentielle Leistungsexplosion, die bei anderen Schemata bei der Skalierung auf All-zu-All-Konnektivität beobachtet wird.

5. Bedeutung und Ausblick

• Architektonische Auswirkungen: Die Ergebnisse deuten darauf hin, dass zukünftige gefangenen-Ionen-Quantencomputer mehrere mittel lange Ionenketten anstelle einer einzigen massiven Kette oder vieler winziger disjunkter Ketten nutzen sollten. Diese Architektur maximiert die Vorteile der Parallelisierung und mindert gleichzeitig die Modenüberfüllung und den Overhead durch das Verschieben (Shuttling).
• Fehlertoleranz: Die Fähigkeit, Stabilisatorauslesungen und transversale logische Gatter parallel auszuführen, ist entscheidend für Fehlerkorrekturschemata (z. B. Oberflächencodes), bei denen die Parallelisierung den Zeitoverhead der Syndromextraktion drastisch reduzieren kann.
• Skalierbarkeit: Durch die Entkopplung der Pulssynthese von spezifischen Graphmustern und die Ermöglichung einer unabhängigen Kalibrierung entfernt diese Methode einen Hauptengpass bei der Skalierung gefangenen-Ionen-Systeme auf Hunderte von Qubits.

Zusammenfassend demonstriert diese Arbeit ein robustes, skalierbares und experimentell verifiziertes Framework für parallele Verschränkungsgatter, das die Kalibrierungs- und Übersprechgrenzen früherer Ansätze überwindet und den Weg für effizientere und schnellere Quantenalgorithmen auf gefangenen-Ionen-Hardware ebnet.