Reply to the Comment on "The Axiom of Choice and the No-Signalling Principle"

In de stille hoekjes van de natuurkunde waar de regels van oorzaak en gevolg worden getest, stellen wetenschappers vaak een eenvoudige vraag: kan informatie sneller reizen dan het licht? Het antwoord is, volgens het fundamentele principe dat bekend staat als no-signalling, een resoluut nee. Deze regel zorgt ervoor dat als iemand hier een keuze maakt, dit niet onmiddellijk de realiteit van een verre waarnemer kan veranderen, waardoor de logische orde van het universum behouden blijft. Om de grenzen van deze regel te verkennen, stellen onderzoekers soms spelscenario's voor waarin twee spelers hun antwoorden moeten coördineren zonder met elkaar te communiceren. In deze scenario's kunnen zij strategieën gebruiken die ofwel vast en voorspelbaar zijn, ofwel die een worp met de dobbelstenen inhouden. Decennialang hebben de wiskundige instrumenten die gebruikt worden om deze spellen te beschrijven, vaste strategieën en willekeurige strategieën als verschillende categorieën behandeld, met de aanname dat een vast plan slechts een speciaal, eenvoudig geval is van een willekeurig plan.

Een recente uitwisseling tussen natuurkundigen heeft een subtiel maar cruciaal onderscheid naar de voorgrond gebracht in deze discussie. Het debat centreert zich rond een specifiek wiskundig hulpmiddel genaamd het Keuzeaxioma, een krachtig concept dat wiskundigen in staat stelt om complexe, deterministische functies te construeren, zelfs wanneer er geen duidelijk patroon aanwezig is. In een eerdere studie gebruikten onderzoekers dit axioma om een strategie te bous die een vaste, deterministische strategie leek te zijn. Echter, een groep critici voerde aan dat dit plan in feite een probabilistische strategie in vermomming was, wat suggereerde dat de oorspronkelijke studie een valse grens had getrokken tussen de twee soorten plannen. De auteurs van de oorspronkelijke studie hebben nu gereageerd en verduidelijkt dat de critici een essentieel operationeel detail over het hoofd hebben gezien. Zij betogen dat hoewel de critici wiskundig gezien correct zijn in een nauwe, punt-voor-punt zin, zij niet vatten hoe de strategie werkt in een echt, fysiek experiment waarbij inputs willekeurig worden gekozen.

De kern van de onenigheid ligt in de vraag hoe men een "strategie" definieert wanneer het spel begint. Vanuit het perspectief van de critici produceert het Keuzeaxioma voor een enkele, specifieke input die aan een speler wordt gegeven, één enkele, definitieve output. Omdat een enkele uitkomst beschreven kan worden als een waarschijnlijkheid van honderd procent, concluderen zij dat de strategie probabilistisch is. De auteurs van de reactie zijn het erover eens dat deze logica standhoudt als men het spel op een enkel moment bevriest. Zij benadrukken echter dat een echte strategie het volledige verloop van het spel moet beschrijven, van het moment dat de scheidsrechter een willekeurige input kiest tot het moment dat de speler een antwoord geeft. In de echte wereld kiest de scheidsrechter niet één enkel, vast getal; hij kiest uit een continu bereik van mogelijkheden, zoals het kiezen van een getal ergens tussen nul en één.

Voor een strategie om geldig te zijn in deze volledige, vloeiende context, moet de manier waarop zij inputs met outputs verbindt meetbaar zijn. Dit betekent dat de afhankelijkheid van de outputverdeling van de input aan specifieke wiskundige criteria moet voldoen (Borel-meetbaarheid) die toelaten dat het proces geïntegreerd kan worden over de willekeurige keuzes van de scheidsrechter. De auteurs leggen uit dat de strategie die met het Keuzeaxioma is opgebouwd, deze regel overtreedt. Hoewel het een definitief antwoord geeft voor elk getal dat de scheidsrechter zou kunnen kiezen, is de verzameling van al deze antwoorden niet meetbaar, wat voorkomt dat het samengesteld kan worden met de willekeurige selectie van inputs om een coherent resultaat te produceren. Het is als het proberen te berekenen van de gemiddelde lengte van een menigte waar de lengte van elke persoon weliswaar gedefinieerd is, maar de manier waarop zij zijn gerangschikt het onmogelijk maakt om de groep als geheel te meten. Omdat de strategie niet gecombineerd kan worden met de willekeurige selectie van inputs om een coherent resultaat te produceren, faalt het voor de test van een echt probabilistisch proces.

De auteurs concluderen dat het onderscheid dat zij in hun oorspronkelijke werk maakten geldig blijft, maar dat dit een preciezere definitie vereist van wat een probabilistische strategie daadwerkelijk is. Zij verduidelijken dat een probabilistische strategie niet slechts een lijst van waarschijnlijkheden voor elke mogelijke input is; het is een volledig, meetbaar proces dat werkt wanneer inputs willekeurig worden getrokken. De Keuzeaxioma-strategie is, hoewel wiskundig consistent in een statische zin, geen geldige probabilistische strategie in deze operationele zin omdat het de noodzakelijke meetbaarheid mist om in een echt experiment te functioneren. Deze verduidelijking verandert de natuurwetten niet, maar verscherpt de wiskundige taal die wordt gebruikt om hen te beschrijven, door te garanderen dat het verschil tussen een vaste regel en een willekeurig proces wordt gedefinieerd door hoe zij zich in de echte wereld gedragen, en niet alleen door hoe zij op papier verschijnen.