Agreement and Compatibility in Wigner's Friend Paradox

Dieser Artikel stellt das Wigner's-Freund-Paradoxon als Inferenzproblem neu dar, um eine radikal bayesianische Interpretation vorzuschlagen, die den scheinbaren Widerspruch auflöst, indem sie zeigt, dass die Beschreibungen von Wigner und seinem Freund grundlegend vereinbar sind und durch das Prinzip des „Vorteils des Zweifels" in Einklang gebracht werden können.

Das Wesentliche

Das große Ganze: Ein Missverständnis, kein Paradoxon

Stellen Sie sich ein berühmtes Gedankenexperiment vor, das Wigners Freund heißt. Es involviert zwei Personen: Wigner (der sich außerhalb eines abgeschlossenen Labors befindet) und seinen Freund (der sich innerhalb des Labors befindet).

Im Inneren des Labors misst der Freund ein winziges Quantenteilchen (wie ein Elektron).

• Die Sicht des Freundes: Sie sieht ein eindeutiges Ergebnis. Sie sagt: „Ich habe es gemessen, und es ist definitiv 'Oben'."
• Die Sicht von Wigner: Da er draußen ist und nicht hingeschaut hat, behandelt er das gesamte Labor (Freund + Teilchen) als eine riesige, verschwommene Quantenwelle. Er sagt: „Das System befindet sich in einer Superposition von 'Freund sah Oben' UND 'Freund sah Unten'."

Seit Jahrzehnten streiten Physiker: Wie können beide recht haben? Der eine sieht eine eindeutige Realität; der andere sieht eine verschwommene Mischung. Ist das nicht ein Widerspruch?

Dieses Paper sagt: Nein, es ist kein Widerspruch. Die Autoren argumentieren, dass das „Paradoxon" nur existiert, weil wir die falschen Regeln anwenden, um die Situation zu beurteilen. Sie schlagen vor, dass, wenn wir die Quantenmechanik wie ein Spiel der Bayesschen Inferenz behandeln (das Aktualisieren Ihrer Überzeugungen basierend auf neuen Informationen), die beiden Beschreibungen tatsächlich perfekt kompatibel sind.

---

Das Kernkonzept: „Kompatibilität" versus „Übereinstimmung"

Die Autoren treffen eine entscheidende Unterscheidung zwischen zwei Wörtern, die Menschen oft verwechseln: Kompatibilität und Übereinstimmung.

