A refined Frauchiger--Renner paradox based on strong contextuality

Dit artikel presenteert een verfijnd Frauchiger–Renner-paradox gebaseerd op het sterk contextuele GHZ–Mermin-scenario, dat de noodzaak van post-selectie en kwantumsluiting door gemodelleerde waarnemers elimineert, en stelt een uitbreiding van Peres' dictum voor om dergelijke uitgebreide Wigners-vriend-paradoxen op te lossen onder de aanname van de universaliteit van de kwantumtheorie.

De kern

Het Grote Plaatje: Een Quantumfamiliegeschil

Stel je een groep vrienden voor die proberen een mysterie op te lossen. In de wereld van de quantumfysica wordt het vreemd als je "superwaarnemers" hebt: mensen die andere mensen kunnen zien kijken naar dingen, terwijl ze de kijkers zelf ook als onderdeel van het quantumraadsel behandelen.

In 2016 creëerden twee wetenschappers (Frauchiger en Renner) een beroemd gedachte-experiment dat aantoont dat als iedereen de regels van de quantummechanica volgt, ze eindigen met een logische tegenstrijdigheid. Het is als een familieruzie waarbij iedereen volgens hun eigen perspectief gelijk heeft, maar wanneer ze hun notities vergelijken, zegt de wiskunde "onmogelijk".

Dit nieuwe artikel, van Walleghem en collega's, zegt: "We hebben een manier gevonden om dat argument nog sterker, eenvoudiger en moeilijker te negeren." Ze noemen hun nieuwe versie het GHZ–FR-paradox.

Het Oude Probleem: De "Hardy"-puzzel

Om de nieuwe versie te begrijpen, laten we kijken naar de oude (het Frauchiger–Renner- of FR-paradox).

• De Opstelling: Stel je voor dat Alice en Bob in afgesloten kamers zitten. Ze meten een quantummunt. Buiten kijken twee "Superwaarnemers" (Ursula en Wigner) naar de hele kamers.
• De Glitch: Het oorspronkelijke paradox berustte op een specifieke quantumopstelling genaamd het Hardy-model. Dit model is een beetje als een "misschien"-spel. Het werkt alleen als je geluk hebt met de resultaten.
  • Analogie: Stel je voor dat Ursula en Wigner munten opgooien. Het paradox gebeurt alleen als ze beiden "Kop" krijgen. Als ze "Munt" krijgen, valt het argument uit elkaar. Dus moeten ze alle rondes weggooien waarin ze geen Kop kregen. Dit heet post-selectie. Het is alsof je zegt: "We tellen alleen de spellen mee waarin we wonnen."
• Het Redeneren: In de oude versie moesten de mensen binnen de kamers (Alice en Bob) wat complexe quantumredenering doen om berichten naar buiten te sturen.

De Nieuwe Oplossing: De "GHZ"-puzzel

De auteurs realiseerden zich dat ze de "Hardy"-puzzel konden vervangen door een veel sterkere, genaamd het GHZ–Mermin-model.

• Geen "Misschien" Meer: Het GHZ-model is als een perfect slot. Het maakt niet uit wat de uitkomst is; de tegenstrijdigheid gebeurt elke keer.
  • Analogie: In het oude spel moest je wachten op een specifieke gelukkige worp om de glitch te zien. In dit nieuwe spel gebeurt de glitch hoe je ook de dobbelstenen gooit. Je hoeft geen resultaten weg te gooien.
• Eenvoudiger Redeneren: In de nieuwe versie hoeven de mensen binnen de kamers (Alice, Bob, Charlie) geen complexe quantumredenering te doen. Ze meten gewoon hun munten. De "Superwaarnemers" (Ursula, Valentina, Wigner) doen het denken.
  • Analogie: Stel je drie vrienden voor (Alice, Bob, Charlie) die munten opgooien in aparte kamers. Drie buitenstaande detectives (Ursula, Valentina, Wigner) kijken toe. De detectives hoeven geen quantumgeniessen te zijn; ze hoeven gewoon logische mensen te zijn. Als ze samenkomen om hun notities te vergelijken, beseffen ze dat hun notities elkaar tegenspreken.

De Drie Regels van het Spel

Het artikel betoogt dat deze tegenstrijdigheid bewijst dat we niet alle drie de volgende ideeën tegelijk waar kunnen houden:

