進化的安定戦略

テンプレート:Pathnavbox 進化的安定戦略（しんかてきあんていせんりゃく、テンプレート:Lang-en-short、ESS）は、進化生物学およびゲーム理論の重要な概念で、ジョン・メイナード＝スミスとジョージ・プライスによって1973年に提唱された。

これは、生物の母集団の取る、「侵略されない戦略」の概念を基礎としている。仮に突然変異で対立遺伝子が発生し、別の戦略を取って他の生物に働きかけようとしても、母集団を侵略することはできず、逆に自然淘汰で排除されてしまうような戦略である。メイナード＝スミスらはこの概念によってゲーム理論の有効性を広く示し、行動生態学、経済学、心理学などに影響を与えた。

概要

具体例をもとに進化的安定性を説明する。動物が交尾相手や餌といった資源を同じ種の個体と争う場合、互いに殺し合うような闘争を避け、威嚇などの儀式的な闘争をする事で決着をつける事がある。 こうした儀式的闘争が発達した原因として、進化的安定性の概念が登場する以前は、「闘争の際に殺し合いを行なう種は絶滅してしまうので、儀式的闘争をする種だけが生き残った」といった群淘汰的な理由づけがなされがちであった。

しかし自然選択の対象が個々の個体である事を考えると、群淘汰的な理由づけでは儀式的闘争が数多くの種で発達した事をうまく説明できない。また、実際の動物の闘争を観察すると、戦いがエスカレートして傷つけ合ったり殺し合ったりする事も珍しくない事も前述した理由づけとは合致しない。

そこで、儀式的闘争のような現象を群淘汰に頼らず、生物進化の基本的な原則である「自然選択によって繁殖成功率が高い適応戦略が種に広がっていく」という事によって説明する為の枠組みが、本稿の主題である進化的安定性である。

話を簡単にするため、動物の戦略が「タカ戦略」と「ハト戦略」の２つのみからなる場合を考える。タカ戦略とは、闘争がエスカレートした場合に戦う戦略であり、ハト戦略は闘争がエスカレートした場合には逃げる戦略である。

もし同じ動物種に属する全ての個体が常にハト戦略を取るのであれば、儀式的なものであれ実際的なものであれ、闘争は生じないであろう。しかしこのような種に突然変異などによって生まれた、タカ戦略を取る個体が少しでも侵略してくれば、周囲にいるハト戦略の個体は全て逃げ出すわけだから、タカ戦略を持つ個体が圧倒的に有利となり、子孫を残す事で種にタカ戦略が広がる事となる。したがってハト戦略を取る個体だけからなる種は安定しない。

逆に全ての個体が常にタカ戦略を取るとすれば、闘争は常にエスカレートする。ここにハト戦略の個体が侵入してくると、他の個体が闘争により著しく疲弊している中、闘争から逃げているハト戦略の個体だけが有利となり、ハト戦略が種の中に広まっていく。したがってタカ戦略を取る個体だけからなる種もやはり安定しない。

こうして、ハト戦略の個体とタカ戦略の個体が混じり合った状態で種は安定する事になる。この状態では、闘争相手がハト戦略を取るかタカ戦略を取るかを見極める事が重要となる為、儀式的闘争が発達する事になる。

進化的安定性は、上で述べたような複数の戦略が入り混じった状態での安定性概念である。

混合戦略

前節で説明した例をはじめとして、生物による多くの駆け引きは、自身の利得を最大化しようとする個体の同士による一種のゲーム(進化ゲーム)とみなす事ができる為、生物の駆け引きをゲーム理論により記述する事ができる。

進化的安定性の概念もゲーム理論の枠組みで記述でき、その定式化にはゲーム理論における混合戦略の概念が有用となる。

前節で説明した例を使って説明すると、闘争が必要になった時、各個体が取りうる選択肢として、｢タカ戦略｣と｢ハト戦略｣という二種類の戦略(純粋戦略)があった。しかし各個体はこれらの純粋戦略のうちひとつを常に取り続けるわけではなく、｢30%の確率でタカ戦略を取り、70%の確率でハト戦略を取る｣といった戦略をも取りうる。

混合戦略とは、このように個々の純粋戦略の上に確率を付与した戦略を指す。進化的安定性の概念は、この混合戦略の概念に対して定式化される。

進化的安定性の直観的な定式化

進化的安定性とは、何らかの混合戦略が集団の中で支配的になるための条件である。すなわち、混合戦略 σ が進化的に安定であるとは、直観的には、集団の中に戦略σがすでに広まっている状況下において、 別の混合戦略τ を取る個体が少数侵入してきたとしても、それが排除される事をいう。

より詳しく言うと、たとえσ に近い別の混合戦略 τ を取る個体群が集団に少数侵入してきたとしても、戦略σ を取る個体と戦略τを取る個体が2者間で戦った際、前者の個体の方がより高い利得が期待できるため、戦略τを取る個体は自然選択により、いつしか集団から消えてしまう、という事である。

ゲーム理論からの準備

進化的安定性はゲーム理論の概念に基づいて定式化することができる。そこで本節では、必要なゲーム理論の概念を導入し、次節で進化的安定性を定式化する。

利得関数

定義

進化的安定性を定義するには、まず個々の個体の利得をゲーム理論的に定義する必要がある。ゲーム理論において利得はほかの個体とゲームを行ったときに得られる実数値として定義され、得られる利得は自分が取った戦略と対戦相手がとった戦略の結果として決まる。

すなわち、純粋戦略i を取る個体P が、純粋戦略 j を取る別の個体Qとゲームを行ったとき、個体Pは利得と呼ばれる実数値

$E(i,j)$

を獲得する。そしてi、jに$E(i,j)$を対応させる関数Eを個体Pに関する利得関数と呼ぶ。

利得関数はゲームが始まる前の段階で、外界の状況等により事前に定まっており、個々の個体が変えることはできない。個々の個体にできるのは、与えられた利得関数から得られる利得を最大化するよう自身の戦略を選ぶことだけである。

対称性

進化的安定性を定義する際には、全ての個体に対して同一の利得関数が適用される事が前提となる。したがって純粋戦略i を取る個体P が、純粋戦略 j を取る別の個体Qと戦った時、個体Qが得る利得を

$E^{\prime }(i,j)$

とすると、

$E^{\prime }(i,j)=E(j,i)$

が任意のi、jに対して成立する事が要請される。利得関数がこのような性質を満たすゲームを対称なゲームという。

混合戦略の利得

混合戦略を取る個体の利得は、純粋戦略に対する利得の期待値として定義される。すなわち、各個体が取りうる純粋戦略にテンプレート:Mathと番号をつけ、純粋戦略テンプレート:Mathを取る確率がテンプレート:Mvarである混合戦略を$(p_i{)}_{i=1,\dots ,n}$と書く事にすると、個体P 、Qがそれぞれ混合戦略$\sigma =(p_i{)}_{i=1,\dots ,n}$、$\xi =(q_i{)}_{i=1,\dots ,n}$を取る際のPの利得は、

$E(\sigma ,\tau )=\sum _{i,j}{p}_i{q}_{j}E(i,j)$

により定義される。

進化ゲームの定式化

進化的安定性を定義するためのゲーム（進化ゲーム）は以下のようなものである。なお、このゲームはゲーム理論の言葉で言えば「対象な2人戦略型ゲーム」に相当する。

進化的安定性を定義するための進化ゲームでは、対戦する2個体A、Bが選択肢として取りうる純粋戦略1、2、…、および利得関数テンプレート:Mvarが「ゲームのルール」として事前に定まっている。そしてA、Bは以下の手順でゲームを行なう：

1. A、Bはそれぞれ、与えられた選択肢の中から１つの純粋戦略i、jを秘密裏に選ぶ
2. A、Bはi、jを同時に公表する
3. A、Bはそれぞれ利得$E(i,j)$、$E(j,i)$を得る。

A、Bの目的は、自身の利得を最大化する事である。

前節でも述べたように、進化的安定性の文脈では全ての個体に対して同一の利得関数が適用される事が前提とされるため、上述したゲームにおいてA、Bが得られる利得はそれぞれ$E(i,j)$、$E(j,i)$と対称な形になっている。

上述した進化ゲームは、ゲームに参加する2個体A、B取りうる純粋戦略をそれぞれ行、列としてA、Bの利得を行列の形にまとめた利得表により特徴づけられる。

具体例

下に上げたのは、前述したタカ戦略、ハト戦略からなる進化ゲーム（タカハトゲーム）の利得表である：

	タカ	ハト
タカ	$(\frac{V-C}{2},\frac{V-C}{2})$	$(V,0)$
ハト	$(0,V)$	$(\frac{V}{2},\frac{V}{2})$

ここでテンプレート:Mvarは2個体が争っている資源（例えば餌）を得た時に得られる利得を表し、テンプレート:Mvarは闘争によって怪我を追う事による損失を表す。

