Consistent Beliefs without Common Prior

Technische Samenvatting: Consistente Overtuigingen zonder Gemeenschappelijke Prior

Probleemstelling
De literatuur over de aanname van een gemeenschappelijke prior (common prior assumption, CPA) volgt over het algemeen twee stromingen. De eerste beschouwt de gemeenschappelijke prior als een kansverdeling die consistent is met de posteriors van alle spelers (Aumann, 1976; Samet, 1998). De tweede, meer restrictieve stroom, gaat ervan uit dat de gemeenschappelijke prior volledige ondersteuning heeft (full support), wat betekent dat elk type van elke speler een positieve waarschijnlijkheid krijgt toegewezen (Morris, 1991, 1994).

Morris (1991, 1994) stelde een epistemologisch–gedragsmatig dualisme vast voor eindige typenruimtes: een eindige typenruimte admitteert een gemeenschappelijke prior met volledige ondersteuning dan en slechts dan als deze geen acceptabele weddenschap bevat (een weddenschap waarbij alle spelers een niet-negatieve verwachte opbrengst verwachten, met ten minste één strikt positieve verwachting). Echter, het concept van "volledige ondersteuning" is problematisch in oneindige toestandsruimtes. Bovendien falen bestaande karakterisaties van gemeenschappelijke priors vaak in oneindige settings, tenzij sterke aanvullende aannames (bijv. compactheid of aftelbare toestandsruimtes) worden opgelegd, met name wanneer overtuigingen worden gemodelleerd als $\sigma$-additieve kansmaten.

Dit artikel adresseert de kloof in het karakteriseren van de "gemeenschappelijke prior met volledige ondersteuning" in algemene oneindige typenruimtes en onderzoekt of een dergelijke prior zinvol kan worden gerepresenteerd als een kansverdeling.

Methodologie
De auteurs hanteren een epistemisch–gedragsmatige duale karakteriseringsbenadering, waarbij de resultaten van Morris worden uitgebreid naar oneindige typenruimtes. De methodologie omvat:

1. Generalisering van Definities: Het uitbreiden van het begrip "acceptabele weddenschap" naar oneindige toestandsruimtes.
2. Convexe Separatie: Het gebruik van de separatie van convexe verzamelingen in topologische vectorruimten. Het artikel maakt onderscheid tussen sterke separatie (overeenkomend met de gemeenschappelijke prior–overeenstemmige weddenschap dualiteit) en propere separatie (overeenkomend met de sterke consistentie van overtuigingen–acceptabele weddenschap dualiteit).
3. Modelrobuustheid: Het analyseren van de resultaten onder twee verschillende kaders voor het modelleren van overtuigingen:
   • Kansmaten: $\sigma$-additieve kansen (standaard maattheorie).
   • Kanscharges: Eindig additieve kansen (charges), die een bredere klasse van oneindige modellen mogelijk maken.
4. Tegentegenvoorbeelden: Het construeren van specifieke oneindige typenruimtes (Voorbeelden 8 en 9 in de hoofdtekst; Voorbeelden 4–6 in de supplementen) waar spelers identieke prior-sets (doorsneden) delen maar verschillen in de vraag of hun overtuigingen "sterk consistent" zijn.

Belangrijkste Bijdragen
Dit artikel levert drie primaire bijdragen:

