Reconstruction of finite Quasi-Probability and Probability from Principles: The Role of Syntactic Locality

De Bouwstenen van de Realiteit: Hoe Waarschijnlijkheid en "Quasi-Waarschijnlijkheid" uit Logica Vloeien

Stel je voor dat je in een enorm, onzichtbaar web van uitspraken zit. Alles wat je kunt denken, zeggen of geloven, is een stukje in dit web. In de klassieke wereld denken we dat uitspraken simpelweg "waar" of "onwaar" zijn, zoals een lichtknop die aan of uit staat. Maar in de quantumwereld (en soms in ons dagelijks leven) is het veel ingewikkelder: dingen kunnen in een soort "grijze zone" zitten, of zelfs negatieve kansen hebben.

Deze paper, geschreven door Jacopo Surace, probeert een nieuw fundament te leggen voor hoe we deze kansen begrijpen. Hij bouwt een brug tussen pure logica en wiskundige waarschijnlijkheid. Hier is de uitleg in simpele taal, met wat creatieve metaforen.

1. Het Grote Web: "Syntactische Localiteit"

Stel je voor dat je in een klein dorpje woont (een Universe). In dit dorpje ken je alleen de straten en huizen die jij kunt zien. Maar je weet dat er een heel groot continent bestaat waar jouw dorpje slechts een klein stukje van is.

De auteur noemt dit Syntactische Localiteit. Het idee is simpel:

• Je kunt nooit alles tegelijk zien. Je kijkt altijd door een raam (je eigen "universum").
• Maar je raam is altijd een klein stukje van een groter raam (een groter universum).
• Als je van je dorpje naar een groter dorpje verhuist, moeten de regels voor hoe je dingen bekijkt consistent blijven. Je kunt niet opeens zeggen dat een huis dat gisteren blauw was, vandaag rood is, alleen omdat je verder kijkt.

2. De "Universele Waardering": Een Mysterieuze Score

In de klassieke fysica zeggen we: "Dit is waar (1) of onwaar (0)."
Surace zegt: "Nee, laten we eerst een Universele Waardering (V) bedenken. Dit is een score die we aan elke uitspraak geven. Deze score hoeft geen 0 of 1 te zijn; het kan een complex getal zijn (zoals in de quantummechanica, met reële en imaginaire delen)."

Het is alsof je aan elke zin in een boek een mysterieuze "energie-score" geeft. De vraag is: Hoe moeten deze scores zich gedragen?

3. De Vijf Regels van het Spel

Om te voorkomen dat we in de war raken, stelt de auteur vijf regels op. Denk hierbij aan de regels van een bordspel:

1. Vertrouwen op de oude regels: Als we terugkeren naar de klassieke wereld (waar dingen gewoon waar of onwaar zijn), moet onze nieuwe score precies overeenkomen met de oude "aan/uit" logica.
2. Lokale afleiding: Als je de scores van alle andere zinnen in je dorpje kent, moet je de score van één ontbrekende zin kunnen berekenen. Je mag niet op een magische manier een nieuwe score uit de lucht plukken; hij moet logisch volgen uit de rest.
3. Universele regels: De manier waarop je berekent hangt niet af van de namen van de straten, maar alleen van de structuur. Of je nu "Straat A" of "Straat B" noemt, de logica blijft hetzelfde.
4. Maximale vrijheid: We willen niet te veel regels bedenken. Als een set van scores niet tegen de andere regels indruist, laten we die toe. We willen geen verborgen beperkingen.
5. Symmetrie maakt vrijheid weg: Als je alle straten in je dorpje als identiek behandelt (ze zijn allemaal even belangrijk), dan moet de score voor een combinatie van straten ook identiek zijn. Er mag geen "verborgen" verschil zijn dat de score beïnvloedt.

4. Het Grote Geheim: Alles is Optellen!

Als je deze vijf regels combineert, gebeurt er iets verrassends. De auteur bewijst dat deze mysterieuze scores eigenlijk optelbaar zijn.

• De Metafoor: Stel je voor dat je een grote pot met munten hebt. Als je twee verschillende munten (uitspraken) samenvoegt, is de totale waarde gewoon de som van de twee individuele munten.
• Dit noemen we Pre-waarschijnlijkheden. Het zijn de "ruwe" scores die aan de optelregels voldoen, maar die nog niet per se tussen 0 en 1 zitten. Ze kunnen negatief zijn of zelfs complexe getallen zijn.

