Against probability: A quantum state is more than a list of probability distributions

Diese Arbeit demonstriert ein No-Go-Theorem, das beweist, dass eine topologisch robuste Wahrscheinlichkeitsrepräsentation von Quantenzuständen, obgleich sie für aussagekräftige physikalische Aussagen notwendig ist, nicht gleichzeitig wesentliche strukturelle Merkmale wie die Subsystemzusammensetzung bewahren kann.

Das Wesentliche

Die Kernidee: Die Landkarte ist nicht das Gebiet

Stellen Sie sich vor, Sie haben eine komplexe, 3D-Skulptur (einen Quantenzustand). Um sie jemandem zu beschreiben, der sie nicht sehen kann, entscheiden Sie sich dazu, aus jedem möglichen Winkel eine Serie von 2D-Fotografien (Wahrscheinlichkeitsverteilungen) zu machen.

Die Autoren dieser Arbeit argumentieren, dass diese Fotos die Skulptur zwar eindeutig identifizieren können, aber die Abhängigkeit von ihnen zur Beschreibung der Skulptur einen fatalen Fehler hat: Die Fotos können lügen, wenn es darum geht, wie nah zwei Skulpturen beieinander liegen.

In der Welt der Quantenphysik versuchen Wissenschaftler oft, ein System nicht durch seinen „wahren“ Zustand (den Dichtematrizierer/Density Operator) zu beschreiben, sondern durch eine Liste von Wahrscheinlichkeiten dafür, was passiert, wenn man es misst. Die Arbeit behauptet, dass man, wenn man versucht, dies auf eine mathematisch „robuste“ Weise zu tun (das heißt, kleine Fehler in den Fotos führen nicht zu riesigen Fehlern in Ihrem Verständnis), die Fähigkeit verliert, zu beschreiben, wie die Teile des Systems zusammenpassen.

Das Problem: Die Falle des „unscharfen Fotos“

Um zu verstehen, warum das wichtig ist, stellen Sie sich vor, Sie versuchen, eine wirklich zufällige Zahlenfolge (wie einen geheimen Code) mit einer Quantenmaschine zu erzeugen.

1. Das Ziel: Sie wollen, dass die Ausgabe perfekt zufällig ist. In der „echten“ Quantenwelt können Sie beweisen, dass eine Sequenz zufällig ist, wenn es unmöglich ist, sie von einer perfekten Zufallsquelle zu unterscheiden, selbst wenn ein Gegner Zugang zu allen internen Geheimnissen der Maschine hat.
2. Die Falle: Die Autoren zeigen ein Szenario auf, in dem ein Quantensystem fast perfekt zufällig aussieht, wenn man nur die „Fotos“ betrachtet (die Wahrscheinlichkeitsverteilungen lokaler Messungen). Die Fotos sagen: „Hey, das sieht zufällig aus!“
3. Die Realität: Wenn man jedoch den tatsächlichen Quantenzustand betrachtet, ist er nicht überhaupt zufällig. Er ist hochgradig verschränkt und strukturiert.

Die Analogie:
Stellen Sie sich zwei Personen vor, die weit voneinander entfernt stehen.

• Die echte Distanz (Trace-Distanz): Wenn Sie den tatsächlichen Abstand zwischen ihnen messen, sind sie 100 Meilen voneinander entfernt.
• Die Foto-Distanz (Wahrscheinlichkeitsmetrik): Sie machen ein Foto von ihnen aus einem bestimmten Winkel. Auf dem Foto sehen sie so aus, als stünden sie direkt nebeneinander.

Wenn Sie nur dem Foto vertrauen, denken Sie, sie stünden nah beieinander. Aber in Wirklichkeit sind sie weit voneinander entfernt. Das Papier nennt dies Nicht-Robustheit. Es bedeutet, dass ein „kleiner“ Unterschied in der Wahrscheinlichkeitsliste (dem Foto) tatsächlich einen „massiven“ Unterschied im realen physikalischen Zustand verbergen kann.

Das Dilemma: Man kann nicht alles haben

Die Autoren beweisen ein „No-Go“-Theorem. Man kann keine Wahrscheinlichkeitsbeschreibung eines Quantensystems haben, die alle drei dieser wünschenswerten Eigenschaften gleichzeitig besitzt:

