All Games Have Equilibria

「もしも？」という壮大なゲーム

あらゆる決断が、巨大で見えないゲームの一部である世界を想像してみてください。何を着るか、何を食べるか、あるいはどうやって学校へ通うかといった選択肢がありますが、その結果はあなた自身の選択だけでなく、他の全員が何を選択したかにも左右されます。これは、人々（あるいはコンピュータや動物）が、互いの運命が絡み合った中でどのように意思決定を行うかを研究する数学の一分野、「ゲーム理論」の世界です。長い間、数学者たちはこれらのゲームに対して一つの黄金律を持っていました。もし選択肢の数が有限（ジャンケンなど）であれば、そこには常に「ナッシュ均衡」と呼ばれる完璧なバランスが存在するというルールです。これは、誰も自分の手を変更しようと思わない状態のことです。なぜなら、変更しても自分にとってより悪い結果しか得られないからです。

しかし、ゲームが無限になったらどうなるでしょうか？ もし0から1までの間の「あらゆる」数字を選ぶことができたり、プレイヤーが無限にいたりしたら？ 現実世界では、多くの状況が無限であるように感じられます。砂浜の砂粒をすべて数えたり、車の正確な速度を特定したりすることは常にできるわけではありません。数十年にわたり、数学者がこの「完璧なバランス」のルールをこれらの無限のゲームに適用しようとしたとき、数学は破綻しました。物事を非常に厳格に、つまり「数えられる」方法で数えることに依存していた彼らの道具は、突然消滅したり、不可能な結果を生み出したりしたのです。それは、まるでティースプーンで海を測ろうとするようなものでした。測ろうとすればするほど、水が消えていくように見えたのです。これにより、大きな理解の空白が生まれました。これらの無限のゲームには実際に安定した解が存在するのか、それとも単なる混沌とした混乱に過ぎないのか？

論文の大きな発見：「すべてのゲームには均衡が存在する」

M. Ali Khan、Arthur Paul Pedersen、Maxwell B. Stinchcombeによるこの論文**「All Games Have Equilibria（すべてのゲームには均衡が存在する）」**は、壊れた道具を修理するために登場しました。著者たちは、問題はゲームそのものではなく、数学者がゲームを測定しようとしていた方法にあると主張しています。彼らは、「混合戦略」——つまり、コイン投げのように自分の手を決めるランダムな選択——についての、より柔軟な新しい考え方を提案しています。

旧来の考え方では、戦略を混ぜたい場合、「可算加法性」という厳格なルールに従わなければなりませんでした。例えば、瓶の中にビー玉が入っているとします。赤、青、緑の順に選んだ場合、その3つの確率の合計は、それぞれの個別の確率の和になります。これは有限の瓶には非常にうまく機能します。しかし、無限のゲームにおいて、このルールは「足す順番によって答えが変わってしまう無限のリスト」を足し合わせようとするようなものです。著者たちは、「その厳格なルールを捨てよう」と言います。代わりに、彼らは**「有限加法的な」**確率を使用します。これは、古い道具が見逃してしまった「ギリギリの瞬間」を見ることができる、超強力な拡大鏡のようなものです。これにより、数学は、誰が勝つかを決定づける極めて重要な詳細を失うことなく、無限を扱うことができるようになります。

主な発見：
この論文は、驚くほど単純かつ強力な定理を証明しています。**「有界な利得（報酬が無限ではないこと）を持つすべてのゲームには、ナッシュ均衡が存在する」**というものです。ゲームに無限のプレイヤーや無限の選択肢があっても、あるいは利得が激しく変動するとしても、関係ありません。これらの新しい、柔軟な「有限加法的な」戦略を用いれば、安定したバランスは常に存在します。著者たちは、これらの均衡の集合が単に空であったり混沌としたりしているのではなく、「行儀が良い（well-behaved）」、つまり安定しており予測可能であることを示しています。ゲームをわずかに調整しても、均衡は霧のように消えてしまうのではなく、わずかにシフトするだけなのです。

