[논문 리뷰] Annealed invariance principle for random walks on random graphs generated by point processes in $\mathbb{R}^d$

Arnaud Rousselle|arXiv (Cornell University)|2015. 06. 18.

Stochastic processes and statistical mechanics참고 문헌 28인용 수 3

한 줄 요약

이 논문은 $ℝ^d$에서 점 과정으로부터 생성된 무작위 기하 그래프—예를 들어 데라운레이 삼각분할, 가브리엘 그래프, 시내 건너편 그래프—위에서 연속 시간 단순 랜덤 워크에 대해 냉각된 불변 원리(annealed invariance principle)를 수립한다. 기저 점 과정에 대한 약한 모멘트 조건과 에르고딕성 조건이 만족될 경우, 환경-마킹 입자 과정과 마코프 임베딩 기법을 활용하여 스케일링된 워크는 냉각 측도 하에서 브라운 운동으로 수렴한다.

ABSTRACT

We consider simple random walks on random graphs embedded in $\mathbb{R}^d$ and generated by point processes such as Delaunay triangulations, Gabriel graphs and the creek-crossing graphs. Under suitable assumptions on the point process, we show an annealed invariance principle for these random walks. These results hold for a large variety of point processes including Poisson point processes, Matérn cluster and Matérn hardcore processes which have respectively clustering and repulsiveness properties. The proof relies on the use the process of the environment seen from the particle. It allows to reconstruct the original process as an additive functional of a Markovian process under the annealed measure.

연구 동기 및 목표

• 연속 시간 단순 랜덤 워크에 대해 $ℝ^d$에서의 무작위 기하 그래프에 대한 냉각된 불변 원리를 수립하는 것.
• 클러스터링(마테른 클러스터) 또는 반발력(마테른 하드코어)을 갖는 다양한 점 과정으로 생성된 기하 그래프로 불변 원리를 확장하는 것.
• 환경-입자 프레임워크를 통해 기하 그래프 위의 랜덤 워크 분석을 통합하는 것.
• 정적, 에르고딕, 비주기적인 점 과정을 포함한 광범위한 클래스에 대해 스케일링 극한을 검증하는 것.
• 격자 기반 모델을 초월하여 냉각 측도 하에서 확산 극한을 증명하기 위한 일반적 프레임워크를 제공하는 것.

제안 방법

• 원래 워크를 추가 기능으로 재구성하는 마코프 과정을 구성하기 위해 입자에서 본 환경을 사용한다.
• 점 과정 실현과 워크 경로에 대한 반직접 곱 측도로서 냉각 측도를 적용한다.
• 지속 시간이 지수분포를 따르는 연속 시간 워크를 정의하기 위해 생성자 $ℓ^{\xi^0}f(y) = \sum_{z \in \xi^0} \mathbf{1}_{\{\{y,z\} \in E_{G(\xi^0)}\}} (f(z) - f(y))$ 를 사용한다.
• 냉각 측도 하에서 펠러-마이어-마이어-바이너거(FMW) 접근법과 마틴게일 기능 중심극한정리(functional central limit theorem)를 적용한다.
• 스케일링된 과정의 안정성과 비폭발성 보장을 위해 도수 분포에 대한 모멘트 조건을 확립한다.
• 원점이 점 과정에 포함되어 있음을 조건화하기 위해 팔름 판본 $ℓ_0$ 를 사용하여 정적 및 에르고딕성 논증을 가능하게 한다.

실험 결과

연구 질문

• RQ1 무작위 기하 그래프 위에서 연속 시간 단순 랜덤 워크의 냉각 스케일링 극한은 브라운 운동으로 수렴하는가?
• RQ2 클러스터링 또는 반발력을 갖는 점 과정(예: 마테른 클러스터 또는 하드코어 과정)으로 유도된 기하 그래프로도 불변 원리가 확장 가능한가?
• RQ3 환경-입자 프레임워크에서 마코프 과정을 유도할 수 있는 점 과정에 대한 조건은 무엇인가? 이 조건이 기능 중심극한정리 적용을 가능하게 하는가?
• RQ4 정적, 에르고딕성, 비주기성, 유한 도수 모멘트 등의 가정이 냉각된 불변 원리의 타당성에 미치는 영향은 무엇인가?
• RQ5 데라운레이, 가브리엘, 시내 건너편 그래프를 포함한 다수의 기하 그래프 생성 방식을 동일한 분석 프레임워크로 다룰 수 있는가?

주요 결과

• 적절한 모멘트 조건과 에르고딕성 조건 하에서, 데라운레이 삼각분할, 가브리엘 그래프, 시내 건너편 그래프 위의 랜덤 워크에 대해 냉각된 불변 원리가 성립한다.
• 냉각 측도 하에서 스케일링된 랜덤 워크는 $ℝ^d$에서 약한 수렴을 통해 브라운 운동으로 수렴하며, 약한 가정 하에 최종 확산 행렬은 비특이적이다.
• 이 결과는 포아송 점 과정, 마테른 클러스터 과정, 마테른 하드코어 과정 모두에 적용되며, 요구되는 모멘트 및 구조 조건을 만족한다.
• 점 과정의 두 번째 계승 모멘트 측도는 $(2d)$차원 르베그 측도에 대해 절대연속적이며, 중심극한정리에 필요한 충분한 혼합성을 보장한다.
• $ℓ_0$ 하에서 원점의 차수는 모든 차수의 다항식 모멘트를 갖는다. 이는 연속 시간 워크의 폭발 방지를 보장한다.
• 환경-입자 프레임워크를 통한 증명 기법은 원래 과정을 냉각 측도 하에서 마코프 과정의 추가 기능으로 표현할 수 있게 하여, 마틴게일 중심극한정리 도구의 적용을 가능하게 한다.