📈 economics

Uncountably many conditionally inaccessible decisions exist in every finite probability space

Dit artikel bewijst dat in elke eindige kansruimte onaftelbaar veel paren van objectieve kansmaten en nutfuncties bestaan die beslissingen conditioneel ontoegankelijk maken, wat aantoont dat de subjectieve kans van een agent hen systematisch kan beletten objectief optimale beslissingen te nemen.

Oorspronkelijke auteurs: Zalán Gyenis, Miklós Rédei, Leszek Wroński

Gepubliceerd 2026-05-05

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Zalán Gyenis, Miklós Rédei, Leszek Wroński

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

Het Grote Plaatje: Het "Blind Vlekje" van Rationaliteit

Stel je voor dat je de kapitein bent die een schip bestuurt (de Agent). Je hebt een kaart in je hoofd die weergeeft wat je denkt dat waar is over de zeestromingen en het weer (je Subjectieve Kans, of $p$ ). Je hebt ook een "Gods-oogperspectief" van de oceaan dat de daadwerkelijke, fysieke wetten van het water vertegenwoordigt (de Objectieve Kans, of $p^*$ ).

In een perfecte wereld zou je, als je naar het echte weer kijkt, je kaart bijwerkt en vervolgens een beslissing neemt, altijd de best mogelijke keuze maken. Dit artikel betoogt dat dit niet altijd waar is.

De auteurs bewijzen dat er talloze situaties zijn waarin, ongeacht hoeveel gedeeltelijke informatie je verzamelt over de realiteit, je bijgewerkte kaart je nooit zal leiden tot de objectief beste beslissing. Sterker nog, je rationele updates kunnen je actief van de waarheid afsturen.

De Kernconcepten

1. De Beslissingscontext (Het Menu)

Stel je voor dat je kiest tussen twee acties, zoals het nemen van Route A of Route B.

De Objectieve Waarheid ( $p^*$ ): De daadwerkelijke verkeersdata. Op basis hiervan is Route A duidelijk sneller.
Je Geloof ( $p$ ): Je huidige gok over het verkeer.
De Beslissing: Je kiest de route die op basis van je geloof het snelst lijkt.

2. De Update-strategie (Jeffrey-conditionering)

Je kent het volledige verkeersrapport niet. In plaats daarvan krijg je "gedeeltelijk bewijs".

Voorbeeld: Je hoort een gerucht dat "er een ongeluk is aan de noordkant", maar je weet de exacte locatie niet.
Het Proces: Je neemt je huidige geloof ( $p$ ) en werkt het bij op basis van dit gedeeltelijke gerucht. Dit creëert een nieuw, "geüpgrade" geloof ( $q$ ).
Het Doel: Je wilt dat dit geüpgrade geloof je vertelt om Route A te nemen (de objectief goede keuze).

3. Het Probleem: "Conditioneel ontoegankelijke" Beslissingen

Het artikel definieert een beslissing als "conditioneel ontoegankelijk" als, ongeacht welk gedeeltelijk bewijs je krijgt, je geüpgrade geloof je nooit vertelt om de objectief beste route te nemen.

Het is alsof je een kompas hebt dat magnetisch vervormd is. In welke richting je ook kijkt (welk gedeeltelijk bewijs je ook verzamelt), de naald wijst nooit naar het Noorden. Hij kan naar het Oosten, Westen of Zuiden wijzen, maar nooit naar het Noorden.

De Hoofdontdekking: Het Is Overal, Niet Zeldzaam

In een eerder artikel vonden de auteurs een paar voorbeelden waar deze "kapotte kompas" gebeurde. Ze vermoedden dat het vaak zou gebeuren in complexe situaties.

Dit artikel bewijst dat ze te voorzichtig waren. Ze tonen aan dat:

Het in bijna elke situatie voorkomt: Als je een beslissing hebt met ten minste 3 opties (zoals 3 routes), bestaat dit probleem.
Het oneindig is: Voor elke manier waarop je momenteel denkt ( $p$ ), zijn er een onafbrekbaar oneindig aantal realiteitsscenario's ( $p^*$ ) waarin je rationele updates zullen falen om de beste beslissing te vinden.
Het robuust is: Het is geen toeval. Er zijn oneindig veel paren keuzes (Route A versus Route B) waarbij dit falen optreedt.

De Metafoor:
Stel je voor dat je probeert een specifieke sleutel te vinden in een grote, donkere kamer. Je hebt een zaklamp (je gedeeltelijk bewijs). Het artikel bewijst dat voor bijna elke mogelijke locatie van de sleutel, er een manier is waarop je zaklamp kapot is, zodat je, ongeacht hoe je de straal zwaait, de sleutel nooit in het licht zult zien. Je denkt misschien dat je rationeel bent door de vloer te scannen, maar de fysica van je zaklamp garandeert dat je het doel zult missen.

De "Blind Vlek" Uitleg