また利得表で縦軸は個体Aの取る戦略、横軸は個体Bの戦略であり、表内の (○, △)は、A、Bの利得がそれぞれ○、△である事を意味する。例えば表の左下のマスにかかれているテンプレート:Mathは個体Aがハト戦略、個体Bがタカ戦略を取った時、A、Bの利得がそれぞれテンプレート:Mvar、テンプレート:Mvarである事を意味する。表の左上と右下で値が2で割られているのは、2個体で資源を分け合った為である。

混合戦略の線形結合

最後に、進化的安定性を定義する際に記法を簡単にするため、混合戦略の「線形結合」を定義する。

以下、話を簡単にするため、各個体が取れる純粋戦略の種類が有限個である事を仮定するが、無限個の場合にも自然に定義を拡張できる。

まず、記号を定義する。各個体が取りうる純粋戦略にテンプレート:Mathと番号をつける。そして純粋戦略テンプレート:Mathを取る確率がテンプレート:Mvarである混合戦略を$(p_i{)}_{i=1,\dots ,n}$と書く事にする。

2つの混合戦略の$\sigma =(p_i{)}_{i=1,\dots ,n}$、$\xi =(q_i{)}_{i=1,\dots ,n}$、および実数テンプレート:Mvarとテンプレート:Mvarが与えられた時、テンプレート:Mvar、テンプレート:Mvarのテンプレート:Mvar、テンプレート:Mvarによる線形結合を

$a\sigma +b\xi =(a{p}_i+b{q}_i{)}_{i=1,\dots ,n}$

により定義する。$a+b=1$であれば、混合戦略の線形結合$a\sigma +b\xi$もまた、混合戦略である。

テンプレート:Mvarを利得関数とするとき、任意の混合戦略テンプレート:Mvar、テンプレート:Mvar、テンプレート:Mvarに対し、次が成立する事が簡単な計算により分かる：

$E(\tau ,a\sigma +b\xi )=aE(\tau ,\sigma )+bE(\tau ,\xi )$　　　…テンプレート:EquationRef

進化的安定性の厳密な定義

有限個の純粋戦略を持つ戦略型ゲームの事を(利得表が有限サイズの行列の形に書けるので)行列ゲームテンプレート:Refnestといい、これはもっとも典型的な進化ゲームの一つである。本節では対称な行列ゲームに対する進化的安定性を３つの異なる視点から定義づける。これら３つの定義は対称な行列ゲームにおいては同値であるが、より一般的な進化ゲームにおいては必ずしも同値ではない。

定義

対称な行列ゲームにおける進化的安定性は以下のように定義される。テンプレート:Math theoremテンプレート:EquationNoteのテンプレート:Mvarを侵入障壁という。テンプレート:EquationNoteでは侵入障壁テンプレート:Mvarが混合戦略テンプレート:Mvarに依存する事を許容するバージョンの定義を採用したが、テンプレート:Mvarがテンプレート:Mvarに依存しないバージョンの定義も存在し、これを一様な侵入障壁をもつ進化的安定性（ESS with uniform invasion barrier）と呼ぶ。一般には一様なもののほうがそうでないものより強い定義であり、純粋戦略が無限個あるゲームの場合には進化的安定であるにもかかわらず一様な侵入障壁をもつ進化的安定ではない混合戦略が存在する事が知られている。しかしテンプレート:EquationNoteで考えているゲーム（＝有限個の純粋戦略を持つ対象な戦略型ゲーム）の範囲では、両者の定義は同値である。

定義の解釈

混合戦略${\sigma }_{*}$を取る個体の集団に、混合戦略$\sigma$を取る個体群が侵入し、集団全体の中で後者の割合がテンプレート:Mvarになったとする。このとき、対戦相手がランダムに選ばれるとすれば、混合戦略${\sigma }_{*}$を取る個体の利得の期待値は

$(1-\epsilon )E({\sigma }_{*},{\sigma }_{*})+\epsilon E({\sigma }_{*},\sigma )=E({\sigma }_{*},(1-\epsilon ){\sigma }_{*}+\epsilon \sigma )$

となり、テンプレート:EquationNoteで登場する不等式の左辺と一致する。同様の理由により混合戦略$\sigma$を取る個体の利得の期待値は

$E(\sigma ,(1-\epsilon ){\sigma }_{*}+\epsilon \sigma )$

となり、テンプレート:EquationNoteで登場する不等式の右辺と一致する。

したがってテンプレート:EquationNoteは混合戦略$\sigma$を取る個体群が${\epsilon }_0$以下の割合テンプレート:Mvarだけ侵入したとしても、混合戦略${\sigma }_{*}$を取る個体の利得の期待値の方が混合戦略$\sigma$を取る個体の利得の期待値よりも真に大きくなる事を示している。

局所優位性(local superiority)

２つの混合戦略${\sigma }_{*}=(p_i{)}_{i=1,\dots ,n}$、$\sigma =(q_i{)}_{i=1,\dots ,n}$の距離を

$\mathrm{d}({\sigma }_{*},\sigma ):=\sqrt{\sum _{i=1}^n|p_i-q_i{|}^2}$　　　…テンプレート:EquationRef

により定義するとき、進化的安定性を以下のように異なる角度から特徴づける事ができる：テンプレート:Math theoremなお、上では距離をテンプレート:EquationNote式に従って定義したが、テンプレート:EquationNoteに書いたESSの別定義で本質的なのは距離そのものではなく、距離から定まる位相構造なので、テンプレート:EquationNote式の代わりに以下のℓ¹距離

$\mathrm{d}({\sigma }_{*},\sigma ):=\sum _{i=1}^n|p_i-q_i|$　　　

を用いて定義してもテンプレート:EquationNoteのものと同値になる。

テンプレート:EquationNoteに書いたESSの別定義はより広範な進化ゲームに対して進化的安定性の概念を一般化する場合に有益であり、一般化のさせかたにより、neighborhood invader strategy、neighborhood superiorなどとも呼ばれる。

簡便な特徴づけ

テンプレート:EquationNoteは進化的安定性の直観的な意味を自然に定式化したものになっているものの、この定義に基づいて混合戦略の進化的安定性を直接チェックするのは容易ではない。そこで進化的安定性をより簡単にチェックする事を可能にする、別の特徴付けを紹介する：テンプレート:Math theorem

テンプレート:Math proof

与えられた混合戦略テンプレート:Mvarに対し、$E(\xi ,\tau )$を最大にする混合戦略テンプレート:Mvarをテンプレート:Mvarの最適反応(best reply)という。

均衡条件は、${\sigma }_{*}$が${\sigma }_{*}$自身の最適反応である事を意味しており、$E(\xi ,{\sigma }_{*})$の最大値は$M=E({\sigma }_{*},{\sigma }_{*})$である。一方、安定条件は、$M=E(\sigma ,{\sigma }_{*})$を満たす$\sigma \ne {\sigma }_{*}$、すなわち${\sigma }_{*}$に対する最適反応のうち${\sigma }_{*}$以外の混合戦略$\sigma$は$E({\sigma }_{*},\sigma )>E(\sigma ,\sigma )$を満たしている事を意味している。

ナッシュ均衡との関係

ゲーム理論における重要な均衡概念としてナッシュ均衡があり、進化的安定性は$({\sigma }_{*},{\sigma }_{*})$のナッシュ均衡性と関係がある。本項で考えているゲーム（2人対称戦略型ゲーム）の場合、混合戦略の組$({\sigma }_{*},{\sigma }_{*})$がナッシュ均衡であるとは任意の混合戦略テンプレート:Mvarに対し、

$E({\sigma }_{*},{\sigma }_{*})\ge E(\sigma ,{\sigma }_{*})$　　…テンプレート:EquationRef

が成立する事を言う。特に任意の混合戦略テンプレート:Mvarに対してテンプレート:EquationNote式の不等号がイコールなしで成り立つ場合、$({\sigma }_{*},{\sigma }_{*})$は狭義ナッシュ均衡であるという。

テンプレート:EquationNoteから明らかに以下の事実が成りたつ：テンプレート:Math theorem しかしテンプレート:EquationNoteの逆向きの包含関係は一般には成立しない。

具体例

前述したタカハトゲーム対してテンプレート:EquationNoteを適用する事で次が成立する事が分かる：

• テンプレート:Mathなら、「確率テンプレート:Mathでタカ戦略、確率テンプレート:Mathでハト戦略」という混合戦略は進化的安定である
• テンプレート:Mathなら、「確率1でタカ戦略」という純粋戦略が進化的安定である。これは利得テンプレート:Mvarが非常に高い資源を争う場合は、儀式的闘争ではなく直接的闘争が行われる事を意味する。

進化的安定性概念の一般化

モチベーション

これまで本稿では、行列ゲームに対する進化的安定性を議論してきたが、行列ゲームは下記のような条件を満たす場合にしか現実世界の生物の闘争をモデル化できない：

