An extended Wigner's friend no-go theorem inspired by generalized contextuality

Geïnspireerd door de correspondentie tussen niet-localiteit en gegeneraliseerde contextualiteit, introduceert dit artikel het "Noncontextual Friendliness"-no-go-theorema, dat aantoont dat kwantumtheorie onverenigbaar is met de gezamenlijke aannames van de Absolute aard van waargenomen gebeurtenissen en Noncontextuele Agentie, en dat aldus het bestaande Local Friendliness-no-go-theorema generaliseert en versterkt.

De kern

Het Grote Plaatje: Een Nieuw "Doorgang Verboden"-bord op de Weg naar de Werkelijkheid

Stel je voor dat je een huis probeert te bouwen (onze begrijpenis van de werkelijkheid) met behulp van een specifieke set blauwdrukken (Kwantumtheorie). Wetenschappers hebben zich lange tijd afgevraagd of deze blauwdrukken verenigbaar zijn met het idee dat het huis op een enkele, vaste, objectieve manier bestaat waar iedereen het over eens is.

Dit artikel introduceert een nieuwe, strengere regel om te controleren of de blauwdrukken werken. De auteurs, Laurens Walleghem en Lorenzo Catani, hebben een nieuw "No-Go Theorema" bedacht. Denk aan een "No-Go Theorema" als een bordje dat zegt: "Je kunt niet beide kanten hebben."

Specifiek tonen ze aan dat je niet tegelijkertijd kunt hebben:

1. Kwantumtheorie (de huidige regels van het universum).
2. Absolute Feiten (het idee dat wanneer iemand iets ziet, dit een enkele, objectieve waarheid is voor iedereen).
3. Niet-contextuele Agentie (een nieuwe, iets zwakkere versie van een regel over hoe informatie zich verplaatst).

Als je accepteert dat Kwantumtheorie waar is en dat het beschreven experiment mogelijk is, word je gedwongen het idee op te geven dat waargenomen gebeurtenissen absoluut zijn.

---

Het Cast van Personages: De Vrienden en de Super-Waarnemers

Om het experiment te begrijpen, moeten we kennis maken met de personages, die gebaseerd zijn op een beroemd gedachtenexperiment genaamd "Wigners Vriend".

• Charlie en Debbie: Dit zijn de "Vrienden". Ze zitten in afgesloten laboratoria. Ze voeren metingen uit op kleine deeltjes (zoals elektronen) en krijgen resultaten. Voor hen is het resultaat echt en definitief.
• Alice en Bob: Dit zijn de "Super-Waarnemers". Ze bevinden zich buiten de laboratoria. Ze hebben een magische superkracht: ze kunnen de volledige laboratoria van Charlie en Debbie behandelen alsof het één groot kwantumobject is.

De Magische Truc:
Normaal gesproken is, zodra Charlie een deeltje meet, het resultaat vastgelegd. Maar Alice, de Super-Waarnemer, kan een "Kwantumwisser" (een ingewikkelde unitaire operatie) gebruiken om Charlie's meting ongedaan te maken. Ze kan Charlie's herinnering aan het resultaat wissen en het proces terugdraaien, zodat het net is alsof Charlie helemaal niets heeft gemeten.

De Twee Scenario's: Bell versus Contextualiteit

Het artikel vergelijkt twee verschillende manieren om de werkelijkheid te testen.

1. De Oude Manier: Lokale Vriendelijkheid (Het Bell-Scenario)

In eerder werk combineerden wetenschappers de "Vrienden" met een opstelling die een Bell-Scenario wordt genoemd.

• De Analogie: Stel je voor dat Charlie en Debbie in twee verschillende steden zitten. Ze gooien elk een munt. Alice en Bob, die buiten staan, kunnen kiezen om de munten te controleren of de worpen "ongedaan te maken".
• De Regel: Ze gingen uit van Lokale Agentie. Dit betekent dat "wat er in Stad A gebeurt, niet direct kan veranderen wat er in Stad B gebeurt".
• Het Resultaat: Ze bewezen dat als je ervan uitgaat dat de resultaten absolute feiten zijn, Kwantumtheorie deze regel schendt.

