[論文レビュー] The continuous limit of the Moran process and the diffusion of mutant genes in infinite populations

Fabio A. C. C. Chalub, Max O. Souza|ArXiv.org|Feb 23, 2006

Stochastic processes and statistical mechanics参考文献 37被引用数 7

ひとこと要約

この論文は、無限大の集団における頻度依存モーラン過程の連続極限を導出し、離散的な確率的ダイナミクスが拡散・移流スケーリングの下で退化する放物型PDEに収束することを示している。主な結果は、このPDEがキムラの固定化方程式を一般化しており、頻度非依存の適応度の場合に形式的にそれらを回復することである。大規模集団において、適切な定式化と収束が証明されている。

ABSTRACT

We consider the so called Moran process with frequency dependent fitness given by a certain pay-off matrix. For finite populations, we show that the final state must be homogeneous, and show how to compute the fixation probabilities. Next, we consider the infinite population limit, and discuss the appropriate scalings for the drift-diffusion limit. In this case, a degenerated parabolic PDE is formally obtained that, in the special case of frequency independent fitness, recovers the celebrated Kimura equation in population genetics. We then show that the corresponding initial value problem is well posed and that the discrete model converges to the PDE model as the population size goes to infinity. We also study some game-theoretic aspects of the dynamics and characterize the best strategies, in an appropriate sense.

研究の動機と目的

• 有限集団における頻度依存適応度を伴うモーラン過程の熱力学的極限を確立すること。
• 大規模集団における連続的PDE近似をもたらす適切なスケーリング（移流および移流-拡散）を特定すること。
• 得られた退化放物型PDEの適切な定式化を証明し、離散モデルが無限大集団極限においてPDEに収束することを示すこと。
• 大規模有限集団における進化的に安定な戦略（ESS）と固定化ダイナミクスの関係を明確にすること。
• 頻度非依存適応度の下で、導出されたPDEがキムラの古典的方程式に回復されることを示すこと。

提案手法

• サイズ$N$の有限集団における頻度依存選択をペイオフ行列を用いてモデル化するモーラン過程を用いる。
• 2つの時間スケーリングを適用する：$\Delta t = 1/N$（移流極限）および$\Delta t = 1/N^2$（移流-拡散極限）、後者は弱選択を仮定する。
• 拡散係数が境界$x=0$および$x=1$で消えることから、無限大集団極限として退化放物型PDEを導出する。
• 形式的漸近展開と弱形式を用いてPDEを導出し、境界条件を検証する。
• 部分積分とテスト関数解析を用いて境界項の構造を特定し、PDEの整合性を確認する。
• 初期値問題の適切な定式化を確立し、$N \to \infty$の下で離散過程がPDEに収束することを証明する。

実験結果

リサーチクエスチョン

• RQ1 頻度依存適応度を伴う有限集団におけるモーラン過程は、無限大集団極限においてどのように連続的PDEに収束するか？
• RQ2 非自明な拡散極限を得るための時間スケーリングは何か？ そしてそれは得られるPDEにどのように影響するか？
• RQ3 導出されたPDEが、どのような条件下で頻度非依存適応度の下でキムラの古典的方程式に簡略化されるか？
• RQ4 連続的リプリケーター力学における進化的に安定な戦略（ESS）は、大規模有限集団における固定確率とどのように関係するか？
• RQ5 境界での拡散が固定化または消失を保証する役割を果たすメカニズムは何か？ そしてそれは退化PDEにどのように組み込まれているか？

主な発見

• モーラン過程の無限大集団極限は、時間経過における変異遺伝子頻度の確率分布をモデル化する退化放物型PDEをもたらす。
• 移流-拡散スケーリング（$\Delta t = 1/N^2$）および弱選択の下で、PDEは移流と拡散の両方の効果を捉え、$x=0$および$x=1$で拡散係数が消える。
• 頻度非依存適応度の下では、PDEは形式的にキムラの方程式に簡略化され、固定確率の前向き・後向き方程式のペアが回復される。
• 導出されたPDEの初期値問題は適切に定式化されており、適切な条件下で解の存在と一意性が保証される。
• 離散的モーラン過程は集団サイズ$N \to \infty$の下でPDEモデルに収束するため、連続近似の有効性が裏付けられる。
• 大規模有限集団における最良戦略は、進化的に安定な戦略（ESS）に対応し、リプリケーター方程式の動的挙動と整合する。