1. ゲームは一度しか行われない
2. 各個体がとれる純粋戦略の個数は有限である
3. 各個体がどの純粋戦略を取るのかはゲーム開始時点にランダムに選ぶ事ができる
4. ゲームは常に２個体で行われる
5. 全ての個体に対して同一の利得関数が適用される事が前提としている

しかし実際の生物学における応用では、以上の条件を満たさない事も多い：

1. 多くの状況では各個体はその生涯において何度も他の個体と闘争を繰り返すので、ゲームを繰り返し行う形でモデル化した方が自然な場合が多い
2. 「植物が種を飛ばす飛距離」や「動物が行動を起こすまでの時間」のように純粋戦略として連続量を取る事ができるケースでは純粋戦略の個数は無限にある
3. 哺乳類の配偶戦略のように「オスかメスか？」という生まれた段階で決定する戦略は、ゲーム開始時点にランダムに選ぶ事はできない
4. 草むらで種をばらまいて近くにいる他の全ての個体と種のばらまく位置を争うケースのように、複数個体と争うゲームも多い
5. 「オスとメス」、「テリトリーを守る個体とそこに侵入する個体」のように非対称な闘争では、闘争する個体がどちらの立場にいるのかで利得関数が異なるはずである

本章の目標は上で述べたような、行列ゲームの範疇に収まらないより一般的なゲームに対して進化的安定性を定義する事である。

一般化の手法

本節では上述した1,...,5の制約を外すための手法を順に述べていく。

繰り返しゲーム

まず1に関しては、ゲーム理論の言葉で言えば繰り返しゲームを考える必要がある、という事である。一回のゲームの利得と繰り返し行ったゲームの利得の平均値とを区別する為、一回のゲームの利得はこれまで通り$E(\cdot ,\cdot )$で表し、繰り返し行ったゲームの利得の平均値を$ℰ(\cdot ,\cdot )$と表す事に事にする。

ゲームを行うたびに闘争相手が毎回異なると仮定できる場合には、繰り返しゲームの平均利得$ℰ(\cdot ,\cdot )$は$E(\cdot ,\cdot )$と一致する（詳細後述）。一方、同一の闘争相手と何度もゲームを繰り返す場合はより複雑で、後退帰納法（有限繰り返しゲームの場合）やフォーク定理（無限繰り返しゲームの場合）など、ゲーム理論の手法を用いて$ℰ(\cdot ,\cdot )$を求める必要がある。

戦略空間

2および3に関しては、戦略空間(strategy space)という概念を導入する事で一般化を図る。戦略空間とは、そのゲームにおいて各個体が取りうる戦略全体の集合の事である。例えば行列ゲームの場合は混合戦略全体の集合が戦略空間である。すなわち、

${\mathrm{\Delta }}_n=\{(p_i{)}_{i=1,\dots ,n}|0\le p_1,\dots ,p_n\le 1,\sum _{i=1}^n{p}_i=1\}$　　　　...(テンプレート:EquationRef)

が戦略空間である。ここでテンプレート:Mvarは取りうる純粋戦略の個数である。

また「個体の体長」のように連続量の純粋戦略が取れる（が闘争の際ランダムに体長を変える事はできないので混合戦略は取れない）ゲームの場合、戦略空間は正の実数全体の集合

${𝐑}_{+}=\{x>0\mid x\in 𝐑\}$

である。一方「動物が行動を起こすまでの時間」のように純粋戦略は連続量であり、混合戦略も取りうるゲームの場合には、戦略空間は

$\{$テンプレート:Math上の確率分布$\}$

である。なお進化的安定性の議論では、戦略間の「近さ」の概念が定義できる事が望ましいので、戦略空間が位相空間である事を求める事も多い。

個体群

4に関しては、個体vs.個体だけでなく個体vs.個体群(population)の闘争を考える事で一般化を図る。個体群に属する個体数が有限である場合には数学的解析が難しくなるので、以下本説では個体数が無限であるものと仮定する。より厳密に言うと、戦略空間テンプレート:Mvarに属する戦略テンプレート:Mvarを取る個体の割合をテンプレート:Math区間に属する実数として定義できるものと仮定する。現実には無限の個体を含む個体群は存在しないが、個体群に属する個体が十分大きい場合には、近似的にこのような仮定を置いて議論を進める事ができる。

個体群の各々の個体は戦略空間テンプレート:Mvarに属するいずれかの戦略を取る。個体群テンプレート:Mvarにおいて、「戦略テンプレート:Mathを（確率1で）取る個体の割合がそれぞれテンプレート:Mathである」という状態を

${\epsilon }_1{\delta }_{{\sigma }_1}+\cdots +{\epsilon }_1{\delta }_{{\sigma }_m}$

もしくは

$\sum _{i=1}^m{\epsilon }_i{\delta }_{{\sigma }_i}$

と表記し、これをテンプレート:Mvarの個体群戦略(population strategy)と呼ぶ。個体群戦略と区別するため、個々の個体の戦略の事を強調して個体戦略(player strategy)と呼ぶ。

なお上の式における記号「テンプレート:Mvar」は、混合戦略の和「${\epsilon }_1{\sigma }_1+\cdots +{\epsilon }_1{\sigma }_m$」と区別する為につけられた単なる記号であると解釈して差し支えない。この場合、上記の式は数学的には形式和である。しかしこのテンプレート:Mvarをテンプレート:Mvar上で定義されたディラックのデルタ関数であると解釈する事で、上式をテンプレート:Mvar上の分布を表す式とみなす事もできる。

また上では個体群が有限個の戦略テンプレート:Mathのいずれかしか取らない場合を考えたが、テンプレート:Mvarが性質のよい空間であれば無限個の戦略を取る場合も考える事ができる。しかし進化的安定性を定義する上では有限個の戦略を取る場合のみを考察すれば十分であるので、本稿では以下、無限個の戦略を取る場合は考えない。

本稿では個体群の性質として主として考えるのは個体群戦略のみなので、紛れがなければ個体群テンプレート:Mvarとその個体群戦略とで記号を混用し、

$\mathrm{\Pi }={\epsilon }_1{\delta }_{{\sigma }_1}+\cdots +{\epsilon }_1{\delta }_{{\sigma }_m}$

という表記も用いるものとする。

対称化

5で述べたように実際の生物では２つの個体の立場が非対称なゲームも起こりうるが、進化ゲーム理論では２つの個体が対称な場合のみに対して進化的安定性を定義し、非対称なゲームには対称化を施す事により対称なゲームに対する進化的安定性の概念を利用する。例えば「オス」と「メス」という２つの立場がある状況では、個体が受精した際「オス」か「メス」かをランダムに選べる事を考慮する事により、全ての個体が「オス」になる可能性も「メス」になる可能性もある対称なゲームとして定式化する。

そこで本章では以下、対称なゲームに対する進化的安定性のみを議論するものとし、非対称なゲームに対する進化的安定性は後の章で議論するものとする。

行列ゲームの再定式化

以上までで述べた一般的なフレームワークにおける進化的安定性の定義を述べる前に、行列ゲームを上述のフレームワークにおいて再定式化する。このためにテンプレート:Mvar通りの純粋戦略テンプレート:Mathが取れる行列ゲームを考え、その利得関数をテンプレート:Mvarとする。さらにテンプレート:Mvarを個体群とし、テンプレート:Mvarを個体群テンプレート:Mvarの中にいる一匹の個体とし、テンプレート:Mvarが取る混合戦略を$\sigma =(p_i{)}_{i=1,\dots ,n}$とする。

前章で述べた行列ゲームでは、テンプレート:Mvarは個体群テンプレート:Mvarの中のいずれか一匹の個体と一度だけゲームを行う事を前提としていた。しかし本章で述べる一般的フレームワークにおいては、テンプレート:Mvarの中の複数の個体と闘争する事を前提としている。より正確に言うと、定数テンプレート:Mvarを固定し、以下のようなゲームをテンプレート:Mvar回繰り返す：

1. テンプレート:Mvarの中から一様ランダムに一匹の個体テンプレート:Mvarを選ぶ（テンプレート:Mvarはテンプレート:Mvar回行う各ゲームで毎回独立に選ばれる）。
2. テンプレート:Mvarとテンプレート:Mvarが利得関数テンプレート:Mvarを持つ行列ゲームを行う。

そしてこのようなゲームにおけるテンプレート:Mvarの平均利得を$ℰ(\sigma ,\mathrm{\Pi })$と表記する（ここで我々は前節で述べたように記号を混用して個体群テンプレート:Mvarの個体群戦略にもテンプレート:Mvarという記号を用いている）。

テンプレート:Mvarの個体群戦略が混合戦略テンプレート:Mvarにより

$\mathrm{\Pi }=\epsilon {\delta }_{\sigma }+(1-\epsilon ){\delta }_{\tau }$

