Wigner and friends, a map is not the territory! Contextuality in multi-agent paradoxes

Stel je voor dat je probeert een gigantische, kosmische legpuzzel op te lossen. In de wereld van de klassieke fysica passen de stukjes perfect in elkaar om één enkel, compleet beeld van de werkelijkheid te vormen. Als je weet wat er in een hoek van de kamer gebeurt, kun je logischerwijs afleiden wat er in de volgende hoek gebeurt, en uiteindelijk kun je de hele kamer beschrijven zonder tegenstrijdigheden. Maar dan komt de kwantummechanica het feestje binnen en zet de puzzel ondersteboven. Plotseling lijken de stukjes in kleine groepjes perfect in elkaar te passen, maar wanneer je probeert het hele plaatje in elkaar te zetten, sluiten de randen niet aan. Dit is een fenomeen dat contextualiteit wordt genoemd. Het is als een regel in een spel die zegt: "Het antwoord op vraag A hangt ervan af of je eerst vraag B hebt gesteld," zelfs als A en B totaal ongerelateerd lijken.

Stel je nu een groep vrienden voor die proberen deze vreemde puzzel te beschrijven. Een vriend, laten we haar "Alice" noemen, kijkt naar een stukje en zegt: "Het is definitief rood." Een andere vriend, "Bob", die naar hetzelfde stukje kijkt vanuit een andere hoek, zegt: "Nee, het is definitief blauw." In de vreemde wereld van de kwantummechanica kunnen beiden gelijk hebben binnen hun eigen context, maar wanneer ze proberen hun aantekeningen te delen om tot een gezamenlijk, globaal verhaal te komen, lopen ze tegen een muur aan. Ze eindigen met een multi-agent paradox, waarbij hun gecombineerde kennis leidt tot een logische tegenstrijdigheid, zoals een verhaal dat zegt: "De lucht is blauw," en "De lucht is niet blauw," en "Daarom is 2 + 2 = 5." Wetenschappers proberen al te begrijpen of de regels van de logica (de manier waarop we denken en redeneren) breken in deze kwantumsituaties, of dat we simpelweg nog niet de juiste manier hebben gevonden om het verhaal te vertellen.

Dit artikel, getiteld "Wigner and friends, a map is not the territory!", duikt diep in deze verwarrende scenario's. De auteur, Sidiney B. Montanhano, stelt een eenvoudige maar diepzinnige vraag: Is de tegenstrijdigheid echt, of komt het doordat we de verkeerde kaart gebruiken om het gebied te beschrijven? Het artikel betoogt dat de paradoxen niet ontstaan omdat de logica kapot is, maar omdat we een "globale kaart" opdringen aan een wereld die alleen uit "lokale kaarten" bestaat. De auteur gebruikt een wiskundig hulpmiddel genaamd scheaf-theorie (denk aan een manier om lokale informatiefragmenten aan elkaar te naaien) en modale logica (de logica van kennis en geloof) om aan te tonen dat deze multi-agent paradoxen eigenlijk een chique manier zijn om contextualiteit te beschrijven. De belangrijkste bevinding is dat als we stoppen met pretenderen dat alle agenten een enkele, perfecte "wederzijdse kennis" (een globale kaart) delen en in plaats daarvan erkennen dat hun kennis verdeeld is en afhangt van hun specifieke context (de lokale kaart), de tegenstrijdigheden verdwijnen. Deze oplossing komt echter met een addertje onder het gras: om de logica werkend te krijgen, moeten we accepteren dat de "werelden" die we beschrijven afhankelijk zijn van de specifieke vragen die gesteld worden, een concept dat het artikel lambda-afhankelijkheid noemt.

De kaart is niet het gebied

Om te begrijpen wat er aan de hand is, laten we een analogie gebruiken. Stel je een groep ontdekkingsreizigers voor die een mysterieus, mistig eiland in kaart brengen. In de klassieke wereld, als Ontdekkingsreiziger A een kaart tekent van de noordkant en Ontdekkingsreiziger B een kaart van de zuidkant, kunnen ze deze samenvoegen tot één perfecte, reusachtige kaart van het hele eiland. Dit is wat we "fundamentele waarheid" noemen — een enkele, objectieve werkelijkheid waar iedereen het over eens is.

