[논문 리뷰] A sharp correlation inequality with an application to almost sure local limit theorem

Michel Weber|arXiv (Cornell University)|2010. 12. 16.

Probability and Risk Models참고 문헌 3인용 수 6

한 줄 요약

이 논문은 i.i.d. 제곱 integrable lattice 분포를 가진 랜덤 변수들의 합에 대해 최밀한 상관 불등식을 수립하여, 두 번째 모멘트만으로도 거의 확실한 국소 중심극한정리의 증명을 가능하게 한다. 핵심 혁신은 절대 세 번째 모멘트가 유한하지 않을 경우 이전 방법이 붕괴하는 문제를 해결하기 위해 맥도날드의 베르누이 부분 개념을 도입한 데 있다. 이는 이전 결과에서 요구하던 $\mathbb{E}|X|^{2+\varepsilon} < \infty$ 조건을 초월하여, 연속된 lattice 점들이 양의 확률을 가진다는 자연스러운 조건 하에서 성립한다.

ABSTRACT

We prove a new sharp correlation inequality for sums of i.i.d. square integrable lattice distributed random variables. We also apply it to establish an almost sure local limit theorem for iid square integrable random variables taking values in an arbitrary lattice. This extends a recent similar result jointly obtained with Antonini-Giuliano, under a slightly stronger absolute moment assumption (of order $2+u$ with $u&gt;0$). The approach used to treat the case $u&gt;0$ breaks down when $u=0$. MacDonald's concept of the Bernoulli part of a random variable is used in a crucial way to remedy this.

연구 동기 및 목표

• i.i.d. 제곱 integrable lattice 분포를 가진 랜덤 변수들의 합에 대해 최밀한 상관 불등식을 최소한의 모멘트 조건 하에서 수립하는 것.
• 이전 방법이 $\mathbb{E}|X|^{2+\varepsilon} < \infty$ 조건이 성립하지 않을 경우 실패하는 상황에서, 두 번째 모멘트만 존재하는 경우에도 거의 확실한 국소 중심극한정리를 확장하는 것.
• 이전 접근법에서 고차 모멘트 가정에 의존하는 기술적 붕괴 문제를 해결하기 위해 맥도날드의 랜덤 변수의 베르누이 부분 개념을 도입함으로써 분석을 가능하게 하는 것.
• 두 번째 모멘트만 존재하는 i.i.d. 제곱 integrable lattice 값의 랜덤 변수들에 대해 거의 확실한 국소 중심극한정리가 성립함을 증명하는 것.
• 연속된 lattice 점들이 양의 확률을 가진다는 자연스러운 局소 긍정성 조건 하에서, 모든 $1 \leq m < n$ 에 대해 독립성에서의 공동 확률 편차에 대한 정량적 bound를 제공하는 것.

제안 방법

• i.i.d. lattice 분포를 가진 랜덤 변수들의 부분합 간의 의존 구조를 분석함으로써, 공동 확률 $\mathbb{P}\{S_n = \kappa_n, S_m = \kappa_m\}$ 에 대한 최밀한 상관 불등식을 유도하는 것.
• 높은 차수의 모멘트가 확보되지 않을 경우에도 의존성의 핵심적인 구조를 분리하기 위해 맥도날드의 랜덤 변수의 베르누이 부분 개념을 사용하는 것.
• 일부 $k$ 에 대해 $\mathbb{P}\{X=k\} \wedge \mathbb{P}\{X=k+1\} > 0$ 라는 조건 하에서, $m \leq cn$ 이고 $0 < c < 1$ 일 때, $S_n = \kappa_n$ 과 $S_m = \kappa_m$ 간의 상관관계에 대한 새로운 bound를 $C_c \sqrt{m/n}$ 의 스케일로 확립하는 것.
• 상관 불등식을 응용하여, 코시 평균의 정규화된 지표 함수의 평균이 거의 확실히 정규 밀도로 수렴함을 보여, 거의 확실한 국소 중심극한정리를 증명하는 것.
• 잔여항이 $\mathcal{O}(n^{-\alpha})$ 형식이 아닐 수 있는 상황에서도, 잔여항이 있는 국소 중심극한정리(정리 1.4)를 활용하여 개별 확률의 渐近 행동을 제어하는 것.
• 연속된 lattice 점들이 양의 확률을 가지는 최소 시간 $n_{\kappa}$ 를 기반으로 한 부분수열 접근법을 사용하여 문제를 정적 증분 구조로 환원하고, 가중합에 대한 대수의 법칙을 적용하는 것.

