[論文レビュー] Competition between growths governed by Bernoulli Percolation

Olivier Garet, Régine Marchand|arXiv (Cornell University)|Jul 7, 2005

Stochastic processes and statistical mechanics参考文献 19被引用数 6

ひとこと要約

この論文は、$ℤ^d$ 上で、異なる確率 $p$ と $q$ を持つ超臨界的ベルヌーイ確率的浸透によって広がる2つの感染症の競合的成長過程を研究する。カップリングの議論と浸透における化学的距離の性質を用いて、両方の感染症が無限に成長する（共存）可能性があるのは、$p < \min\{q, \overrightarrow{p_c}\}$ であるような値が高々可算個に限られることを証明する。これは、1つの感染症が弱い場合に共存が稀であるという予想を支持する。

ABSTRACT

We study a competition model on $\mathbb{Z}^d$ where the two infections are driven by supercritical Bernoulli percolations with distinct parameters $p$ and $q$. We prove that, for any $q$, there exist at most countably many values of $p

研究の動機と目的

• 超臨界的ベルヌーイ確率的浸透に従う2つの競合的感染症が、$ℤ^d$ で同時に無限に成長する条件を調査すること。
• 1つの感染症の伝搬確率が他より低い場合、共存は不可能であるという予想を解消すること。ただし、パrameter の可算集合を除いては。
• 競合的ダイナミクスを伴う第一到達時確率的浸透モデルにおける共存を分析するための厳密な確率的枠組みを確立すること。
• 対称的モデル（例：リチャードソン・モデル）における既知の共存結果を、非対称かつ非対称にパrameter化された浸透過程へと拡張すること。

提案手法

• 著者たちは、各活性状態のサイトが、固定確率 $p$ および $q$ で近隣を独立に感染させる、$ℤ^d$ 上のマルコフ過程として競合をモデル化する。
• 異なる伝搬速度を持つ過程を比較するためのカップリング技術を用い、$p$ が大きいほど感染クラスタが確率的に大きくなることを示す。
• 主な道具は、超臨界的浸透における化学的距離と、大きなクラスタの出現確率の指数的尾部バウンドである。
• 証明は、漸近的形状の結果と劣加法的エルゴード定理を用いて、感染クラスタの成長率をバウンドすることに依存する。
• 弱い感染症と強い感染症の両方が無限に成長する事象 $\mathcal{G}^1_{p,q}$ および $\mathcal{G}^2_{p,q}$ を定義する。
• 背理法と測度論的議論を用いて、両事象が同時に発生するような $p$ の集合が高々可算個であることを示す。

実験結果

リサーチクエスチョン

• RQ1 異なるベルヌーイ確率的浸透過程に従う2つの競合的感染症が、$ℤ^d$ で同時に無限に成長する条件は何か？
• RQ2 両方の感染症が臨界閾値 $p_c$ を超えていながらも、1つの感染症の伝搬確率が他より厳密に低い場合、共存は可能か？
• RQ3 共存を許容するパrameter ペア $(p,q)$ の集合が非可算である可能性はあるか、それとも常に可算か？
• RQ4 向き付き浸透の閾値 $\overrightarrow{p_c}$ は、非対称モデルにおける共存の可能性をどのように制限するか？
• RQ5 異なる伝搬速度を持つ過程のカップリングは、パrameter 値の大部分で共存が成立しないことを証明する際に果たす役割は何か？

主な発見

• 共存（両感染症の同時に無限に成長）は、$q > p_c$ のもとで、$p < \min\{q, \overrightarrow{p_c}\}$ であるような $p$ の値が高々可算個に限られる。
• 任意の固定された $q > p_c$ に対して、両感染症が無限に成長するような $p < \min\{q, \overrightarrow{p_c}\}$ の集合は、Lebesgue測度がゼロであり、かつ高々可算個である。
• 証明により、$p < q < \min(r, \overrightarrow{p_c})$ ならば $\mathbb{P}(\mathcal{G}^1_{p,r} \cap \mathcal{G}^2_{q,r}) = 0$ であることが示され、強い感染症がこのような場合に支配することを意味する。
• 著者たちは、有理数を端点とする任意の区間 $[r,s]$ において、$\mathcal{G}^1_{p,q} \cap \mathcal{G}^2_{p,q}$ が同時に発生するのは高々1つの $p$ 値に限られることを確立し、共存パrameter の疎らさを強調する。
• この結果は、感染症が非対称にパrameter化されている場合、共存は可算集合を除いて不可能であるという予想を支持する。
• 解析により、臨界閾値 $\overrightarrow{p_c}$ が鋭い境界として機能することが確認された：両 $p$ と $q$ が $\overrightarrow{p_c}$ を超えていれば共存は可能だが、$p < \overrightarrow{p_c}$ の場合、共存は高々可算個の $p$ を除いて失敗する。