Measuring the entanglement-breaking index of a qubit collision channel on a quantum processor: protocol and worked example

Technisches Resümee: Messung des Entanglement-Breaking-Index eines Qubit-Kollisionskanals

Problemstellung
Der Entanglement-Breaking-Index (EB-Index), $n_{EB}(\Phi)$, ist definiert als die kleinste Anzahl an Selbstkompositionen ($n$), die erforderlich sind, damit ein Quantenkanal $\Phi$ jegliche Verschränkung mit einem Referenzsystem zerstört. Während die theoretischen Eigenschaften von schließlich EB-werdenden Kanälen gut untersucht sind, war die experimentelle Verifizierung bisher begrenzt. Vorherige Arbeiten (Cuevas et al.) etablierten einen Index von 2 für einen spezifischen photonischen Kanal, untersuchten jedoch nicht nach größeren Indizes oder verglichen direkte Multi-Runden-Messungen mit der Komposition von Single-Round-Abbildungen. Zudem mangelt es bestehenden experimentellen Aufzeichnungen an einem Protokoll, um Indizes größer als 2 durch das direkte Scannen des $n$-Runden-Kanals zu lokalisieren.

Methodik
Das Paper schlägt ein Protokoll vor, um $n_{EB}$ direkt auf einem programmierbaren Quantenprozessor für Qubit-Kanäle zu messen, die als Kollisionsmodelle realisiert sind. Das System-Qubit interagiert mit einer Sequenz von Ancilas (Bad), die in bekannten Basen präparierten Zuständen entsprechen. Die Methodik stützt sich auf vier zentrale technische Komponenten:

1. Exakte Bad-Programmierung via Gewichtung: Anstatt gemischte Zustände physisch zu präparieren, präpariert das Protokoll reine Basiszustände für die Ancilas und rekonstruiert den gewünschten gemischten Bad-Zustand $\tau(p)$ in der Analysephase. Durch die Gewichtung der Messergebnisse verschiedener Ancilla-Konfigurationen ($b$) gemäß ihrer exakten Wahrscheinlichkeiten $w_p(b)$ wird die Bad-Polarisation $p$ ohne Stichprobenfehler festgelegt (Lemma 1).
2. Direkte Multi-Runden-Tomographie: Das Protokoll führt eine Single-Qubit-Prozesstomographie des $n$-Runden-Kanals für verschiedene $n$ durch. Es erfordert kein Referenz-Qubit; statessen rekonstruiert es das affine Paar $(A_n, c_n)$ des Kanals und berechnet den minimalen Eigenwert, $\lambda_{\min}$, der teilweise transponierten Choi-Matrix.
3. Statistische Entscheidungsregeln: Die Messwerte werden bei einem Schwellenwert von fünf Standardabweichungen ($5\sigma$) registriert. Ein Kanal wird klassifiziert als:
   • NPT (Non-Positive Partial Transpose): $\lambda_{\min} \le -5\sigma$ (Verschränkung erhalten).
   • PPT (Positive Partial Transpose): $\lambda_{\min} \ge 5\sigma$ (Verschränkung gebrochen).
   • Unentschieden: Zwischen den Schwellenwerten.
     Aufgrund der idealen Eigenschaft von EB-Kanälen muss die Folge der Messwerte monoton sein (NPT bis $n_{EB}-1$, dann PPT). Eine nicht-monotone Folge deutet auf Memory-Effekte oder Inkonsistenzen im Schaltkreis hin.
4. Konsistenzprüfung (Komponiert vs. Direkt): Das Protokoll vergleicht die direkte Messung des $n$-Runden-Kanals mit der Komposition der gemessenen Single-Round-Abbildung (angepasst um Reset-Fehler). Dies testet die Markovsche Annahme, die inhärent in Kollisionsmodellen ist.

Wesentliche Beiträge

