[論文レビュー] A note on the rightmost particle in a Fleming-Viot process

Amine Asselah, Marie-Noémie Thai|arXiv (Cornell University)|Dec 17, 2012

Stochastic processes and statistical mechanics参考文献 14被引用数 5

ひとこと要約

本稿では、$N$ 個の最近傍ランダムウォークが原点への漂移を持つ $\mathbb{N}$ 上で動作するフレミング＝ヴィオット過程における右端の粒子を研究する。0に到達した粒子は、ランダムに選ばれた他の粒子の位置にジャンプする。カップリングおよび大偏差技法を用いて、定常測度下での右端位置の指数モーメントの上限を確立し、エルゴディシティを証明するとともに、最大位置が $N$ に対して対数的にしか増加しないことを示した。これは、$N \to \infty$ のとき、経験的測度が非定常分布に収束するという予想を支持する。主な結果は、右端粒子の定常分布に対して、$\exp(\delta \beta \log N)$ のオーダーの一様指数モーメントの上限である。

ABSTRACT

We consider N nearest neighbor random walks on the positive integers with a drift towards the origin. When one walk reaches the origin, it jumps to the position of one of the other N-1 walks, chosen uniformly at random. We show that this particle system is ergodic, and establish some exponential moments of the rightmost position, under the stationary measure.

研究の動機と目的

• $\mathbb{N}$ 上の $N$ 個のランダムウォークが0で殺され、他のランダムな粒子に置き換えられるフレミング＝ヴィオット粒子系のエルゴディシティを確立すること。
• この系における右端粒子の定常分布、特に指数モーメントによる尾の挙動を分析すること。
• $N \to \infty$ のとき、フレミング＝ヴィオット過程の経験的測度が非定常分布に収束するという予想の理論的基盤を提供すること。
• 定常測度下での最大位置の成長を制御し、$N$ に対して対数的にしか増加しないことを示すこと。

提案手法

• 最大位置の時間発展を、独立な移動と分岐機構を持つ多型分岐過程と比較するためのカップリング論法を用いる。
• 負の漂移を伴うランダムウォークのための大偏差推定を適用し、率関数 $I(x)$ 及びその変換版 $\tilde{I}(x) = 1 - \exp(-I(x))$ を用いる。
• 時間分割戦略を実装し、時間間隔 $T = A \log N$ 内で弱く相関するグループに粒子系を分割することで、モーメント推定を可能にする。
• リャプノフ関数による議論を用いてフォスターの基準を適用し、初期状態が最大値が減少する予想があるかどうかを判別するための集合 $K$ 及び $K^c$ を用いる。
• コーシー＝シュワルツの不等式およびポアソン過程とランダムウォークの増分に関する尾の推定を用いて、指数モーメントの上限を導出する。
• 最大位置の期待指数成長を制御する重要な不等式 (5.15) を確立し、不変測度下での一様な上限に至る。

実験結果

リサーチクエスチョン

• RQ1 0で殺され、他のランダムな粒子に置き換えられる $\mathbb{N}$ 上の $N$ 個の相互作用するランダムウォークからなるフレミング＝ヴィオット過程は、一意な不変測度をもつか？
• RQ2 定常分布下での右端粒子の位置の成長率は何か？ また、指数モーメントによって上限を示せるか？
• RQ3 フォスター型基準を用いて、この過程がエルゴディックであることを示せるか？ そして、そのようなエルゴディシティを保証する条件は何か？
• RQ4 時間 $T = A \log N$ の間に最大位置はどのように変化するか？ また、その値が増加する確率は何か？
• RQ5 定常分布における最大位置の分布は、$N$ の任意の正のべきよりも遅く成長するか？ これは非定常分布への収束を支持するか？

主な発見

• フレミング＝ヴィオット過程はエルゴディックであり、各 $N$ に対して一意な不変測度 $\lambda_N$ をもつことが、フォスターの基準により確立された。
• $T = A \log N$ および十分小さい $\delta < \delta_0$ のとき、最大位置の期待指数モーメントは $e^{\delta \max(\xi)}$ を含む上限を満たし、初期最大値が大きい場合や一時的な挙動の補正が加えられる。
• 定常測度下での右端粒子の位置は、$\int \exp(\delta \max(\xi)) \, d\lambda_N(\xi) \leq C \exp(\delta \beta \log N)$ を満たす。ここで $\beta, C > 0$ である。これは対数的成長を示唆する。
• $T = A \log N$ の間に最大位置が増加する確率は指数的に小さく抑えられ、$e^{-\kappa T}$ 及び $e^{-\chi}$ 項によって制御される。
• 解析により、定常測度下で最大位置が $O(\log N)$ を超えて成長する可能性は極めて低いことが示され、非定常分布への収束という予想を支持する。
• 本手法により、$\exp(\delta \beta \log N)$ のオーダーの一様指数モーメント上限が得られ、これは非定常分布への収束のための最適な上限である。