Almost no experiments have classical Kirkwood-Dirac representations

Technische Zusammenfassung: „Fast keine Experimente besitzen klassische Kirkwood-Dirac-Darstellungen“

Problemstellung
Eine zentrale Herausforderung in der Quanteninformation besteht darin, die Grenze zwischen klassischen und Quantenphänomenen abzugrenzen. Im Rahmen der Quasiwahrscheinlichkeits-Formalismen gilt ein Zustand als „klassisch“, wenn er eine Darstellung als positive Wahrscheinlichkeitsverteilung besitzt. Während die Wigner-Funktion in dieser Hinsicht wegweisend war, hat sich die Kirkwood-Dirac (KD)-Verteilung als ein vielseitiges Werkzeug für die diskrete Quanteninformation etabliert, das Anwendungen in der Metrologie, den schwachen Werten (weak values), der Thermodynamik und der Kontextualität bietet.

Die KD-Verteilung $Q(\rho)$ ist definiert relativ zweier beliebiger Basen, $\{|a_i\rangle\}$ und $\{|b_j\rangle\}$, welche mit den Observablen $A$ und $B$ assoziiert sind. Ein Zustand $\rho$ ist KD-positiv (klassisch), wenn alle Einträge von $Q(\rho)$ reell und nicht-negativ sind. Ein kritisches offenes Problem ist die vollständige Charakterisierung der Menge der KD-positiven Zustände, bezeichnet als $E_{KD+}$. Im Gegensatz zur Wigner-Funktion, bei der die Menge der positiven Zustände bekannt als auf Gauß-Zustände beschränkt ist (für reine Zustände), ist die Struktur von $E_{KD+}$ für KD-Verteilungen komplex. Sie ist nicht notwendigerweise ein Polyeder, und ihre Extremalpunkte können gemischte Zustände enthalten, die keine konvexen Kombinationen von reinen KD-positiven Zuständen sind (sogenannte „exotische Zustände“). Diese Komplexität erschwert es, Nichtklassizität zu identifizieren oder Quantenschaltkreise effizient unter Verwendung von KD-Verteilungen zu simulieren.

Methodik
Die Autoren verwenden einen probabilistischen geometrischen Ansatz, um die Mengen der KD-positiven Zustände, der KD-reellen Observablen und der KD-Positivität-erhaltenden Unitaritäten zu charakterisieren.

1. Zufällige Basisauswahl: Anstatt spezifische, potenziell pathologische Fälle zu analysieren, betrachten die Autoren zwei Mengen von Basenprojektoren, $A = \{|a_i\rangle\langle a_i|\}$ und $B = \{|b_j\rangle\langle b_j|\}$, die zufällig gemäß dem Haar-Maß auf der unitären Gruppe $U(d)$ gewählt wurden.
2. Lineare algebraische Formulierung: Das Problem wird auf die Untersuchung der Übergangsmatrix $U$ (wobei $U_{ij} = \langle a_i | b_j \rangle$) abgebildet. Die Autoren definieren eine lineare Abbildung $C_U$, die auf dem Raum reeller Matrizen operiert. Sie zeigen, dass der Raum der KD-reellen Observablen, $V_{KDr}$, isomorph zum Kern dieser Abbildung, $\text{Ker}(C_U)$, ist.
3. Dimensionsanalyse: Die Autoren stellen fest, dass der konvexe Hull der Basenprojektoren, $\text{conv}(A \cup B)$, immer in $E_{KD+}$ enthalten ist. Der Kern des Beweises besteht darin, zu zeigen, dass für fast alle unitären Matrizen $U$ (speziell jene ohne Null-Einträge) die Dimension des Raums der KD-reellen Observablen minimal ($2d-1$) ist. Dies impliziert, dass keine „zusätzlichen“ KD-positiven Zustände oder Observablen über den konvexen Hull und den reellen Span der Basen hinaus existieren.
4. Ma Theorietheorie: Durch Konstruktion einer spezifischen unitären Matrix $U_\star$, für die die Kern-Dimension minimal ist, und unter Nutzung der Tatsache, dass der Determinant der relevanten linearen Abbildung ein nicht-verschwindendes Polynom in den Matrixelementen von $U$ ist, wenden die Autoren Proposition 3 an (ein Resultat bezüglich des verschwindenden Haar-Maß der Nullstellen reeller analytischer Funktionen), um zu beweisen, dass diese minimale Struktur mit Wahrscheinlichkeit 1 gilt.

