📈 economics

All Games Have Equilibria

Cet article établit que tout jeu possédant un ensemble de joueurs non vide, des ensembles d'actions non vides et des fonctions d'utilité bornées admet un équilibre de Nash en stratégies mixtes additivement finies, unifiant ainsi la théorie de l'équilibre pour les jeux infinis et surmontant les limitations techniques antérieures associées à l'additivité dénombrable.

Auteurs originaux : M. Ali Khan, Arthur Paul Pedersen, Maxwell B. Stinchcombe

Publié 2026-07-20

📖 8 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : M. Ali Khan, Arthur Paul Pedersen, Maxwell B. Stinchcombe

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

Le Grand Jeu du « Et si ? »

Imaginez un monde où chaque décision que vous prenez fait partie d'un immense jeu invisible. Vous choisissez ce que vous portez, ce que vous mangez ou comment vous allez à l'école, mais votre résultat dépend non seulement de votre choix, mais aussi de ce que tous les autres choisissent également. C'est le domaine de la Théorie des Jeux, une branche des mathématiques qui étudie la manière dont les individus (ou les ordinateurs, ou les animaux) prennent des décisions lorsque leurs destins sont entrelacés. Pendant longtemps, les mathématiciens avaient une règle d'or pour ces jeux : si le nombre de choix est fini (comme Pierre-Papier-Ciseaux), il existe toujours un équilibre « parfait » appelé Équilibre de Nash. C'est un état où personne ne veut changer son mouvement car il n'obtiendrait qu'un résultat pire.

Mais que se passe-t-il quand le jeu devient infini ? Et si vous pouviez choisir n'importe quel nombre entre 0 et 1, ou s'il y avait une infinité de joueurs ? Dans le monde réel, de nombreuses situations semblent infinies. On ne peut pas toujours compter les grains de sable sur une plage ou la vitesse exacte d'une voiture. Pendant des décennies, lorsque les mathématiciens ont tenté d'appliquer la règle de l'équilibre « parfait » à ces jeux infinis, les mathématiques se sont brisées. Les outils qu'ils utilisaient, qui reposaient sur un comptage très strict et « dénombrable », disparaissaient soudainement ou produisaient des résultats impossibles. C'était comme essayer de mesurer l'océan avec une petite cuillère ; plus on essayait, plus l'eau semblait disparaître. Cela a laissé un énorme vide dans notre compréhension : ces jeux infinis possèdent-ils réellement une solution stable, ou ne sont-ils que des désordres chaotiques ?

La grande découverte de l'article : « Tous les jeux ont des équilibres »

Cet article, intitulé « All Games Have Equilibria » (Tous les jeux ont des équilibres), par M. Ali Khan, Arthur Paul Pedersen et Maxwell B. Stinchcombe, intervient pour réparer les outils brisés. Les auteurs soutiennent que le problème ne venait pas des jeux eux-mêmes, mais de la manière dont les mathématiciens essayaient de les mesurer. Ils proposent une nouvelle façon plus flexible de concevoir les « stratégies mixtes » — qui sont essentiellement des choix aléatoires, comme lancer une pièce pour décider de son mouvement.

Dans l'ancienne école de pensée, si vous vouliez mélanger vos stratégies, vous deviez suivre des règles strictes de « additivité dénombrable ». Imaginez que vous avez un bocal de billes. Si vous en choisissez une rouge, puis une bleue, puis une verte, la probabilité totale de choisir l'une de ces trois est simplement la somme de leurs chances individuelles. Cela fonctionne très bien pour un bocal fini. Mais dans un jeu infini, cette règle revient à essayer d'additionner une liste infinie de nombres dont la réponse change selon l'ordre dans lequel on les additionne. Les auteurs disent : « Abandonnons cette règle stricte. » Au lieu de cela, ils utilisent des probabilités finiment additives. Voyez cela comme une loupe surpuissante capable de voir les moments « juste un peu moins que » que les anciens outils manquaient. Cela permet aux mathématiques de gérer l'infini sans perdre les détails minuscules et cruciaux qui déterminent qui gagne.

