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

Probleemstelling

Aumann's overeenkomststheorema (1976) is een fundamenteel resultaat in de Bayesiaanse epistemologie dat stelt dat twee rationele agenten met een gemeenschappelijke prior (voorafgaande kansverdeling) en gemeenschappelijke kennis van hun achterafkansen (posteriors) niet kunnen "akkoord gaan om het oneens te zijn". Ze moeten dus dezelfde waarschijnlijkheid toekennen aan hetzelfde event.

De klassieke formulering van dit theorema rust echter op een sterke ontologische aanname: er bestaat een objectieve "ware toestand van de wereld" ($\omega^*$) die onafhankelijk is van de waarnemingen. De agenten partitioneren deze statruimte op basis van hun metingen.

Het probleem dat dit artikel aanpakt, is of dit theorema nog geldt in contexten waar deze ontologische basis ontbreekt of problematisch is, zoals in:

1. Kwantummechanica: Waar niet-commuterende metingen en het ontbreken van een definitieve toestand voorafgaand aan meting de klassieke statruimte-interpretatie ondermijnen.
2. Post-kwantumtheorieën: Waar de regels van waarschijnlijkheid anders kunnen zijn.
3. Onbepaalde causale orde: Situaties waar de volgorde van gebeurtenissen niet vaststaat (bijv. superpositie van "Alice meet voor Bob" en "Bob meet voor Alice").

Eerdere literatuur suggereerde dat Aumann's theorema in deze niet-klassieke contexten zou kunnen falen, of vereiste specifieke aanpassingen die de geldigheid beperkten.

Methodologie

De auteurs ontwikkelen een operationele versie van Aumann's overeenkomststheorema. In plaats van te verwijzen naar een onderliggende statruimte ($\Omega$) van "ware toestanden", focussen ze uitsluitend op de ruimte van meetuitkomsten.

De kern van hun methode is als volgt:

• Geen ontologische statruimte: Ze nemen geen aanname over een onderliggende werkelijkheid die de metingen bepaalt.
• Gemeenschappelijke prior op uitkomsten: Agenten Alice en Bob delen een gezamenlijke prior-kansverdeling $p(i, j, k)$ over de uitkomsten van drie metingen: Alice ($i$), Bob ($j$) en een derde gebeurtenis ($k$). Deze verdeling kan afkomstig zijn uit welke fysieke theorie dan ook (klassiek, kwantum, post-kwantum).
• Bayesiaanse voorwaarde: De posteriors worden berekend via standaard Bayesiaanse conditionering op de gezamenlijke verdeling:
  $$p_A(k|i) = \frac{p(i, k)}{p(i)}, \quad p_B(k|j) = \frac{p(j, k)}{p(j)}$$
• Definitie van gemeenschappelijke kennis: Gemeenschappelijke kennis wordt gedefinieerd in termen van de verzamelingen van uitkomsten die consistent zijn met de kennis van de ander, zonder verwijzing naar een verborgen variabele $\omega$.

Belangrijkste Bijdragen

1. Operationalisering van Aumann's Theorema: De auteurs bewijzen dat de ontologische structuur (de "ware toestand van de wereld") niet essentieel is voor het theorema. Het enige wat nodig is, is het bestaan van een gezamenlijke kansverdeling over de meetuitkomsten en Bayesiaanse redenering.
2. Generalisatie naar niet-klassieke domeinen: Ze tonen aan dat het theorema geldig blijft in:
   • Kwantumtheorie: Zelfs bij niet-commuterende metingen.
   • Onbepaalde causale orde: Beschreven door procesmatrices ($W$-matrices), waar de causale volgorde van metingen onbepaald of in superpositie is.
   • Post-kwantumtheorieën: Elke theorie die gezamenlijke kansverdelingen voor meetuitkomsten toelaat (bijv. Generalized Probabilistic Theories).
3. Oplossing van schijnbare tegenstrijdigheden: Het artikel verduidelijkt waarom eerdere studies (zoals Contreras-Tejada et al. en Díaz et al.) tot andere conclusies leken te komen. De auteurs tonen aan dat deze studies vaak gebruikmaken van tegenstrijdige aannames, zoals het beschouwen van tegenfeitelijke uitkomsten (uitkomsten van niet-uitgevoerde metingen) of het toepassen van een niet-standaard update-regel (het gebruik van superpositie in plaats van een mengtoestand voor de toestand van de ander na meting).

Resultaten

Het centrale resultaat is Theorema 2 (Operationeel overeenkomststheorema):

"Wanneer een fysieke theorie toelaat om een gezamenlijke kansverdeling te berekenen voor de uitkomsten van metingen, zullen de posteriors van rationele agenten met een gedeelde prior gelijk zijn als er gemeenschappelijke kennis van die posteriors bestaat."

• Bewijslogica: Als de posteriors gemeenschappelijke kennis zijn, betekent dit dat de verzameling van mogelijke uitkomsten waarvoor Alice een bepaalde posterior heeft, volledig overlapt met de verzameling waarvoor Bob een bepaalde posterior heeft. Wiskundig volgt hieruit dat de voorwaardelijke kansen gelijk moeten zijn ($q_A = q_B$).
• Toepassing op Kwantum: Voor een kwantumsysteem met initiële toestand $\rho$ en instrumenten $A, B, E$, wordt de gezamenlijke kans gegeven door $p(i, j, k) = \text{tr}(E_k \circ B_j \circ A_i[\rho])$. Het theorema geldt ongeacht of deze operatoren commuteren.
• Toepassing op Onbepaalde Causale Orde: Zelfs wanneer de volgorde van $A, B, E$ niet vaststaat (beschreven door een $W$-matrix), blijft het theorema geldig zolang een gezamenlijke verdeling $p(i, j, k)$ bestaat.

Significantie en Grenzen

• Filosofische Implicatie: Het artikel toont aan dat de kracht van Aumann's theorema niet ligt in een realistische ontologie, maar in de consistentie van probabilistische voorspellingen. Het is een statement over de logica van Bayesiaanse redenering, niet over de aard van de werkelijkheid.
• Uitzondering (Wigner's Vriend): De auteurs identificeren één specifieke context waar het theorema mogelijk faalt: situaties van het type "Wigner's vriend". In deze scenario's kan het zijn dat er geen betekenisvolle gezamenlijke kansverdeling bestaat over de uitkomsten van verschillende waarnemers, omdat de uitkomsten niet als gezamenlijk bestaande, observer-onafhankelijke gebeurtenissen kunnen worden behandeld. Dit is precies het domein waar de "ontologische" aanname van een gedeelde realiteit in het gedrang komt.
• Toekomstgericht: De operationalisering maakt het mogelijk om overeenkomststheorema's toe te passen op de meest geavanceerde en exotische fysieke modellen, zolang deze maar een wiskundig goed gedefinieerde kansverdeling voor meetuitkomsten bieden.

Kortom, Cepollaro en Di Biagio hebben de reikwijdte van Aumann's theorema uitgebreid van een klassiek, ontologisch gebonden resultaat naar een universeel principe dat geldt voor elke fysieke theorie die gezamenlijke kansverdelingen toestaat, inclusief kwantummechanica en theorieën met onbepaalde causaliteit.