Wesentliche Beiträge und Ergebnisse
Das Paper präsentiert Theorem 1, welches behauptet, dass für fast alle Wahlen zweier $d$-dimensionaler Basen (mit $d > 2$) die Mengen der klassischen Objekte im KD-Framework minimal und explizit charakterisiert sind:

• KD-positive Zustände ($E_{KD+}$): Die Menge der KD-positiven Zustände ist exakt der konvexe Hull der beiden Basen:
  $$E_{KD+} = \text{conv}(A \cup B)$$
  Diese Menge ist ein Polyeder der Dimension $2(d-1)$ mit exakt $2d$ bekannten Eckpunkten (den Projektoren der beiden Basen). Es gibt keine „exotischen“ gemischten Extremalzustände für fast alle KD-Verteilungen.
• KD-reelle Observablen ($V_{KDr}$): Eine Observable ist KD-reell, wenn und nur wenn sie im reellen Vektorraum gespannt durch die beiden Basen liegt:
  $$V_{KDr} = \text{span}_{\mathbb{R}}(A \cup B)$$
• KD-positive Messungen ($M_{KD+}$): Jedes Messelement mit einer positiven KD-Darstellung muss eine Linearkombination der Basenprojektoren mit nicht-negativen Koeffizienten sein.
• KD-Positivität-erhaltende Unitaritäten: Die einzigen unitären Transformationen, die KD-positive Zustände auf KD-positive Zustände abbilden, sind triviale globale Phasen:
  $$T = e^{i\alpha}I, \quad \alpha \in \mathbb{R}$$

Bedeutung und Implikationen
Die Autoren argumentieren, dass diese Ergebnisse das Verständnis der Klassizität im KD-Framework für „fast alle“ experimentellen Aufbauten fundamental vereinfachen:

1. Robustheit der Nichtklassizität: Da die Menge der klassischen Zustände ein einfaches Polyeder mit bekannten Facetten ist, wird die Konstruktion von Zeugen (Witnesses) für Nichtklassizität unkompliziert. Man kann leicht eine Untergrenze für den Abstand eines gegebenen Zustands von der klassischen Menge unter Verwendung der bekannten Geometrie von $E_{KD+}$ festlegen.
2. Kontextualität: Die Ergebnisse klären die Bedingungen für generalisierte Kontextualität. Da die Menge der Input-Zustände, die klassisches (nichtkontextuelles) Verhalten liefern, minimal und wohldefiniert ist, ist die Detektion von Kontextualität gegenüber der spezifischen Wahl der Basen robust.
3. Abwesenheit exotischer Zustände: Das Paper zeigt, dass „exotische“ KD-positive Zustände (gemischte Zustände, die nicht in KD-positive reine Zustände zerlegt werden können) seltene Phänomene sind, die nur in maßgeschneiderten, nicht-generischen KD-Verteilungen existieren (z. B. spezifische Spin-1 oder Multi-Qubit-Systeme).
4. Klassische Simulation: Die Ergebnisse implizieren starke Einschränkungen für die Effizienz der klassischen Simulation von Quantenschaltkreisen mittels KD-Verteilungen. Da die einzigen KD-positiven Schaltkreise eine Initialisierung in $\text{conv}(A \cup B)$ gefolgt von einer unmittelbaren Messung in $M_{KD+}$ beinhalten, werden fast alle nicht-trivialen Quantenschaltkreise eine KD-Nichtpositivität aufweisen, was sie schwierig macht, klassisch mittels Monte-Carlo-Sampling-Methoden zu simulieren, die auf positiven Quasiwahrscheinlichkeiten beruhen.

Zusammenfassend lässt sich sagen, dass das Paper etabliert, dass die Komplexität, die oft mit KD-Verteilungen assoziiert wird, die Ausnahme und nicht die Regel ist. Für die überwiegende Mehrheit der experimentellen Konfigurationen ist die klassisch-quanten Grenzziehung scharf, einfach und vollständig durch die konvexe Geometrie der Messbasen charakterisiert.