실험 결과

연구 질문

• RQ1 두 번째 모멘트만 존재하는 경우, $\mathbb{E}|X|^{2+\varepsilon} < \infty$ 조건을 요구하지 않고도 i.i.d. 제곱 integrable lattice 분포를 가진 랜덤 변수들의 합에 대해 최밀한 상관 불등식을 수립할 수 있는가?
• RQ2 이전 방법이 $\varepsilon = 0$ 일 경우 실패하는 상황에서, 두 번째 모멘트만 존재하는 경우에도 거의 확실한 국소 중심극한정리를 어떻게 확장할 수 있는가?
• RQ3 고차 모멘트 가정이 제거되었을 때, 맥도날드의 베르누이 부분 개념이 분석을 가능하게 하는 데 어떤 역할을 하는가?
• RQ4 $\mathbb{P}\{X=k\} \wedge \mathbb{P}\{X=k+1\} > 0$ 이 어떤 $k$ 에 대해 성립하는 것이 상관 불등식이 성립하기 위해 필수적이고 충분한가?
• RQ5 lattice의 구조와 확률의 渐近 행동을 활용한 부분수열 접근법을 통해 거의 확실한 국소 중심극한정리를 증명할 수 있는가?

주요 결과

• 최밀한 상관 불등식이 수립됨: $1 \leq m < n$ 에 대해, $S_n = \kappa_n$ 과 $S_m = \kappa_m$ 간의 상관관계는 $C \left( \frac{1}{\sqrt{n/m - 1}} + \frac{n^{1/2}}{(n-m)^{3/2}} \right)$ 로 유계화되며, 여기서 $C$ 는 수열 $\kappa_n$ 에 따라 달라진다.
• $m \leq cn$ 이고 $0 < c < 1$ 일 경우, 상관관계 유계는 $C_c \sqrt{m/n}$ 으로 단순화되며, 이는 스케일의 최적성 의미에서 최적이다.
• 거의 확실한 국소 중심극한정리가 성립함: $\lim_{N \to \infty} \frac{1}{\log N} \sum_{n \leq (N+1)n_{\kappa}} \frac{1}{\sqrt{n}} \mathbf{1}_{\{S_n = \kappa_n\}} = \frac{D}{\sigma \sqrt{2\pi}} e^{-\kappa^2 / (2\sigma^2)}$ 거의 확실히 성립한다.
• 이전 결과에서 요구하던 $\mathbb{E}|X|^{2+\varepsilon} < \infty$ 조건을 초월하여, 두 번째 모멘트만 존재하는 최소 조건으로도 성립함을 보이며, 베르누이 부분을 통해 고차 모멘트 제어가 필요 없도록 하는 데 성공함.
• $\mathbb{P}\{X=k\} \wedge \mathbb{P}\{X=k+1\} > 0$ 조건이 확률의 渐近 행동을 허용함으로써 국소 중심극한정리 적용에 자연스럽고 충분한 조건임을 입증함.
• 부분수열 분석과 베르누이 부분의 활용에 기반한 증명 기법은 $\varepsilon = 0$ 일 경우 잔여항 접근법이 실패하는 문제를 효과적으로 해결하여, 약한 모멘트 조건 하에서도 거의 확실한 결과를 도출할 수 있는 견고한 프레임워크를 제공한다.