Agreement and Compatibility in Wigner's Friend Paradox

Dit artikel herformuleert het Wigner-vriend-paradox als een inferentieprobleem om een radicaal Bayesiaanse interpretatie voor te stellen die de schijnbare tegenstrijdigheid oplost door aan te tonen dat Wigners en diens vriend beschrijvingen fundamenteel compatibel zijn en kunnen worden afgestemd via het principe van "de voorwaarde van het voordeel van de twijfel".

De kern

Het Grote Plaatje: Een Misverstand, Geen Paradox

Stel je een beroemd gedachte-experiment voor dat Wigners Vriend heet. Het gaat over twee personen: Wigner (die zich buiten een afgesloten lab bevindt) en zijn Vriend (die zich binnen in het lab bevindt).

Binnen in het lab meet de Vriend een klein kwantumdeeltje (zoals een elektron).

• Het perspectief van de Vriend: Ze ziet een duidelijk resultaat. Ze zegt: "Ik heb het gemeten en het is zeker 'Omhoog'."
• Het perspectief van Wigner: Omdat hij buiten staat en niet heeft gekeken, behandelt hij het hele lab (Vriend + deeltje) als een enorme, wazige kwantumgolf. Hij zegt: "Het systeem bevindt zich in een superpositie van 'Vriend zag Omhoog' EN 'Vriend zag Omlaag'."

Decennia lang hebben natuurkundigen gediscussieerd: Hoe kunnen beiden gelijk hebben? De een ziet een duidelijke realiteit; de ander ziet een wazige mix. Is dit niet een tegenstrijdigheid?

Dit artikel zegt: Nee, het is geen tegenstrijdigheid. De auteurs betogen dat de "paradox" alleen bestaat omdat we de verkeerde regels gebruiken om de situatie te beoordelen. Zij stellen dat als we kwantummechanica behandelen als een spel van Bayesiaanse inferentie (het bijwerken van je overtuigingen op basis van nieuwe informatie), de twee beschrijvingen eigenlijk perfect compatibel zijn.

---

Het Kernconcept: "Compatibiliteit" versus "Akkoord"

De auteurs maken een cruciaal onderscheid tussen twee woorden die mensen vaak door elkaar halen: Compatibiliteit en Akkoord.

1. Compatibiliteit (De "Overlappende Kaart" Analogie)

Stel je twee wandelaars voor, Alice en Bob, die verdwaald zijn in een bos.

• Alice heeft een kaart waarop staat dat de schat zich in het "Noord-Oost" of "Zuid-Oost" hoekje bevindt.
• Bob heeft een kaart waarop staat dat de schat zich zeker in het "Noord-Oost" hoekje bevindt.

Strijden hun kaarten met elkaar? Nee.
Bobs kaart is gewoon specifieker dan Alices. Het "Noord-Oost" hoekje zit in beide hun kaarten. Ze zijn compatibel. Ze kunnen allebei gelijk hebben omdat hun mogelijke antwoorden overlappen.

Het artikel betoogt dat Wigner en zijn Vriend als deze wandelaars zijn.

• De Vriend weet dat de uitkomst ofwel "Omhoog" ofwel "Omlaag" is (maar ze weet welke ze heeft gezien).
• Wigner denkt dat de uitkomst een mix is van "Omhoog" en "Omlaag".
• De Wiskunde: De auteurs tonen aan dat de "Omhoog"-toestand (die de Vriend ziet) eigenlijk binnen de "Mix"-toestand zit (die Wigner ziet). Omdat de realiteit van de Vriend een deelverzameling is van de realiteit van Wigner, overlappen hun beschrijvingen. Daarom zijn ze compatibel. Er is geen paradox; ze hebben gewoon verschillende niveaus van informatie.

2. Akkoord (De "Moeilijkheidsgraad in het Midden" Analogie)

Nu stellen we ons voor dat Alice en Bob akkoord willen gaan over precies waar de schat zich bevindt.

• Als ze stijfhoofdig zijn en weigeren hun kaarten te delen, zullen ze nooit akkoord gaan.
• Als ze open-minded zijn, kunnen ze hun gegevens delen.

Het artikel onderzoekt hoe ze tot een akkoord kunnen komen (een enkele, gedeelde beschrijving) met behulp van twee methoden:

Methode A: Het "Voordeel van de Twijfel" (Open-minded zijn)
In het originele verhaal is Wigner 100% zeker dat zijn wiskunde klopt. Hij toekent 0% kans toe aan het feit dat de Vriend ongelijk heeft.