と書けるとき、テンプレート:Mvarの対戦相手テンプレート:Mvarの戦略は確率テンプレート:Mvarでテンプレート:Mvarであり、確率テンプレート:Mathでテンプレート:Mvarである。行列ゲームはテンプレート:Mvar回行われるが、我々は個体群テンプレート:Mvarには無限に多い個体が含まれていると仮定していたので（前述）、テンプレート:Mvarが同一の個体と複数回ゲームを行う事はありえない。よってテンプレート:Mvar回の行列ゲームの平均利得$ℰ(\sigma ,\mathrm{\Pi })$は明らかに

$ℰ(\sigma ,\epsilon {\delta }_{\sigma }+(1-\epsilon ){\delta }_{\tau })=\frac{1}{k}\sum _{i=1}^k(\epsilon E(\sigma ,\sigma )+(1-\epsilon )E(\sigma ,\tau ))=E(\sigma ,\epsilon \sigma +(1-\epsilon )\tau )$

を満たす。すなわち行列ゲームの場合は複数回のゲームの平均利得$ℰ(\cdot ,\cdot )$と個体群戦略$\mathrm{\Pi }=\epsilon {\delta }_{\sigma }+(1-\epsilon ){\delta }_{\tau }$で考えようが、一回の行列ゲームの利得$E(\cdot ,\cdot )$と1個体の混合戦略$\epsilon \sigma +(1-\epsilon )\tau$で考えようが実質的な差はない。

しかし行列ゲーム以外のゲームではこのような単純な関係が成立するとは限らず、そもそも「２個体間の一回のゲームの利得」$E(\cdot ,\cdot )$が定義できない場合もある（例えば、２個体間の闘争ではなくテンプレート:Mvarの全ての個体が闘争する場合）ので、本章で述べる一般的なフレームワークにおいて改めて進化的安定性の概念を定式化する必要がある。

進化的安定性の定義

以上の準備の元、進化的安定性の概念を一般化する。集合テンプレート:Mvarを一つ固定し、これを戦略空間と呼び、テンプレート:Mvarの元を戦略ないし個体戦略と呼ぶ。そして任意の戦略テンプレート:Mathに対し、形式和

$\sum _{i=1}^m{\epsilon }_i{\delta }_{{\sigma }_i}$　　$(0\le \epsilon \le 1,\sum _i{\epsilon }_i=1)$

を個体群戦略と呼ぶ。さらに戦略テンプレート:Mvarと個体群戦略${\sum }_{i=1}^n{\epsilon }_i{\delta }_{{\sigma }_i}$の組に利得と呼ばれる実数を対応させる関数

$ℰ:(\tau ,{\sum }_{i=1}^n{\epsilon }_n{\delta }_{{\sigma }_n})\mapsto 𝐑$

を一つ固定し、この関数を利得関数と呼ぶ。直感的には$ℰ$の第一変数の個体戦略を取るある個体テンプレート:Mvarが、個体群戦略${\sum }_{i=1}^n{\epsilon }_i{\delta }_{{\sigma }_i}$を取る個体群の中で（一般には複数回）闘争したときのテンプレート:Mvarが得られる利得（ないしその平均値）が$ℰ(\tau ;{\sum }_{i=1}^n{\epsilon }_n{\delta }_{{\sigma }_n})$になるという事である。

以上のフレームワークにおいて、ゲームは戦略空間テンプレート:Mvarと利得関数$ℰ$の組$(X,ℰ)$として定義される。

ゲーム$(X,ℰ)$に関する進化的安定性は以下のように定義される：テンプレート:Math theorem上の定義ではテンプレート:Mvarはテンプレート:Mvarに依存する事を許容しているが、テンプレート:Mvarに依存しないテンプレート:Mvarが取れる場合には、一様な侵入障壁をもつ進化的安定性（ESS with uniform invasion barrier）と呼ぶ。

$ℰ$の定義より、任意の戦略$\sigma \in X$は$ℰ(\sigma ,\cdot )$のように個体戦略として$ℰ$の第一変数としてする事も、$ℰ(\cdot ,{\delta }_{\sigma })$のように個体群戦略として$ℰ$の第二変数として登場する事も可能である。したがって「オス」と「メス」のように立場の異なる個体が存在したとしても、第一変数を「オス」の戦略、第二変数を「メス」の戦略といったふうに2つの変数を使い分ける事はできない。すなわち前述したように、立場の異なる個体間の非対称なゲームに対する進化的安定性を上記の定義では記述できず、何らかの「対称化」の操作を行う事によって非対称ゲームを記述する必要がある。対称化に関しては後の章でより詳しく説明する。

$ℰ$の性質

すでに述べたように行列ゲームでは

$ℰ(\sigma ,\epsilon {\delta }_{\sigma }+(1-\epsilon ){\delta }_{\tau })=E(\sigma ,\epsilon \sigma +(1-\epsilon )\tau )$

という単純な関係があり、しかも行列ゲームの利得関数は行列を用いて簡単に表記できるので、線形性

$ℰ(\sum _i{\nu }_i{\sigma }_i,\sum _j{\epsilon }_j{\delta }_{{\tau }_j})=\sum _{i,j}{\nu }_i{\epsilon }_jℰ({\sigma }_i,{\delta }_{{\tau }_j})$

が成立した。

しかしこうした性質は行列ゲーム以外のゲームでは必ずしも成立するとは限らない。実際我々は現段階では一般のゲームにおける$ℰ$には一切仮定をおいていない為、線形性どころか連続性すら成り立つとは限らない。

このため行列ゲームに対して示した性質は一般のゲームに対しては無条件に成り立つとは限らず、線形性など何らかの仮定をおいた上でこうした性質（の類似物）を示す必要がある。

そこで本節では、線形性など$ℰ$に関する性質をいくつか導入し、これらの性質を元に進化的安定性の満たす性質を示す。

個体群戦略に関する線形性と個体戦略に関する線形性

本節では$ℰ$の線形性の概念を定義する。テンプレート:Math theorem

行列ゲームにおける混合戦略のように、戦略空間上に線形和が定義できる場合には、左線形性も同様に定義できる：テンプレート:Math theorem

これら２つの性質は行列ゲームの場合は明らかに満たされる。

多くのゲームにおいて、戦略空間テンプレート:Mvarは行列ゲームの場合と同様、何らかの混合戦略全体の空間であり、混合戦略$\sigma =(p_i{)}_{i=1,\dots ,n}$の利得は$ℰ(\sigma ,\mathrm{\Pi })=\sum _i{p}_iℰ(i,\mathrm{\Pi })$のように純粋戦略の利得の期待値として定義されるので、個体戦略に対する線形性は多くのゲームで成立する。

それに対し個体群戦略に対する線形性は満たさないゲームも多く、例えば以下の３つの状況では満たされない事が多い：

• ゲームが１：１の闘争でないとき
• （１：１の闘争であったとしても）同じ個体と複数回闘争しなければならないとき
• 取りうる戦略が連続量であるとき

2013年現在、「線形性が満たされないゲームに関する一般的な理論はまだ十分に発展しているとは言い難い」状況にあり、個別のゲームに応じた議論を行う必要がある。

多型-単型同値性

行列ゲームにおける戦略空間テンプレート:Mvarは混合戦略全体の集合なので、戦略同士の線形和が定義できる。このように戦略空間テンプレート:Mvar上に何らかの和の概念が定義できている場合、以下の概念を定式化できる：テンプレート:Math theorem多型-単型同値性は行列ゲームでは明らかに成立する：

$ℰ(\sigma ,\sum _i{\epsilon }_i{\delta }_{{\sigma }_i})=E(\sigma ,\sum _i{\epsilon }_i{\sigma }_i)=ℰ(\sigma ,{\delta }_{\sum _i{\epsilon }_i{\sigma }_i})$

多型-単型同値性の直観的な意味を説明する。テンプレート:EquationNoteの式の左辺では$ℰ$の第２変数が${\sum }_{i=1}^n{\epsilon }_i{\delta }_{{\sigma }_i}$であるので、個体群の中には戦略${\sigma }_1$を取る個体が割合${\epsilon }_1$だけ存在し、...、戦略${\sigma }_n$を取る個体が割合${\epsilon }_n$だけ存在するという状況を左辺は意味している。一方右辺では$ℰ$の第２変数が${\delta }_{{\sum }_{i=1}^n{\epsilon }_i{\sigma }_i}$であるので、個体群に属する全ての個体が全く同一の戦略${\sum }_{i=1}^n{\epsilon }_i{\sigma }_i$を取っている状況を右辺は意味している。

多型-単型同値性は${\sigma }_1,\dots ,{\sigma }_n$が純粋戦略であるケースを考えると理解しやすい。上で述べた事から、テンプレート:EquationNoteの式の左辺は純粋戦略${\sigma }_1$を取る個体が割合${\epsilon }_1$だけ存在し、...、純粋戦略${\sigma }_n$を取る個体が割合${\epsilon }_n$だけ存在するという状況である。すなわち全ての個体は何らかの純粋戦略を取っており、個体毎にどの純粋戦略を取るのかが決まっている状況である。これは例えば、遺伝的多型により、個体が生まれた段階でどの純粋戦略を取るのかが決まる場合がこの状況に相当する。

