[論文レビュー] On the Critical Behavior at the Lower Phase Transition of the Contact Process

Michael Aizenman, Paul Jung|ArXiv.org|Mar 9, 2006

Stochastic processes and statistical mechanics参考文献 25被引用数 12

ひとこと要約

本稿は、有界次数の推移的グラフ上の接触過程について、臨界遷移の動的閾値 λT（崩壊が指数関数的に速くなる点）が、非自明な不変測度が存在する静的閾値 λH とちょうど一致することを確立し、長年の予想を解決した。著者らは連続的設定を用いて感染密度に関する偏微分不等式を導出し、臨界指数の一般的境界を導き、下臨界領域における指数的減衰および λc = λT = λH における臨界的挙動を証明した。

ABSTRACT

We present general results for the contact process by a method which applies to all transitive graphs of bounded degree, including graphs of exponential growth. The model's infection rates are varied through a control parameter, for which two natural transition points are defined as: i. $λ_T$, the value up to which the infection dies out exponentially fast if introduced at a single site, and ii. $λ_H$, the threshold for the existence of an invariant measure with a non-vanishing density of infected sites. It is shown here that for all transitive graphs the two thresholds coincide. The method, which proceeds through partial differential inequalities for the infection density, yields also generally valid bounds on two related critical exponents. The main results discussed here were established by Bezuidenhout and Grimmett \cite{BG2} in an extension to the continuous-time process of the discrete-time analysis of Aizenman and Barsky \cite{AB}, and of the partially similar results of Menshikov \cite{M}. The main novelty here is in the direct derivation of the partial differential inequalities by an argument which is formulated for the continuum.

研究の動機と目的

• 推移的グラフ上の接触過程について、動的遷移閾値 λT が静的閾値 λH に等しいという予想を解決すること。
• アイゼンマンとバーズキーの離散時間手法を、連続時間接触過程に一般の推移的グラフへと拡張すること。
• 感染密度に関する偏微分不等式を用いて、臨界指数の一般的境界を導出すること。
• 任意の成長率を示すグラフ上での下臨界領域（λ < λT）における感染生存および拡散の指数的減衰を確立すること。

提案手法

• 連続的設定で接触過程を定式化することにより、感染密度に関する偏微分不等式（PDI）を導出する。
• ポアソン過程の微分公式を用いて、感染密度の無限小変化を遷移率に関連付ける。
• 推移性および有界次数の仮定を適用して、すべての推移的グラフに一般に成立する境界を導出する。
• 分岐ランダムウォークとのカップリングおよび大偏差を用いて、距離にわたる感染拡散確率の上限を求める。
• 自発的感染（h > 0）を含む二パラメータモデルの拡張を用いて、生存確率の極限および連続性を分析する。
• 双対性および劣加法的議論を用いて、λ < λT に対してリャプノフ指数 η < 0 の存在および有限性を確立する。

実験結果

リサーチクエスチョン

• RQ1 感染の指数的崩壊の動的閾値 λT は、非自明な不変測度が存在する静的閾値 λH と一致するか？
• RQ2 アイゼンマンとバーズキーの離散時間接触過程に対する手法は、一般の推移的グラフ上での連続時間モデルへと拡張可能か？
• RQ3 任意の成長率を示すグラフ上での接触過程における臨界指数の一般的境界は何か？
• RQ4 下臨界領域（λ < λT）における空間的・時間的感染密度の減衰様式はいかなるものか？
• RQ5 自発的感染（h > 0）は、λ = λc における臨界的挙動の分析においてどのような役割を果たすか？

主な発見

• 臨界閾値は一致する：すべての有界次数の推移的グラフにおいて λT = λH = λc が成り立つ。
• λ < λT のとき、感染が時刻 t まで生存する確率は t に対して指数関数的に減少し、距離 L に到達する確率は L に対して指数関数的に減少する。
• モデルは λc で臨界的挙動を示し、臨界指数はそれらの平均場値によって上限が与えられる。
• 生存確率 θ(λ, h) は λ および h > 0 で連続であり、limh→0+ θ(λ, h) = P(|C(o,0)| = ∞) が λ < λH のとき成り立つ。
• 感受性 χ(λ) は λc で発散し、λ < λH のとき χ(λ) = E[|C(o,0)|1_{|C(o,0)|<∞}] が成り立つ。
• 本手法はPDIアプローチの直接的な連続的定式化を提供し、離散時間近似を回避し、指数的成長を示すグラフへも結果を拡張可能である。