[論文レビュー] On the block counting process and the fixation line of exchangeable coalescents

Florian Gaiser, Martin Möhle|arXiv (Cornell University)|Mar 30, 2016

Stochastic processes and statistical mechanics参考文献 30被引用数 6

ひとこと要約

この論文は交換可能な共役過程におけるブロック数え上げ過程と固定線の解析を行い、それらの間のSiegmund双対性を確立し、無限小率を導出する。n→∞の極限において、ブロック数え上げ過程が単一形態の頻度に関連する極限過程に収束することを証明し、双対性を用いて固定線に対しても同様の結果を得る。特にディリクレおよびポアソン＝ディリクレ共役過程の詳細な解析を行う。

ABSTRACT

We study the block counting process and the fixation line of exchangeable coalescents. Formulas for the infinitesimal rates of both processes are provided. It is shown that the block counting process is Siegmund dual to the fixation line. For exchangeable coalescents restricted to a sample of size n and with dust we provide a convergence result for the block counting process as n tends to infinity. The associated limiting process is related to the frequencies of singletons of the coalescent. Via duality we obtain an analog convergence result for the fixation line of exchangeable coalescents with dust. The Dirichlet coalescent and the Poisson‐Dirichlet coalescent are studied in detail.

研究の動機と目的

• 交換可能な共役過程におけるブロック数え上げ過程と固定線の無限小率を特定すること。
• ブロック数え上げ過程と固定線の間のSiegmund双対性関係を確立すること。
• 標本サイズnが無限大に近づく際の、特にダストを有する共役過程におけるブロック数え上げ過程の漸近的挙動を調査すること。
• ブロック数え上げ過程の極限過程を導出し、共役過程における単一形態の頻度と関連付けること。
• 双対性を用いて固定線過程への収束結果を拡張し、ディリクレおよびポアソン＝ディリクレ共役過程を詳細に分析すること。

提案手法

• 交換可能な共役過程の性質を用いて、ブロック数え上げ過程と固定線の無限小生成子の公式を導出する。
• Siegmund双対性を適用してブロック数え上げ過程と固定線を結びつけ、収束結果の移行を可能にする。
• 双対性関係を用いて、ブロック数え上げ過程の収束から固定線過程の収束を導出する。
• 大nにおけるブロック数え上げ過程の極限挙動を分析し、それが単一形態の頻度に関連する過程として特定されることを示す。
• フレームワークをディリクレおよびポアソン＝ディリクル共役過程に適用し、それらのブロック数え上げと固定線のダイナミクスを明示的に特定する。

実験結果

リサーチクエスチョン

• RQ1 交換可能な共役過程におけるブロック数え上げ過程と固定線を支配する無限小率は何か？
• RQ2 ブロック数え上げ過程と固定線はどのように双対性によって関連づけられるか？
• RQ3 交換可能な共役過程にダストを有する場合、標本サイズnが無限大に近づく際のブロック数え上げ過程の極限挙動は何か？
• RQ4 極限過程は共役過程における単一形態の頻度とどのように関連するか？
• RQ5 特にディリクレおよびポアソン＝ディリクル共役過程モデルにおいて、双対性を用いて固定線過程にどのような収束結果を得られるか？

主な発見

• ブロック数え上げ過程と固定線はSiegmund双対であるため、両過程間に深い構造的関係が存在する。
• 交換可能な共役過程における両過程の無限小率が明示的に導出された。
• n → ∞のとき、ダストを有する交換可能な共役過程のブロック数え上げ過程は、共役過程における単一形態の頻度に関連する極限過程に収束する。
• 双対性を用いることで、固定線過程も同様の漸近的状態において分布収束することが示された。
• ディリクレおよびポアソン＝ディリクル共役過程が、ブロック数え上げおよび固定線両過程において明確な極限挙動を示すことが示された。
• ブロック数え上げ過程の極限過程は、共役系統記録における単一形態の家族に属する個体の割合との関連によって特徴づけられる。