一方、テンプレート:EquationNoteの式の右辺は、全ての個体が全く同一の混合戦略${\sum }_{i=1}^n{\epsilon }_i{\sigma }_i$を取っている状況である。これは例えば、「混合戦略${\sum }_{i=1}^n{\epsilon }_i{\sigma }_i$を取る事」が遺伝的に単型な形で刷り込まれており、ゲーム開始の段階でランダムに${\sigma }_1,\dots ,{\sigma }_n$のうちどれかを行う場合がこの状況に相当する。

多型-単型同値性はこの多型のケースと単型のケースが$ℰ$の第一変数の戦略を取る個体テンプレート:Mvarの平均利得という観点から見るとこの「多型」の状況と「単型」の状況に差がない事を意味する。

テンプレート:Mvarの闘争相手がゲームのたびに個体群から毎回ランダムに選ばれるケース（個体群の個体数は無限大なのでこれは闘争相手が毎回異なる事を意味する）における繰り返し行列ゲームの場合には、明らかに多型-単型同値性が成立する。しかしゲームによっては多型-単型同値性が成り立たないものもあり、次章以降でそうしたゲームについて見る。

進化的安定性の簡便な特徴づけ

行列ゲームにおける進化的安定性の概念が均衡条件と安定条件により特徴づけられる事をテンプレート:EquationNoteで見た。この定理は本章で述べた一般的なゲームに関する進化的安定性に対しては常に成立するわけではないが、適切な条件下ではテンプレート:EquationNoteの類似物を示す事が可能である。

前節までと同様、テンプレート:Mvarを戦略空間とし、$ℰ(\cdot ,\cdot )$をテンプレート:Mvar上の個体戦略と個体群戦略に「利得」とよばれる実数値を対応させる関数とする。さらに戦略${\sigma }_{*},\sigma \in X$を固定し、インセンティブ関数$h_{{\sigma }_{*},\sigma }$を

$h_{{\sigma }_{*},\sigma }:[0,1]\to 𝐑,\epsilon \mapsto ℰ({\sigma }_{*},\epsilon {\delta }_{{\sigma }_{*}}+(1-\epsilon ){\delta }_{\sigma })-ℰ(\sigma ,\epsilon {\delta }_{{\sigma }_{*}}+(1-\epsilon ){\delta }_{\sigma })$

により定義する。ここで$[0,1]$は0以上1以下の実数全体の集合である。このとき次が成立する：テンプレート:Math theorem多くの生物学上の応用では、

$\frac{\partial }{\partial \epsilon }{h}_{{\sigma }_{*},\sigma }(0)=0$

を満たす$({\sigma }_{*},\sigma )\in X^2$の集合は零集合（≒面積0の集合）であるので、上記偏微分が0になる確率が0である事を多くのケースでは仮定できる（これをgeneric payoff assumptionという）。この仮定の元では進化的安定性は均衡条件と安定条件が両方成立する事とほとんど至る所で同値である。

定理３と定理G5の関係

本節ではテンプレート:EquationNoteとテンプレート:EquationNoteの関係を見るため、テンプレート:EquationNoteを行列ゲームに適用してみる。すでに述べたように行列ゲームでは

$ℰ(\sigma ,\epsilon {\delta }_{\sigma }+(1-\epsilon ){\delta }_{\tau })=E(\sigma ,\epsilon \sigma +(1-\epsilon )\tau )$

であり、$E(\cdot ,\cdot )$は右線形かつ左線形であるので、インセンティブ関数$h_{{\sigma }_{*},\sigma }$は

$h_{{\sigma }_{*},\sigma }(\epsilon )=\epsilon E({\sigma }_{*}-\sigma ,{\sigma }_{*})+(1-\epsilon )E({\sigma }_{*}-\sigma ,\sigma )$

である。よってテンプレート:Mathにおける偏微分は

$\frac{\partial }{\partial \epsilon }{h}_{{\sigma }_{*},\sigma }(0)=E({\sigma }_{*}-\sigma ,{\sigma }_{*}-\sigma )$

である。テンプレート:EquationNoteの安定条件の仮定$ℰ({\sigma }_{*},{\delta }_{{\sigma }_{*}})=ℰ(\sigma ,{\delta }_{{\sigma }_{*}})$が成り立つ条件下では

$E({\sigma }_{*}-\sigma ,{\sigma }_{*}-\sigma )=E(\sigma ,\sigma )-E({\sigma }_{*},\sigma )$

であるので、テンプレート:EquationNoteの安定条件はテンプレート:EquationNoteのそれと一致する。すなわちテンプレート:EquationNoteは、$E({\sigma }_{*}-\sigma ,{\sigma }_{*}-\sigma )\ne 0$を要求する事以外はテンプレート:EquationNoteと一致している。

具体例

個体群ゲーム(Population Game)

本章では個体群ゲームというゲームを定義し、このゲームにおける進化的安定性の性質を述べる。

モチベーション

多くのゲームにおいて、戦略空間テンプレート:Mvarは行列ゲームの場合と同様、有限個の純粋戦略を混合した混合戦略全体の空間であり、混合戦略$\sigma =(p_i{)}_{i=1,\dots ,n}$の利得は

$ℰ(\sigma ,\mathrm{\Pi })=\sum _i{p}_iℰ(i,\mathrm{\Pi })$

のように純粋戦略の利得の期待値として定義される。ここでさらに多型-単型同値が成り立てば、任意の個体群戦略$\mathrm{\Pi }=\sum _j{\epsilon }_j{\delta }_{{\sigma }_j}$は

$\mathrm{\Pi }={\delta }_{\tau }$

のようにたった一つの混合戦略$\tau =\sum _i{\epsilon }_j{\sigma }_j$により記述できる。ここで$f_i(\tau ):=ℰ(i,\tau )$と定義すれば、

$ℰ(\sigma ,{\delta }_{\tau })=\sum _i{p}_i{f}_i(\tau )$

が成立する事になる。利得関数$ℰ$が上式のように書けるゲームが個体群ゲームである。

定義

以上をまとめると次のようになる。なお以下でテンプレート:Mvarは(テンプレート:EquationNote)式で定義される集合であり、直観的には有限個（テンプレート:Mvar個）の純粋戦略を混合した混合戦略全体の空間を意味する。テンプレート:Math theoremテンプレート:Math theorem

応用例：場を通じる型(playing the field)

行列ゲームでは個体テンプレート:Mvarが個体群テンプレート:Mvarからランダムに選ばれた個体テンプレート:Mvarと１：１の闘争を行うケース（１対１型）を想定していた。しかし生物学における実際の状況は、このようなテンプレート:Mvarは１：１の闘争を行うものばかりではなく、テンプレート:Mvarが個体群テンプレート:Mvarに属する全ての他の個体と闘争しなければならないものも存在する。

このようなテンプレート:Mvarの全ての他の個体との闘争を行われる状況を場を通じる型（playing the field）という。例えば植物が種を飛散させる状況下では、近くにいる他の全ての個体と土地を争わなければならないので、場を通じる型の類型に属する。

場を通じる型のセッティングでは、そもそも１：１の闘争は行われないので行列ゲームのような１：１の闘争を前提とした利得関数テンプレート:Mvarは定義できず、テンプレート:Mvarを使わずに直接$ℰ(\sigma ,\mathrm{\Pi })$を定義する必要がある事になる。

この際利用できるのが、個体群ゲームのフレームワークである。テンプレート:EquationNoteで述べたように、左線形性や多型-単型同値などの条件が成立しさえすれば、場を通じる型の状況を個体群ゲームとして記述できるので、個体群ゲームは有益な概念である。

性質

以下の２つの性質が成立する：テンプレート:Math theoremテンプレート:Math theorem ここでテンプレート:Mvarはテンプレート:EquationNote式により定義される$X={\mathrm{\Delta }}_n$上の距離であるが、テンプレート:EquationNoteと同様、テンプレート:Mvarと同一の位相を定める距離であれば他のものでもよい。

非対称なゲーム

これまで全ての個体が対等である状況を考察してきたが、実際の生物学では「オス vs. メス」、「テリトリーの所有者 vs. テリトリーへの侵入者」、「体の大きい個体 vs. 体の小さい個体」のように２つの非対称な立場がある個体同士が闘争する。しかし前章でも述べたように、進化ゲーム理論ではこうした非対称なゲームに関しては何らかの「対称化」を施すことにより、対象なゲームとして進化的安定性を定義する。

非対称なゲームの記述

本節では非対称なゲームを定式化し、対称化を方法を述べる。今各個体には2つの立場(role)があり、どちらの立場にいるかにより取れる戦略が異なるものとする。立場0、立場1にいる時に取れる戦略全体の集合をそれぞれテンプレート:Mvar、テンプレート:Mvarと表記する。このとき、非対称なゲームの戦略空間は

