Aumann's theorem beyond ontology: quantum, postquantum, and indefinite causal order

Die Autoren leiten eine operationale Version von Aumanns Abkommens-Theorem her, das ohne die Annahme eines objektiven Weltzustands auskommt und somit auch in Quanten-, Post-Quanten- und Szenarien mit unbestimmter kausaler Ordnung gültig bleibt, wobei es lediglich in Wigner-Freund-Situationen versagen könnte.

Das Wesentliche

🤝 Wenn zwei Denker nicht mehr streiten können: Eine Reise durch Quanten und Zeit

Stell dir vor, du und dein bester Freund seid zwei sehr kluge Detektive. Ihr habt beide eine alte Landkarte (einen „gemeinsamen Ausgangspunkt") und untersucht ein mysteriöses Ereignis. Jeder von euch macht seine eigenen Beobachtungen. Normalerweise könnten eure Schlussfolgerungen unterschiedlich ausfallen.

Aber es gibt ein berühmtes mathematisches Gesetz, das Aumanns Theorem, das besagt: Wenn ihr beide rational denkt, dieselbe Startkarte habt und euch eure Schlussfolgerungen gegenseitig „zu 100 % bekannt" sind (man nennt das „gemeinsames Wissen"), dann müsst ihr am Ende exakt dieselbe Wahrscheinlichkeit für das Ereignis annehmen. Ihr könnt euch nicht auf einen endlosen Streit einigen („agree to disagree").

Das Problem bisher: Dieses Gesetz funktionierte nur, wenn man annahm, dass es eine objektive, feste Realität gibt, die unabhängig von euch existiert – wie eine unsichtbare Bühne, auf der das Theaterstück spielt.

Die Autoren dieser neuen Arbeit fragen sich nun: Was passiert, wenn es diese feste Bühne gar nicht gibt? Was, wenn wir uns nur auf das verlassen können, was wir tatsächlich sehen? Und was, wenn wir in der seltsamen Welt der Quantenphysik oder sogar in Szenarien sind, in denen die Zeit keine klare Richtung hat?

Hier ist die einfache Erklärung ihrer Entdeckungen:

1. Der alte Weg: Die unsichtbare Bühne 🎭

In der klassischen Physik (unser Alltag) gehen wir davon aus, dass es einen „wahren Zustand" der Welt gibt. Stell dir vor, es gibt eine Kiste mit einem roten oder blauen Ball darin.

• Alice schaut durch ein Loch und sieht Rot.
• Bob schaut durch ein anderes Loch und sieht Blau.
• Wenn sie sich austauschen und wissen, was der andere sieht, müssen sie sich einig werden, dass die Kiste entweder rot oder blau ist.
  Das alte Theorem sagte: „Solange es eine echte Kiste da draußen gibt, müsst ihr euch einig werden."

2. Der neue Weg: Nur die Ergebnisse zählen 🎲

Cepollaro und Di Biagio sagen: „Vergiss die Kiste! Vergiss die unsichtbare Bühne!"
Statt zu fragen „Was ist wirklich in der Kiste?", fragen sie nur: „Was haben wir gemessen?"

Stell dir vor, Alice und Bob spielen ein Spiel mit Würfeln, aber sie sehen nie den Würfel selbst, nur die Zahlen, die oben stehen.

• Sie haben eine gemeinsame Regel, wie die Würfel fallen könnten (die „Wahrscheinlichkeitsverteilung").
• Alice wirft eine 3. Bob wirft eine 5.
• Wenn sie sich gegenseitig sagen: „Ich weiß, dass du eine 5 geworfen hast, und du weißt, dass ich eine 3 geworfen habe, und wir wissen, dass wir das wissen..."

Die Autoren beweisen: Selbst wenn es keine feste Kiste gibt, müssen sie sich immer noch einig werden. Solange es eine gemeinsame mathematische Regel gibt, die beschreibt, wie ihre Ergebnisse zusammenhängen, können sie nicht endlos streiten.

3. Die Reise in die Quantenwelt und darüber hinaus 🌌

Das ist der spannende Teil. In der Quantenphysik ist die Welt oft wie ein Nebel. Dinge existieren nicht in einem festen Zustand, bis man sie misst. Manchmal messen Dinge sogar in einer Reihenfolge, die nicht feststeht (Indefinite Causal Order – als ob Alice Bob trifft, bevor Bob Alice trifft, und nachdem Bob Alice getroffen hat, gleichzeitig).

• Früher dachte man: „Aumanns Theorem funktioniert hier nicht, weil es keine feste Realität gibt."
• Die neue Erkenntnis: „Falsch! Das Theorem funktioniert sogar besser hier."

Die Autoren zeigen, dass das Theorem völlig egal ist, ob die Welt aus festen Steinen besteht oder aus schwebenden Quanten-Wolken. Solange Alice und Bob ihre Wahrscheinlichkeiten basierend auf dem berechnen, was sie sehen können, und solange sie sich gegenseitig verstehen, müssen sie am Ende dieselbe Meinung haben.

Eine Analogie:
Stell dir vor, Alice und Bob sind zwei Astronauten in verschiedenen Raumschiffen, die durch eine Zeit-Schleife reisen. Sie können nicht sehen, was der andere tut, aber sie können sich Nachrichten schicken.
Selbst wenn die Zeit in ihrem Universum chaotisch ist (manchmal fliegt die Nachricht in die Vergangenheit, manchmal in die Zukunft), solange sie die gleichen physikalischen Gesetze für die Nachrichten nutzen, werden sie am Ende dieselbe Vorhersage treffen. Sie können nicht sagen: „Ich bin zu 100% sicher, dass es regnet" und „Ich bin zu 100% sicher, dass es trocken ist", wenn sie sich gegenseitig verstehen.

4. Wo könnte das Theorem scheitern? 🚫

Die Autoren sind ehrlich: Es gibt einen Ort, an dem dieses Gesetz vielleicht nicht mehr funktioniert.
Stell dir das berühmte Gedankenexperiment „Wigners Freund" vor.

• Alice ist in einem Labor und misst ein Teilchen. Für sie ist das Ergebnis fest.
• Bob ist draußen und betrachtet das ganze Labor (inklusive Alice) als Quantensystem. Für ihn ist Alice noch in einer Überlagerung von „gemessen" und „nicht gemessen".

In diesem Fall gibt es vielleicht keine gemeinsame Beschreibung der Ereignisse mehr. Es ist, als ob Alice und Bob in zwei völlig verschiedenen Universen leben, die sich nicht überlappen. Hier könnte das „Einigwerden" scheitern, weil es keine gemeinsame Basis für die Wahrscheinlichkeiten gibt.

🌟 Das Fazit in einem Satz

Egal ob wir in unserer normalen Welt, in der seltsamen Quantenwelt oder in einer Welt ohne feste Zeitordnung leben: Solange wir alle dieselben Regeln für das Berechnen von Wahrscheinlichkeiten nutzen und uns gegenseitig verstehen, müssen wir am Ende zu denselben Schlussfolgerungen kommen. Wir müssen nicht an eine „wahre Realität" glauben, um uns einig zu sein – wir brauchen nur eine gemeinsame Sprache für das, was wir beobachten.

Das ist eine beruhigende Nachricht für die Wissenschaft: Selbst in einem chaotischen Universum gibt es Ordnung im Denken.

Technische Zusammenfassung

Titel: Aumanns Theorem jenseits der Ontologie: Quanten, Post-Quanten und indefinierter kausaler Ordnung

Autoren: Carlo Cepollaro und Andrea Di Biagio

---

1. Problemstellung

Das klassische Aumanns-Agreement-Theorem (1976) ist ein fundamentales Ergebnis der bayesianischen Epistemik. Es besagt, dass zwei rationale Agenten, die einen gemeinsamen Prior (Vorwissen) teilen und deren Posterior-Wahrscheinlichkeiten (aktuelle Überzeugungen) gemeinsames Wissen (common knowledge) sind, nicht zu unterschiedlichen Wahrscheinlichkeiten für dasselbe Ereignis gelangen können. Sie können nicht „darüber einig sein, uneinig zu sein".

Das zentrale Problem, das in diesem Paper adressiert wird, liegt in der ontologischen Annahme des klassischen Theorems:

• Die klassische Formulierung geht von einem zugrunde liegenden Zustandsraum $\Omega$ (einem „wahren Zustand der Welt") aus, der unabhängig von den Beobachtungen existiert.
• Die Messergebnisse werden als Partitionen dieses Zustandsraums definiert.
• In der Quantenmechanik (und darüber hinaus) ist die Existenz eines solchen objektiven, beobachterunabhängigen Zustandsraums jedoch umstritten oder sogar unmöglich (z. B. bei nicht-kommutierenden Messungen oder in Szenarien mit indefinierter kausaler Ordnung).
• Bisherige Versuche, das Theorem auf Quantensysteme zu erweitern, waren entweder auf kommutierende Messungen beschränkt oder stießen auf scheinbare Widersprüche in der Literatur, die oft auf unterschiedliche Interpretationen von „Zustandsaktualisierung" zurückzuführen waren.

Die Frage lautet: Kann Aumanns Theorem ohne die Annahme einer zugrunde liegenden ontischen Realität (eines wahren Zustands der Welt) formuliert werden, um auf beliebige physikalische Theorien (Quanten, Post-Quanten) anwendbar zu sein?

---

2. Methodik

Die Autoren entwickeln eine operationale Formulierung des Agreement-Theorems, die vollständig auf die Beobachtungsdaten beschränkt ist.

• Verzicht auf den Zustandsraum: Statt eines Zustandsraums $\Omega$ wird der Raum der möglichen Messergebnisse betrachtet.
• Gemeinsame Prior-Verteilung: Alice und Bob teilen keine Prior-Wahrscheinlichkeit über einen Zustand der Welt, sondern eine gemeinsame Prior-Verteilung $p(i, j, k)$ über die Tripel von Messergebnissen dreier Messungen (Alice: $i$, Bob: $j$, ein drittes Ereignis/Event: $k$).
• Bayessche Konditionierung: Die Posterior-Wahrscheinlichkeiten werden rein durch Bayessche Aktualisierung auf Basis der beobachteten Ergebnisse berechnet:
  $$p_A(k|i) = \frac{p(i, k)}{p(i)}, \quad p_B(k|j) = \frac{p(j, k)}{p(j)}$$
• Definition von gemeinsamem Wissen im operationalen Kontext:
  • Es werden Mengen von Ergebnissen definiert ($A_0, B_0$), die zu bestimmten Posteriors führen.
  • Durch rekursive Definition ($A_{n+1} = \{i \in A_n \mid p_A(B_n|i) = 1\}$) wird das Konzept des gemeinsamen Wissens auf die Ergebnisse übertragen.
  • Gemeinsames Wissen liegt vor, wenn das Paar der Ergebnisse $(i, j)$ im unendlichen Schnitt dieser Mengen liegt.
• Allgemeingültigkeit: Die Methode verlangt nur die Existenz einer gemeinsamen Wahrscheinlichkeitsverteilung für die Messergebnisse. Sie macht keine Annahmen darüber, wie diese Verteilung physikalisch erzeugt wird (ob durch klassische Statistik, Quantenmechanik oder Post-Quanten-Theorien).

---

3. Hauptbeiträge und Ergebnisse

A. Das Operationale Agreement-Theorem (Theorem 2)

Die Autoren beweisen, dass wenn rationale Agenten eine gemeinsame Prior-Verteilung über Messergebnisse teilen und deren Posteriors gemeinsames Wissen sind, diese Posteriors notwendigerweise identisch sein müssen ($q_A = q_B$).

• Beweisidee: Der Beweis nutzt die Eigenschaften bedingter Wahrscheinlichkeiten und der rekursiven Mengenbildung. Wenn das Wissen über die Posteriors unendlich tief ist, impliziert dies, dass die bedingten Wahrscheinlichkeiten der Mengen $A^*$ und $B^*$ (die den Schnitt aller Wissensschichten darstellen) gleich sind, was zur Gleichheit der Posteriors führt.
• Wichtig: Der Beweis benötigt keinen „wahren Zustand" $\omega^*$. Er gilt allein basierend auf der Konsistenz der Wahrscheinlichkeitszuweisungen.

B. Anwendung auf die Quantenmechanik

Das Theorem wird erfolgreich auf Quantenszenarien angewendet:

• Nicht-kommutierende Messungen: Im Gegensatz zu früheren Arbeiten, die Kommutativität forderten, gilt das Theorem auch, wenn die Messoperatoren von Alice, Bob und dem dritten Ereignis nicht kommutieren.
• Beispiel: Ein konkretes Szenario mit projektiven Messungen auf einem 4-dimensionalen Hilbertraum ($\mathbb{C}^4$) wird durchgerechnet. Es zeigt sich, dass solange die Messergebnisse eine gemeinsame Wahrscheinlichkeitsverteilung $p(i,j,k)$ (berechnet via Spur-Formel $\text{tr}(E_k \circ B_j \circ A_i [\rho])$) zulassen, keine „Einigung auf Uneinigkeit" möglich ist.
• Kausalordnung: Das Theorem gilt auch, wenn die Messreihenfolge nicht festgelegt ist (z. B. wenn $E$ zwischen $A$ und $B$ stattfindet).

C. Anwendung auf Indefinite Causal Order (ICO) und Post-Quanten-Theorien

• Prozessmatrizen (W-Matrices): In Szenarien mit indefinierter kausaler Ordnung (wo die Reihenfolge der Ereignisse in einer quantenmechanischen Superposition sein kann), wird die Wahrscheinlichkeitsverteilung durch eine Prozessmatrix $W$ beschrieben: $p(i,j,k) = \text{tr}[(\tilde{A}_i \otimes \tilde{B}_j \otimes \tilde{E}_k) W]$.
• Ergebnis: Solange eine solche gemeinsame Verteilung existiert (was in ICO-Szenarien der Fall ist), bleibt das Agreement-Theorem gültig.
• Post-Quanten-Theorien: Das Theorem gilt für jede Theorie (z. B. verallgemeinerte probabilistische Theorien), die es erlaubt, gemeinsame Wahrscheinlichkeitsverteilungen für Messergebnisse zu berechnen.

D. Klärung scheinbarer Widersprüche

Die Autoren diskutieren und entkräften scheinbar widersprüchliche Ergebnisse aus der Literatur:

• Contreras-Tejada et al. (2021): Diese Arbeit zeigte „singuläre Uneinigkeit" bei post-quanten Nicht-Signaling-Boxen. Die Autoren erklären, dass dies auf ** kontrafaktischen Ereignissen** (Ergebnisse von Messungen, die nicht durchgeführt wurden) beruht. Da das operative Theorem nur tatsächliche, gemeinsam verteilte Ergebnisse betrachtet, gilt es nicht für kontrafaktische Szenarien.
• Díaz et al. (2025): Diese Arbeit fand Uneinigkeit bei nicht-kommutierenden Messungen. Die Autoren argumentieren, dass dies auf einer nicht-standardmäßigen Aktualisierungsregel beruht (Alice behandelt Bobs System als Superposition statt als gemischten Zustand). Unter der korrekten Quantenmechanik (Mischung) gilt das Theorem auch hier.

---

4. Grenzen und Ausnahmen

Das Paper identifiziert eine klare Grenze, wo das Theorem versagen könnte:

• Wigner's-Friend-Szenarien: In Situationen, in denen verschiedene Beobachter (z. B. Wigner und sein Freund) Messungen durchführen, bei denen die Ergebnisse nicht als gemeinsam existierende, beobachterunabhängige Ereignisse behandelt werden können, könnte die Existenz einer gemeinsamen Wahrscheinlichkeitsverteilung $p(i, j, k)$ infrage gestellt werden.
• Wenn keine gemeinsame Verteilung definiert werden kann (z. B. weil die Ergebnisse nur relativ zum Beobachter existieren), bricht die logische Basis des Theorems zusammen. Dies ist der einzige Bereich, in dem eine „Einigung auf Uneinigkeit" theoretisch möglich bleibt.

---

5. Bedeutung und Fazit

• Ontologische Unabhängigkeit: Die wichtigste Erkenntnis ist, dass Aumanns Theorem keine ontologische Realität (einen „wahren Zustand der Welt") voraussetzt. Es ist rein ein Ergebnis der Konsistenz probabilistischer Vorhersagen und der Struktur des bayesianischen Reasonings.
• Verallgemeinerung: Das Theorem wird von klassischen Modellen auf beliebige physikalische Rahmenwerke erweitert, solange diese eine gemeinsame Wahrscheinlichkeitsverteilung für Messergebnisse zulassen.
• Einheitlichkeit: Es zeigt, dass die Unmöglichkeit, „einig über Uneinigkeit" zu sein, ein fundamentales Merkmal rationaler Agenten in fast allen physikalischen Theorien ist, einschließlich Quantenmechanik und Szenarien mit undefinierter Kausalität.
• Implikation für die Grundlagenphysik: Das Paper liefert ein starkes Argument dafür, dass die Konsistenz von Beobachtungen zwischen Agenten nicht von der Existenz einer klassischen Realität abhängt, sondern nur von der mathematischen Struktur der Wahrscheinlichkeiten selbst. Es lenkt den Fokus auf die Wigner's-Friend-Paradoxa als den einzigen verbleibenden Kandidaten für einen Bruch dieses Prinzips.

Zusammenfassend verschiebt das Paper den Fokus von der Frage „Was ist die Realität?" zu „Wie müssen rationale Agenten ihre Wahrscheinlichkeiten konsistent halten, unabhängig von der Natur der Realität?".