[論文レビュー] On the measure division construction of Λ-coalescents

Linglong Yuan|arXiv (Cornell University)|Feb 5, 2013

Mathematical Dynamics and Fractals被引用数 4

ひとこと要約

本稿では、特徴的測度 Λ の部分を段階的に追加することで過程を構築する新しいパスワイズ構成法である「測度分割構成法」を導入する。この手法により、ボルツァン＝ツニットマン型や正規頻度を持たないコアレスケントを含む広範な Λ-コアレスケントクラスにおいて、確率的に選ばれた外部枝長 T⁽ⁿ⁾ の漸近的挙動を支配する普遍的な正規化因子 μ⁽ⁿ⁾ を同定し、それらのスケーリング極限を統一する。

ABSTRACT

This paper provides a new construction of Λ-coalescents called "measure division construction". This construction is pathwise and consists of dividing the characteristic measure Λinto several parts and adding them one by one to have a whole process. Using this construction, a "universal" normalization factor μ^{(n)} for the randomly chosen external branch length T^{(n)} has been discovered for a class of coalescents. This class of coalescents covers processes similar to Bolthausen-Sznitman coalescent, the coalescents without proper frequencies, and also others.

研究の動機と目的

• 特徴的測度 Λ を段階的な成分に分解する新しいパスワイズ構成法を考案し、Λ-コアレスケントを構築すること。
• 多様な Λ-コアレスケントクラスにわたって、確率的に選ばれた外部枝長 T⁽ⁿ⁾ の漸近的分布を支配する普遍的な正規化因子 μ⁽ⁿ⁾ を同定すること。
• ボルツァン＝ツニットマン型や正規頻度を持たないコアレスケントを含む、異なる Λ 測度を持つコアレスケントの T⁽ⁿ⁾ のスケーリング極限を統一すること。
• 測度論的分解と確率的再帰関係を用いた一般枠組みを確立し、外部枝長の挙動を分析すること。

提案手法

• 特徴的測度 Λ を部分に分割し、段階的に追加することで Λ-コアレスケントを構築するパスワイズ手法として「測度分割構成法」を提案する。
• コアレスケンス確率と正規化因子 μ⁽ⁿ⁾ から導かれる係数を有する確率的再帰関係を用いて、全枝長の期待値をモデル化する。
• 係数をスケーリングした補助的再帰関係を用いた比較技術を適用し、期待される外部枝長の有界性を示し、境界を付ける。
• コアレスケンス率 gₙ と μ⁽ⁿ⁾ の漸近的挙動の分析を用いて、n → ∞ のとき μ⁽ⁿ⁾/n → 0 であることを示し、正規化を可能にする。
• Λ-コアレスケントの一貫性および交換可能性の性質を活用し、制限下でも分布的同値性が保たれることを保証する。
• 集中不等式とモーメントの有界性を用いて、ブロックサイズの減少の尾部挙動を制御し、正規化スケーリングの妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 多様な Λ-コアレスケント過程にわたって、確率的に選ばれた外部枝長 T⁽ⁿ⁾ の漸近的挙動を支配する普遍的な正規化因子 μ⁽ⁿ⁾ を同定できるか？
• RQ2 測度 Λ を段階的な成分に分解することで、Λ-コアレスケント過程をパスワイズに構築する方法は何か？
• RQ3 測度 Λ の構造と T⁽ⁿ⁾ のスケーリング極限の関係は何か、特に正規頻度を持たない場合にどうなるか？
• RQ4 測度分割構成法は、ベータ型やボルツァン＝ツニットマン型を含む、異なる Λ-コアレスケントクラスにおける T⁽ⁿ⁾ のスケーリング挙動をどの程度統一できるか？

主な発見

• 広範な Λ-コアレスケントクラス（正規頻度を持たないものも含む）において、μ⁽ⁿ⁾T⁽ⁿ⁾ がパラメータ 1 の指数分布に分布収束することを同定した。
• 測度分割構成法により、測度 Λ の部分を段階的に追加することで Λ-コアレスケントをパスワイズに構築でき、詳細なサンプルパス解析が可能となる。
• ボルツァン＝ツニットマン・コアレスケントでは、正規化因子 μ⁽ⁿ⁾ が ln n に比例し、(ln n)T⁽ⁿ⁾ が分布的に Exp(1) に収束する。
• 0 < a < 1 であるベータ(a,b)-コアレスケントでは、正規化因子 μ⁽ⁿ⁾ が n¹⁻ᵃ に比例し、n¹⁻ᵃT⁽ⁿ⁾ が特定の密度関数を持つ非退化極限に収束する。
• 正規頻度を持たないコアレスケント（すなわち ∫₀¹ x⁻¹Λ(dx) < ∞）では、正規化因子 μ⁽ⁿ⁾ が ∫₀¹ x⁻¹Λ(dx) と漸近的に同値となり、μ⁽ⁿ⁾T⁽ⁿ⁾ → Exp(1) が成り立つ。
• 期待全枝長 E[μ⁽ⁿ⁾Lₜₒₜₐₗ⁽ⁿ⁾/n] は、提案された正規化のもとで有界である再帰関係を満たし、スケーリングの安定性が確認された。