[論文レビュー] A probabilistic analysis of a discrete-time evolution in recombination II. (On partitions)

Servet Martı́nez|arXiv (Cornell University)|Apr 18, 2016

Advanced Topics in Algebra参考文献 6被引用数 3

ひとこと要約

本稿は、一般の分割族を用いた離散時間再結合プロセスの確率的枠組みを構築し、遺伝的構成の進化を再結合下でモデル化するマルコフ連鎖を導入する。主な貢献は、この連鎖の準定常分布の特徴付けであり、幾何的減衰率と極限積測度への収束を示し、従来の二分分割から任意の分割族への一般化を達成している。

ABSTRACT

We study the discrete-time evolution of a transformation on a set of probability measures that is up-dated combining independently the marginals on the atoms of partitions. This model was recently introduced in Baake, Baake and Salamat (Discr. and contin. dynam. syst. 36, 2016) for continuous-time evolution and generalizes previous ones based upon dyadic partitions. We associate to the discrete-time evolution a natural Markov chain and describe its quasi-stationary behavior retrieving all the results we recently found for dyadic partitions.

研究の動機と目的

• 二分分割から一般の分割族への離散時間再結合ダイナミクスの分析を拡張すること。
• 再結合下での遺伝的構成の進化を、分割のラティス上のマルコフ過程としてモデル化すること。
• 吸収が極限積測度に達するまでの過程の準定常挙動を特徴付けること。
• 二分ケースから得られた幾何的減衰率および準定常分布に関する結果を、より広い分割構造のクラスへ一般化すること。

提案手法

• 与えられた族 G からの原子上の周辺分布を組み合わせることで、確率測度を更新する再結合変換 Ξ を定義する。
• n 回目の反復 Ξⁿ を、最も粗い分割から出発する分割の集合 X(G) を状態空間とするマルコフ連鎖 (Yₙ) に関連付ける。
• 状態空間上に吸収が共通の細分 D(G) で起こる遷移行列 P* を構築し、右固有ベクトル φ と固有値 η を用いて準定常分布を特定する。
• 比極限定理と hitting time 分析を用いて、吸収前の連鎖の極限条件付き分布を導出する。
• 準定常分布が、P* とペロン＝フロベニウス固有ベクトル φ から導かれる遷移行列 Q によって特徴付けられることを証明する。
• プロセスが幾何的減衰率 η < 1 を示し、生存確率が ηⁿ のように減少することを確立する。

実験結果

リサーチクエスチョン

• RQ1 二分分割を超えた一般の分割族において、離散時間再結合プロセスはどのように振る舞うか？
• RQ2 分割上の再結合をモデル化するマルコフ連鎖の準定常分布の構造は何か？
• RQ3 幾何的減衰率 η は、遷移ダイナミクスと吸収時間とどのように関係するか？
• RQ4 完全な吸収プロセスに依存せずに、準定常挙動を独立に特徴付けられるか？
• RQ5 共通の細分 D(G) は、プロセスの極限挙動を決定づける役割を果たすか？

主な発見

• 再結合プロセスに関連するマルコフ連鎖 (Yₙ) は、吸収前の条件付きダイナミクスを記述する遷移行列 Q によって特徴付けられる準定常分布を持つ。
• 準定常分布は、即時吸収を引き起こさない分割の集合 ∂(ζ_F) にのみ支持を持つ。
• 生存確率は幾何的減衰率 η < 1 で減少し、limₙ→∞ P(ζ > n) / ηⁿ = 定数 が成り立ち、指数的減衰が確認される。
• 遷移行列 Q は準定常状態上で確率的かつ既約的であり、条件付き分布の長期的安定性を保証する。
• 固有値 η は遷移行列 P* のペロン＝フロベニウス固有値であり、1 よりも厳密に小さい。
• 従来の二分分割に関する結果の一般化であり、主な技術的新規性は、一般の分割ケースにおける関係式 (14) および (15) の証明にある。