Maar in de kwantumwereld is het eiland op een heel specifieke manier mistig. Wanneer Ontdekkingsreiziger A naar het noorden kijkt, ziet hij een bos. Wanneer Ontdekkingsreiziger B naar het zuiden kijkt, ziet hij een woestijn. Als ze proberen hun kaarten te combineren, liggen het bos en de woestijn niet gewoon naast elkaar; ze lijken op onmogelijke manieren over elkaar heen te vallen, wat een tegenstrijdigheid creëert. De ontdekkingsreizigers beginnen te discussiëren: "Het eiland is een bos!" "Nee, het is een woestijn!" "Maar als het een bos is, hoe kan het dan een woestijn zijn?" Dit is de multi-agent paradox.

Het artikel suggereert dat de ontdekkingsreizigers een fout maken door aan te nemen dat ze één grote kaart kunnen bouwen. De auteur gebruikt de frase "een kaart is niet het gebied" om uit te leggen dat de kennis van de ontdekkingsreizigers beperkt is tot hun eigen "lokale" perspectief. Ze kunnen elkaar vertrouwen binnen hun eigen groepen, maar ze kunnen hun visies niet simpelweg samenvoegen tot één globale waarheid zonder iets essentieels te verliezen.

Het vertrouwen in de verkeerde kaart

Het artikel introduceert het concept vertrouwen. In deze scenario's gaat "vertrouwen" niet alleen over het geloven van je vriend; het is een wiskundige manier om te zeggen: "Als ik iets weet, en ik vertrouw jou, dan weet ik dat jij het weet." De auteur laat zien dat de ontdekkingsreizigers in deze kwantumscenario's impliciet aannemen dat ze allemaal een wederzijdse kennis delen — een staat waarin iedereen weet wat iedereen anders weet, en iedereen het eens is over de definitieve kaart.

Het artikel stelt dat deze aanname van wederzijdse kennis de boosdoener is. Het is also[f] de ontdekkingsreizigers volhouden: "We moeten het allemaal eens zijn over één enkele kaart," terwijl het eiland in werkelijkheid uit verschillende lagen bestaat die alleen zinvol zijn wanneer ze vanuit specifieke hoeken worden bekeken. Het artikel betoogt dat wanneer de ontdekkers stoppen met het aannemen van deze perfecte, globale overeenstemming en in plaats daarvan kijken naar verdeelde kennis (waarbij iedereen een stukje van de puzzel bezit, maar niemand de hele puzzel heeft), de tegenstrijdigheden verdwijnen.

Er is echter een prijs voor deze vrede. Om de logica zonder tegenstrijdigheden te laten werken, laat het artikel zien dat de "mogelijke werelden" (de verschillende versies van de werkelijkheid die de ontdekkingsreizigers zich voorstellen) afhankelijk moeten zijn van de specifieke context van de meting. In de taal van het artikel is dit lambda-afhankelijkheid. Het is een beetje alsof je zegt: "De kaart van het eiland verandert afhankelijk van welke ontdekkingsreiziger de kompas vasthoudt." Dit is geen falen van de logica; het is een kenmerk van de kwantumwereld. De logica is solide, maar het "gebied" dat zij beschrijft is complexer dan een enkele, statische kaart.

De drie beroemde verhalen

Het artikel test dit idee aan de hand van drie beroemde gedachte-experimenten, die als drie verschillende verhalen over ontdekkingsreizigers op vreemde eilanden fungeren.

