Emergence of polymorphism in stochastic evolutionary games

人々が協力するか競争するか、分かち合うか奪うかを絶えず選択している、活気ある都市の広場を想像してみてください。科学者たちは、こうした選択が時間の経過とともにどのように進化するかを研究するために、「進化ゲーム理論」と呼ばれる分野を用いています。これは、あらゆる動きがポイントを獲得し、そのポイントによって、次の世代にどれだけの「コピー」の戦略が受け継がれるかが決まる、巨大で見えないスコアボードのようなものです。長い間、これをモデル化する最も一般的な方法は、「決定論的」なアプローチでした。これは、結末が完全に予測可能なスローモーションの映画を見ているようなものです。ルールと初期値を知っていれば、全員が最終的にどこに行き着くのかを正確に計算できます。この滑らかで理想的な世界では、ゲームをしている動物の集団は、しばしば一つの混ざり合った平均値として扱われます。個々の動物が攻撃的な状態と平和的な状態をランダムに切り替える「カメレオン」であっても、群衆が純粋な「ファイター」と純粋な「ピースキーパー」の混合体であっても、全体の比率が同じであれば、数学的にはそれらは同一であるとされます。

しかし、現実の世界は滑らかな映画ではなく、限られた人数による混沌とした、ノイズの多い現実です。ここで、「震える手（trembling hand）」仮説と呼ばれる有名な概念が登場します。これは、有限のグループにおいては、ランダムな事故やノイズが最終的にその混合状態を根絶し、ただ一つのタイプの動物だけが広場を支配することを示唆しています。しかし、ここにひねりがあります。科学者がこのノイズの多いグループのコンピュータ・シミュレーションを実行したところ、結果が必ずしも「震える手」の予測と一致しないことがありました。時として、異なるタイプが混ざり合った状態が、ノオイズが全員を同一にするという考えに抗って、永遠に維持されるように見えたのです。これは、一つのパズルを生み出しました。滑らかな数学はあることを示し、ノイズの多いシミュレーションは別のことを示しており、どちらが正しいのか誰も分からなかったのです。

本論文は、「ホーク・ドーブ（タカ・ハト）」ゲームとして知られる古典的な葛藤シナリオに着目することで、このパズルを解こうとしています。一つのジューシーな食べ物をめぐって争う動物のグループを想像してください。「ホーク（タカ）」は攻撃的なファイターであり、平和的な動物である「ドーブ（ハト）」を追い払って獲物全体を奪います。二体のドーブが出会った場合、彼らは平和的に分け合います。しかし、二体のホークが出会った場合、彼らは戦い、両者が傷つき、分け合った場合よりも少ない成果しか得られなくなります。数学によれば、完璧な世界では、人口は特定のバランスへと落ち着きます。著者たちは、現実のノイズの多い世界で、限られた数の動物がいる場合、集団は単一の均一なタイプ（単一形態）になるのか、それとも異なるタイプが長く共存する混合状態（多型状態）に陥るのかを知りたいと考えました。

研究者たちは、集団を滑らかな平均としてではなく、それぞれ独自の戦略を持つ個々の動物の集合体として扱う新しい数学的モデルを構築しました。彼らは「タイムスケール分離（timescale separation）」という手法を用いました。これは、集団の素早い調整を早送りビデオのように観察し、その後に、ランダムなノオイズが時間の経過とともにどのようにシステムをゆっくりと動かすかをスローモーションで観察するようなものです。彼らは、「震える手」の考え方が常に全容を捉えているわけではないことを発見しました。集団は、戦略の混合が安定して見える特定の経路（「中心多様体」）へと素早く落ち着きますが、ランダムなノイズは単にシステムを唯一の勝者へと押し進めるだけではありません。むしろ、特定の条件下では、ノイズが実際には集団を「メタステーブル（準安定）」な状態に閉じ込めるのです。

シミュレーションにおいて、彼らは集団が、純粋なファイターと純粋なピースキーパーが非常に長い間共存するという、長期的な「多型」状態に陥る可能性があることを観察しました。彼らは解析的に、集団が単一の均一なタイプになる確率は、集団が巨大になっても100%には達せず、確実性から離れた範囲に留まることを証明しました。これは、「全ナッシュ（all-Nash）」状態（全員が完璧な混合戦略をプレイする状態）が好まれるものの、それが保証されているわけではないことを意味します。ノイズは、集団を驚くほど長い間、多様な混合状態に留めておくことができるのです。

また、本論文は新しい突然変異（新しい戦略）が現れたときに何が起こるかについても探求しました。集団が「バランス点」の片側にいくつかの戦略を持ち、もう片側に他の戦略を持っている場合、システムは変化に対して極めて安定することが分かりました。一方の側が他方を根絶するには、指数関数的な長い時間を要します。これは、現実の世界において、多様性を破壊すると考えられていたはずの「ランダムさ」そのものによって、長期的な多様性が維持されている可能性があることを示唆しています。著者たちは、古典的な数学は優れた第一近似を与えるものの、現実の集団が持つ乱雑で有限な性質によって、多様な戦略が豊かに持続的に生存できることが可能であり、それによって滑らかな理論とノイズの多いシミュレーションの間の矛盾が解消されると結論付けています。