📈 economics

There Ain't No Such Thing as a Free Equilibrium

その論文は、ゲームにおける普遍的な均衡の存在が、これら概念が定義される特定の意味合いに応じて、厳密に支配された戦略を回避するという原則と、両立可能であると同時に、両立不可能でもあると論じている。

原著者： Mark Whitmeyer

公開日 2026-08-07

📖 1 分で読めます☕ さくっと読める

原著者： Mark Whitmeyer

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

ジャンケンから複雑で終わりのない戦略戦争まで、人々がゲームの中でどのように振る舞うかを予測しようとしている場面を想像してみてください。これは、プレイヤーの結末が互いに依存する中で、合理的なプレイヤーがいかに意思決定を行うかを研究する数学の一分野、ゲーム理論の世界です。この世界の黄金律は、「均衡（エクリブリウム）」を見つけることです。これは、他の全員が何をしているかに基づいて、自分ができる最善を尽くしているため、戦略を変更する理由が誰にもない安定した状態のことです。小規模で有限なゲームでは、これらの均衡が常に存在することが分かっています。しかし、選択肢が無数にある無限のゲームになると、事態はややこしくなります。これを解決するために、数学者たちは時として「有限加法確率」と呼ばれる特別な種類の数学を使用します。これは、グループ内の個々の選択肢に0%の重みを割り当てたとしても、そのグループ全体には合計100%の重みを割り当てることができる、選択肢の重み付けの方法だと考えてください。それは、個々の人は透明であっても、群衆は100%満席であると言うようなものです。研究者たちが問い続けてきた大きな疑問は、「この高度な数学を使えば、すべてのゲームにおいて完璧な均衡を見つけ出し、同時に『悪い』手（ムーブ）を完全に無視することができるのか？」ということです。ゲーム理論において、「厳密に支配された」手とは、相手が何をしようとも、他の選択肢よりも常に劣っている手のことを指します。常識的に言えば、賢明なプレイヤーは支配された手を決して選ぶべきではないため、優れた解法は、それらの手が存在しないかのように扱うべきです。

「There Ain't No Such Thing as a Free Equilibrium（タンスティーフ：フリー・エクリブリウムなんてものは存在しない）」という題名のこの論文は、二つの目標間のトリッキーな衝突を掘り下げています。それは、「あらゆるゲームにおいて均衡を見つけること」と、「その解法がすべての悪い（支配された）手を完全に無視することを保証すること」の両立です。著者であるマーク・ウィトマイヤーは、両方を手に入れることはできないと証明しています。もし、あらゆるゲームに対して存在が保証される解法を求めるならば、その解法に対して、悪い手の「集合全体」を一度に完全に無視することを要求することはできないのです。

ここにひねりがあります。この論文は、個々の悪い手については無視できるとしても、その「塊（集合）」としての悪い手を無視することはできないということを示しています。想像してみてください、大量の腐ったリンゴが入った大きな袋があるとします。あなたは腐ったリンゴを一つ指差して、「私はこの一個は食べない」と言うことは簡単にできます。そして、個々の腐ったリンゴすべてに対して同じことができます。しかし、この論文は、ある種の無限のゲームにおいては、解法が「特定の腐ったリンゴは食べない」と言いながら、同時に「腐ったリンゴの袋全体」を食べるという決定を下してしまう可能性があることを証明しています。これは、個々の部分は存在しないものとして扱われているのに、全体は実在するものとして扱われるというパラドックスです。

著者は、この点を証明するために、特定のトリッキーなゲームを構築しています。このゲームには、他の手よりも厳密に劣っている手の無限のリストが存在します。論文は、あらゆるゲームにおいて存在し、かつ悪い手のリスト全体を一度に無視しようとするいかなる試みも失敗することを、数学的な矛盾へと導くことで示しています。しかし、救いもあります。ルールをほんの少し緩めれば、依然として解法を見つけることができると論文は述べています。解法に「悪いリンゴの袋全体」を無視することを求めるのではなく、「リンゴを一つずつ」無視することを求めるのです。このより弱いバージョンは完璧に機能します。論文は、すべての有界なゲームにおいて、個々の支配された手に「ゼロ」の評価を与えつつ、それらの手の集まりには「一」の評価を与えることができる均衡を見つける方法があることを証明しています。

したがって、主な教訓は、ゲームの数学における鋭い境界線です。どこでも存在し、個々の悪い手を無視する解法を持つことはできますが、どこでも存在し、かつその悪い手のグループを一つの単位として無視する解法を持つことはできません。論文は単にこれを示唆しているのではなく、そのような「完璧な」解法は不可能であるという厳密な数学的証明を提供しています。これは、ゲーム理論の無限の世界においては、時には「解法が存在すること」と、「解法が私たちの直感通りに振る舞うこと」のどちらかを選ばなければならないということを思い出させてくれます。「フリー・エクリブリウム（無料の均衡）」というタイトルが冗談めかして言っている通り、そんなものは存在しません。なぜなら、常に代償を支払わなければならないからです。解法の存在を保証するか、あるいは、その解法が悪い戦略の集合全体を完全に退けることを保証するか、どちらかを選ばなければならないのです。

技術的要約：TANSTAAFE（無料の均衡などというものは存在しない）

問題提起
本論文は、無限ゲーム（行動集合が無限であるゲーム）における均衡の存在に関する、ゲーム理論における根本的な緊張関係を取り上げている。有限ゲームでは混合戦略によるナッシュ均衡が必ず存在するが、無限ゲームでは必ずしも存在しない。標準的な解決策は、戦略空間を可算加法的な確率から有限加法的な確率へと拡張することである。これにより均衡の存在は回復されるものの、厳密に支配された行動に関する「点での零性（point-nullity）」と「集合としての零性（set-nullity）」との間に病理的な区別が生じる。

