[논문 리뷰] Random Walks in the Quarter Plane Absorbed at the Boundary : Exact and Asymptotic

Kilian Raschel|ArXiv.org|2009. 02. 16.

Random Matrices and Applications참고 문헌 34인용 수 10

한 줄 요약

이 논문은 경계에서 흠수되는 1사분면 내 근접 이웃 랜덤 워크를 복소해석학을 통해 분석하여, 흡수 확률, 도달 시간, 그린 함수에 대한 정확한 표현과 점근적 성질을 도출한다. 주요 기여는 마틴 경계를 규명하고, 경계에 도달하지 않도록 조건화된 워크를 만드는 두브 $h$-변환을 구성한 것으로, 이는 시간이 무한히 흐를 때 조건화된 과정의 약한 극한과 일치함을 보여준다.

ABSTRACT

Nearest neighbor random walks in the quarter plane that are absorbed when reaching the boundary are studied. The cases of positive and zero drift are considered. Absorption probabilities at a given time and at a given site are made explicit. The following asymptotics for these random walks starting from a given point $(n_0,m_0)$ are computed : that of probabilities of being absorbed at a given site $(i,0)$ [resp. $(0,j)$] as $i o \infty$ [resp. $j o \infty$], that of the distribution's tail of absorption time at x-axis [resp. y-axis], that of the Green functions at site $(i,j)$ when $i,j o \infty$ and $j/i o an γ$ for $γ\in [0, π/2]$. These results give the Martin boundary of the process and in particular the suitable Doob $h$-transform in order to condition the process never to reach the boundary. They also show that this $h$-transformed process is equal in distribution to the limit as $n o \infty$ of the process conditioned by not being absorbed at time $n$. The main tool used here is complex analysis.

연구 동기 및 목표

• 경계에 도달할 때 흡수되는 1사분면 내 근접 이웃 랜덤 워크의 흡수 확률과 도달 시간을 분석하기.
• 축을 따라 무한대에서의 흡수 확률의 점근적 행동과 흡수 시간 분포의 尾함수의 점근적 행동을 계산하기.
• 고정된 각도에서 큰 공간 척도에서 그린 함수의 점근적 형태를 규명하고, 마틴 경계를 식별하기.
• 경계에 도달하지 않도록 조건화된 워크를 만드는 두브 $h$-변환을 구성하고, 이가 시간이 무한히 흐를 때 조건화된 과정의 약한 극한과 동일함을 보여주기.

제안 방법

• 주요 도구는 복소해석학이며, 특히 워크의 단계 확률로 정의된 대수곡선 위에서의 생성함수와 해석적 계속성의 사용.
• 그린 함수와 흡수 확률의 점근적 행동을 분석하기 위해 적분 표현과 가장 급강하 방법을 활용.
• 워크의 커널과 관련된 대수곡선 $Q(x,y,z) = 0$을 도입하고, 그의 갈루아 군 구조를 이용해 조화함수를 리만 표면을 넘어 확장.
• 곡선의 자동형사 $ξ$와 $η$를 포함한 함수방정식을 사용하여 국소 도메인에서의 해를 전체 곡선으로 해석적 계속.
• 그린 함수의 점근적 분석과 양의 조화함수 $h$의 구성에 의해 마틴 경계를 규명.
• 커널과 대수곡선의 구조로부터 유도된 조화함수 $h(x,y)$를 사용하여 $h$-변환을 명시적으로 구성.

실험 결과

연구 질문

• RQ1 $i \to \infty$ 일 때, 위치 $(i,0)$에서의 흡수 확률의 점근적 행동은 어떻게 되는가?
• RQ2 시간에 대한 $x$-축을 따라 흡수 시간 분포의 尾함수는 어떻게 행동하는가?
• RQ3 각도 $\gamma \in [0, \pi/2]$ 에 대해 $j/i \to \tan \gamma$ 이면서 $i,j \to \infty$ 일 때, 그린 함수 $G(i,j)$ 의 점근적 형태는 무엇인가?
• RQ4 흡수된 랜덤 워크 과정의 마틴 경계는 무엇인가?
• RQ5 경계를 피하도록 조건화된 두브 $h$-변환은 시간 $n$까지 흡수되지 않은 과정의 약한 극한과 어떻게 관련이 있는가?

주요 결과

• 제로 드리프트 워크의 경우, $i \to \infty$ 일 때 위치 $(i,0)$에서의 흡수 확률은 $i^{-1/2}$ 로 감소하며, 정확한 상수는 단계 확률에 따라 달라진다.
• 흡수 시간 분포의 尾함수는 큰 $t$ 에서 $t^{-1/2}$ 로 감소하여, 무거운 尾함수 행동을 보인다.
• 큰 $i,j$ 에서 $j/i \to \tan \gamma$ 이면 그린 함수 $G(i,j)$ 는 점근적으로 $C(\gamma) \cdot (i+j)^{-1}$ 로 행동하며, $C(\gamma)$ 는 각도 $\gamma$ 와 단계 확률에 따라 달라진다.
• 마틴 경계는 $x$-축과 $y$-축에 해당하는 두 레이어로 이루어져 있으며, 이에 대응하는 조화함수는 명시적으로 구성된다.
• 최고 무게 $(x-1,y-1)$ 인 $τ{sl}_3(\mathbb{C})$ 의 기약 표현의 차원에 비례하는 $h(x,y)$ 를 갖는 두브 $h$-변환은, 조건화된 비흡수 과정의 약한 극한과 동일한 분포를 갖는다.
• $h$-변환된 과정이 $\tau > n$ 인 조건 하에서의 조건부 과정 $Z(n)$ 의 스케일링 극한임을 보여주어, 비충돌 확산으로의 수렴을 확인한다.