Robust self-test of the maximally entangled state of two-qubits without assuming unitary observables

Technische Zusammenfassung: Robuster Selbsttest des maximal verschränkten Zustands ohne die Annahme unitärer Observablen

Problemstellung
Standardmäßige Frameworks für das geräteunabhängige (DI) Selbsttesting stützen sich stark auf die Annahme, dass lokale Messungen strikt projektiv sind (unitäre Observablen, deren Quadrat die Identität ergibt). Während das Naimark-Dilations-Theorem mathematisch erlaubt, jede POVM als projektive Messung in einem erweiterten Hilbertraum zu behandters, ist die Anwendung dieses Prinzips auf uncharakterisierte lokale Messungen in einem DI-Szenario operational problematisch. Wie jüngste Kritiken hervorheben, führt die Naimark-Dilatation nicht den ursprünglichen nicht-projektiven Operatoren einen Selbsttest zu, sondern verlagert die Analyse auf einen dilatierten Raum, der physikalisch in der Umgebung liegen oder von einem Adversary kontrolliert werden kann. Folglich maskieren standardmäßige robuste Selbsttest-Schranken, die Unitarität voraussetzen, die operationalen Einschränkungen und die wahren Fehlerkosten realistischer, nicht-unitärer Observablen (wie sie etwa in photonischen Experimenten mit suboptimaler Detektionseffizienz vorkommen). Die Ableitung expliziter, robuster Selbsttest-Schranken für den Singlet-Zustand und Pauli-Observablen ohne die Annahme der Unitarität von Observablen innerhalb eines vollumfänglichen bipartiten Bell-Szenarios stellt eine bedeutende theoretische Lücke dar.

Methodik
Die Autoren etablieren einen „reinen“ Selbsttest für den Zwei-Qubit-Singlet-Zustand und Pauli-Observablen, indem sie die Dilatation des Messapparates explizit verweigern. Die Methodik verläuft wie folgt:

1. Framework-Setup: Der geteilte Zustand wird als reiner Zustand $|\psi_{AB}\rangle$ modelliert (mittels Standard-Purifizierung zur Berücksichtigung einer unvertrauenswürdigen Quelle), aber die lokalen Observablen $A_x$ und $B_y$ werden als allgemeine hermitesche Operatoren behandelt, die aus binären POVMs abgeleitet sind und die Bedingung $A_x^2 \leq \mathbb{1}$ sowie $B_y^2 \leq \mathbb{1}$ erfüllen, anstatt strikte Unitaritäten zu sein.
2. Regularisierung: Um das Problem der Nicht-Unitarität zu umgehen, führen die Autoren regularisierte unitäre Observablen mittels einer modifizierten Vorzeichenfunktion, bezeichnet als $\text{sgn}^*$, ein. Diese Funktion weist nicht-negativen Eigenwerten den Wert $+1$ und negativen Eigenwerten den Wert $-1$ zu, wodurch Operatoren $\tilde{A}_x$ und $\tilde{B}_y$ entstehen, die strikt unitär sind ($\tilde{A}_x^2 = \mathbb{1}$).
3. Fehlerdekomposition: Die gesamte Abweichung zwischen der physikalischen Implementierung und dem idealen Referenzmodell wird in zwei Komponenten aufgeteilt:
   • Unitärer Robustheitsterm: Die Distanz zwischen den regularisierten Operatoren und der idealen Referenz, begrenzt durch das bahnbrechende Theorem von McKague et al. bezüglich des robusten Selbsttests des Singlets.
   • Abweichungsterm ($\Delta$): Ein zusätzlicher Term, der die Abweichung der physikalischen nicht-projektiven Operatoren von ihren regularisierten unitären Gegenstücken explizit quantifiziert.
4. Analytische Ableitung: Unter Verwendung der Sum-of-Squares (SOS)-Dekomposition des CHSH-Bell-Operators leiten die Autoren eine analytische Schranke für den Abweichungsterm $\Delta$ als Funktion des experimentellen Fehlers $\epsilon$ (wobei die beobachtete Verletzung $2\sqrt{2} - \epsilon$ beträgt) ab.

