Classical Explanations in (and of) General Probabilistic Theories

Dit artikel introduceert een categorische definitie van "verklaring" tussen probabilistische modellen en toont aan dat elke lokaal-finite probabilistische theorie een canonieke, scherpe klassieke representatie bezit die funtoriëel wordt geconstrueerd via pullbacks.

De kern

Hier is een uitleg van het paper "Classical Explanations in (and of) General Probabilistic Theories" van Harding en Wilce, vertaald naar begrijpelijk Nederlands met creatieve metaforen.

De Kernboodschap: Alles kan "klassiek" worden uitgelegd, maar dan wel met een prijs

Stel je voor dat je probeert de wereld te begrijpen. In de oude, klassieke wereld (zoals in de dagelijkse ervaring) kun je alles uitleggen door te zeggen: "Dit gebeurde omdat er een onzichtbare, vaste oorzaak was die we alleen niet konden zien." Denk aan een munt die opvalt: hij valt op kop of munt, maar we weten niet waarom. In de klassieke fysica is het antwoord simpel: er was een onzichtbare kracht of een verborgen instelling die het resultaat bepaalde.

Quantummechanica (QM) daarentegen zegt: "Nee, dat werkt niet. Soms zijn dingen fundamenteel onzeker en kunnen experimenten elkaar beïnvloeden op een manier die niet logisch is in onze dagelijkse wereld."

Wat doen de auteurs in dit paper?
Ze zeggen: "Oké, laten we eens kijken of we die vreemde quantumwereld toch kunnen 'vertalen' naar die oude, klassieke taal. Kunnen we een quantum-systeem zien als een klassiek systeem met verborgen instellingen?"

Het verrassende antwoord is: Ja, dat kan. Maar er is een grote 'maar'.

Metafoor 1: De Vertaler en de Vreemde Taal

Stel je voor dat Quantummechanica een vreemde taal is die je niet direct begrijpt. De auteurs hebben een vertaler (een wiskundig apparaat dat ze "Borelification" noemen) bedacht.

• Het proces: Deze vertaler neemt elk quantum-experiment en zet het om in een enorme, klassieke lijst van alle mogelijke uitkomsten. Het is alsof je een abstract schilderij (het quantum-systeem) omzet in een gigantische database van pixels (de klassieke uitleg).
• Het resultaat: Je kunt elk quantum-systeem nu beschrijven als een klassiek systeem. Je kunt zeggen: "Het quantum-systeem is eigenlijk gewoon een klassiek systeem, maar dan met heel veel verborgen variabelen die we niet direct zien."
• De prijs: Om dit te doen, moet je de regels van de ruimte en tijd een beetje opgeven. De "verborgen variabelen" in deze klassieke uitleg zijn vaak niet-lokaal.

Metafoor 2: De Telepathische dobbelstenen (Lokale vs. Niet-lokale verklaring)

Laten we kijken naar het concept van lokale verklaringen.

• Lokaal: Stel je twee dobbelstenen voor, één in Amsterdam en één in Tokio. Als je in Amsterdam gooit en een 6 krijgt, zou dat in Tokio geen invloed moeten hebben op de uitkomst van de dobbelsteen daar. Als er een klassieke uitleg is, zou je kunnen zeggen: "Ze waren beide vooraf ingesteld om een 6 te gooien." Dat is een lokale verklaring.
• Niet-lokaal (Quantum): In de quantumwereld kunnen twee deeltjes "verstrengeld" zijn. Als je in Amsterdam een 6 gooit, weet de dobbelsteen in Tokio direct dat hij een 1 moet gooien, alsof ze telepathisch met elkaar verbonden zijn.

Wat zeggen de auteurs over dit paper?
Ze bewijzen dat je die verstrengeling wel kunt uitleggen met een klassiek model, MAAR alleen als je accepteert dat de "verborgen instellingen" in dat klassieke model op een raadselachtige manier met elkaar communiceren.

In hun wiskundige taal zeggen ze:

1. Je kunt elk quantum-systeem omzetten in een klassiek model (een "Borel-model").
2. Maar als je dat doet, blijken de "verborgen staten" (de dispersion-free states) vaak niet-lokaal te zijn.
3. Dit betekent dat de klassieke uitleg alleen werkt als je accepteert dat de onderliggende werkelijkheid "sneller dan het licht" of op een niet-ruimtelijke manier met elkaar verbonden is.

De "Prijs" van de Uitleg

De auteurs maken een belangrijk onderscheid tussen twee soorten "verklaringen":

