Dissipative ground-state preparation of a quantum spin chain on a trapped-ion quantum computer

Diese Arbeit demonstriert ein robustes, dissipatives Protokoll zur Präparation des Grundzustands einer transversalen Ising-Spin-Kette mit bis zu 19 Spins auf einem Ionenfallen-Quantencomputer, wobei eine monotone Verbesserung der Fidelität und die Konvergenz zu Zuständen niedriger Energie trotz Hardware-Rauschen gezeigt werden, wobei die Ergebnisse nach Zero-Noise-Extrapolation mit rauschfreien Simulationen übereinstimmen.

Das Wesentliche

Stellen Sie sich vor, Sie versuchen, den tiefsten Punkt in einer riesigen, nebligen Gebirgskette zu finden. In der Welt der Quantenphysik wird dieser „tiefste Punkt“ als Grundzustand bezeichnet, und er hält das Geheimnis darüber bereit, wie sich ein System aus Atomen oder Teilchen verhält, wenn es sich in seinem stabilsten und energetisch niedrigsten Zustand befindet. Diesen Punkt zu finden, ist für herkömmliche Computer unglaublich schwierig, besonders wenn die Gebirgskette riesig und komplex wird.

Dieses Paper beschreibt einen cleveren neuen Weg, diesen tiefsten Punkt mithilfe eines speziellen Typs von Computer zu finden, der aus gefangenen Ionen (geladenen Atomen, die durch Magnetfelder an Ort und Stelle gehalten werden) besteht. Anstatt zu versuchen, den Pfad mathematisch zu berechnen, nutzen die Forscher einen Prozess namens dissipative Grundzustandspräparation.

So funktioniert es, unter Verwendung einiger Alltagsanalogien:

1. Die „Gravitation“ der Quantenwelt

Normalerweise, wenn man etwas abkühlen möchte, um es in seinen stabilsten Zustand zu bringen, lässt man es einfach dort liegen und Energie an die Umgebung abgeben (wie eine heiße Tasse Kaffee, die abkühlt). In der Quantenmechanik ist dies knifflig, da das Messen oder Berühren des Systems das System oft stört.

Die Forscher verwendeten eine Methode, die wie eine Einwegrutsche funktioniert. Sie entwarfen eine spezifische Menge an Regeln (einen „Dissipationskanal“), die wie Gravitation wirkt. Wenn sich das System in einem hochenergetischen Zustand befindet (hoch oben auf dem Berg), drücken die Regeln es nach unten. Wenn es bereits am Boden ist, lassen die Regeln es dort bleiben. Entscheidend ist, dass die Regeln so gestaltet sind, dass das System nicht versehentlich wieder nach oben rutschen kann.

2. Der „Filter“ und der „Sprung“

Um diese Rutsche funktionieren zu lassen, verwendeten sie ein spezielles Werkzeug namens Sprungoperator (Jump Operator). Denken Sie an diesen als einen Türsteher in einem Club.

• Das Ziel: Die Aufgabe des Türstehers ist es, den „Grundzustand“ (den VIP) im Club zu lassen, aber jeden mit höherer Energie hinauszuwerfen.
• Der Filter: Um den Türsteher effektiv zu machen, verwendeten sie eine „Filterfunktion“. Stellen Sie sich ein Sieb vor, das Wasser nur dann durchlässt, wenn es sich in eine bestimmte Richtung bewegt (bergab). Wenn das Wasser versucht, bergauf zu fließen (Energie zu gewinnen), blockiert das Sieb es. Die Forscher haben dieses Sieb perfekt abgestimmt, sodass es nur erlaubt, dass das System Energie verliert, niemals aber Energie gewinnt.

3. Der „Reset-Knopf“-Trick

Das Experiment wurde auf einem echten Quantencomputer (Quantinuums „Reimei“) durchgeführt. Um die „Rutsche“ funktionieren zu lassen, verwendeten sie ein zusätzliches Helfer-Qubit (ein Ansilia-Qubit), das wie ein Reset-Knopf wirkt.

