[논문 리뷰] The strong renewal theorem

Francesco Caravenna|arXiv (Cornell University)|2015. 07. 27.

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

한 줄 요약

이 논문은 첨수 지수 $\alpha \in (0,1)$ 인 안정 분포의 영역에 속하는 양의 증분을 갖는 실수 랜덤 워크에 대해 강한 재생정리(SRT)를 완전히 특성화한다. $\alpha \leq \frac{1}{2}$ 일 때 SRT가 성립하기 위한 필요 및 충분 조건을 규명하여 오랫동안 남아있던 문제를 해결하며, 尾행동과 재생측도를 포함하는 명시적인 적분 조건을 제시한다. 또한 음의 증분이 允許되는 경우 조건이 실패함을 보여, 양의 증분 조건의 必要성 을 입증한다.

ABSTRACT

We consider real random walks with positive increments (renewal processes) in the domain of attraction of a stable law with index $α\in (0,1)$. The famous local renewal theorem of Garsia and Lamperti, also called strong renewal theorem, is known to hold in complete generality only for $α> \frac{1}{2}$. Understanding when the strong renewal theorem holds for $α\le \frac{1}{2}$ is a long-standing problem, with sufficient conditions given by Williamson, Doney and Chi. In this paper we give a complete solution, providing explicit necessary and sufficient conditions (an analogous result has been independently and simultaneously proved by Doney in arXiv:1507.06790). We also show that these conditions fail to be sufficient if the random walk is allowed to take negative values. This paper is superseded by arXiv:1612.07635

연구 동기 및 목표

• $\alpha \leq \frac{1}{2}$ 일 때 양의 증분을 갖는 랜덤 워크에 대해 강한 재생정리(SRT)가 성립하는지 여부를 밝혀내는 오랜 동안 미해결이었던 문제를 해결하는 것.
• 기존에 알려진 충분 조건(예: $\mathsf{r}(x)$ 의 전역 유계성 또는 적분 기준)을 넘어서, 명시적인 필요 및 충분 조건을 제공하는 것.
• 유도된 조건이 날카롭다는 것을 보여주기 위해, 랜덤 워크가 음의 값을 취할 수 있도록 허용할 경우 조건이 실패함을 보이는 것.
• Doney, Chi, Williamson의 이전 결과를 통합하고 확장하여, 양의 증분 경우에 대한 완전한 해결책을 제시하는 것.
• 정규 변동 이론을 통해 재생측도의 국소적 행동과 증분 분포의 尾함수 사이의 정밀한 연결 고리를 설정하는 것.

제안 방법

• $\mathsf{r}(x) = x \cdot A(x) \cdot F(x+I) / \overline{F}(x)$ 를 포함하는 새로운 적분 조건을 도입하여, 전역 尾함수 대비 국소적 尾행동을 캡처한다.
• SRT 조건을 $\lim_{\eta \to 0} \left\{ \limsup_{x \to \infty} \frac{1}{A(x)^2} \int_1^{\eta x} \frac{A(s)^2}{s} \mathsf{r}(x-s) \, ds \right\} = 0$ 로 도출하며, 이는 $\alpha \leq \frac{1}{2}$ 에서 필수적이고 충분한 조건으로 밝혀진다.
• 재생측도 $U$ 의 渐近적 분석을 위해 라플라스 변환과 타우버형 정리(Таuberian theorems)를 사용한 정규 변동 이론을 적용한다.
• 한 번의 큰 점프가 합을 지배하는 사건을 이용해 $\mathrm{P}(S_n \in x+J)$ 의 확률을 유계화하기 위해 커플링 추론과 경로 분해 기법을 활용한다.
• 정규 변동 함수 $A(x)$ 를 기반으로 한 변수 변경과 추정을 통해 적분 표현식을 제어한다.
• 필요성 증명을 위해 조건이 실패할 경우 SRT가 위반됨을 모순과 $\mathrm{P}(X \in (x-w,x])$ 의 渐近적 추정을 통해 보여준다.

실험 결과

연구 질문

• RQ1 $\alpha \leq \frac{1}{2}$ 일 때 양의 증분 랜덤 워크에 대해 강한 재생정리(SRT)가 성립하기 위한 필요 및 충분 조건은 무엇인가?
• RQ2 기존에 알려진 충분 조건(예: $\mathsf{r}(x)$ 의 전역 유계성 또는 적분 기준)을 특성화로 개선할 수 있는가?
• RQ3 왜 랜덤 워크가 음의 값을 취할 수 있도록 허용되면, 심지어 尾조건 (1.1) 이 성립하더라도 SRT가 실패하는가?
• RQ4 영역에 속하는 경우 재생측도 $U(x+I)$ 의 국소적 행동은 尾함수 $\overline{F}(x)$ 와 함수 $A(x)$ 와 어떻게 관련이 있는가?
• RQ5 적분 조건 (1.11) 은 다른 알려진 충분 조건과 동치인가? 특수한 경우(예: $\alpha < 1/2$) 에서는 단순화될 수 있는가?

주요 결과

• $\alpha > \frac{1}{2}$ 일 경우, 도메인에 속하는 조건 (1.1) 하에서 SRT는 조건 없이 성립함을 확인하여 고전적 결과를 확인한다.
• $\alpha \leq \frac{1}{2}$ 일 경우, SRT는 $\lim_{\eta \to 0} \left\{ \limsup_{x \to \infty} \frac{1}{A(x)^2} \int_1^{\eta x} \frac{A(s)^2}{s} \mathsf{r}(x-s) \, ds \right\} = 0$ 이 성립할 때에만 성립하며, 이것이 주요 필수 및 충분 조건이다.
• $\alpha < \frac{1}{2}$ 일 경우, 조건 (1.11) 은 $\lim_{\eta \to 0} \left\{ \limsup_{x \to \infty} \frac{1}{A(x)^2} \int_1^{\eta x} \frac{A(s)^2}{s^2} \mathsf{R}_0(x-s, x) \, ds \right\} = 0$ 과 동치이며, 여기서 $\mathsf{R}_0(a,b) = \int_a^b \mathsf{r}(y) \, dy$ 이다.
• 논문은 음의 증분이 允許되는 경우 조건이 실패함을 보여, 양의 증분 조건의 必要성 을 입증한다.
• 조건 (1.11) 은 Chi [C13, C15] 와 Williamson [W68] 의 이전 충분 조건을 함의하며, $\mathsf{r}(x)$ 의 전역 유계성보다 엄밀히 더 약한 조건이다.
• 증명은 $\mathrm{P}(X \in (x-w,x])$ 가 $o(A(x)/x)$ 로 감소하지 않을 경우 SRT가 실패함을 보여주며, 이는 SRT가 성립하기 위해 필수적임을 입증한다.