[论文解读] $L^{2}$-spectral gaps, weak-reversible and very weak-reversible Markov chains

Achim Wuebker, Zakhar Kabluchko|ArXiv.org|Aug 6, 2009

Markov Chains and Monte Carlo Methods参考文献 16被引用 3

一句话总结

本文在不假设可逆性的前提下，建立了正递归一般状态空间马尔可夫链存在 $L^2$-谱间隙的必要与充分条件。通过引入弱可逆性和极弱可逆性条件，并分析与 $P^2$、$P^*P$ 及 $PP^*$ 相关的等周常数，作者将谱间隙准则推广至不可逆情形，利用 $L^2$-范数估计与谱理论，构建了一个适用于不可逆链的理论框架。

ABSTRACT

The theory of $L^2$-spectral gaps for reversible Markov chains has been studied by many authors. In this paper we consider positive recurrent general state space Markov chains with stationary transition probabilities. Replacing the assumption of reversibility by a less strong one, we still obtain a simple necessary and sufficient condition for the spectral gap property of the associated Markov operator in terms of isoperimetric constant. Moreover, we define a new sequence of isoperimetric constants which provides a necessary and sufficient condition for the existence of a spectral gap in a very general setting. Finally, these results are used to obtain simple sufficient conditions for the existence of a spectral gap in terms of the first and second order transition probabilities.

研究动机与目标

• 将 $L^2$-谱间隙理论从可逆马尔可夫链推广至更一般情形，突破以往研究的局限。
• 解决由于狄利克雷型方法失效及缺乏自然推广而导致的不可逆链谱间隙缺乏一般性条件的问题。
• 定义更弱的结构条件——弱可逆性与极弱可逆性，使其仍能用于谱间隙的刻画。
• 在一般设定下，通过一组新的等周常数，提供谱间隙存在的必要与充分条件。
• 基于一阶与二阶转移概率，推导出谱间隙存在的充分条件，实现实际可验证性。

提出的方法

• 通过联合测度 $Q^{(n)}$ 与 $\tilde{Q}^{(n)}$ 的 Radon-Nikodym 导数，引入弱可逆与极弱可逆马尔可夫链，推广可逆性概念。
• 定义等周常数 $k_n(A)$ 与 $k_{P^{*n}P^n}(A)$，以集合间转移概率表征谱间隙性质。
• 利用伴随算子 $P^*$ 定义 $P^{*n}P^n$，并将其谱间隙与原链行为关联。
• 通过测度 $\mu$ 表示二次型 $\langle f, (Id - P^*P)f \rangle_\pi$，实现谱分析。
• 比较 $P^2$、$P^*P$ 与 $PP^*$ 的等周常数，推导谱间隙的界。
• 应用谱映射定理与范数估计，证明 $\|Id - P\|_{L^2} \geq \sqrt{\kappa/8} \cdot k_{P+P^* - P^*P}$，将谱间隙与等周性联系起来。

实验结果

研究问题

• RQ1 能否在不假设可逆性的前提下，为不可逆马尔可夫链建立 $L^2$-谱间隙的必要与充分条件？
• RQ2 弱可逆性与极弱可逆性条件如何在谱间隙理论中推广经典可逆性假设？
• RQ3 等周常数 $k_n$ 与 $k_{P^{*n}P^n}$ 在刻画一般马尔可夫链谱间隙中的作用是什么？
• RQ4 能否利用 $P^2$、$P^*P$ 与 $PP^*$ 的等周常数来估计 $P$ 的谱间隙？
• RQ5 对一阶与二阶转移概率的哪些充分条件能保证谱间隙的存在？

主要发现

• 通过等周常数 $k_{P^*P}$ 建立了 $L^2$-谱间隙的必要与充分条件，将可逆链的结果推广至更广情形。
• 谱间隙存在当且仅当 $k_{P^*P} > 0$，当 $\operatorname{esssup}_y \left\| \frac{dQ^{(n)}}{d\tilde{Q}^{(n)}}(\cdot,y) \right\|_{L^q(p(y,\cdot))} < \infty$ 对某个 $q \in (1,\infty]$ 成立时，该条件在极弱可逆性下成立。
• 对于极弱可逆链，谱间隙由 $k_{P^*P}$ 的正性刻画，且其下界为 $k^2$，其中 $k$ 为标准等周常数。
• 本文证明了 $k_{P+P^* - P^*P} \geq k^2$，将对称化算子的谱间隙与原链的等周性联系起来。
• 从一阶与二阶转移核出发，推导出谱间隙的充分条件，实现无需完整可逆性即可实际验证。
• Häggström 的例子表明，即使具有几何遍历性，也不保证存在谱间隙；当对所有 $n$ 有 $p^{*n}p^n((3n,2n),(3n,2n)) = 1$ 时，$P$ 不存在谱间隙，验证了所提条件的必要性。