[論文レビュー] A shape theorem for an epidemic model in dimension $d\ge 3$

Enrique D. Andjel, Nicolas Chabot+1 more|arXiv (Cornell University)|Oct 4, 2011

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

ひとこと要約

本稿は、$d \geq 3$ における $ℤ^d$ 上の確率的SIR疫病モデルにおける感染または免疫化した個体の集合について、局所的に依存するパーコレーションと確率的感染期間を扱うために動的レノルミゼーション技術を用いて、形状定理を確立する。主な結果は、滅亡しない条件のもとで、感染領域が力学的に成長し、決定論的な極限形状に収束することを示しており、以前の $d=2$ の結果を一般の感染時間分布を用いて高次元に拡張する。

ABSTRACT

We prove a shape theorem for the set of infected individuals in a spatial epidemic model with 3 states (susceptible-infected-recovered) on ${\mathbb Z}^d,d\ge 3$, when there is no extinction of the infection. For this, we derive percolation estimates (using dynamic renormalization techniques) for a locally dependent random graph in correspondence with the epidemic model.

研究の動機と目的

• $d \geq 3$ における $\mathbb{Z}^d$ 上の確率的SIRモデルにおける感染の空間的拡散について形状定理を確立すること。これは、以前の研究が $d=2$ に限られていたのを拡張するものである。
• 感染期間が確率的である（正の確率で正である）という挑戦に直面し、これは低次元で用いられた独立したパーコレーションモデルとの比較を無効にしている。
• 疫病ダイナミクスに起因する局所的に依存するパーコレーション構造を扱うために、動的レノルミゼーション技術を開発および適用すること。
• 感染が消滅しない場合に、感染または免疫化した個体の集合が力学的に成長し、決定論的な極限形状に収束することを証明すること。

提案手法

• GrimmettとMarstrand（1990）が開発した動的レノルミゼーション技術を、疫病モデルに対応する局所的に依存するエッジ重みを持つ最初の通過パーコレーションに適応して分析する。
• エッジが成功した感染伝播を表し、時間に依存する重みを持つ、疫病過程の局所的に依存する確率的グラフ表現を用いる。
• $d \geq 3$ では失敗する回路に基づく手法に代わって、スラブ上のパーコレーションに基づく確率的近傍を導入し、高次元におけるオープンパスの制御を可能にする。
• FKG不等式と指数的でない（指数的でない）推定（指数的推定ではなく）を用いて、スラブを横切るパスの存在確率に対する正の下界を確立する。
• 非方向性パーコレーションの $d \geq 3$ における結果を活用し、オープンクラスタの幾何構造を制御し、形状収束を導出する。
• 感染期間の $d$ 階のモーメント条件を用いて、漸近的形状内に感染しているがまだ免疫化していない個体を局所化する。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{Z}^d$ 上の空間的SIRモデルにおいて、$d \geq 3$ の場合に感染が存続するならば、感染または免疫化した個体の集合は決定論的極限形状に収束するか？
• RQ2 動的レノルミゼーション技術は、高次元における確率的感染時間を持つ局所的に依存するパーコレーションモデルに適応可能か？
• RQ3 $d \geq 3$ では回路に基づくパス制御が不可能であるが、これをどのように克服して形状定理を証明できるか？
• RQ4 感染期間のモーメント条件が、漸近的形状内での感染個体の局所化に果たす役割は何か？
• RQ5 以前の研究で仮定された決定論的感染期間とは異なり、感染期間が確率的であっても形状定理を確立できるか？

主な発見

• 本稿は、$d \geq 3$ における $\mathbb{Z}^d$ 上のSIR疫病モデルについて、非消滅条件下で形状定理を証明し、感染領域が力学的に成長し、決定論的極限形状に収束することを示した。
• 著者らは、厚さ $6N$ のスラブを横切るオープンパスの存在確率に対する正の下界 $\delta_1 > 0$ の存在を確立し、パーコレーションモデルにおける長距離接続の構築を可能にした。
• 形状定理に十分な、指数的でない推定がパーコレーションモデルに対して導出された。これは、以前の研究で用いられた決定論的感染期間を仮定した際の指数的推定に代わるものである。
• Chabot（1998）が導入した確率的近傍が、確率的感染期間を伴う現在の設定においても有効であり、依然として有効であることが示された。
• 感染期間の $d$ 階のモーメント条件が、漸近的形状内に感染個体を局所化するのに十分であり、$d=2$ の結果と整合的である。
• 証明は動的レノルミゼーションとスラブに基づくパーコレーションの議論に依存しており、$d \geq 3$ では失敗する回路に基づく手法を避けていた。