[論文レビュー] Attractive n-type contact processes

Joseph P. Stover|arXiv (Cornell University)|Jun 29, 2010

Stochastic processes and statistical mechanics参考文献 11被引用数 3

ひとこと要約

本稿は、多型n型接触過程における単調性（吸引力）を特徴付けるための相互作用マップフレームワークを導入し、過去からの結合（coupling from the past）を用いた正確なシミュレーションを可能にする。各相互作用マップが個別に吸引力である場合、その過程が吸引力であることを証明しており、任意の粒子型相互作用を有する複雑な多型空間確率モデルの効率的解析を可能にする。

ABSTRACT

Interacting particle systems are continuous time Markov processes which are used to construct models in many disciplines. Monotonicity is a property that some interacting particle systems possess. A monotone interacting particle system is called attractive. A benefit of attractiveness is that it simplifies certain calculations, one of which is the ability to use some computational algorithms to sample exactly from the stationary distribution of an ergodic process. Monotonicity is well understood for spin systems such as the contact process. Spin systems only include two particle types however, while in many applied models, it is desirable to include more species of particles. In this paper a general framework of monotonicity will be outlined for a certain class of multitype contact processes.

研究の動機と目的

• 2状態スピン系を超える多型相互作用粒子系における単調性（吸引力）を評価するための体系的かつ包括的な手法の開発。
• 過去からの結合（CFTP）のような正確なシミュレーションアルゴリズムの適用範囲を、3種類以上の粒子型を有する多型接触過程へと拡張すること。
• 相互作用マップに基づく、高速で構造的な基準を提示し、多型接触過程が単調であるかどうかを判断するためのもの。
• 個々に吸引力である複数の相互作用マップが、全体の過程においても単調性を保つことを示すこと。

提案手法

• 本稿は、どの粒子型の遷移が許可され、どのような条件下で許可されるかを指定する行列としての相互作用マップを導入し、多型接触過程における相互作用を記述する。
• 粒子型の順序に基づく部分順序を状態空間に定義することで、マルコフ過程の単調性基準の適用を可能にする。
• 各個別の相互作用マップが上昇および下降遷移において部分順序を保存することを確認することで、単調性を確立する。
• 各マップの上昇および下降遷移にそれぞれ独立なポアソン点過程を用いた図式的結合を用いることで、確率的順序を維持する。
• 複雑な過程を、より単純で個別に評価可能な相互作用マップに分解可能である。
• 単調性の十分条件を証明する：すべての個別相互作用マップが吸引力であれば、全過程も単調である。

実験結果

リサーチクエスチョン

• RQ1 3種類以上の粒子型を有する多型接触過程が単調であるのはどのような条件下か？
• RQ2 多型接触過程の吸引力は、その構成要素である相互作用マップを独立に分析することで特定できるか？
• RQ3 過去からの結合（CFTP）アルゴリズムは、スピン系でない多型過程へどのように適用できるか？
• RQ4 相互作用マップのどのような構造的性質が、合成された過程においても単調性を保証するか？
• RQ5 粒子型間で一意でない、あるいは複数の相互作用ルールが存在する場合でも、依然として吸引力を持つ過程が得られるか？

主な発見

• 多型接触過程が吸引力であるための必要十分条件として、その相互作用マップが吸引力であること、すなわち、多型接触過程が吸引力であることは、その相互作用マップが吸引力であることと同値である。
• グラス・バッジ・ツリー・モデルが、レートパラメータに制限なしに吸引力であることが示され、2つの別個の相互作用マップを用いて示された。
• 2段階接触過程が、レートパラメータに制限なしに単調であることが確認され、CFTPによる正確なシミュレーションが可能であることが裏付けられた。
• 複数の相互作用マップを用いることで複雑な相互作用をモデル化でき、各マップが個別に吸引力であれば、全過程も単調性を保つ。
• 相互作用マップフレームワークにより、複雑な不等式系を解くことなく、単調性の迅速な評価が可能である。
• 本手法により、従来その範囲外であった広範な多型空間確率過程に対して、正確なサンプリングアルゴリズム（CFTPなど）の適用が可能になった。