Equivalence of Continuous-Time Markov Chains and Linear Dynamical Systems

技術的要約：連続時間マルコフ連鎖と線形動的システムの等価性

問題提起
本テクニカルノートは、連続時間線形動的システムと連続時間マルコフ連鎖（CTMC）の間の構造的な関係について扱う。離散時間の設定において、$d$状態のマルコフ連鎖のダイナミクスが最大で次元 $d-1$ の線形動的システムによって支配される（およびその逆も成立する）という結果は既知であるが、著者は、この類似した等価性が連続時間の領域においても成立するかどうかを調査している。具体的には、$d$状態のCTMCの進化が、次元 $d-\ell$（ここで $\ell$ は固有値0の重複度）の線形動的システムに還元可能であること、そして逆に、次元 $d-1$ の線形動的システムが $d$状態のCTMCへと埋め込み可能であることを確立することを目的としている。

手法
本論文では、スペクトル分解と行列指数関数を用いた線形代数的な手法を用い、この等価性を導出している。その手法は、以下のコアとなるステップに基づいている：

1. 生成行列のスペクトル解析： 著者はまず、確率的生成行列（$A$）に関する補題を確立する。$A$の固有値として0は常に存在し、その代数的重複度と幾 стороны 的重複度は等しい（$\ell$）ことが証明される。また、他のすべての固有値は、実部が厳密に負となる。これは、$A$を離散確率行列 $M = I + aA$ に関連付け、ペロン・フロベニウス理論を適用することによって導かれる。
2. 部分空間の分解： 状態空間 $\mathbb{C}^d$ を、固有値0に対応する固有ベクトルによって張られる $V_0$ と、非ゼロの固有値に対応する一般化固有ベクトルによって張られる $W$ という、2つの直交する部分空間に分解する。
3. 行列変換： 基底変換行列 $R = [P \mid Q]$（ここで $P$ と $Q$ の列はそれぞれ $V_0$ と $W$ の基底を形成する）を用いることで、生成行列 $A$ をブロック対角形式へと変換する。これにより、行列指数関数 $\exp(At)$ を定数項（定常状態に関連するもの）と動的項（過渡現象に関連するもの）に分離することが可能となる。
4. 埋め込み構成： 逆方向については、低次元の生成行列 $C$ を高次元の確率的生成行列 $A$ へと写像するための特定の埋め込み行列 $Q$ とスカラー $\rho$ を構築し、結果として得られるシステムがCTMCの性質（非負の非対角成分および列和がゼロであること）を満たすようにする。

主要な貢献と結果
本論文は、この等価性を定式化する2つの主要な定理を提示している：

• 定理1（還元）： 分布 $v$ および固有値0の重複度が $\ell \ge 1$ である確率的生成行列 $A \in \mathbb{Q}^{d \times d}$ が与えられたとき、還元された生成行列 $B \in \mathbb{Q}^{(d-\ell) \times (d-\ell)}$、埋め込み行列 $Q$、定常分布 $s$、およびベクトル $u$ を計算することができる。これらは、すべての $t \ge 0$ に対して以下を満たす：
  $$\exp(At)v = s + Q \exp(Bt)u$$
  決定的なのは、$Q$ の選択が初期分布 $v$ に依存しない点である。項 $Q \exp(Bt)u$ は $t \to \infty$ において0に収束し、定常状態 $s$ のみが残る。

• 定理2（埋め込み）： ベクトル $u \in \mathbb{Q}^{d-1}$ および生成行列 $C \in \mathbb{Q}^{(d-1) \times (d-1)}$ が与えられたとき、パラメータ $\rho, \eta$、分布 $v$、および確率的生成行列 $A \in \mathbb{Q}^{d \times d}$ を計算することができ、これらはすべての $t \ge 0$ に対して以下を満たす：
  $$\exp(At)v = s + \eta e^{-\rho t} \cdot Q \exp(Ct)u$$
  ここで、$s$ と $Q$ は固定された選択（$s = \mathbf{1}_d/d$ および特定のブロック行列 $Q$）である。スカラー $\rho$ は、構築された生成行列の非対角成分が非負であり続けることを保証するために、十分に大きく選択される。

意義と主張
著者は、本ノートの目的は、離散時間線形動的システムに関する核心的な結果（特に[1]および[2]を参照）が、連続時間の設定においても同様に成立することを「記録」することであると明示している。本論文は、新しい応用や実験的な検証を提案するものではない。むしろ、その意義は、この構造的な等価性の厳密な数学的証明を提供することにある。すなわち、$d$状態の連続時間マルコフ連鎖のダイナミクスは、根本的に高々 $d-1$ 次元の線形動的システムによって支配されており、かつ、そのような低次元のシステムはいかなるマルコフ連鎖にも埋め込み可能であることを示す点にある。証明は、引用された離散時間の文献に見られる論理を、生成行列と行列指数関数の特性に適応させた形で踏襲している。