1. Een scherpe klassieke uitleg: Je kunt de wereld zien als een machine met vaste, schakelaars (verborgen variabelen). Dit werkt wiskundig voor elk systeem.
2. De prijs: Als je dit doet, moet je toegeven dat die schakelaars op afstand met elkaar praten. Als je dat niet wilt (als je "lokaliteit" wilt behouden), dan kun je de quantumwereld niet klassiek uitleggen.

Het paper zegt dus eigenlijk: "Je kunt kiezen: of je accepteert dat de wereld klassiek is maar niet-lokaal (alles is verbonden), of je accepteert dat de wereld niet-klassiek is (er is geen onderliggende vaste realiteit)."

Samenvatting in het dagelijks leven

Stel je voor dat je een magische dobbelsteen hebt die altijd het tegenovergestelde van je vriend in een ander land gooit.

• De klassieke uitleg (volgens dit paper): "Er is een onzichtbaar snoer tussen de dobbelstenen dat ze synchroniseert. Het is een klassiek mechanisme."
• Het probleem: Dat snoer moet door de hele ruimte gaan en direct werken, alsof er geen afstand bestaat.
• De conclusie van de auteurs: Ja, je kunt het zo uitleggen (het is een geldige "klassieke uitleg"), maar het voelt onnatuurlijk omdat het de regel van "lokale oorzaak en gevolg" doorbreekt.

Kortom:
Het paper toont aan dat we de vreemde quantumwereld kunnen "vertalen" naar een klassieke taal. Maar die vertaling is zo complex en vreemd (met instantane verbindingen over de hele wereld) dat we misschien beter kunnen zeggen: "De wereld is gewoon niet klassiek." Het is een wiskundig bewijs dat je de keuze hebt tussen "klassiek maar raar" of "niet-klassiek maar logisch". De auteurs suggereren dat de tweede optie waarschijnlijk de juiste manier is om de natuur te begrijpen.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Classical Explanations in (and of) General Probabilistic Theories" van John Harding en Alex Wilce, geschreven in het Nederlands.

Titel: Klassieke Verklaringen in (en van) Algemene Probabilistische Theorieën

1. Het Probleem

De klassieke waarschijnlijkheidstheorie gaat er stilzwijgend van uit dat alle experimenten gemeenschappelijke verfijningen hebben en dus effectief gezamenlijk uitgevoerd kunnen worden. De kwantummechanica (QM) weerlegt deze aanname door het bestaan van incompatibele experimenten.
Er zijn twee hoofdrichtingen geweest om de waarschijnlijkheidstheorie te generaliseren om hiermee om te gaan:

1. De "quantum-logic" benadering (vervanging van Booleaanse algebren door orthomodulaire roosters).
2. De "convexe" benadering (vervanging van het simplex van klassieke maatvoeringen door willekeurige convexe verzamelingen).

Hoewel er vele stellingen bestaan die aantonen dat modellen van dit type onder bepaalde voorwaarden (zoals het opgeven van contextualiteit of lokaliteit) gerepresenteerd kunnen worden door klassieke modellen, ontbreekt er een unificerend kader. De bestaande representaties zijn vaak niet equivalent en worden binnen verschillende formele raamwerken ontwikkeld. Het doel van dit artikel is een unificerend, meer algemeen en verhelderend beeld te bieden.

2. Methodologie

De auteurs hanteren een categorische aanpak binnen de theorie van Generalized Probabilistic Theories (GPTs).

• Categorie Prob: Ze definiëren een categorie Prob van concrete probabilistische modellen. Een model bestaat uit een testruimte (een collectie van mogelijke uitkomstenverzamelingen voor experimenten) en een toestandsruimte (een verzameling waarschijnlijkheidsgewichten).
• Morfismen: Morfismen tussen modellen worden gedefinieerd als "testruimte-morfismen" die de structuur van experimenten respecteren en een lineaire afbeelding tussen de toestandsruimtes induceren.
• Definitie van "Verklaring": Een verklaring van model $A$ door model $B$ wordt gedefinieerd als een specifieke span in de categorie Prob. Dit is een drietal $(C, \phi, \psi)$ waarbij:
  • $C$ een model is.
  • $\phi: C \to A$ een quotiënt-morfisme is (verwaarlozen van onderscheid tussen uitkomsten).
  • $\psi: C \to B$ een embedding is (inbedding van $C$ in $B$).
  • Dit betekent dat $A$ verkregen wordt uit $B$ door een tussenstap $C$ te nemen die in $B$ ingebed is, maar waarvan we in $A$ bepaalde details weglaten.
