[論文レビュー] Ergodic convergence rates of Markov processes--eigenvalues, inequalities and ergodic theory

Mu-Fa Chen|ArXiv.org|Apr 24, 2003

Markov Chains and Monte Carlo Methods参考文献 57被引用数 13

ひとこと要約

本稿は、出生死滅過程の第一非ゼロ固有値（スペクトルギャップ）の新しい変分公式を確立し、関数不等式を介してエルゴード性と結びつける。スペクトルギャップの推定と重み付きハーディー不等式を用いて、指数的エルゴード性、強エルゴード性、その他の収束型に対する明示的基準を導出。マコフ連鎖理論における長年の未解決問題を解消し、リーマン幾何学および確率過程への応用を含む。

ABSTRACT

This paper consists of four parts. In the first part, we explain what eigenvalues we are interested in and show the difficulties of the study on the first (non-trivial) eigenvalue through examples. In the second part, we present some (dual) variational formulas and explicit bounds for the first eigenvalue of Laplacian on Riemannian manifolds or Jacobi matrices (Markov chains). Here, a probabilistic approach--the coupling methods is adopted. In the third part, we introduce recent lower bounds of several basic inequalities; these are based on a generalization of Cheeger's approach which comes from Riemannian geometry. In the last part, a diagram of nine different types of ergodicity and a table of explicit criteria for them are presented. These criteria are motivated by the weighted Hardy inequality which comes from Harmonic analysis.

研究の動機と目的

• 連続時間の出生死滅過程の第一非自明固有値（スペクトルギャップ）の新しい変分公式を開発すること。
• 遷移率に基づいて、指数的エルゴード性、強エルゴード性、および対数ソボレフ不等式などのさまざまなタイプのエルゴード性に対する明示的基準を確立すること。
• 確率論的手法と幾何的スペクトル理論を結びつけ、特にラプラシアン固有値に関するリーマン幾何学の結果を援用すること。
• マコフ連鎖理論におけるエルゴード収束速度およびスペクトルギャップ推定に関する長年の未解決問題を解決すること。
• 関数不等式および重み付きハーディー型推定を用いて、既存のエルゴード性基準を統合・拡張すること。

提案手法

• 幾何的スペクトル推定にインspiredされた確率論的アプローチを用いて、出生死滅過程のスペクトルギャップ $\lambda_1$ の新しい変分公式を提案する。
• 変分公式を応用し、ポアンカーレ不等式を介して、指数的エルゴード性の明示的必要十分条件を導出する。
• 重み付きハーディー不等式を主要な技術的道具として用い、対数ソボレフ不等式やナッシュ不等式を含む、エルゴード性の種別を特徴付ける。
• エルゴード性タイプ間の含意関係の図を提示し、$L^1$-指数的収束が強エルゴード性と同値であることを示し、他の含意関係は一方向であることを明らかにする。
• 不変測度 $\mu_i$、出生率 $b_i$、死滅率 $a_i$ を含む明示的基準を、$\mu[i,k]$ および $\mu[n,\infty)$ 上の和を用いて導出する。
• スペクトルギャップ $\lambda_1$ が率の摂動に敏感であり、パラメータのずれに伴い固有関数の次数が線形から高次多項式に変化することを確立する。

実験結果

リサーチクエスチョン

• RQ1 出生死滅過程の第一非ゼロ固有値 $\lambda_1$ は、新しい変分公式を用いてどのように推定可能か？
• RQ2 出生率および死滅率にどのような明示的条件が課されると、出生死滅過程における指数的エルゴード性が保証されるか？
• RQ3 関数不等式（ポアンカーレ、対数ソボレフ、ナッシュ）は、連続時間マコフ連鎖におけるエルゴード収束速度とどのように関係するか？
• RQ4 強エルゴード性と $L^1$ やエントロピーにおける指数的収束の関係は何か？これらは比較可能か？
• RQ5 遷移率の摂動は、スペクトルギャップおよび対応する固有関数の次数にどのように影響するか？

主な発見

• 新しい変分公式が導出され、出生死滅過程におけるスペクトルギャップの明示的推定が可能になった。
• 指数的エルゴード性はポアンカーレ不等式と同値であり、$\sup_{n\geq 1} \mu[n,\infty) \sum_{j\leq n-1} \frac{1}{\mu_j b_j} < \infty$ によって鋭い基準が与えられる。
• 強エルゴード性は $\sum_{n\geq 0} \frac{1}{\mu_n b_n} \mu[n+1,\infty) < \infty$ によって特徴付けられ、これは $L^1$-指数的収束と同値である。
• 対数ソボレフ不等式が成り立つのは、$\sup_{n\geq 1} \mu[n,\infty)^{-1} \log(\mu[n,\infty)) \sum_{j\leq n-1} \frac{1}{\mu_j b_j} < \infty$ のときである。
• 死滅率 $a_i$ が $2i$ から $2i+3$ または $2i+4+\sqrt{2}$ に増加しても、スペクトルギャップ $\lambda_1$ は 1 から 2 または 3 に増加するが、固有関数の次数は 1 から 2 または 3 に増加する。
• エルゴード性タイプの図は、強エルゴード性とエントロピーにおける指数的収束が比較可能でないことを示し、含意関係は $L^1$-指数的収束と強エルゴード性の同値性を除き、すべて一方向である。