• Sie ließen das System mit diesem Helfer interagieren.
• Dann messen sie den Helfer und setzen ihn auf Null zurück, was effektiv die Information darüber verwirft, was passiert ist.
• Dieser Akt des Verwerfens von Information ist der magische Trick: Er zwingt das Hauptsystem dazu, Energie zu verlieren und sich im niedrigsten Zustand einzupendeln, genau wie das Schütteln einer Box voller Murmeln, bis sie alle am Boden zur Ruhe kommen.

4. Die Herausforderung: Rauschen und „Statik“

Reale Quantencomputer sind verrauscht. Sie sind wie ein Radio mit statischem Rauschen; das Signal wird durch die Umgebung verzerrt. Die Forscher waren besorgt, dass dieses „Rauschen“ (Hardware-Rauschen) das System von der Rutsche stoßen oder verhindern könnte, den Boden zu erreichen.

Sie testeten dies mit Systemen von bis zu 19 Spins (Teilchen). Obwohl die Schaltkreise des Computers massiv waren (sie enthielten über 4.000 Verschränkungsgatter, was für die heutige Technologie sehr viel ist), fand das System konsistent einen niederenergetischen Zustand. Es ging nicht im „Rauschen“ verloren und wurde nicht zu zufälligem Rauschen. Dies zeigt, dass die Methode intrinsisch robust ist – es ist wie ein stabiles Boot, das selbst in unruhiger See aufrecht bleibt.

5. Das Signal bereinigen (Zero-Noise Extrapolation)

Selbst mit einer robusten Methode machte das „Rauschen“ das Endergebnis immer noch leicht ungenau. Um dies zu beheben, verwendeten die Forscher eine Technik namens Zero-Noise Extrapolation (ZNE).

• Die Analogie: Stellen Sie sich vor, Sie versuchen, die wahre Temperatur eines Raumes zu erraten, aber Ihr Thermometer ist leicht defekt und zeigt etwas zu hoch an. Sie nehmen die Messung, dann machen Sie das Thermometer absichtlich schlechter (indem Sie mehr „Rauschen“ hinzufügen) und nehmen eine weitere Messung. Dann machen Sie es noch schlechter und nehmen eine dritte Messung.
• Indem Sie beobachten, wie sich die Messwerte ändern, während Sie das Rauschen verschlimmern, können Sie mathematisch eine Linie zurück zu dem Wert ziehen, den die Messung gehabt hätte, wenn das Thermometer perfekt (rauschfrei) wäre.
• Mit diesem Trick konnten sie ihre Ergebnisse korrigieren, sodass sie exakt mit dem übereinstimmten, was ein perfekter, rauschfreier Computer berechnet hätte.

Das Fazit

Das Paper demonstriert, dass man ein Quantensystem in seinem stabilsten, niedrigsten Energiezustand vorbereiten kann, indem man eine „Einwegrutsche“ nutzt, die es nach unten drückt, und einen „Reset-Knopf“, um Energie wegzuwerfen. Selbst auf einem verrauschten, unvollkommenen Quantencomputer mit tausenden komplexen Schritten funktioniert diese Methode zuverlässig. Durch das mathematische Bereinigen des Rauschens im Anschluss erhielten sie hochgenaue Ergebnisse für Systeme mit bis zu 19 Teilchen, was beweist, dass dieser „dissipative“ Ansatz ein mächtiges Werkzeug für die Zukunft des Quantencomputings ist.

Technische Zusammenfassung

Technische Zusammenfassung: Dissipative Grundzustandspräparation einer Quantenspin-Kette auf einem Ionenfallen-Quantencomputer

