[論文レビュー] Yaglom limits can depend on the starting state

Robert D. Foley, David McDonald|arXiv (Cornell University)|Sep 22, 2017

Stochastic processes and statistical mechanics参考文献 17被引用数 3

ひとこと要約

この論文は、可算状態空間上で単純で、還元不能で、非周期的かつ厳密に部分ストキャスティックなマルコフ連鎖を構築し、そのYaglom極限（非吸収条件下での極限条件付き分布）が初期状態に明示的に依存することを示している。主な貢献は、このような状態依存Yaglom極限が存在することを証明し、非自明な$ R^{-1} $-Martin境界と関連していることの解明であり、Yaglom極限が初期状態に依存しないはずだとする未解決の問題を解決している。

ABSTRACT

We construct a simple example, surely known to Harry Kesten, of an R-transient Markov chain on a countable state space S with cemetery state delta. The transition matrix K on S is irreducible and strictly substochastic. We determine the Yaglom limit, that is, the limiting conditional behavior given non-absorption. Each starting state x in S results in a different Yaglom limit. Each Yaglom limit is an rho-invariant quasi-stationary distribution where rho=1/R and R is the convergence parameter of $K$. Yaglom limits that depend on the starting state are related to a nontrivial rho-Martin entrance boundary.

研究の動機と目的

• 非周期的かつ厳密に部分ストキャスティックなマルコフ連鎖におけるYaglom極限が初期状態に依存しないか否かという、準定常分布理論における未解決問題を解決すること。
• 各初期状態$ x \notin \{\delta\} $が異なるYaglom極限$ \pi_x $をもたらすような、そのような連鎖の具体的な例を構築すること。
• Yaglom極限の初期状態依存性が、特に非自明な場合に、$ R^{-1} $-Martin境界の構造と関連していることの特定。
• Yaglom極限が初期状態に依存する場合でも、一般化された強い比極限性質（GSRLP）が成り立つことの示唆であり、KestenのSRLPフレームワークを超える拡張。

提案手法

• 可算無限集合$ S $と吸収状態$ \delta $を含む状態空間$ S \cup \{\delta\} $上でマルコフ連鎖を構築し、$ S $上での遷移行列$ K $が還元不能で非周期的かつ厳密に部分ストキャスティックであることを保証する。
• Yaglom極限を$ \pi_x(y) = \lim_{n \to \infty} \mathbb{P}_x(X_n = y \mid X_n \in S) $として定義し、初期状態$ x $に依存することを明示的に許容する。
• $ t $-不変測度と$ t $-調和関数の双対性、特にDoobの$ h $-変換と時刻反転を用いて、不変測度および調和関数の構造を分析する。
• $ R^{-1} $-Martin境界を特徴付け、その非自明性が複数の異なるYaglom極限の存在に対応することを示す。
• Poisson-Martin積分表現を用いて、$ R^{-1} $-不変準定常分布と最小$ R^{-1} $-不変測度から導かれる調和関数を結びつける。
• 「ハブと二本のスポーク」の例を用いて、構成を具体的に示し、各初期状態が異なる極限条件付き分布をもたらすことを検証する。

実験結果

リサーチクエスチョン

• RQ1 非周期的かつ厳密に部分ストキャスティックなマルコフ連鎖におけるYaglom極限は、初期状態に依存しうるか？
• RQ2 状態空間または遷移核にどのような構造的条件が、状態依存Yaglom極限を生じさせるか？
• RQ3 $ R^{-1} $-Martin境界の非自明性は、複数のYaglom極限の存在とどのように関連しているか？
• RQ4 Yaglom極限が初期状態に依存する場合でも、一般化された強い比極限性質（GSRLP）は成り立つか？
• RQ5 ある$ \rho $-不変準定常分布が存在する場合でも、Yaglom極限が存在しないことはあり得るか？

主な発見

• Yaglom極限は初期状態に依存する：各初期状態$ x \in S $は、異なる極限条件付き分布$ \pi_x $をもたらす。
• 異なるYaglom極限の存在は、$ R $を遷移行列$ K $の収束パラメータとする非自明な$ R^{-1} $-Martin境界に直接関連している。
• 各Yaglom極限$ \pi_x $は$ R^{-1} $-不変準定常分布である。つまり、$ \pi_x K = R^{-1} \pi_x $を満たす。
• Yaglom極限が初期状態に依存する場合でも、一般化された強い比極限性質（GSRLP）は成り立つが、古典的SRLPは成立しない可能性がある。
• 構築された例は非周期的かつ還元不能であるが、それでも依然として状態依存Yaglom極限を示しており、このような極限が一意であるはずだとする直観に反する。
• ハブと二本のスポークの例は、異なる初期状態が異なる$ \pi_x $をもたらすことを明示的に示しており、各$ \pi_x $は$ S $上の$ R^{-1} $-不変測度である。