Separate and efficient characterization of state-preparation and measurement errors using single-qubit operations

Dieser Beitrag stellt ein effizientes Protokoll vor, das ausschließlich Ein-Qubit-Gatter und wiederholte zerstörungsfreie Messungen verwendet, um Zustandspräparations- und Messfehler separat zu charakterisieren, demonstriert dessen Anwendung auf IBM-Quantum-Geräten und unterstreicht die Notwendigkeit, Zustandspräparationsfehler zu berücksichtigen, um verzerrte Ergebnisse bei der Messfehlerkorrektur zu vermeiden.

Das Wesentliche

Stellen Sie sich vor, Sie versuchen, ein sehr präzises Foto eines winzigen, zerbrechlichen Objekts (eines Quantenbits oder „Qubits") zu machen. Um ein gutes Bild zu erhalten, müssen zwei Dinge perfekt funktionieren:

1. Szene einrichten (Zustandspräparation): Sie müssen das Objekt genau in die richtige Position bringen, bevor Sie das Foto machen.
2. Foto machen (Messung): Ihre Kamera muss genau das aufnehmen, was da ist, ohne das Bild zu verwischen oder falsch zu interpretieren.

In der Welt der Quantencomputer sind beide Schritte fehleranfällig. Oft treten die Fehler bevor der Computer seine eigentliche Arbeit beginnt (falsches Einrichten der Szene) oder nachdem er fertig ist (die Kamera liest das Ergebnis falsch ab) auf. Diese werden collectively als SPAM-Fehler (State-Preparation And Measurement errors) bezeichnet.

Das Problem besteht darin, dass die meisten bestehenden Methoden zur Korrektur dieser Fehler sie als einen einzigen, unübersichtlichen Klumpen behandeln. Sie gehen davon aus, dass nur die „Kamera" schuld ist, oder sie versuchen, alles auf einmal mit komplexen, langsamen und fehleranfälligen Werkzeugen zu beheben.

Diese Arbeit stellt eine neue, clevere Methode namens QSPAM (Quantum SPAM) vor, die wie ein Detektiv funktioniert und die Fehler beim „Einrichten der Szene" von den Fehler beim „Machen des Fotos" trennt, und zwar ausschließlich mit einfachen, schnellen Werkzeugen.

Die Kernidee: Der „Kein-Reset"-Trick

Normalerweise wird beim Messen eines Quantenbits der Zustand zerstört, und man muss von vorne beginnen, um es erneut zu versuchen. Diese Arbeit schlägt einen anderen Ansatz vor: messen Sie dasselbe Qubit zweimal hintereinander, ohne es zurückzusetzen.

Stellen Sie es sich so vor:

• Standardmethode: Sie fragen einen Freund: „Ist das Licht an?" Er sagt: „Ja." Dann setzen Sie den Raum zurück, fragen erneut, und er sagt: „Nein." Sie müssen raten, ob sich das Licht geändert hat oder ob Ihr Freund einfach nur schlecht im Antworten ist.
• QSPAM-Methode: Sie fragen: „Ist das Licht an?" Er sagt: „Ja." Ohne den Raum zu verändern, fragen Sie sofort: „Ist das Licht immer noch an?" Er sagt: „Ja."

Indem man das Muster der Antworten auf diese aufeinanderfolgenden Fragen betrachtet, zeigen die Autoren, dass man die beiden Probleme mathematisch entwirren kann:

1. Hat der Freund angefangen, obwohl das Licht eigentlich aus war, aber dachte, es sei an? (Zustandspräparationsfehler)
2. Hat der Freund das Licht korrekt gesehen, aber versehentlich das falsche Wort gesagt? (Messfehler)

Wie sie es gemacht haben (Die einfachen Werkzeuge)

Die Autoren benötigten keine komplexen, schweren Maschinen. Sie verwendeten nur Ein-Qubit-Operationen (einfache Rotationen des Quantenbits) und wiederholte Messungen.

• Die Analogie: Stellen Sie sich vor, Sie versuchen, eine Waage zu kalibrieren, die sowohl unausgeglichen ist (sie startet mit einem Gewicht darauf) als auch einen klebrigen Zeiger hat (sie zeigt nicht immer auf die richtige Zahl). Anstatt eine neue, teure Waage zu bauen, legen Sie einfach ein bekanntes Gewicht darauf, wiegen es und wiegen es sofort danach erneut. Durch den Vergleich der beiden Ergebnisse können Sie genau berechnen, wie stark die Waage am Anfang daneben lag versus wie stark der Zeiger klebt.

Was sie herausfanden

Das Team testete dies an echten Quantencomputern von IBM. Hier ist, was sie entdeckten:

1. Die Fehler sind real und getrennt: Sie fanden heraus, dass Fehler beim „Einrichten der Szene" (Präparation) und Fehler beim „Lesen des Ergebnisses" (Messung) unterschiedlich sind. In einigen Fällen lag die Präparation um bis zu 6,5 % daneben, und die Lesefehler lagen bei bis zu 19 %. Das ist eine enorme Menge an Rauschen für einen Computer, der präzise Mathematik betreiben soll.
2. Die „Kamera" ist nicht immer einfach: Sie fanden heraus, dass für einige Qubits der Messprozess komplexer ist als ein einfacher „Ja/Nein"-Schalter; er hat einen kleinen „Glitch", der ihn auf eine nicht-standardisierte Weise verhalten lässt. Ihr neues Protokoll konnte dies erkennen, während ältere Methoden es übersehen hätten.
3. Das Beheben nur der Hälfte des Problems macht es schlimmer: Dies ist ein entscheidendes Ergebnis. Wenn Sie versuchen, die „Kamera"-Fehler (Messung) zu beheben, aber die Fehler beim „Einrichten der Szene" (Präparation) ignorieren, ist Ihre endgültige Antwort nicht nur leicht falsch – sie kann völlig falsch sein.
   • Die Metapher: Stellen Sie sich vor, Sie versuchen, die durchschnittliche Körpergröße einer Gruppe von Menschen zu berechnen. Wenn Sie ein verbogenes Lineal verwenden (Messfehler), erhalten Sie ein falsches Ergebnis. Aber wenn Sie alle auch noch auf eine schräge Plattform stellen (Präparationsfehler) und nur versuchen, das Lineal zu reparieren, könnte Ihre endgültige Berechnung am Ende ergeben, dass die Menschen 3 Meter groß sind! Die Arbeit zeigt, dass das Ignorieren der „schiefen Plattform" zu „nicht-physikalischen" Ergebnissen führt (Zahlen, die in der Realität keinen Sinn ergeben).

Warum das wichtig ist

Die Arbeit argumentiert, dass Quantencomputer nützlich sein können, müssen wir genau wissen, woher die Fehler kommen.

• Effizienz: Ihre Methode ist schnell. Sie erfordert keinen Aufbau komplexer Schaltungen, die mit der Größe des Computers wachsen. Sie funktioniert genauso gut für 2 Qubits wie für 100.
• Genauigkeit: Durch die Trennung der Fehler können sie diese einzeln beheben. Dies führt zu viel genaueren Ergebnissen beim Ausführen von Quantenalgorithmen.
• Realitätscheck: Sie bewiesen, dass die „Standard"-Methode zur Fehlerkorrektur (die davon ausgeht, dass das Setup perfekt ist) uns oft belügt und uns falsche Antworten mit Zuversicht präsentiert.

Kurz gesagt, die Autoren haben ein einfaches, effizientes „Diagnosewerkzeug" entwickelt, das Quanteningenieurs genau sagt, wie ihre Maschine das Setup und das Auslesen vermasselt, sodass sie die Maschine richtig reparieren können, anstatt nur zu raten.

Technische Zusammenfassung

1. Problemstellung

In Quantencomputing-Plattformen (insbesondere supraleitenden Qubits) dominieren State-Preparation and Measurement (SPAM)-Fehler häufig über Ein-Qubit-Gate-Fehler. Eine genaue Charakterisierung dieser Fehler ist entscheidend für:

• Die Entwicklung effektiver Fehlerminderungsstrategien.
• Die Verbesserung der Hardware-Genauigkeit.
• Die Sicherstellung der Zuverlässigkeit von Quantenalgorithmen (z. B. Phasenschätzung, Fehlerkorrektur).

Einschränkungen bestehender Protokolle:

• Gekoppelte Charakterisierung: Standardprotokolle schätzen oft das Produkt von SP- und Messfehler ($\alpha_M \alpha_{SP}$) ab, anstatt sie zu trennen. Dies basiert auf der Annahme, dass SP-Fehler vernachlässigbar sind ($\alpha_{SP} \approx 1$), was auf aktuellen Geräten häufig ungültig ist.
• Ressourcenintensität: Protokolle, die diese Fehler tatsächlich trennen, erfordern oft Zwei-Qubit-Gates (was die Genauigkeit auf die Genauigkeit des Zwei-Qubit-Gates begrenzt) oder Hilfsqubits, was ihre Skalierbarkeit erschwert.
• Skalierbarkeit: Einige bestehende Methoden, die Ein-Qubit-Gates verwenden, beruhen auf Schaltkreisen, die sich polynomial mit der Systemgröße skalieren, wodurch Umgebungsrauschen die Schätzungen verfälschen kann.
• Verzerrung bei der Minderung: Aktuelle Techniken zur Messfehlerminderung, die SP-Fehler ignorieren, können zu verzerrten und manchmal nicht-physikalischen Schätzungen von Erwartungswerten beobachtbarer Größen führen.

2. Methodik: Das QSPAM-Protokoll

Die Autoren schlagen das Quantum SPAM (QSPAM)-Protokoll vor, das SP- und M-Fehler unabhängig voneinander unter Verwendung ausschließlich hochgenauer Ein-Qubit-Gates und wiederholter Messungen ohne Reset charakterisiert.

Kernannahmen

• Hochgenaue Ein-Qubit-Gates: Gate-Fehler sind im Vergleich zu SPAM-Fehlern vernachlässigbar.
• Zerstörungsfreie Messungen: Der Qubit-Zustand überlebt den Messprozess (oder wird in einen bekannten Post-Messungs-Zustand zurückgesetzt).
• Unkorrelierte Fehler: SP- und M-Fehler sind über die Qubits hinweg räumlich und zeitlich unkorreliert.
• Klassische M-Fehler: Messfehler werden als klassische Zuordnungsfehler (diagonale POVM-Elemente) modelliert, obwohl das Protokoll Abweichungen davon erkennen kann.

Theoretischer Rahmen

Das Protokoll unterscheidet zwischen zwei Versionen:

1. sQSPAM (Vereinfachtes QSPAM): Geht davon aus, dass Messoperatoren (Kraus-Operatoren) diagonal sind. Es erfordert 5 Experimente pro Qubit.
2. QSPAM (Allgemeines QSPAM): Berücksichtigt nicht-diagonale Messoperatoren (off-diagonale Elemente in den Kraus-Operatoren). Es erfordert 8 Experimente pro Qubit.

Schlüsselmechanismus:
Das Protokoll nutzt wiederholte Messungen ohne Reset. Durch das Vorbereiten eines Zustands, das Messen und das unmittelbare erneute Messen (bedingt durch das erste Ergebnis) erzeugt das Protokoll ein System nichtlinearer Gleichungen, das die Anfangszustandspräparationsgenauigkeit ($\alpha_{SP}$) von der Auslesegenauigkeit ($\alpha_M$) entkoppelt.

• Standard-SPAM: Misst $P_{z+ \to z-}$ und $P_{z- \to z+}$. Dies liefert zwei Gleichungen mit drei Unbekannten ($\alpha_M, \delta, \alpha_{z,SP}$), was die Annahme $\alpha_{z,SP} \approx 1$ erfordert.
• QSPAM: Fügt eine Sequenz $P_{z+ \to z+ \to z+}$ hinzu (zweimal messen). Dies liefert eine dritte unabhängige Gleichung, die die eindeutige Lösung von $\alpha_M, \delta$ und $\alpha_{z,SP}$ ermöglicht, ohne eine perfekte Zustandspräparation anzunehmen.
• Vollständige Charakterisierung: Durch das Rotieren des Anfangszustands mittels Hadamard ($H$) und $\sqrt{X}$ ($SX$) Gates vor der Messung charakterisiert das Protokoll alle drei Komponenten des SP-Bloch-Vektors ($\alpha_{x,SP}, \alpha_{y,SP}, \alpha_{z,SP}$).

Schaltungstiefe und Skalierbarkeit

• Die Schaltungstiefe ist konstant und unabhängig von der Systemgröße ($N$).
• Das Protokoll ist hochgradig parallelisierbar und ermöglicht die gleichzeitige Charakterisierung aller Qubits in einem Gerät.
• Die Präzision skaliert als $\nu^{-1/2}$ (wobei $\nu$ die Anzahl der Shots ist), begrenzt nur durch statistisches Rauschen.

3. Hauptbeiträge

1. Entkopplung von SP- und M-Fehlern: Eine rigorose Methode, um SP- und M-Parameter unabhängig voneinander unter Verwendung nur von Ein-Qubit-Operationen zu extrahieren, wodurch die Notwendigkeit der Annahme „perfekter SP" entfällt.
2. Effizienz: Das Protokoll erfordert eine feste Anzahl von Experimenten (5 oder 8) pro Qubit, unabhängig von der Systemgröße, und vermeidet so die Skalierungsprobleme früherer Methoden.
3. Erkennung nicht-diagonaler M-Operatoren: Das allgemeine QSPAM-Protokoll kann nicht-diagonale Elemente in Messoperatoren (parametrisiert durch $\epsilon$) erkennen und quantifizieren, was Standard-Diagonalmodelle übersehen.
4. Verzerrungskorrektur: Es wird gezeigt, dass die Standardminderung (Ignorieren von SP-Fehlern) zu einer Überschätzung der Erwartungswerte beobachtbarer Größen führt, insbesondere für kollektive Observablen wie GHZ-Zustandsstabilisatoren.

4. Experimentelle Ergebnisse

Die Autoren validierten das Protokoll auf IBM Quantum-Geräten (speziell ibm_brisbane und ibm_sherbrooke).

• Validierung der Unabhängigkeit: Durch das künstliche Einbringen von SP-Fehlern (via $R_x(\phi)$-Rotationen) in die Initialisierung zeigten sie, dass der charakterisierte M-Fehler-Parameter ($\hat{\alpha}_M$) stabil blieb, während sich der SP-Parameter ($\hat{\alpha}_{z,SP}$) genau wie vorhergesagt veränderte. Dies bestätigte, dass das Protokoll die beiden Fehlerquellen erfolgreich trennt.
• Gerätecharakterisierung:
  • SP-Unvollkommenheiten erwiesen sich als signifikant und erreichten bis zu 6,57 %.
  • Zuordnungsfehler bei der Auslese erreichten bis zu 19,1 %.
  • Die meisten Qubits wiesen diagonale Messoperatoren auf ($\epsilon \approx 0$), aber Qubit 61 zeigte eine signifikante nicht-diagonale Komponente ($\hat{\epsilon} \approx 0,0015$), was die Notwendigkeit des allgemeinen QSPAM-Protokolls beweist.
• GHZ-Zustandsexperimente:
  • Die Autoren bereiteten GHZ-Zustände auf bis zu 12 Qubits vor und maßen die kollektive Observable $\langle Z^{\otimes N} \rangle$.
  • Standardminderung: Geht von perfektem SP aus, was zu einer signifikanten Überschätzung des Erwartungswerts führt (manchmal mit nicht-physikalischen Werten $>1$).
  • QSPAM-Minderung: Berücksichtigt SP-Fehler korrekt und liefert genaue Erwartungswerte, die den theoretischen Vorhersagen für rauschbehaftete Systeme entsprechen.
  • Mit zunehmender Anzahl der Qubits wuchs der Unterschied zwischen Standard- und QSPAM-Minderung, was den kumulativen Effekt unkorrigierter SP-Fehler unterstreicht.

5. Bedeutung und Auswirkung

• Hardware-Benchmarking: Bietet ein ressourceneffizientes Werkzeug für Hardware-Entwickler, um zu identifizieren, ob Leistungsengpässe in der Zustandspräparation oder beim Auslesen liegen, und leitet gezielte Hardware-Verbesserungen.
• Verbesserte Zuverlässigkeit von Algorithmen: Durch die Ermöglichung einer genauen SPAM-Minderung verhindert das Protokoll die Verzerrung von Ergebnissen in nahen Quantenalgorithmen (NISQ), insbesondere solcher, die kollektive Observablen oder Fehlerkorrektursyndrome beinhalten.
• Skalierbarkeit: Die konstante Tiefe und Parallelisierbarkeit von QSPAM macht es für großskalige Quantenprozessoren geeignet, bei denen die Charakterisierung auf Basis von Zwei-Qubit-Gates zu verrauscht oder zu langsam ist.
• Theoretische Einsicht: Die Arbeit hebt hervor, dass das Ignorieren von SP-Fehlern in Minderungsprotokollen nicht nur eine geringfügige Näherung ist, sondern eine Quelle fundamentaler Verzerrung, die zu nicht-physikalischen Schlussfolgerungen führen kann.

Zusammenfassend bietet das QSPAM-Protokoll eine praktische, skalierbare und theoretisch rigorose Lösung für die langjährige Herausforderung der Trennung von Zustandspräparations- und Messfehlern und verbessert die Zuverlässigkeit der Quantencharakterisierung und Fehlerminderung auf aktueller und zukünftiger Quantenhardware erheblich.