1. Extensie naar Oneindige Typenruimtes: De auteurs generaliseren de karakterisering van Morris (1991, 1994) van de gemeenschappelijke prior met volledige ondersteuning naar oneindige typenruimtes. Zij introduceren het concept sterke consistentie van overtuigingen (Definitie 5) als de passende oneindig-dimensionale analogie.
2. Robuustheid tegenover Kansmodellen: De karakterisering van de sterke consistentie van overtuigingen via de afwezigheid van acceptabele weddenschappen wordt als robuust aangetoond. Dit geldt zowel wanneer overtuigingen worden gemodelleerd als $\sigma$-additieve kansmaten (Theorem 7) als wanneer zij worden gemodelleerd als eindig additieve kanscharges (Supplementary Material). Dit staat in contrast met de "gemeenschappelijke prior–overeenstemmige weddenschap" karakterisering, die in het maatmodel faalt zonder significante aanvullende aannames.
3. Herwaardering van de Gemeenschappelijke Prior als Distributie: Het artikel toont aan dat in oneindige toestandsruimtes het begrip van een gemeenschappelijke prior met volledige ondersteuning over het algemeen niet kan worden gerepresenteerd door een enkele kansverdeling of een verzameling verdelingen. Door middel van Voorbeelden 8 en 9 laten de auteurs zien dat twee spelers identieke prior-sets kunnen hebben (met dezelfde doorsnede), maar dat hun overtuigingen in het ene scenario sterk consistent zijn en in het andere niet. Dit impliceert dat propere separatie van convexe verzamelingen (de wiskundige conditie voor sterke consistentie) niet altijd detecteerbaar is via de doorsnede van de verzamelingen.

Belangrijkste Resultaten

• Theorem 7 (Hoofdresultaat): In een typenruimte $T$ zijn de overtuigingen van de spelers sterk consistent dan en slechts dan als er geen acceptabele weddenschap bestaat binnen de typenruimte. Dit vestigt de epistemische–gedragsmatige dualiteit voor oneindige ruimtes.
• Lemma 6: In eindige typenruimtes is sterke consistentie equivalent aan de niet-lege doorsnede van de relatieve interieurs van de spelers' prior-sets ($\cap \text{int} \Pi_i \neq \emptyset$). Deze "getuige" (een specifieke kansverdeling) verdwijnt in oneindige ruimtes.
• Voorbeelden 8 en 9: Deze voorbeelden illustreren dat zelfs wanneer $\Pi_{Anne} \cap \Pi_{Ben}$ identiek is (bevat enkel een uniforme verdeling $\nu$), de overtuigingen in het ene scenario sterk consistent kunnen zijn (geen propere separatie mogelijk) en in het andere scenario niet (propere separatie wel mogelijk).
• Implicatie voor Representatie: Omdat propere separatie niet gegarandeerd kan worden door de doorsnede van prior-sets in oneindige dimensies, kan de "gemeenschappelijke prior met volledige ondersteuning" niet universeel worden gedefinieerd als een kansverdeling.

Betekenis en Claims
Het artikel betoogt dat de traditionele visie op de gemeenschappelijke prior met volledige ondersteuning als een concrete kansverdeling (of een verzameling verdelingen) die dient als getuige voor de consistentie van overtuigingen, niet houdbaar is in oneindige toestandsruimtes.

• Terminologische Verschuiving: De auteurs stellen voor om de term "sterke consistentie van overtuigingen" te adopteren in plaats van "gemeenschappelijke prior met volledige ondersteuning". Deze verschuiving verlegt de focus van een potentieel niet-bestaande distributie naar de structurele relatie tussen de priors van spelers.
• Aard van de Ex-Ante Fase: De bevindingen suggereren dat de ex-ante fase moet worden beschouwd als een niet-primitief element van het model. In oneindige settings moet de afwezigheid van arbitrage (geen acceptabele weddenschap) worden geïnterpreteerd als de (sterke) consistentie van overtuigingen in plaats van de existentie van een werkelijke gemeenschappelijke prior-verdeling.
• Bijdrage aan het Debat: Dit resultaat draagt bij aan het debat dat is geïnitieerd door Aumann (1998) en Gul (1998) over de noodzaak en interpretatie van gemeenschappelijke priors. Het artikel concludeert dat hoewel de intuïtie van de "gemeenschappelijke prior" nuttig is in eindige settings, het concept in oneindige settings het best begrepen kan worden als een consistentievoorwaarde op overtuigingen in plaats van een specifiek probabilistisch object.

Het artikel stelt geen nieuwe experimentele toepassingen of toekomstige onderzoeksrichtingen voor buiten de theoretische implicaties voor de interpretatie van typenruimtes en priors in de speltheorie en economie.