[論文レビュー] Large Supports are required for Well-Supported Nash Equilibria

Yogesh Anbalagan, Hao Huang+4 more|arXiv (Cornell University)|Apr 14, 2015

Game Theory and Applications参考文献 10被引用数 7

ひとこと要約

本稿は、任意の定数 $k$ および任意の $\epsilon < 1$ に対して、すべての $\epsilon$-well-supported Nash equilibrium (WSNE) が $k$ よりも大きな基数のサポートを必要とする、勝ち負けのバイマトリックスゲームが存在することを証明している。WSNE のグラフ的特徴付けと加法的数論における Haight の結果を応用することで、先行の予想に反するゲームを構築し、一般に $\epsilon$-WSNE に対して小さなサポートは不十分であることを示している。

ABSTRACT

We prove that for any constant $k$ and any $ε&lt;1$, there exist bimatrix win-lose games for which every $ε$-WSNE requires supports of cardinality greater than $k$. To do this, we provide a graph-theoretic characterization of win-lose games that possess $ε$-WSNE with constant cardinality supports. We then apply a result in additive number theory of Haight to construct win-lose games that do not satisfy the requirements of the characterization. These constructions disprove graph theoretic conjectures of Daskalakis, Mehta and Papadimitriou, and Myers.

研究の動機と目的

• 任意の定数 $k$ および $\epsilon < 1$ に対して、すべてのバイマトリックスゲームがサイズが高々 $k$ のサポートを持つ $\epsilon$-WSNE を持つかどうかという未解決問題を解決すること。
• Daskalakis らおよび Myers が提唱したグラフ的予想（任意の有向グラフは、高々 $k$ の長さのサイクル、または高々 $k$ のサイズの支配されない集合を含む）を反証すること。
• $\epsilon < 1$ のとき $\epsilon$-WSNE に対して小さなサポートが不十分であることを示すことにより、$\epsilon$-WSNE と $\epsilon$-NE の間の根本的な構造的差を明らかにすること。
• 特に、加法的数論の結果、すなわち $\mathbb{Z}_q$ の部分集合 $Y$ で $0 \notin (s)Y$（$s < \kappa$）を満たす有限集合が存在すること（Haight の定理）を応用し、小さなサイクルや小さな支配されない集合を含まない有向グラフを構築すること。
• このようなグラフが、任意の固定された $k$ に対して、$\epsilon < 1$ かつサポートのサイズ $\leq k$ の $\epsilon$-WSNE を持たない勝ち負けゲームに変換可能であることを示すこと。

提案手法

• 定数サポート基数を持つ $\epsilon$-WSNE を許容する勝ち負けゲームのグラフ的特徴付けを開発し、このような均衡の存在が、ゲームから導かれる有向グラフにおける小さなサイクルまたは小さな支配されない頂点集合の存在と関連することを示す。
• 加法的数論における Haight の結果（$\mathbb{Z}_q$ の有限集合 $Y$ で、$s < \kappa$ のとき $0 \notin (s)Y$ となるもの）を用い、長さが $\kappa$ より小さい有向サイクルを含まず、かつ支配されない頂点ペアがない有向グラフ $D$ を構築する。
• モジュラー算術と和集合の性質を用いて、$\kappa$ より小さい長さのサイクルがなく、かつすべての頂点ペアが支配される $(\kappa, 2)$-有向グラフを構築する。
• 基本的な $(\kappa-1)(l-1)+1, 2)$-有向グラフの $l$ 乗を用いて、$(k,l)$-有向グラフ（長さ $\leq k$ のサイクルがなく、すべての $\ell$-集合が支配される）を構築する。
• 非二部グラフの $(2k+1,k)$-有向グラフに二部変換を適用し、行と列の頂点が戦略を表す二部有向グラフに変換する。この変換はサイクルおよび支配の性質を保つ。
• 定理 3.5 の特徴付けを用いて、得られた二部有向グラフが、$\epsilon < 1$ かつサポートサイズ $\leq k$ の $\epsilon$-WSNE を持たない勝ち負けゲームに対応することを証明する。

実験結果

リサーチクエスチョン

• RQ1 任意の定数 $k$ および $\epsilon < 1$ に対して、すべてのバイマトリックスゲームがサポートサイズが高々 $k$ の $\epsilon$-WSNE を持つというか？
• RQ2 すべての有向グラフは、高々 $k$ の長さの有向サイクル、または高々 $k$ のサイズの支配されない集合を含むというか？
• RQ3 加法的数論を用いて、小さなサイクルや小さな支配されない集合を避ける有向グラフを構築できるか？
• RQ4 このようなグラフを、小さなサポートを持つ $\epsilon$-WSNE を持たない勝ち負けゲームに変換できるか？
• RQ5 $\epsilon$-WSNE と $\epsilon$-NE の間には、サポートサイズの要件においてどのような構造的差があるか？

主な発見

• 任意の定数 $k$ および任意の $\epsilon < 1$ に対して、すべての $\epsilon$-WSNE が $k$ よりも大きな基数のサポートを必要とする勝ち負けバイマトリックスゲームが存在する。
• 著者らは、$\mathbb{Z}_q$ における和集合が自由な集合に関する Haight の結果を用いて、長さが $\kappa$ より小さい有向サイクルがなく、支配されない頂点ペアもない $(\kappa, 2)$-有向グラフを構築した。
• $(k,l)$-有向グラフは、基本的な $(\kappa-1)(l-1)+1, 2)$-有向グラフの $(l-1)$ 乗として構築され、長さ $\leq k$ のサイクルがなく、すべての $\ell$-集合が支配されることが保証される。
• 非二部グラフの $(2k+1,k)$-有向グラフの二部変換により、長さ $\leq 2k$ のサイクルがなく、同じ側のすべての $k$-集合が支配される二部有向グラフが得られる。
• この構成により、$\epsilon < 1$ かつサポートサイズ $\leq k$ の $\epsilon$-WSNE を持たない勝ち負けゲームが得られ、Daskalakis らおよび Myers の予想が反証された。
• この結果により、$\epsilon$-WSNE と $\epsilon$-NE の間の根本的な構造的差が明らかになった：$\frac{1}{2}$-NE はサポートサイズが高々 2 で見つけられるが、$\epsilon < 1$ のとき $\epsilon$-WSNE に対しては同様の上限は存在しない。