[論文レビュー] Existence of optimal strategies for the Operation Game into amenable semigroups

Valerio Capraro|arXiv (Cornell University)|Apr 15, 2011

Computability, Logic, AI Algorithms被引用数 2

ひとこと要約

この論文は、アメーナブル半群上の半群ゲーム—アーメンブル半群上の2人ゼロ和ゲーム—における最適戦略の存在を、古典的な可算加法的戦略を、特定のファイニートリィ加法的測度を含むように拡張することによって確立する。主な貢献は、拡張されたゲームに価値と最適戦略が存在することを示し、それらが既存の古典的解を保つことである。

ABSTRACT

The semigroup game is a two-person zero-sum game defined on a semigroup S as follows: Players 1 and 2 choose elements x and y in S, respectively, and player 1 receives a payoff f(xy) defined by a function f from S to [-1,1]. If the semigroup is amenable in the sense of Day and von Neumann, one can extend the set of classical strategies, namely countably additive probability measures on S, to include some finitely additive measures in a natural way. This extended game has a value and the players have optimal strategies. This theorem extends previous results for the multiplication game on a compact group or on the positive integers with a specific payoff. We also prove that the procedure of extending the set of allowed strategies preserves classical solutions: if a semigroup game has a classical solution, this solution solves also the extended game.

研究の動機と目的

• アメーナブル半群における半群ゲームの古典的ゲーム理論的戦略を、ファイニートリィ加法的測度を含むように拡張すること。
• 拡張されたゲームフレームワークにおいて、価値および最適戦略の存在を確立すること。
• 古典的解が、より広いファイニートリィ加法的戦略のクラス内でも有効であることを示すこと。
• コンパクト群や正の整数上で得られた乗法ゲームに関する先行結果を、アメーナブル半群の設定へ一般化すること。

提案手法

• Sをアメーナブル半群とするとき、f: S → [-1,1] である関数fを用いて、報酬をf(xy)とする2人ゼロ和ゲームとして半群ゲームを定義する。
• 可算加法的確率測度からなる戦略空間を、アメーナブル性と整合する特定のファイニートリィ加法的測度を含むように拡張する。
• デイおよびフォン・ノイマンの意味でのSのアメーナブル性を用いて、不変平均の存在を保証し、戦略の拡張を可能にする。
• 不変平均の性質とアメーナブル半群の構造を用いて、拡張されたゲームに価値が存在することを証明する。
• 古典的解が存在する場合、それが拡張されたゲームにおいても最適のままであることを示し、戦略クラス間での一貫性を保つ。

実験結果

リサーチクエスチョン

• RQ1 戦略空間がファイニートリィ加法的測度を含むように拡張された場合、アメーナブル半群上の半群ゲームに最適戦略が存在するか？
• RQ2 アメーナブル性を用いた戦略の拡張が、ゲーム価値の存在にどのように影響するか？
• RQ3 どのような条件下で、半群ゲームの古典的解が拡張されたゲームにおいても最適のままであるか？
• RQ4 コンパクト群や正の整数上の乗法ゲームに関する結果が、すべてのアメーナブル半群へ一般化可能か？
• RQ5 どのような構造的性質が、拡張されたゲームにおける最適戦略の存在を可能にするか？

主な発見

• アメーナブル半群上の拡張された半群ゲームには、明確に定義された価値が存在する。
• 戦略に特定のファイニートリィ加法的測度を含む場合、拡張されたゲームに最適戦略が存在する。
• 戦略空間の拡張は古典的解を保つ：古典的解が存在する場合、それは拡張されたゲームにおいても最適のままである。
• 証明は、アメーナブル半群に不変平均が存在することに依存しており、これにより戦略の一貫した拡張が可能になる。
• 先行研究におけるコンパクト群や正の整数上の乗法ゲームに関する結果が、アメーナブル半群のより広いクラスへ一般化される。
• フレームワークにより、報酬関数f(xy)が[-1,1]の範囲で有界のままであり、拡張全体にわたりゲーム理論的整合性が保たれる。