否定されたもの：
著者たちは、何がうまくいかないのかについても明確に述べています。彼らは、これらの無限のゲームを、常に古い厳格な「可算加法的な」枠組みに押し込めることができるという考えに明確に反対しています。そうしようとすると、しばしば「均衡」がナンセンスなものになることを彼らは示しています。例えば、ゼロサムゲーム（一方の利得が他方の損失となるゲーム）において、両方のプレイヤーが同時にお金を勝ち取るという、不可能な状況です。また、彼らは「～よりわずかに下」や「～よりわずかに上」といった詳細を無視できるという考えも否定しています。多くのゲームにおいて、0.4999と0.5000の差は決定的な意味を持ちます。古い数学はこれらを同じ点として扱い、情報を失ってしまいますが、新しい数学はその区別を維持します。

確信の根拠は？
これは推測やシミュレーションではありません。著者たちは厳密な数学的**「証明」**を提供しています。彼らは単にこれらの均衡が存在することを示唆しているのではなく、定義された条件下でそれらが存在しなければならないことを実証しています。また、これらの均衡は「有限近似可能（finitely approximable）」であることも証明しています。つまり、より小さな有限のバージョンのゲームを見て、それがどこへ導かれるかを見ることで、均衡を見つけ出すことができるということです。これは、この理論に実践的・操作的な感覚を与えます。それは単なる理論上の幽霊ではなく、実際に接近し、理解できるものなのです。

「わずかに下」の魔法

なぜこれが重要なのかを理解するために、「わずかに下（Just Under）」というゲームを想像してみてください。2人のプレイヤーが、0.5よりわずかに下の数字を選ぼうとしています。

• プレイヤーAは0く0.49を選びます。
• プレイヤーBは0.499を選びます。
• プレイヤーCは0.4999を選びます。

古い数学では、0.5に近づけば近づくほど、数字はすべて0.5という単一の点へと溶け込んでしまいます。もし両方のプレイヤーが0.5を選んだ場合、ゲームは破綻するか、解を持たなくなります。しかし現実の世界では、「わずかに下」のコンテストには必ず「勝者」が存在します。0.4999を選んだプレイヤーは、0.49を選んだプレイヤーよりも目標に近いためです。

著者たちは、彼らの新しい数学がこの「わずかに下」の情報を保持することを示しています。それは、数字が無限に小さくなっても焦点が外れないカメラを持っているようなものです。彼らは、「ネット（net）」（無限のリストを整理するための高度な方法）や「超有限集合（hyperfinite sets）」（巨大だが特殊な意味で有限である想像上の集合）を用いた巧妙なトリックを用いて、常に安定したバランスを見つけられることを示しています。

なぜこれがすべてを変えるのか

この論文は、数学者が数十年にわたって苦闘してきた、有名な難問（シオンとウォルフのゲームやウォルドの最大整数ゲームなど）に取り組んでいます。これらのゲームにおいて、古い数学は「均衡は存在しない！」あるいは「答えは数え方によって変わる！」と突き放してきました。しかし、新しい数学はこう言います。「ここに均衡があり、なぜそれが機能するのか、その理由もここにあります」。

例えば、最大の整数を選ぼうとするゲームでは、最大の整数というものは存在しないため、古い数学は行き詰まりました。新しい数学は、均衡が「最大になろうとする精神」を捉える特定の種類の「有限加法的な」確率を伴うものであることを示し、常にさらに大きくなれるという事実に囚われることなく、解決策を提示します。

また、著者たちはこのアプローチが既知のゲームを壊さないことも示しています。ゲームが単純で有限であれば、彼らの新しい数学は古い数学と全く同じ答えを出します。これは「スーパーセット（超集合）」なのです。つまり、古い解をすべて含んだ上で、無限の場合における新しい解を追加しているのです。

結論

この論文は、統一的なプログラムです。それは、混乱したルールの継ぎ接ぎを、単一のクリーンなフレームワークへと置き換えます。それは、**「無限のゲームは壊れているのではなく、私たちの道具が硬直的すぎただけである」**と教えてくれます。確率の数え方のルールを緩和することで、最も混沌とした無限のシナリオにおいても、安定とバランスが常に可能であることを目にすることができるのです。著者たちは、私たちが数えられる有限の世界と、想像することしかできない無限の世界の間に架け橋を築き、ゲーム理論の法則が無限の端に至るまで成立することを証明したのです。