Problemstellung
Die Schätzung der Grundeigenschaften vielteiliger Quantensysteme bleibt eine erhebliche Herausforderung, insbesondere für große Systemgrößen und Dimensionen größer als eins, bei denen klassische Methoden wie die exakte Diagonalisierung oder die Dichtematrix-Renormierungsgruppe (DMRG) unpraktikabel werden. Während fehlertolerante Quantenphasenschätzung einen Pfad zum Quantenvorteil bietet, fehlt es aktuellen Noisy Intermediate-Scale Quantum (NISQ)-Geräten an der erforderlichen Fehlerkorrektur für solche Algorithmen. Variationelle Quanten-Eigenwertlösungsverfahren (VQE) werden weit verbreitet eingesetzt, leiden jedoch unter Problemen wie Barren Plateaus und hohem Messaufwand. Kürzlich sind dissipative Protokolle als Alternative hervorgetreten, die Mid-Circuit Measurement and Reset (MCMR) nutzen, um die Dynamik offener Quantensysteme zu simulieren. Die Leistungsfähigkeit und Robustheit dieser Protokolle auf aktueller verrauschter Hardware, insbesondere hinsichtlich ihrer Konvergenzgarantien unter beliebiger zeitlicher Diskretisierung, bedarf jedoch weiterer Untersuchung.

Methodik
Die Autoren schlagen ein dissipatives Grundzustandspräparationsprotokoll für ein eindimensionales Transversalfeld-Ising-Modell auf dem Quantinuum Ionenfallen-Quantencomputer, Reimei, vor und implementieren dieses. Die Methodik umfasst drei primäre Komponenten:

1. Theoretischer Rahmen und Kraus-Darstellung:
   Die Autoren formulieren ein zuvor von Ding et al. [41] vorgeschlagenes Protokoll neu, indem sie eine Kraus-Darstellung für den Dissipationskanal $\Gamma_K$ herleiten. Im Gegensatz zu vorherigen Analysen, die auf die Lindblad-Dynamik (kleine Zeitschritte) beschränkt waren, gilt diese Herleitung für beliebige zeitliche Diskretisierungsschritte $\tau$. Der Kanal wird unter Verwendung eines Ancilla-Qubits und eines erweiterten unitären Operators $\hat{W}(\sqrt{\tau}) = \exp(-i\hat{K}\sqrt{\tau})$ konstruiert, wobei $\hat{K}$ ein Jump-Operator ist, der den Grundzustand annihiliert ($\hat{K}|E_0\rangle = 0$). Die Autoren beweisen, dass die Fidelität zwischen dem Systemzustand und dem eindeutigen Grundzustand unter wiederholter Anwendung von $\Gamma_K$ monoton nicht-abnehmend ist, unabhängig von der Schrittweite $\tau$, vorausgesetzt, der Grundzustand ist der eindeutige stationäre Zustand.

2. Implementierungsdetails:

   • Jump-Operator: Der Jump-Operator wird mittels einer Operator-Fourier-Transformation (OFT) einer Filterfunktion $\tilde{f}(\omega)$ konstruiert, die energieerhöhende Übergänge unterdrückt (Stützung nur auf $\omega \leq 0$). Die Autoren verwenden einen Filter basierend auf der Differenz von Fermi-Dirac-Verteilungen.
   • Diskretisierung: Das kontinuierliche Zeitintegral der OFT wird auf ein endliches Intervall $[-S_s, S_s]$ begrenzt und diskretisiert. Der resultierende unitäre Operator wird unter Verwendung einer zweiten Ordnung Trotter-Formel implementiert, die zwischen der Entwicklung des System-Hamiltonians und den System-Ancilla-Wechselwirkungen (Pauli-Gadgets) abwechselt.
   • Hardware-Ausführung: Die Experimente wurden auf dem Reimei-System (20 Qubits) für Systemgrößen $N=4, 6$ und $19$ durchgeführt. Das Protokoll verwebt dissipative Schritte mit kohärenter unitärer Entwicklung, um die Konvergenz zu beschleunigen.

3. Fehlerunterdrückung:
   Um Hardware-Rauschen zu adressieren, wendeten die Autoren Zero-Noise Extrapolation (ZNE) mittels der Gate-Folding-Methode auf die nativen Zwei-Qubit-$R_{ZZ}$-Gatter an. Sie verglichen lineare und exponentielle Extrapolationsschemata, um rauschfreie Erwartungswerte der Energie zu schätzen.

Wesentliche Beiträge

