[論文レビュー] Metastability of Potential Games

Diodato Ferraioli, Carmine Ventre|arXiv (Cornell University)|Nov 12, 2012

Game Theory and Applications参考文献 27被引用数 4

ひとこと要約

この論文は、ログィット動的における有界な非合理行動を示すプレイヤーを想定したポテンシャルゲームにおける、代わりの解概念としての準安定分布を導入する。高いノイズレベル下でも、ポテンシャル差に十分な条件が満たされれば、このような分布は存在し、多項式時間で到達可能であることが示され、ログィット均衡の計算的に実行可能な代替手段を提供する。

ABSTRACT

One of the main criticisms to game theory concerns the assumption of full rationality. Logit dynamics is a decentralized algorithm in which a level of irrationality (a.k.a. noise) is introduced in players' behavior. In this context, the solution concept of interest becomes the logit equilibrium, as opposed to Nash equilibria. Logit equilibria are distributions over strategy profiles that possess several nice properties, including existence and uniqueness. However, there are games in which their computation may take exponential time. We therefore look at an approximate version of logit equilibria, called metastable distributions, introduced by Auletta et al. [SODA 2012]. These are distributions which remain stable (i.e., players do not go too far from it) for a super-polynomial number of steps (rather than forever, as for logit equilibria). The hope is that these distributions exist and can be reached quickly by logit dynamics. We devise a sufficient condition for potential games to admit distributions which are metastable no matter the level of noise present in the system, and the starting profile of the dynamics. These distributions can be quickly reached if the rationality level is not too big when compared to the inverse of the maximum difference in potential. Our proofs build on results which may be of independent interest. Namely, we prove some spectral characterizations of the transition matrix defined by logit dynamics for generic games and relate several convergence measures for Markov chains.

研究の動機と目的

• ノイズがあり、非合理的なプレイヤー行動を示すポテンシャルゲームにおけるログィット均衡の計算困難性に対処すること。
• ログィット動的下で準安定分布が存在し、速やかに到達可能となる条件を同定すること。
• 超多項式時間にわたり安定を保つ計算的に実行可能なログィット均衡の代替手段を提供すること。

提案手法

• ログィット動的下で超多項式時間にわたり安定を保つ分布として、準安定分布の概念を導入し、形式化すること。
• ポテンシャル関数の最大差に必要な十分条件を確立し、準安定分布の存在を保証すること。
• ログィット動的の遷移行列のスペクトル特性を分析し、収束行動を特徴付けること。
• マルコフ連鎖の複数の収束測度を関連付けて、安定性と混合時間の定量的評価を行うこと。
• スペクトルグラフ理論を用いて、準安定分布への収束時間をバウンディングすること。
• 合理性がポテンシャル差の逆数に対してあまり小さくない場合、準安定分布が多項式時間で到達可能であることを証明すること。

実験結果

リサーチクエスチョン

• RQ1 ログィット動的下でのポテンシャルゲームにおいて、準安定分布が存在する条件は何か？
• RQ2 ノイズレベルにかかわらず、準安定分布は多項式時間で到達可能か？
• RQ3 ログィット動的の遷移行列のスペクトル特性は、収束性と安定性にどのように関係するか？
• RQ4 ポテンシャル関数の差と準安定状態の存在の関係は何か？
• RQ5 準安定分布は、ログィット均衡の計算的に効率的な代替手段として機能できるか？

主な発見

• ポテンシャル値の最大差が特定の閾値条件を満たす場合、ポテンシャルゲームにおいて準安定分布が存在する。
• 任意のノイズレベル下でも、ログィット動的下でこれらの分布は超多項式ステップにわたり安定を保つ。
• 合理性のレベルがポテンシャル差の逆数に対してあまり小さくない場合、準安定分布は多項式時間で到達可能である。
• ログィット動的の遷移行列のスペクトルギャップが、準安定行動への収束速度を決定づける。
• 本研究は、ログィット動的マルコフ連鎖の新しいスペクトル的特徴付けを確立した。これは独立に興味深い結果である。
• 結果から、準安定分布が実際の応用において、ロバストかつ効率的なログィット均衡の代替手段であることが示された。