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

Sintesi Tecnica: L'Ombra della Curvatura nella Dinamica di Nash Regolarizzata

Enunciato del Problema
In giochi a somma zero a due giocatori in cui l'insieme degli equilibri di Nash (NE) forma un politopo convesso piuttosto che un singolo punto, i risolutori regolarizzati come la Dinamica di Nash Regolarizzata (R-NaD) sono empiricamente osservati convergere verso l'equilibrio a massima entropia. Questo membro è teoricamente equivalente alla proiezione di informazione (I-proiezione) di una strategia di riferimento uniforme sull'insieme NE. Tuttavia, esiste un'apparente eccezione nel Kuhn poker: mentre R-NaD converge a un equilibrio di Nash esatto (esportabilità nulla), la frequenza di bluff risultante (0,180) devia dalla coordinata a massima entropia teorica (0,201) di circa 0,021. Ciò accade nonostante il profilo convergente raggiunga il 99,7% dell'entropia massima possibile. La questione centrale è se questo scarto di coordinata rappresenti un vero e proprio bias di selezione sistematico di R-NaD o un artefatto derivante dall'interazione tra un piccolo deficit residuo di entropia e la geometria locale del paesaggio entropico.

Metodologia
Lo studio impiega un approccio diagnostico utilizzando un motore per giochi a estensione esaustiva tabulare con valori controfattuali esatti e senza campionamento o approssimazione di funzione. L'analisi si concentra su cinque giochi con segmenti di Nash monodimensionali: Kuhn poker (sequenziale, informazione imperfetta) e quattro giochi a matrice (singolo set informativo per giocatore).

1. Decomposizione Teorica: Gli autori derivano un'identità geometrica locale per lo scarto di coordinata su un manifold di Nash monodimensionale. Espandendo la funzione entropia $H(\sigma(c))$ attorno al suo massimo $c^*$, stabiliscono che per un punto con un deficit di entropia $\delta = H^* - H(\sigma(c))$, lo scarto di coordinata $|c - c^*|$ si fattorizza come:
   $$\text{scarto} \approx \sqrt{2\delta / \kappa}$$
   dove $\kappa$ è la curvatura locale del paesaggio entropico al suo picco. Questa decomposizione separa il "deficit" (perché il risolutore si ferma prima della massima entropia) dalla "curvatura" (quanto quel deficit viene amplificato in un offset di coordinata).

2. Test delle Ipotesi: Il documento mette a confronto due ipotesi:

   • $H_{flat}$: Lo scarto è un artefatto di un piccolo, rimovibile deficit di entropia $\delta$ amplificato dalla piattezza ($\kappa$). Man mano che $\delta \to 0$, lo scarto svanisce.
   • $H_{bias}$: R-NaD ha un bias sistematico, il che significa che lo scarto persiste a un valore non nullo anche quando $\delta \to 0$.

3. Verifica Sperimentale:

   • Confronto Statico: R-NaD viene eseguito su tutti e cinque i giochi per misurare la coordinata di arrivo, il deficit di entropia $\delta$ e la curvatura $\kappa$.
   • Sweep Causale (Kuhn): Il parametro di forza del magnete $\eta$ in R-NaD viene variato da 0,80 a 0,10. Questa variazione spinge il deficit di entropia $\delta$ verso lo zero mantenendo stabili le dinamiche, permettendo l'osservazione del comportamento dello scarto rispetto alla curva $\sqrt{2\delta/\kappa}$.
   • Quantificazione della Curvatura: Lo studio quantifica $\kappa$ per ogni gioco utilizzando fit quadratici ai minimi quadrati sul paesaggio entropico e verifica la relazione di scala.

Contributi Chiave e Risultati

• Fattorizzazione Esatta dello Scarto: Lo studio conferma che lo scolo di coordinata si fattorizza esattamente come $\sqrt{2\delta/\kappa}$ in tutti i giochi testati. La relazione è valida con un errore relativo inferiore a $2 \times 10^{-4}$ (errore relativo < 1%).
• Risoluzione dell'Eccezione del Kuhn Poker:
  • Nei quattro giochi a matrice, R-NaD raggiunge esattamente il membro a massima entropia ($\delta \approx 0$), risultando in uno scarto nullo indipendentemente dalla curvatura (anche in giochi più piatti di Kuhn).
  • Nel Kuhn poker, esiste un piccolo deficit di entropia ($\delta \approx 8,3 \times 10^{-4}$). A causa del picco moderatamente piatto ($\kappa \approx 4,0$), questo piccolo deficit viene amplificato in uno scarto di coordinata di 0,021.
  • Lo scarto è dunque identificato come l'"ombra della curvatura" di un deficit rimovibile, non come un bias di selezione.
• Validazione Causale tramite Sweep del Magnete: Indebolendo la forza del magnete $\eta$ nel Kuhn poker, gli autori portano $\delta \to 0$. Lo scarto risultante diminuisce lungo la curva prevista verso lo zero. Un fit log-log di scarto vs $\delta$ produce un esponente di scala di 0,5013 ($R^2 > 0,999999$), corrispondente alla previsione teorica di $1/2$ per $H_{flat}$ e contraddicendo $H_{bias}$ (che prevederebbe una pendenza che tende a 0). Lo scarto fallisce nel raggiungere lo zero solo quando $\eta$ scende sotto un limite di stabilità ($\eta \approx 0,15$), causando instabilità dinamica (cicli limite).
• Dipendenza dalla Curvatura: Lo studio dimostra che la piattezza è necessaria ma non sufficiente per uno scarto; è richiesto anche un deficit non nullo. Un ipotetico deficit su un picco acuto ($\kappa \approx 20$) produrrebbe uno scarto circa 2,24 volte più piccolo rispetto al picco più piatto di Kuhn.
• Avvertenza sull'Entropia di Tsallis: Il documento avverte di non usare l'entropia di Tsallis come un "dial di curvatura" senza aggiustamenti, poiché cambiare l'indice di entropia $q$ sposta la coordinata target di massima entropia $c^*_q$. Confrontare un risolutore regolarizzato con Tsallis con un target basato su Shannon confonderebbe il target mobile con l'effetto di curvatura.

Significato e Rivendicazioni
Il documento rivendica di fornire una spiegazione difendibile per l'apparente controesempio nel Kuhn poker, sostenendo la congettura della I-proiezione (che R-NaD selezioni il membro a massima entropia) fino a un "residuo limitato dalla piattezza". Il significato primario è la dimostrazione che la deviazione osservata non è un fallimento fondamentale del meccanismo di selezione, ma un artefatto geometrico della curvatura del paesaggio entropico che agisce su un piccolo deficit rimovibile.

Lo studio limita esplicitamente il proprio ambito:

• Non prova la congettura della I-proiezione per tutti i giochi o tutte le condizioni di inizializzazione, ma la valida per il regime di riferimento uniforme.
• Non identifica il meccanismo preciso che causa il deficit di entropia nei giochi sequenziali (ipotizzato essere correlato alla regolarizzazione pesata per raggiungibilità), ma solo che esso esiste.
• Non esegue uno sweep causale della curvatura $\kappa$ stessa (a causa della mancanza di una famiglia sequenziale stabile con curvatura regolabile), affidandosi invece alle curvature misurate e all'identità geometrica derivata.

Il lavoro conclude che il "gap di Kuhn" è un artefatto rimovibile e che l'account della I-proiezione rimane valido, a patto che il deficit di entropia sia portato a zero, soggette ai vincoli di stabilità dinamica del risolutore.