[論文レビュー] The shape theorem for the frog model with random initial configuration

O. S. M. Alves, Fábio P. Machado+2 more|ArXiv.org|Oct 25, 2001

Stochastic processes and statistical mechanics参考文献 9被引用数 32

ひとこと要約

本稿は、ℤᵈにおける初期配置が確率的である場合のフロッグモデルに対して形状定理を確立し、訪問済みサイトの集合を時間でスケーリングしたものが、ほとんど確実に空でないコン pact な凸集合に収束することを証明する。この結果は、初期粒子数が1サイトあたり1個の状態に限られていた先行研究を、任意のi.i.d.初期粒子数に一般化したものであり、成長の制御と漸近的凸性の確立に、ラプラシアン型関数とカップリング論法を用いる。

ABSTRACT

We prove a shape theorem for a growing set of simple random walks on Z^d, known as frog model. The dynamics of this process is described as follows: There are active particles, which perform independent discrete time SRWs, and sleeping particles, which do not move. When a sleeping particle is hit by an active particle, the former becomes active as well. Initially, a random number of particles is placed into each site. At time 0 all particles are sleeping, except for those placed at the origin. We prove that the set of all sites visited by active particles, rescaled by the elapsed time, converges to a compact convex set.

研究の動機と目的

• フロッグモデルにおける1サイトあたり1粒子の初期配置から、一般のi.i.d.確率的初期配置への形状定理の拡張。
• 時間でスケーリングした訪問済みサイトの集合が、ℤᵈでコン pact な凸集合にほとんど確実に収束することの証明。
• ラプラシアン関数と到達時間の性質によって定義されるノルムを用いて、極限形状の存在を確立すること。
• 初期サイトが空である非自明な場合を扱い、新たな確率的カップリングおよび大偏差技法を要すること。

提案手法

• 各サイト x ∈ ℤᵈ に独立同分布に粒子数 η(x) が初期配置されたフロッグモデルを定義し、初期状態では粒子はすべて眠っているが、原点を除く可能性がある。
• 到達時間 T(x,z)(ω) を、x から出発する活性粒子が z に到達する最初の時刻と定義し、ξₙˣ(ω) を時刻 n までに到達したサイトの集合とする。
• 成長率を特徴付けるために、ラプラシアン型関数 μ(x) = infₙ E[T(0,x)ⁿ]⁻¹ を構成し、極限形状 𝒜 = {x ∈ ℝᵈ : μ(x) ≤ 1} を定義する。
• ボレル・カンテリの補題とカップリング論法を用いて、十分大きな n に対して n𝒜 ⊂ ξ̄ₙ₊εn および ξ̄ₙ₋εn ⊂ n𝒜 が成り立つことを示し、スケーリングされた集合の収束を導出する。
• 大偏差推定と分岐ブラウン運動への支配を用いて、連続時間版の類似物における尾部挙動を制御する。
• η(0) ≥ 1 の条件下で、スケーリングされた集合 ξ̄ₙ / n がほとんど確実に凸集合 𝒜 に収束することを証明する。

実験結果

リサーチクエスチョン

• RQ1 初期配置がi.i.d.確率的であるフロッグモデルにおいて、スケーリングされた訪問済みサイトの集合は、決定的で凸な形状に収束するか？
• RQ2 極限形状は初期粒子数分布 ν にどのように依存するか？
• RQ3 1粒子/サイトのケースを超えて、空のサイトや任意の粒子数を持つ配置に対しても形状定理を拡張できるか？
• RQ4 到達時間 T(x,z) は、プロセスの成長フロントを特徴付ける上で果たす役割は何か？
• RQ5 大偏差およびカップリング技法は、スケーリングされたプロセスが極限形状にほとんど確実に収束することをどのように保証するか？

主な発見

• 任意の d ≥ 1 に対して、訪問済みサイトのスケーリングされた集合 ξ̄ₙ / n は、ほとんど確実に空でないコン pact な凸集合 𝒜 ⊂ ℝᵈ に収束する。
• 極限形状は 𝒜 = {x ∈ ℝᵈ : μ(x) ≤ 1} として特徴付けられ、ここで μ(x) は到達時間の期待値から導かれるノルムに類似した関数である。
• η(0) ≥ 1 の条件下で、ν-ほとんど確実に収束が成り立つため、原点でプロセスが非退化していることが保証される。
• 証明は、カップリング論法とボレル・カンテリの補題に依拠しており、十分大きな n に対して (1−ε)𝒜 ⊂ ξ̄ₙ / n ⊂ (1+ε)𝒜 が高確率で成り立つことを示す。
• 初期粒子数がほとんど確実に有界である場合、連続時間版のフロッグモデルに対してもこの結果が拡張可能である。
• 本手法により、成長フロントが漸近的に凸的であり、極限形状の近傍に一様に含まれることが示された。