[論文レビュー] Commuting time geometry of ergodic Markov chains

Peter G. Doyle, Jean Steiner|arXiv (Cornell University)|Jul 13, 2011

Markov Chains and Monte Carlo Methods参考文献 2被引用数 6

ひとこと要約

本稿は、任意の一様連鎖の状態に対して、二乗距離が期待通행時間に等しくなるユークリッド埋め込みを確立する。通行時間のミニマックス特徴付けを導入し、時刻反転可能な連鎖から非反転可能な連鎖へと最小散逸原理を一般化する。また、遷移率を保ちながら平衡測度を調整できる「コンフォーマルに正しい」枠組みを構築する。

ABSTRACT

We show how to map the states of an ergodic Markov chain to Euclidean space so that the squared distance between states is the expected commuting time. We find a minimax characterization of commuting times, and from this we get monotonicity of commuting times with respect to equilibrium transition rates. All of these results are familiar in the case of time-reversible chains, where techniques of classical electrical theory apply. In presenting these results, we take the opportunity to develop Markov chain theory in a `conformally correct' way

研究の動機と目的

• 時間反転不可能な場合を含む一般の一様連鎖における通行時間の幾何的解釈を、時間反転可能な場合に限らない形で拡張すること。
• 遷移率を保ちながら平衡測度を変化させることを可能にする、一様連鎖のためのコンフォーマルに正しい枠組みを構築すること。
• 時間反転可能な場合に最小散逸原理に還元される通行時間のミニマックス特徴付けを確立すること。
• 任意の通行時間行列が時間反転可能な連鎖から生じるかどうかという問題を解決し、答えは「いいえ」であることを示すこと。
• ユークリッド埋め込みと双線形形式を用いた非反転連鎖の解析のための幾何的・代数的基盤を提供すること。

提案手法

• 任意の一様連鎖の状態を、状態 a と b 間の二乗距離が期待通行時間 T_ab に等しくなるユークリッド空間に埋め込むこと。
• 遷移率行列 Δ^ij と平衡測度を用いて、b でゼロで a で 1 に等しい関数の空間上の双線形形式 L(φ, ψ) を定義すること。
• ミニマックス原理を用いる：r_ab = 1/T_ab = min_α max_{φ+ψ=2α} L(φ, ψ)，ここで α, φ, ψ ∈ S_a,b（φ(a)=1, φ(b)=0 を満たす関数）。
• 時間反転可能な連鎖の場合、双線形形式 L(φ, ψ) は対称的になり、ミニマックスが最小化原理に簡略化される：r_ab = min_φ L(φ, φ)。
• 連鎖にコンフォーマル変換を適用し、遷移率を保ちながら平衡測度を変更する。これにより、反転可能・非反転可能な連鎖を統一的に取り扱える。
• コホモロジー的議論を用いて、反転不可能性の障害を、双線形形式の反対称部 Z_ij - Z_ji で特徴付ける。これは、連鎖が反転可能であるための必要十分条件である。

実験結果

リサーチクエスチョン

• RQ1 一般の一様連鎖の通行時間は、ユークリッド空間内の二乗距離として幾何的に実現可能か？
• RQ2 時間反転可能な連鎖における最小散逸原理を一般化する、通行時間のミニマックス特徴付けは存在するか？
• RQ3 任意の通行時間行列は、時間反転可能な連鎖によって実現可能か？
• RQ4 コンフォーマル変換は連鎖理論においてどのような役割を果たし、遷移構造を保ちながら平衡測度を変更するのか？
• RQ5 連鎖が時間反転可能でないことを示すコホモロジー的不変量は何か？

主な発見

• 任意の一様連鎖の状態は、二乗距離が状態 a と b 間の期待通行時間 T_ab に等しくなるユークリッド空間に埋め込める。
• 通行時間のミニマックス特徴付けが確立された：r_ab = 1/T_ab = min_α max_{φ+ψ=2α} L(φ, ψ)。これはすべての一様連鎖に適用可能である。
• 時間反転可能な場合、ミニマックスは最小散逸原理に還元され、古典的な電気的ネットワーク理論が回復される。
• 以前の主張「遷移率を増加させると常に通行時間が短縮される」を是正し、メリーゴーラウンド反例を用いて、非反転連鎖ではこれが成り立たないことを示した。
• すべての通行時間行列が時間反転可能な連鎖から生じるわけではない。Lyons と Perez による反例により、これは確認された。状態数が増加するにつれ、このような連鎖はまれである。
• 反転不可能性の障害は、反対称行列 Z_ij - Z_ji のコホモロジー類によって特徴付けられ、これは連鎖が反転可能であるための必要十分条件である。