[論文レビュー] Markovianity of the invariant distribution of probabilistic cellular automata on the line

Jérôme Casse, Jean‐François Marckert|arXiv (Cornell University)|Jan 21, 2014

Cellular Automata and Applications参考文献 29被引用数 7

ひとこと要約

本稿は、整数直線 ℤ および周期的直線 ℤ/nℤ における2近傍ルールを有する確率的セルオートマトン（PCA）の遷移行列について、その完全な特徴付けを提供する。特に、不変分布がマルコフ的である条件を同定する。先行研究の二値ケース（κ=1）から一般の有限アルファベット（κ≥2）へと拡張し、不変測度がマルコフ的であるための必要十分条件として、導出された行列のペロン＝フロベニウス固有ベクトルを含むある行列の可換性条件が成り立つことであることを示した。

ABSTRACT

We revisit the problem of finding the conditions under which synchronous probabilistic cellular automata indexed by the line $\\mathbb{Z}$, or the periodic line $\\cyl{n}$, depending on 2 neighbours, admit as invariant distribution the law of a space-indexed Markov chain. Our advances concerns PCA defined on a finite alphabet, where most of existing results concern size 2 alphabet. A part of the paper is also devoted to the comparison of different structures ($\\mathbb{Z}$, $\\cyl{n}$, and also some structures constituted with two consecutive lines of the space time diagram) with respect to the property to possess a Markovian invariant distribution.

研究の動機と目的

• 整数直線 ℤ もしくは ℤ/nℤ 上の同期的確率的セルオートマトン（PCA）の不変分布が空間的インデックスに関してマルコフ的である条件を同定すること。
• 従来の結果（主に二値ケース、κ=1 に限る）を、サイズ κ≥2 の有限アルファベットを持つPCAへと拡張すること。
• 空間的インデックスに関するマルコフ的不変性の構造的要件を、異なる基盤グラフ（ℤ、ℤ/nℤ、および時空図における水平ジグザグ構造）の間で比較すること。
• 遷移行列 T および関連するペロン＝フロベニウス固有ベクトルを用いて、マルコフ的不変分布の存在に対する完全かつ明示的な基準を提示すること。

提案手法

• 配置空間 E_κ^ℤ 上のマルコフ連鎖としてPCAを定義し、局所的遷移が2近傍の情報に依存する遷移行列 T を用いる。
• 遷移確率 T に基づいて導出された行列 D^η および U^η を導入し、ペロン＝フロベニウス理論を用いてそのスペクトル的性質を分析する。
• D^γU^γ = U^γD^γ を満たすことが、マルコフ的不変分布の存在に必要な十分条件であることを確立する。ここで γ は、行列 X の正規化されたペロン＝フロベニウス左固有ベクトルであり、X_{a,b} = T_{a,a|0} ν_a / T_{a,b|0} γ_a で定義される。
• 行列の可換性および固有ベクトルの正規化を用いて、不変測度が γ（行列 X のペロン＝フロベニウス左固有ベクトル）として一意に定まることを導出する。
• 周期的ケース ℤ/nℤ への適用のために、同じ行列の可換性条件に加え、正則性および不可約性の仮定を満たすことで、一意な不変マルコフ測度の存在が保証されることを検証する。
• κ=1 の場合、条件 D^γU^γ = U^γD^γ は対角成分の等しさに帰着され、特徴付けが簡略化されるが、κ≥2 の一般の場合には完全な行列の可換性が必要である。このため、対角成分および固有ベクトルの整合性に関する追加的解析を要する。

実験結果

リサーチクエスチョン

• RQ1 有限アルファベット E_κ を持つPCAが整数直線 ℤ 上で定義される場合、遷移行列 T がどのような条件下でマルコフ的不変分布を有するか？
• RQ2 無限直線 ℤ と有限周期的直線 ℤ/nℤ の間で、マルコフ的不変分布の要件にどのような差が生じるか？
• RQ3 遷移行列 T が空間的につながるマルコフ連鎖の不変測度を保証するための構造的性質は何か？また、それらはアルファベットサイズ κ にどのように依存するか？
• RQ4 二値ケース（κ=1）におけるマルコフ的不変性の特徴付けを、一般の有限アルファベット（κ≥2）へと拡張可能か？また、新たな数学的条件は何か？
• RQ5 時空図における水平ジグザグ構造などの異なる基盤グラフは、マルコフ的不変分布の実現可能性にどのような違いをもたらすか？

主な発見

• PCA が ℤ もしくは ℤ/nℤ 上で定義される場合、不変分布がマルコフ的であるための必要十分条件は、γ が行列 X の正規化されたペロン＝フロベニウス左固有ベクトルであるとき、行列 D^γ と U^γ が可換であること、すなわち D^γU^γ = U^γD^γ が成り立つことである。ここで X_{a,b} = T_{a,a|0} ν_a / T_{a,b|0} γ_a で定義される。
• κ=1 の場合、条件 D^γU^γ = U^γD^γ は対角成分の等しさに帰着され、特徴付けが簡略化されるが、κ≥2 の一般の場合には完全な行列の可換性が必要となる。
• 一意な不変測度は、遷移行列 T および別の行列 Y のペロン＝フロベニウス固有ベクトル ν から導出される行列 X の正規化されたペロン＝フロベニウス左固有ベクトル γ として与えられる。
• 証明により、詳細バランス条件から導かれる方程式系の任意の解 η は γ に等しいことが示され、不変マルコフ測度の一意性が保証される。
• 一般の場合 κ≥2 において、条件 D^γU^γ = U^γD^γ は、マルコフ的不変分布の存在にとって必要かつ十分である。これは、従来の κ=1 に限る結果を拡張するものである。
• 本稿は、基盤グラフの構造（例：ℤ、ℤ/nℤ、または時空図におけるジグザグ構造）がマルコフ的不変性の実現可能性に顕著な影響を及ぼすことを確認した。各々の状況で、異なる条件が導かれる。