• Generalisierte theoretische Beweisführung: Die Arbeit erweitert die theoretische Analyse der dissipativen Grundzustandspräparation über das kleine-Schritt-Lindblad-Limit hinaus und beweist eine monotone Steigerung der Fidelität für beliebige Diskretisierungsschritte $\tau$.
• Experimentelle Demonstration: Die Autoren implementierten das Protokoll erfolgreich auf einem Ionenfallen-Quantencomputer für bis zu 19 Spins unter Verwendung eines einzelnen Ancilla-Qubits.
• Robustheitsanalyse: Die Studie zeigt, dass das Protokoll eine intrinsische Robustheit gegenüber Hardware-Rauschen aufweist. Selbst bei Schaltkreisen mit bis zu 4110 verschränkenden Gattern (für $N=19$) konvergierte die Dynamik konsistent zu Zuständen niedriger Energie, weit entfernt vom maximal gemischten Zustand, anstatt vollständig zu versagen.
• ZNE-Validierung: Die Anwendung von ZNE verbesserte die Energieerwartungswerte systematisch und brachte sie innerhalb statistischer Unsicherheiten in Übereinstimmung mit den rauschfreien Simulationen.

Ergebnisse

• Konvergenz: Für $N=4$ und $N=6$ konvergierten die experimentellen Energieerwartungswerte gegen stationäre Zustände, die energetisch signifikant niedriger lagen als der maximal gemischte Zustand, trotz der Anwesenheit von Rauschen.
• Skalierbarkeit: Für das $N=19$ System bereitete das Protokoll erfolgreich Zustände niedriger Energie vor, selbst bei Zeitschritten, die 4110 $R_{ZZ}$-Gattern entsprechen.
• ZNE-Leistung:
  • Für $N=6$ eliminierte ZNE mit exponentieller Extrapolation nahezu vollständig den relativen Fehler (ca. 30 %), der in den rohen verrauschten Daten ($G=1$) vorhanden war.
  • Für $N=19$ reduzierte ZNE den relativen Fehler beim größten Zeitschritt ($m=30$) um etwa den Faktor drei (von $\sim0,5$ auf $\sim0,15$).
  • Die exponentielle Extrapolation übertraf die lineare Extrapolation konsistent, insbesondere bei größeren Systemgrößen und tieferen Schaltkreisen.
• Rauschresistenz: Selbst in Simulationen, in denen die Schaltungstiefe auf 13.700 Gatter getrieben wurde ($m=100$ für $N=19$), behielt das System einen nicht-verschwindenden Energieerwartungswert bei, was darauf hindeutet, dass das Protokoll unter Rauschen nicht einfach zu einem zufälligen gemischten Zustand degradiert.

Bedeutung und Ansprüche
Das Paper behauptet, die intrinsische Robustheit dissipativer Grundzustandspräparationsprotokolle auf aktueller verrauschter Hardware nachgewiesen zu haben. Durch die Ableitung einer Kraus-Darstellung, die für beliebige Zeitschritte gültig ist, liefert die Arbeit eine rigorose Grundlage für die Implementierung dieser Protokolle ohne die strikte Anforderung infinitesimaler Zeitschritte, was für NISQ-Geräte mit begrenzten Kohärenzzeiten entscheidend ist. Die erfolgreiche Präparation von Grundzuständen für bis zu 19 Spins, kombiniert mit der Effektivität von ZNE zur Rückgewinnung rauschfreier Ergebnisse, legt nahe, dass dissipative Protokolle ein praktikabler und robuster Ansatz zur Grundzustandspräparation in der NISQ-Ära sind. Die Autoren merken an, dass eine präzise Schätzung der Spektralparameter (Gap und Radius) vorteilhaft ist, das Protokoll jedoch auch mit ungefähren Werten effektiv bleibt, sofern die Bedingungen der Filterfunktion annähernd erfüllt sind. Sie kommen zu dem Schluss, dass dieser Ansatz eine vielversprechende Alternative zu variationellen Methoden für die Präparation der Grundzustände von Quanten-Viele-Körper-Hamiltonianen darstellt.