Classical Explanations in (and of) General Probabilistic Theories

Die Arbeit führt den Begriff der Erklärung probabilistischer Modelle als spezielle Spanne in der Kategorie $\Prob$ ein, zeigt die Kompositionsfähigkeit dieser Erklärungen und beweist, dass jedes lokal-endliche probabilistische Modell eine kanonische, scharfe klassische Darstellung besitzt.

Das Wesentliche

Die große Übersetzung: Wie man die Quantenwelt in eine klassische Geschichte verwandelt

Stell dir vor, du bist ein Detektiv, der versucht, ein mysteriöses Verbrechen aufzuklären. Du hast zwei Arten von Zeugen:

1. Die klassischen Zeugen: Sie sehen die Welt klar und deutlich. Alles ist entweder schwarz oder weiß, und wenn zwei Zeugen etwas sehen, können sie ihre Geschichten einfach zusammenfügen, ohne dass es Widersprüche gibt.
2. Die Quanten-Zeugen: Diese sind seltsam. Sie sehen Dinge, die sich gegenseitig ausschließen. Wenn Zeuge A genau hinsieht, kann Zeuge B nicht gleichzeitig hinschauen. Ihre Geschichten passen nicht einfach zusammen wie Puzzleteile.

Das Ziel dieses wissenschaftlichen Papers ist es, eine Brücke zu bauen. Die Autoren fragen: Können wir die seltsamen, widersprüchlichen Geschichten der Quanten-Zeugen so umschreiben, dass sie wie die klaren Geschichten der klassischen Zeugen klingen?

Die Antwort lautet: Ja, aber mit einem großen Haken.

1. Das Problem: Die Welt ist "verschränkt"

In der klassischen Welt (wie im Alltag) kannst du zwei Experimente gleichzeitig machen. Wenn du eine Münze wirfst und einen Würfel rollst, hast du ein Ergebnis für beides.
In der Quantenwelt (wie bei Teilchen) ist das nicht immer möglich. Manche Experimente sind "unverträglich". Das ist, als würdest du versuchen, gleichzeitig die Farbe und die Geschwindigkeit eines unsichtbaren Geistes zu messen – je genauer du das eine misst, desto unklarer wird das andere.

Die Autoren sagen: "Okay, wir akzeptieren diese seltsamen Regeln. Aber können wir trotzdem eine klassische Erklärung dafür finden?"

2. Die Lösung: Der "Übersetzer" (Die Borel-Maschine)

Die Autoren erfinden eine Art mathematische Maschine, nennen wir sie den "Übersetzer".
Diese Maschine nimmt jedes noch so seltsame Quanten-Experiment und verwandelt es in eine riesige, klassische Bibliothek.

• Wie funktioniert das? Stell dir vor, du hast ein seltsames Spiel, bei dem du nicht weißt, welche Karte du ziehst. Der Übersetzer sagt: "Okay, lass uns annehmen, dass es wirklich eine Karte gibt, die du ziehst, aber wir wissen nur nicht, welche. Wir erstellen eine Liste mit allen möglichen Karten, die jemals gezogen werden könnten."
• In dieser Liste gibt es für jedes Ergebnis einen "statischen Zustand" (einen Punkt in der Bibliothek).
• Wenn du jetzt das Quanten-Experiment durchführst, ist es so, als würdest du in dieser riesigen Bibliothek nachschauen. Das Ergebnis ist dann einfach eine Wahrscheinlichkeit, welche Seite der Bibliothek du gerade betrachtest.

Das Tolle ist: Jedes Quanten-System lässt sich so übersetzen. Es gibt immer eine klassische Geschichte dahinter. Das Paper beweist, dass man für jedes Quanten-Modell eine "klassische Version" bauen kann, die mathematisch exakt dasselbe Verhalten beschreibt.

3. Der große Haken: Der Preis der Übersetzung

Aber warum ist das dann nicht trivial? Warum sagen Physiker immer noch, die Quantenwelt sei "nicht klassisch"?

Hier kommt die Analogie der Geister im Haus ins Spiel.

Stell dir vor, du hast zwei Zimmer (System A und System B), die durch eine Tür verbunden sind. In der Quantenwelt können diese Zimmer "verschränkt" sein. Das bedeutet: Wenn du in Zimmer A etwas tust, passiert sofort etwas in Zimmer B, egal wie weit sie voneinander entfernt sind. Das ist wie Telepathie.

