📈 economics

There Ain't No Such Thing as a Free Equilibrium

L'article soutient que l'existence d'un équilibre universel dans les jeux est simultanément compatible et incompatible avec le principe d'évitement des stratégies strictement dominées, selon le sens spécifique dans lequel ces concepts sont définis.

Auteurs originaux : Mark Whitmeyer

Publié 2026-08-07

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Mark Whitmeyer

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous essayiez de prédire comment les gens vont se comporter dans un jeu, d'un simple jeu de Pierre-Papier-Ciseaux à une guerre de stratégie complexe et infinie. C'est le monde de la théorie des jeux, une branche des mathématiques qui étudie la manière dont les joueurs rationnels prennent des décisions lorsque leurs résultats dépendent les uns des autres. La règle d'or de ce monde est de trouver un « équilibre » — un état stable où personne n'a de raison de changer de stratégie parce qu'il fait déjà de son mieux compte tenu de ce que font tous les autres. Dans les jeux petits et finis, nous savons que ces équilibres existent toujours. Mais quand les jeux deviennent infinis, avec des choix sans fin, les choses deviennent compliquées. Pour corriger cela, les mathématiciens utilisent parfois un type spécial de mathématiques appelé « probabilités additivement finies ». Voyez cela comme une façon de pondérer des options où vous pouvez attribuer un poids total de 100 % à un groupe entier de choix, même si vous attribuez un poids de 0 % à chaque choix individuel à l'intérieur de ce groupe. C'est comme dire qu'une foule est pleine à 100 %, même si chaque personne à l'intérieur est invisible. La grande question que les chercheurs se posent est la suivante : pouvons-nous utiliser ces mathématiques sophistiquées pour trouver un équilibre parfait dans chaque jeu tout en s'assurant d'ignorer complètement les mauvais coups ? En théorie des jeux, un coup « strictement dominé » est un coup qui est toujours moins bon qu'une autre option, peu importe ce que fait l'adversaire. Le sens commun dit qu'un joueur intelligent ne devrait jamais jouer un coup dominé, donc une bonne solution devrait prétendre que ces coups n'existent pas du tout.

Cet article, intitulé « There Ain't No Such Thing as a Free Equilibrium » (ou TANSTAAFE), explore un conflit délicat entre deux objectifs : trouver un équilibre dans chaque jeu possible et s'assurer que la solution ignore complètement tous les mauvais coups dominés. L'auteur, Mark Whitmeyer, prouve que l'on ne peut pas avoir le beurre et l'argent du beurre. Si vous voulez une solution qui est garantie d'exister pour chaque jeu, vous ne pouvez pas exiger que la solution ignore complètement l'ensemble des mauvais coups à la fois.

Voici le rebondissement : l'article montre que si vous pouvez faire en sorte que la solution ignore chaque mauvais coup individuellement, vous ne pouvez pas la faire ignorer l'ensemble du tas de mauvais coups à la fois. Imaginez un énorme sac de pommes pourries. Vous pouvez facilement pointer une pomme pourrie et dire : « Je ne mangerai pas celle-ci. » Vous pouvez faire cela pour chaque pomme pourrie du sac. Mais l'article prouve que dans certains jeux infinis, la « solution » pourrait finir par dire : « Je ne mangerai aucune pomme pourrie spécifique », tout en décidant simultanément de manger l'intégralité du sac de pommes pourries. C'est un paradoxe où le tout est traité comme réel, alors que chaque partie est traitée comme inexistante.

L'auteur construit un jeu spécifique et complexe pour prouver ce point. Dans ce jeu, il y a une liste infinie de mouvements qui sont tous moins bons que d'autres. L'article démontre que toute tentative de créer une solution « parfaite » qui existe pour tous les jeux et qui ignore l'ensemble de la liste des mauvais coups à la fois échouera ; cela mène à une contradiction mathématique. Cependant, il y a une lueur d'espoir. L'article montre que si vous assouplissez la règle juste un tout petit peu, vous pouvez toujours trouver une solution. Au lieu de demander à la solution d'ignorer tout le sac de pommes pourries, vous ne demandez que d'ignorer chaque pomme une par une. Cette version plus faible fonctionne parfaitement. L'article prouve qu'il existe un moyen de trouver un équilibre dans tout jeu borné où chaque coup dominé reçoit une note de « zéro », mais où la collection de tous ces coups peut encore recevoir une note de « un ».

