[논문 리뷰] Anchored expansion, speed, and the hyperbolic Poisson Voronoi tessellation

Itaï Benjamini, Elliot Paquette외 1명|arXiv (Cornell University)|2014. 09. 15.

Mathematics and Applications참고 문헌 7인용 수 6

한 줄 요약

이 논문은 양측 확장성과 지수적 체적 성장을 갖는 단순 무작위 보행이 초구형 포아송 비어노이 테셀레이션과 초구형 포아송 데라운이 삼각형의 1-스켈레톤에서 양측 확장성과 지수적 체적 성장을 보임을 증명함으로써, 이러한 무작위 그래프에서 단순 무작위 보행이 양의 속도를 갖는다는 것을 확립한다. 핵심 기여는 정(stationary) 무작위 그래프가 양측 확장성과 지수적 성장을 갖는 경우 거의 확실히 양의 liminf 속도를 갖는다는 일반적 결과를 제시하는 것이다.

ABSTRACT

We show that random walk on a stationary random graph with positive anchored expansion and exponential volume growth has positive speed. We also show that two families of random triangulations of the hyperbolic plane, the hyperbolic Poisson Voronoi tessellation and the hyperbolic Poisson Delaunay triangulation, have 1-skeletons with positive anchored expansion. As a consequence, we show that the simple random walks on these graphs have positive speed. We include a section of open problems and conjectures on the topics of stationary geometric random graphs and the hyperbolic Poisson Voronoi tessellation.

연구 동기 및 목표

• 정(stationary) 무작위 그래프에서 양측 확장성과 지수적 체적 성장을 갖는 단순 무작위 보행의 양의 속도를 확립하기 위해.
• 초구형 포아송 비어노이 및 데라운이 삼각형의 1-스켈레톤이 거의 확실히 양측 확장성을 갖는다는 것을 보여주기 위해.
• 유계 차수 조건을 제거하고 정성과 지수적 성장을 도입함으로써 비르그(Virág)의 속도 결과를 유계 차수 그래프를 초월하여 확장하기 위해.
• 정성 무작위 그래프에서 유계 조화 함수의 구조를 조사하여, 이들이 1차원 또는 무한차원임을 보여주기 위해.
• 비가역적 비가역적 초구형 공간에서의 무작위 기하 그래프를 등기적 및 거리 비교 기법을 사용하여 분석하는 프레임워크를 제공하기 위해.

제안 방법

• 자신의 확장성은 이소페리메트릭 조건의 완화된 형태로 정의한다: $ i^*(G) = \liminf_{\substack{|S|\to\infty \\ \rho \in S \\ G|_S \text{ 연결}}} \frac{|\partial S|}{\operatorname{Vol}_G(S)} > 0 $, 이는 무작위 변형에 대해 안정적이다.
• 보렐-칸텔리 정리와 초구형 공간 내의 거리 비교를 사용하여, 큰 $ x $에 대해 그래프 거리 $ d_G(0,x) \geq \delta \cdot d_\mathbb{H}(0,x) $ 임을 보이며, 이는 그래프의 체적 성장이 초구형 공간의 지수적 성장과 일치함을 의미한다.
• 초구형 기하학을 활용하여 지오데식 경로를 따라 중첩된 공백 원판 $ B_i $ 를 구성함으로써 비어노이 세포의 구조를 제어한다.
• 초구형余弦 법칙과 지수 감쇠 추정을 사용하여 방향의 각도 이동 $ |\theta(X_{k+1}) - \theta(X_k)| $ 를 유계화하고, 이 이동이 합산 가능하며 거의 확실히 수렴함을 보인다.
• $ \mathbb{E}[\deg(\rho)] < \infty $ 와 유일성(unimodularity)을 이용하여 가역성과 정성을 조화 함수의 존재성과 연결한다.
• Virág [Vir00]의 열핵 감쇠 결과와 LPP95의 초임계 갈톤-워슨 나무 결과를 활용하여 양측 확장성 프레임워크를 뒷받침한다.

실험 결과

연구 질문

• RQ1 정성 무작위 그래프가 양측 확장성과 지수적 체적 성장을 갖는 경우, 단순 무작위 보행의 거의 확실한 liminf 속도가 양수인가?
• RQ2 초구형 포아송 비어노이 및 데라운이 삼각형의 1-스켈레톤이 거의 확실히 양측 확장성을 갖는가?
• RQ3 비르그(Virág)의 속도 결과에서 유계 차수 조건을 정성과 지수적 성장으로 대체할 수 있는가?
• RQ4 정성 무작위 그래프에서 유계 조화 함수의 공간의 구조는 어떠한가?
• RQ5 초구형 포아송 비어노이 그래프에서 단순 무작위 보행은 편의 디스크 모델에서 경계 $ S^1 $ 에 거의 확실히 수렴하는가?

주요 결과

• 정리 1.1은 정성 무작위 그래프가 양측 확장성을 갖는다 하며 $ \limsup_{r\to\infty} |B(\rho,r)|^{1/r} < \infty $ 를 만족할 경우, 단순 무작위 보행이 거의 확실히 양의 속도를 갖는다는 것을 증명한다.
• 초구형 포아송 비어노이 및 데라운이 삼각형의 1-스켈레톤은 거의 확실히 양측 확장성을 갖는다. 이는 지오데식을 따라 공백 초구형 디스크를 기하학적으로 구성함으로써 증명된다.
• 모든 $ x $ 에 대해 $ d_G(0,x) \geq \delta \cdot d_\mathbb{H}(0,x) $ 임을 보장하는 $ \delta > 0 $ 가 존재하며, 이는 $ d_\mathbb{H}(0,x) $ 가 충분히 클 경우 거의 확실히 성립한다. $ G = \mathscr{V}^\lambda $ 또는 $ \mathscr{D}^\lambda $ 인 경우.
• 그래프의 체적 성장은 $ \limsup_{r\to\infty} \frac{|B_G(0,r)|}{\operatorname{Vol}_\mathbb{H}(B_\mathbb{H}(0,r/\delta))} \leq \lambda $ 를 거의 확실히 만족하며, 이는 지수적 성장을 확인한다.
• 초구형 포아송 비어노이 그래프 $ \mathscr{V}^\lambda $ 와 $ \mathscr{D}^\lambda $ 에서의 단순 무작위 보행은 거의 확실히 편의 디스크 모델에서 $ S^1 $ 의 한 점으로 수렴한다. 이는 각도 이동이 합산 가능하기 때문이다.
• 정리 1.2는 정성 무작위 그래프가 유계 조화 함수의 공간이 1차원 또는 무한차원임을 보여주며, 중간 차원의 경우는 존재하지 않는다.