La découverte principale :
L'article prouve un théorème d'une simplicité frappante mais puissante : Chaque jeu doté d'un gain borné (signifiant que les récompenses ne sont pas infinies) possède un Équilibre de Nash. Peu importe que le jeu ait une infinité de joueurs, une infinité de choix ou des gains irréguliers et saccadés qui sautent d'un point à un autre. Si vous utilisez ces nouvelles stratégies « finiment additives » plus flexibles, un équilibre stable existe toujours. Les auteurs montrent que l'ensemble de ces équilibres n'est pas vide ou chaotique ; il est « bien élevé », ce qui signifie qu'il est stable et prévisible. Si vous modifiez légèrement le jeu, l'équilibre se déplace légèrement, au lieu de s'évanouir dans le néant.

Ce qu'ils écartent :
Les auteurs sont très clairs sur ce qui ne fonctionne pas. Ils s'opposent explicitement à l'idée que nous puissions toujours forcer ces jeux infinis à entrer dans la vieille boîte stricte de l'« additivité dénombrable ». Ils montrent que tenter de le faire conduit souvent à des « équilibres » qui sont en réalité absurdes — comme un jeu où les deux joueurs gagnent de l'argent dans un jeu à somme nulle (où le gain de l'un est la perte de l'autre), ce qui est impossible. Ils écartent également l'idée que nous puissions simplement ignorer les détails du « juste en dessous » ou du « juste au-dessus ». Dans beaucoup de ces jeux, la différence entre choisir 0,4999 et 0,5000 est capitale. L'ancien calcul les traiterait comme le même point et perdrait l'information ; le nouveau calcul maintient cette distinction vivante.

À quel point sont-ils certains ?
Il ne s'agit pas d'une supposition ou d'une simulation. Les auteurs fournissent des preuves mathématiques rigoureuses. Ils ne se contentent pas de suggérer que ces équilibres existent ; ils démontrent qu'ils doivent exister selon les conditions qu'ils définissent. Ils prouvent également que ces équilibres sont « finiment approximables », ce qui signifie que vous pouvez les trouver en observant des versions finies plus petites du jeu et en voyant vers quoi elles mènent. Cela donne à la théorie un aspect pratique et opérationnel : ce n'est pas seulement un fantôme théorique ; c'est quelque chose que l'on peut réellement approcher et comprendre.

La magie du « Juste en dessous »

Pour comprendre pourquoi cela importe, imaginez un jeu de « Juste en dessous ». Deux joueurs essaient de choisir un nombre juste en dessous de 0,5.

Joueur A choisit 0,49.
Joueur B choisit 0,499.
Joueur C choisit 0,4999.

Dans l'ancien calcul, à mesure que l'on se rapproche de 0,5, les nombres se confondent tous dans le point unique 0,5. Si les deux joueurs choisissent 0,5, le jeu pourrait se briser ou n'avoir aucune solution. Mais dans le monde réel, il y a toujours un « vainqueur » du concours du « juste en dessous ». Le joueur qui a choisi 0,4999 est plus proche de l'objectif que celui qui a choisi 0,49.

