[논문 리뷰] On the range of random walk on graphs satisfying a uniform condition

Kazuki Okamura|arXiv (Cornell University)|2013. 08. 07.

Stochastic processes and statistical mechanics참고 문헌 10인용 수 5

한 줄 요약

이 논문은 균일 조건 $(U)$를 만족하는 무한 가중 그래프 위에서의 단순 랜덤 워크의 범위 $ R_n $ 에 대해 약한 대수의 법칙을 수립한다. 이 조건 $(U)$ 는 효과적 저항의 균일 수렴으로 특징지어지며, $ R_n/n $ 이 확률적으로 $ 1 - F_2 $ 와 $ 1 - F_1 $ 사이에 집중됨을 보여준다. 또한 평균 $ \mathbb{E}[R_n]/n $ 이 $ 1 - F_2 $ 와 $ 1 - F_1 $ 사이를 진동하는 그래프를 구성하여, 이 경계들이 날카로운 것임을 증명한다.

ABSTRACT

We consider the range of random walks up to time n, R_n, on graphs satisfying a uniform condition. This condition is characterized by potential theory. Not only all vertex transitive graphs but also many non-regular graphs satisfy the condition. We show certain weak laws of R_n from above and below. We also show that there is a graph such that it satisfies the condition and a sequence of the mean of R_n/n fluctuates. By noting the construction of the graph, we see that under the condition, the weak laws are best in a sense.

연구 동기 및 목표

• 균일 조건 $(U)$ 를 만족하는 그래프에서 단순 랜덤 워크의 범위 $ R_n $ 에 대해 약한 대수의 법칙을 수립하는 것. 이는 정규성과 공간적 균일성을 일반화한다.
• $ \mathbb{Z}^d $ 와 같은 정규 그래프를 초월하여 비정규 및 비정점 추이성 그래프로의 범위 결과를 확장하는 것.
• 약한 법칙 경계의 날카로움을 조사하기 위해, $ \mathbb{E}[R_n]/n $ 이 $ 1 - F_2 $ 와 $ 1 - F_1 $ 사이를 진동하는 그래프를 구성함으로써, 경계들이 향상될 수 없음을 보이는 것.
• 잠재이론을 통해, 특히 효과적 저항을 통해 균일 조건 $(U)$ 를 특징짓고, 이 조건이 근본적 등거리성에 대해 안정됨을 보이는 것.
• 재귀성/비재귀성 및 복귀 확률이 $ R_n $ 의 점근적 행동을 결정하는 데서 수행하는 역할을 명확히 하는 것.

제안 방법

• 잠재이론 도구를 사용하여, $ n \to \infty $ 일 때 효과적 저항 $ \rho(x,n) \to \rho(x) $ 의 균일 수렴으로 균일 조건 $(U)$ 를 정의한다.
• Kumagai [9] 의 관계 $ \rho(x,n)^{-1} = \mu_x P_x(T_x^+ > T_{B(x,n)^c}) $ 를 사용하여 복귀 확률과 저항을 연결한다.
• 저항 추정을 사용하여, $ x $ 에 대해 균일한 $ P_x(R_n \geq n(1 - F_1 + \epsilon)) \to 0 $ 과 $ P_x(R_n \leq n(1 - F_2 - \epsilon)) \to 0 $ 의 추정을 통해 약한 법칙을 수립한다.
• 도수의 변화가 있는 나무 구조를 사용하여, $ F_1 < F_2 $ 이고 $ \liminf \mathbb{E}[R_n]/n = 1 - F_2 $, $ \limsup \mathbb{E}[R_n]/n = 1 - F_1 $ 를 만족하는 그래프를 구성한다.
• 에너지 비교와 알려진 저항 및 전이 확률 감쇠 결과를 사용하여, $(U)$ 가 근본적 등거리성에 대해 안정됨을 증명한다.
• Sierpiński 가스킷, Vicsek 나무, $ \mathbb{Z}^d $ 에 대한 알려진 결과를 적용하여, 적절한 조건 하에서 이들 그래프가 $(U)$ 를 만족함을 보인다.

실험 결과

연구 질문

• RQ1 공간적 균일성이 결여된 그래프, 예를 들어 비정규 또는 비정점 추이성 그래프에서 범위 $ R_n $ 에 대한 약한 대수의 법칙을 수립할 수 있는가?
• RQ2 균일 조건 $(U)$ 하에서 $ R_n/n $ 이 확률적으로 존재하는 최적 범위는 무엇이며, 이 범위를 향상시킬 수 있는가?
• RQ3 $(U)$ 를 만족하는 그래프 중에서 $ \mathbb{E}[R_n]/n $ 이 수렴하지 않는 것이 존재하는가? 만약 그렇다면, 이는 약한 법칙 경계의 날카로움에 어떤 함의를 갖는가?
• RQ4 균일 조건 $(U)$ 는 효과적 저항 및 복귀 확률과 같은 잠재이론적 양과 어떻게 관련되어 있는가?
• RQ5 $(U)$ 와 $ UC_{\alpha} $ 는 근본적 등거리성에 대해 안정적인가? 어떤 그래프 클래스들이 $(U)$ 를 만족하는가?

주요 결과

• 모든 $(U)$ 를 만족하는 그래프에 대해, $ x $ 에 대해 균일하게 $ \lim_{n\to\infty} P_x(R_n \geq n(1 - F_1 + \epsilon)) = 0 $ 이고 $ \lim_{n\to\infty} P_x(R_n \leq n(1 - F_2 - \epsilon)) = 0 $ 이며, 상한의 경우 지수 감쇠가 발생한다.
• 경계 $ 1 - F_2 $ 와 $ 1 - F_1 $ 는 날카롭다: $ \liminf_{n\to\infty} \mathbb{E}[R_n]/n = 1 - F_2 $ 이고 $ \limsup_{n\to\infty} \mathbb{E}[R_n]/n = 1 - F_1 $ 인 $(U)$ 를 만족하는 그래프가 존재하므로, 약한 법칙은 향상될 수 없다.
• 모든 정점 추이성 그래프, $ \mathbb{Z}^d $, Sierpiński 가스킷 및 카펫, Vicsek 나무, 그리고 이들에 대해 근본적 등거리인 그래프들은 $(U)$ 를 만족한다.
• 조건 $(U)$ 는 근본적 등거리성에 대해 안정된다: $ X $ 가 $(U)$ 를 만족하면, $ X $ 와 근본적 등거리인 임의의 그래프 역시 $(U)$ 를 만족한다.
• $ \alpha > 2 $ 인 $ UC_{\alpha} $ 를 만족하는 그래프(예: $ \mathbb{Z}^d $, $ d \geq 3 $) 는 $(U)$ 를 만족하며, $ \sum_k p_k(x,x) \to \infty $ 인 재귀 그래프 역시 $(U)$ 를 만족한다.
• 비재귀적 $ 4 $-정규 나무에서 구성된 재귀적 나무는 $(U)$ 를 만족하지 못함을 보여, 조건 $(U)$ 가 비잔선적이며 단순히 재귀성만으로 유도되지 않음을 보여준다.