[论文解读] $L^{2}$-spectral gaps for time discrete reversible Markov chains

Achim Wuebker|ArXiv.org|Aug 6, 2009

Markov Chains and Monte Carlo Methods参考文献 11被引用 6

一句话总结

本文引入一个新的等周常数 $K$，用于度量可逆时离散马尔可夫链与周期性的偏离程度，提供了全局 $L^2$-谱间隙存在的充要条件。该文建立了谱间隙的下界，以标准等周常数 $k$ 和 $K$ 表示，解决了现有理论中仅靠 $k$ 无法充分处理离散链因周期性问题而失效的缺陷。

ABSTRACT

In this paper we study the spectral properties of Markov-operator on $L^{2}$-spaces. Lawler and Sokal (Trans. Amer. Math. Soc., 1988, 309, pp. 557-580) used isoperimetric constants for discrete and continuous time Markov chains to obtain a spectral gap at 1. For time discrete Markov chains this does not exclude periodic behavior. We define a new constant measuring the distance from periodicity and give necessary and sufficient conditions for the existence of a global spectral gap in terms of this constant.

研究动机与目标

• 为解决现有等周方法在检测可能因周期行为而失效的时离散可逆马尔可夫链谱间隙时的局限性。
• 定义一个新的常数 $K$，用于量化此类链与周期性的偏离程度。
• 利用 $k$ 和 $K$ 建立全局 $L^2$-谱间隙存在的充要条件。
• 提供谱间隙的下界估计，该估计依赖于 $k$ 和 $K$，优于先前的估计。

提出的方法

• 引入一个新的等周常数 $K$，用于度量可逆时离散马尔可夫链中周期性的偏离程度。
• 定义与 $n$ 步转移核 $p^n(x, A^c)$ 相关的一族等周常数 $k_n$。
• 使用几何与测度论论证，将 2 步链的等周常数 $k_2(A)$ 与 $k(A)$ 和 $K$ 关联起来。
• 基于集合 $C = A riangle B_{\rho}$ 的测度，建立 $k_2(A)$ 的三个不同下界，具体取决于 $\pi(C) \geq \delta_A \pi(A)$ 或 $\pi(C) \leq \delta_A \pi(A)$。
• 通过在三重不等式 (36) 中对所有相关参数 $\delta, \epsilon_1, \epsilon_2, \epsilon$ 取上确界，推导出 $k_2$ 的统一下界。
• 证明 $k_2 > 0$ 当且仅当 $0 < k \leq K < 2$，从而确立谱间隙存在的条件。

实验结果

研究问题

• RQ1 能否为可能表现出周期行为的时离散可逆马尔可夫链，建立一个简单且充要的全局 $L^2$-谱间隙存在条件？
• RQ2 如何对标准等周常数 $k$ 进行改进，以考虑周期性并确保谱间隙的存在？
• RQ3 2 步转移核的等周常数 $k_2$ 与原始链的谱间隙之间有何关系？
• RQ4 能否推导出一个依赖于 $k$ 和新引入的周期性检测常数 $K$ 的谱间隙下界？

主要发现

• 可逆时离散马尔可夫链存在全局 $L^2$-谱间隙的充要条件为 $0 < k \leq K < 2$，其中 $K$ 衡量与周期性的偏离程度。
• 谱间隙 $r$ 满足 $r = \min(r_1, r_{-1})$，其中 $r_1$ 为在 1 处的间隙，$r_{-1}$ 为在 -1 处的间隙，且 $k_2 > 0$ 当且仅当 $0 < k \leq K < 2$。
• 推导出 $k_2$ 的下界为 $k_2 \geq \sup_{\delta,\epsilon_1,\epsilon_2,\epsilon} \min\left[ \frac{k^2}{16}\delta, \frac{k}{4}(\epsilon_1\epsilon_2(1-\delta)-\delta), \epsilon\left(k\left(\frac{(2-\epsilon)(1-\epsilon_1)(1-\epsilon_2)(1-\delta)}{(1-\epsilon)K}-\frac{1}{1-\epsilon}\right)-\frac{\epsilon}{1-\epsilon}\right) \right]$，当 $K < 2$ 时该下界为正。
• 证明表明，在条件 $0 < k \leq K < 2$ 下有 $k_2 > 0$，从而意味着谱间隙的存在。
• 用于推导 $k_2$ 边界所采用的几何方法可推广至非可逆链。