1. Robustheit: Kleine Änderungen in der Beschreibung sollten nicht bedeuten, dass das System völlig anders ist. (Das Foto sollte der Realität entsprechen).
2. Teilsystem-Struktur: Man muss in der Lage sein, Teile des Systems separat zu beschreiben (z. B. Alice' Teil und Bob's Teil), ohne die Verbindung zwischen ihnen zu verlieren.
3. Effizienz: Die Beschreibung sollte kompakt und handhabbar sein (keine unendliche Menge an Daten erfordern).

Die Trade-off-Tabelle:

• Standard-Quantenmechanik (Dichtematrizierer): Besitzt alle drei. Sie ist robust, behandelt Teile gut und ist effizient.
• Wahrscheinlichkeitsrepräsentationen (Lokale Messungen): Man kann die Teile und die Effizienz haben, aber man verliert die Robustheit. Die Fotos lügen über die Nähe.
• Wahrscheinlichkeitsrepräsentationen (Alle Messungen): Man kann Robustheit und Teile haben, aber man verliert die Effizienz. Die Liste der Wahrscheinlichkeiten wird so riesig, dass sie nutzlos ist.

Warum das wichtig ist (laut dem Paper)

Die Autoren weisen darauf hin, dass viele populäre Ideen in der Physik auf diesen Wahrscheinlichkeitslisten beruhen, und diese Entdeckung bricht diese Ideen:

• QBism (Quanten-Bayesianismus): Diese Theorie behandelt Quantenzustände lediglich als eine Liste der Überzeugungen eines Agenten (Wahrscheinlichkeiten). Das Paper sagt, dass diese Sichtweise für komplexe Systeme (wie eine vibrierende Saite oder ein Teilchen im Raum) versagt, weil die „Liste der Überzeugungen“ nicht robust genug ist, um die Realität genau zu beschreiben.
• Rekonstruktion der Quantentheorie: Wissenschaftler versuchen, die Quantenphysik aus einfachen Regeln über Wahrscheinlichkeiten neu aufzubauen. Das Paper sagt, dass man dies für große Systeme nicht erfolgreich tun kann, ohne zusätzliche, künstliche Regeln hinzuzufügen, um das „Nähen“-Problem zu beheben.
• Quantenkryptographie: Wenn man versucht zu beweisen, dass ein geheimer Code sicher ist, indem man nur Wahrscheinlichkeitslisten verwendet (ohne anzunehmen, dass die Quantenmechanik wahr ist), könnte man glauben, er sei sicher, weil die „Fotos“ zufällig aussehen. Aber das Paper warnt, dass der Code tatsächlich geknackt werden könnte, weil die „Fotos“ irreführend sind.
• Quantenfeldtheorie: Physiker beschreiben das Universum oft mithilfe von Korrelationsfunktionen (einer Art Wahrscheinlichkeitsliste). Das Paper legt nahe, dass diese Beschreibungen möglicherweise nicht in der Lage sind, die wahre Natur komplexer, nicht-lokaler Verbindungen im Universum zu erfassen.

Das Fazente Fazit

Das Paper kommt zu dem Schluss, dass Wahrscheinlichkeitslisten zwar eine sehr populäre und bequeme Art sind, über die Quantenphysik zu sprechen, aber als vollständiger Ersatz für die Standardbeschreibung durch den „Dichtematrizierer“ fundamental fehlerhaft sind.

Die Metapher:
Ein Quantensystem nur mit Wahrscheinlichkeitslisten zu beschreiben, ist wie der Versuch, eine Stadt nur mit einer 2D-Karte zu navigieren, die gestreckt und verzerrt wurde. Die Karte zeigt Ihnen vielleicht die Namen der Straßen (die Struktur) und sie ist vielleicht leicht in der Tasche zu tragen (effizient), aber wenn Sie versuchen, die Entfernung zwischen zwei Gebäuden basierend auf dieser Karte zu beurteilen, werden Sie sich verlaufen. Um sicher zu navigieren, benötigen Sie die 3D-Realität (den Dichtematrizierer), nicht nur die verzerrte Karte.

Technische Zusammenfassung

Technisches Resümee: „Against probability: A quantum state is more than a list of probability distributions“