$X_0\times X_1$

である。戦略空間の元$(\sigma ,\tau )\in X_0\times X_1$の直観的意味は「もし自分が立場0であれば戦略テンプレート:Mvarを取り、立場1であれば戦略テンプレート:Mvarを取る」というものである。

このゲームにおける個体群戦略は$({\sigma }_1,{\tau }_1),\dots ,({\sigma }_m,{\tau }_m)\in X_0\times X_1$と${\epsilon }_1,\dots ,{\epsilon }_m\in [0,1]$（${\epsilon }_1+\cdots +{\epsilon }_m=1$）を用いて

$\sum _{i=1}^m{\epsilon }_i{\delta }_{({\sigma }_i,{\tau }_i)}$

と書けるものを指す。ゲームは非対称であるので、利得関数も自分が立場0にいるときと立場1にいるときで異なる。自分が立場$k=0,1$にいるときの利得関数を

${ℰ}_k(\xi ,{\sum }_{i=1}^m{\epsilon }_i{\delta }_{{\sigma }_i})$

と書く。ここでテンプレート:Mvarはテンプレート:Mvarの元であり、${\sigma }_1,\dots ,{\sigma }_m$は$X_{1-k}$の元である。非対称なゲームは組

$((X_0,{ℰ}_0),(X_1,{ℰ}_1))$

により定義される。

対称化

以上のように定義された非対称なゲーム$((X_0,{ℰ}_0),(X_1,{ℰ}_1))$に対し、利得関数の対称化を行う。このために記号を導入する。個体群戦略

$\mathrm{\Pi }=\sum _i{\epsilon }_i{\delta }_{({\sigma }_i,{\tau }_i)}$

に対し、

${\pi }_0(\mathrm{\Pi })=\sum _i{\epsilon }_i{\delta }_{{\sigma }_i}$、

${\pi }_1(\mathrm{\Pi })=\sum _i{\epsilon }_i{\delta }_{{\tau }_i}$

と書くことにする。関数

$\rho :X_0\times X_1\to [0,1]$

を一つ固定するとき、利得関数の組$({ℰ}_0,{ℰ}_1)$を$\rho$により対称化した利得関数を

$ℰ(({\xi }_0,{\xi }_1),\mathrm{\Pi })=\rho ({\xi }_0,{\xi }_1){ℰ}_0({\xi }_0,{\pi }_1(\mathrm{\Pi }))+(1-\rho ({\xi }_0,{\xi }_1)){ℰ}_1({\xi }_1,{\pi }_0(\mathrm{\Pi }))$

により定義する。直観的には$\rho ({\xi }_0,{\xi }_1)$は個体戦略$({\xi }_0,{\xi }_1)\in X_0\times X_1$を取っている個体が立場0になる確率である。

なお、対称化が定数関数

$\rho =\text{const.}$

を用いて行われた場合、この対称化は戦略-立場独立(strategy-role independent)であるという。

進化的安定性

非対称なゲームに関する進化的安定性は、対称化したゲームの進化的安定性により定義する。すなわち個体戦略$({\xi }_{*},{\nu }_{*})\in X_1\times X_2$が進化的安定であるとは、戦略空間が$X_1\times X_2$であり利得関数が$ℰ$であるゲームに関して進化的安定である事を指す。もちろんこの進化的安定性の概念は関数$\rho$に依存しており、$\rho$が異なれば進化的安定性の概念も異なる。

一般化

これまで非対称なゲームを考察するに当たって、同じ立場にいる個体同士が闘争しないことを暗に仮定していた。すなわち、自分が立場0にいる時は立場1にいる個体と闘争し、立場1にいるときは立場0にいる個体と闘争する、という事である。しかし一般にはこれが成立しない場合もある。この場合には、4つの利得関数${ℰ}_{00},{ℰ}_{10},{ℰ}_{01},{ℰ}_{11}$を考え、

$ℰ(({\xi }_0,{\xi }_1),\mathrm{\Pi })=\sum _{i,j}{\rho }_{i,j}({\xi }_0,{\xi }_1){ℰ}_{i,j}({\xi }_i,{\pi }_j(\mathrm{\Pi }))$

として対称化をはかる。ここで${\rho }_{i,j}:X_0\times X_1\to [0,1]$は$\sum _{i,j}{\rho }_{i,j}({\xi }_0,{\xi }_1)=1$を満たす関数である。

直観的には${ℰ}_{ij}$は自分が立場テンプレート:Mvar、闘争相手が立場テンプレート:Mvarにいるときの利得関数で、${\rho }_{i,j}({\xi }_0,{\xi }_1)$は自分が個体戦略$({\xi }_0,{\xi }_1)\in X_0\times X_1$を取っている際に、自分が立場テンプレート:Mvar、闘争相手が立場テンプレート:Mvarになる確率である。

レプリケーター方程式(Replicator Equation)と進化的安定性

レプリケーターダイナミクス(replicator dynamics、自己複製子動学)は与えられた個体群内の各個体が取る戦略の頻度分布（すなわち、前章までの言葉で言えば個体群戦略）がどのように時間発展するかを定式化したモデルで、このモデルにおいて頻度分布の時間発展を記述する方程式をレプリケーター方程式(replicator equation)という。本節では「離散型」、「連続型」の２種類のレプリケーター方程式を紹介し、行列ゲームにおいて連続レプリケーター方程式の解の収束先と進化的安定性の関係を述べる。

レプリケーター方程式

本節では以下の２種類のレプリケーター方程式を紹介する：

• 離散レプリケーター方程式（discrete replicator equation）：無性生殖する個体群の戦略の頻度分布を（オーバーラップのない）「世代」という離散的な時間で記述できると仮定した場合の方程式
• 連続レプリケーター方程式（continuous replicator equation）：個体数が十分大きいため世代がオーバーラップし、連続的な時間によって（無性生殖する）個体群の戦略の頻度分布を記述できると近似した場合における方程式

離散レプリケーター方程式

離散レプリケーター方程式を定式化するために、以下のような個体群を考える：

1. 個体群の構成が世代テンプレート:Mathによって記述でき、各世代にはオーバーラップがない。すなわち世代テンプレート:Mvarに生きた個体はテンプレート:Mathには全て死滅し、世代テンプレート:Mathは世代テンプレート:Mvarに生まれた個体の子供のみから構成される。
2. 個体群内の各個体は有限個の純粋戦略テンプレート:Mathのいずれかを取り、混合戦略は取らない
3. この個体群は無性生殖によって子孫を残す
4. この個体群には突然変異が生じないもの

この個体群において世代テンプレート:Mvarで（純粋）戦略テンプレート:Mvarを取る個体の割合を$p_i(t)$と表記すると、この個体群における戦略の分布

$𝐩(t)=(p_1(t),\dots ,p_n(t))$

と記述できる。

この個体群で戦略テンプレート:Mvarを取る各個体の利得を$f_i(𝐩(t))$と表記し、$f_i(𝐩(t))$に関して以下の仮定を置く：

• この個体群で世代テンプレート:Mvarにおいて戦略テンプレート:Mvarを取る個体が残す事ができる子供の数は利得$f_i(𝐩(t))$に等しい

このように仮定すると、個体群のうち割合$p_i(t)$の個体が、それぞれ$f_i({𝐩}_i(t))$の子供を残すのだから、世代テンプレート:Mathにおいて戦略テンプレート:Mathを取る個体の比率は

$p_1(t)f_1(𝐩(t)):\cdots :p_n(t)f_n(𝐩(t))$

となる。ここで我々は

• 仮定3.により、（突然変異を例外とすれば）子供は親と同じ遺伝子を持つため、親と同じ戦略を取り
• 仮定4.により突然変異が起こらない

事を利用した。以上より世代世代テンプレート:Mathにおいて戦略テンプレート:Mvarを取る個体の割合は、以下の離散レプリケーター方程式に従う：

$p_i(t+1)=\frac{f_i(𝐩(t))}{\overline{f}(𝐩(t))}{p}_i(t)\text{for }i=1,\dots ,n$

ここで

$\overline{f}(𝐩(t))=\sum _j{p}_j(t)f_j(𝐩(t))$

である。

離散レプリケーター方程式の分母

分数は分母だと意味を持たないので、最後に離散レプリケーター方程式の分母について触れておく。離散レプリケーター方程式の直観的な意味から、利得の期待値$f_i(𝐩(t))$は

$f_i(𝐩(t))\ge 0$

を満たす必要がある。また$p_i(t)$は割合であったので$1\ge p_i(0)\ge 0$であり、数学的帰納法により、離散レプリケーター方程式の分母が0になる世代テンプレート:Mvarの直前までは

$1\ge p_i(t)\ge 0$

が成立する事も示せる。したがって離散レプリケーター方程式の分母が0になる場合、すなわち

