⚛️ quantum physics

Counterfactual quantum measurements

In dit artikel wordt een formeel kader voor kwantum-counterfactuelen voorgesteld, waarbij meetinstellingen als antecedenten fungeren, om niet-triviale vragen te beantwoorden over wat er zou zijn gemeten onder alternatieve meetomstandigheden binnen een indeterministische kwantumtheorie.

Oorspronkelijke auteurs: Ingita Banerjee, Kiarn T. Laverick, Howard M. Wiseman

Gepubliceerd 2026-04-14

📖 6 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Ingita Banerjee, Kiarn T. Laverick, Howard M. Wiseman

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je een spiegel hebt die niet alleen je huidige reflectie laat zien, maar ook een glimp van een alternatief universum. In dat universum heb je een andere keuze gemaakt. Wat zou er gebeurd zijn?

Dit is de kern van contrfactueel redeneren: het denken over "wat als?". Filosofen en wetenschappers gebruiken dit al eeuwen om beslissingen te nemen, van politiek tot weerberichten. Maar tot nu toe werkte dit alleen goed in een wereld die voorspelbaar is, zoals een uurwerk. Als je een tandwiel anders draait, weet je precies wat er gebeurt.

De quantumwereld (de wereld van atomen en fotonen) is echter niet als een uurwerk; het is als een dobbelsteen die nog in de lucht draait. Hier is niets zeker, alles is kans. De vraag die de auteurs van dit paper (Ingita Banerjee, Kiarn Laverick en Howard Wiseman) zich stellen, is: Hoe kunnen we "wat als?" vragen stellen in een wereld die per definitie onzeker is?

Hier is een uitleg in simpele taal, met een paar creatieve metaforen.

1. Het Probleem: De Verbroken Ketting

In de oude filosofie (van David Lewis) zeg je: "Als ik nu links had gedraaid, was ik op tijd aangekomen." Je vergelijkt de echte wereld met een denkbeeldige wereld die zo veel mogelijk op de echte wereld lijkt, behalve dat je links hebt gedraaid. Alles anders (het weer, de verkeerslichten, je humeur) blijft hetzelfde.

In de quantumwereld is dit lastig. Als je een atoom meet, verandert de meetkeuze de realiteit zelf. Het is alsof je probeert te zeggen: "Als ik naar links had gekeken, zou de dobbelsteen een 6 zijn geweest." Maar in de quantumwereld bepaalt waar je kijkt mee wat de dobbelsteen laat zien. De regels zijn anders.

2. De Oplossing: De "Vaste Ankers"

De auteurs komen met een slimme manier om dit op te lossen. Ze zeggen: "Oké, we kunnen niet alles vasthouden, maar we kunnen wel de dingen vasthouden die niet door jouw keuze worden beïnvloed."

Stel je een toneelstuk voor:

De Acteur (Jij): Jij kiest welke tekst je zegt (de meetinstelling).
De Medespeler (Bob): Hij staat op het toneel, maar hij kan jou niet horen of zien (ze zijn ver uit elkaar).
Het Script (De Quantumstaat): Dit is het geheim dat jullie delen.

Als jij in het echte leven kiest om tekst A te zeggen, en je krijgt een reactie, dan vraag je je af: "Wat zou er gebeurd zijn als ik tekst B had gezegd?"

De auteurs zeggen: Houd de reactie van Bob vast.
Omdat Bob ver weg is en jij niet kunt beïnvloeden wat hij doet (in dit specifieke quantum-experiment), blijft zijn gedrag in het denkbeeldige verhaal hetzelfde als in het echte verhaal. Hij is je "vaste anker".

3. Het Rekenvoorbeeld: Het CHSH-Experiment (De Twee Dobbelstenen)

In het paper gebruiken ze een bekend experiment (Bell-CHSH) om dit te laten zien.

Echte wereld: Alice kiest een meetrichting (bijv. verticaal) en ziet een 'omhoog'. Bob kiest een andere richting en ziet iets willekeurigs.
De vraag: "Alice, als jij in plaats van verticaal, horizontaal had gemeten, wat zou je dan hebben gezien?"

