[论文解读] MacMahon's master theorem and totally mixed Nash equilibria

Raimundas Vidūnas|arXiv (Cornell University)|Jan 21, 2014

Game Theory and Applications被引用 1

一句话总结

本文通过证明多人博弈中完全混合纳什均衡的最大数量等于块错位排列的数量，建立了麦克马洪恒等定理、块错位排列的组合学与博弈论之间的新联系——这些数量通过拉盖尔多项式线性化系数相关联。本文推导出这些计数的新递推关系、超几何公式和渐近展开式，并为所有类型的纳什均衡总数提供了上界。

ABSTRACT

The maximal number of totally mixed Nash equilibria in games of several players equals the number of block derangements, as proved by McKelvey and McLennan.On the other hand, counting the derangements is a well studied problem. The numbers are identified as linearization coefficients for Laguerre polynomials. MacMahon derived a generating function for them as an application of his master theorem. This article relates the algebraic, combinatorial and game-theoretic problems that were not connected before. New recurrence relations, hypergeometric formulas and asymptotics for the derangement counts are derived. An upper bound for the total number of all Nash equilibria is given.

研究动机与目标

• 探索块错位排列的组合计数与多人博弈中完全混合纳什均衡最大数量之间的联系。
• 应用麦克马洪的恒等定理，推导块错位排列计数的生成函数与结构性质。
• 建立块错位排列数目的新递推关系、超几何表达式和渐近逼近。
• 为有限博弈中所有类型的纳什均衡总数提供上界。

提出的方法

• 利用麦克马洪恒等定理，为块错位排列生成多元生成函数。
• 通过已知的正交多项式恒等式，将块错位排列计数识别为拉盖尔多项式的线性化系数。
• 通过分析生成函数及其系数的结构，推导出递推关系。
• 应用超几何函数表示，以闭式表达块错位排列数。
• 通过对生成函数进行渐近分析，推导块错位排列数目的增长速率。
• 结合麦凯尔维与麦克伦南的博弈论界与组合计数，推导出总纳什均衡数的上界。

实验结果

研究问题

• RQ1 块错位排列与多人博弈中完全混合纳什均衡最大数量之间的精确组合结构是什么？
• RQ2 麦克马洪恒等定理如何用于生成和分析块错位排列数列？
• RQ3 哪些新的递推关系或超几何表达式刻画了块错位排列计数的数列？
• RQ4 随着玩家数量的增加，块错位排列数目的渐近行为如何？
• RQ5 能否利用此组合框架推导出总纳什均衡数（包括非完全混合类型）的上界？

主要发现

• 在n人博弈中，完全混合纳什均衡的最大数量等于n个元素的块错位排列数，确认了博弈论与组合学之间的结构性联系。
• 块错位排列数被识别为拉盖尔多项式的线性化系数，从而可应用正交多项式理论。
• 推导出块错位排列数目的新递推关系，为高效计算提供了框架。
• 建立了块错位排列计数的超几何表示，提供了闭式表达。
• 推导出块错位排列数目的渐近公式，表明其随n呈指数增长。
• 基于块错位排列及相关组合结构的计数，建立了有限博弈中总纳什均衡数的上界。