$\overline{f}(𝐩(t))=\sum _j{p}_j(t)f_j(𝐩(t))=0$

の場合は、正の数の和が0である事になるので、

$p_1(t)f_1(𝐩(t))=\cdots =p_n(t)f_n(𝐩(t))=0$

が成立する。これは各テンプレート:Mvarに対し、$p_i(t)$か$f_i(𝐩(t))$のいずれかが0である事を意味する。$p_i(t)=0$であれば、純粋戦略テンプレート:Mvarを取る個体は絶滅した事になるので、任意のテンプレート:Mvarに対し、$p_i(s)=0$である。また$f_i(𝐩(t))=0$であれば、純粋戦略テンプレート:Mvarを取る個体が世代テンプレート:Mvarで残せた子供の数$f_i(𝐩(t))$が0である事を意味するので、やはり任意のテンプレート:Mvarに対し、$p_i(s)=0$である。結局、離散レプリケーター方程式の分母が0になるという事は個体群の全ての個体が絶滅した場合に相当する。

連続レプリケーター方程式

連続レプリケーター方程式を定式化する為、離散レプリケーター方程式の節の2～4の仮定と以下の1'の仮定を満たす個体群を考える：

1'. 個体数が十分大きいため世代がオーバーラップし、連続的な時間によって個体群の戦略の頻度分布を記述できる

前節同様、（純粋）戦略テンプレート:Mvarを取る個体の割合を$p_i(t)$と表記し、$𝐩(t)=(p_1(t),\dots ,p_n(t))$とし、この個体群で戦略テンプレート:Mvarを取る各個体の利得を$f_i(𝐩(t))$と表記する。

利得$f_i(𝐩(t))$に関して前節のものと似た以下の仮定を置く：

• この個体群で時刻テンプレート:Mvarにおいて戦略テンプレート:Mvarを取る個体の増加率は利得$f_i(𝐩(t))$に等しい

個体群に属する個体数が十分に大きいと仮定しているので、個体数テンプレート:Mvarはテンプレート:Mvarに関して微分可能な連続量であるとみなして差し支えないので、$N_i(t)=p_i(t)N(t)$とすると、上述の仮定から、

$\frac{\mathrm{d}}{\mathrm{d}t}{N}_i(t)=f_i(𝐩(t))N_i(t)$ …テンプレート:EquationRef

が成立する。記号を簡単にするため、時間微分を${\dot{N}}_i(t)$のようにドットで書くことにすると、テンプレート:EquationNoteと$N_i(t)=p_i(t)N(t)$より、

${\dot{p}}_i(t)=\frac{\mathrm{d}}{\mathrm{d}t}\left(\frac{N_i(t)}{N(t)}\right)=\frac{{\dot{N}}_i(t)-p_i(t)\dot{N}(t)}{N(t)}$$=\frac{f_i(𝐩(t))N_i(t)-p_i(t)\dot{N}(t)}{N(t)}=p_i(t)(f_i(𝐩(t))-\frac{\dot{N}(t)}{N(t)})$

が成立し、しかもテンプレート:EquationNoteから

$\frac{\dot{N}(t)}{N(t)}=\sum _j\frac{{\dot{N}}_j(t)}{N(t)}=\sum _j{f}_j(𝐩(t))p_j(t)$

でもあるので、以下の連続レプリケーター方程式が成立する：

$\frac{\mathrm{d}{p}_i}{\mathrm{d}t}(t)=(f_i(𝐩(t))-\overline{f}(𝐩(t)))p_i(t)\text{for }i=1,\dots ,n$

ここで

$\overline{f}(𝐩(t))=\sum _j{p}_j(t)f_j(𝐩(t))$

である。なお、適切な条件下では離散レプリケーター方程式の極限として連続レプリケーター方程式が得られる事が知られている。

行列ゲームの連続レプリケーター方程式と進化的安定性

本節の目標は、行列ゲームに対し、レプリケーター方程式の解が進化的安定な状態へと収束する条件を見る事である。なお、行列ゲーム以外のゲームに関してはこのような収束性は成り立つとは限らない。その理由の一端は、（後述するように）レプリケーター方程式が純粋戦略のみを取る個体群を想定しているのに対し、進化的安定性の定義では混合戦略をも考慮する事が多いからである。したがって単型-多型同値が成り立たない系では、レプリケーター方程式による解析と進化的安定性とが一致しない可能性がある。

行列ゲームにおける連続レプリケーター方程式

まず行列ゲームに対する連続レプリケーター方程式を記述する。テンプレート:Mathの行列$A=(a_{ij}{)}_{i,j}$とテンプレート:Mvar行の縦ベクトルテンプレート:Mvarに対し、積テンプレート:Mvarの第テンプレート:Mvar行を

$(A𝐩{)}_i$

という記号で書くことにすると、利得関数が

$E(i,j)=a_{ij}$

と記述できる行列ゲームにおいて、純粋戦略テンプレート:Mvarを取る個体の利得の期待値$f_i(𝐩(t))$は明らかに

$f_i(𝐩(t))=(A𝐩(t){)}_i$

なので、行列ゲームにおける連続レプリケーター方程式は

$\frac{\mathrm{d}{p}_i}{\mathrm{d}t}(t)=((A𝐩(t){)}_i-𝐩(t{)}^{T}A𝐩(t))p_i(t)\text{for }i=1,\dots ,n$　 …テンプレート:EquationRef

と記述できる。ここで$𝐩(t{)}^T$は$𝐩(t)$を転置した横ベクトルである。

解の性質

本節ではテンプレート:EquationNoteと進化的安定性の関係性を調べるため、テンプレート:EquationNoteに関する性質を述べる。まず$p_i(t)$は純粋戦略テンプレート:Mvarを取る個体の割合であったから、$𝐩(t)$の初期値$𝐩(0)$は

${\mathrm{\Delta }}_n=\{(p_i{)}_{i=1,\dots ,n}|0\le p_1,\dots ,p_n\le 1,\sum _{i=1}^n{p}_i=1\}$　　　　...(テンプレート:EquationNote、再掲)

の元である。テンプレート:EquationNoteは行列によって記述できる常微分方程式であるので、（少なくとも初期値の近傍では）解が存在し、しかもその解は一意である（Picard–Lindelöf theorem）。

解の一意性から、テンプレート:EquationNoteにおける時間発展で２つの超平面

$\{(p_i{)}_{i=1,\dots ,n}|{\sum }_{i=1}^n{p}_i=1\}$

$\{(p_i{)}_{i=1,\dots ,n}|p_i=0\}$

が保存される事を簡単に示せるので、以下が明らかに従う：テンプレート:Math theoremここから明らかに次の系が従う：テンプレート:Math theorem${\mathrm{\Delta }}_n$はコンパクトであるので、以上の性質と前述の解の局所的存在性・一意性から次が従う：テンプレート:Math theorem次の事実も知られている：テンプレート:Math theorem

進化ゲーム理論のフォーク定理

テンプレート:EquationNoteと進化的安定性の関係を述べるため、以下の概念を定義する。なお以下で、$𝐩(t)$は初期値が$𝐩(0)$であるときのテンプレート:EquationNoteの（必ず存在する一意な）解である：テンプレート:Math theoremなお大域的安定性の定義で${\mathrm{\Delta }}_n$の境界$\partial {\mathrm{\Delta }}_n$の点に対して${𝐩}_0$への収束性を求めないのは、テンプレート:EquationNoteで述べたように、$\partial {\mathrm{\Delta }}_n$の点はテンプレート:EquationNoteにおける時間発展で$\partial {\mathrm{\Delta }}_n$に留まり続ける為、${𝐩}_0$に収束することはありえないからである。

このとき次が成立する。なおゲーム理論にも「フォーク定理」という名称の定理があるが、下のものはこれとは無関係の定理である。
テンプレート:Math theoremすでに述べたように行列ゲームにおいては

狭義ナッシュ均衡⇒進化的安定⇒ナッシュ均衡

という関係性が成立するので、上述の定理から連続レプリケーター方程式の解と進化的安定性との関係がある程度わかる事になる。

また以下も成立する：テンプレート:Math theorem

行列ゲームの混合戦略に対する連続レプリケーター方程式と進化的安定性

混合戦略に対する連続レプリケーター方程式

これまで我々は、着目している個体が純粋戦略を取る場合の連続レプリケーター方程式に関して考察してきたが、より一般に、有限個の混合戦略${𝐪}_1,\dots ,{𝐪}_m\in {\mathrm{\Delta }}_n$を取る個体がそれぞれ割合$x_1(t),\dots ,x_m(t)$で存在する個体群に対する連続レプリケーター方程式を考える事もできる：

$\frac{\mathrm{d}{x}_i}{\mathrm{d}t}(t)={({𝐪}_i-{𝐪}_{𝐱}(t))}^{T}A{𝐪}_{𝐱}(t))x_i(t)\text{for }i=1,\dots ,m$　 …テンプレート:EquationRef