Problemstellung
Quantenzustände werden häufig nicht durch Dichtematrizialgebra ($\rho$), sondern durch Listen von Ergebniswahrscheinlichkeiten dargestellt, die aus einem tomographisch vollständigen Satz von Messungen ($M$) abgelehen sind. Solche Darstellungen sind in der Physik allgegenwärtig und treten in der Quantenfeldtheorie (über Korrelationsfunktionen) sowie in den Grundlagen der Quantenmechanik (innerhalb verallgemeinerter probabilistischer Frameworks) auf. Während eine solche Wahrscheinlichkeitsdarstellung $P_M(\rho)$ injektiv ist (den Zustand eindeutig spezifiziert), hinterfragen die Autoren, ob sie im physikalischen Sinne treu (faithful) ist. Speziell untersuchen sie, ob approximative Aussagen, die aus Wahrscheinlichkeitsdarstellungen abgeleitet werden (z. B. „der Output ist annähernd zufällig“), gültig bleiben, wenn sie auf die Ebene der Dichtematrizen „zurückprojiziert“ werden. Das Kernproblem besteht darin, dass Wahrscheinlichkeitsdarstellungen möglicherweise keine topologische Robustheit besitzen: Eine Sequenz von Zuständen, die in der Wahrscheinlichkeitsdarstellungs-Ebene gegen ein ideales Verhalten zu konvergieren scheint, konvergiert möglicherweise nicht im physikalischen Zustandsraum (definiert durch die Spurabstand-Metrik).

Methodik
Die Autoren verwenden einen topologischen und informationstheoretischen Ansatz, um die Beziehung zwischen der durch eine Wahrscheinlichkeitsdarstellung induzierten Metrik und der Standard-Spurabstands-Metrik auf dem Raum der Dichtematrizen zu analysen.

1. Definition von Robustheit: Sie definieren eine Darstellung $P_M$ als topologisch robust, wenn die Konvergenz in der induzierten Metrik $d_M$ die Konvergenz im Spurabstand $\delta$ impliziert. Formal gilt für jede Sequenz von Zuständen $(\rho^{(n)})$ und eine Menge von Zuständen $\Sigma$:
   $$\lim_{n\to\infty} d_M(\rho^{(n)}, \Sigma) = 0 \implies \lim_{n\to\infty} \delta(\rho^{(n)}, \Sigma) = 0$$
   wobei $d_M(\rho, \sigma) = \frac{1}{2} \sup_{M \in \mathcal{M}} \|P_M(\rho) - P_M(\sigma)\|_1$.

2. Konstruktion eines Gegenbeispiels: Sie konstruieren ein spezifisches Beispiel betreffend ein Protokoll zur Erzeugung von Zufälligkeit mit $n$ instabilen Atomen. Sie definieren eine Sequenz verschränkter Zustände $\rho^{(n)}_{RE}$, die im Hinblick auf den Spurabstand weit von der Menge der perfekt zufälligen Zustände $\Sigma_{rand}$ entfernt ist ($\delta \geq 1/4$). Wenn diese jedoch auf lokale Messungen ($M_\otimes$) beschränkt werden, konvergieren die Wahrscheinlichkeitsverteilungen dieser Zustände für $n \to \infty$ gegen $\Sigma_{rand}$. Dies demonstriert, dass die auf lokalen Messungen basierende Darstellung nicht robust ist.

3. Topologische Charakterisierung: Die Autoren analysieren den Vektorraum, der von den Dichtematrizen aufgespannt wird, $\text{span}(D(H))$. Sie beweisen, dass die durch $d_M$ und $\delta$ induzierten Topologien auf der Menge der Dichtematrizen $D(H)$ identisch sind (außer in pathologischen „fragilen“ Fällen), aber Robustheit die Äquivalenz dieser Topologien auf dem gesamten Vektorraum $\text{span}(D(H))$ erfordert. Dies ist äquivalent zur Vollständigkeit von $\text{span}(D(H))$ bezüglich der Norm $\|\cdot\|_M$.

4. Quantifizierung von Struktur via Entropie: Um das Ergebnis über spezifische Beispiele hinaus zu generalisieren, führen sie ein informationstheoretisches Maß für „Struktur“ ein. Sie definieren die ** asymptotische Entropie** einer Darstellung basierend auf der minimalen Größe einer komprimierten Liste von Daten, die erforderlich ist, um die Wahrscheinlichkeiten für jede Messung $\epsilon$-dekodierbar zu machen. Sie betrachten Darstellungen, die „effizient“ sind (wo die Anzahl der Effekte polynomisch mit der Dimension wächst) oder solche, die auf lokalen Operationen basieren.

Zentrale Beiträge und Ergebnisse

