[論文レビュー] MacMahon's master theorem and totally mixed Nash equilibria

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

Game Theory and Applications被引用数 1

ひとこと要約

本稿は、マクマホンのマスターテーブル、ブロック順列の組合せ論、およびゲーム理論の間の新しい関係を確立する。具体的には、n人プレイヤーのゲームにおける完全に混合されたナッシュ均衡の最大数が、n個の要素のブロック順列の数に等しいことを示し、その量はラゲール多項式の線形化係数を通じて関連づけられる。本稿では、これらの数え上げに関する新しい漸化式、超幾何級数の表現、漸近的性質を導出し、すべてのタイプのナッシュ均衡の総数に対する上界を提示する。

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.

研究の動機と目的

• ブロック順列の組合せ的数え上げとn人プレイヤーのゲームにおける完全に混合されたナッシュ均衡の最大数との間の関係を調査すること。
• マクマホンのマスターテーブルを用いて、ブロック順列の数の母関数および構造的性質を導出すること。
• ブロック順列の数のための新しい漸化式、超幾何表現、および漸近的近似を確立すること。
• 完全に混合されたものだけでなく、他のタイプを含む有限ゲームにおけるナッシュ均衡総数の上界を提示すること。

提案手法

• マクマホンのマスターテーブルを用いて、ブロック順列の多変数母関数を生成すること。
• 既知の直交多項式の恒等式を活用し、ブロック順列の数をラゲール多項式の線形化係数として特定すること。
• 母関数の構造とその係数を分析することで、漸化式を導出すること。
• 超幾何関数の表現を適用して、ブロック順列の数を閉形式で表現すること。
• 母関数の漸近的解析を用いて、ブロック順列の数の増加率を導出すること。
• マケルヴィーとマクレナンによるゲーム理論的上界と、組合せ的数え上げを組み合わせることで、ナッシュ均衡総数の上界を導出すること。

実験結果

リサーチクエスチョン

• RQ1 n人プレイヤーのゲームにおける完全に混合されたナッシュ均衡の最大数とブロック順列との間の正確な組合せ的構造は何か？
• RQ2 マクマホンのマスターテーブルは、ブロック順列の数の列を生成・解析するためにどのように応用可能か？
• RQ3 ブロック順列の数の列を特徴づける新しい漸化式や超幾何表現は何か？
• RQ4 プレイヤー数が増加する際、ブロック順列の数の漸近的挙動はいかなるものか？
• RQ5 この組合せ的枠組みを用いて、完全に混合されていないタイプを含む、有限ゲームにおけるナッシュ均衡総数の上界を導出可能か？

主な発見

• n人プレイヤーのゲームにおける完全に混合されたナッシュ均衡の最大数は、n個の要素のブロック順列の数に等しく、ゲーム理論と組合せ論の間の構造的関係を裏付ける。
• ブロック順列の数はラゲール多項式の線形化係数として特定され、直交多項式理論の応用が可能になる。
• ブロック順列の数のための新しい漸化式が導出され、効率的な計算フレームワークが提供される。
• ブロック順列の数のための超幾何表現が確立され、閉形式表現が得られる。
• ブロック順列の数の増加に関する漸近的公式が導出され、nの増加に伴い指数関数的に増加することを示す。
• ブロック順列の数え上げおよび関連する組合せ的構造に基づき、有限ゲームにおけるナッシュ均衡総数の上界が確立される。