[論文レビュー] Filter games and combinatorial properties of winning strategies

Claude Laflamme|arXiv (Cornell University)|Jan 26, 1995

Advanced Topology and Set Theory参考文献 6被引用数 5

ひとこと要約

この論文は、自然数上のフィルターの構造的および組合せ的性質と関連付けることで、無限フィルター・ゲームにおける勝ち戦略を特徴づけている。Galvinの超フィルター・ゲームを一般化し、このような戦略がP-フィルターであるとか、分割性を持つといった特定のフィルター性質とちょうど一致することを示しており、無限組合せ論におけるゲーム理論的および集合論的視点を統合している。

ABSTRACT

We characterize winning strategies in various infinite games involving filters on the natural numbers in terms of combinatorics or structural properties of the given filter. These generalize several ultrafilter games of Galvin.

研究の動機と目的

• 自然数上の一般フィルターへのGalvinの超フィルター・ゲームの拡張。
• 無限ゲームにおける勝ち戦略の存在を決定づける、フィルターの組合せ的または構造的性質を同定すること。
• P-フィルターであるとか、分割性を持つといったフィルター性質と、ゲーム理論的条件を統合すること。
• ゲーム固有のルールではなく、フィルターの構造に基づいて勝ち戦略を特徴づけること。

提案手法

• ω上のフィルターから集合を交互に選ぶ無限の2人ゲームを分析する。
• 分割性、P-フィルター条件、可算交差に対する閉包性といったフィルター論的性質を用いる。
• 勝ち戦略の存在と、フィルターの特定の組合せ的性質との同値性を確立する。
• 特にフィルターと超フィルターにかかわる、無限ゲーム理論および集合論の技法を適用する。
• 既知の超フィルター・ゲームに関する結果を、より広いクラスのフィルターへ一般化する。
• ある構造的条件を満たす場合に限り、フィルターが特定のゲームで勝ち戦略を有する、と証明する。

実験結果

リサーチクエスチョン

• RQ1 どのフィルター性質が、与えられた無限フィルター・ゲームにおける勝ち戦略の存在を保証するか？
• RQ2 フィルターの構造的特徴（例えばP-フィルターであること）は、ゲーム理論的結果とどのように関係するか？
• RQ3 分割性といった組合せ的性質が、勝ち戦略の存在をどのように決定づけるか？
• RQ4 Galvinの超フィルター・ゲームの結果を、超フィルターを超えた任意のフィルターへ一般化できるか？
• RQ5 フィルター性質とフィルター・ゲームにおける勝ち戦略の存在の間には、正確にどのような対応があるか？

主な発見

• フィルターがP-フィルターである場合かつその場合に限り、フィルター・ゲームで勝ち戦略が存在する。
• 分割ゲームにおける勝ち戦略の存在は、フィルターが分割性を持つことと同値である。
• 本論文はGalvinの超フィルター・ゲームに関する結果を任意のフィルターへ一般化し、類似した特徴づけが成り立つことを示している。
• 任意の可算分割について、その一部がフィルターに属するという性質を持つフィルターは、特定のゲームにおける勝ち戦略の存在に対応する。
• フィルターのゲーム理論的行動は、ゲームのルールそのものではなく、その組合せ的構造によって完全に決定づけられる。
• この特徴づけは、フィルター性質に基づいて、勝ち戦略の完全な論理的および構造的分類を提供する。