• Das No-Go-Theorem (Theorem 6): Das zentrale Ergebnis ist ein No-Go-Theorem, das besagt: Wenn eine Wahrscheinlichkeitsdarstellung $P_M$ eine nicht vernachlässigbare Struktur besitzt (speziell, wenn ihre asymptotische Entropie durch eine Sequenz begrenzt ist, die signifikant kleiner als die triviale obere Schranke von $2^{2^n}$ ist), dann kann die Darstellung nicht topologisch robust sein.
• Inkompatibilität von Struktur und Robustheit: Das Paper etabliert einen fundamentalen Trade-off:
  • Robustheit erfordert, dass die Darstellung „strukturlos“ ist (was im Wesentlichen eine exponentiell große Anzahl von Messungen erfordert, um Zustände robust zu unterscheiden).
  • Struktur (wie Subsystem-Zerlegung, Lokalität oder Effizienz) führt unweigerlich zu Nicht-Robustheit.
• Spezifische Korollare:
  • Korollar 7: Die auf lokalen Messungen basierende Darstellung ($P_{M_\otimes}$) ist nicht robust. Dies impliziert, dass Sicherheitsdefinitionen in der Post-Quanten-Kryptographie, die rein auf Non-Signaling-Boxen basieren (welche $P_{M_\otimes}$ entsprechen), die Sicherheit unter Standard-Quanten-Definitionen möglicherweise nicht garantieren.
  • Korollar 8: Jede effiziente Darstellung (bei der die Anzahl der Messungseffekte polynomisch mit der Hilbertraum-Dimension wächst, wie z. B. minimale tomographisch vollständige Mengen wie SIC-POVMs) ist nicht robust. Dies gilt für Systeme unbeschränkter Dimension.
• Generalisierung auf GPTs (Theorem 9): Die Autoren erweitern ihre Ergebnisse auf Verallgemeinerte Probabilistische Theorien (GPTs) und zeigen, dass es GPTs gibt, in denen die durch lokale Messungen und den verallgemeinerten Spurabstand induzierten Topologien divergieren, selbst wenn der Satz der Messungen nicht fragil ist.

Bedeutung und Behauptungen
Das Paper argumentt, dass Wahrscheinlichkeitsdarstellungen, obwohl sie mathematisch bequem und grundlegend für viele Frameworks sind (einschließlich QBism und Rekonstruktionsprogrammen), einen fundamentalen Mangel aufweisen: Sie versäumen es, die Vorstellung von „Nähe“ zwischen Zuständen zu bewahren, wenn die Darstellung eine physikalisch relevante Struktur enthält.

• Implikationen für die Quantenfundamente: Die Ergebnisse stellen eine Herausforderung für Programme dar, die versuchen, die Quantentheorie aus probabilistischen Postulaten unter Verwendung effizienter Messungssets (z. B. SIC-POVMs) zu rekonstruieren oder die Quantentheorie rein als Katalog von Überzeugungen (QBism) für unbeschränkte Systeme zu interpretieren. Oh ohne Robustheit können approximative probabilistische Aussagen nicht zuverlässig auf physikalische Zustände zurückgeführt werden.
• Implikationen für die Quanteninformation: In der Quantenkryptographie deutet die Nicht-Robustheit von $P_{M_\otimes}$ darauf hin, dass „Post-Quanten“-Schemata, die auf Non-Signaling-Boxen beruhen, möglicherweise weniger sicher sind als ihre quantenmechanischen Gegenstücke, da die probabilistische Definition von Sicherheit keine Sicherheit im Sinne des Spurabstands garantiert.
• Implikationen für die Quantenfeldtheorie (QFT): Da QFT-Zustände oft durch Korrelationsfunktionen (eine Form der Wahrscheinlichkeitsdarstellung) charakterisiert werden, legen die Autoren nahe, dass diese Darstellungen nicht robust sind, insbesondere für nicht-lokale Observablen (z. B. Hawking-Strahlung-Korrelationen).

Fazit
Die Autoren kommen zu dem Schluss, dass das Formalismus der Dichtematrizen vorteilhafte Eigenschaften besitzt – Robustheit, Subsystem-Struktur und Effizienz –, die Wahrscheinlichkeitsdarstellungen nicht gleichzeitig erreichen können. Während Wahrscheinlichkeitsdarstellungen theorieunabhängig sind, argumentiert das Paper, dass für jede Darstellung mit nicht-vernachlässigbarer Struktur (die für die praktische Physik notwendig ist) die topologische Robustheit verloren geht. Dies erfordert die Suche nach alternativen Ansätzen, die die Allgemeingültigkeit von Wahrscheinlichkeitsdarstellungen mit der Robustheit von Dichtematrizen vereinen.