The Curvature Shadow: An Apparent Failure of Maximum-Entropy Equilibrium Selection is a Removable Artifact

Résumé technique : L'ombre de la courbure dans la dynamique de Nash régularisée

Énoncé du problème
Dans les jeux à somme nulle à deux joueurs où l'ensemble des équilibres de Nash (EN) forme un polytope convexe plutôt qu'un point unique, les solveurs régularisés tels que la Dynamique de Nash Régularisée (R-NaD) sont empiriquement observés comme convergeant vers l'équilibre à entropie maximale. Ce membre est théoriquement équivalent à la projection d'information (I-projection) d'une stratégie de référence uniforme sur l'ensemble des EN. Cependant, une exception apparente existe dans le poker de Kuhn : bien que R-NaD converge vers un équilibre de Nash exact (exploitabilité nulle), la fréquence de bluff résultante (0,180) s'écarte de la coordonnée d'entropie maximale théorique (0,201) d'environ 0,021. Cela se produit malgré le fait que le profil convergé atteint 99,7 % de l'entropie maximale possible. La question centrale est de savoir si cet écart de coordonnée représente un biais de sélection systématique de R-NaD ou un artefact découlant de l'interaction entre un faible déficit d'entropie résiduel et la géométrie locale du paysage d'entropie.

Méthodologie
L'étude utilise une approche diagnostique à l'aide d'un moteur de forme extensive tabulaire avec des valeurs contrefactuelles exactes et sans échantillonnage ni approximation de fonction. L'analyse se concentre sur cinq jeux avec des segments de Nash unidimensionnels : le poker de Kuhn (séquentiel, information imparfaite) et quatre jeux matriciels (un seul ensemble d'information par joueur).

1. Décomposition théorique : Les auteurs dérivent une identité géométrique locale pour l'écart de sélection sur une variété de Nash unidimensionnelle. En développant la fonction d'entropie $H(\sigma(c))$ autour de son maximum $c^*$, ils établissent que pour un point avec un déficit d'entropie $\delta = H^* - H(\sigma(c))$, l'écart de coordonnée $|c - c^*|$ se factorise comme suit :
   $$\text{écart} \approx \sqrt{2\delta / \kappa}$$
   où $\kappa$ est la courbure locale du paysage d'entropie à son sommet. Cette décomposition sépare le « déficit » (pourquoi le solveur s'arrête avant l'entropie maximale) de la « courbure » (comment ce déficit est amplifié en un décalage de coordonnée).

2. Test d'hypothèse : Le document oppose deux hypothèses :

   • $H_{flat}$ : L'écart est un artefact d'un faible déficit d'entropie $\delta$ remplaçable, amplifié par la platitude ($\kappa$). Lorsque $\delta \to 0$, l'écart disparaît.
   • $H_{bias}$ : R-NaD possède un biais systématique, ce qui signifie que l'écart persiste à une valeur non nulle même lorsque $\delta \to 0$.

3. Vérification expérimentale :

   • Comparaison statique : R-NaD est exécuté sur les cinq jeux pour mesurer la coordonnée d'atterrissage, le déficit d'entropie $\delta$ et la courbure $\kappa$.
   • Balayage causal (Kuhn) : Le paramètre de force de l'aimant $\eta$ dans R-NaD est balayé de 0,80 à 0,10. Cette variation pousse le déficit d'entropie $\delta$ vers zéro tout en maintenant la stabilité de la dynamique, permettant d'observer le comportement de l'écart par rapport à la courbe $\sqrt{2\delta/\kappa}$.
   • Quantification de la courbure : L'étude quantifie $\kappa$ pour chaque jeu à l'aide d'ajustements quadratiques par moindres carrés sur le paysage d'entropie et vérifie la relation d'échelle.

Contributions clés et résultats

• Factorisation exacte de l'écart : L'étude confirme que l'écart de coordonnée se factorise exactement comme $\sqrt{2\delta/\kappa}$ à travers tous les jeux testés. La relation est vérifiée à $2 \times 10^{-4}$ près (erreur relative < 1 %).
• Résolution de l'exception de Kuhn :
  • Dans les quatre jeux matriciels, R-NaD atteint exactement le membre d'entropie maximale ($\delta \approx 0$), ce qui entraîne un écart nul quel que soit la courbure (même dans des jeux plus plats que Kuhn).
  • Dans le poker de Kuhn, un faible déficit d'entropie existe ($\delta \approx 8,3 \times 10^{-4}$). En raison du sommet modérément plat ($\kappa \approx 4,0$), ce petit déficit est amplifié en l'écart de coordonnée observé de 0,021.
  • L'écart est donc identifié comme l'« ombre de la courbure » d'un déficit remplaçable, et non comme un biais de sélection.
• Validation causale via le balayage de l'aimant : En affaiblissant la force de l'aimant $\eta$ dans le poker de Kuhn, les auteurs poussent $\delta \to 0$. L'écart résultant diminue le long de la courbe prédite vers zéro. Un ajustement log-log de l'écart par rapport à $\delta$ donne un exposant d'échelle de 0,5013 ($R^2 > 0,999999$), ce qui correspond à la prédiction théorique de $1/2$ pour $H_{flat}$ et contredit $H_{bias}$ (qui prédirait une pente tendant vers 0). L'écart ne parvient à zéro que lorsque $\eta$ descend sous un seuil de stabilité ($\eta \approx 0,15$), provoquant une instabilité dynamique (cycles limites).
• Dépendance à la courbure : L'étude démontre que la platitude est nécessaire mais non suffisante pour un écart ; un déficit non nul est également requis. Un déficit hypothétique sur un pic aigu ($\kappa \approx 20$) produirait un écart environ 2,24 fois plus petit que sur le pic plus plat de Kuhn.
• Mise en garde sur l'entropie de Tsallis : Le document met en garde contre l'utilisation de l'entropie de Tsallis comme « cadran de courbure » sans ajustement, car le changement de l'indice d'entropie $q$ déplace la coordonnée cible d'entropie maximale $c^*_q$. Comparer un solveur régularisé par Tsallis à une cible de Shannon reviendrait à confondre la cible mouvante avec l'effet de courbure.

Signification et affirmations
Le document prétend fournir un compte rendu défendable de l'apparente contre-exemple dans le poker de Kuhn, soutenant la conjecture de la I-projection (que R-NaD sélectionne le membre d'entropie maximale) jusqu'à un « résidu limité par la platité ». La principale signification est la démonstration que la déviation observée n'est pas un échec fondamental du mécanisme de sélection, mais un artefact géométrique de la courbure du paysage d'entropie agissant sur un faible déficit remplaçable.

L'étude limite explicitement sa portée :

• Elle ne prouve pas la conjecture de la I-projection pour tous les jeux ou toutes les conditions d'initialisation, mais valide le régime de référence uniforme.
• Elle n'identifie pas le mécanisme précis causant le déficit d'entropie dans les jeux séquentiels (hypothèse liée à la régularisation pondérée par l'atteinte), mais constate simplement qu'il existe.
• Elle ne réalise pas de balayage causal de la courbure $\kappa$ elle-même (en raison de l'absence d'une famille séquentielle stable et ajustable en courbure), se basant plutôt sur les courbures mesurées et l'identité géométrique dérivée.

L'ouvrage conclut que le « écart de Kuhn » est un artefact remplaçable, et que le compte de la I-projection reste valide tant que le déficit d'entropie est poussé vers zéro, sous réserve des contraintes de stabilité dynamique du solveur.