[論文レビュー] Deterministic monotone dynamics and dominated strategies

Yannick Viossat|arXiv (Cornell University)|Oct 28, 2011

Game Theory and Applications参考文献 33被引用数 3

ひとこと要約

この論文は、進化的ゲーム理論における決定論的単調ダイナミクスの結果を統一的かつ拡張し、凹型単調ダイナミクス（HofbauerとWeibullの凸型単調ダイナミクスの双対）の下で、厳密に支配された戦略が時間とともに排除されることを証明する。主な貢献は、非定常的または時間変動する環境下でも、成長率順序付けとリャプノフ型の議論を用いて、支配される戦略が消滅する条件を確立することにある。

ABSTRACT

We survey and unify results on elimination of dominated strategies by monotonic dynamics and prove some new results that may be seen as dual to those of Hofbauer and Weibull (J. Econ. Theory, 1996, 558-573) on convex monotonic dynamics.

研究の動機と目的

• 単調進化的ダイナミクスの下での厳密に支配される戦略の排除に関する既存の結果を統合・一般化すること。
• HofbauerとWeibull（1996）の凸型単調ダイナミクスに関する結果と、新しい凹型単調ダイナミクスに関する結果との間の双対性を確立すること。
• 報酬と成長率が時間とともに変化する状況下でも、連続的および離散的時間ダイナミクスにおける混合戦略の存続または排除を分析すること。
• 反復的に厳密に支配される戦略が排除される条件を、特に非定常的設定で検討すること。
• 集約的単調性と成長率順序付けが、支配される戦略の長期的排除を保証する役割を明確にすること。

提案手法

• 戦略 $i$ の非正規化成長率 $g_i(\mathbf{x},\mathbf{y})$ を用いた連続時間ダイナミクス $\dot{x}_i = x_i(g_i(\mathbf{x},\mathbf{y}) - \sum_k x_k g_k(\mathbf{x},\mathbf{y}))$ を使用する。
• 集約的単調性を、報酬順序が成長率順序を保つものとして定義する：$U_\mathbf{p}(\mathbf{y}) > U_\mathbf{q}(\mathbf{y})$ ならば、すべての $\mathbf{x}, \mathbf{y}$ に対して $g_\mathbf{p}(\mathbf{x},\mathbf{y}) > g_\mathbf{q}(\mathbf{x},\mathbf{y})$ が成り立つ。
• HofbauerとWeibullの凸型単調ダイナミクスの双対として、$\mathbf{p}$ が純粋戦略のとき条件を満たす凹型単調ダイナミクスを導入する。
• リャプノフ関数技法と時間平均成長率解析を用いて、ダイナミクスが凹型単調性を満たす場合、支配される戦略が消滅することを示す。
• 定数 $C$ が大きくまたは時間とともに増加する離散時間ダイナミクス $x_i(n+1) = x_i(n) \frac{C + g_i(\mathbf{x},\mathbf{y})}{C + \sum_k x_k g_k(\mathbf{x},\mathbf{y})}$ を検討する。
• 大規模な $C$ に対して漸近的近似 $\ln(1 + g_i/C) \approx g_i/C$ を用い、離散的ダイナミクスが極限で連続的ダイナミクスに収束することを示す。

実験結果

リサーチクエスチョン

• RQ1 成長率関数 $g_i$ にどのような条件下で、単調ダイナミクスが厳密に支配される戦略を排除するか？
• RQ2 凸型と凹型単調ダイナミクスの間の双対性を形式的に確立できるか。その結果、戦略の排除にどのような意味があるか？
• RQ3 $C$ が大きくまたは時間に依存する離散時間ダイナミクスでも、支配される戦略は排除されるのか。その条件は何か？
• RQ4 非定常的または時間変動する相手戦略の下でも、単調ダイナミクスの下で支配される戦略が存続可能か？
• RQ5 混合戦略の排除は、報酬関数の構造とダイナミクスの単調性クラスにどのように依存するか？

主な発見

• 凹型単調ダイナミクスでは、成長率順序付け条件を満たす限り、$t \to \infty$ のとき厳密に支配される混合戦略は排除される。
• 時間変動する相手戦略 $\mathbf{y}(t)$ を持つ非定常的設定下でも、ダイナミクスが集約的単調性であり、時間平均成長率が非支配戦略に有利である限り、支配される戦略は排除される。
• 離散時間ダイナミクスで $C \to \infty$ のとき、$\sum_n 1/C_n = \infty$ ならば、支配される戦略は排除される。これは十分な長期的成長差を保証する。
• $C$ が大きく固定されている場合、離散時間ダイナミクスが集約的単調性または純粋 $\mathbf{q}$ を持つ凸型単調性を満たす限り、十分に大きな $\bar{C}$ に対して支配される戦略は排除される。
• 時間変動するダイナミクスの下で、成長率差が周期的に入り違い、相殺される場合、厳密に支配される混合戦略 $\mathbf{q}$ は存続可能である。これは区分的線形 $\mathbf{y}(t)$ とバランスの取れた積分条件を用いて示される。
• $\bar{C}$ が離散時間ダイナミクスにおける排除に必要な値は、報酬ギャップ $\varepsilon$ と成長率の有界性に依存し、特定の戦略 $\mathbf{p}$ と $\mathbf{q}$ に敏感である。