Der Übersetzer (die klassische Erklärung) versucht, das so darzustellen:

• Er sagt: "Es gibt eine Liste von allen möglichen Szenarien. In Szenario 1 ist in Zimmer A ein roter Ball, in Zimmer B ein blauer. In Szenario 2 ist es umgekehrt."
• Das Problem: Damit diese Liste funktioniert, müssen die "Geister" in den Szenarien miteinander kommunizieren.

Die Autoren zeigen: Damit die klassische Erklärung funktioniert, müssen die "statischen Zustände" (die Punkte in unserer Bibliothek) signalführend sein. Das heißt, sie verletzen die Regel der "Lokalität".

• Lokalität bedeutet: Was in Zimmer A passiert, darf nicht sofort in Zimmer B spürbar sein, ohne dass ein Signal (wie ein Licht oder ein Brief) dorthin reist.
• Die klassische Erklärung zwingt uns anzunehmen, dass die "Grundbausteine" der Realität (die dispersion-free states) sich instantan über die ganze Welt abstimmen.

Die Erkenntnis: Ja, wir können die Quantenwelt klassisch erklären. Aber nur, wenn wir akzeptieren, dass die Welt auf einer fundamentalen Ebene nicht-lokal ist. Die "Geister" in unserer klassischen Bibliothek flüstern sich sofort zu, was in den anderen Zimmern passiert.

4. Was bedeutet das für uns? (Die drei Meinungen)

Am Ende des Papers diskutieren die Autoren, was wir aus dieser Entdeckung lernen sollen. Sie stellen drei mögliche Haltungen vor:

1. Die "Realisten": "Die klassischen Erklärungen sind nur Mathematik. Die 'Geister', die sich sofort abstimmen, existieren nicht. Die Welt ist einfach nicht klassisch. Quantenmechanik ist die wahre Natur, und Verschränkung ist ein Beweis dafür, dass die Welt nicht lokal ist."
2. Die "Optimisten": "Die Welt ist eigentlich klassisch! Es gibt diese geheime Liste von Zuständen. Dass wir keine Telepathie sehen, liegt nur daran, dass die Natur sehr gut darin ist, diese Signale zu verstecken (Feinabstimmung). Die Welt ist klassisch, aber sie ist 'versteckt' nicht-lokal."
3. Die "Philosophen": "Vielleicht ist 'Lokalität' (dass Dinge nur mit ihrer direkten Umgebung interagieren) Teil dessen, was wir unter 'Klassisch' verstehen. Wenn die Welt nicht-lokal ist, dann ist sie per Definition nicht klassisch. Punkt."

Fazit in einem Satz

Die Autoren zeigen uns, dass wir die seltsame Quantenwelt in eine klassische Geschichte übersetzen können, aber der Preis dafür ist, dass wir akzeptieren müssen, dass die Welt auf einer tiefen Ebene wie ein riesiges, sofort kommunizierendes Nervensystem funktioniert – und nicht wie eine Ansammlung isolierter Kugeln.

Kurz gesagt: Wir können die Quantenwelt klassisch erklären, aber nur, wenn wir zugeben, dass die Welt "vernetzt" ist, wie ein Telepathie-Netzwerk, das wir im Alltag nicht sehen, aber mathematisch notwendig ist.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des Papers „Classical Explanations in (and of) General Probabilistic Theories" von John Harding und Alex Wilce auf Deutsch.

1. Problemstellung und Motivation

Das Papier adressiert das fundamentale Problem der Interpretation verallgemeinerter probabilistischer Theorien (GPTs), insbesondere im Hinblick auf die Quantenmechanik (QM).

• Klassische Annahme vs. Quantenrealität: Die klassische Wahrscheinlichkeitstheorie geht implizit davon aus, dass alle Experimente gemeinsame Verfeinerungen besitzen und somit gemeinsam durchgeführt werden können. Die QM widerlegt dies durch die Existenz inkompatibler (nicht-kommutierender) Experimente.
• Zwei Hauptansätze: Bisherige Verallgemeinerungen der Wahrscheinlichkeitstheorie folgen entweder dem „Quanten-Logik"-Ansatz (Ersetzung boolescher Algebren durch orthokomplementierte Verbände) oder dem „konvexen" Ansatz (Ersetzung des Wahrscheinlichkeits-Simplex durch beliebige konvexe Mengen).
• Das Ziel: Es existieren zahlreiche Sätze, die zeigen, dass solche Modelle durch klassische Modelle repräsentiert werden können, sofern man Verletzungen des Kontextualitätsprinzips und den Verlust der Lokalität akzeptiert. Diese Ergebnisse sind jedoch oft in unterschiedlichen formalen Rahmenwerken verstreut und nicht äquivalent.
• Hauptfrage: Kann man eine einheitliche, allgemeinere und klarere Darstellung finden, die erklärt, wie und unter welchen Bedingungen ein verallgemeinertes probabilistisches Modell durch ein klassisches Modell „erklärt" werden kann?

