[論文レビュー] Deviation bounds for additive functionals of Markov process

Patrick Cattiaux, Arnaud Guillin|ArXiv.org|Mar 1, 2006

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

ひとこと要約

本稿では、定常的かつ混合的なマルコフ過程の加法的関数への非漸近的偏差バウンドを、ポアンカレや対数ソボレフといった関数不等式を用いて導出する。主な結果は、不変測度 $\mu$ にポアンカレ不等式が成り立つと仮定した下で、$ \mathbb{P}_{\nu}\left(\left|\frac{1}{t}\int_0^t V(X_s)ds - \int Vd\mu\right| \geq R\right) \leq \left\|\frac{d\nu}{d\mu}\right\|_{L^2(\mu)} \exp\left(-\frac{tR^2}{8C_P \text{Var}_\mu(V)}\right) $ の形のガウス型尾部バウンドを提供する。このバウンドは非漸近的であり、$t$ が大きい極限においても鋭い。

ABSTRACT

In this paper we derive non asymptotic deviation bounds for $$¶_ν(|\frac 1t \int_0^t V(X_s) ds - \int V dμ| \geq R)$$ where $X$ is a $μ$ stationary and ergodic Markov process and $V$ is some $μ$ integrable function. These bounds are obtained under various moments assumptions for $V$, and various regularity assumptions for $μ$. Regularity means here that $μ$ may satisfy various functional inequalities (F-Sobolev, generalized Poincaré etc...).

研究の動機と目的

• 連続時間の混合的マルコフ過程において、加法的関数の時間平均が平衡平均から離れる偏差に対する非漸近的上界を導出すること。
• これらのバウンドが初期分布 $\nu$、関数 $V$、不変測度 $\mu$ に依存する仕組みを特定すること。
• 関数不等式（例：ポアンカレ、対数ソボレフ）を用いて、時間 $t$ に指数的に減少する偏差確率を確立すること。

提案手法

• この手法は、マルコフ過程の生成作用素 $L$ とフェインマン＝カック半群を用いて、加法的関数のラプラス変換を制御することに依存する。
• 主な量 $\Lambda(V) = \sup_{f \in D(L), \|f\|_{L^2(\mu)}=1} \left\{ \int V f^2 d\mu + \langle Lf, f \rangle_\mu \right\}$ は、測度 $\mu$ における関数不等式を用いてバウンドされる。
• ポアンカレの場合、$\Lambda(\lambda V) \leq \frac{\lambda^2 \text{Var}_\mu(V)}{G_P - \lambda}$ のバウンドが得られ、ここで $G_P = 1/C_P$ であり、$C_P$ はポアンカレ定数である。
• 偏差確率は、Legendre変換 $I_V(R) = \sup_{\lambda \geq 0} \{ \lambda R - \Lambda(\lambda V) \}$ を介して制御され、ガウス型尾部バウンドが得られる。
• 時間反転と相対エントロピーの議論を用いて、対称的かつ超合同的半群へとこのアプローチを拡張する。
• 絶対連続でない初期測度の場合は、遷移核の密度に関するバウンドを用いて手法を適応し、$U$ における勾配およびラプラシアンの制御のもとで $h_t^x \in L^2(\mu)$ が示される。

実験結果

リサーチクエスチョン

• RQ1 定常的かつ混合的なマルコフ過程の加法的関数に対して、どのような条件下で非漸近的偏差バウンドを取得できるか。
• RQ2 初期測度 $\nu$（$\|d\nu/d\mu\|_{L^2(\mu)}$ を通じて）が尾部の減少率に与える影響は何か。
• RQ3 不変測度 $\mu$ における関数不等式（例：ポアンカレ、対数ソボレフ）を用いて、明示的かつ定量的な偏差バウンドを導出できるか。
• RQ4 得られたバウンドの鋭さは、大偏差理論およびスペクトル理論とどのように関係するか。
• RQ5 初期測度 $\nu$ が $\mu$ に関して絶対連続ではない場合、この手法をどのように拡張できるか。

主な発見

• ポアンカレ不等式（定数 $C_P$）が成り立つと仮定した下で、すべての $t > 0$ および $0 < R \leq 1$ に対して、偏差確率は $ \mathbb{P}_{\nu}\left(\left|\frac{1}{t}\int_0^t V(X_s)ds - \int Vd\mu\right| \geq R\right) \leq \left\|\frac{d\nu}{d\mu}\right\|_{L^2(\mu)} \exp\left(-\frac{tR^2}{8C_P \text{Var}_\mu(V)}\right) $ を満たす。ただし $\sup|V| = 1$ かつ $\int V d\mu = 0$ とする。
• このバウンドは漸近的に鋭く、大偏差のレートとスペクトルギャップの予測と一致する。
• この手法により逆も示せる：$\lambda$ が小さい範囲で $\Lambda(\lambda V) \leq C\lambda^2$ が一様に成り立つならば、$\mu$ はポアンカレ不等式を満たす。
• 対称的半群の場合は、時間反転と超合同性を用いてバウンドを改善し、よりタイトな定数が得られる。
• 超合同的ケース（対数ソボレフ）では、相対エントロピーが関与する：$ \mathbb{P}_{\nu}(\mathcal{A}) \leq (e-1)\exp\left(-\frac{tR^2}{32C_P \text{Var}_\mu(V)}\right) + H(h_\nu)\exp\left(-\frac{tR}{2C_{LS}}\right) $。
• ポテンシャル $U$ を持つ拡散過程では、$\nabla U$ および $\Delta U$ にやや弱い条件を課すだけで、遷移密度 $h_t^x$ が $L^2(\mu)$ に属することを示し、$L^2$-ベースのバウンドの適用が可能になる。