• Samenstelling: Hoewel Prob niet willekeurige pullbacks toelaat, tonen de auteurs aan dat pullbacks bestaan voor "sub-quotiënten" (combinaties van embeddings en quotiënten). Hierdoor kunnen verklaringen gecomposeerd worden, wat leidt tot een bicategorie van modellen en verklaringen.
• Borelificatie: Ze construeren een endofunctor $\text{Bor}: \text{Prob} \to \text{Prob}$. Voor een lokaal eindig model $A$ construeren ze een klassiek Borel-model $\text{Bor}(A)$ gebaseerd op de verzameling van dispersievrije (dispersion-free) waarschijnlijkheidsgewichten van de "semiclassische dekking" van $A$.

3. Belangrijkste Bijdragen

1. Unificatie van Representaties: Het artikel biedt een raamwerk dat de bestaande resultaten van Beltrametti-Bugajski en ontologische modellen generaliseert en verenigt binnen één categorische structuur.
2. Canonieke Klassieke Verklaring: De auteurs bewijzen dat elk lokaal eindig probabilistisch model een canonieke, scherpe (sharp) klassieke verklaring heeft. Dit wordt bereikt door het model te embedden in een Borel-model gebaseerd op de extreme punten (dispersievrije toestanden) van de toestandsruimte.
3. Functorialiteit: De constructie is functorieel. Elke probabilistische theorie (een functor $M: \mathcal{C} \to \text{Prob}$) heeft een canonieke klassieke representatie via de samenstelling $\text{Bor} \circ M$.
4. Distinction tussen Gewichten en Toestanden: Een cruciale technische nuance wordt gemaakt tussen "separabel als waarschijnlijkheidsgewicht" (separable as probability weights) en "separabel als toestand" (separable as states). Dit onderscheid is essentieel voor het begrijpen van verstrengeling in dit kader.

4. Resultaten

• Bestaan van Verklaringen: Elke lokaal eindige probabilistische theorie kan worden "geklaard" (classicalized) naar een Borel-model. Dit betekent dat er altijd een klassiek onderliggend model bestaat dat de waarnemingen verklaart, mits men bereid is contextualiteit en lokaliteit op te geven.
• Verstrengeling en Lokaliteit:
  • Als een samengesteld systeem $AB$ een klassieke verklaring toelaat, dan zijn alle toestanden van $AB$ separabel als gezamenlijke waarschijnlijkheidsgewichten.
  • Echter, deze toestanden zijn niet noodzakelijk separabel als gezamenlijke toestanden van de componenten $A$ en $B$.
  • Conclusie over Verstrengeling: Verstrengelde waarschijnlijkheidsgewichten (zoals de PR-box of kwantumverstrengeling) hebben geen klassieke verklaring, zelfs niet in de zeer genereuze zin die hier wordt gebruikt.
• Bell's Theorem: In dit kader wordt Bell's Theorem geformuleerd als de onmogelijkheid om een lokaal klassieke embedding te vinden voor systemen die verstrengelde toestanden toelaten. De "signaling" (signalering) eigenschap van dispersievrije gewichten in de klassieke verklaring verklaart waarom lokale realistische modellen falen voor niet-lokale kwantumtoestanden.

5. Betekenis en Conclusie

Het artikel levert een wiskundig robuust antwoord op de vraag in hoeverre kwantummechanica (en andere niet-klassieke theorieën) "klassiek verklaard" kunnen worden.

• Generiekheid: De resultaten gelden zonder aannames over lokale tomografie of eindige dimensie, wat de generaliteit van de theorie benadrukt.
• Filosofische Implicaties: De auteurs bespreken drie mogelijke interpretaties van hun resultaten:
  1. De wereld is niet-klassiek omdat niet-commuterende observabelen niet gezamenlijk testbaar zijn; verstrengeling is een vorm van non-lokaliteit.
  2. De wereld is klassiek (er is een onderliggende ontologie), maar non-lokaal (de dispersievrije gewichten zijn "signaling" en fysiek niet toegestaan, wat een vorm van fine-tuning vereist).
  3. Lokaliteit is een essentieel onderdeel van wat we onder "klassiek" verstaan; de wereld is dus per definitie niet-klassiek omdat hij non-lokaal is.

De kernboodschap is dat er een fundamenteel conflict bestaat tussen een specifieke definitie van lokaliteit en een specifieke definitie van klassikaliteit. Het bestaan van verstrengeling betekent dat men niet beide kan behouden in een enkel model, ongeacht hoe breed men de definitie van "klassieke verklaring" kiest.