[논문 리뷰] Random walk on discrete point processes

Ron Rosenthal|arXiv (Cornell University)|2010. 05. 09.

Stochastic processes and statistical mechanics참고 문헌 13인용 수 4

한 줄 요약

이 논문은 ℤ^d의 무작위 부분집합에서 좌표 이웃으로만 이동하는 대칭 무작위 보행을 연구한다. 보행자는 거의 확실히 영속 속도를 가지며, 다양한 차원에서 재귀성/비재귀성 기준을 도출하고, 이웃 간 거리에 대한 모멘트 조건 하에서 쿼런치드 기능 중심극한정리가 성립함을 증명한다.

ABSTRACT

We consider a model for random walks on random environments (RWRE) with random subset of the d-dimensional Euclidean lattice as the vertices, and uniform transition probabilities on 2d points (two "coordinate nearest points" in each of the d coordinate directions). We prove that the velocity of such random walks is almost surely 0, and give partial characterization of transience and recurrence for the different dimensions. Finally we prove Central Limit Theorem for such random walks, under a condition on the distance between nearest coordinate nearest points.

연구 동기 및 목표

• 좌표 이웃으로만 이동하는 ℤ^d의 무작위 부분집합에서 대칭 무작위 보행의 거시적 행동을 분석하는 것.
• 이러한 보행이 비영속 확산(양의 속도)을 보이거나, 다양한 차원에서 거의 확실히 비재귀성 또는 재귀성을 보이는지 결정하는 것.
• 보행에 대해 쿼런치드 기능 중심극한정리가 성립하는 조건을 설정하는 것.
• 중심극한정리가 성립하기 위해 필요한 거리의 모멘트 조건의 필요성과 충분성을 조사하는 것.

제안 방법

• 독립 동일분포 또는 정적(stationary)/에르고딕한 점 점유 조건 하에 원점이 점유된 조건부로 {0,1}^ℤ^d 에서의 무작위 환경 ω 를 정의한다.
• 좌표 방향의 2d개의 이웃으로 균일한 전이 확률을 가지는 무작위 점 과정 P(ω) 위의 쿼런치드 마코프 체인을 구성한다.
• 비르호프의 에르고딕 정리를 사용하여, 환경 측도 하에서 각 점이 모든 방향으로 거의 확실히 무한히 많은 이웃을 가짐을 보인다.
• 스펙트럼 갭과 코렉터 방법을 적용하여, 이웃 간 거리의 (2+ε₀)-모멘트 조건 하에서 쿼런치드 기능 중심극한정리를 증명한다.
• 기능 중심극한정리 증명의 핵심 항목을 유계화하기 위해 지오메트릭 및 해석적 추정을 바탕으로 한 보조 부등식을 사용한다: d 차원에서 ∑_{n=0}^∞ e^{-a·2ⁿ} ≤ c a^{-d} (일부 c = c(d) > 0 이고 0 < a ≤ 2).
• 모멘트 조건의 필요성과 비균일 전이 확률으로의 일반화 가능성에 대한 추측을 수립한다.

실험 결과

연구 질문

• RQ1 좌표 이웃 전이만 허용하는 ℤ^d의 무작위 부분집합에서의 무작위 보행은 거의 확실히 비영속 속도를 가지는가?
• RQ2 다양한 차원에서 이 보행은 어떤 조건 하에 재귀적이거나 비재귀적인가?
• RQ3 이러한 보행에 대해 쿼런치드 기능 중심극한정리가 성립하는가? 그리고 어떤 모멘트 조건이 필요한가?
• RQ4 두 번째 모멘트만 유한한 조건 하에서도 중심극한정리가 성립할 수 있는가?
• RQ5 유한한 (2+ε) 모멘트가 없는 경우에도 중심극한정리를 만족하는 예시는 존재하는가?

주요 결과

• 무작위 환경의 비균일성으로 인해, 차원에 관계없이 보행자의 속도는 거의 확실히 0이다.
• 주어진 가정 하에 d ≥ 3 에서는 비재귀성, d = 1, 2 에서는 재귀성이다.
• 좌표 이웃 간 거리의 (2+ε₀)-차 모멘트가 유한할 경우 쿼런치드 기능 중심극한정리가 성립한다.
• 중심극한정리는 코렉터 방법을 통해 증명되며, 이는 보행이 브라운 운동으로 수렴하도록 수정하는 조화함수의 존재에 의존한다.
• 증명은 보조 부등식을 사용한다: ∑_{n=0}^∞ e^{-a·2ⁿ} ≤ c a^{-d} (일부 c = c(d) > 0 이고 0 < a ≤ 2).
• 추측에 따르면 중심극한정리는 더 약한 모멘트 조건 하에서도 성립할 수 있으며, 적절한 스케일링 하에서 보행은 브라운 운동으로 수렴할 수 있다.