2. De Nieuwe Manier: Niet-contextuele Vriendelijkheid (Het Contextualiteitsscenario)

In dit artikel wisselen de auteurs de "Bell"-opstelling in voor een Contextualiteit-opstelling.

• De Analogie: In plaats van twee steden, stel je je één laboratorium voor waar Charlie een deeltje op verschillende manieren voorbereidt (zoals het in verschillende kleuren verven) en Debbie het meet.
• De Regel: Ze introduceren Niet-contextuele Agentie.
  • Wat is Contextualiteit? In de kwantumwereld hangt het antwoord dat je krijgt vaak af van hoe je de vraag stelt (de context). Bijvoorbeeld: het meten van de "spin omhoog" van een deeltje kan een ander resultaat geven, afhankelijk van of je het meet naast "spin links" of "spin rechts".
  • Wat is Niet-contextuele Agentie? Het is het geloof dat als twee verschillende manieren om een deeltje voor te bereiden voor de buitenwereld er precies hetzelfde uitzien, ze als dezelfde "werkelijkheid" binnenin moeten worden behandeld, zelfs als geen enkele persoon beide tegelijk kan controleren.

Het Kernargument: De "Complot" van de Werkelijkheid

De auteurs betogen dat Niet-contextuele Agentie een zeer redelijke aanname is. Het is gebaseerd op een principe genaamd "Geen Fijne Afstelling".

De Metafoor van het Complot:
Stel je voor dat je een cake bakt.

• Scenario A: Je proeft het beslag, en het smaakt naar chocolade.
• Scenario B: Je proeft het beslag opnieuw, maar deze keer heb je een andere lepel gebruikt. Het smaakt nog steeds naar chocolade.
• De Regel: Als het beslag in beide scenario's hetzelfde smaakt, is het logisch aan te nemen dat de ingrediënten (de werkelijkheid) hetzelfde zijn.

Het Complot:
Als het beslag hetzelfde smaakt wanneer je het kunt controleren, maar plotseling naar vanille smaakt wanneer je het niet kunt controleren (omdat de "Super-Waarnemer" het geheugen van de lepel heeft gewist), zou dat een complot zijn. Het universum zou dan in het geheim de ingrediënten veranderen, alleen maar omdat niemand kijkt.

Het artikel stelt: "Het is te veel van een complot om te geloven dat het universum zijn regels verandert alleen maar omdat een Super-Waarnemer een herinnering wist." Daarom moeten we Niet-contextuele Agentie accepteren: de regels moeten gelden, zelfs voor de "gewiste" gebeurtenissen.

De Punt: De Contradictie

Hier is het "No-Go"-deel:

1. Kwantumtheorie voorspelt dat als Alice en Bob hun "Kwantumwisser"-krachten gebruiken, de statistieken van de resultaten op een bepaalde manier zullen lijken.
2. Niet-contextuele Vriendelijkheid (de combinatie van Absolute Feiten + Niet-contextuele Agentie) zegt dat de resultaten moeten voldoen aan een ander patroon (een patroon dat uitgaat van één consistente werkelijkheid).
3. De Clash: Als je de wiskunde uitvoert, voorspellen Kwantumtheorie en Niet-contextuele Vriendelijkheid tegenovergestelde resultaten. Ze kunnen niet allebei waar zijn.

Waarom is dit resultaat "Sterker"?

De auteurs beweren dat dit nieuwe theorema "sterker" is dan de oude. Hier is waarom:

