[논문 리뷰] Central limit theorem for Markov processes with spectral gap in the Wasserstein metric

Tomasz Komorowski, Anna Walczuk|arXiv (Cornell University)|2011. 02. 09.

Geometric Analysis and Curvature Flows참고 문헌 20인용 수 7

한 줄 요약

이 논문은 프리드리히스-폴리쉬 거리 공간 위의 비 stationary 마르코프 과정에 대한 가감 기능의 대수적 기능에 대해, 워샤프스키 메트릭에서 스펙트럴 갭 조건을 만족할 때, 대수법의 중심극한정리와 대수법의 중심극한정리를 확립한다. 이는 이중 전이 준군이 적절한 워샤프스키 메트릭에서 강하게 수축적일 때 시간 평균 기능이 정규 분포로 수렴함을 증명한다. 관측 가능성이 리프쉬츠 연속일 경우에 해당한다.

ABSTRACT

Suppose that $\{X_t,\,t\ge0\}$ is a non-stationary Markov process, taking values in a Polish metric space $E$. We prove the law of large numbers and central limit theorem for an additive functional of the form $\int_0^Tψ(X_s)ds$, provided that the dual transition probability semigroup, defined on measures, is strongly contractive in an appropriate Wasserstein metric. Function $ψ$ is assumed to be Lipschitz on $E$.

연구 동기 및 목표

• 비 stationary 마르코프 과정의 가감 기능에 대해, 프리드리히스-폴리쉬 거리 공간 위에서 대수법의 중심극한정리와 중심극한정리를 확립하는 것.
• 기존의 정적 또는 가역성 과정을 넘어서, 워샤프스키 메트릭에서의 수축성 조건을 사용하여 중심극한정리를 확장하는 것.
• 정상성을 가정하지 않더라도 시간 평균 기능이 가우시안 분포로 수렴할 수 있는 조건을 제공하는 것.
• 기존의 마르코프 보정 방법을 일반화하여, L^p 공간에서의 스펙트럴 갭 조건을 워샤프스키 메트릭에서의 수축성 조건으로 대체하는 것.
• 워샤프스키 수축 조건을 통해 비정상 과정에 대한 약혼합성 또는 에르고딕성 가정이 있는 결과들을 통합하고 확장하는 것.

제안 방법

• 주어진 워샤프스키 메트릭에서 이중 전이 준군의 강한 수축성 조건(가정 H1)을 혼합 조건으로 사용한다.
• 꼬리 행동을 제어하고 과정의 안정성을 확보하기 위해 리아푸노프 함수 조건(가정 H3)을 도입한다.
• 경로의 정규성을 보장하기 위해 페러렐 성질과 확률적 연속성(가정 H0)을 적용한다.
• 전이 확률의 2+δ 차수의 모멘트 존재 조건(가정 H2)을 요구하여 고차수 변동성을 제어한다.
• 전이 준군의 수축성 조건을 활용하여, 가감 기능 ∫₀ᵀψ(Xₛ)ds에 대한 분해 기법을 적용한다.
• 워샤프스키 프레임워크 내에서 해석기 및 포아송 방정식 근사 기법을 사용하여 마르코프 타입 수렴을 확립한다.

실험 결과

연구 질문

• RQ1 비정상 마르코프 과정에 대해 시간 평균 기능 ∫₀ᵀψ(Xₛ)ds가 중심극한정리를 만족하는 조건은 무엇인가?
• RQ2 기존의 L^p 스펙트럴 갭 또는 기하학적 에르고딕성 조건을 대체하기 위해 워샤프스키 메트릭에서의 스펙트럴 갭 조건을 사용할 수 있는가?
• RQ3 이중 준군이 워샤프스키 메트릭에서 수축적일 경우, 가우시안 분포로의 수렴이 어떻게 보장되는가?
• RQ4 관측 가능 함수 ψ의 리프쉬츠 연속성은 가감 기능의 수렴에 어떤 역할을 하는가?
• RQ5 생성자가 L^p 공간에서 스펙트럴 갭을 갖지 않지만 준군이 워샤프스키 메트릭에서 수축적일 경우, 마르코프 보정 방법을 어떻게 적용할 수 있는가?

주요 결과

• 이중 준군이 워샤프스키 메트릭에서 강하게 수축적일 경우, 가감 기능 ∫₀ᵀψ(Xₛ)ds에 대해 대수법의 중심극한정리가 성립한다.
• 관측 가능 함수 ψ가 리프쉬츠 연속일 경우, 이중 준군이 적절한 워샤프스키 메트릭에서 강하게 수축적일 조건 하에 ∫₀ᵀψ(Xₛ)ds에 대해 중심극한정리가 성립한다.
• S_T / √T 가 중심화된 정규 랜덤 변수로 수렴하는 분포 수렴이 증명되었으며, 이 극한 분산은 불변 측도와 관측 가능 함수에 의해 결정된다.
• 정상성을 가정하지 않아도 성립하므로, 비정상 초기 분포를 허용한다.
• 증명은 의존성을 제어하고 渐近 정규성을 보장하기 위해 워샤프스키 메트릭의 새로운 응용에 기반한다.
• 이 틀은 국소적으로 컴act하지 않은 상태 공간을 갖는 과정에 적용 가능하며, 무한차원 확률적 나비에르-스토크스 방정식과 같은 확률적 유체역학 방정식에도 적용된다.