[論文レビュー] Stabilization and limit theorems for geometric functionals of Gibbs point processes

T. Schreiber, J. E. Yukich|ArXiv.org|Feb 5, 2008

Point processes and geometric inequalities参考文献 27被引用数 5

ひとこと要約

本稿は、ℝᵈにおけるギブス点過程の幾何的関数への弱大数法則および中心極限定理を、安定化条件および弱いポテンシャル減衰の下で確立する。ポアソン入力からギブス過程への古典的極限定理の拡張であり、ガウス過程への収束を証明し、ランダム逐次パッキング、幾何的グラフ、ギブス過程入力における量子化の関数への漸近的解析を可能にする。明示的な分散限界を伴う。

ABSTRACT

Given a Gibbs point process $¶^Ψ$ on $\R^d$ having a weak enough potential $Ψ$, we consider the random measures $μ_\la := \sum_{x \in ¶^Ψ \cap Q_\la} ξ(x, ¶^Ψ \cap Q_\la) δ_{x/\la^{1/d}}$, where $Q_{\la} := [-\la^{1/d}/2,\la^{1/d}/2]^d$ is the volume $\la$ cube and where $ξ(\cdot,\cdot)$ is a translation invariant stabilizing functional. Subject to $Ψ$ satisfying a localization property and translation invariance, we establish weak laws of large numbers for $\la^{-1} μ_\la(f)$, $f$ a bounded test function on $\R^d$, and weak convergence of $\la^{-1/2} μ_\la(f),$ suitably centered, to a Gaussian field acting on bounded test functions. The result yields limit laws for geometric functionals on Gibbs point processes including the Strauss and area interaction point processes as well as more general point processes defined by the Widom-Rowlinson and hard-core model. We provide applications to random sequential packing on Gibbsian input, to functionals of Euclidean graphs, networks, and percolation models on Gibbsian input, and to quantization via Gibbsian input.

研究の動機と目的

• ポアソンからギブス点過程への安定化に基づく極限定理を、弱く減衰するポテンシャルを持つ場合に拡張すること。
• ストライス、面積相互作用、ウィドム＝ロウリンソン、およびハードコアモデルなどのギブス過程入力における幾何的関数の弱大数法則および中心極限定理を確立すること。
• ランダム逐次パッキング、幾何的グラフ、およびギブス過程入力における関数の漸近的解析の理論的基盤を提供すること。
• 強度関数がゼロから正の距離を保証されない場合に対処するため、切断密度による近似とシュタイン法を用いること。

提案手法

• 点過程ℛにおける移動不変関数ξ(x, ℛ)の安定化フレームワークを用い、ξがxの有限な確率的近傍にのみ依存することを要請する。
• ギブスポテンシャルΨに局所化条件を課し、安定化半径の指数的減衰を仮定してモーメント制御と弱収束を保証する。
• 量子化における非一様強度関数hを扱うために、有界摂動技法を適用し、hεを用いて有界性を確保した後、ε→0の極限を取る。
• L²およびモーメント条件の下で、弱大数法則および中心極限定理により、スケーリング測度μλ(f) = ∑ξ(x, ℛ∩Qλ)δx/λ¹ᐟᵈの収束を確立する。
• シュタイン法を用いて、中心化・スケーリング測度λ⁻¹ᐟ²⟨f, μλ⟩の漸近的ガウス性を証明する。
• 関数Vξ(τ) = ℰ[ξ(0, ℛ)²] + τ∫ℝᵈ(ℰ[ξ(0,ℛ∪{z})ξ(z,ℛ∪{0})] − ℰ[ξ(0,ℛ)²])dzにより、明示的な分散限界を導出する。

実験結果

リサーチクエスチョン

• RQ1 ポアソン過程における安定化に基づく極限定理を、弱く減衰するポテンシャルを持つギブス点過程へ拡張可能か？
• RQ2 ストライスや面積相互作用過程などのギブス過程入力における幾何的関数は、弱大数法則および中心極限定理を満たすか？
• RQ3 入力がポアソンではなくギブス過程である場合、ランダム逐次パッキングや幾何的グラフにおける関数の極限定理は確立可能か？
• RQ4 強度関数hがゼロから正の距離を保証されない場合、量子化関数の漸近的解析においてどのように対処できるか？
• RQ5 ギブス関数の中心極限定理における漸近的分散の正確な形は何か？

主な発見

• Q₁上の有界関数fに対して、正規化関数λ⁻¹⟨f, μλ⟩はL¹およびL²でτℰ[ξ(0, ℛ)]∫Q₁f(x)dxに収束し、弱大数法則が成立する。
• スケーリング中心測度λ⁻¹ᐟ²⟨f, μλ⟩は、共分散核(f,g) ↦ τVξ(τ)∫Q₁f(x)g(x)dxを持つガウス場に弱収束する。
• 漸近的分散は明示的にVξ(τ) = ℰ[ξ(0, ℛ)²] + τ∫ℝᵈ(ℰ[ξ(0,ℛ∪{z})ξ(z,ℛ∪{0})] − ℰ[ξ(0,ℛ)²])dzとして与えられる。
• 強度hを有する量子化関数に対して、hがゼロから正の距離を保証されない場合でも、hε = max(h,ε)による近似と有界収束定理を用いて処理可能である。
• シュタイン法を摂動関数に適用することで、hがゼロから正の距離を保証されない場合でも中心極限定理が成立することが示された。
• 弱いポテンシャル条件の下で、ストライス、面積相互作用、ウィドム＝ロウリンソン、ハードコア過程を含む広範なギブス過程モデルに本結果が適用可能である。