2. Methodik und Rahmenwerk

Die Autoren entwickeln einen kategorientheoretischen Rahmen, um probabilistische Modelle und deren Beziehungen zu analysieren.

• Kategorie Prob:

  • Ein probabilistisches Modell (PM) wird als Paar $(M, \Omega)$ definiert, wobei $M$ ein „Testraum" (eine Sammlung von nicht-leeren Mengen, die als Ergebnisräume für Experimente dienen) und $\Omega$ eine Menge von Wahrscheinlichkeitsgewichten (Zuständen) auf $M$ ist.
  • Morphismen: Morphismen zwischen Testräumen sind ereigniswertige Abbildungen, die Orthogonalität und Äquivalenz von Tests erhalten. Ein PM-Morphismus ist ein solcher Testraum-Morphismus, der zusätzlich die Zustände auf sub-normierte Zustände abbildet.
  • Die Autoren bilden die Kategorie Prob der probabilistischen Modelle und dieser Morphismen.

• Konzept der „Erklärung" (Explanation):

  • Eine Erklärung eines Modells $A$ durch ein Modell $B$ wird als ein spezieller Span in der Kategorie Prob definiert: Ein Tripel $(C, \phi, \psi)$, wobei $C$ ein drittes Modell ist, $\phi: C \to A$ ein Quotienten-Morphismus und $\psi: C \to B$ ein Einbettungs-Morphismus ist.
  • Intuitiv bedeutet dies: $A$ wird aus $C$ durch Einschränkung der Zugänglichkeit zu bestimmten Tests und Identifizierung von Zuständen erhalten, während $C$ in $B$ eingebettet ist.
  • Komposition: Obwohl die Kategorie Prob keine beliebigen Pullbacks zulässt, zeigen die Autoren, dass sich Erklärungen unter Verwendung einer speziellen Pullback-Konstruktion für „Sub-Quotienten" (eine Kombination aus Einbettung und Quotient) assoziativ zusammensetzen lassen.

• Der Borelifizierungs-Funktor (Bor):

  • Die Autoren konstruieren einen Endofunktor $\text{Bor}: \text{Prob} \to \text{Prob}$.
  • Für ein lokal-endliches Modell $A$ wird eine kanonische klassische Borel-Modell $\text{Bor}(A)$ konstruiert. Dies geschieht über die Menge der „dispersionsfreien" (d.f.) Wahrscheinlichkeitsgewichte auf dem semiklassischen Überzug von $A$.
  • Dieser Konstruktion wird ein kanonischer, scharfer klassischer Erklärung zugeordnet.

3. Schlüsselbeiträge und Ergebnisse

A. Existenz kanonischer klassischer Erklärungen

• Hauptsatz (Theorem 3.4): Jedes lokal-endliche probabilistische Modell $A$ besitzt eine kanonische, scharfe klassische Erklärung.
• Konstruktion:
  1. Man bildet den semiklassischen Überzug $\tilde{A}$ von $A$, bei dem Tests durch Paare $(x, E)$ (Ergebnis $x$ in Test $E$) ersetzt werden. Dies macht das Modell „semiklassisch".
  2. Man betrachtet die Menge $S$ der dispersionsfreien (d.f.) Wahrscheinlichkeitsgewichte auf $\tilde{A}$.
  3. Man konstruiert ein klassisches Borel-Modell $\text{Bor}(A)$ basierend auf der Borel-Struktur von $S$.
  4. Es existiert eine Einbettung $\tilde{A} \hookrightarrow \text{Bor}(A)$ und ein Quotient $\tilde{A} \twoheadrightarrow A$.
• Funktionalität: Die Zuordnung $A \mapsto \text{Bor}(A)$ ist funktoriell. Somit hat jede probabilistische Theorie (als Funktor $M: \mathcal{C} \to \text{Prob}$) eine kanonische klassische Darstellung $\text{Bor} \circ M$.

B. Verbindung zu ontologischen Modellen