5. Van "Pre" naar "Quasi" en "Echte" Waarschijnlijkheid

Hier wordt het interessant. De auteur laat zien dat er een soort "kalibratie" nodig is om van deze ruwe scores naar iets dat we herkennen te komen.

• Quasi-waarschijnlijkheid: Dit is de "ruwe" score die we hebben gekalibreerd zodat de totale som van alle mogelijke uitkomsten 1 is. Maar ze kunnen nog steeds negatief zijn of vreemde getallen zijn. Dit is wat we vaak zien in quantummechanica (zoals de Wigner-functie). Het is een krachtig rekenhulpmiddel, maar het voelt soms onnatuurlijk.
• Echte Waarschijnlijkheid: Wanneer is een Quasi-waarschijnlijkheid een "echte" waarschijnlijkheid? Als hij stabiel is.
  • De Metafoor: Stel je voor dat je een foto van een landschap maakt (je universum). Als je inzoomt op een klein stukje (een sub-universum), moet de foto er nog steeds logisch uitzien. Als je inzoomt en de kleuren veranderen op een onmogelijke manier (bijvoorbeeld negatief licht), dan was het geen echte foto.
  • Echte waarschijnlijkheid is die set van regels die altijd logisch blijft, of je nu inzoomt of uitzoomt. Als je een gebeurtenis onmogelijk maakt (kans 0), dan moeten alle onderdelen daarvan ook onmogelijk zijn.

6. De Bayes-regel (Het Omkeren van de Redenering)

In de klassieke wereld gebruiken we de regel van Bayes om onze mening te updaten als we nieuwe informatie krijgen. Maar bij Quasi-waarschijnlijkheden faalt deze regel vaak (bijvoorbeeld als je door 0 moet delen).

De auteur lost dit op door te zeggen: "Wacht even, we moeten eerst synchroniseren."

• De Metafoor: Twee mensen kijken naar hetzelfde landschap, maar vanuit verschillende ramen. Ze gebruiken verschillende schalen om de afstanden te meten. Om te communiceren, moeten ze eerst hun schalen op elkaar afstemmen (synchroniseren).
• Zodra ze dat hebben gedaan, werkt de Bayes-regel weer perfect, zelfs voor die rare negatieve kansen. Het is een algemene regel voor het "omkeren" van voorwaarde, die werkt in elke wereld, of die nu klassiek of quantum is.

7. Waarom Breuken (Rationale Getallen) en niet Irrationaal?

Een van de coolste ontdekkingen in de paper is dat we waarschijnlijk alleen breuken (zoals 1/2, 1/3) nodig hebben voor echte kansen, en geen irrationale getallen (zoals $\pi$ of $\sqrt{2}$).

• De Metafoor: Stel je voor dat je een taart verdeelt. Je kunt hem in 2, 3 of 4 stukken snijden. Maar als je zegt dat je hem in $\sqrt{2}$ stukken snijdt, is dat in de praktijk onmogelijk te doen met een eindig aantal stappen.
• De auteur stelt dat irrationale getallen eigenlijk "extra structuur" zijn die we toevoegen, maar dat de fundamentele logica van waarschijnlijkheid al volledig werkt met breuken. Irrationele getallen zijn misschien gewoon een gevolg van hoe we de wereld meten, niet hoe de wereld is.

Conclusie: Wat betekent dit voor ons?

Deze paper zegt: "We hoeven niet te denken dat waarschijnlijkheid een mysterieus eigenschap van de wereld is die we niet begrijpen."

In plaats daarvan is waarschijnlijkheid een logisch gevolg van hoe we informatie structureren.

1. We beginnen met een universele "score" voor alles.
2. Door de regels van logica en consistentie toe te passen, moeten die scores optelbaar zijn.
3. Als we die scores zo kalibreren dat ze stabiel blijven bij het zoomen in en uit, krijgen we de klassieke waarschijnlijkheid.
4. Als we die stabiliteit loslaten, krijgen we de "Quasi-waarschijnlijkheden" die we in de quantumwereld zien.

Het is alsof de auteur de blauwdruk heeft gevonden van het universum: Logica is de architect, en waarschijnlijkheid is het gebouw dat eruit volgt. Of het nu gaat om een muntworp of een quantumdeeltje, de regels zijn hetzelfde; alleen de "stabiliteit" van het gebouw verschilt.