有限付加確率での均衡と「排除すべき」戦略――全集合無視は成り立たないが個別無視は可能
要旨:著者は、ゲーム理論で「どんなゲームにも均衡がある」という広い意味の存在性と、「厳密に支配される戦略(常に劣る選択肢)を無視する」ことが同時に成り立つとは限らないと示します。一方で、より弱い形の無視は常に実現できることも示しています。話は直感に近いが、数学的には少し奇妙な確率の扱いに関わります。
何をしたか(高いレベルの説明):無限の行動があるゲームには、通常の混合戦略(確率分布を使った戦略)での均衡が存在しない場合があります。そこで作者は、確率を「有限付加(finitely additive)」に拡張することで均衡を回復できます。有限付加確率は直感的には「全体の集合には確率1を与えられるが、その集合の個々の要素にはすべて確率0を与えることができる」など、通常の可算加法的な確率では起こらない振る舞いを許します。こうした振る舞いが「厳密支配(strict dominance)」に関する奇妙な現象を生みます。
中心的な否定結果:著者は、三つの望ましい性質を同時に満たす解の規則は存在しないことを示します。三つとは(1)任意のゲームで少なくとも一つの解があること、(2)二人零和ゲームに対してある最小限の均衡整合性条件(論文中の条件(Z))を満たすこと、(3)支配される行動全体を一括して“無視される集合”とみなす(論文でいう「集合無視(set-nullity)」)こと、です。反例として具体的な二人零和ゲーム Γ* を作ります。各プレーヤーの行動集合は C={H,T} と自然数全体 N の和集合で、自然数 n に対応する報酬は rn = n/(2(n+1)) と定められます。この設計により、自然数の大きい方が小さい方を厳密に支配する列ができ、結果として N 全体が「厳密に支配される行動集合」になります。しかし有限付加確率を前提にすると、個々の自然数は確率0で無視されつつも集合 N 全体には確率1が与えられてしまい、条件(Z)と矛盾してしまうため、集合無視を満たす均衡は存在しません。
救済策としての弱い要求:一括での無視(集合無視)が無理でも、各支配される行動を個別に無視する「点無視(point-nullity)」は達成可能です。著者は、有限個の行動に制限した標準的な混合戦略ナッシュ均衡を取り、それを行動集合を増やしながら弱-* 収束(関数としての収束)させることで得られる有限近似の極限として、有限付加確率による均衡を構成します。こうして得られる均衡は各支配された単一行動を無視します(各々に確率0を与える)が、集合としての振る舞いについては先のような奇妙な割り当てが起き得る、という性質を持ちます。論文はまた、支配される行動集合が有限ならば点無視と集合無視は同値になることも指摘しています。
なぜ重要か、そして注意点:この結果は、より一般的な確率概念を認めることで均衡の存在を回復できる一方で、支配の直感に反するパスロジーが避けられないというトレードオフを示しています。有限付加確率は数学的な道具として有用ですが、個々の行動を見たときの「無視する」という性質が集合単位では崩れる可能性があることを明確にします。重要な制約として、本稿は有限付加確率という非標準的な確率論的前提に依存しており、その哲学的・応用的妥当性は議論の余地があります。またここに示した主張と例は論文抜粋に基づくもので、全文では議論の補強や追加の結果がある可能性があります。