[论文解读] Contraction in the Wasserstein metric for some Markov chains, and applications to the dynamics of expanding maps

Benoît Kloeckner, Artur O. Lopes+1 more|arXiv (Cornell University)|Dec 2, 2014

Mathematical Dynamics and Fractals参考文献 24被引用 18

一句话总结

该论文通过最优传输和耦合技术，在 Hölder 势函数下，为扩张映射和迭代函数系统建立了双转移算子在 1- Wasserstein 距离下的指数收缩。关键贡献是无需依赖 Doeblin-Fortet 不等式，提供了谱间隙与相关性衰减的新证明，从而实现了 Gibbs 测度在势函数与映射扰动下的利普希茨稳定性。

ABSTRACT

We employ techniques from optimal transport in order to prove decay of transfer operators associated to iterated functions systems and expanding maps, giving rise to a new proof without requiring a Doeblin-Fortet (or Lasota-Yorke) inequality. Our main result is the following. Suppose $T$ is an expanding transformation acting on a compact metric space $M$ and $A: M \ o \\mathbb{R}$ a given fixed H{\\"o}lder function, and denote by $L$ the Ruelle operator associated to $A$. We show that if $L$ is normalized (i.e. if $L(1)=1$), then the dual transfer operator $L^*$ is an exponential contraction on the set of probability measures on $M$ with the $1$-Wasserstein metric.Our approach is flexible and extends to a relatively general setting, which we name Iterated Contraction Systems. We also derive from our main result several dynamical consequences; for example we show that Gibbs measures depends in a Lipschitz-continuous way on variations of the potential.

研究动机与目标

• 为扩张映射和迭代函数系统在 1-Wasserstein 距离下建立双转移算子的指数收缩。
• 在不使用 Doeblin-Fortet 或 Lasota-Yorke 不等式的情况下，提供谱间隙与相关性衰减的新证明。
• 推导 Gibbs 测度关于势函数与映射变化的利普希茨连续性。
• 引入并分析迭代收缩系统（ICS）框架，作为此类收缩结果的通用设定。
• 展示最优传输与耦合方法在热力学形式化与动力系统中的实用性。

提出的方法

• 使用 1-Wasserstein 距离作为概率测度上的度量，以量化由转移算子诱导的马尔可夫链的收敛性。
• 应用最优传输中的耦合技术，证明双转移算子在 1-Wasserstein 距离下收缩距离。
• 将迭代收缩系统（ICS）定义为映射 $F: \nabla \to \nabla^k$，满足具有常数 $\theta < 1$ 的统一收缩条件。
• 证明对于归一化的 Ruelle 算子 $\mathbb{P}$，其对偶算子 $\mathbb{P}^*$ 在 $W_1$ 下作用于概率测度时表现为指数收缩。
• 通过扰动界推导稳定性结果：$W_1(\mu_A, \mu_B) \leq \frac{C \cdot \text{Lip}(A)}{1 - \lambda} \cdot \|A - B\|_\infty \cdot \text{diam}(\Omega)$。
• 利用流形上曲线提升的几何论证，控制扩张映射逆像之间的一致距离。

实验结果

研究问题

• RQ1 是否可以在不依赖经典函数不等式的情况下，建立转移算子在 1-Wasserstein 距离下的指数收缩？
• RQ2 Wasserstein 距离如何促进对 Gibbs 测度及其在扰动下稳定性的分析？
• RQ3 迭代收缩系统（ICS）框架在将结果推广至扩张映射和 IFS 中起到何种作用？
• RQ4 最优传输中的耦合方法在多大程度上可用于推导相关性衰减与谱间隙？
• RQ5 Gibbs 测度对势函数与映射的依赖性在利普希茨连续性方面如何体现？

主要发现

• 双转移算子 $\mathscr{L}^*$ 在 1-Wasserstein 距离下对概率测度空间表现为指数收缩。
• 谱间隙与相关性衰减可直接由 Wasserstein 收缩推出，无需使用 Doeblin-Fortet 或 Lasota-Yorke 不等式。
• Gibbs 测度关于势函数呈利普希茨连续：$W_1(\mu_A, \mu_B) \leq \frac{C \cdot \text{Lip}(A)}{1 - \lambda} \cdot \|A - B\|_\infty \cdot \text{diam}(\Omega)$。
• 一个 $C^1$ 扩张映射的最大熵测度关于映射呈利普希茨连续：当 $\|T_1 - T_2\|_\infty \leq \frac{1}{4} \text{sys}(\Omega)$ 时，有 $W_1(\mu_{T_1}, \mu_{T_2}) \leq C \cdot \text{diam}(\Omega) \cdot \|T_1 - T_2\|_\infty$。
• 迭代收缩系统（ICS）框架将设定推广至包括扩张映射与 IFS，统一收缩条件确保收敛性。
• Wasserstein 距离中的收缩率 $\lambda < 1$ 导致迭代测度收敛的统一有界性，从而实现稳定性估计。