1. Wigner's Friend: In dit verhaal observeert een waarnemer (Wigner) zijn vriend (Alice) die een kwantumdeeltje meet. Alice ziet een definitief resultaat (zoals "Kop"), maar Wigner, die nog niet heeft gekeken, beschrijft het hele systeem (Alice + deeltje) als een superpositie (zowel "Kop" als "Munt" tegelijkertijd). Het artikel vindt dat dit scenario in feite niet-contextueel is. Er is hier geen echte paradox; het is slechts een kwestie van perspectief. De "kaart" die Wigner tekent en de "kaart" die Alice tekende, zijn slechts verschillende lokale visies op hetzelfde gebied, en ze spreken elkaar niet tegen als je goed kijkt. Het is alsof de één een wolk ziet als een konijn en de ander als een draak; ze vechten niet over de werkelijkheid, maar beschrijven slechts verschillende aspecten van dezelfde wolk.

2. Frauchiger-Renner: Dit is een complexer verhaal met vier agenten (Alice, Bob, Ursula en Wigner) die deeltjes meten en hun resultaten delen. Ze volgen een keten van vertrouwen: Alice vertrouwt Bob, Bob vertrouwt Ursula, enzovoort, totdat de keten weer bij Alice uitkomt. Wanneer ze hun aantekeningen combineren, komen ze tot een tegenstrijdigheid: "Het resultaat moet X zijn," maar ook "Het resultaat kan niet X zijn." Het artikel identificeert dit als logische contextualiteit. De tegenstrijdigheid ontstaat omdat ze proberen één enkele, globale kaart op te leggen aan een situatie die lokale kaarten vereist. Het artikel laat zien dat als ze accepteren dat hun kennis verdeeld is en afhangt van de specifieke context van hun metingen, de paradox verdwijnt. Het is als het proberen te dwingen van een vierkante pen in een rond gat; het probleem is niet de pen of het gat, maar de aanname dat ze perfect in elkaar moeten passen.

3. Vilasini-Nurgalieva-del Rio: Dit is de meest extreme versie, waarbij gebruik wordt gemaakt van een "Popescu-Rohrlich box", een theoretisch apparaat dat nog vreemder is dan een normaal kwantumsysteem. Hier is de tegenstrijdigheid nog sterker. Het artikel laat zien dat dit sterk contextueel is. Elke lokale visie spreek de globale visie tegen. Het is de ultieme "leugenaarsparadox" van de kwantumwereld. Toch, zelfs hier, betoogt het artikel dat de logica standhoudt als we stoppen met pretenderen dat er een enkele, globale waarheid bestaat. De paradox is een resultaat van het feit dat de "kaart" te simpel is voor het "gebied".

De belangrijkste conclusie

Het artikel concludeert dat modale logica (de logica van kennis en geloof) eigenlijk perfect geschikt is voor de omgang met de kwantummechanica. Het probleem is niet dat de logica kapot is; het probleem is dat we haar gebruiken om een wereld te beschrijven waarin "globale waarheid" niet bestaat op de manier waarop wij dat denken.

De auteur suggereert dat de tegenstrijdigheden die we zien in deze multi-agent scenario's geen tekenen zijn dat de werkelijkheid kapot is, maar tekenen dat we proberen één enkele kaart te tekenen voor een gebied dat eigenlijk een verzameling van vele lokale kaarten is. Wanneer we stoppen met aannemen dat iedereen een enkele, perfecte "wederzijdse kennis" deelt en in plaats daarvan de gedachte van verdeelde kennis omarmen, verdwijnen de paradoxen. De prijs is dat we moeten accepteren dat de "wereld" die we beschrijven afhankelijk is van de context van de gestelde vraag.

Uiteindelijk vertelt het artikel ons dat in de kwantumwereld "een kaart niet het gebied is". We kunnen niet simpelweg al onze lokale observaties aan elkaar naaien tot één groot, perfect plaatje zonder iets essentieels te verliezen. De tegenstrijdigheden die we zien, zijn slechts de manier waarop het universum ons eraan herinnert dat onze kaarten beperkt zijn, en dat het gebied veel complexer en wonderbaarder is dan we ooit volledig kunnen vastleggen in een enkele, statische beschrijving. Het artikel lost het mysterie van de kwantummechanica niet op, maar geeft ons een nieuwe, heldere manier om naar de paradoxen te kijken, waarbij het aantoont dat ze geen falen van de logica zijn, maar kenmerken van een werkelijkheid die diep relationeel en contextafhankelijk is.