Les auteurs montrent que leur nouveau calcul préserve cette information du « juste en dessous ». C'est comme avoir une caméra qui ne perd jamais la mise au point, même lorsque les nombres deviennent infiniment petits. Ils utilisent une astuce ingénieuse impliquant des « réseaux » (une façon sophistiquée d'organiser des listes infinies) et des « ensembles hyperfinis » (des ensembles imaginaires qui sont immenses mais restent finis d'une manière spéciale) pour montrer que l'on peut toujours trouver un équilibre stable.

Pourquoi cela change tout

L'article s'attaque à des problèmes célèbres et tenaces avec lesquels les mathématiciens luttent depuis des décennies, comme les jeux de Sion et Wolfe et le Jeu de l'entier le plus grand de Wald. Dans ces jeux, l'ancien calcul disait : « Aucun équilibre n'existe ! » ou « La réponse dépend de la façon dont vous comptez ! ». Le nouveau calcul dit : « Voici l'équilibre, et voici exactement pourquoi il fonctionne. »

Par exemple, dans un jeu où l'on essaie de choisir le plus grand entier, l'ancien calcul restait bloqué car il n'y a pas de « plus grand » entier. Le nouveau calcul montre que l'équilibre implique un type spécifique de probabilité « finiment additive » qui capture l'esprit de « vouloir être le plus grand » sans rester bloqué sur le fait qu'on peut toujours faire plus grand.

Les auteurs montrent également que cette approche ne casse pas les jeux que nous connaissons déjà. Si un jeu est simple et fini, leur nouveau calcul donne exactement la même réponse que l'ancien. C'est un surensemble : il inclut toutes les anciennes solutions et en ajoute de nouvelles pour les cas infinis.

L'essentiel

Cet article est un programme unificateur. Il prend un assemblage de règles confuses et de contre-exemples et le remplace par un cadre unique et limpide. Il nous dit que les jeux infinis ne sont pas cassés ; nos outils étaient simplement trop rigides. En assouplissant les règles de la manière dont nous comptons les probabilités, nous pouvons voir qu'une stabilité et un équilibre sont toujours possibles, même dans les scénarios infinis les plus chaotiques. Les auteurs ont construit un pont entre le monde fini que nous pouvons compter et le monde infini que nous ne pouvons qu'imaginer, montant que les lois de la théorie des jeux restent vraies jusqu'au bord de l'infini.

Résumé Technique : « Tous les jeux possèdent des équilibres »

Énoncé du Problème
L'article traite d'une lacune fondamentale en théorie des jeux : si le théorème d'existence de Nash garantit des équilibres pour les jeux finis, la littérature sur les jeux infinis (où les ensembles de joueurs ou d'actions sont infinis) manque d'une théorie d'existence unifiée. Le cadre prédominant repose sur des stratégies mixtes de type additivité dénombrable et nécessite de fortes hypothèses topologiques, spécifiquement des espaces d'actions compacts et la continuité jointe des fonctions d'utilité. Sans ces conditions, les résultats classiques échouent ; les contre-exemples séminaux de Wald (1945) et de Sion et Wolfe (1957) démontrent que les jeux à somme nulle présentant des discontinuités ou une non-compacité manquent souvent d'équilibres additivement dénombrables, ou même d'équilibres approchés ( $\epsilon$ -équilibres). Les tentatives antérieures pour résoudre cela ont abouti à un « assemblage » de préconditions techniques, de conditions restrictives sur les discontinuités, ou à la redéfinition des fonctions d'utilité via des règles de partage, souvent au détriment de l'intégrité stratégique (par exemple, en autorisant des stratégies strictement dominées ou en violant la nature antagoniste des jeux à somme nulle).

Méthodologie
Les auteurs proposent un programme unifié qui révise le modèle des stratégies mixtes en remplaçant l'additivité dénombrable par l'additivité finie.

Spécification du Jeu : Un jeu est défini par un ensemble non vide de joueurs, des ensembles d'actions non vides (sans structure topologique ou de mesure supposée), et des fonctions d'utilité de von Neumann-Morgenstern bornées.
Espace des Stratégies : Les stratégies mixtes sont modélisées comme des probabilités additivement finies définies sur la classe de tous les sous-ensembles de l'espace d'action (notée $\Delta(X)$ ). Cet espace est compact dans la topologie produit (théorème de Tychonoff), où la convergence est définie par la convergence des intégrales par rapport à toutes les fonctions bornées.
Concept d'Équilibre : Un équction est défini comme un vecteur de stratégies mixtes indépendantes de telle sorte qu'aucun joueur ne puisse gagner en déviant vers une stratégie pure. L'indépendance est maintenue via des extensions produits des stratégies individuelles.
Approximation : Les auteurs utilisent des réseaux exhaustifs d'approximations finies plutôt que de simples séquences. Un réseau exhaustif garantit que chaque action dans l'ensemble infini est éventuellement incluse dans les approximations finies. Cela permet l'analyse de limites qui préservent l'information pertinente pour le gain, perdue dans les limites classiques de l'additivité dénombrable.
Raffinement : L'article isole un sous-ensemble d'équilibres qui apparaissent comme des limites d'équilibres dans des approximations finies où les stratégies itérativement faibles de dominance ont été supprimées.

Contributions Clés et Résultats

