[論文レビュー] 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 不等式に依存しないスペクトルギャップおよび相関の崩壊に関する新しい証明であり、ポテンシャルおよび写像の摂動におけるギブズ測度のリプシッツ安定性を可能にする。

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 不等式を用いずに、スペクトルギャップおよび相関の崩壊に関する新しい証明を提供すること。
• ポテンシャルおよび写像の変化に対するギブズ測度のリプシッツ連続性を導出すること。
• 反復収縮系（ICS）の枠組みを導入・分析し、このような収縮結果の一般化のための設定を提供すること。
• 最適輸送およびカップリング手法が熱力学的形式主義および力学系の解析においてどのように有用であるかを示すこと。

提案手法

• 転送作用素によって誘導されるマルコフ連鎖の収束を測るため、確率測度上の 1-Wasserstein 距離を測度として用いる。
• 最適輸送からのカップリング技法を適用し、双対転送作用素が 1-Wasserstein 距離において距離を収縮することを示す。
• 均一収縮条件（定数 $\theta < 1$）を満たす写像 $F: \nabla \to \nabla^k$ を反復収縮系（ICS）として定義する。
• 正規化された 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 距離は、ギブズ測度の安定性に関する摂動に対してどのように解析を容易にするか？
• RQ3 反復収縮系（ICS）フレームワークは、拡大写像および IFS への結果の一般化に果たす役割は何か？
• RQ4 最適輸送からのカップリング手法は、相関の崩壊およびスペクトルギャップの導出にどの程度利用可能か？
• RQ5 ギブズ測度がポテンシャルおよび写像に依存する様子は、リプシッツ連続性の観点からどのように現れるか？

主な発見

• 双対転送作用素 $\mathscr{L}^*$ は、1-Wasserstein 距離において確率測度の空間上で指数的収縮を示す。
• スペクトルギャップおよび相関の崩壊は、Wasserstein 収縮から直接導かれる。Doeblin-Fortet または Lasota-Yorke 不等式の必要はない。
• ギブズ測度はポテンシャルに関してリプシッツ連続に依存する：$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$ な拡大写像の最大エントロピー測度は、写像に関してリプシッツ連続に依存する：$W_1(\mu_{T_1}, \mu_{T_2}) \leq C \cdot \text{diam}(\Omega) \cdot \|T_1 - T_2\|_\infty$（$\|T_1 - T_2\|_\infty \leq \frac{1}{4} \text{sys}(\Omega)$ のとき）。
• 反復収縮系（ICS）の枠組みは、拡大写像および IFS を含む設定を一般化し、均一収縮条件が収束を保証する。
• Wasserstein 距離における収縮率 $\lambda < 1$ は、反復測度の収束に対する一様バウンドをもたらし、安定性推定を可能にする。