Ainsi, la principale conclusion est une frontière nette dans les mathématiques des jeux. Vous pouvez avoir une solution qui existe partout et qui ignore chaque mauvais mouvement individuellement, mais vous ne pouvez pas avoir une solution qui existe partout et qui ignore l'ensemble des mauvais mouvements en tant qu'unité unique. L'article ne se contente pas de suggérer cela ; il fournit une preuve mathématique rigoureuse qu'une telle solution « parfaite » est impossible. C'est un rappel que dans le monde infini de la théorie des jeux, il faut parfois choisir entre avoir une solution et avoir une solution qui se comporte exactement comme notre intuition le suggère. L'« équilibre gratuit » dont le titre plaisante n'existe pas car vous devez toujours payer un prix : soit vous perdez la garantie d'une solution, soit vous perdez la garantie que la solution rejette complètement l'ensemble des mauvaises stratégies.

Résumé technique : TANSTAAAFE (There Ain't No Such Thing as a Free Equilibrium / Il n'y a pas d'équilibre gratuit)

Énoncé du problème
L'article traite d'une tension fondamentale en théorie des jeux concernant l'existence d'équilibres dans les jeux infinis (jeux avec des ensembles d'actions infinis). Si les jeux finis possèdent toujours des équilibres de Nash en stratégies mixtes, les jeux infinis n'en possèdent pas nécessairement. Une résolution standard consiste à étendre l'espace des stratégies des probabilités dénombrablement additives aux probabilités faiblement additives. Bien que cela restaure l'existence de l'équilibre, cela introduit une distinction pathologique entre la « nullité ponctuelle » (point-nullity) et la « nullité d'ensemble » (set-nullity) concernant les actions strictement dominées.

Plus précisément, une mesure de probabilité faiblement additive peut assigner une probabilité nulle à chaque action individuelle dans un ensemble infini d'actions strictement dominées (nullité ponctuelle) tout en assignant simultanément une probabilité un à l'ensemble de ces actions (échec de la nullité d'ensemble). La question centrale est de savoir si un concept de solution peut satisfaire simultanément trois propriétés désirables :

Non-vacuité universelle : l'existence d'une solution pour tout jeu borné.
La propriété d'équilibre : l'adhérence aux exigences de cohérence pour les jeux à somme nulle (spécifiquement, la condition selon laquelle la somme des évaluations des déviations unilatérales ne dépasse pas zéro).
La nullité d'ensemble : l'exigence que l'ensemble complet des actions strictement dominées soit ignoré (assigné une probabilité zéro) par la solution.

Méthodologie
L'auteur emploie une approche d'analyse fonctionnelle, utilisant l'espace des fonctions réelles bornées $\ell^\infty(X)$ et des évaluations (fonctionnelles linéaires) $\Lambda: \ell^\infty(X) \to \mathbb{R}$ .

Définitions : L'article définit un ensemble $B$ comme étant $\Lambda$ -nul si la modification des gains sur $B$ ne change pas l'évaluation $\Lambda(B)$ . Il distingue la nullité ponctuelle (chaque action isolée dominée est nulle) de la nullité d'ensemble (l'ensemble complet des actions dominées est nul).
Construction de contre-exemple : Pour tester la compatibilité des trois propriétés, l'auteur construit un jeu spécifique à somme nulle et à deux joueurs, $\Gamma^*$ . Dans ce jeu, les ensembles d'actions sont $C \cup \mathbb{N}$ (où $C=\{H, T\}$ et $\mathbb{N}$ est l'ensemble des entiers naturels). La structure des gains est conçue de telle sorte que, pour chaque joueur, les entiers naturels forment une chaîne de dominance strictement croissante ( $n+1$ domine strictement $n$ ), rendant l'ensemble $\mathbb{N}$ entier strictement dominé.
Approximation finie : Pour établir des résultats positifs, l'article utilise le concept d'équilibres faiblement approximables. Cela consiste à prendre les limites (dans la topologie faible-*) des équilibres de Nash mixtes issus de restrictions finies du jeu, les restrictions formant un réseau exhaustif (contenant finalement toute sous-partie finie d'actions).

Résultats clés

Impossibilité de la nullité d'ensemble (Théorème 3.3) :
L'article prouve qu'aucune correspondance de solution ne peut être simultanément universellement non vide, satisfaire la propriété d'équilibre pour les jeux à somme nulle et satisfaire la nullité d'ensemble.

Mécanisme : Dans le jeu construit $\Gamma^*$ , si une solution satisfait la nullité d'ensemble, l'ensemble des actions dominées $\mathbb{N}$ doit être assigné une probabilité zéro. Cependant, la structure des gains force l'évaluation de certaines actions dominées (comme l'action 1) à être positive lorsqu'on les compare aux actions « sûres » de $C$ . Cela mène à une contradiction avec la condition de l'équilibre à somme nulle (Condition Z), qui exige que $\Lambda_2(u_1) + \Lambda_1(u_2) \leq 0$ . Plus précisément, si $\mathbb{N}$ est nul, les évaluations se comportent comme si les joueurs étaient restreints à $C$ , mais la structure de dominance implique que jouer dans $\mathbb{N}$ génère des gains plus élevés contre certains mouvements de l'adversaire, créant une incohérence qui force l'ensemble de la solution à être vide.

Faisabilité de la nullité ponctuelle (Théorème 4.7) :
L'article démontre qu'une exigence plus faible, la nullité ponctuelle, est compatible avec l'existence universelle et la propriété d'équilibre.

Mécanisme : En définissant une correspondance de solution $S_{pt}$ basée sur les marges des équilibres faiblement approximables (limites des équilibres de restrictions finies), l'auteur montre que chaque action individuellement dominée est assignée une probabilité zéro. Cela s'explique par le fait que, dans toute restriction finie suffisamment grande, une action strictement dominée n'est jamais une meilleure réponse et reçoit donc une probabilité nulle dans l'équilibre de Nash fini. La limite faible-* préserve cette propriété pour les singletons.

Caractère tranchant de la distinction (Corollaire 4.8) :
L'auteur construit un équilibre faiblement approximable spécifique pour $\Gamma^*$ qui satisfait la nullité ponctuelle mais échoue à la nullité d'ensemble. Dans cet équilibre, chaque action dominée individuelle $n \in \mathbb{N}$ a une probabilité de zéro, pourtant l'ensemble $\mathbb{N}$ en tant que tel a une probabilité de un. Cela confirme que l'impossibilité de la nullité d'ensemble n'est pas un artefact d'une construction spécifique, mais une limitation fondamentale du cadre.

Signification et revendications
L'article revendique une « délimitation nette » plutôt qu'une nouvelle construction d'équilibre. Sa contribution principale est d'établir les frontières de ce qui est possible dans les jeux infinis :

Résultat négatif : Il est impossible d'exiger qu'un concept d'équilibre existant universellement ignore l'ensemble complet des actions strictement dominées (nullité d'ensemble) tout en maintenant la cohérence dans les jeux à somme nulle.
Résultat positif : Il est possible d'exiger qu'un concept d'équilibre existant universellement ignore chaque action strictement dominée individuellement (nullité ponctuelle).

L'auteur soutient que la pathologie des probabilités faiblement additives — où un ensemble peut avoir une mesure de un alors que tous ses éléments ont une mesure de zéro — est inévitable lorsqu'on traite des ensembles infinis d'actions dominées. L'article conclut que bien que l'approximation finie puisse éliminer les actions dominées fixes, aucune solution universellement existante ne peut généralement être contrainte d'ignorer l'ensemble des actions dominées, même si chaque action dominée individuellement l'est. Cela résout la tension en montrant que l'existence d'un équilibre « gratuit » (sans effets secondaires pathologiques) se fait au prix de l'acceptation du fait que l'ensemble des actions dominées peut ne pas être collectivement nul, même si chaque action dominée individuellement l'est.

Articles similaires