• Het Probleem: Als je een kans van 0% toekent aan iets, kun je nooit overtuigd worden, ongeacht welk bewijs je ziet. (Dit heet de Regel van Cromwell).
• De Oplossing: De auteurs suggereren dat Wigner een klein, klein "voordeel van de twijfel" zou moeten geven (zeg maar 0,0001%). Hij zou moeten toegeven: "Ik ben 99,9999% zeker, maar misschien heb ik iets gemist."
• Het Resultaat: Zodra Wigner een kleine mogelijkheid voor fouten toestaat, verandert de wiskunde. Nu, wanneer de Vriend haar gegevens deelt, kan Wigner zijn overtuiging bijwerken. Ze kunnen elkaar in het midden ontmoeten en akkoord gaan over de finale toestand.

Methode B: Toestandsverbetering (De "Expert" Analogie)
Stel je voor dat de Vriend een expert is in het lab, en Wigner een novice.

• Als Wigner de Vriend vertrouwt, kan hij haar verslag behandelen als nieuwe data.
• Het artikel toont aan dat als Wigner open-minded is, hij zijn "toestand" kan "verbeteren" door de beschrijving van de Vriend over te nemen.
• Omgekeerd, als de Vriend de super-observer-status van Wigner vertrouwt, kan zij haar toestand bijwerken om die van hem te matchen.

---

De "Twist": Wat Als Ze Het Niet Eens Zijn Over de Regels?

Het artikel test ook wat er gebeurt als de agenten het niet eens zijn over de basis.

• Scenario: Wat als Wigner denkt dat de machine in het lab kapot is, of een andere klok gebruikt, of denkt dat het deeltje in een andere toestand is begonnen?
• Resultaat: Als ze het niet eens zijn over de opzet (de initiële toestand of de regels van het spel), dan overlappen hun kaarten niet. In dit geval zijn ze echt incompatibel, en bestaat er wel een paradox.
• Conclusie: De paradox in het originele verhaal werkt alleen als we aannemen dat ze het niet eens zijn over de opzet. Maar het artikel wijst erop dat in het originele gedachte-experiment ze wel van tevoren over alles akkoord waren. Daarom is de paradox een illusie veroorzaakt door het vergeten dat ze op dezelfde pagina begonnen.

Samenvatting van de Claims van het Artikel

1. Geen Paradox: Wigners Vriend is geen paradox. Het is simpelweg een situatie waarin twee mensen verschillende hoeveelheden informatie hebben.
2. Compatibiliteit is Sleutel: Zolang hun mogelijke antwoorden overlappen (wat ze doen), zijn hun beschrijvingen compatibel. Je hoeft niet dat ze identiek zijn om "gelijk" te hebben.
3. Akkoord is Mogelijk: Als de agenten bereid zijn informatie te delen en open-minded blijven (door een "voordeel van de twijfel" te geven), kunnen ze hun visies wiskundig verzoenen en akkoord gaan over een enkele realiteit.
4. Het Echte Probleem: De enige keer dat een paradox verschijnt, is als de agenten stijfhoofdig zijn, weigeren gegevens te delen, of het niet eens zijn over de fundamentele regels van het experiment.

Kortom: Het artikel suggereert dat de "spookachtige" aard van kwantummechanica in dit scenario geen ineenstorting van de realiteit is, maar een ineenstorting van communicatie en open-mindedheid tussen de waarnemers. Als ze praten en luisteren, verdwijnt het mysterie.

Technische samenvatting

Technische Samenvatting: Overeenstemming en Compatibiliteit in het Wigner's Friend-Paradox

Probleemstelling
Het artikel behandelt het "Wigner's Friend"-paradox, een gedachte-experiment dat oorspronkelijk in 1961 door Eugene Wigner werd voorgesteld. Het paradox ontstaat uit een schijnbare incompatibiliteit tussen de beschrijvingen van een kwantumsysteem door twee agenten: "Wigner" (een superwaarnemer buiten een gesloten laboratorium) en "Wigner's Friend" (een waarnemer binnen het laboratorium).