• De Oude Regel (Bell/Lokale Vriendelijkheid): Vereiste de aanname dat "wat hier gebeurt, niet direct beïnvloedt wat daar gebeurt" (Lokale Causaliteit). Dit is een zeer strenge regel over ruimte en tijd.
• De Nieuwe Regel (Niet-contextuele Vriendelijkheid): Vereist alleen de aanname dat "als twee dingen er hetzelfde uitzien, ze hetzelfde zijn" (Niet-contextualiteit). Dit is een veel zwakkere, meer fundamentele regel over logica en werkelijkheid.

De Analogie:
Stel je voor dat je probeert te bewijzen dat een brug onveilig is.

• Oud Bewijs: "De brug is onveilig omdat de wind te hard waait." (Vereist een specifieke, sterke voorwaarde: harde wind).
• Nieuw Bewijs: "De brug is onveilig omdat de bakstenen van gelei zijn gemaakt." (Vereist een veel zwakkere voorwaarde: alleen dat de bakstenen van gelei zijn).

Als je kunt bewijzen dat de brug onveilig is, zelfs als de wind stil is (met het gelei-argument), dan is je bewijs sterker. Op dezelfde manier toont dit artikel aan dat Kwantumtheorie onverenigbaar is met de werkelijkheid, zelfs wanneer we de zwakste, meest fundamentele aannames gebruiken over hoe de werkelijkheid werkt.

De Conclusie

Als je gelooft in:

1. Kwantumtheorie is correct.
2. Het "Super-Waarnemer"-experiment is mogelijk (wat impliceert dat kwantumtheorie ook op waarnemers van toepassing is).
3. Het universum "complotteert" niet om zijn ware aard te verbergen wanneer we niet kijken (Niet-contextuele Agentie).

Dan moet je concluderen dat waargenomen gebeurtenissen niet absoluut zijn.

Met andere woorden: wanneer Charlie een resultaat ziet, kan dat resultaat weliswaar echt zijn voor Charlie, maar het is misschien geen enkele, objectieve feit voor Alice. De werkelijkheid is, in dit perspectief, relatief tot de waarnemer, zelfs als die waarnemer een "Super-Waarnemer" is die herinneringen kan wissen.

Het artikel suggereert niet dat dit verandert hoe we vandaag computers bouwen of ziekten behandelen. Het is een diep filosofisch en wiskundig resultaat over de fundamentele aard van de werkelijkheid en de grenzen van ons vermogen om het universum te beschrijven met één enkel, objectief verhaal.

Technische samenvatting

Technische Samenvatting: Een Uitgebreid Wigner-vriend-geen-go-theorema Geïnspireerd door Generaliseerde Contextualiteit

Probleemstelling
Het artikel behandelt de spanning tussen kwantumtheorie en klassieke wereldbeelden, met name gericht op de interpretatieve problemen die ontstaan wanneer agenten worden behandeld als kwantumsystemen die metingen kunnen uitvoeren. Hoewel het Local Friendliness (LF) geen-go-theorema een contradictie heeft vastgesteld tussen kwantumpredicties en de gezamenlijke aannames van Absolute Waarnemingsgebeurtenissen (AOE) en Lokale Agentie, streven de auteurs ernaar dit resultaat te generaliseren. Het doel is om te bepalen of soortgelijke contradicties ontstaan wanneer de aanname van Lokale Agentie (een versterkte vorm van no-signalling) wordt vervangen door een zwakkere aanname die is afgeleid van generaliseerde contextualiteit. De auteurs beogen aan te tonen dat kwantumtheorie onverenigbaar is met een "Noncontextuele Vriendelijkheid"-scenario, waardoor een geen-go-theorema wordt geproduceerd dat sterker is dan die welke uitsluitend zijn gebaseerd op generaliseerde noncontextualiteit.

Methodologie
De auteurs maken gebruik van een bekende correspondentie tussen bewijzen van nonlocaliteit in Bell-scenario's en bewijzen van contextualiteit in prepare-and-measure-scenario's. De methodologie verloopt als volgt:

