[논문 리뷰] Long time behaviour of random walks on the integer lattice

Bartosz Trojan|arXiv (Cornell University)|2015. 12. 30.

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

한 줄 요약

이 논문은 $ d $-차원 정수 격자 위에서의 비가역적 유한 범위 랜덤 워크의 전이 함수 $ p(n;x) $ 에 대해, $ |x|_1 = o(n) $ 인 경우에 유효한 새로운 渐近 공식을 도출한다. 이는 정밀한 푸리에 역변환과 라플라스 방법을 사용하며, 분해되는 이차형식의 기하학적 제어를 포함한다. 주요 기여는 이전 결과를 초월해, 특히 큰 $ |x|_2 $ 에서도 유효한 비정규, 지수적으로 감쇠하는 근사 공식을 제안하는 것으로, 명시적인 오차 한계를 갖는 볼록 속도 함수 $ \phi(\delta) $ 를 도입함으로써 달성된다.

ABSTRACT

We consider an irreducible finite range random walk on the $d$-dimensional integer lattice and study asymptotic behaviour of its transition function $p(n; x)$. In particular, for simple random walk our asymptotic formula is valid as long as $n (n - |x|_1)^{-2}$ tends to zero.

연구 동기 및 목표

• 랜덤 워크의 전이 함수 $ p(n;x) $ 의 渐近 근사에 대한 유효 범위를 표준 국소 극한정리의 범위를 초월해 확장하기.
• 이전의 渐近 공식이 $ |x|_2 \gtrsim n^{3/4} $ 에서 붕괴하는 한계를 해결하기 위해, $ |x|_1 = o(n) $ 에 대해 유효한 공식을 개발하기.
• 유한 범위 랜덤 워크의 전이 밀도에서 큰 편차 영역에서도 정확한 감쇠율을 반영하는 비정규, 지수적으로 감쇠하는 근사 공식 제공하기.
• 단순 랜덤 워크를 초월해 평균이 0이거나 0이 아닌 임의의 비가역적 유한 범위 랜덤 워크로 결과를 일반화하기.

제안 방법

• 전이 함수 $ p(n;x) $ 를 토러스 $ \mathbb{T}^d $ 에서의 진동적 적분으로 표현하기 위해 푸리에 역변환 공식을 사용하기.
• 적분을 두 부분으로 나누기: 원점 근처는 라플라스 방법으로 분석하고, 멀리 떨어진 부분은 기하학적 추론으로 제어하기.
• 큰 편차 행동을 기록하기 위해 볼록 속도 함수 $ \phi(\delta) = \max_x \{ \langle x, \delta \rangle - \log \kappa(x) \} $ 를 도입하기, 여기서 $ \kappa(x) = \frac{1}{d}(\cosh x_1 + \cdots + \cosh x_d) $ 이다.
• implicit mapping $ s = \nabla\phi(\delta) $ 를 사용하여 $ |\delta|_1 \to 1 $ 일 때 이차형식 $ B_s $ 의 분해 현상을 명시적으로 분석하기.
• $ n^{-1}(1 - \delta|_1)^{-2} $ 를 포함하는 오차 한계 유도하기로, 오차 항이 제어된 균일한 渐近 전개 유도하기.
• 삼각 격자 위의 랜덤 워크에 대해 격자 매핑과 $ \mathbb{Z}^2 $ 로의 변환을 통해 방법 적용하기로, 공식의 강건성을 확인하기.

실험 결과

연구 질문

• RQ1 이전 결과의 $ |x|_2 = o(n^{3/4}) $ 영역을 초월해, $ |x|_1 = o(n) $ 에서도 유효한 $ p(n;x) $ 의 渐近 공식을 도출할 수 있는가?
• RQ2 특히 큰 편차 영역에서 $ |x|_2 \gg \sqrt{n} $ 일 때, 국소 극한정리의 오차 항을 어떻게 제어할 수 있는가?
• RQ3 유한 범위 랜덤 워크의 전이 밀도에서 정규 근사에 대한 올바른 비정규 보정은 무엇인가?
• RQ4 삼각 격자 워크를 $ \mathbb{Z}^2 $ 에 매핑하는 격자 변환에 대해, 渐近 공식이 강건한가?

주요 결과

• 균일하게 $ |x|_1 \equiv n \pmod{2} $ 인 경우에 대해, 공식 $ p(n;x) = (2\pi n)^{-d/2}(\det B_s)^{-1/2}e^{-n\phi(\delta)}(2 + \mathcal{O}(n^{-1}(1 - |\delta|_1)^{-2})) $ 이 유효하며, $ n(1 - |\delta|_1)^2 \to \infty $ 일 때 성립한다.
• $ |\delta|_1 \leq 1 - \epsilon $ 인 경우, 공식은 $ p(n;x) = d^{d/2}(2\pi n)^{-d/2}e^{-n\phi(\delta)}(2 + \mathcal{O}(|\delta|_1) + \mathcal{O}(n^{-1})) $ 로 단순화되며, $ |x|_1 = o(n) $ 에 대해 균일하게 유효하다.
• 속도 함수 $ \phi(\delta) $ 는 엄격히 볼록하며 $ |\delta|_2^2 $ 와 비교 가능하지만, 추가 오차를 유발하기 때문에 이차형식으로 대체할 수 없다. 이는 보정의 비정규성에 대한 강력한 증거이다.
• $ |\delta|_1 \to 1 $ 일 때 헤시안 $ B_s $ 의 분해 현상을 분석함으로써, $ |s|_2 \to \infty $ 일 때의 문제를 제어한다. 이는 은닉된 사상 $ s = \nabla\phi(\delta) $ 를 분석함으로써 달성된다.
• 삼각 격자 위의 랜덤 워크에 대해 공식을 적용하여, 격자 변환 후에도 渐近 공식이 성립함을 확인하였다. 이 경우 $ \tilde{q}(n;x) \sim (2\pi n)^{-1}e^{-n\phi(\delta)}(3\sqrt{3} + \mathcal{O}(|\delta|_1) + \mathcal{O}(n^{-1})) $ 로 표현된다.
• 최종 渐近 공식에서 $ \mathcal{O}(|\delta|_1) $ 오차 항은 $ n $ 에 대해 균일하며, 공식은 큰 편차 영역 $ |x|_1 = o(n) $ 에서도 유효하다. 이는 이전 결과의 범위를 크게 확장한다.