1. Kompatibilität (Die Analogie der „überlappenden Karte")

Stellen Sie sich zwei Wanderer vor, Alice und Bob, die in einem Wald verloren sind.

• Alice hat eine Karte, die besagt, dass der Schatz in der „Nord-Ost"- oder „Süd-Ost"-Ecke liegt.
• Bob hat eine Karte, die besagt, dass der Schatz definitiv in der „Nord-Ost"-Ecke liegt.

Widersprechen sich ihre Karten? Nein.
Bobs Karte ist einfach spezifischer als Alices. Die „Nord-Ost"-Ecke befindet sich in beiden Karten. Sie sind kompatibel. Sie können beide recht haben, weil sich ihre möglichen Antworten überschneiden.

Das Paper argumentiert, dass Wigner und sein Freund wie diese Wanderer sind.

• Der Freund weiß, dass das Ergebnis entweder „Oben" oder „Unten" ist (aber sie weiß, welches sie gesehen hat).
• Wigner denkt, das Ergebnis sei eine Mischung aus „Oben" und „Unten".
• Die Mathematik: Die Autoren zeigen, dass der „Oben"-Zustand (den der Freund sieht) tatsächlich innerhalb des „Misch"-Zustands liegt (den Wigner sieht). Da die Realität des Freundes eine Teilmenge der Realität von Wigner ist, überschneiden sich ihre Beschreibungen. Daher sind sie kompatibel. Es gibt kein Paradoxon; sie haben einfach unterschiedliche Informationsstände.

2. Übereinstimmung (Die Analogie des „Treffens in der Mitte")

Stellen Sie sich nun vor, Alice und Bob wollen sich einigen, wo genau der Schatz liegt.

• Wenn sie stur sind und ihre Karten nicht teilen wollen, werden sie sich niemals einigen.
• Wenn sie aufgeschlossen sind, können sie ihre Daten austauschen.

Das Paper untersucht, wie sie zu einer Übereinstimmung (einer einzigen, gemeinsamen Beschreibung) gelangen können, indem sie zwei Methoden anwenden:

Methode A: Der „Vorteil des Zweifels" (Aufgeschlossen sein)
In der ursprünglichen Geschichte ist Wigner zu 100 % sicher, dass seine Mathematik stimmt. Er weist der Möglichkeit, dass der Freund falsch liegt, eine 0-prozentige Chance zu.

• Das Problem: Wenn Sie einer Sache eine 0-prozentige Chance zuschreiben, können Sie niemals davon überzeugt werden, egal welche Beweise Sie sehen. (Dies nennt man die Cromwell-Regel).
• Die Lösung: Die Autoren schlagen vor, dass Wigner einen winzigen, winzigen „Vorteil des Zweifels" geben sollte (sagen wir, 0,0001 %). Er sollte zugeben: „Ich bin zu 99,9999 % sicher, aber vielleicht habe ich etwas übersehen."
• Das Ergebnis: Sobald Wigner eine winzige Möglichkeit eines Fehlers zulässt, ändert sich die Mathematik. Jetzt, wenn der Freund ihre Daten teilt, kann Wigner seine Überzeugung aktualisieren. Sie können sich in der Mitte treffen und sich auf den Endzustand einigen.

Methode B: Zustandsverbesserung (Die Analogie des „Experten")
Stellen Sie sich vor, der Freund ist eine Expertin für das Labor, und Wigner ist ein Anfänger.

• Wenn Wigner dem Freund vertraut, kann er ihren Bericht als neue Daten behandeln.
• Das Paper zeigt, dass Wigner, wenn er aufgeschlossen ist, seinen Zustand „verbessern" kann, indem er die Beschreibung des Freundes übernimmt.
• Umgekehrt kann der Freund, wenn sie Wigners Status als Superbeobachter vertraut, ihren Zustand aktualisieren, um mit seinem übereinzustimmen.

---

Die „Wende": Was passiert, wenn sie sich über die Regeln nicht einig sind?

Das Paper testet auch, was passiert, wenn die Akteure sich nicht über die Grundlagen einig sind.

• Szenario: Was, wenn Wigner denkt, die Maschine im Labor sei defekt, oder eine andere Uhr verwendet, oder glaubt, das Teilchen sei in einem anderen Zustand gestartet?
• Ergebnis: Wenn sie sich über das Setup (den Anfangszustand oder die Regeln des Spiels) nicht einig sind, dann überschneiden sich ihre Karten nicht. In diesem Fall sind sie wirklich inkompatibel, und ein Paradoxon existiert.
• Fazit: Das Paradoxon in der ursprünglichen Geschichte funktioniert nur, wenn wir annehmen, dass sie sich über das Setup nicht einig sind. Aber das Paper weist darauf hin, dass sie im ursprünglichen Gedankenexperiment vorher über alles einig waren. Daher ist das Paradoxon eine Illusion, die durch das Vergessen entsteht, dass sie auf derselben Seite gestartet sind.

Zusammenfassung der Behauptungen des Papers

1. Kein Paradoxon: Wigners Freund ist kein Paradoxon. Es ist einfach eine Situation, in der zwei Personen unterschiedliche Mengen an Informationen haben.
2. Kompatibilität ist der Schlüssel: Solange sich ihre möglichen Antworten überschneiden (was sie tun), sind ihre Beschreibungen kompatibel. Sie müssen nicht identisch sein, um „richtig" zu sein.
3. Übereinstimmung ist möglich: Wenn die Akteure bereit sind, Informationen auszutauschen und aufgeschlossen zu bleiben (indem sie einen „Vorteil des Zweifels" gewähren), können sie ihre Ansichten mathematisch in Einklang bringen und sich auf eine einzige Realität einigen.
4. Das eigentliche Problem: Ein Paradoxon tritt nur auf, wenn die Akteure stur sind, den Austausch von Daten verweigern oder sich über die fundamentalen Regeln des Experiments nicht einig sind.

Kurz gesagt: Das Paper schlägt vor, dass die „spukhafte" Natur der Quantenmechanik in diesem Szenario kein Zusammenbruch der Realität ist, sondern ein Zusammenbruch der Kommunikation und der Aufgeschlossenheit zwischen den Beobachtern. Wenn sie sprechen und zuhören, verschwindet das Rätsel.

Technische Zusammenfassung

Technische Zusammenfassung: Übereinstimmung und Kompatibilität im Wigner's-Friend-Paradoxon

Problemstellung
Der Beitrag behandelt das „Wigner's-Friend"-Paradoxon, ein Gedankenexperiment, das ursprünglich 1961 von Eugene Wigner vorgeschlagen wurde. Das Paradoxon ergibt sich aus einer scheinbaren Unverträglichkeit zwischen den Beschreibungen eines Quantensystems durch zwei Agenten: „Wigner" (ein Superbeobachter außerhalb eines geschlossenen Labors) und „Wigners Freund" (ein Beobachter innerhalb des Labors).

• Der Konflikt: Der Freund führt eine Messung an einem Qubit durch und kollabiert den Zustand zu einem definitiven Ergebnis (z. B. $|0\rangle$ oder $|1\rangle$). Wigner, der den Freund und das System als ein geschlossenes Quantensystem behandelt, beschreibt die gemeinsame Entwicklung als einen unitären Prozess, der zu einer verschränkten Superposition führt (z. B. den Bell-Zustand $|\phi^+\rangle$).
• Das Paradoxon: Wigners Beschreibung sagt eine Wahrscheinlichkeit von 1 für den verschränkten Zustand voraus, während die Beschreibung des Freundes (nach der Messung) eine Wahrscheinlichkeit von 1 für einen spezifischen Produktzustand zuweist. Wigner argumentierte, dies stelle einen Widerspruch dar und deute auf eine fundamentale Unverträglichkeit zwischen unitärer Evolution und Wellenfunktionskollaps oder auf ein Versagen der Quantenmechanik im makroskopischen Maßstab hin.
• Aktueller Konsens: Die neuere Literatur schlägt häufig vor, dass das Paradoxon nur in „Viel-Teilchen"-Erweiterungen (z. B. Bong et al., 2020) auftritt. Dieser Beitrag argumentiert, dass die ursprüngliche Formulierung selbst einen „Schein-Paradoxon" enthält, der auf einem Missverständnis von Kompatibilität und Übereinstimmung beruht.

Methodik
Die Autoren rahmen das Gedankenexperiment nicht als physikalischen Widerspruch, sondern als ein Inferenzproblem innerhalb eines radikal bayesianischen Rahmens neu. Sie behandeln die Quantentheorie als eine nicht-kommutative Verallgemeinerung der bayesianischen Wahrscheinlichkeitstheorie, wobei Quantenzustände das Wissen oder die Überzeugung eines Agenten und nicht eine objektive physikalische Realität repräsentieren.

Die Methodik verläuft in drei Stufen:

1. Neuformulierung als Inferenz: Die Agenten werden als bayesianische Denker modelliert, die Wahrscheinlichkeitsverteilungen (klassisch) oder Dichteoperatoren (quantenmechanisch) basierend auf ihren verfügbaren Informationen zuweisen.
2. Definition von Kompatibilität: Die Autoren übernehmen und wenden Definitionen von Kompatibilität von Leifer und Spekkens (2014) sowie Duarte (2020) an.
   • Objektiv-bayesianische Kompatibilität: Zwei Zuweisungen sind kompatibel, wenn sie aus einer gemeinsamen Wahrscheinlichkeitsverteilung durch Konditionierung auf unterschiedliche Daten abgeleitet werden können.
   • Subjektiv-bayesianische Kompatibilität: Zwei Zuweisungen sind kompatibel, wenn es ein hypothetisches Experiment (Wahrscheinlichkeitsfunktion) gibt, sodass beide Agenten nach Beobachtung eines spezifischen Ergebnisses ihre Überzeugungen auf identische Verteilungen aktualisieren würden.
   • Mathematisches Kriterium: In beiden Fällen, klassisch und quantenmechanisch, wird Kompatibilität durch den nicht-trivialen Schnitt der Träger der Wahrscheinlichkeitsverteilungen oder Dichtematrizen bestimmt.
3. Analyse der Übereinstimmung: Die Autoren unterscheiden zwischen Kompatibilität (der Möglichkeit, übereinzustimmen) und Übereinstimmung (dem Zustand identischer Beschreibungen). Sie untersuchen Mechanismen zur Zustandsverbesserung (Aktualisierung der eigenen Überzeugung basierend auf der Zuweisung eines anderen) und zum Zustandspooling (Kombination von Zuweisungen zu einem Konsens).

Hauptbeiträge und Ergebnisse

1. Auflösung des ursprünglichen Paradoxons:
   Durch Anwendung des Kriteriums des Träger-Schnitts zeigen die Autoren, dass Wigners und die Beschreibung des Freundes kompatibel sind.

   • Wigner weist den reinen Zustand $|\phi^+\rangle\langle\phi^+|$ zu.
   • Der Freund weist den gemischten Zustand $\rho_F = \frac{1}{2}(|00\rangle\langle00| + |11\rangle\langle11|) = \frac{1}{2}(|\phi^+\rangle\langle\phi^+| + |\phi^-\rangle\langle\phi^-|)$ zu.
   • Der Träger von Wigners Zustand ist der von $|\phi^+\rangle$ aufgespannte Unterraum. Der Träger des Zustands des Freundes ist der von $\{|\phi^+\rangle, |\phi^-\rangle\}$ aufgespannte Unterraum.
   • Da der Schnitt dieser Träger nicht-trivial ist (er enthält $|\phi^+\rangle$), sind die Zuweisungen kompatibel. Der scheinbare Widerspruch entsteht nur, wenn man verlangt, dass die Beschreibungen der Agenten vor dem Austausch von Informationen identisch sein müssen, was von der bayesianischen Inferenz nicht gefordert wird.

2. Die Rolle der Übereinstimmung und des „Vorteils des Zweifels":
   Der Beitrag argumentiert, dass sich das Paradoxon auflöst, wenn die Agenten anerkennen, dass ihre unterschiedlichen Beschreibungen auf unterschiedlichem Informationszugang beruhen (der Freund hat Messdaten; Wigner nicht).

   • Zustandsverbesserung: Die Autoren zeigen, dass der Freund, wenn er Wigner als Experten behandelt (oder umgekehrt), seine Überzeugungen aktualisieren kann. Wenn Wigner jedoch „stur" ist (eine Wahrscheinlichkeit von 1 für $|\phi^+\rangle$ zuweist), kann er seine Überzeugung basierend auf dem Bericht des Freundes nicht aktualisieren (aufgrund der Cromwell-Regel: $P(H)=0 \implies P(H|E)=0$).
   • Vorteil des Zweifels: Um eine Versöhnung zu erreichen, führen die Autoren einen Parameter $\epsilon$ ein, der den „Vorteil des Zweifels" darstellt. Wenn Wigner eine kleine, nicht-null Wahrscheinlichkeit ($\epsilon$) für den orthogonalen Zustand $|\phi^-\rangle$ zuweist (und damit potenzielles Rauschen oder Umgebungswechselwirkung anerkennt), erweitert sich sein Träger. Dies ermöglicht eine Wahrscheinlichkeitsfunktion, bei der beide Agenten auf einen gemeinsamen Zustand aktualisieren können, wodurch die Meinungsverschiedenheit gelöst wird.

3. Bedingungen für Inkompatibilität:
   Der Beitrag klärt auf, dass Inkompatibilität im Szenario von Wigner nur unter spezifischen, nicht-standardmäßigen Annahmen entsteht, wie zum Beispiel:

   • Uneinigkeit über den Anfangszustand (z. B. nimmt Wigner $|11\rangle$ an, während der Freund $|00\rangle$ annimmt).
   • Uneinigkeit über die Dynamik (z. B. verschiedene Gattersequenzen oder Zeitentwicklungsmodelle).
   • Fehlendes gemeinsames Wissen bezüglich des experimentellen Aufbaus.
     Die Autoren betonen, dass das „Paradoxon" oft das Ergebnis einer Versäumnis der Agenten ist, sich über diese grundlegenden Aspekte zu einigen, und nicht ein Versagen der Quantentheorie selbst.

4. Versöhnungsmechanismen:
   Der Beitrag beschreibt Methoden zur Erzielung einer Übereinstimmung:

   • Subjektive Versöhnung: Konstruktion eines hypothetischen Experiments (Wahrscheinlichkeitsoperator), der zu einer Übereinstimmung bei mindestens einem Ergebnis führt.
   • Objektive Versöhnung: Konstruktion einer „virtuellen Vergangenheit"-Gemeinschaftsverteilung, die die aktuellen Perspektiven der Agenten vereint.
   • Pooling: Diskussion linearer und multiplikativer Pooling-Methoden zur Kombination von Überzeugungen unter der Feststellung, dass ohne eine gemeinsame Prior-Verteilung oder spezifische Gewichtung das Pooling möglicherweise keine eindeutige Lösung liefert.

Bedeutung und Behauptungen
Der Beitrag behauptet, dass das Wigner's-Friend-Paradoxon kein fundamentaler Fehler der Quantenmechanik ist, sondern ein konzeptioneller Fehler, der aus einem Mangel an rigorosen Definitionen für Kompatibilität und Übereinstimmung resultiert.

• Kein Paradoxon: Die Autoren schließen, dass es in der ursprünglichen Formulierung „keine paradoxe Schlussfolgerung" gibt. Die unterschiedlichen Beschreibungen sind einfach eine natürliche Folge davon, dass Agenten Zugang zu unterschiedlichen Informationen haben, was vollständig mit der bayesianischen Inferenz vereinbar ist.
• Inferenzwende: Die Arbeit plädiert für eine „Inferenzwende" in der grundlegenden Quantenphysik, bei der Quantenzustände als Repräsentationen von Wissen und nicht als objektive Zustände der Natur betrachtet werden.
• Bescheidener Umfang: Die Autoren geben ausdrücklich an, dass ihr Beitrag ein „erster Schritt" zur Beseitigung oberflächlicher Interpretationen des Paradoxons ist. Sie räumen Einschränkungen ein, wie die Zerbrechlichkeit ihrer Kompatibilitätsdefinition (die durch kleine Variationen im Setup gebrochen werden kann) und die Tatsache, dass ihre Auflösung darauf beruht, das Problem als ein Mehr-Agenten-Inferenzproblem und nicht als direkten physikalischen Widerspruch neu zu rahmen. Sie beanspruchen nicht, die Viel-Teilchen-Erweiterungen (z. B. die „No-Go-Theoreme" von Bong et al.) zu lösen, schlagen jedoch vor, dass ihr Rahmenwerk die ursprüngliche Quelle klärt.

Zusammenfassend argumentiert der Beitrag, dass durch die rigorose Definition von Kompatibilität durch den Schnitt der Träger und die Behandlung des Szenarios als Problem der bayesianischen Inferenz das „Paradoxon" verschwindet und offenbart, dass Wigner und sein Freund kohärent mit unterschiedlichen, jedoch kompatiblen Beschreibungen der Realität koexistieren können.