[論文レビュー] Construction of local structure maps for cellular automata

Henryk Fukś|arXiv (Cornell University)|Apr 30, 2013

Cellular Automata and Applications被引用数 8

ひとこと要約

本稿は、セルフオートマトンの局所構造理論を形式化し、具体的には $(N-1)N^k$ 次元の低次元写像を構築することで、シフト不変測度のセルフオートマトンルール下での進化を近似する。この近似軌道が $k$ が増加するにつれて正確な軌道に弱収束することを証明し、これまで主にシミュレーションによって用いられてきた手法に厳密な基礎を提供する。

ABSTRACT

The paper formalizes and extends the idea of local structure approximation for cellular automata originally proposed by Gutowitz et. al. We start with a review of the construction of a probability measure on the set of bi-infinite strings over a finite alphabet of $N$ symbols. We then demonstrate that for a shift-invariant probability measure, probabilities of all blocks of length up to $k$ can be expressed by $(N-1)N^{k-1}$ linearly independent block probabilities. Two choices of these independent blocks are discussed in detail, one in which we choose the longest possible blocks ("long form") and one in which we choose the shortest possible blocks ("short form"). We then proceed to review the method which allows to approximate probabilities of blocks longer than $k$ by blocks of length $k$ or less. This approximation, known as Bayesian extension or Markov measure, is then used to construct approximate orbits of shift-invariant probability measures under the action of probabilistic or deterministic cellular automaton. We show that the aforementioned approximate orbit is completely determined by an $(N-1)N^{k-1}$-dimensional map. When the short form of block probabilities is used, this map takes particularly simple form, often revealing important features of a particular cellular automaton.

研究の動機と目的

• セルフオートマトンの局所構造理論を、厳密な数学的枠組みで形式化すること。
• モンテカルロシミュレーションや数値近似に依存していた分野において、形式的解析の欠如を是正すること。
• セルフオートマトンの下でシフト不変測度の軌道を近似する低次元写像を構築すること。
• ブロックサイズ $k$ が増加するにつれて、低次元写像によって生成される近似軌道が、正確な軌道に弱収束することを証明すること。
• 理論的測度論的力学系と、セルフオートマトンにおける実用的近似手法との橋渡しをすること。

提案手法

• シリンダーセットとハーン＝コルモゴロフ拡張定理を用いて、${\rm \tilde{A}}^\mathbb{Z}$ 上のシフト不変ボレル測度を構築する。
• 長さ $k$ までのすべての語のブロック確率を定義し、それが $(N-1)N^k$ 個の線形独立な確率で張られることを示す。
• 「長い形式」と「短い形式」の2つのパrameterizationを導入し、ブロック確率の効率的計算を可能にする。
• 最大エントロピー拡張原理を適用して、ブロック確率から全測度を再構成し、一貫性とエントロピーの最大化を保証する。
• セルフオートマトンルール下でブロック確率を反復的に進化させる $(N-1)N^k$ 次元の実写像として、局所構造写像を構築する。
• 弱-$\star$位相において、$k \to \infty$ のとき、近似軌道が正確な軌道に弱収束することを示す。

実験結果

リサーチクエスチョン

• RQ1 局所構造理論は、理論的解析を支援する厳密な数学的基盤を備えた形式的枠組みとして構築可能か？
• RQ2 低次元の局所構造写像は、与えられた初期測度の下でセルフオートマトンの正確な軌道とどのように関係するか？
• RQ3 ブロックサイズ $k$ が増加するにつれて、局所構造写像によって生成される近似軌道は、正確な軌道に弱収束するか？
• RQ4 加法的不変量のようなグローバル不変量は、局所構造近似に保存されるか？
• RQ5 ノイロパシー性や等連続性といった他の力学的性質は、正確な系から局所構造写像に引き継がれるか？

主な発見

• 長さ $k$ までのブロック確率の空間は、$(N-1)N^k$ 個の線形独立な確率で張られ、低次元表現が可能である。
• ブロック確率の最大エントロピー拡張は、一貫性がありエントロピーを最大化する測度をもたらし、全測度を近似する原理的かつ整合的な方法を提供する。
• 局所構造写像は、$(N-1)N^k$ 次元の実写像であり、セルフオートマトンルール下でブロック確率を反復的に進化させる。
• $k$ が増加するにつれて、近似軌道の各点が、弱-$\star$ 位相において正確な軌道の対応する点に弱収束する。
• 局所構造写像は正確な軌道からの加法的不変量を引き継ぎ、特定のグローバル力学的特徴の保存を示唆する。
• ルール184に対して、局所構造写像は $P_n(00)$ の極限値を正しく再現し、既知の正確な結果と整合性を確認している。