[논문 리뷰] Martin boundary of a killed random walk on $\Z_+^d$

Irina Ignatiouk-Robert|ArXiv.org|2009. 09. 22.

Stochastic processes and statistical mechanics참고 문헌 14인용 수 4

한 줄 요약

이 논문은 좌표 하나가 양수가 아닐 때 정지시키는 d차원 랜덤 워크의 Martin 경계를 대규모 편차 원리와 비율 극한 정리들을 사용하여 설정한다. 방향 $ q $ 로 발산하는 수열들이 Martin 컴actification에서 기본이 되기 위한 조건은, 방향 $ q $ 에 의해 유도된 마코프 체인이 유일한 양의 조화 함수를 가질 때이며, 이는 카르테시안 곱의 일차원 워크에 대해 컴actification을 완전히 특성화한다.

ABSTRACT

The Martin compactification is investigated for a d-dimensional random walk which is killed when at least one of it's coordinates becomes zero or negative. The limits of the Martin kernel are represented in terms of the harmonic functions of the associated induced Markov chains. It is shown that any sequence of points x_n with lim_n |x_n| = \infty and lim_n x_n/|x_n|= q is fundamental in the Martin compactification if up to the multiplication by constants, the induced Markov chain corresponding to the direction q has a unique positive harmonic function. The full Martin compactification is obtained for Cartesian products of one-dimensional random walks. The methods involve a ratio limit theorem and a large deviation principle for sample paths of scaled processes leading to the logarithmic asymptotics of the Green function.

연구 동기 및 목표

• $\mathbb{Z}_+^d$ 에서의 양의 부채에서 벗어날 때 정지시키는 d차원 랜덤 워크의 Martin 컴actification을 특성화하기.
• 방향 $ q $ 로 발산하는 수열들이 Martin 컴actification에서 기본이 되는 조건을 규명하기.
• 이전 연구에서 사용된 타원 곡선 방법을 넘어서 일반적인 점프를 가진 고차원 랜덤 워크에 대해 대규모 편차 방법을 확장하기.
• 원점에서 정지시키는 일차원 워크의 카르테시안 곱에 대해 Martin 컴actification의 완전한 묘사를 제공하기.
• Martin 경계의 구조가 경계 방향에서의 유도된 마코프 체인의 조화 함수와 어떻게 연결되는지 밝히기.

제안 방법

• 발산하는 수열을 따라 Martin 커널의 극한을 분석하기 위해 비율 극한 정리를 사용한다.
• 표본 경로의 대규모 편차 추정을 적용하여, 잠재적 에너지 함수를 사용해 그린 함수의 로그 점근적 행동을 유도한다.
• 원래 과정을 0에 수렴하는 로그 그린 함수를 갖는 변형된 과정으로 변환하기 위해 지수적 측도 변화를 활용한다.
• 역 측도 변화를 통해 변형된 과정의 Martin 커널 극한을 원래 과정으로 복원한다.
• 한계 방향 $ q $ 에서 0이 되는 좌표에 대응하는 하위공간에서의 유도된 마코프 체인으로 문제를 축소한다.
• 유도된 체인이 방향 $ q $ 에서 유일한 양의 조화 함수를 가진다는 것이 기본 수열을 결정하는 핵심 조건으로 작용한다.

실험 결과

연구 질문

• RQ1 $ \mathbb{Z}_+^d $ 에서의 정지된 랜덤 워크의 Martin 컴actification에서, $ \lim_n |x_n| = \infty $ 이고 $ \lim_n x_n/|x_n| = q $ 를 만족하는 수열 $ x_n \in \mathbb{Z}_+^d $ 가 언제 기본이 되는가?
• RQ2 Martin 커널 극한은 방향 $ q $ 에 따라 유도된 마코프 체인의 조화 함수로 어떻게 표현되는가?
• RQ3 원점에서 정지시키는 일차원 워크의 카르테시안 곱에 대해 전체 Martin 컴actification은 어떻게 되는가?
• RQ4 대규모 편차 원리와 비율 극한 정리는 비균일성, 정지된 랜덤 워크에서 Martin 경계 분석을 어떻게 지원하는가?
• RQ5 유도된 체인에서 양의 조화 함수의 유일성은 Martin 경계의 구조를 결정하는 데 어떤 역할을 하는가?

주요 결과

• $ \lim_n |x_n| = \infty $ 이고 $ \lim_n x_n/|x_n| = q $ 를 만족하는 수열 $ x_n \in \mathbb{Z}_+^d $ 는, 상수배를 제외한 유도된 마코프 체인이 방향 $ q $ 에서 유일한 양의 조화 함수를 가질 경우 Martin 컴actification에서 기본이 된다.
• Martin 커널 극한은 $ \Lambda $ 가 $ q^i = 0 $ 인 좌표에 대응할 때, $ \{x^i > 0 \text{ for } i \in \Lambda\} $ 에서의 유도된 체인의 조화 함수를 통해 표현된다.
• 일차원 정지 랜덤 워크의 카르테시안 곱에 대해 전체 Martin 컴actification은 명시적으로 묘사되며, 경계점은 유도된 체인의 조화 함수에 대응한다.
• 정지 워크의 최소 조화 함수는 $ f(u) = \prod_{i \in \Lambda(M)} u^i - \mathbb{E}_u\left( \prod_{i \in \Lambda(M)} S^i(\tau_{\Lambda(M)}) \right) $ 의 상수배임이 증명된다. 여기서 $ \tau_{\Lambda(M)} $ 는 $ \mathbb{Z}_+^{\Lambda(M)} $ 에서의 퇴출 시간이다.
• 그린 함수의 로그 점근적 행동은 스케일드 과정의 대규모 편차 추정을 통해 잠재적 에너지 함수를 비율 함수로 사용하여 도출된다.
• 원래 과정을 $ \mathbb{Z}^m $ 에서의 정지된 랜덤 워크의 희석으로 표현함으로써, 조화 함수 분석을 관련된 면에서의 유도된 체인으로 축소할 수 있다.