De auteurs gebruiken een wiskundig concept dat de "Bayes Blind Vlek" wordt genoemd.

Denk aan je huidige geloof ( $p$ ) als een bril.
De "Blind Vlek" is de verzameling van alle mogelijke realiteiten ( $p^*$ ) die je niet kunt bereiken door alleen door die bril te kijken en ze aan te passen op basis van gedeeltelijke aanwijzingen.
Het artikel bewijst dat deze "Blind Vlek" enorm is. Hij beslaat bijna het hele universum van mogelijkheden.
Als de "realiteit" in deze blindvlek valt, zullen je rationele updates altijd falen om overeen te komen met de realiteit.

De Graad van Falen

Het artikel introduceert ook een manier om te meten hoe kapot het kompas is.

Graad 0: Je updates werken altijd perfect.
Maximale Graad: Je updates werken nooit, ongeacht welk bewijs je krijgt.
De Bevinding: De auteurs bewijzen dat je situaties kunt vinden waarin het falen optreedt voor elk specifiek aantal bewijstypen dat je zou kunnen tegenkomen. Je kunt een scenario ontwerpen waarin je kompas precies 5 keer faalt op 10 mogelijke aanwijzingen, of 99 keer op 100.

Het "Verrassende" Resultaat: Leren Maakt Het Erger?

Men zou denken: "Als ik begin met een slechte gok, maar ik leer de waarheid, word ik dan niet beter?"
Het artikel bewijst een specifiek, tegenintuïtief feit:
Als je rationele updates (met gebruik van gedeeltelijk bewijs) je leiden tot een verkeerde beslissing, impliceert dit dat je oorspronkelijke gok (voorafgaand aan welke updates dan ook) ook verkeerd was.

Vertaling: Je kunt niet beginnen met een "goede" gok, een gedeeltelijke waarheid leren, en eindigen met een "slechte" beslissing. Als de update je op het verkeerde been zet, was je al op het verkeerde been.
Echter: Het hoofdpunt van het artikel is dat er zo veel "slechte" startpunten (subjectieve overtuigingen) zijn die corresponderen met "goede" realiteiten, dat het statistisch overweldigend is om jezelf in een situatie te bevinden waarin je rationele updates falen om de waarheid te vinden.

Samenvatting in Eén Zin

Het artikel bewijst dat voor elke rationele persoon met een specifieke set overtuigingen, er een enorme, oneindige oceaan van realiteitsscenario's bestaat waarin, ongeacht hoeveel gedeeltelijke informatie ze verzamelen en verwerken, hun rationele updates systematisch voorkomen dat ze de objectief beste keuze maken.

Technische Samenvatting: Overaftelbaar Veel Conditioneel Onbereikbare Beslissingen in Eindige Kansenruimten

Probleemstelling
Dit artikel behandelt een probleem in de beslissingstheorie betreffende de relatie tussen de subjectieve kans (geloof) van een Agent en de objectieve kans. Specifiek onderzoekt het het fenomeen van "conditioneel $p$ -onbereikbare beslissingen". Een beslissing om actie $f_1$ boven $f_2$ te kiezen, wordt objectief goed geacht als de verwachte nut van $f_1$ die van $f_2$ overtreft onder een objectieve kansmaat $p^*$ . Een Agent neemt echter beslissingen op basis van een subjectieve kans $p$ . Als de Agent hun prior $p$ bijwerkt via Jeffrey-conditionering op gedeeltelijk bewijs met betrekking tot $p^*$ , kan de resulterende posterieure kans $q_\Pi$ de Agent leiden tot een andere keuze (of tot onverschilligheid) dan die welke door $p^*$ wordt voorgeschreven.

De centrale vraag is of er beslissingscontexten bestaan waarin, ongeacht het gedeeltelijke bewijs (vertegenwoordigd door een behoorlijke niet-triviale partitie $\Pi$ ) dat de Agent verkrijgt over $p^*$ , de bijgewekte rationele beslissing van de Agent nooit overeenkomt met de objectief goede beslissing. Vorig werk [16] stelde het bestaan van dergelijke beslissingen vast in specifieke eindige kansenruimten en veronderstelde hun bestaan in ruimten met $n \ge 3$ elementaire gebeurtenissen.

Methodologie
De auteurs hanteren een strikt wiskundig kader binnen eindige kansenruimten $(X, S)$ , waarbij $X = \{1, \dots, n\}$ met $n \ge 3$ . De methodologie steunt op:

