[論文レビュー] On the Existence of General Equilibrium in Finite Games and General Game Dynamics

Dashiell Fryer|arXiv (Cornell University)|Jan 11, 2012

Game Theory and Applications参考文献 17被引用数 9

ひとこと要約

この論文は、有限ゲームにおけるインcentive駆動型均衡およびダイナミクスの一般化された概念を導入し、単一の枠組みで既存のゲーム理論的モデルを統一する。最小限の条件下で均衡の存在を証明し、リプリケータ、BNN、ロジットダイナミクスを含む一般のゲームダイナミクスの族を導出し、すべての有効なダイナミクスが適切なインセンティブ関数によって生成可能であることを示している。

ABSTRACT

A notion of incentive for agents is introduced which leads to a very general notion of an equilibrium for a finite game. Sufficient conditions for the existence of these equilibria are given. Known existence theorems are shown to be corollaries to the main theorem of this paper. Furthermore, conditions for the existence of equilibria in certain symmetric regions for games are also given. From the notion of general equilibrium, a general family of game dynamics are derived. This family incorporates all canonical examples of game dynamics. A proof is given for the full generality of this system.

研究の動機と目的

• ナッシュ均衡を越えた有限ゲームにおける均衡概念の一般化を、広範なインセンティブベースの均衡クラスの導入によって行う。
• このような均衡の存在に必要な最小限の十分条件を確立し、ナッシュや進化的安定戦略均衡といった既知の結果を特別な場合として含む。
• リプリケータ、BNN、ベストリプライ、ロジットダイナミクスを含むすべての代表的動的モデルを包含する、普遍的なゲームダイナミクスの族を導出する。
• 適切なインセンティブ関数を用いることで、任意の有効なゲームダイナミクスがこのフレームワークから回復可能であることを示し、その一般性を実証する。
• インセンティブ関数が単体を保存し、戦略空間の境界で適切に定義されたダイナミクスを保証するための条件を形式化する。

提案手法

• 境界条件 φ_iα(x) ≥ 0 を満たす一般化されたインセンティブ関数 φ(x) を導入し、x_iα = 0 のとき、戦略空間の不変性を保証する。
• dx_iα/dt = φ_iα(x) − x_iα ∑_β φ_iβ(x) で定義される一般ダイナミクスを提示し、単体を保存し、平均ダイナミクスを一般化する。
• 連続的更新プロトコルからインセンティブベースのダイナミクス系を導出し、エージェントがインセンティブ信号に基づき、より良い戦略へと移動するプロセスを形式化する。
• 適切なインセンティブ関数を指定することで、既知のダイナミクス（リプリケータ、BNN、ロジット、スミス）がこのフレームワークの特別な場合であることを示す。
• 単体の保存および境界挙動を満たす任意の有効なゲームダイナミクスが、あるインセンティブ関数によって表現可能であることを証明し、システムの完全な一般性を確立する。
• 実数空間 ℝ^m への利得関数の線形拡張を用い、最大原理を適用して均衡の定義を正当化する。

実験結果

リサーチクエスチョン

• RQ1 有限ゲームにおける一般化されたインセンティブベースの均衡が、最小限の条件下で存在するための条件は何か？
• RQ2 ナッシュ均衡やESSといった既存の均衡概念が、この一般化された均衡フレームワークの特別な場合として回復可能か？
• RQ3 リプリケータ、BNN、ロジットダイナミクスといった代表的ゲームダイナミクスを1つのダイナミクス系がどのように統合できるか？
• RQ4 このフレームワークのもとで、任意の有効なゲームダイナミクスがインセンティブベースのダイナミクスとして表現可能か？
• RQ5 単体上で、特に境界で適切に定義されたダイナミクスを保証するためのインセンティブ関数に必要な十分条件は何か？

主な発見

• インセンティブベースの均衡に対する一般存在定理が確立され、ナッシュやESSといった既知の均衡がその系として得られる。
• このフレームワークは、リプリケータ、BNN、ベストリプライ、ロジット、スミスのすべての代表的ゲームダイナミクスを、インセンティブ関数によって定義される1つのダイナミクス系に統合する。
• 単体を保存し、境界挙動を尊重する任意の有効なゲームダイナミクスが、適切なインセンティブ関数によって生成可能であることが示され、システムの完全な一般性が裏付けられる。
• インセンティブ関数 φ_iα(x) = x_iα(u_i(e_iα, x_-i) + g_i(x)) は、任意の関数 g_i(x) に対してリプリケータダイナミクスを生成し、このクラス内での等価性を示している。
• dx_iα/dt = φ_iα(x) − x_iα ∑_β φ_iβ(x) が平均ダイナミクス形式と同等であることが示され、インセンティブ関数がダイナミクスを完全に決定することが明らかになった。
• 同じダイナミクスを生成する複数のインセンティブ関数が存在しうることを示し、非一意性は示唆されるが、ダイナミクスの同値性は保たれる。