Generalising Aumann's Agreement Theorem

Stel je een groep mensen voor, die allemaal met dezelfde initiële kennis van de wereld beginnen, die vervolgens samenkomen om te delen wat ze hebben geleerd. Ze spreken eerlijk, luisteren zorgvuldig en weten dat iedereen hetzelfde doet. In dit scenario suggereert een beroemd idee uit het vakgebied van de besluitvormingstheorie dat deze mensen niet tot verschillende conclusies kunnen komen over dezelfde gebeurtenis. Als zij werkelijk weten wat de ander weet, en ze begonnen allemaal met dezelfde basislijn, dan moeten hun uiteindelijke overtuigingen overeenstemmen. Dit concept, bekend als de onmogelijkheid om "het oneens te zijn terwijl men het eens is" (agreeing to disagree), is lang een hoeksteen geweest van hoe we denken over rationaliteit en gedeelde kennis. Het impliceert dat als twee rationele mensen van mening verschillen, op zijn minst één van hen informatie mist of irrationeel handelt, omdat de handeling van het weten wat de ander weet, hun opvattingen dwingt tot convergentie.

Decennialang werd dit idee alleen getest in het domein van de klassieke waarschijnlijkheid, de wiskunde van alledaagse kansen zoals het gooien van dobbelstenen of het opgooien van munten. Echter, naarmate ons begrip van het universum verdiepte, hebben wetenschappers zich tot de kwantumtheorie gekeerd, een raamwerk dat het gedrag van atomen en licht beschrijft, wat vaak onze alledaagse intuïtie tart. Deze nieuwe theorie staat vreemde verbindingen tussen deeltjes en waarschijnlijkheden toe die anders werken dan de klassieke soort. Deze verschuiving riep een prikkelende vraag op: houdt de regel dat rationele actoren niet van mening kunnen verschillen nog steeds stand in deze kwantumwereld? Sommige onderzoekers hadden gesuggereerd dat de unieke kenmerken van de kwantummechanica actoren in staat zouden kunnen stellen om verschillende overtuigingen te behouden, zelfs wanneer zij alle kennis delen, wat potentieel een fundamentele kloof tussen klassieke en kwantum-redeneringen zou creëren.

In een recente studie hebben de onderzoekers Matthew Leifer en Cristhiano Duarte geprobeerd dit debat te beslechten door de oorspronkelijke logica van het overeenstemmingstheorema uit te breiden naar de kwantumwereld en daarbuiten. Ze vroegen niet simpelweg of de regel werkt voor de kwantummechanica; ze vroegen zich af of het werkt voor elk denkbaar systeem van waarschijnlijkheid, hoe vreemd of abstract ook. Om dit te doen, bouwden ze een brug tussen de rigide, op verzamelingen gebaseerde logica van menselijke kennis en de fluïde wiskunde die wordt gebruikt om kwantumsystemen te beschrijven. Ze behandelden de kennis van de actoren als een vaste kaart van mogelijkheden, vergelijkbaar met een standaard stadskaart, maar lieten de actoren waarschijnlijkheden aan gebeurtenissen toekennen met behulp van de complexere instrumenten van de kwantumtheorie.

De onderzoekers ontdekten dat de regel standhoudt. Zelfs wanneer actoren de geavanceerde wiskunde van de kwantummechanica gebruiken om hun onzekerheden te beschrijven, kunnen zij nog steeds niet het oneens zijn als zij over gemeenschappelijke kennis beschikken. De studie bewijst dat zolang de actoren hun overtuigingen op een specifieke, consistente manier bijwerken wanneer zij nieuwe informatie leren, hun uiteindelijke waarschijnlijkheidstoekenningen moeten overeenstemmen. Dit resultaat is niet beperkt tot de kwantumtheorie alleen; de auteurs toonden aan dat dezelfde onmogelijkheid geldt voor elke gegeneraliseerde waarschijnlijkheidstheorie, een brede categorie die zowel klassieke als kwantumsystemen als speciale gevallen bevat. De bevinding suggereert dat het onvermogen om het oneens te zijn niet een eigenaardigheid is van onze specifieke fysieke wereld, maar een fundamentele consequentie van hoe we kennis definiëren en hoe we onze overtuigingen bijwerken wanneer er nieuwe informatie arriveert.

Deze conclusie daagt het idee uit dat de kwantummechanica een achterdekje biedt voor rationele onenigheid. Hoewel sommige eerdere werken hadden gesuggereerd dat kwantum-actoren in staat zouden kunnen zijn om verschillende opvattingen te behouden, toonden Leifer en Duarte aan dat die resultaten rustten op verschillende definities van hoe actoren hun kennis bijwerken of wat het betekent om iets te "weten". Wanneer de onderzoekers de definitie van kennis consistent hielden met het oorspronkelijke theorema en dit op kwantumsystemen toepasten, was overeenstemming onvermijdelijk. De studie betoogt dat het theorema minder gaat over de fysieke aard van het universum en meer over de wiskundige structuur van de waarschijnlijkheid zelf. Het onthult dat de beperking voortkomt uit de manier waarop we onze overtuigingen conditioneren op nieuwe gegevens, een proces dat rigide blijft, zelfs wanneer de onderliggende waarschijnlijkheden kwantum-achtig worden.

De onderzoekers verkenden ook de grenzen van hun bevindingen en merkten op dat het resultaat sterk afhangt van hoe actoren informatie verwerven. In hun model communiceren de actoren niet in realtime; in plaats daarvan bezitten zij simpelweg een gedeelde staat van kennis. Als het proces van het leren van nieuwe informatie het actief verstoren van het gemeten systeem inhoudt, zoals vaak gebeurt in kwantumeperimenten, veranderen de regels. In dergelijke gevallen kan de handeling van het leren de basis van de kennis die anderen bezitten vernietigen, wat potentieel onenigheid mogelijk maakt. Echter, in scenario's waarin leren een zuivere verwerving van informatie is zonder fysieke verstoring, blijft het overeenstemmingstheorema onbreekbaar. Dit onderscheid benadrukt dat het theorema een uitspraak is over de structuur van kennis en waarschijnlijkheid, in plaats van een wet die verschillende fysieke theorieën van elkaar scheidt.

Uiteindelijk suggereert het werk dat het ontstaan van een gedeelde, objectieve realiteit geworteld kan zijn in dit specifieke mechanisme van gemeenschappelijke kennis. Als rationele actoren altijd gedwongen kunnen worden tot overeenstemming wanneer zij delen wat zij weten, dan kan de collectieve realiteit die wij ervaren het resultaat zijn van deze convergentie. De studie beweert niet de mysteries van de kwantummechanica op te lossen of te verklaren waarom het universum is zoals het is. In plaats daarvan biedt het een helder, wiskundig bewijs dat de regels van rationele overeenstemming veel robuuster zijn dan voorheen gedacht, waarbij ze de overgang van de vertrouwde wereld van klassieke kansberekening naar het vreemde en contra-intuïtieve landschap van de kwantumfysica overleven. Het resultaat is een herinnering dat zelfs in een universum van onzekerheid, de logica van gedeeld begrip een krachtige, verenigende kracht blijft.