[论文解读] Quasi-compactness of Markov kernels on weighted-supremum spaces and geometrical ergodicity

Denis Guibourg, Loı̈c Hervé+1 more|arXiv (Cornell University)|Oct 14, 2011

Markov Chains and Monte Carlo Methods参考文献 32被引用 8

一句话总结

本文建立了加权上确界 Banach 空间 $\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.

研究动机与目标

• 建立马尔可夫核在加权上确界 Banach 空间 $\mathcal{B}_V$ 上拟紧致性的条件。
• 在 $\mathcal{B}_V$ 上为核 $P$ 的本质谱半径 $r_{\text{ess}}(P)$ 推导显式上界。
• 将拟紧致性与 $V$-几何遍历性联系起来，即 $P^n$ 在 $\mathcal{B}_V$ 上算子范数下对不变测度的几何收敛。
• 量化离散马尔可夫链与迭代函数系统的收敛速率 $\rho_V(P)$。

提出的方法

• 使用形式为 $PV \leq \varrho V + M \mathbf{1}_S$ 的漂移条件，其中 $\varrho < 1$，并在小集 $S$ 上满足极小化条件，以确保谱控制。
• 在 Banach 空间 $(\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$。
• 使用泰勒不等式与梯度界控制 Hölder 型半范数，并在 Lipschitz 型空间中推导收敛速率。
• 将理论应用于出生-死亡链与自回归模型，通过谱控制证明几何遍历性。

实验结果

研究问题

• RQ1 在何种条件下，马尔可夫核 $P$ 在加权上确界空间 $\mathcal{B}_V$ 上是拟紧致的？
• RQ2 在漂移与极小化条件下，能否为本质谱半径 $r_{\text{ess}}(P)$ 推导出显式上界？
• RQ3 在 $\mathcal{B}_V$ 上的拟紧致性如何导致 $V$-几何遍历性，即 $P^n$ 在算子范数下对不变测度的几何收敛？
• 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$，且 $\rho$ 受谱界控制。
• 对于出生-死亡链，收敛速率被有界为 $\kappa_1^n$，其中 $\kappa_1 < 1$，该结果源于生成元在 Lipschitz 型半范数上的压缩性。
• 对于具有光滑核的迭代函数系统，在 $K$ 的可积性与导数有界性条件下，包含关系 $P(\mathcal{B}_\gamma) \subset \mathcal{L}_a$ 成立，从而支持收敛速率分析。
• Lipschitz 型函数的收敛速率满足 $m_a(P^n f - \pi(f)) \leq \xi^{\frac{a-1}{a}} m_a(f) \kappa_1^n$，表明其随 $n$ 指数衰减。