[논문 리뷰] On the critical branching random walk III: the critical dimension

Qingsan Zhu|arXiv (Cornell University)|2017. 01. 31.

Stochastic processes and statistical mechanics참고 문헌 8인용 수 9

한 줄 요약

이 논문은 임계 차원 $\mathbb{Z}^4$에서 임계 분열 랜덤 워크의 渐近적 행동을 규명하여, 고정된 유한 집합에 도달할 확률이 $ (\|x\|^2 \log \|x\|)^{-1} $로 감소함을 보이고, 이때 유일한 상수는 집합에 관계없이 동일하다. 또한, 도달 조건 하에서 첫 번째 도착 지점의 분포 수렴을 증명하고, 크기 조건 하에서 범위의 상호 로그 스케일링을 유도한다.

ABSTRACT

In this paper, we study the critical branching random walk in the critical dimension, $Z^4$. We provide the asymptotics of the probability of visiting a fixed finite subset and the range of the critical branching random walk conditioned on the total number of offsprings. We also prove that conditioned on visiting, the first visiting point converges in distribution.

연구 동기 및 목표

• 임계 차원 $d=4$에서의 임계 분열 랜덤 워크를 분석하여, 고차원과는 다름을 보이는 로그 보정이 존재함을 밝힘.
• 원점에서 멀리 떨어져 시작하는 분열 랜덤 워크가 유한 집합 $K$에 도달할 확률의 정확한 渐近적 감소율을 도출함.
• 도달 조건 하에서 첫 번째 도착 지점의 분포 수렴을 증명함. 이는 들어오는 지점의 수가 폭발함에도 불구하고 가능함.
• 총 개체 수가 $n$임을 조건으로 했을 때 분열 랜덤 워크의 범위의 渐近적 스케일링을 규명함.
• 초임계 차원에서의 결과를 로그 보정과 도착 지점의 분포 수렴을 고려하여 임계 케이스로 확장함.

제안 방법

• 분열 트리에서 깊이 우선 탐색(DFS) 순서를 사용하여 첫 번째 및 마지막 도착 시간 $\tau_K$와 $\xi_K$를 정의함.
• Kemperman의 공식과 국소 극한정리의 응용을 통해 첫 번째 도착 지점의 조건부 분포를 분석함.
• 생존 조건 하에서의 $\mu$-Galton-Watson 트리에 공간 운동을 점프 분포 $\theta$를 통해 적용함.
• 함수 $\Gamma_a(x) = \exp(-x^2/(2(1-a)))/(1-a)^{3/2}$를 사용하여 DFS 순서에서 처음 $an$개 정점의 극한 형태를 기술함.
• DFS 순서 하에서 트리를 왼쪽 및 오른쪽 부분수나누어 범위 스케일링을 유도하고, 이 둘 간의 겹침을 유계화함.
• 대칭성과 쌍용(_coupling_) 논증을 사용하여 전체 트리의 범위가 $t n / \log n$ 근처에 밀도 있게 집중됨을 보임. 여기서 $t = 16\pi^2 \sqrt{\det Q}/\sigma^2$.

실험 결과

연구 질문

• RQ1 시작 지점이 $x$에서 출발하는 임계 분열 랜덤 워크가 고정된 유한 집합 $K \subset \mathbb{Z}^4$에 도달할 확률의 渐近적 감소율은 $\|x\| \to \infty$일 때 어떻게 되는가?
• RQ2 시작 지점이 $\mathbb{Z}^4$에서 무한히 멀어질수록, 도달 조건 하에서 첫 번째 도착 지점은 분포 수렴하는가?
• RQ3 총 개체 수가 $n$임을 조건으로 했을 때 분열 랜덤 워크의 범위는 어떻게 스케일링되는가?
• RQ4 들어오는 지점의 총 수가 발산하는 데도 불구하고, 왜 $d=4$에서 첫 번째 도착 지점의 조건부 분포가 수렴하는가?
• RQ5 $\mathbb{Z}^4$에서 크기 조건 하에서 범위의 상호 로그 스케일링에 대한 정확한 상수는 무엇인가?

주요 결과

• 시작 지점이 $x$인 분열 랜덤 워크가 고정된 유한 집합 $K \subset \mathbb{Z}^4$에 도달할 확률은 $ (\|x\|^2 \log \|x\|)^{-1} $로 감소하며, $ \lim_{\|x\| \to \infty} (\|x\|^2 \log \|x\|) \cdot P(\mathcal{S}_x \text{ visits } K) = \frac{1}{2\sigma^2} $이며, 이 값은 $K$에 관계없이 동일하다.
• 도착 조건 하에서 첫 번째 도착 지점 $\mathcal{S}_x(\tau_K)$는 $\mathcal{E}_K(a)$에 비례하는 측도로 분포 수렴하며, 극한은 $ \frac{\sigma^2}{4\pi^2 \sqrt{\det Q}} \mathcal{E}_K(a) $로 주어진다.
• 총 크기가 $n$임을 조건으로 한 분열 랜덤 워크의 범위 $R_n$은 $ \frac{\log n}{n} R_n \to \frac{16\pi^2 \sqrt{\det Q}}{\sigma^2} $를 $n \to \infty$일 때 확률적으로 만족한다.
• 첫 번째 도착 지점의 수렴은 감소율의 로그 보정 덕분에 가능해지며, 이는 들어오는 지점의 수가 발산하더라도 조건부 분포를 안정화시킨다.
• 범위 스케일링은 DFS 순서 하에서 트리를 왼쪽 및 오른쪽 부분수나누어 유도되며, 전체 범위가 두 부분수의 범위 합 근처에 밀도 있게 집중됨을 보여준다.
• 이전의 기하적 형제 분포에 대한 $L^2$ 수렴 결과를 일반 임계 형제 분포(유한 분산 및 지수 모멘트 존재)에 대해 확장하여 확률 수렴으로 일반화함.