Consistent Beliefs without Common Prior

Résumé Technique : Croyances Cohérentes sans Prior Commun

Énoncé du Problème
La littérature sur l'hypothèse du prior commun (CPA - Common Prior Assumption) suit généralement deux branches. La première traite le prior commun comme une distribution de probabilité cohérente avec les postérieurs de tous les joueurs (Aumann, 1976 ; Samet, 1998). La seconde, plus restrictive, suppose que le prior commun possède un support complet (full support), ce qui signifie que chaque type de chaque joueur se voit assigner une probabilité positive (Morris, 1991, 1994).

Morris (1991, 1994) a établi une dualité épistémologique-comportementale pour les espaces de types finis : un espace de types fini admet un prior commun à support complet si et seulement s'il ne contient aucun pari acceptable (un pari où tous les joueurs attendent des gains non négatifs, avec au moins une espérance strictement positive). Cependant, le concept de « support complet » est problématique dans les espaces d'états infinis. De plus, les caractérisations existantes des priors communs échouent souvent dans les contextes infinis, à moins que des hypothèses supplémentaires fortes (par exemple, la compacité ou les espaces d'états dénombrables) ne soient imposées, particulièrement lorsqu'on modélise les croyances comme des mesures de probabilité $\sigma$-additives.

Cet article comble la lacune de la caractérisation du « prior commun à support complet » dans les espaces de types infinis généraux et examine si un tel prior peut être représenté de manière significative comme une distribution de probabilité.

Méthodologie
Les auteurs emploient une approche de caractérisation duale épistémique-comportementale, étendant les résultats de Morris aux espaces d'états infinis. La méthodologie comprend :

1. Généralisation des Définitions : Extension de la notion de « pari acceptable » aux espaces d'états infinis.
2. Séparation Convexe : Utilisation de la séparation des ensembles convexes dans les espaces vectoriels topologiques. L'article distingue la séparation forte (correspondant à la dualité prior commun–pari de type agreeable) et la séparation propre (correspondant à la dualité de la cohérence forte des croyances–pari acceptable).
3. Robustesse du Modèle : Analyse des résultats sous deux cadres de modélisation distincts pour les croyances :
   • Mesures de Probabilité : Probabilités $\sigma$-additives (théorie de la mesure standard).
   • Charges de Probabilité : Probabilités (charges) faiblement additives, qui permettent une classe plus large de modèles infinis.
4. Contre-exemples : Construction d'espaces de types infinis spécifiques (Exemples 8 et 9 du texte principal ; Exemples 4–6 du supplément) où les joueurs partagent des ensembles de priors identiques (intersections) mais diffèrent quant à savoir si leurs croyances sont « fortement cohérentes ».

Contributions Principales
L'article apporte trois contributions principales :

1. Extension aux Espaces de Types Infinis : Les auteurs généralisent la caractérisation de Morris (1991, 1994) du prior commun à support complet aux espaces de types infinis. Ils introduisent le concept de cohérence forte des croyances (Définition 5) comme l'analogue approprié en dimension infinie.
2. Robustesse aux Modèles de Probabilité : La caractérisation de la cohérence forte des croyances via l'absence de paris acceptables est montrée comme étant robuste. Elle est vérifiée que les croyances soient modélisées comme des mesures de probabilité $\sigma$-additives (Théorème 7) ou comme des charges de probabilité faiblement additives (Matériel Supplémentaire). Cela contraste avec la caractérisation « prior commun–pari de type agreeable », qui échoue dans le modèle de mesure sans hypothèses additionnelles significatives.
3. Réévaluation du Prior Commun en tant que Distribution : L'article démontre que dans les espaces d'états infinis, la notion de prior commun à support complet ne peut généralement pas être représentée par une distribution de probabilité unique ou un ensemble de distributions. À travers les exemples 8 et 9, les auteurs montrent que deux joueurs peuvent avoir des ensembles de priors identiques (avec la même intersection) tout en possédant des croyances qui sont fortement cohérentes dans un scénario et non dans l'autre. Cela implique que la séparation propre des ensembles convexes (la condition mathématique de la cohérence forte) n'est pas toujours détectable par l'intersection des ensembles.

Résultats Clés

• Théorème 7 (Résultat Principal) : Dans un espace de types $T$, les croyances des joueurs sont fortement cohérentes si et seulement s'il n'existe aucun pari acceptable au sein de l'espace de types. Cela établit la dualité épistémique–comportementale pour les espaces infinis.
• Lemme 6 : Dans les espaces de types finis, la cohérence forte est équivalente à l'intersection non vide des intérieurs relatifs des ensembles de priors des joueurs ($\cap \text{int} \Pi_i \neq \emptyset$). Ce « témoin » (une distribution de probabilité spécifique) disparaît dans les espaces infinis.
• Exemples 8 et 9 : Ces exemples illustrent que même lorsque $\Pi_{Anne} \cap \Pi_{Ben}$ est identique (ne contenant que la distribution uniforme $\nu$), les croyances peuvent être fortement cohérentes dans un scénario (aucune séparation propre possible) et ne pas l'être dans l'autre (séparation propre possible).
• Implication pour la Représentation : Parce que la séparation propre ne peut être garantie par l'intersection des ensembles de priors en dimension infinie, le « prior commun à support complet » ne peut être universellement défini comme une distribution de probabilité.

Signification et Revendications
L'article soutient que la vision traditionnelle du prior commun à support complet comme une distribution de probabilité concrète (ou un ensemble de distributions) servant de témoin à la cohérence des croyances n'est pas soutenable dans les espaces d'états infinis.

• Changement Terminologique : Les auteurs proposent d'adopter le terme « cohérence forte des croyances » au lieu de « prior commun à support complet ». Ce changement déplace l'attention de la distribution potentiellement inexistante vers la relation structurelle entre les priors des joueurs.
• Nature de l'Étape Ex-ante : Les résultats suggèrent que l'étape ex-ante doit être vue comme un élément non primitif du modèle. Dans les contextes infinis, l'absence d'arbitrage (pas de pari acceptable) doit être interprétée comme la (forte) cohérence des croyances plutôt que comme l'existence d'un véritable prior commun.
• Contribution au Débat : Ce résultat contribue au débat initié par Aumann (1998) et Gul (1998) concernant la nécessité et l'interprétation des priors communs. L'article conclut que si l'intuition du « prior commun » est utile dans les contextes finis, dans les contextes infinis, le concept est mieux compris comme une condition de cohérence sur les croyances plutôt que comme un objet probabiliste spécifique.

L'article ne propose pas de nouvelles applications expérimentales ou de directions de recherche futures au-delà des implications théoriques pour l'interprétation des espaces de types et des priors en théorie des jeux et en économie.