1. Scenarioconstructie: De auteurs ontwerpen een "Noncontextuele Vriendelijkheid" (NF)-scenario (Figuur 4) dat een enkel kwantumsysteem $S$ en drie agenten omvat: Alice (een superobserver), Charlie (een vriend), en Debbie (een vriend), gevolgd door Bob (een superobserver).

   • Alice bereidt een qubit voor en stuurt deze naar Charlie.
   • Charlie voert een meting $C$ uit (gemodelleerd unitair als $U_C$).
   • Afhankelijk van een instelling $x \in \{0, 1\}$ accepteert Alice ofwel Charlie's uitkomst ($x=0$) of treedt op als superobserver om Charlie's meting ongedaan te maken via $U_C^\dagger$ ($x=1$), waarbij het uitkomstrecord wordt gewist.
   • Het systeem wordt doorgegeven aan Debbie, die meting $D$ uitvoert (gemodelleerd als $U_D$).
   • Afhankelijk van instelling $y \in \{0, 1\}$ accepteert Bob ofwel Debbie's uitkomst ($y=0$) of maakt hij haar meting ongedaan via $U_D^\dagger$ en voert hij een meting $B$ uit ($y=1$).

2. Aannames: Het theorema rust op twee kernaannames:

   • Absolute Waarnemingsgebeurtenissen (AOE): Waargenomen uitkomsten zijn unieke, objectieve gebeurtenissen, niet relatief ten opzichte van een waarnemer. Dit impliceert het bestaan van een gezamenlijke kansverdeling $p(a, b, c, d|x, y)$ voor alle uitkomsten, zelfs die welke zijn gewist of ontoegankelijk zijn voor een enkele agent.
   • Noncontextuele Agentie: Dit wordt gedefinieerd als de vereiste dat elke operationele equivalentie die verifieerbaar is wanneer alle variabelen gezamenlijk toegankelijk zijn, nog steeds moet gelden wanneer die variabelen niet gezamenlijk toegankelijk zijn voor een enkele agent. Specifiek breidt dit standaard operationele equivalenties (bijvoorbeeld onafhankelijkheid van voorbereiding) uit tot het niveau van gezamenlijk ontoegankelijke gebeurtenissen die door AOE worden gegarandeerd. Dit wordt gepresenteerd als een sterkere versie van standaard operationele equivalentie, maar een zwakkere versie van generaliseerde noncontextualiteit (die vereist dat dergelijke equivalenties gelden binnen een ontologisch model).

3. Bewijsstrategie: De auteurs mappen het eenvoudigste niet-triviale scenario voor generaliseerde contextualiteit (met inbegrip van vier voorbereidingen en twee metingen) af op het NF-opzet. Door AOE en Noncontextuele Agentie aan te nemen, tonen ze aan dat de empirische correlaties waargenomen in het NF-scenario moeten worden afgeleid uit een enkele gezamenlijke kansverdeling. Echter, door specifieke kwantumvoorbereidingen en metingen te selecteren (analoog aan de maximale schending van noncontextualiteitsongelijkheden), tonen ze aan dat een dergelijke gezamenlijke verdeling niet bestaat, wat leidt tot een contradictie.

Belangrijkste Bijdragen

