[논문 리뷰] Boundary behaviour of RW's on planar graphs and convergence of LERW to chordal SLE$_2$

Kôhei Uchiyama|arXiv (Cornell University)|2017. 05. 09.

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

한 줄 요약

이 논문은 평면 그래프 위에서의 루프 제거 랜덤 워크(LERW)가 일반 조건 하에서 호형 SLE₂로 수렴함을 보이며, 조건부 랜덤 워크의 이탈이 초기 경계 이웃 영역을 경계가 아닌 내부으로 빠져나올 가능성이 높다는 것을 증명함으로써 이를 달성한다. 주요 기여는 이전 연구에서 요구되었던 해석적 조건을 제거한 조화 측도 추정치를 제시한 것으로, 단순 연결 격자 영역에서 경계의 부드러움에 제한이 없는 균일한 수렴을 가능하게 한다.

ABSTRACT

This paper concerns a random walk on a planar graph and presents certain estimates concerning the harmonic measures for the walk in a grid domain which estimates are useful for showing the convergence of a LERW (loop-erased random walk) to an SLE (stochastic Loewner evolution). We assume that the walk started at a fixed vertex of the graph satisfies the invariance principle as in Yadin and Yehudayoff [16] in which the convergence of LERW to a radial SLE is established in this setting. Our main concern is chordal case, where a random walk is started at a boundary vertex of a simply connected grid domain and conditioned to exit it through another boundary vertex specified in advance. The primary contribution of the present paper is an estimate, which states that the excursion of the conditioned walk leaves an intrinsic neighborhood of its initial point not 'along' the boundary but through an intrinsic interior of the domain with high probability. Based on this result we give a proof for the convergence to the chordal SLE, a result that has recently been proved by Suzuki [12] under an analyticity assumption on the boundary of the domain arising in the limit.

연구 동기 및 목표

• 평면 그래프 위에서의 루프 제거 랜덤 워크(LERW)가 최소한의 가정 하에서 호형 SLE₂로 수렴함을 확립하는 것.
• 이전 결과들(예: Suzuki, 2016)에서 요구되었던 도메인 경계의 해석적 조건을 제거하는 것.
• 격자 영역 내 조건부 랜덤 워크 이탈의 조화 측도에 대한 균일한 추정치를 제공하여, 이들이 초기 경계 이웃 영역을 경계가 아닌 내부으로 빠져나올 가능성이 높다는 것을 보여주는 것.
• 일반적인 랜덤 워크가 관성 원리에 따라 만족할 때, 반경형에서 호형 SLE₂로의 수렴 결과를 확장하는 것.
• LERW의 구동 함수 수렴성과 LERW의 시간 반전 대칭성을 이용하여, 루프 제거 경로의 약한 수렴성을 검증하는 것.

제안 방법

• 단순 연결 격자 영역의 경계 정점 근처에서 시작하는 조건부 랜덤 워크가 자신의 시작점의 내재적 이웃 영역을 도메인 내부로 빠져나올 가능성이 높다는 것을 보여주는 조화 측도 추정치(정리 4.6)를 수립한다.
• 스케일링된 랜덤 워크 경로가 브라운 운동으로 약한 수렴함을 보장하기 위해 관성 원리(Hypothesis H)를 사용하여, 스케일링 근처에서 등각 불변성을 활용할 수 있도록 한다.
• 리만 사상 φ: D → 𝔻를 통해 문제를 단위 원판으로 옮기기 위해 등각 사상 기법을 적용하여, φ(a)에서 φ(b)로의 호형 SLE₂가 잘 정의됨을 보장한다. 여기서 a, b는 ∂ₚₙ𝒹D의 주요 끝점이다.
• 대칭 전이 확률(p(u,v) = p(v,u)) 하에서 LERW의 시간 반전 대칭성을 활용하여, 루프 제거 경로의 분포를 시간 반전된 이탈의 분포와 연결한다.
• Shelefild와 Sun의 결과(Corollary 1.7)를 적용하여, 구동 함수 수렴이 보장될 경우, metric d*ₚ 하에서 루프 제거 경로의 약한 수렴을 유도한다.
• 도메인 Dₙ/ρₙ → D의 카라테오도리 수렴을 사용하여, conformal maps φₙ가 컴acts 부분집합에서 균일 수렴함을 확보함으로써, 극한이 호형 SLE₂로 식별됨을 보장한다.

실험 결과

연구 질문

• RQ1 평면 그래프 위에서의 루프 제거 랜덤 워크가 어떤 조건 하에서 호형 SLE₂로 수렴하는가?
• RQ2 도메인 경계의 해석적 조건 없이 LERW가 호형 SLE₂로 수렴할 수 있는가?
• RQ3 단순 연결 격자 영역의 경계 근처에서 조건부 랜덤 워크 이탈의 조화 측도는 어떻게 행동하는가?
• RQ4 랜덤 워크 이탈이 경계 근처에서 시작할 때, 초기 내재적 이웃 영역을 경계가 아닌 내부로 빠져나올 확률은 얼마인가?
• RQ5 큰 격자 영역에서 경계 조건이 있을 때, LERW의 구동 함수 수렴이 균일하게 확보될 수 있는가?

주요 결과

• 주요 기여는 조건부 랜덤 워크 이탈이 시작점의 내재적 이웃 영역을 도메인 내부로 빠져나올 가능성이 높다는 것을 보여주는 정밀한 조화 측도 추정치(정리 4.6)이다.
• 이 논문은 Suzuki(2016)의 결과에서 요구되었던 경계의 해석적 조건을 제거함으로써, LERW가 호형 SLE₂로 수렴하는 결과를 더 넓은 도메인의 범주로 일반화한다.
• 루프 제거 경로의 수렴은 단위 원판 내 연속 곡선 공간에서 metric d*ₚ 하에서 법칙에 따라 성립한다.
• LERW의 구동 함수는 약한 수렴을 통해 호형 SLE₂의 구동 함수로 수렴하며, 이는 로에너르 체인의 수렴을 의미한다.
• 결과는 관성 원리(Hypothesis H)와 전이 확률의 대칭성 하에서 성립하며, ρₙ → ∞일 때 도메인 크기와 관계없이 수렴이 균일하다.
• 증명은 LERW의 시간 반전 대칭성에 기반하며, 조건부 측도 하에서 LE(Γ⁻)의 분포가 시간 반전 측도 하에서 LE(Γ)의 분포와 일치한다는 사실을 활용하여, 쌍대성 추론을 가능하게 한다.