Jeffrey-conditionering: Het gebruik van de definitie van de Jeffrey-posterieur $q_\Pi$ afgeleid van een prior $p$ en een partitie $\Pi$ , gegeven objectieve kansen $p^*$ .
Radon-Nikodym-derivaten: Het analyseren van de functie $r(i) = p^*(i)/p(i)$ om de relatie tussen de objectieve en subjectieve maten te karakteriseren.
Kullback-Leibler-divergentie: Het toepassen van informatie-theoretische ongelijkheden om strikte grenzen te stellen aan de verwachte waarden van nutfuncties onder verschillende kansmaten.
Constructieve Bewijzen: Het expliciet construeren van nutfuncties (stochastische variabelen) die voldoen aan de voorwaarden voor conditionele onbereikbaarheid, door gebruik te maken van de eigenschappen van de "Bayes $p$ -Blind Vlek" (de verzameling maten die niet verkregen kunnen worden door $p$ te conditioneren).
Combinatorische Analyse: Het onderzoeken van de kardinaliteit van partities en de veelvoudigheid van posterieuren om de "graad" van onbereikbaarheid te bepalen.

Belangrijkste Bijdragen en Resultaten

Bewijs van Bestaan in Alle Eindige Ruimten (Stelling 3.2):
Het artikel bewijst een stelling die sterker is dan de veronderstelling in [16]. Het stelt vast dat voor elke kansmaat $p$ en elke objectieve maat $p^*$ in een eindige ruimte met $n \ge 3$ elementen, als $p^*$ ligt in de Bayes $p$ -Blind Vlek (d.w.z. $p^*$ kan niet worden verkregen door $p$ te conditioneren op een behoorlijke niet-triviale partitie), er overaftelbaar veel paren nutfuncties bestaan die conditioneel $p$ -onbereikbare beslissingen vertegenwoordigen.
- Mechanisme: Het bewijs toont aan dat als de Radon-Nikodym-afgeleide $r$ injectief is, men een functie $g$ kan construeren gebaseerd op $\log r$ zodanig dat $E_{p^*}[g] > E_{q_\Pi}[g]$ voor alle partities $\Pi$ . Door deze functie te verschuiven, wordt een beslissing $d$ gecreëerd waarbij $E_{p^*}[d] > 0$ maar $E_{q_\Pi}[d] \le 0$ voor alle $\Pi$ .
Kardinaliteit van Onbereikbare Beslissingen:
De auteurs tonen aan dat de verzameling van dergelijke "slechte" beslissingssituaties niet slechts niet-leeg is, maar "enorm". Specifiek is er voor elke vaste $p$ een continuüm (onaftelbaar) aantal objectieve maten $p^*$ in de Bayes $p$ -Blind Vlek. Voor elke dergelijke $p^*$ is er een continuüm van paren nutfuncties dat conditioneel onbereikbare beslissingen oplevert.
Stelling over Geïnformeerde Rationaliteit (Stelling 2.4):
Het artikel bewijst dat als een beslissing conditioneel $p$ -onbereikbaar is (wat betekent dat de bijgewekte beslissing nooit objectief goed is), de initiële beslissing van de Agent gebaseerd op de niet-geconditioneerde prior $p$ ook objectief verkeerd moet zijn ( $E_p[d] < 0$ ). Dit sluit het tegenintuïtieve scenario uit waarbij het leren van objectieve waarheid via conditionering leidt tot een verkeerde beslissing, terwijl de oningewijde beslissing juist was.
Karakterisering van Graden van Onbereikbaarheid (Stelling 4.4):
Het artikel lost Veronderstelling 7.2 uit [16] op met betrekking tot de "graad" van conditionele onbereikbaarheid. Het definieert de graad als het aantal partities $\Pi$ waarvoor de bijgewekte beslissing faalt om objectief goed te zijn. De auteurs bewijzen dat voor een vaste beslissingscontext de verzameling bereikbare graden afhangt van de veelvoudigheid van de posterieuren gegenereerd door verschillende partities. Als de afbeelding van partities naar posterieuren injectief is, dan is elk geheel getal van de graad van 0 tot het totale aantal behoorlijke niet-triviale partities ($Bell(n)-2$) bereikbaar.

Betekenis
Het artikel stelt dat conditioneel $p$ -onbereikbare beslissingen geen zeldzame anomalieën zijn, maar een robuust en substantieel kenmerk van de beslissingstheorie in eindige ruimten.

Interpretatie: Als $p^*$ de objectieve realiteit vertegenwoordigt en $p$ de subjectieve overtuiging van een Agent, impliceren de resultaten dat er een "enorm aantal" beslissingssituaties bestaat waarin de subjectieve kansstructuur van de Agent hen fundamenteel verhindert om tot een objectief goede beslissing te komen, zelfs wanneer ze hun overtuigingen bijwerken met ware maar gedeeltelijke informatie over de objectieve kansen.
Implicatie voor Rationaliteit: Het bestaan van de Bayes $p$ -Blind Vlek suggereert dat voor een brede klasse van objectieve kansen geen hoeveelheid gedeeltelijk bewijs (conditionering) de kloof kan overbruggen tussen de subjectieve rationaliteit van de Agent en objectieve optimaliteit. Het artikel concludeert dat de subjectieve kans van de Agent systematisch de realisatie van objectief goede beslissingen kan blokkeren, ongeacht het specifieke gedeeltelijke bewijs dat wordt verkregen.