1. Universaliteit van de Quantumtheorie: Het idee dat quantumregels op alles van toepassing zijn, zelfs op grote dingen zoals mensen en hun laboratoria. Een "Superwaarnemer" kan een heel laboratorium als één enkel quantumobject behandelen.
2. Absolute Waarheid (of "Feiten zijn Feiten"): Het idee dat wanneer een meting plaatsvindt, er één enkel, echt antwoord is. Als Alice "Kop" ziet, dan is "Kop" de absolute waarheid voor iedereen, overal.
3. Born-Compatibiliteit: Het idee dat als je de standaard quantumwiskunde (de Born-regel) gebruikt om te voorspellen wat misschien gebeurt, je voorspelling moet overeenkomen met de realiteit die je uiteindelijk ziet.

Het Paradox: Het artikel toont aan dat als je gelooft in #1 (Superwaarnemers bestaan) en #3 (Quantumwiskunde werkt), dan moet #2 (Absolute Waarheid) onwaar zijn. Of, als je gelooft in #2, dan moet #1 of #3 verkeerd zijn.

De Voorgestelde Oplossing: "Relativiteit van Waargenomen Gebeurtenissen"

Als we accepteren dat Superwaarnemers mogelijk zijn (Regel #1) en dat quantumwiskunde werkt (Regel #3), hoe lossen we dan de tegenstrijdigheid op?

De auteurs suggereren een nieuwe manier van denken genaamd de Relativiteit van Waargenomen Gebeurtenissen.

• De Analogie: Stel je voor dat een geheim bericht op een stuk papier staat in een verzegelde doos.
  • Alice opent de doos en ziet "Hallo". Voor Alice is het feit "Hallo".
  • Bob is buiten de doos. Totdat hij hem opent (of Alice het vraagt), is het papier nog steeds een "quantumsuperpositie" van "Hallo" en "Tot ziens" vanuit zijn perspectief.
  • De Regel: Je kunt geen waarde toekennen aan een feit (zoals "Hallo") totdat je het daadwerkelijk hebt geleerd.
• Het Nieuwe Principe: "Niet-uitgevoerde experimenten hebben geen resultaten, en onbekende resultaten hebben geen waarden."

Dit betekent dat Ursula (de Superwaarnemer) niet kan zeggen "Bob zag zeker Kop" totdat ze Bob daadwerkelijk vraagt of zijn lab controleert. Totdat ze dat doet, is het nog geen "feit" voor haar. Het is slechts een potentieel.

Waarom Dit Belangrijk Is

Het artikel concludeert dat dit niet zomaar een lastig wiskundig raadsel is. Het dwingt ons om te kiezen tussen:

1. Opgeven van het idee dat er één enkele, absolute realiteit is voor iedereen (Feiten zijn relatief tot wie je het vraagt).
2. Opgeven van het idee dat quantummechanica op alles van toepassing is (Misschien kunnen grote dingen zoals laboratoria niet als quantumobjecten worden behandeld).
3. Opgeven van het idee dat onze standaard quantumvoorspellingen altijd overeenkomen met de realiteit op de manier waarop we verwachten.

De auteurs neigen naar de eerste optie: Feiten zijn relatief. Een meting wordt pas een "feit" voor een waarnemer wanneer die waarnemer het resultaat daadwerkelijk leert kennen. Tot dan is het slechts een quantummogelijkheid.

Samenvatting in Één Zin

Dit artikel bewijst dat als quantummechanica op iedereen van toepassing is (zelfs op de mensen die het experiment bekijken), er geen enkele "absolute waarheid" is voor het hele universum; feiten worden pas echt wanneer een waarnemer ze daadwerkelijk leert kennen.

Technische samenvatting

Technische Samenvatting: Een Verfijnd Frauchiger–Renner-Paradox Gebaseerd op Sterke Contextualiteit

Probleemstelling

De Frauchiger–Renner (FR)-paradox (2016) benadrukt een schijnbare inconsistentie in de kwantumtheorie wanneer deze wordt gebruikt om zichzelf te beschrijven. In een uitgebreid Wigners-vriend-scenario modelleren agenten (superobservatoren) andere agenten als kwantumsystemen en redeneren over elkaars kennis, wat leidt tot een logische contradictie met betrekking tot meetuitkomsten. Hoewel de FR-paradox berust op het logisch contextuele Hardy-model, vereist het post-selectie op specifieke meetuitkomsten en omvat het redeneren door agenten die zelf kwantummechanisch gemodelleerd worden. Dit artikel identificeert dat de logische structuur van de FR-paradox wordt onderbouwd door "logische non-localiteit" (Hardy) en streeft ernaar een sterkere paradox te construeren gebaseerd op "sterke contextualiteit" (GHZ–Mermin) om robuustere no-go-theorema's af te leiden.

Methodologie

De auteurs hanteren een raamwerk dat kwantuminformatietheorie, de schil-theoretische aanpak van contextualiteit en epistemische logica combineert. De methodologie verloopt in drie hoofdfasen:

1. Analyse van de FR-paradox: De auteurs tonen eerst aan dat de FR-paradox kan worden versterkt door de redeneerfase zodanig te wijzigen dat alleen "klassieke agenten" (agenten die niet kwantummechanisch gemodelleerd worden door anderen in het protocol) het redeneren uitvoeren. Zij identificeren het onderliggende mechanisme als het Hardy-model, een bewijs van non-localiteit zonder ongelijkheden dat berust op possibilistische argumenten (nul versus niet-nul waarschijnlijkheid).
2. Constructie van de GHZ–FR-paradox: Door gebruik te maken van de mapping tussen Bell-non-localiteitsscenario's en uitgebreide Wigners-vriend-scenario's, construeren de auteurs een nieuwe paradox gebaseerd op het GHZ–Mermin-model. Dit model vertoont "sterke contextualiteit", wat betekent dat geen enkele globale toewijzing van uitkomsten bestaat die consistent is met de lokale mogelijkheden, in tegenstelling tot het Hardy-model waar sommige globale toewijzingen wel bestaan.
3. Afleiding van No-Go-Theorema's: De auteurs formaliseren de aannames die nodig zijn voor de paradox om te gelden en leiden twee verschillende no-go-theorema's af:
   • Het GHZ–FR Waarheid No-Go-Theorema: Gebaseerd op de aanname van een absolute, enkelvoudige waarheid voor alle waargenomen gebeurtenissen.
   • Het GHZ–FR Akkoord No-Go-Theorema: Een sterker resultaat dat de aanname van absolute waarheid vervangt door "Persoonlijke Kennis" (agenten kunnen uitkomsten ten opzichte van zichzelf toewijzen) en "Klassiek Akkoord" (klassiek communicerende agenten moeten het eens zijn over overlappende uitkomsten).

Belangrijkste Bijdragen

1. De GHZ–FR-paradox

Het artikel introduceert een nieuw protocol met drie waarnemer-superobservatorparen (Alice/Ursula, Bob/Valentina, Charlie/Wigner) die een GHZ-toestand delen.

• Protocol: Waarnemers (A, B, C) meten hun qubits in de $Y$-basis. Superobservatoren (U, V, W) voeren vervolgens "supermetingen" (X-achtige metingen) uit op het gecombineerde systeem van de waarnemer en hun qubit.
• Contrast met FR: In tegenstelling tot de FR-paradox vereist de GHZ–FR-paradox geen post-selectie. De contradictie ontstaat bij elke uitvoering van het protocol waarbij de superobservatoren specifieke uitkomsten verkrijgen, in plaats van slechts in een post-geselecteerde subset. Bovendien wordt het redeneren uitsluitend uitgevoerd door klassieke agenten (de superobservatoren nadat zij hebben gemeten), waardoor de noodzaak voor kwantumagenten om over andere kwantumagenten te redeneren wordt geëlimineerd.

2. Het GHZ–FR Waarheid No-Go-Theorema

Dit theorema toont de onverenigbaarheid aan van drie aannames:

• Universaliteit van Kwantumtheorie: Superobservatoren bestaan en kunnen laboratoria modelleren als gesloten kwantumsystemen die unitair evolueren.
• Absolute Waargenomen Gebeurtenissen (AOE): Elke uitgevoerde meting heeft een absolute, enkelvoudige uitkomst.
• Born-Compatibiliteit: Het gebruik van de possibilistische Born-regel door agenten levert geldige voorspellingen op over deze absolute uitkomsten, zelfs als de agent niet fysiek alle uitkomsten verzamelt.

Het bewijs toont aan dat de voorspellingen van de Born-regel voor de superobservatoren (afgeleid uit de GHZ-Mermin-pariteitvergelijkingen) onderling inconsistent zijn met het bestaan van een enkele globale toewijzingsfunctie $f$ die metingen koppelt aan uitkomsten.

3. Het GHZ–FR Akkoord No-Go-Theorema

Dit theorema verzwakt de aannames om de contradictie nog robuuster te maken. Het vervangt AOE door:

• Persoonlijke Kennis: Een agent kan een enkelvoudige uitkomst toewijzen aan een meting waarvan hij gelooft dat hij er toegang toe heeft.
• Klassiek Akkoord: Als klassieke agenten communiceren, moeten hun uitkomsttoewijzingen overeenstemmen op het overlap van hun kennis.

Het theorema bewijst dat zelfs zonder de aanname van een absolute waarheid, de combinatie van Universaliteit, Persoonlijke Kennis, Klassiek Akkoord en Born-Compatibiliteit leidt tot een contradictie. Dit impliceert dat, als superobservatoren bestaan, klassieke agenten niet consequent kunnen overeenstemmen over uitkomstwaarden, zelfs niet wanneer ze communiceren, tenzij een van de andere aannames wordt verworpen.

4. Voorgestelde Oplossing: Born-Praktijk

Om de paradox op te lossen terwijl de Universaliteit van de Kwantumtheorie behouden blijft, stellen de auteurs een principe voor genaamd Born-Praktijk (of de Relativiteit van Waargenomen Gebeurtenissen).

• Principe: Een agent kan de Born-regel alleen gebruiken om voorspellingen te formuleren over uitkomsten geconditioneerd op het daadwerkelijk leren van die uitkomsten.
• Implicatie: "Niet-uitgevoerde experimenten hebben geen resultaten, en onbekende resultaten hebben geen waarden." Een agent (bijvoorbeeld Ursula) kan geen definitieve waarde toeschrijven aan Bobs uitkomst $b$ tenzij ze Bob er daadwerkelijk naar vraagt. In het GHZ–FR-protocol vragen de superobservatoren de waarnemers nooit naar hun uitkomsten; ze redeneren alleen over wat ze zouden vinden als ze dat wel deden. Door voorspellingen te beperken tot conditionele uitspraken ("Als ik vraag, zal ik vinden..."), wordt de logische contradictie vermeden omdat de agenten nooit gelijktijdig de gezamenlijke kennis bezitten die nodig is om de inconsistentie te activeren.

Resultaten

• Sterkere Non-localiteiten: Het artikel stelt vast dat het GHZ–Mermin-model (sterke contextualiteit) een krachtigere basis biedt voor Wigners-vriendparadoxen dan het Hardy-model (logische contextualiteit), waardoor post-selectie overbodig wordt.
• Verfijnde Aannames: Het werk verduidelijkt dat de contradictie niet berust op kwantumagenten die over andere kwantumagenten redeneren (een punt van discussie in eerdere literatuur), maar voortkomt uit klassieke agenten die over kwantumsystemen redeneren.
• Ongeldigverklaring van Redeneerprincipes: De GHZ–FR-paradox maakt specifieke sets redeneerprincipes ongeldig die in de literatuur zijn voorgesteld (bijvoorbeeld die in Ref. [88]) en die proberen de FR-paradox op te lossen door voorspellingen voor agenten die onderworpen zijn aan super-metingen te beperken, aangezien deze principes niet van toepassing zijn op de klassieke agenten in het GHZ–FR-opzet.

Betekenis en Claims

De auteurs claimen dat de GHZ–FR-paradox een "strikt sterkere" versie van de FR-paradox vertegenwoordigt. De betekenis hiervan ligt in:

1. Robuustheid: Door post-selectie en redeneren door kwantumagenten te elimineren, is de paradox van toepassing op een bredere klasse van scenario's en berust deze op minder, meer natuurlijke aannames.
2. Verduidelijking van Grondslagen: Het scherpt het debat over het meetprobleem aan door aan te tonen dat de inconsistentie ontstaat zelfs wanneer alleen klassieke agenten redeneren, mits zij de Universaliteit van de Kwantumtheorie accepteren en het vermogen om uitkomsten toe te wijzen aan metingen waarvan zij geloven dat ze er toegang toe hebben.
3. Oplossingsroute: Het artikel stelt voor dat de meest natuurlijke oplossing, als men superobservatoren accepteert, het aannemen van Born-Praktijk is. Dit breidt Peres' dictum ("Niet-uitgevoerde experimenten hebben geen resultaten") uit tot het idee dat "onbekende resultaten geen waarden hebben", waardoor meetuitkomsten effectief relatief worden gemaakt ten opzichte van de agent die ze leert kennen. Dit suggereert dat de "Absolute Waargenomen Gebeurtenissen" de specifieke aanname is die moet worden verworpen om consistentie te behouden in een universum met superobservatoren.

Het artikel concludeert met de opmerking dat deze resultaten nieuwe richtingen openen voor het onderzoeken van het meetprobleem, de aard van kwantumtoestanden (epistemisch versus ontisch) en de relatie tussen verschillende voorgestelde oplossingen (zoals relationele kwantummechanica en verborgen-variabelentheorieën).