具体的には、有限加法的な確率測度は、厳密に支配された無限個の行動の集合において、個々の行動には確率ゼロを割り当てつつ（点での零性）、それらの行動の集合全体には確率１を割り当てる（集合としての零性の失敗）ことができる。中心となる問いは、以下の3つの望ましい特性を同時に満たすことができる解概念が存在するかどうかである。

普遍的な非空性： すべての有界なゲームに対して解が存在すること。
均衡特性： ゼロサムゲームにおける整合性要件（具体的には、一方的な逸脱の評価の和がゼロを超えないという条件）を遵守すること。
集合としての零性： 厳密に支配された行動の集合全体が無視される（確率ゼロが割り当てられる）こと。

手法
著者は、有界な実数値関数の空間 $\ell^\infty(X)$ と、評価（線形汎関数） $\Lambda: \ell^\infty(X) \to \mathbb{R}$ を用いた関数解析的なアプローチを採用している。

定義： 論文では、集合 $B$ が $\Lambda$ -零であるとは、 $B$ 上のペイオフを変更しても評価 $\Lambda(B)$ が変化しないことを指すと定義している。これは、「点での零性」（個々の支配された行動は零である）と「集合としての零性」（支配された行動の集合全体が零である）を区別している。
反例の構築： 3つの特性の互換性をテストするために、著者は特定の有界な二人零サムゲーム $\Gamma^*$ を構築する。このゲームでは、行動集合は $C \cup \mathbb{N}$ （ここで $C=\{H, T\}$ ）である。ペイオフ構造は、各プレイヤーにとって自然数が厳密に増加する支配の連鎖（ $n+1$ が $n$ を厳密に支配する）を形成するように設計されており、これにより集合 $\mathbb{N}$ 全体が厳密に支配されている。
有限近似： 正の結果を確立するために、本論文では「有限近似可能な均衡」の概念を利用する。これは、ゲームの有限な制限（有限の部分集合を最終的に含む網）からの混合ナッシュ均衡の極限（弱-*位相における極限）をとるものである。

主要な結果

集合としての零性の不可能性（定理 3.3）：
本論文は、普遍的に非空であり、ゼロサムゲームの均衡特性を満たし、かつ集合としての零性を満たすことができる解対応は存在しないことを証明している。

メカニズム： 構築されたゲーム $\Gamma^*$ において、もし解が集合としての零性を満たすならば、支配された行動の集合 $\mathbb{N}$ には確率ゼロが割り当てられなければならない。しかし、ペイオフ構造により、特定の支配された行動（例えば行動1）は、安全な行動 $C$ に対して正のペイオフを持つことが強制される。これは、ゼロサムの均衡条件（条件Z： $\Lambda_2(u_1) + \Lambda_1(u_2) \leq 0$ ）と矛盾する。具体的には、 $\mathbb{N}$ が零である場合、プレイヤーは $C$ に制限されているかのように振る舞うが、支配の構造は、特定の相手の動きに対して $\mathbb{N}$ 内の行動をとることがより高いペイオフをもたらすことを示唆しており、これが解集合を空にするという矛盾を生じさせる。

点での零性の実現可能性（定理 4.7）：
より弱い要件である「点での零性」は、普遍的な存在性と均衡特性と両立可能であることを本論文は示している。

メカニズム： 有限近似可能な均衡の周辺分布に基づく解対応 $S_{pt}$ を定義することで、著者は、任意の十分に大きな有限の制限において、厳密に支配された行動は決して最適反応にはならず、したがって有限のナッシュ均衡においてゼロの確率を受け取るため、個々の厳密に支配された行動は確率ゼロが割り当てられることを示している。弱-*極限は、この単元集合に対する性質を保存する。

区別の鋭さ（系 4.8）：
著者は、点での零性を満たすが集合としての零性に失敗する、 $\Gamma^*$ の特定の有限近似可能均衡を構築している。この均衡では、個々の支配された行動 $n \in \mathbb{N}$ はすべて確率ゼロであるが、集合 $\mathbb{N}$ 全体としては確率１を持つ。これは、集合としての零性の不可能性という結果が、特定の構成によるアーティファクトではなく、フレームワークにおける根本的な限界であることを裏付けている。

意義および主張
本論文の主たる貢献は、新しい均衡の構築ではなく、「鋭い境界画定」にある。それは、無限ゲームにおける可能な範囲を確定させている。

負の結果： 普遍的に存在する均衡概念に対して、支配された行動の集合全体を無視すること（集合としての零性）を要求することは不可能である。
正の結果： 普遍的に存在する均衡概念に対して、個々の厳密に支配された行動を無視すること（点での零性）を要求することは可能である。

著者は、有限の行動集合においては、ある集合が確率１を持ちながらその要素のすべてが確率ゼロであるという有限加法的な確率の病理的性質は避けられないと論じている。結論として、有限近似は固定された支配された行動を排除できる一方で、普遍的に存在する解は、たとえ個々の行動がゼロであっても、支配された行動の集合全体をゼロであると一般に要求することはできない。これは、有限近似によって固定された支配された行動を排除できる一方で、集合としての支配された行動がコレクティブに零であることは保証されないというコストを支払うことで、自由な均衡の存在（病理的な副作用のないもの）との間の緊張関係を解決している。

関連論文