De oude manier van denken zou zeggen: "Geen idee, de hele situatie is anders."
Deze nieuwe manier zegt: "Wacht even. Bob's resultaat is een 'vaste anker'. Laten we alle mogelijke dingen die Bob had kunnen zien in de echte wereld nemen, en voor elk daarvan kijken wat Alice zou hebben gezien als ze horizontaal had gemeten."

Ze rekenen alle scenario's uit en middelen ze. Het resultaat is verrassend: De kans is 75% (3/4) dat ze een specifiek resultaat zou hebben gezien. Dit is geen gok, maar een harde berekening gebaseerd op de quantumwetten. Het is alsof je alle mogelijke paden in een doolhof afloopt, maar alleen die paden meeneemt waar de achtergrondmuziek (Bob) hetzelfde blijft.

4. Het Complexe Voorbeeld: De Continue Stroom (De Rivier)

In het tweede deel van het paper kijken ze naar iets veel ingewikkelders: een atoom dat continu fotonen uitstraalt, en twee mensen (Alice en Bob) die deze stroom meten.

Echte wereld: Alice telt de fotonen (klikjes). Ze ziet op een bepaald moment een klik.
De vraag: "Als Alice in plaats van te tellen, een heel ander apparaat had gebruikt (een homodyne-detectie die een golfvorm meet), wat zou die golfvorm dan hebben laten zien op het moment van die klik?"

Dit is alsof Alice een rivier bekijkt en een steen ziet springen. Ze vraagt zich af: "Als ik in plaats van naar de steen te kijken, naar de rimpelingen in het water had gekeken, hoe zouden die rimpelingen eruit hebben gezien op het moment dat de steen viel?"

De auteurs gebruiken hun nieuwe formule om deze "rimpelingen" (de hypothetische meetwaarde) te berekenen. Ze ontdekken dat de hypothetische golf een piek heeft op het exacte moment dat de echte klik plaatsvond.

Waarom? Omdat de klik in de echte wereld betekent dat het atoom even "rustig" is geworden. In het denkbeeldige wereldje, waar Alice naar de golven kijkt, zou die rust ook zichtbaar zijn als een specifieke piek in de golfbeweging.

De Grootste Les: "Suspectation"

De auteurs bedachten een nieuw woord: Suspectation (een mix van suspect en expectation).

Verwachting (Expectation): Wat denk je dat er gebeurt in de echte wereld?
Suspectation: Wat denk je dat er zou gebeuren in een alternatieve wereld, gebaseerd op wat je nu weet?

Het mooie is: deze "suspectation" is niet zomaar een droom. Het is iets dat je in de praktijk kunt controleren. Als je een quantum-systeem "smootheert" (gebruikmakend van data van zowel het verleden als de toekomst), krijg je precies deze waarde. Het is een brug tussen wat er werkelijk gebeurde en wat er zou kunnen gebeuren.

Samenvatting in één zin

Dit paper geeft ons een wiskundig gereedschap om in de onzekere, willekeurige quantumwereld toch zinvolle "wat als?"-vragen te stellen, door de dingen die niet door onze keuze worden beïnvloed (zoals wat een verre vriend ziet) vast te houden als ankers in ons denkbeeldige universum.

Het is alsof je een spiegel hebt die niet alleen je huidige kleding toont, maar ook precies berekent hoe je eruit zou hebben gezien in een ander outfit, zolang je maar dezelfde schoenen draagt.

Titel: Counterfactual quantum measurements

Auteurs: Ingita Banerjee, Kiarn T. Laverick, Howard M. Wiseman
Datum: 14 april 2026

1. Het Probleem

Redeneren over tegenwerkelijkheden (counterfactual reasoning) is fundamenteel voor wetenschappelijke verklaringen, beleid en causale ontdekking. Het klassieke raamwerk hiervoor, ontwikkeld door David Lewis, baseert zich op een deterministische klassieke wereld waar "mogelijke werelden" worden vergeleken op basis van gelijkenis. Een tegenwerkelijkheid ("Als A had gebeurd, dan zou C zijn gebeurd") is waar als de wereld waar A en C waar zijn, het meest lijkt op onze werkelijke wereld.

