Scalable Test of Genuine Multipartite Entanglement via Partially Randomized Measurements

Technische Zusammenfassung: Skalierbare Prüfung echter multipartiter Verschränkung mittels teilweise randomisierter Messungen

Problemstellung
Die Zertifizierung echter multipartiter Verschränkung (Genuine Multipartite Entanglement, GME) in Quantensystemen stellt eine grundlegende Herausforderung in der Quanteninformationswissenschaft dar. Obwohl verschiedene Methoden existieren – darunter Verschränkungszeugen (Entanglement Witnesses), Dichtematrix-Kriterien und Bell-Typ-Ungleichungen –, leiden viele unter erheblichen Einschränkungen. Insbesondere erfordern traditionelle Ansätze oft Vorabwissen über den Zielzustand, sorgfältig optimierte Messeinstellungen oder gut ausgerichtete lokale Referenzrahmen. Darüber hinaus führt die direkte Auswertung von Korrelationstensoren typischerweise zu einem Messaufwand, der exponentiell mit der Systemgröße ($N$) wächst, was diese Methoden für großskalige multipartite Systeme unpraktikabel macht.

Methodik
Die Autoren schlagen ein skalierbares Kriterium vor, das auf den Längen von Korrelationstensor-Teilsektoren basiert, die auf lokale Messebenen beschränkt sind. Die Kernmethodik umfasst:

1. Teilweise Randomisierung: Anstatt Messrichtungen über die gesamte Bloch-Sphäre zu sampeln, werden die lokalen Messrichtungen zufällig gewählt, jedoch auf spezifische lokale Ebenen ($P_i$) beschränkt, die von Paaren orthogonaler Vektoren $\{\vec{n}^1_i, \vec{n}^2_i\}$ aufgespannt werden.
2. Theoretische Herleitung:
   • Die Autoren definieren die Teilsektorlänge $\|T\|^2_{P_1...P_N}$ als die Summe der quadrierten Korrelationstensorelemente innerhalb dieser beschränkten Ebenen.
   • Sie leiten eine universelle obere Schranke für $k$-separierbare Zustände (Zustände, die als konvexe Mischung von $k$-Produktzuständen geschrieben werden können) her. Die Schranke ist definiert als $\|T\|^2_{P_1...P_N} \leq 2^{N-k}$.
   • Folglich zertifiziert eine Verletzung dieser Schranke ($\|T\|^2_{P_1...P_N} > 2^{N-k}$), dass der Zustand nicht $k$-separierbar ist. Für $k=2$ zertifiziert dies GME.
3. Verbindung zu randomisierten Messungen: Die Teilsektorlänge wird über die Relation $\|T\|^2_{P_1...P_N} = 2^N R^{(2)}_{P_1...P_N}$ mit der durchschnittlichen quadrierten Korrelation $R^{(2)}_{P_1...P_N}$ verknüpft. Dies ermöglicht es, das Kriterium experimentell durch die Schätzung der durchschnittlichen quadrierten Korrelation über Winkel $\phi_i$ zu evaluieren, die gleichmäßig aus $[0, 2\pi)$ innerhalb der gewählten Ebenen gesampelt werden.
4. Statistische Skalierungsanalyse: Die Arbeit vergleicht die Ressourcen, die für den direkten Ansatz der Teilsektorlänge im Vergleich zum randomisierten Ansatz benötigt werden.
   • Direkter Ansatz: Erfordert das Messen aller $2^N$ Korrelationsterme, was zu einer Gesamtmessanzahl führt, die als $M \sim 4^N/\epsilon^2$ für eine Zielunsicherheit $\epsilon$ skaliert.
   • Randomisierter Ansatz: Erfordert $m \sim 1/\epsilon^2$ zufällige Einstellungen mit einer konstanten Anzahl an Shots pro Einstellung. Die Gesamtmessanzahl skaliert als $M \sim 1/\epsilon^2$, was zeigt, dass keine explizite exponentielle Abhängigkeit von $N$ besteht.

Wesentliche Beiträge und Ergebnisse

• Skalierbares Kriterium: Die Arbeit führt ein GME-Kriterium ein, das durch die Verwendung von teilweise randomisierten Messungen innerhalb lokaler Ebenen eine exponentielle Skalierung der Messressourcen vermeidet.
• Allgemeine Schranken: Die Autoren liefern rigorose Schranken für $k$-separierbare Zustände und etablieren eine „leiterartige“ Struktur von Schwellenwerten (z. B. $R^{(2)} > 1/4$ schließt Biseparabilität aus, $R^{(2)} > 1/8$ schließt 3-Separierbarkeit aus).
• Theoretische Validierung: Das Kriterium wird an repräsentativen Familien von Zuständen getestet:
  • GHZ-Zustände: Das Kriterium zertifiziert erfolgreich GME für alle $N$-Qubit-GHZ-Zustände unter Verwendung der $xy$-Ebene.
  • Dicke-Zustände: Die Methode detektiert GME und höhere Ordnungen der Separierbarkeit für verschiedene Dicke-Zustände $|D^{(e)}_N\rangle$, mit optimaler Detektion in der $xz$-Ebene.
  • Vier-Qubit-Familie: Für eine spezifische Familie von Vier-Qubit-Zuständen $|\psi(\alpha)\rangle$ zertifiziert das Kriterium GME für alle $\alpha \in [0, 1]$, außer an spezifischen Punkten ($\alpha=0, 2/3$), an denen der Zustand exakt auf der Detektionsschwelle liegt. Die Autoren merken an, dass dies die hinreichende, aber nicht notwendige Natur von Verschränkungszeugen illustriert.
• Experimentelle Demonstration: Die Methode wurde auf einem 5-Qubit-Ionenfallen-Quantencomputer (PIAST-Q) implementiert.
  • Das Team präparierte einen 5-Qubit-GHZ-Zustand.
  • Unter Verwendung des Standard-Teilsektorlängen-Ansatzes wurde $\|T\|^2_{xy} = 8,55 \pm 0,07$ gemessen, was die Schranke von $2^{5-2}=8$ überschreitet.
  • Unter Verwendung des randomisierten Ansatzes wurde $R^{(2)}_{xy} = 0,27775 \pm 0,00998$ ermittelt, was die Schranke von $2^{-2}=0,25$ überschreitet.
  • Beide Methoden zertifizierten erfolgreich echte fünfpartite Verschränkung.

Bedeutung
Die Arbeit behauptet, dass ihre primäre Bedeutung in der Skalierbarkeit des vorgeschlagenen Verfahrens liegt. Durch den Übergang von der expliziten Messung aller Korrelationstensor-Elemente zur Schätzung durchschnittlicher quadrierter Korrelationen mittels teilweise randomisierter Messungen eliminiert die Methode die explizite exponentielle Abhängigkeit von der Anzahl der Qubits. Dies macht die Zertifizierung von GME für größere multipartite Systeme auf realistischen, verrauschten Quantenprozessoren praktikabel, ohne dass eine komplexe zustandsspezifische Optimierung oder eine perfekte Ausrichtung der Referenzrahmen erforderlich ist. Die experimentelle Demonstration auf einem Ionenfallen-Prozessor bestätigt die praktische Anwendbarkeit der Methode in aktuellen Quantenhardware-Umgebungen.