ここで${𝐪}_{𝐱}(t)$は平均混合戦略

${𝐪}_{𝐱}(t)={\sum }_{j=1}^m{x}_j(t){𝐪}_j$　 …

である。テンプレート:EquationNoteの導出はテンプレート:EquationNoteのそれと同様なので省略する。

進化的安定性との関係

テンプレート:EquationNoteにおいてテンプレート:Mathであれば、$x=x_1(t)$、$𝐪={𝐪}_1$、$\widehat{𝐪}={𝐪}_2$と略記すると、$x_2=1-x$なので、テンプレート:EquationNoteに登場するテンプレート:Math本の式はいずれも

$\dot{x}=x(1-x)\{x(𝐪-\widehat{𝐪}{)}^{T}A𝐪+(1-x)(𝐪-\widehat{𝐪}{)}^{T}A\widehat{𝐪})\}$　 …テンプレート:EquationRef　

に同値である事が簡単な計算から確かめられる。このとき、次が成立する事が知られている：テンプレート:Math theorem

行列ゲームの混合戦略に対する離散レプリケーター方程式と進化的安定性

行列ゲームの純粋戦略に対する離散レプリケーター方程式

混合戦略に関して考察する前に、まず本節では行列ゲームの純粋戦略に対する離散レプリケーターを導出する。純粋戦略テンプレート:Mvarを取る個体の割合を$p_i(t)$と表記し、$𝐩(t)=(p_1(t),\dots ,p_n(t))$とし、この個体群で戦略テンプレート:Mvarを取る各個体の利得を$f_i(𝐩(t))$と表記する。

テンプレート:Mathの行列$A=(a_{ij}{)}_{i,j}$を用いて利得関数が

$E(i,j)=a_{ij}$

と書ける行列ゲームにおいて、純粋戦略テンプレート:Mvarを取る個体の利得の期待値$f_i(𝐩(t))$は明らかに

$f_i(𝐩(t))=(A𝐩(t){)}_i$

なので、これを利用して離散レプリケーター方程式の具体的な形を書き下す事ができる。より一般に各個体が行列ゲームの利得以外に「背景利得」(background payoff)テンプレート:Mvarを得られる場合、すなわち

$f_i(𝐩(t))=(A𝐩(t){)}_i+\beta$

の場合には、離散レプリケーター方程式の具体的な形は

$p_i(t+1)=\frac{(A𝐩(t){)}_i+\beta }{𝐩(t{)}^{T}A𝐩(t)+\beta }{p}_i(t)\text{for }i=1,\dots ,n$　　 …テンプレート:EquationRef　

である。

行列ゲームの混合戦略に対する離散レプリケーター方程式

連続レプリケーター方程式の「純粋戦略版」であるテンプレート:EquationNoteから「混合戦略版」のテンプレート:EquationNoteを導いたのと同様の方法で、離散レプリケーター方程式の「混合戦略版」を「純粋戦略版」であるテンプレート:EquationNoteから導くことができる。

すなわち、有限個の混合戦略${𝐪}_1,\dots ,{𝐪}_m\in {\mathrm{\Delta }}_n$を取る個体が世代テンプレート:Mvarにおいてそれぞれ割合$x_1(t),\dots ,x_m(t)$だけ存在する個体群を考え、$𝐱(t)=(x_1(t),\dots ,x_m(t){)}^T$とするとき、混合戦略${𝐪}_i$を取る個体の利得の期待値$f_i(𝐱(t))$は平均混合戦略

${𝐪}_{𝐱}(t)={\sum }_{j=1}^m{x}_j(t){𝐪}_j$　 …

を用いて

$f_i(𝐱(t))=\sum _j{x}_j(t)E({𝐪}_i(t),{𝐪}_j(t)))+\beta ={𝐪}_i(t{)}^{T}A{𝐪}_{𝐱}(t)+\beta$

と表記できるので、

$x_i(t+1)=\frac{{𝐪}_i^{T}A{𝐪}_{𝐱}(t)+\beta }{{𝐪}_{𝐱}^{T}A{𝐪}_{𝐱}(t)+\beta }{x}_i(t)\text{for }i=1,\dots ,m$　　 …テンプレート:EquationRef　

となる。なおテンプレート:EquationNoteより明らかに比の等式

$\frac{x_1(t+1)}{x_1(t)}:\cdots :\frac{x_m(t+1)}{x_m(t)}=E({𝐪}_1,{𝐪}_{𝐱}(t)):\cdots :E({𝐪}_m,{𝐪}_{𝐱}(t))$　　 …テンプレート:EquationRef　

が成立する。ここで

$E(𝐩,𝐪)={𝐩}^{T}A𝐪+\beta$ …テンプレート:EquationRef　

である。上の比の等式は左辺に登場する分母$x_i(t)$が0である場合は意味を持たないが、前節でも述べたのと同様の議論により、$x_i(t)$が0になるのは混合戦略${𝐪}_i$を取る個体が個体群から絶滅した事を意味するので、以降のテンプレート:Mvarに関しては常に$x_i(s)=0$であるものと解釈する。

進化的安定性との関係性

離散レプリケーター方程式と進化的安定性との関係を見るため、テンプレート:EquationNoteでテンプレート:Mathであるケースを考え、$x(t)=x_1(t)$、$𝐪={𝐪}_1$、$\widehat{𝐪}={𝐪}_2$と略記すると、$x_2(t)=1-x(t)$なので

$\frac{x(t+1)}{x(t)}:\frac{1-x(t+1)}{1-x(t)}=E(𝐪,{𝐪}_{𝐱}(t)):E(\widehat{𝐪},{𝐪}_{𝐱}(t))$　 …テンプレート:EquationRef　

である。ここでテンプレート:Mvarはテンプレート:EquationNoteのように定義されており、

${𝐪}_{𝐱}(t)=x(t)𝐪+(1-x(t))\widehat{𝐪}$　 …

であり、テンプレート:EquationNoteの左辺の分母が0である場合の解釈は前節と同様であるものとする。また離散レプリケーター方程式の利得は子供の数を示していたので、

$E(𝐪,𝐪),\widehat{E(𝐪},\widehat{𝐪})\ge 0$　

が成立する事を仮定する。このとき、次が成立する：テンプレート:Math theorem

上述の定理は、個体群において$𝐪\ne \widehat{𝐪}$を取る個体の割合が進化的安定戦略$\widehat{𝐪}$の侵入障壁よりも小さい時は、世代を重ねる事で$𝐪$を取る個体の割合が0に収束していく事を意味する。

年表

• 1972年：ジョン・メイナード＝スミスが自著「On Evolution」のエッセイで進化的安定性にふれる
• 1973年：メイナード＝スミスとジョージ・プライスが進化的安定性を提唱した論文がネイチャーに載る
• 1974年：メイナード＝スミスによるより長い論文がJournal of Theoretical Biologyに載る
• 1982年：メイナード＝スミスが自著「Evolution and the Theory of Games」で更に詳しく説明

参考文献

引用文献

本稿全般に対する参考文献として下記のものがある：

• 書籍
  • [巌佐98] テンプレート:Cite book
  • [山内12] テンプレート:Cite book
  • [粕谷90] テンプレート:Cite book
  • [BR13] テンプレート:Cite book
  • [S82] テンプレート:Cite book ※本稿執筆にはkindle版を参考にした。
• 論文・レクチャーノート・サーベイ
  • [CA16] テンプレート:Cite web
  • [HS03] テンプレート:Cite journal
  • [M07] テンプレート:Cite web
  • [M16] テンプレート:Cite web
  • [PS94] テンプレート:Cite web
  • [S07] テンプレート:Cite web

その他にも下記を参考にしたが、上に挙げたものの方がより詳しく記述されているため、参考にした箇所は限定的である：

• [A10] テンプレート:Cite web
• [EK10] テンプレート:Cite web※Cambridge University Pressから出版された本のウェブ版
• [JCL14] テンプレート:Cite web

本稿で用いたゲーム理論の知識はどの教科書にも載っている初歩的な話に限定されているので、個別に引用する事はしなかったが、例えば下記の文献が参考になる（ただし進化的安定性については12章にお話的な記載があるのみ）：

• [岡田11] テンプレート:Cite book

原論文

• [S72] テンプレート:Cite book
• [SP73] テンプレート:Cite journal(pdf)
• [S74] テンプレート:Cite journal

さらなる理解の為に

• テンプレート:Cite journal
• テンプレート:Cite book
• テンプレート:Cite book. An 88-page mathematical introduction; see Section 3.8. Free online at many universities.
• Geoff Parker(1984) Evolutionary stable strategies. In Behavioural Ecology: an Evolutionary Approach (2nd ed) Krebs, J.R. & Davies N.B., eds. pp 30–61. Blackwell, Oxford.
• テンプレート:Cite book. A comprehensive reference from a computational perspective; see Section 7.7. Downloadable free online.

外部リンク

• テンプレート:Wayback