Existence Universelle (Théorème A) :
L'article prouve que tout jeu avec des utilités bornées admet un équilibre de Nash dans les stratégies mixtes additivement finies. Ce résultat est valable indépendamment de la cardinalité de l'ensemble des joueurs, de la topologie des espaces d'actions ou de la continuité des fonctions d'utilité.
Stabilité et Continuité (Théorème B) :
La correspondance d'équilibre (cartographiant les fonctions d'utilité vers l'ensemble des équilibres) est démontrée comme étant à valeurs non vides, à valeurs compactes et semi-continue par excès. Cela établit que la théorie est stable sous les perturbations des gains, une propriété faisant souvent défaut dans la théorie classique des jeux infinis.
Opérationnalité et Approximabilité Finie (Théorème C) :
Les auteurs démontrent que l'ensemble des équilibres approximables par des éléments finis (limites d'équilibres provenant d'approximations finies exhaustives) est non vide et bien comportementé. De plus, le sous-ensemble de ces équilibres qui survivent à la suppression itérative des stratégies faiblement dominées est également non vide, à valeurs compactes et semi-continu par excès. Crucialement, ces limites ne concentrent pas de masse sur les stratégies itérativement faiblement dominées.
Résolution des Pathologies Classiques :

Théorème de Fubini : L'article soutient que l'échec du théorème de Fubini pour les mesures additivement finies n'est pas un défaut pour l'analyse de l'équilibre. Pour la classe spécifique d'équilibres identifiés dans le Théorème C (limites d'extensions produits de probabilités à support fini), la limite reste une extension produit, préservant l'indépendance.
Discontinuités : Dans des jeux comme le jeu de Sion-Wolfe ou le jeu de localisation asymétrique, le cadre additivement fini capture des comportements « juste en dessous » ou « juste au-dessus » (par exemple, concentrer la masse de manière infinitésimale près d'un point de discontinuité) que les limites de l'additivité dénombrable réduisent en un point unique, détruisant ainsi la propriété d'équilibre.
Règles de Partage : Contrairement à l'approche des règles de partage de Simon-Zame (1990), qui redéfinit les utilités aux points de discontinuité et peut sélectionner des stratégies strictement dominées, l'approche additivement finie préserve les fonctions d'utilité originales et la logique stratégique sans règles arbitraires de départage.

Équivalence d'Utilité (Théorèmes D & E) :
L'article délimite la frontière entre la nouvelle théorie et la théorie classique. Il identifie des conditions (liées à la continuité des gains de déviation et à la masse de l'équilibre sur les ensembles de discontinuité) sous lesquelles les équilibres additivement finis produisent les mêmes prédictions d'utilité que les équilibres additivement dénombrables. Lorsque ces conditions échouent, la divergence reflète des distinctions de gains présentes dans les approximations finies que le cadre classique ne peut représenter.

Signification et Revendications
Les auteurs affirment que leur approche fournit un programme unique et global pour la théorie de l'équilibre qui restaure les propriétés fondamentales des jeux finis (existence, stabilité et opérationnalité) au cas infini.

Nature Naturelle : Ils soutiennent que l'assouplissement de l'additivité dénombrable n'est pas simplement une manœuvre technique mais une étape nécessaire pour conserver l'information encodée dans les approximations finies. Dans les problèmes de discontinuité, le cadre de l'additivité dénombrable rejette systématiquement l'information pertinente pour les réponses stratégiques.
Non-Révisionniste : La théorie n'est pas indifféremment révisionniste ; elle coïncide avec les résultats classiques (par exemple, Glicksberg, 1952) pour les espaces de Hausdorff compacts avec des gains conjointement continus.
Opérationnalité : En ancrant les équilibres dans les limites des approximations finies et la dominance itérée, la théorie relie les jeux infinis à la logique stratégique des modèles finis, rendant les jeux auparavant « intraitables » accessibles à une analyse directe.
Directions Futures : L'article suggère que ce cadre est particulièrement adapté aux jeux à forme extensive à continuum et aux jeux de population infinie, où la « disparition » de l'information dans la limite (un problème connu dans les modèles d'additivité dénombrable) est centrale pour le problème de l'équilibre.

En résumé, l'article affirme qu'en adoptant des stratégies mixtes additivement finies et des approximations finies exhaustives, on peut construire une théorie de l'équilibre robuste, générale et stratégiquement fidèle pour tous les jeux dotés d'utilités bornées, unifiant efficacement le traitement des jeux finis et infinis.