[논문 리뷰] Central limit theorem started at a point for additive functionals of reversible Markov chains

Christophe Cuny, Magda Peligrad|ArXiv.org|2009. 10. 14.

Stochastic processes and statistical mechanics참고 문헌 13인용 수 8

한 줄 요약

이 논문은 가역 마르코프 체인의 가속 기능에 대해, 스펙트럼 조건에 따라 거의 확실 수렴을 보이는 쿼런치드 중심극한정리(Quenched CLT)를 수립한다. 마르코프 체인의 스펙트럼 측도에 대한 스펙트럼 조건 하에서 거의 확실 수렴을 보이며, 마르코프 체인의 스펙트럼 측도 분석을 통해, π-거의 모든 시작점 x에서 CLT가 성립함을 보인다. 이는 이전 결과를 향상시키며, Derriennic과 Lin이 2001년에 제기한, 가역 체인에 대해 최소한의 스펙트럼 조건 하에서 쿼런치드 CLT가 성립하는지 여부에 대한 질문에 답한다.

ABSTRACT

In this paper we study the almost sure central limit theorem started from a point for additive functionals of a stationary and ergodic Markov chain via a martingale approximation in the almost sure sense. As a consequence we derive the quenched CLT for additive functionals or reversible Markov chains.

연구 동기 및 목표

• 가역 마르코프 체인의 가속 기능에 대해 거의 확실 중심극한정리(쿼런치드 CLT)를 수립하기 위해.
• Derriennic과 Lin(2001)이 제기한 질문, 즉 가역 체인에서 점 x에서 시작하는 조건부 확률 측도 하에서 CLT가 성립하는지 여부를 밝히기 위해.
• 이전 연구들에 비해 스펙트럼 조건을 약화시켜 쿼런치드 CLT에 대한 기존 결과를 향상시키기 위해.
• 일반 정규 마르코프 체인에 대해 이 결과가 더 강한 스펙트럼 가정 없이 어떻게 일반화되지 않는지 밝히기 위해.

제안 방법

• 가속 기능의 잔여항을 분석하기 위해 거의 확실 수렴 기반의 마르팅게일 근사를 사용한다.
• 부분합의 거의 확실 행동을 제어하기 위해 체이닝 추론에서 유도된 최대부등식(보조정리 17)을 적용한다.
• 편분산 증분의 적분 bound를 통해 부분합의 최댓값을 추정하기 위해 일반적인 해석적 도구(보조정리 18)를 활용한다.
• 전이 연산자 Q의 스펙트럼 측도 분석에 기반하며, 분산 σ_f²에 대해 조건 ∫_{-1}^{1} (1+t)/(1-t) ρ_f(dt) < ∞ 를 중심으로 한다.
• 정규화된 부분합 과정 W_n(t) = S_{[nt]}/√n 이 표준 브라운 운동 W(t)로 법칙 수렴함을 증명한다.
• 결과를 컴acts 그룹과 1차원 토러스 위의 랜덤 워크에 적용하여, 구체적인 예제에서 조건을 검증한다.

실험 결과

연구 질문

• RQ1 가역 마르코프 체인의 가속 기능에 대해, 스펙트럼 조건 ∫_{-1}^{1} (1+t)/(1-t) ρ_f(dt) < ∞ 가 최소 조건일 때 쿼런치드 CLT가 성립하는가?
• RQ2 정상 측도가 아닌 일반적인 점 x에서 시작할 때, 거의 확실 중심극한정리가 성립하는가?
• RQ3 동일한 스펙트럼 조건 하에서 일반 정규 마르코프 체인에 대해 쿼런치드 CLT가 성립하는가, 아니면 더 강한 가정이 필요한가?
• RQ4 최소한의 스펙트럼 조건 하에서 쿼런치드 CLT를 보장하기 위해 가역성이 어떤 역할을 하는가?
• RQ5 예를 들어, 토러스 위의 랜덤 워크에서 스펙트럼 측도 조건을 어떻게 확인할 수 있는가?

주요 결과

• 가역 마르코프 체인의 가속 기능에 대해, 스펙트럼 조건 ∫_{-1}^{1} (1+t)/(1-t) ρ_f(dt) < ∞ 를 만족할 경우, π-거의 모든 시작점 x에서 쿼런치드 CLT가 성립한다.
• Derriennic과 Lin(2001) 및 Cuny(2009)의 이전 연구보다 더 약한 가정 조건을 요구함으로써 기존 결과를 향상시킨다.
• 쿼런치드 측도 P^x 하에서 정규화된 부분합 S_n / √n 이 정규분포로 거의 확실 수렴함을 보였다.
• 스펙트럼 조건은 가역 케이스에서 쿼런치드 CLT에 대해 필요하고 충분한 조건임이 입증되었으며, 일반 정규 체인으로는 더 강한 가정 없이 일반화되지 않는다.
• 무리수 각도를 가진 1차원 토러스 위의 랜덤 워크에서는, ∑_{n≠0} |f̂(n)|² (log⁺ |log{na}²|)² / {na}² < ∞ 조건이 성립할 경우 CLT가 성립하며, 이는 스펙트럼 조건을 충족함을 보장한다.
• 논문은 푸리에 분석과 스펙트럼 측도 추정을 통해 구체적 모델에서 쿼런치드 CLT를 검증하기 위한 일반적 프레임워크를 제공한다.