[논문 리뷰] Stabilization and limit theorems for geometric functionals of Gibbs point processes

T. Schreiber, J. E. Yukich|ArXiv.org|2008. 02. 05.

Point processes and geometric inequalities참고 문헌 27인용 수 5

한 줄 요약

이 논문은 ℝᵈ에서 Gibbs점과정의 기하 함수기능에 대해 안정성 조건과 약한 잠재력 감쇠 조건 하에 약한 대수법칙과 중심극한정리들을 수립한다. 기존의 포아송 입력에서의 고전적 극한정리들을 Gibbsian 입력으로 확장하며, 정규분포로의 수렴을 증명하고, 무작위 순차적 패킹, 기하 그래프, Gibbsian 입력에서의 양자화에 대한 기능의 渐近 분석을 가능하게 한다. 명시적인 분산 한계를 제공한다.

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.

연구 동기 및 목표

• 약한 감쇠 잠재력 조건 하에서 포아송에서의 안정성 기반 극한정리를 Gibbs점과정으로 확장한다.
• 스트라우스, 면적 상호작용, 위드롬-로윙inson, 하드코어 모델과 같은 Gibbsian 입력에 대한 기하 함수기능에 대해 약한 대수법칙과 중심극한정리를 수립한다.
• 무작위 순차적 패킹, 기하 그래프, Gibbsian 입력에서의 양자화에 대한 기능의 渐近 분석을 위한 이론적 기초를 마련한다.
• 강도 함수가 0으로부터 떨어져 있지 않은 경우를 다루기 위해 잘라낸 밀도와 스텐 방법을 통한 근사 기법을 사용한다.

제안 방법

• 점과정 ℛ에 대한 이동 불변 함수기능 ξ(x, ℛ)에 대해 안정성 프레임워크를 사용하며, ξ가 x의 유한한 랜덤 이웃에만 의존하도록 요구한다.
• Gibbs 잠재력 Ψ에 국소화 조건을 부과하고, 안정성 반경의 지수 감쇠를 가정하여 모멘트 제어와 약한 수렴을 확보한다.
• 강도 함수 h가 비균일한 경우에 대해, 유한성을 확보하기 위해 hε의 잘라낸 버전을 사용하고 ε→0으로 갈 때의 수렴을 고려하여 유한한 변화 방법을 적용한다.
• L² 및 모멘트 조건 하에서, 스케일된 측도 μλ(f) = ∑ξ(x, ℛ∩Qλ)δx/λ¹ᐟᵈ의 약한 대수법칙과 중심극한정리를 통해 수렴을 수립한다.
• 스텐 방법을 사용하여 중심화된 스케일된 측도 λ⁻¹ᐟ²⟨f, μλ⟩의 渐近 정규성을 증명한다.
• 기능 Vξ(τ) = ℰ[ξ(0, ℛ)²] + τ∫ℝᵈ(ℰ[ξ(0,ℛ∪{z})ξ(z,ℛ∪{0})] − ℰ[ξ(0,ℛ)²])dz를 통해 명시적인 분산 한계를 유도한다.

실험 결과

연구 질문

• RQ1 약한 감쇠 잠재력 조건을 갖는 포아송 과정에 대한 안정성 기반 극한정리를 Gibbs점과정으로 확장할 수 있는가?
• RQ2 스트라우스 또는 면적 상호작용 과정과 같은 Gibbsian 입력의 기하 함수기능은 약한 대수법칙과 중심극한정리를 만족하는가?
• RQ3 입력이 포아송이 아닌 Gibbsian일 경우, 무작위 순차적 패킹 및 기하 그래프의 기능에 대해 극한정리를 수립할 수 있는가?
• RQ4 강도 함수 h가 0으로부터 떨어져 있지 않은 경우, 양자화 기능의 渐近 분석에서 이를 어떻게 다룰 수 있는가?
• RQ5 Gibbsian 기능에 대한 중심극한정리에서의 정확한 渐近 분산 형태는 무엇인가?

주요 결과

• 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가 0으로부터 떨어져 있지 않은 경우에도 hε = max(h,ε)로 근사하고 유한 수렴 정리를 적용함으로써 이를 다룰 수 있다.
• 강도 함수 h가 0으로부터 떨어져 있지 않은 경우에도, 변형된 기능에 대해 스텐 방법을 적용함으로써 중심극한정리가 성립함을 보였다.
• 결과는 약한 잠재력 조건 하에서 스트라우스, 면적 상호작용, 위드롬-로윙inson, 하드코어 과정을 포함한 광범위한 Gibbsian 모델에 적용 가능하다.