• Het Noncontextuele Vriendelijkheid (NF) Geen-go-theorema: Het artikel bewijst dat als een superobserver willekeurige kwantumoperaties kan uitvoeren op een observer en zijn omgeving, geen enkele fysieke theorie aan de conjunctie van AOE en Noncontextuele Agentie kan voldoen.
• Generalisering van het LF-theorema: Het werk stelt vast dat Lokale Agentie een specifiek geval is van Noncontextuele Agentie (waarbij de operationele equivalentie no-signalling is). Bijgevolg generaliseert het NF-theorema het LF-theorema.
• Hiërarchie van Sterkte: De auteurs tonen aan dat het NF geen-go-theorema strikt sterker is dan geen-go-theorema's gebaseerd op generaliseerde noncontextualiteit. Hoewel de empirische correlaties in het NF-scenario identiek zijn aan die in het eenvoudigste contextualiteitsscenario, zijn de aannames die nodig zijn om de contradictie af te leiden (AOE + Noncontextuele Agentie) zwakker dan die welke nodig zijn voor standaard noncontextualiteitsbewijzen (die vertrouwen op het bestaan van een noncontextueel ontologisch model).
• Conceptuele Herformulering van Agentie: Het artikel interpreteert "Lokale Agentie" en "Noncontextuele Agentie" niet louter als metafysische toewijdingen aan relativistische causale structuren of ontologische modellen, maar als voorbeelden van het methodologisch principe van geen fijnafstelling. Het betoogt dat in een wereld waar AOE geldt, het "complotachtig" zou zijn als operationele equivalenties gelden wanneer ze toegankelijk zijn, maar falen wanneer ze ontoegankelijk zijn.

Resultaten
Het artikel leidt een contradictie af tussen kwantummechanische voorspellingen en de aannames van Noncontextuele Vriendelijkheid. Specifiek:

• Onder AOE en Noncontextuele Agentie moeten de empirische correlaties $\wp(c, d|x=0, y=0)$, $\wp(c, b|x=0, y=1)$, $\wp(a, d|x=1, y=0)$ en $\wp(a, b|x=1, y=1)$ marginaal zijn van een enkele gezamenlijke verdeling $p(a, b, c, d|x=1, y=1)$.
• Door specifieke kwantumtoestanden en metingen te kiezen (bijvoorbeeld Pauli $X$- en $Z$-basissen), corresponderen deze correlaties met de maximale schending van noncontextualiteitsongelijkheden.
• Volgens Fine's theorema kan een dergelijke gezamenlijke verdeling niet bestaan voor deze correlaties.
• Bijgevolg is kwantumtheorie onverenigbaar met Noncontextuele Vriendelijkheid.

Betekenis
De auteurs beweren dat dit resultaat het geval tegen het klassieke wereldbeeld versterkt door aan te tonen dat de onverenigbaarheid met kwantumtheorie aanhoudt, zelfs onder zwakkere aannames dan die welke worden gebruikt in eerdere op contextualiteit gebaseerde geen-go-theorema's.

• Sterker dan Bell/Contextualiteit: Net zoals het LF-theorema sterker is dan Bell's theorema (omdat Lokale Agentie zwakker is dan lokale causaliteit), is het NF-theorema sterker dan generaliseerde noncontextualiteit-theorema's (omdat Noncontextuele Agentie zwakker is dan generaliseerde noncontextualiteit).
• Methodologisch versus Metafysisch: Een belangrijke conceptuele bijdrage is het verschuiven van de rechtvaardiging voor "Agentie"-aannames van metafysische toewijdingen (bijvoorbeeld relativistische causale structuur) naar methodologische principes (geen fijnafstelling). Als men de universaliteit van kwantumtheorie accepteert (waardoor het scenario verwezenlijkt kan worden) en het principe van geen fijnafstelling, wordt men gedwongen AOE op te geven – de aanname dat waargenomen gebeurtenissen absoluut zijn.
• Toekomstige Richtingen: Het artikel suggereert dat dit kader kan worden uitgebreid naar andere scenario's, waaronder die met beperkte ontologische distinctheid of post-kwantumtheorieën, en merkt op dat de NF-aannames andere recente aannames omvatten, zoals "Commutatie Irrelevantie" in Kochen-Specker-contexten.

Het artikel concludeert dat het NF geen-go-theorema een robuust argument biedt dat, als kwantumtheorie universeel is en geen fijnafstelling wordt aangenomen, waargenomen gebeurtenissen niet absoluut kunnen zijn, waardoor de klassieke notie van objectieve realiteit in de context van kwantumobserver wordt uitgedaagd.