There Ain't No Such Thing as a Free Equilibrium

Technische Samenvatting: TANSTAAFE (There Ain't No Such Thing as a Free Equilibrium)

Probleemstelling
Het artikel behandelt een fundamentele spanning in de speltheorie met betrekking tot het bestaan van evenwichten in oneindige spellen (spellen met oneindige actiesets). Terwijl eindige spellen altijd Nash-evenwichten bezitten in gemengde strategieën, doen oneindige spellen dat niet noodzakelijkerwijs. Een standaardoplossing hiervoor is het uitbreiden van de strategieruimte van telbaar additieve kansen naar eindig additieve kansen. Hoewel dit het bestaan van evenwichten herstelt, introduceert het een pathologische distinctie tussen "punt-nuliteit" en "verzameling-nuliteit" met betrekking tot strikt gedomineerde acties.

Specifiek kan een eindig additieve kansmaat een kans nul toekennen aan elke individuele actie in een oneindige verzameling van strikt gedomineerde acties (punt-nuliteit), terwijl deze tegelijkertijd een kans één toekent aan de verzameling van die acties als geheel (falen van verzameling-nuliteit). De centrale vraag is of een oplossingsconcept simultaan drie gewenste eigenschappen kan vervullen:

1. Universele Niet-leegheid: Het bestaan van een oplossing voor elk begrensd spel.
2. De Evenwichtseigenschap: Het voldoen aan coherentie-eisen voor nul-som-spellen (specifiek de voorwaarde dat de som van de evaluaties van unilaterale afwijkingen niet groter mag zijn dan nul).
3. Verzameling-nuliteit: De vereiste dat de gehele verzameling van strikt gedomineerde acties wordt genegeerd (een kans nul wordt toegewezen) door de oplossing.

Methodologie
De auteur hanteert een functioneel-analytische benadering, waarbij gebruik wordt gemaakt van de ruimte van begrensde reële functies $\ell^\infty(X)$ en evaluaties (lineaire functionalen) $\Lambda: \ell^\infty(X) \to \mathbb{R}$.

• Definities: Het artikel definieert een verzameling $B$ als $\Lambda$-nul als het wijzigen van de uitbetalingen op $B$ de evaluatie $\Lambda(B)$ niet verandert. Er wordt een onderscheid gemaakt tussen punt-nuliteit (elke individuele gedomineerde actie is nul) en verzameling-nuliteit (de gehele verzameling van gedomineerde acties is nul).
• Constructie van het Tegenvoorbeeld: Om de compatibiliteit van de drie eigenschappen te testen, construeert de auteur een specifiek begrensd twee-speler nul-som spel, $\Gamma^*$. In dit spel zijn de actiesets $C \cup \mathbb{N}$ (waarbij $C=\{H, T\}$ en $\mathbb{N}$ de verzameling natuurlijke getallen is). De uitbetalingsstructuur is zodanig ontworpen dat voor elke speler de natuurlijke getallen een strikt toenemende keten van dominantie vormen ($n+1$ domineert $n$ strikt), waardoor de gehele verzameling $\mathbb{N}$ strikt gedomineerd is.
• Eindige Approximatie: Om positieve resultaten te estabeleceren, maakt het artikel gebruik van het concept eindig benaderbare evenwichten. Dit houdt in dat men limieten neemt (in de zwak-* topologie) van gemengde Nash-evenwichten uit eindige restricties van het spel, waarbij de restricties een uitputtend net vormen (uiteindelijk bevattende elke eindige deelverzameling van acties).

Belangrijkste Resultaten

1. Onmogelijkheid van Verzameling-nuliteit (Theorema 3.3):
   Het artikel bewijst dat geen enkele oplossingscorrespondentie simultaan universeel niet-leeg kan zijn, de evenwichtseigenschap voor nul-som-spellen kan vervullen én aan verzameling-nuliteit kan voldoen.

• Mechanisme: In het geconstrueerde spel $\Gamma^*$, als een oplossing aan verzameling-nuliteit voldoet, moet de verzameling van gedomineerde acties $\mathbb{N}$ een kans nul krijgen toegewezen. Echter, de uitbetalingsstructuur dwingt de evaluatie van specifieke gedomineerde acties (zoals actie 1) om positief te zijn wanneer deze vergeleken wordt met de "veilige" acties in $C$. Dit leidt tot een contradictie met de nul-som evenichtseigenschap (Conditie Z), die vereist dat $\Lambda_2(u_1) + \Lambda_1(u_2) \leq 0$. Specifiek: als $\mathbb{N}$ nul is, gedragen de evaluaties zich alsof de spelers beperkt zijn tot $C$, maar de dominantiestructuur impliceert dat spelen in $\mathbb{N}$ hogere uitbetalingen oplevert tegen bepaalde zetten van de tegenstander, wat een inconsistentie creëert die de oplossingsverzameling leeg maakt.

2. Haalbaarheid van Punt-nuliteit (Theorema 4.7):
   Het artikel demonstreert dat een zwakkere vereiste, punt-nuliteit, compatibel is met universele existentie en de evenwichtseigenschap.

• Mechanisme: Door een oplossingscorrespondentie $S_{pt}$ te definiëren op basis van de marginalen van eindig benaderbare evenwichten (limieten van evenwichten van eindige restricties), laat de auteur zien dat elke strikt gedomineerde individuele actie een kans nul krijgt toegewezen. Dit komt doordat in elke voldoende grote eindige restrictie een strikt gedomineerde actie nooit een beste reactie is en dus een kans nul ontvangt in het eindige Nash-evenwicht. De zwak-* limiet behoudt deze eigenschap voor singletonen.

3. Scherpte van het Onderscheid (Corollary 4.8):
   Het artikel construeert een specifiek eindig benaderbaar evenwicht voor $\Gamma^*$ dat aan punt-nuliteit voldoet maar faalt voor verzameling-nuliteit. In dit evenwicht heeft elke individuele gedomineerde actie $n \in \mathbb{N}$ een kans nul, terwijl de verzameling $\mathbb{N}$ als geheel een kans één heeft. Dit bevestigt dat het onmogelijkheidsresultaat voor verzameling-nuliteit geen artefact is van een specifieke constructie, maar een fundamentele beperking van het kader.

Betekenis en Claims
Het artikel claimt een "scherpe afbakening" in plaats van een nieuwe evenwichtsconstructie. De primaire bijdrage is het vaststellen van de grenzen van wat mogelijk is in oneindige spellen:

• Negatief Resultaat: Het is onmogelijk om te eisen dat een universeel bestaand evenwichtsconcept de gehele verzameling van strikt gedomineerde acties negeert (verzameling-nuliteit) terwijl de coherentie in nul-som-spellen behouden blijft.
• Positief Resultaat: Het is mogelijk om te eisen dat een universeel bestaand evenwichtsconcept elke individuele gedomineerde actie afzonderlijk negeert (punt-nuliteit).

De auteur voert aan dat de pathologie van eindig additieve kansen — waarbij een verzameling een kans van één kan hebben terwijl alle elementen binnen die verzameling een kans van nul hebben — onvermijdelijk is bij het werken met oneindige verzamelingen van gedomineerde acties. Het artikel concludeert dat hoewel eindige approximatie individuele gedomineerde acties kan elimineren, geen universeel bestaande oplossing algemeen kan worden vereist om de gehele, mogelijk oneindige, verzameling van gedomineerde acties te negeren. Dit lost de spanning op door aan te tonen dat "gratis" evenwichtsexistentie (zonder pathologische bijwerkingen) gepaard gaat met de prijs dat de verzameling van gedomineerde acties collectief niet nul kan zijn, zelfs als elke individuele gedomineerde actie dat wel is.