NSM-008
P(t) = exp(Qt) に至る論理順序 — 6 ステップの因果連鎖
作成日: 2026-05-25 / 連続時間マルコフ連鎖 / Mathematics in Neuroscience プレゼン準備
このノートの位置づけ
連続時間マルコフ連鎖の遷移行列 $P(t) = e^{Qt}$ が成り立つまでに、どの条件がどの順序で必要かを 6 ステップで整理する。
「Q が先か exp が先か」というユーザの直感的な疑問に直接答える。
半群と Chapman-Kolmogorov の詳細ノート および
行列指数関数と Q 行列の詳細ノート の「論理順序」要約版として機能する。
【本ノートでの用語規約】 半群 (semigroup) : 結合則を満たす二項演算を持つ集合。ここでは $\{P(t) \mid t \ge 0\}$ と行列の積。連続半群 / $C_0$-半群 : $t \to 0^+$ で $P(t) \to I$ という標準性条件を満たす半群。生成子 (generator) : $Q = \lim_{h\to 0^+} \frac{P(h)-I}{h}$、すなわち $P(t)$ の $t=0$ における右微分行列。Q 行列 (Q-matrix) : 生成子 $Q$ が確率行列の生成子である構造的条件（オフ対角非負・行和ゼロ）を満たすもの。
参考文献: Single-Channel Recording , 2nd ed., Chapter 18, pp. 397–482. Plenum Press.6 ステップの論理順序は Chapter 18 の議論を数学的順序に従って再構成したもの。
核心命題（先に結論）: Q は exp より論理的に先に存在する 。
$Q$ は微分 $Q = P'(0)$ として定義され、その後 Kolmogorov 方程式を経て $e^{Qt}$ が導かれる。
「exp の中に Q を放り込む」のではなく、「P(t) の微分として Q を取り出してから、ODE の解として exp が現れる」。
図 1 — 6 ステップの論理フロー
追加される条件
論理ステップ（因果順）
このステップの出力
① マルコフ性 + 時間的斉次性
→ P(s+t) = P(s) P(t), P(0) = I
Chapman-Kolmogorov 方程式
マルコフ性
+ 時間的斉次性
1 パラメータ半群
{P(t) | t ≥ 0} が半群
exp にはまだなれない
（病的解が存在しうる）
② + 標準性（連続性）
lim(t→0+) P(t) = I
（成分ごとの収束）
標準性 P(t) → I (t→0+)
連続半群 (C₀-半群)
連続性の保証
③ + 有限状態空間
→ Q := lim(h→0+) (P(h)-I)/h が存在
Q は P(t) の t=0 における右微分
有限状態空間
（無限次元では Hille-Yosida が必要）
生成子 Q が誕生
Q = P'(0) ← 最初の登場
④ Kolmogorov 方程式の導出
P'(t) = Q P(t) （後進方程式）
P'(t) = P(t) Q （前進方程式）
半群性を t で微分
+ Q の定義（s→0 の極限）
線形行列 ODE
P'(t) = QP(t), P(0) = I
⑤ 行列 ODE の一意解
P(t) = exp(tQ) = Σ (tQ)^k / k!
← ここで初めて exp が登場
線形 ODE の一意解定理
（スカラー版: y'=ay → e^{at}）
P(t) = exp(Qt)
目標の式が確立
⑥ 確率行列性 → Q-matrix 構造
q_{ij} ≥ 0 (i ≠ j), q_{ii} = -Σ_{j≠i} q_{ij}
オフ対角非負 + 行和ゼロ
確率行列性
P(t) の成分非負 + 行和 1
Q が Q-matrix と確定
遷移強度の構造が決まる
図 1. P(t) = exp(Qt) に至る 6 ステップの論理フロー。左列: 各ステップで追加される条件、中央列: 論理ステップ、右列: そのステップの出力。Q（生成子）は③で初めて登場し、⑤で exp が現れる。
図 2 — 「当初の説明」と「正しい順序」の比較
ユーザの最初の直感: 「Q が exp より先に存在するはず。exp の指数に置く対象が必要では?」
この直感は正しい 。当初の説明の何が順序逆だったのかを比較する。
当初の（誤った順序の）説明
マルコフ性 + 斉次性
（条件1）
⇒ 直接 exp が出る??
指数関数形 exp(?t)
（まだ ? の中身は不明）
+ 連続性 + 有限
Q 行列が決まる
（後から ? に Q を埋める）
問題: Q が存在する前に exp(Qt) が書けない!
正しい論理順序
マルコフ性+斉次性+連続性+有限 → 半群 → Q = P'(0)
Q が確定（P'(0) = Q という行列が存在）
← Q はここで初めて舞台に登場
Kolmogorov 方程式 P'(t) = QP(t)
（Q を係数とする線形 ODE）
P(t) = exp(tQ) が ODE の解として出現
← exp は最後に出てくる
図 2. 当初の説明（左）と正しい論理順序（右）の比較。左では Q より前に exp が書かれており論理的に矛盾する。右では Q が先に確定し、exp が ODE の解として最後に現れる。
図 3 — スカラーアナロジー: なぜ連続性が必要か
行列版 ($P(t) = e^{Qt}$) の論理は、スカラー版 ($f(t) = e^{at}$) と完全に平行している。
スカラー版を先に理解すれば行列版の各ステップの役割が直感的にわかる。
スカラー版 f(s+t) = f(s)f(t)
行列版 P(s+t) = P(s)P(t)
Cauchy 関数方程式のみ
f(s+t) = f(s)f(t), f: ℝ → ℝ
半群性のみ（標準性なし）
P(s+t) = P(s)P(t), P(0) = I
病的解が存在しうる
選択公理 + Hamel 基底 → 測定不能な f
（f は exp 形以外の解も持つ）
病的解が存在しうる
連続性なしでは P(t) の形が確定しない
+ 連続性（または単調性）
+ 標準性 P(t)→I + 有限次元
f(t) = exp(at) に一意決定
a = f'(0) が「スカラー生成子」
← a が先, exp が後
P(t) = exp(tQ) に一意決定
Q = P'(0) が「行列生成子」
← Q が先, exp が後（同じ構造！）
スカラー — 行列 アナロジー対応表
スカラー a
↔
行列 Q
f'(0) = a
↔
P'(0) = Q
（スカラー生成子）
（行列生成子 = 生成作用素）
図 3. スカラー版 Cauchy 関数方程式と行列版半群の構造的アナロジー。どちらも「関数方程式のみでは病的解があり、連続性（正則性）を加えて初めて指数関数形に一意決定される」という同じパターンを持つ。生成子 (a または Q) が先に確定し、exp は後から現れる。
図 4 — Q = P'(0) から exp(tQ) へ: 因果の流れ
「Q を exp の中に放り込む」のではなく、「Q を定義した後に ODE を解くと exp が出てくる」という
因果の向きを強調する図。
P(t) が存在
半群 + 連続性 + 有限
微分定義
Q := P'(0)
生成子（行列）として確定
半群性を微分
s → 0
Kolmogorov 方程式
P'(t) = QP(t)
初期条件: P(0) = I
（Q が係数として登場）
ODE の
一意解定理
P(t) = e^{Qt}
exp はここで初登場
Q は既に③で確定済み
因果の向きのまとめ
P(t) が先に（半群として）存在 → Q = P'(0) として Q が定義される → Q を係数とする ODE が Kolmogorov 方程式 → ODE の解として exp(tQ) が出現
「Q を exp の中に入れる」という語り方は因果を逆に語っている点で不正確。
図 4. Q = P'(0) として定義（③）→ Kolmogorov 方程式（④）→ P(t) = exp(tQ) が ODE の解として確立（⑤）という因果の流れ。exp は結果であり、Q は原因（の一部）。
6 ステップの詳細
① マルコフ性 + 時間的斉次性 → 半群性 確認済み マルコフ性（未来は現在の状態のみに依存）と時間的斉次性（遷移確率が時刻によらない）から
Chapman-Kolmogorov 方程式 が成立する:
$$P(s + t) = P(s) P(t) \quad \forall s, t \ge 0, \qquad P(0) = I$$
これは「行列値の 1 パラメータ半群」の公理そのものである。
ここで重要 : 半群性だけでは指数関数形は出てこない。
スカラー版の Cauchy 関数方程式 $f(s+t) = f(s)f(t)$ において、連続性を仮定しない場合、
選択公理を使って病的な（測定不能な）解が構成できる。行列の場合も同様で、正則性条件が別途必要。
② + 標準性（連続性） → 連続半群 確認済み 標準性条件を追加する:
$$\lim_{t \to 0^+} P(t) = I \quad \text{（成分ごとの収束）}$$
これにより $P(\cdot)$ は連続半群（$C_0$-半群の有限次元版）になる。
病的解を排除し、「正則な」半群へ格上げするステップである。
③ + 有限状態空間 → Q が存在（生成子の誕生） 確認済み 有限次元では、連続半群は自動的に一様連続で、$t = 0$ での右微分が存在する:
$$Q := \lim_{h \to 0^+} \frac{P(h) - I}{h} \in \mathbb{R}^{n \times n}$$
$Q$ は「$P(t)$ の $t = 0$ における右微分」として定義される生成子（生成作用素） 。
ここで初めて $Q$ という行列が論理の舞台に登場する。
無限次元の場合の注意 : 可算無限状態空間などの無限次元では、生成子 $Q$ は有界作用素にならない場合があり、
Hille-Yosida 定理など別の道具立てが必要になる。有限次元という条件は
「$Q$ が普通の行列として存在する」ことを保証している。
④ Kolmogorov 方程式の導出 確認済み 半群性 $P(s+t) = P(s)P(t)$ を $t$ で微分して $s \to 0$ の極限を取ると（生成子の定義を使う）:
$$P'(t) = Q P(t) \quad \text{（後進 Kolmogorov 方程式）}, \qquad P'(t) = P(t) Q \quad \text{（前進 Kolmogorov 方程式）}, \qquad P(0) = I$$
詳細は 行列指数関数と Q 行列の詳細ノート を参照。
⑤ 行列 ODE の一意解 → exp(Qt) 確認済み 線形行列 ODE $P'(t) = QP(t)$（初期条件 $P(0) = I$）の解の一意性から:
$$P(t) = \exp(tQ) = \sum_{k=0}^{\infty} \frac{(tQ)^k}{k!}$$
ここで初めて $\exp$ が登場する。 $Q$ はすでに③で確定しているから、$\exp(tQ)$ は意味を持つ。
⑥ 確率行列性 → Q-matrix の構造 確認済み $P(t)$ が確率行列であること（成分非負 $P(t)_{ij} \ge 0$、行和 1 $\sum_j P(t)_{ij} = 1$）から、
生成子 $Q$ について構造制約が導かれる:
$$q_{ij} \ge 0 \; (i \ne j), \qquad q_{ii} = -\sum_{j \ne i} q_{ij}$$
この構造を持つ $Q$ を Q 行列（生成子行列、rate matrix） と呼ぶ。
オフ対角成分は遷移強度（速度定数）、対角成分はその状態からの脱出強度の負値。
条件の役割まとめ
条件 追加するステップ 何が得られるか ないと何が困るか
マルコフ性
①
Chapman-Kolmogorov: $P(s+t) = P(s)P(t)$
半群性が成立しない。$P(t)$ に記憶依存が残る
時間的斉次性
①
時刻依存性の消去 → $P(t)$ が $s,t$ でなく $t$ のみの関数
$P(t)$ が時刻によって変わり、解析が困難
標準性（連続性）
②
連続半群 → 病的解の排除
病的解（選択公理依存の非可測関数）が残る。exp にならない
有限状態空間
③
$Q = P'(0)$ が有界行列として存在
$Q$ が有界でなくなり、$e^{tQ}$ のマクローリン展開が発散しうる
確率行列性
⑥
Q-matrix 構造（オフ対角非負・行和ゼロ）
$Q$ は任意の行列のまま。遷移強度の解釈ができない
数学者向け口頭説明の推奨順序
半群性の確立 : マルコフ性 + 斉次性から $P(s+t) = P(s)P(t)$。「これは 1 パラメータ半群です」なぜ連続性が必要か : スカラーアナロジー（Cauchy 関数方程式の病的解）で動機づけ連続半群への格上げ : 標準性 $P(t) \to I$ を仮定 → $C_0$-半群生成子の存在 : 有限次元だから $Q = P'(0)$ が存在する。「Q はここで初めて登場します」Kolmogorov 方程式 : $P'(t) = QP(t)$、これは $Q$ を係数とする行列 ODE ですODE の解 : 解の一意性から $P(t) = e^{tQ}$。「exp はここで初めて出てきます」Q-matrix 構造 : 確率性から $q_{ij} \ge 0$、行和ゼロ → これを Q 行列と呼ぶ
一言まとめ : $P(t) = e^{Qt}$ という式は「Q を exp の肩に乗せた定義」ではない。
マルコフ性・連続性・有限次元という条件のもとで P(t) を微分すると Q が定義され、
K 方程式 $P'(t) = QP(t)$ の解として exp が現れる。Q が先、exp が後。
関連項目