[논문 리뷰] Polynomial bounds in the Ergodic Theorem for positive recurrent one-dimensional diffusions and integrability of hitting times

Dasha Loukianova, Oleg Loukianov외 1명|arXiv (Cornell University)|2009. 03. 13.

Stochastic processes and statistical mechanics참고 문헌 40인용 수 6

한 줄 요약

이 논문은 재생과 도착 시간의 모멘트 조건을 이용하여 일차원 양의 재현(diffusion)에서 에르고딕 정리의 비점근 다항 편차 경계를 수립한다. 도착 시간의 p차 모멘트 적분 가능성 조건 하에, $\mathbb{P}_{\nu}\left(\left|\frac{1}{t}\int_0^t f(X_s)ds - \mu(f)\right| > \varepsilon\right) \leq K(p) \varepsilon^{-p} t^{-\alpha/2} A(f)^p$ 형태의 경계를 도출한다. 여기서 $\alpha = p$ for $p \geq 2$ 이고 $\alpha = p-1$ for $1 < p < 2$ 이다.

ABSTRACT

Let $X$ be a one dimensional positive recurrent diffusion with initial distribution $ν$ and invariant probability $μ$. Suppose that for some $p&gt; 1$, $\exists a\in\R$ such that $\forall x\in\R, \E_x T_a^p

연구 동기 및 목표

• 일차원 양의 재현 확산에서 가감 함수의 경험 평균에 대한 비점근 편차 경계를 유도하는 것.
• 에르고딕 정리의 수렴 속도가 지수적일 것이 아니라 다항적임을 보장하는 조건을 설정하는 것.
• 도착 시간 모멘트의 적분 가능성과 에르고딕 정리에서의 수렴 속도 간의 관계를 연결하는 것.
• 다항 모멘트 경계를 위한 드리프트 및 확산 계수에 대한 충분 조건을 제공하는 것.

제안 방법

• 재생 방법을 활용하며, 재생 시간의 적분 가능성에 기반하여 편차 경계를 도출한다.
• 일반화된 카크 공식을 적용하여 미분 가능 함수 $f$에 대해 $\mathbb{E}_x[f(T_a)]$의 모멘트를 계산함으로써 도착 시간 모멘트를 제어한다.
• 유계 또는 컴actsupport된 $f$에 대해 $\mathbb{P}_{\nu}\left(\left|\frac{1}{t}\int_0^t f(X_s)ds - \mu(f)\right| > \varepsilon\right) \leq K(p) \varepsilon^{-p} t^{-\alpha/2} A(f)^p$ 형태의 비점근 경계를 유도한다. 여기서 $\alpha = p$ if $p \geq 2$ 이고 $\alpha = p-1$ if $1 < p < 2$ 이다.
• 드리프트 $\beta(x)$와 확산 $\sigma(x)$의 성장률에 기반하여 $\mathbb{E}_x T_a^p$에 대한 다항 상한 및 하한 경계를 설정한다.
• 큰 $|x|$ 에서 $|\beta(x)| \sim |x|^r$ 과 $\sigma^2(x) \sim |x|^{2\gamma}$ 라는 조건을 부과하여 모멘트 경계를 도출한다.
• $\mathbb{E}_\nu T_a^{p/2} < \infty$ 와 $\mathbb{E}_x T_a^p < \infty$ for all $x$ 를 만족시키는 조건을 통해, 적절한 초기 분포 하에서 편차 경계의 타당성을 보장한다.

실험 결과

연구 질문

• RQ1 드리프트 및 확산 계수에 어떤 조건이 성립할 경우, 유계 또는 컴actsupport된 함수의 경험 평균이 $t$ 에 대해 다항적으로 수렴하는가?
• RQ2 일차원 확산에서 에르고딕 정리의 비점근 수렴 속도는 어떻게 정량화할 수 있는가?
• RQ3 도착 시간 모멘트의 적분 가능성과 가감 함수에 대한 다항 편차 경계 사이의 정확한 관계는 무엇인가?
• RQ4 계수의 성장 행동에서 $\mathbb{E}_x T_a^p$에 대한 다항 경계를 도출할 수 있으며, 이는 수렴 속도에 어떤 영향을 미치는가?
• RQ5 $\beta(x)$와 $\sigma(x)$에 대해 $\mathbb{E}_x T_a^p < \infty$ for $p > 1$ 를 보장하는 충분 조건는 무엇인가?

주요 결과

• p ≥ 2 인 경우 경계는 $t^{-p/2}$ 속도로 감소하고, 1 < p < 2 인 경우 $t^{-(p-1)/2}$ 속도로 감소하여, 도착 시간 모멘트의 적분 가능성 순서에 따른 수렴 속도 의존성을 반영한다.
• 조건이 충족될 경우, $\mathbb{P}_{\nu}\left(\left|\frac{1}{t}\int_0^t f(X_s)ds - \mu(f)\right| > \varepsilon\right) \leq K(p) \varepsilon^{-p} t^{-\alpha/2} A(f)^p$ 경계는 $A(f) = \|f\|_\infty$ for 유계 $f$ 이고, $A(f) = \mu(|f|)$ for 유계 및 컴actsupport된 $f$ 이다.
• 큰 $|x|$ 에서 $\beta(x) \sim |x|^r$ 과 $\sigma^2(x) \sim |x|^{2\gamma}$ 이면, $2r + 2\gamma > 1$ 조건 하에서 $\mathbb{E}_x T_a^p \sim x^{2p(1-\gamma)}$ 를 만족하며, 이는 모멘트 성장에 대한 다항 제어를 제공한다.
• 2r + 2\gamma > 1 이면, $\mathbb{E}_\nu T_b^{p/2} < \infty$ 이다. 이는 $\int_{\mathbb{R}} |x|^{p(1-\gamma)} d\nu(x) < \infty$ 를 만족할 경우 성립하며, 초기 분포와 편차 경계의 타당성 간의 연결 고리를 제공한다.
• 2r + 4\gamma > 3 이면, 추론 5.10에 의해 컴actsupport된 $f$에 대해 $t^{-p/2}$ 수렴 속도를 갖는 다항 편차 경계가 보장되며, $\int_{\mathbb{R}} |x|^{p(1-\gamma)} d\nu(x) < \infty$ 이고 $\mu(|f|)$ 가 정규화 인자로 사용된다.
• 일반화된 카크 공식(정리 4.1)은 미분 가능 함수 $f$에 대해 $\mathbb{E}_x f(T_a)$ 를 정확하게 계산할 수 있게 하며, 이는 도착 시간 모멘트의 모멘트 경계 유도에 핵심적이다.