• Protokolldesign: Eine praktische Methode zur Messung von $n_{EB}$ für jeden Qubit-Kollisionskanal mit diagonalen Ancilars unter Verwendung von Mid-Circuit-Resets zur Wiederverwendung von Qubits.
• Rauschanalyse: Detaillierte Charakterisierung dessen, wie Depolarisationsrauschen und Ancilla-Reset-Fehler die Entscheidungsspielräume beeinflussen. Der Autor zeigt, dass Rauschen typischerweise die NPT-Seite „auffrisst“ (es erschwert die Detektion von Verschränkung), während es die PPT-Seite „verdickt“, was ein sorgfältiges Budgeting der Shots erfordert.
• Pilot-Regel: Eine dynamische Shot-Allokationsstrategie, bei der ein Pilot-Lauf Single-Round-Abbildungen und Reset-Fehler misst, um die benötigten Shots für nachfolgende Runden vorherzusagen, wodurch sichergestellt wird, dass das Experiment innerhalb eines Prozessor-Zeitbudgets bleibt und statistische Signifikanz erreicht.
• Korrektur vorangegangener Arbeiten: Das Paper korrigiert spezifische Behauptungen einer früheren Version (arXiv:2609.09350v2), einschließlich der Gate-Anzahl für die Heavy-Hex-Kompilierung (8 CZ-Gates pro Runde, nicht 10) und der Klarstellung, dass ein Index von 2 zuvor gemessen wurde, jedoch größere Indizes nicht lokalisiert worden waren.

Beispielrechnung und Ergebnisse
Das Protokoll wird an einem Drei-Qubit-Feedback-Loop demonstriert, der für einen Heavy-Hex-Supraleiter-Prozessor (IBM Kingston) kompiliert wurde.

• Targets: Drei zertifizierte ideale Indizes wurden angestrebt: $n_{EB}=3$ für ein X-Bad ($p=1$), und $n_{EB}=2$ für ein Z-Bad ($p=1$) sowie ein unpolarisiertes Bad ($p=0$).
• Simulation: Simulationen unter Verwendung des FakeKingston-Rauschmodells (sowohl nominelle als auch gestresste Szenarien) wurden durchgeführt.
  • Im nominellen Szenario identifizierte der Pilot eine schwache PPT-Messung für das X-Bad bei $n=3$, was eine Erhöhung der Shots auf 16.384 auslöste. Das Endergebnis stellte den Index von 3 erfolgreich wieder her.
  • Im gestressten Szenario (höhere Depolarisation und Reset-Fehler) konnte das Protokoll dennoch alle drei Indizes ($3, 2, 2$) ohne Erhöhung der Shots wiederherstellen, da das Rauschen die PPT-Margen verdickte.
• Konsistenz: Der „Komponiert vs. Direkt“-Test zeigte keine signifikante Abweichung ($|D_n| < 2.1\sigma$), was die gedächtnislose Natur der simulierten Runden bestätigt.
• Kosten: Die geschätzte Prozessorzeit für den vollständigen Durchlauf beträgt einige hundert Sekunden (ca. 397 Sekunden inklusive Pilot-Raises).

Bedeutung und Ansprüche
Das Paper beansprucht, das erste Protokoll zu sein, das in der Lage ist, einen Entanglement-Breaking-Index größer als 2 durch ein direktes Scannen der Runden zu lokalisieren, anstatt ihn aus einer einzigen Zwei-Runden-Messung abzuleiten. Es betont, dass die Methode robust gegenüber spezifischen Rauschtypen (Depolarisation, Reset-Fehler) ist, sofern der „Komponiert vs. Direkt“-Test besteht.

Der Autor merkt bescheiden an, dass das Protokoll zwar bereit für die Ausführung auf aktueller Hardware ist, die „zertifizierten idealen Indizes“ jedoch als Vergleichswerte und nicht als Pass/Fail-Kriterien für die Hardware selbst dienen, da kohärente Fehler den Index in beide Richtungen verschieben könnten. Das Paper schließt mit dem Hinweis, dass die Maschinerie theoretisch in der Lage wäre, Indizes unter zeitabhängigen Bädern oder in „thermischen Tälern“ (wo Verschränkung bei intermediären Polarisationen schneller bricht) zu zertifizieren, die Shot-Anforderungen für solch komplexe Szenarien (potenziell $>10^5$ Shots pro Einstellung) jedoch derzeit außerhalb der Reichweite einer Messung liegen und stattdin als Wegweiser für zukünftige Hardwarekapazitäten dienen.