• Het Conflict: De Friend voert een meting uit op een qubit, waardoor de toestand instort tot een bepaald resultaat (bijvoorbeeld $|0\rangle$ of $|1\rangle$). Wigner, die de Friend en het systeem behandelt als een gesloten kwantumsysteem, beschrijft de gezamenlijke evolutie als een unitair proces dat resulteert in een verstrengelde superpositie (bijvoorbeeld de Bell-toestand $|\phi^+\rangle$).
• Het Paradox: Wigners beschrijving voorspelt een waarschijnlijkheid van 1 voor de verstrengelde toestand, terwijl de beschrijving van de Friend (na de meting) een waarschijnlijkheid van 1 toekent aan een specifieke producttoestand. Wigner betoogde dat dit een tegenstrijdigheid vormt, wat wijst op een fundamentele incompatibiliteit tussen unitaire evolutie en golfklepinstorting, of een falen van de kwantummechanica op macroscopische schaal.
• Huidige Consensus: Recent literatuur suggereert vaak dat het paradox zich alleen manifesteert in "veelpartijen"-uitbreidingen (bijvoorbeeld Bong et al., 2020). Dit artikel betoogt dat de oorspronkelijke formulering zelf een "pretentie-paradox" bevat die geworteld is in een misverstand van compatibiliteit en overeenstemming.

Methodologie
De auteurs herformuleren het gedachte-experiment niet als een fysieke tegenstrijdigheid, maar als een inference-probleem binnen een radicaal Bayesiaans kader. Ze behandelen kwantumtheorie als een niet-commutatieve generalisatie van Bayesiaanse waarschijnlijkheidstheorie, waarbij kwantumtoestanden de kennis of het geloof van een agent vertegenwoordigen in plaats van een objectieve fysieke realiteit.

De methodologie verloopt in drie fasen:

1. Herformulering als Inferentie: De agenten worden gemodelleerd als Bayesiaanse redenaars die waarschijnlijkheidsverdelingen (klassiek) of dichtheidsoperatoren (kwantum) toekennen op basis van hun beschikbare informatie.
2. Definiëren van Compatibiliteit: De auteurs adopteren en toepassen definities van compatibiliteit van Leifer en Spekkens (2014) en Duarte (2020).
   • Objectieve Bayesiaanse Compatibiliteit: Twee toewijzingen zijn compatibel als ze kunnen worden afgeleid uit één gezamenlijke waarschijnlijkheidsverdeling door te conditioneren op verschillende data.
   • Subjectieve Bayesiaanse Compatibiliteit: Twee toewijzingen zijn compatibel als er een hypothetisch experiment (waarschijnlijkheidsfunctie) bestaat zodat, na het waarnemen van een specifiek resultaat, beide agenten hun geloof updaten naar identieke verdelingen.
   • Wiskundig Criterium: In zowel klassieke als kwantumgevallen wordt compatibiliteit bepaald door de niet-triviale doorsnede van de supports van de waarschijnlijkheidsverdelingen of dichtheidsmatrices.
3. Analyseren van Overeenstemming: De auteurs onderscheiden tussen compatibiliteit (het potentieel om overeen te stemmen) en overeenstemming (de toestand van het hebben van identieke beschrijvingen). Ze onderzoeken mechanismen voor toestandsverbetering (het updaten van je geloof op basis van de toewijzing van een ander) en toestandspooling (het combineren van toewijzingen tot een consensus).

Belangrijkste Bijdragen en Resultaten

1. Oplossing van het Oorspronkelijke Paradox:
   Door het toepassen van het doorsnede-criterium van de support, tonen de auteurs aan dat de beschrijvingen van Wigner en de Friend compatibel zijn.

   • Wigner wijst de pure toestand $|\phi^+\rangle\langle\phi^+|$ toe.
   • De Friend wijst de gemengde toestand $\rho_F = \frac{1}{2}(|00\rangle\langle00| + |11\rangle\langle11|) = \frac{1}{2}(|\phi^+\rangle\langle\phi^+| + |\phi^-\rangle\langle\phi^-|)$ toe.
   • De support van Wigners toestand is de deelruimte opgespannen door $|\phi^+\rangle$. De support van de toestand van de Friend is de deelruimte opgespannen door $\{|\phi^+\rangle, |\phi^-\rangle\}$.
   • Aangezien de doorsnede van deze supports niet-triviaal is (het bevat $|\phi^+\rangle$), zijn de toewijzingen compatibel. De schijnbare tegenstrijdigheid ontstaat alleen als men eist dat de beschrijvingen van de agenten identiek moeten zijn voordat ze informatie delen, wat niet vereist is door Bayesiaanse inferentie.