De uitdaging in de kwantummechanica is tweeledig:

Indeterminisme: De orthodoxe kwantumtheorie (OQT) is inherent probabilistisch; fysieke grootheden hebben geen vaststaande eigenschappen voordat ze worden gemeten. Lewis' analyse, die uitgaat van waarheidswaarden (waar/onwaar), past niet direct toe.
Causaliteit en Ontologie: Klassieke analyses gaan uit van een objectieve toestand van de wereld op elk tijdstip en deterministische evolutie. In OQT is dit niet het geval, en het concept van "counterfactual definiteness" (de aanname dat tegenwerkelijke uitspraken een vaststaande waarheidswaarde hebben) is problematisch in de context van Bell's stellingen.

Er ontbreekt een formeel raamwerk om zinvolle, niet-triviale vragen te beantwoorden zoals: "Gegeven dat mijn fotodetector op een bepaald moment klikte, wat zou een veld-kwadratuur-detector hebben gemeten als ik die had gebruikt?"

2. Methodologie: Een Formeel Raamwerk voor Kwantum Tegenwerkelijkheden

De auteurs stellen een nieuw formalisme voor dat Lewis' analyse uitbreidt naar de kwantumwereld door vier cruciale stappen te nemen:

Beperking tot Klassieke Elementen: Het formalisme beperkt de beschrijving tot de klassieke componenten van de theorie: meetinstellingen, meetuitkomsten en ongecontroleerde klassieke variabelen (ruis).
Van Propositions naar Probabiliteiten: In plaats van te vragen of een consequent waar is, wordt de kans (of "supposability", aangeduid als $Su$) van het consequent berekend gegeven de antecedent.
Antecedent als Meetinstelling: Om de eerste wens (desideratum) van Lewis (geen schending van natuurwetten) te respecteren, wordt de tegenwerkelijke antecedent beperkt tot meetinstellingen. In OQT zijn instellingen vrije keuzes buiten het kwantumsysteem; het veranderen van een instelling schendt geen natuurwetten.
Fixatie van Onbeïnvloede Variabelen: De tweede wens van Lewis (maximalisatie van de overeenkomst in feiten) wordt geïnterpreteerd als het vasthouden ("fixeren") van alle klassieke variabelen die niet in het toekomstige lichtkegel van de tegenwerkelijke instelling liggen. Dit omvat andere meetinstellingen en uitkomsten, zelfs als deze onbekend zijn voor de waarnemer.

De Berekeningsformule:
De "supposability" van een consequent $C'$ gegeven een tegenwerkelijke instelling $A'$ en bewijs $E$ uit de werkelijke wereld wordt berekend als:
$Su(C' = c' | A' = a' || E = e) := \sum_{f} Pr(C' = c' | A' = a', F = f) \cdot Pr(F = f | E = e)$
Waarbij:

$F$ de "fixtures" zijn: de gebeurtenissen die in beide werelden (werkelijk en tegenwerkelijk) hetzelfde blijven (buiten het lichtkegel van de verandering).
De term met dubbele streep ( $||$ ) conditioneert op het bewijs uit de werkelijke wereld.
De term met enkele streep ( $|$ ) conditioneert op de fixtures binnen de tegenwerkelijke wereld.

3. Belangrijkste Bijdragen

Formalisering van Kwantum Tegenwerkelijkheden: Het artikel introduceert de eerste consistente methode om niet-triviale tegenwerkelijke kansen te berekenen binnen de orthodoxe kwantumtheorie zonder aan te nemen dat er verborgen variabelen bestaan.
Concept van "Supposability": Het introduceert een nieuw concept dat verschilt van klassieke waarschijnlijkheid en Pearl's causale modellen. Het benadrukt dat de bewijslast uit de werkelijke wereld relevant blijft voor de tegenwerkelijke wereld zolang deze variabelen causaal onafhankelijk zijn van de veranderde instelling.
Verbinding met Quantum State Smoothing: Het paper toont aan dat de berekende "suspectation" (een tegenwerkelijk equivalent van verwachting) voor continue metingen overeenkomt met de verwachtingenwaarde van een "gesmoothed" kwantumtoestand (gebaseerd op zowel verleden als toekomstige data).