• Die Autoren zeigen, dass ihre Konstruktion verallgemeinerte Versionen bekannter Ergebnisse ist, wie z.B. der Einbettungen von Beltrametti und Bugajski sowie des Rahmens der ontologischen Modelle (Spekkens).
• Eine „scharfe ontologische Darstellung" entspricht genau einer Einbettung des semiklassischen Überzugs in ein scharfes Borel-Modell.
• Das Ergebnis besagt: Jedes probabilistische Modell entsteht als Quotient eines Modells, das eine scharfe ontologische Darstellung zulässt.

C. Lokalität und Verschränkung (Abschnitt 4)

Dies ist der kritischste Teil der Analyse, der die Grenzen der klassischen Erklärung aufzeigt:

• Komposite Systeme: Für zusammengesetzte Systeme $AB$ (nicht-signalisierende Komposite) wird untersucht, ob die klassische Erklärung die Lokalität respektiert.
• Bell-Lokalität: Eine klassische Einbettung $\phi$ wird als „Bell-lokal" definiert, wenn für jeden Punktmasse-Zustand $\delta_s$ im klassischen Raum die zurückgezogenen Wahrscheinlichkeitsgewichte auf $AB$ Produktgewichte sind.
• Ergebnis (Proposition 4.7): Wenn ein nicht-signalisierender Kompositus eine Bell-lokale klassische Einbettung zulässt, dann müssen alle Zustände von $AB$ als Wahrscheinlichkeitsgewichte separabel sein.
• Das Paradoxon der Signalisierung: Die dispersionsfreien Zustände (die in der klassischen Erklärung die „ontischen" Zustände darstellen), die zur Repräsentation von nicht-signalisierenden Zuständen verwendet werden, sind in der Regel signalisierend.
  • Beispiel: Ein verschränkter Zustand (wie der PR-Box-Zustand) wird in der klassischen Erklärung als gewichteter Durchschnitt von signalisierenden, dispersionsfreien Zuständen dargestellt.
  • Folglich haben verschränkte Wahrscheinlichkeitsgewichte keine klassische Erklärung im Sinne einer Bell-lokalen Darstellung, selbst wenn man die Definition von „klassisch" großzügig auslegt.

D. Bell-Theorem im neuen Rahmen

• Das Bell-Theorem wird in diesem Rahmen als Konflikt zwischen einer bestimmten Definition von Lokalität und einer bestimmten Definition von Klassizität interpretiert.
• Da die Autoren keine Annahmen über lokale Tomographie oder endliche Dimensionen treffen, ist das Ergebnis allgemein gültig: Verschränkung impliziert, dass keine Bell-lokale klassische Erklärung existiert.

4. Signifikanz und Schlussfolgerungen

• Einheitlichkeit: Das Papier bietet einen einheitlichen mathematischen Rahmen, der sowohl die Quanten-Logik- als auch die konvexe Herangehensweise umfasst und zeigt, wie beide durch klassische Modelle „erklärt" werden können, wenn man auf Lokalität verzichtet.
• Klarheit über den Preis der Klassizität: Die Arbeit macht präzise, was der Preis für eine klassische Erklärung ist: Man muss entweder die Kontextualität (durch den Übergang zu einem größeren Raum) oder die Lokalität (durch die Einführung signalisierender ontischer Zustände) aufgeben.
• Philosophische Implikationen: Die Autoren diskutieren drei mögliche Haltungen zu den Ergebnissen:
  1. Die Welt ist nicht-klassisch, weil nicht-kommutierende Observablen nicht gemeinsam testbar sind; Verschränkung ist eine Form von Nicht-Lokalität.
  2. Die Welt ist klassisch (hat eine ontologische Basis), aber nicht-lokal (die beobachteten nicht-signalisierenden Zustände erfordern eine Feinabstimmung).
  3. Lokalität ist Teil der Definition von Klassizität; da die Welt nicht-lokal ist, ist sie nicht-klassisch.

Zusammenfassend beweisen Harding und Wilce, dass jede lokal-endliche probabilistische Theorie eine kanonische klassische Darstellung besitzt, aber diese Darstellung für verschränkte Systeme notwendigerweise die Lokalität verletzt, indem sie nicht-signalisierende Quantenzustände als Mischungen von signalisierenden klassischen Zuständen darstellt. Dies liefert eine tiefe mathematische Fundierung für das Verständnis der Grenzen klassischer Erklärungen in der Quantenphysik.