[論文レビュー] A dual eigenvector condition for strong lumpability of Markov chains

Martin Nilsson Jacobi, Olof Goernerup|ArXiv.org|Oct 10, 2007

Markov Chains and Monte Carlo Methods参考文献 8被引用数 11

ひとこと要約

本稿では、双対遷移行列の右固有ベクトルにおける同一の成分に対応する状態が、集合化（lump）に属することを同定することで、有限状態のマルコフ連鎖における強い集合化可能性（strong lumpability）の必要十分条件を提示する。この手法により、双対固有ベクトル内の繰り返し値を検出することで、有効な状態集合化を体系的に特定でき、理論的に厳密かつ複雑系に計算的に適用可能な状態空間の縮小手法を提供する。

ABSTRACT

Necessary and sufficient conditions for identifying strong lumpability in Markov chains are presented. We show that the states in a lump necessarily correspond to identical elements in eigenvectors of the dual transition matrix. If there exist as many dual eigenvectors that respect the necessary condition as there are lumps in the aggregation, then the condition is also sufficient. The result is demonstrated with two simple examples.

研究の動機と目的

• 状態空間の集合化（lumpings）がマルコフ性を保つような有効な集合化を同定する課題に対処すること。
• ブルートフォースな分割による計算の非実行可能性を克服し、スペクトル的性質に基づく構成的基準を提供すること。
• 遷移行列の双対固有ベクトルを用いて、強い集合化可能性の必要十分条件を確立すること。
• 集合化が、双対固有ベクトル内の繰り返し要素によって誘導される置換対称性の軌道に対応することを示すこと。
• 事前の対称性仮定に依存せず、固有ベクトル構造を分析することで、すべての可能な集合化を生成する実用的手法を提供すること。

提案手法

• 本手法は、双対遷移行列の右固有ベクトルにおいて同一の成分を持つ状態の集合を検出することで、集合化を同定する。
• 左固有ベクトルと集合化行列 Π の列空間との間に存在する双対性を活用し、直交条件が有効な分割を定義する。
• 複数の固有ベクトルが条件 v^αΠ = 0 を満たし、その数が集合化の数と一致する場合、集合化は有効であることを示す。
• 集合化された遷移行列 P̃ が適切に定義されるのは、ある集合内の任意の状態から別の集合への遷移確率が代表状態に依存しない場合に限ることを基準として適用する。
• 双対固有ベクトル内に繰り返し成分を持つ固有ベクトルの組み合わせ構造を用いて、集合化を構築する。
• 退化固有ベクトルの線形結合が、個々の固有ベクトルからは直接示唆されない非自明な集合化を生成できることを示す。

実験結果

リサーチクエスチョン

• RQ1 状態空間の分割が有効な集約マルコフ連鎖をもたらすために必要なスペクトル的条件は何か？
• RQ2 全探索を避け、与えられたマルコフ連鎖のすべての可能な集合化を体系的に同定する方法は何か？
• RQ3 双対遷移行列の固有ベクトルの構造を用いて、マルコフ性を保つ集合化を生成できるか？
• RQ4 双対固有ベクトル内の繰り返し成分と強い集合化可能性の存在との関係は何か？
• RQ5 退化固有値およびその固有ベクトルは、非自明な集合化の形成にどのように寄与するか？

主な発見

• 強い集合化可能性の必要十分条件は、各集合内の状態が双対遷移行列の右固有ベクトルにおける同一の成分に対応することである。
• 集合化の数と等しい数の双対固有ベクトルが同一成分条件を満たす場合、集合化は有効であり、集約過程はマルコフ的である。
• 本手法は、複雑な8状態マルコフ連鎖において複数の集合化を効果的に同定でき、個々の固有ベクトルからは示唆されないが、それらの集合的構造から生じる非自明な分割も含む。
• 例2では、9つの異なる集合化が同定され、そのうちΣ₅は個々の固有ベクトルではなく、固有ベクトルの結合的構造から生じたものである。
• 本手法は、集合化が双対固有ベクトル内の繰り返し成分によって誘導される置換対称性の軌道に対応することを明らかにし、スペクトル構造と群論的不変性を結びつける。
• 本手法は、ブルートフォースな分割や従来のヒューリスティック的・対称性に基づく手法とは対照的に、構成的かつ計算的に実行可能な代替手法を提供する。