[논문 리뷰] On recurrence of reflected random walk on the half-line. With an appendix on results of Martin Benda

Marc Peigné, Wolfgang Woess|ArXiv.org|2006. 12. 12.

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

한 줄 요약

이 논문은 반사 랜덤 워크의 반복성 기준을 반사 시점에 관측된 임bedded 과정을 분석하여 반선상에서 도출한다. 이 임bedded 과정에 대한 불변 측도를 도입하고, 반복성이 발생하는 것은 유일하게 이차 尾 조건 $\int_0^\infty \mathbb{P}[Y_1 \geq t]^2 dt < \infty$ 가 성립할 때임을 증명한다. 이는 이전 결과를 일반화하며, $\mathbb{E}[Y_1] = \infty$ 인 경우에도 적용 가능하다. 주요 기여는 비음수 및 부호가 있는 증분의 경우에 대해 반복성에 대한 정확한 모멘트 조건을 제시하는 것이다.

ABSTRACT

Let $(Y_n)$ be a sequence of i.i.d. real valued random variables. Reflected random walk $(X_n)$ is defined recursively by $X_0=x \ge 0$, $X_{n+1} = |X_n - Y_{n+1}|$. In this note, we study recurrence of this process, extending a previous criterion. This is obtained by determining an invariant measure of the embedded process of reflections.

연구 동기 및 목표

• 반선상에서의 반사 랜덤 워크에 대한 반복성 기준을 $\mathbb{E}[Y_1] < \infty$ 인 고전적 경우를 초월하여 확장하기 위해.
• 반사 시점에서만 관측되는 반사 랜덤 워크—즉, 반사 시점에서의 관측을 통해 정의된 마코프 체인—의 임bedded 과정을 분석하고, 이 과정에 대한 불변 측도를 도입하기 위해.
• 증분 분포의 꼬리 행동에 기반한 반복성에 대한 필요 및 충분 조건을 규명하기 위해.
• 증분이 음수일 수 있는 경우, 특히 중심화된 증분의 경우에 대해 결과를 일반화하기 위해.
• 마르틴 벤다가 발표하지 않은 결과를 활용하여 스트로스틱 반복 함수 시스템과 국소 수축성에 기반한 엄밀한 기초를 마련하기 위해.

제안 방법

• 초기 조건 $X_0 \geq 0$ 와 i.i.d. 증분 $Y_n$ 을 갖는 반사 랜덤 워크를 $X_{n+1} = |X_n - Y_{n+1}|$ 로 정의한다.
• 반사 과정 $R_k = X_{\mathbf{r}(k)}$ 를 도입한다. 여기서 $\mathbf{r}(k)$ 는 $k$-번째 반사 시점이며, 이는 $[0, \infty)$ 상의 마코프 체인이 된다.
• 반사 과정의 전이 커널을 유도한다: $x > 0$ 에 대해 $q(x, B) = \int_{[0,x)} \mu(B + x - w) \mathcal{U}(dw)$, 여기서 $\mathcal{U} = \sum_{n=0}^\infty \mu^{(n)}$.
• 반사 과정에 대해 유한한 불변 측도가 존재하는 것과 이차 꼬리 조건 $\int_0^\infty \mathbb{P}[Y_1 \geq t]^2 dt < \infty$ 가 동치임을 증명한다.
• 스트로스틱 반복 함수 시스템(SFS)과 국소 수축성에 관한 마르틴 벤다의 결과를 활용하여 쌍대 과정의 경로별 수렴성을 분석한다.
• 함수 $g_y(x) = |x - y|$ 가 생성하는 반복 수축의 반복 수축성에 기반하여, SFS가 국소 수축적이라면 쌍대 궤적의 경로별 수렴이 성립함을 증명한다.

실험 결과

연구 질문

• RQ1 반선상에서의 반사 랜덤 워크가 $\mathbb{E}[Y_1] = \infty$ 일 때 어떤 조건에서 반복성이 성립하는가?
• RQ2 이차 꼬리 조건 $\int_0^\infty \mathbb{P}[Y_1 \geq t]^2 dt < \infty$ 는 임bedded 반사 과정에 대한 유한한 불변 측도 존재성과 어떻게 관련되어 있는가?
• RQ3 증분이 음수일 수 있는 경우, 특히 중심화된 경우에 반사 랜덤 워크의 반복성 행동은 어떠한가?
• RQ4 스트로스틱 반복 함수 시스템과 국소 수축성 이론을 어떻게 활용하여 반사 과정의 반복성을 분석할 수 있는가?
• RQ5 반사 과정의 불변 측도가 원래 반사 워크의 반복성 결정에 어떤 역할을 하는가?

주요 결과

• 반사 랜덤 워크가 반복성임은 이차 꼬리 조건 $\int_0^\infty \mathbb{P}[Y_1 \geq t]^2 dt < \infty$ 가 성립할 때이고, 이는 임bedded 반사 과정에 대한 유한한 불변 측도 존재성과 동치이다.
• 만약 $Y_n \geq 0$ 거의 확실히 성립한다면, 반복성은 $\mathbb{E}[\sqrt{Y_1}] < \infty$ 일 때 성립하며, 이는 이차 꼬리 조건을 함의한다.
• 중앙화된 증분($\mathbb{E}[Y_1^-] = \mathbb{E}[Y_1^+]$)의 경우, 조건 $\mathbb{E}\bigl[\sqrt{Y_1^+}^3\bigr] < \infty$ 가 성립하면 반복성이 성립하며, 이 조건은 거의 최적임을 보였다.
• 반사 과정의 불변 측도는 잠재 측도 $\mathcal{U} = \sum_{n=0}^\infty \mu^{(n)}$ 를 통해 구성되며, 이 측도의 유한성에 의해 반복성이 결정된다.
• 증명은 함수 $x \mapsto |x - y|$ 가 생성하는 스트로스틱 반복 함수 시스템의 국소 수축성과 이들 함수가 생성하는 반복 수축의 반복 수축성에 기반하며, 상수 함수 $0$ 이 이들 함수가 생성하는 반복 수축의 반복 수축에 포함됨을 이용한다.
• 원래 과정의 반복성은 임bedded 반사 과정의 반복성에 의해 유도되며, 이는 유한한 불변 측도 존재성과 쌍대 궤적의 경로별 수렴성에 의해 확립된다.