4. Resultaten en Toepassingen

A. Het Bell-CHSH Scenario (Discrete Meting)

De auteurs passen hun methode toe op een standaard Bell-experiment met twee deeltjes in een singlet-toestand.

Situatie: Alice meet spin in de z-richting ( $X=\updownarrow$ ) en krijgt resultaat $A=\uparrow$ . Ze vraagt zich af wat haar resultaat zou zijn geweest ( $A'$ ) als ze in de x-richting had gemeten ( $X'=\leftrightarrow$ ).
Analyse: Bob's meetuitkomst ( $B$ ) is een "fixture" omdat deze ruimtelijk gescheiden is van Alice's keuze. Alice moet de waarschijnlijkheid van Bob's uitkomst schatten op basis van haar eigen data en deze gebruiken om haar tegenwerkelijke kans te berekenen.
Resultaat: De berekende supposability is 3/4.
Vergelijking: Dit verschilt fundamenteel van andere intuïtieve antwoorden (zoals 1/2), die zouden suggereren dat de werkelijke data irrelevant is of dat de toestand puur op basis van de huidige uitkomst wordt bepaald. Het resultaat 3/4 is een niet-triviale voorspelling die voortkomt uit de kwantumverstrengeling en de fixatie van Bob's uitkomst.

B. Continue Monitoring van een Atoom (Continue Meting)

Het formalisme wordt toegepast op een complexer scenario waarbij twee waarnemers (Alice en Bob) continu een aangeslagen atoom monitoren via twee verschillende kanalen (fotontelling).

Situatie: Alice gebruikt in de werkelijke wereld een fotodetector en registreert een klik op tijdstip $t_A$ . Ze vraagt zich af wat het signaal zou zijn geweest van een homodyne-detectie (veld-kwadratuur) in hetzelfde interval.
Methode: Ze berekent de "suspectation" (de verwachte waarde van het tegenwerkelijke signaal) door te middelen over alle mogelijke Bob-records, gewogen door de kans dat deze records voorkomen gegeven Alice's werkelijke record.
Resultaat: De berekende "suspectation" toont een piek rond het tijdstip van Alice's werkelijke klik ( $t_A$ ), met oscillerende "echo's" ervoor en erna.
Fysische Interpretatie: De piek ontstaat omdat Alice's klik in de werkelijke wereld de kans op clicks van Bob onderdrukt (anti-bunching). In de tegenwerkelijke wereld moet dit gedrag van Bob (gefixeerd) worden verklaard door een specifiek verloop van Alice's homodyne-signaal dat de atomaire toestand dichter bij de grondtoestand houdt. Dit leidt tot een verhoogde verwachting van het homodyne-signaal rond $t_A$ .

5. Betekenis en Conclusie

Dit werk legt een brug tussen de kracht van de kwantumtheorie en intuïtief tegenwerkelijk redeneren, wat essentieel is voor wetenschappelijke voorspelling en verklaring.

Nieuwe Richtingen: Het opent nieuwe wegen voor kwantum causaal modelleren en kwantum machine learning.
Empirische Toetsbaarheid: De auteurs stellen dat "supposabilities" empirisch vindbaar zijn, aangezien alle kansen in de definitie experimenteel als relatieve frequenties kunnen worden gemeten.
Verband met Gesmoothde Toestanden: Een belangrijke inzicht is dat de berekende tegenwerkelijke waarden overeenkomen met de verwachtingen van een "gesmoothde" kwantumtoestand (gebaseerd op past en future information), wat experimenteel is geverifieerd in optica en optomechanica.

Samenvattend biedt dit paper een robuust, wiskundig onderbouwd raamwerk om vragen te beantwoorden over "wat er zou zijn gebeurd" in kwantumsystemen, zonder te vervallen in deterministische aannames die strijdig zijn met de fundamentele aard van de kwantummechanica.