[논문 리뷰] Quasi-compactness of Markov kernels on weighted-supremum spaces and geometrical ergodicity

Denis Guibourg, Loı̈c Hervé외 1명|arXiv (Cornell University)|2011. 10. 14.

Markov Chains and Monte Carlo Methods참고 문헌 32인용 수 8

한 줄 요약

이 논문은 가중 최대노름 바나흐 공간 $\mathcal{B}_V$ 상에서 마르코프 커널의 준콤팩트성에 대한 충분조건을 수립하며, 본질적 스펙트럼 반경에 대한 명시적 상계를 유도하고, 이와 $V$-기하적 에르고딕성과 연결한다. 이는 드리프트 및 마이너라이제이션 조건이 만족될 경우, 반복 연산 $P^n$ 이 $\mathcal{B}_V$ 상에서 연산자 노름으로 정적 측도로 기하급수적으로 수렴함을 증명하며, 수렴 속도 $\rho_V(P)$ 는 $P$ 의 스펙트럼 성질에 의해 제어된다. 이 결과는 이산 체인과 반복 함수 체계로까지 확장된다.

ABSTRACT

Let $P$ be a Markov kernel on a measurable space $\X$ and let $V:\X [1,+\infty)$. We provide various assumptions, based on drift conditions, under which $P$ is quasi-compact on the weighted-supremum Banach space $(\cB_V,\|\cdot\|_V)$ of all the measurable functions $f : \X \C$ such that $\|f\|_V := \sup_{x\in \X} |f(x)|/V(x) < \infty$. Furthermore we give bounds for the essential spectral radius of $P$. Under additional assumptions, these results allow us to derive the convergence rate of $P$ on $\cB_V$, that is the geometric rate of convergence of the iterates $P^n$ to the stationary distribution in operator norm. Applications to discrete Markov kernels and to iterated function systems are presented.

연구 동기 및 목표

• 가중 최대노름 바나흐 공간 $\mathcal{B}_V$ 상에서 마르코프 커널이 준콤팩트가 되는 조건을 수립하는 것.
• 커널 $P$ 가 $\mathcal{B}_V$ 상에서 본질적 스펙트럼 반경 $r_{\text{ess}}(P)$ 에 대한 명시적 상계를 도출하는 것.
• 준콤팩트성과 $V$-기하적 에르고딕성 간의 연결, 즉 $P^n$ 이 $\mathcal{B}_V$ 상에서 연산자 노름으로 정적 측도로 기하급수적으로 수렴하는 것.
• 이산 마르코프 체인과 반복 함수 체계에 대한 수렴 속도 $\rho_V(P)$ 를 정량화하는 것.

제안 방법

• 드리프트 조건 $PV \leq \varrho V + M \mathbf{1}_S$ 와 소형 집합 $S$ 상의 마이너라이제이션 조건을 사용하여 스펙트럼 제어를 확보한다.
• 가중 노름을 이용해 함수의 성장률을 제어하기 위해 바나흐 공간 $(\mathcal{B}_V, \|\cdot\|_V)$ 상에서 함수해석 기법을 적용한다.
• 본질적 스펙트럼 반경에 대한 유계를 유도한다: $r_{\text{ess}}(P) \leq \frac{\varrho \nu(\mathbf{1}_\mathbb{X}) + \tau}{\nu(\mathbf{1}_\mathbb{X}) + \tau}$, 여기서 $\tau = \max(0, M - \nu(V))$.
• 반복 함수 체계의 경우, 커널 $K$ 의 미분 가능성과 도함수의 적분 가능성 조건을 사용하여 포함 관계 $P(\mathcal{B}_\gamma) \subset \mathcal{L}_a$ 를 보인다.
• 테일러 부등식과 기울기 상한을 사용하여 헬더 유형 세미노름을 제어하고 리프시츠 유형 공간에서의 수렴 속도를 도출한다.
• 생식-사망 체인과 자기재귀 모델에 이 те론을 적용하여 스펙트럼 제어를 통한 기하적 에르고딕성의 성립을 보여준다.

실험 결과

연구 질문

• RQ1 마르코프 커널 $P$ 가 가중 최대노름 공간 $\mathcal{B}_V$ 상에서 언제 준콤팩트가 되는가?
• RQ2 드리프트 및 마이너라이제이션 조건 하에서 본질적 스펙트럼 반경 $r_{\text{ess}}(P)$ 에 대한 명시적 상계는 무엇인가?
• RQ3 공간 $\mathcal{B}_V$ 상에서의 준콤팩트성은 어떻게 $V$-기하적 에르고딕성, 즉 $P^n$ 이 $\mathcal{B}_V$ 상에서 연산자 노름으로 정적 측도로 기하급수적으로 수렴하는가를 의미하는가?
• RQ4 이산 마르코프 체인과 반복 함수 체계에 대해 수렴 속도 $\rho_V(P)$ 는 무엇이며, 어떻게 상한을 구할 수 있는가?
• RQ5 전이 커널 $K$ 에 대한 미분 가능성과 적분 가능성 조건은 어떻게 $P$ 가 $\mathcal{B}_\gamma$ 를 $\mathcal{L}_a$ 로 매핑함을 보장하는가?

주요 결과

• 본질적 스펙트럼 반경은 $r_{\text{ess}}(P) \leq \frac{\varrho \nu(\mathbf{1}_\mathbb{X}) + \tau}{\nu(\mathbf{1}_\mathbb{X}) + \tau}$ 를 만족하며, $\tau = \max(0, M - \nu(V))$ 이다. 이는 드리프트 및 마이너라이제이션 조건 하에서 명시적 상한을 제공한다.
• 드리프트 조건 (D) 과 마이너라이제이션 조건 (S) 이 만족될 경우, 비기약성 또는 비주기성 조건 없이도 $P$ 가 $\mathcal{B}_V$ 상에서 준콤팩트임이 입증된다.
• 수렴 속도 $\rho_V(P)$ 는 $\sup_{\|f\|_V \leq 1} \|P^n f - \pi(f)\|_V = O(\rho^n)$ 를 만족하며, 이는 어떤 $\rho < 1$ 에 대해 성립하며, 스펙트럼 상한에 의해 제어된다.
• 생식-사망 체인의 경우, 생성자의 리프시츠 유형 세미노름에서의 수축성에 기반하여 수렴 속도는 $\kappa_1^n$ 으로 상한이 주어지며, $\kappa_1 < 1$ 이다.
• 부드러운 커널을 가진 반복 함수 체계의 경우, $K$ 의 적분 가능성과 도함수 유계성 조건 하에서 포함 관계 $P(\mathcal{B}_\gamma) \subset \mathcal{L}_a$ 가 성립하며, 이는 수렴 속도 분석을 가능하게 한다.
• 리프시츠 유형 함수에 대해 수렴 속도는 $m_a(P^n f - \pi(f)) \leq \xi^{\frac{a-1}{a}} m_a(f) \kappa_1^n$ 을 만족하며, 이는 $n$ 에 대해 지수적 감소를 보인다.