Wesentliche Beiträge und Ergebnisse

• Theorem 1: Die Arbeit präsentiert ein rigoroses robustes Selbsttest-Theorem für den maximal verschränkten Zustand und Pauli-Observablen, das keine projektiven Messungen voraussetzt. Es wird bewiesen, dass, falls die beobachtete CHSH-Verletzung $2\sqrt{2} - \epsilon$ beträgt, eine lokale Isometrie $U$ existiert, sodass die Distanz zwischen dem physikalischen Zustand/den Messungen und der idealen Referenz als $O(\sqrt{\epsilon})$ skaliert.
• Explizite Schranke: Die Autoren leiten einen spezifischen analytischen Robustheitskoeffizienten $C = (179 + 53\sqrt{2})/2^{3/4}$ ab, sodass die Distanz durch $C\sqrt{\epsilon}$ begrenzt ist.
• Quantifizierung der Nicht-Unitaritäts-Kosten: Durch die Evaluierung der Schranke für realistische experimentelle Fehler (speziell $\epsilon \approx 0.138$, was einer CHSH-Verletzung von $\approx 2.69$ in Photonen-Zahl-Schemata entspricht) zeigen die Autoren auf, dass der Abweichungsterm $\Delta$ gravierend wird. Dies verdeutlicht, dass die „wahren Kosten“ der Verwendung genuiner nicht-projektiver POVMs signifikant höher sind, als es die Standard-Projektiv-Modelle (die auf Naimark-Dilatation beruhen) implizieren.
• Vergleich mit alternativen Ansätzen: Die Arbeit kontrastiert ihre Methode mit den „Lifting“-Theorem von Baptista et al., welche Selbsttests auf beliebige POVMs verallgemeinern. Die Autoren stellen fest, dass Baptistas Ansatz zwar mathematisch konsistent ist, jedoch kumulative Fehlerterme einführt, die zu einer schwächeren $O(\epsilon^{1/4})$-Skalierung führen. Im Gegensatz dazu behält die vorgeschlagene Methode die engere $O(\sqrt{\epsilon})$-Skalierung bei, indem sie direkt die spezifische CHSH-Ungleichung adressiert.

Bedeutung und Ansprüche
Die Arbeit behauptet, eine fundamentale konzeptionelle und praktische Lücke in der geräteunabhängigen Quantenzertifizierung zu schließen. Durch den Verzicht auf die Naimark-Dilatation für Messungen erfasst das vorgeschlagene Framework die „wahre praktische Kostenstruktur“ physikalischer lokaler Geräte. Die Autoren argumentieren, dass ihre Ergebnisse darauf hindeuten, dass die geräteunabhängige Zertifizierung realer Implementierungen (insbesondere solcher, die nicht-projektive Messungen wie Schwellenwertdetektoren beinhalten) „signifikant anspruchsvoller“ ist, als es Standard-Projektiv-Modelle implizieren.

Die Autoren kommen zu dem Schluss, dass die Erreichung einer aussagekräftigen DI-Zertifizierung für solche realistischen Setups ohne Rückgriff auf die Naimark-Dilatation entweder Folgendes erfordert:

1. Eine drastische Modifikation der experimentellen Setups, um die Verletzungen näher an das ideale $2\sqrt{2}$-Limit zu treiben.
2. Die Entwicklung einer neuen Generation numerischer Selbsttest-Techniken, die direkt auf POVMs operieren, ohne eine Dilatation aufzurufen.

Die Autoren positionieren diese Arbeit als einen Schritt hin zu einer treffsicheren Zertifizierung von Quantentechnologien der nächsten Generation und merken an, dass zukünftige Forschung diese Techniken auf multipartite Szenarien ausweiten oder diese Schranken in praktische DI-Kryptographieprotokolle wie die Quantenschlüsselverteilung integrieren könnte.