2. De Rol van Overeenstemming en "Voordeel van de Twijfel":
   Het artikel betoogt dat het paradox oplost wanneer agenten erkennen dat hun verschillende beschrijvingen voortvloeien uit verschillende toegang tot informatie (de Friend heeft meetdata; Wigner niet).

   • Toestandsverbetering: De auteurs tonen aan dat als de Friend Wigner als expert behandelt (of andersom), ze hun geloof kunnen updaten. Echter, als Wigner "hardnekkig" is (een waarschijnlijkheid van 1 toekent aan $|\phi^+\rangle$), kan hij zijn geloof niet updaten op basis van het rapport van de Friend (vanwege Cromwells regel: $P(H)=0 \implies P(H|E)=0$).
   • Voordeel van de Twijfel: Om verzoening te bereiken, introduceren de auteurs een parameter $\epsilon$ die "voordeel van de twijfel" vertegenwoordigt. Als Wigner een kleine niet-nul waarschijnlijkheid ($\epsilon$) toekent aan de orthogonale toestand $|\phi^-\rangle$ (erkenning van potentiële ruis of interactie met de omgeving), breidt zijn support zich uit. Dit maakt een waarschijnlijkheidsfunctie mogelijk waarbij beide agenten kunnen updaten naar een gemeenschappelijke toestand, waardoor het meningsverschil wordt opgelost.

3. Voorwaarden voor Incompatibiliteit:
   Het artikel verduidelijkt dat incompatibiliteit wel ontstaat in Wigners scenario alleen onder specifieke, niet-standaard aannames, zoals:

   • Meningsverschil over de initiële toestand (bijvoorbeeld Wigner neemt $|11\rangle$ aan terwijl de Friend $|00\rangle$ aanneemt).
   • Meningsverschil over de dynamica (bijvoorbeeld verschillende gate-sequenties of tijdsevolutiemodellen).
   • Gebrek aan gedeelde kennis met betrekking tot de experimentele opstelling.
     De auteurs benadrukken dat het "paradox" vaak het gevolg is van agenten die het niet eens worden over deze fundamentele aspecten, in plaats van een falen van de kwantumtheorie zelf.

4. Verzoeningsmechanismen:
   Het artikel beschrijft methoden om overeenstemming te bereiken:

   • Subjectieve Verzoening: Het construeren van een hypothetisch experiment (waarschijnlijkheidsoperator) dat leidt tot overeenstemming over ten minste één uitkomst.
   • Objectieve Verzoening: Het construeren van een "virtueel verleden" gezamenlijke verdeling die de huidige perspectieven van de agenten verenigt.
   • Pooling: Het bespreken van lineaire en multiplicatieve poolingsmethoden om geloof te combineren, waarbij wordt opgemerkt dat zonder een gedeeld prior of specifieke weging, pooling mogelijk geen unieke oplossing oplevert.

Betekenis en Claims
Het artikel claimt dat het Wigner's Friend-paradox geen fundamenteel gebrek is in de kwantummechanica, maar een conceptuele fout die voortkomt uit een gebrek aan rigoureuze definities voor compatibiliteit en overeenstemming.

• Geen Paradox: De auteurs concluderen dat er "geen paradoxale conclusie" is in de oorspronkelijke formulering. De verschillende beschrijvingen zijn simpelweg een natuurlijk gevolg van agenten die toegang hebben tot verschillende informatie, volledig consistent met Bayesiaanse inferentie.
• Inferentiële Draai: Het werk pleit voor een "inferentiële draai" in de fundamentele kwantumfysica, waarbij kwantumtoestanden worden gezien als representaties van kennis in plaats van objectieve toestanden van de natuur.
• Bescheiden Omvang: De auteurs stellen expliciet dat hun bijdrage een "eerste stap" is naar het verwijderen van oppervlakkige interpretaties van het paradox. Ze erkennen beperkingen, zoals de fragiliteit van hun definitie van compatibiliteit (die kan worden verbroken door kleine variaties in de opstelling) en het feit dat hun oplossing berust op het herformuleren van het probleem als een inferentieprobleem voor meerdere agenten in plaats van een directe fysieke tegenstrijdigheid. Ze claimen niet de veelpartijen-uitbreidingen op te lossen (bijvoorbeeld de "no-go theorema's" van Bong et al.), maar suggereren dat hun kader de oorspronkelijke bron verduidelijkt.

Samenvattend betoogt het artikel dat door compatibiliteit rigoureus te definiëren via de doorsnede van supports en het scenario te behandelen als een probleem van Bayesiaanse inferentie, het "paradox" verdwijnt, wat blootlegt dat Wigner en zijn Friend coherent kunnen bestaan met verschillende, doch compatibele, beschrijvingen van de realiteit.