[論文レビュー] Characterisation of sets of limit measures after iteration of a cellular automaton on an initial measure

Benjamin Hellouin de Ménibus, Mathieu Sablik|arXiv (Cornell University)|Jan 9, 2013

Cellular Automata and Applications参考文献 16被引用数 6

ひとこと要約

この論文は、ランダムな初期測度上で反復的に作用する細胞オートマトンによって到達可能な極限測度の集合を特徴づけ、トポロジカルおよび計算的制約を同定する。連結性および全サポート条件の下で、これらの制約を満たす任意の計算可能で測度の集合が、補助状態を用いた細胞オートマトンによって実現可能であることを証明する。さらに、Cesàro平均収束および測度集合への計算可能関数への拡張も含む。

ABSTRACT

The asymptotic behavior of a cellular automaton iterated on a random configuration is well described by its limit probability measure(s). In this paper, we characterize measures and sets of measures that can be reached as limit points after iterating a cellular automaton on a simple initial measure, in the same spirit as SRB measures. In addition to classical topological constraints, we exhibit necessary computational obstructions. With an additional hypothesis of connectivity, we show these computability conditions are sufficient by constructing a cellular automaton realising these sets, using auxiliary states in order to perform computations. Adapting this construction, we obtain a similar characterization for the Cesàro mean convergence, a Rice theorem on the sets of limit points, and we are able to perform computation on the set of measures, i.e. the cellular automaton converges towards a set of limit points that depends on the initial measure. Last, under non-surjective hypotheses, it is possible to remove auxiliary states from the construction.

研究の動機と目的

• ランダムな初期測度上で反復作用する細胞オートマトンの極限点として生じる確率測度の集合を特徴づける。
• 極限点として実現可能な測度の集合を制御する、トポロジカル制約を超える必要十分な計算的障害を同定する。
• 連結性および全サポート仮定の下で、与えられた任意の計算可能な測度の集合が、その極限集合として実現可能な細胞オートマトンを構築する。
• Cesàro平均収束および初期測度から対応する極限集合への関数への拡張を含む、特徴づけの拡張。
• 非全射性の仮定の下で、補助状態を削除可能であり、元のアルファベット内での構成が可能であることを示す。

提案手法

• 先行研究にインspiredされたセグメンテーションおよびフォーマット技術を用いて、配置空間を局所的計算に適したセグメントに分割する。
• 周期的軌道に支持を持つ計算可能な多角形パスを用いて、測度列の進化をモデル化する。
• 制御されたマージングを通じてセグメント間の操作を同期化し、望ましい極限集合への収束を保証する。
• セグメント内での計算を可能にするために補助状態を導入し、複雑な極限測度集合の構築を可能にする。
• 時間的平均化により、画像測度列のCesàro平均収束を実現するための構成を適応する。
• 測度のサポートの構造的性質を活用して、非全射性仮定の下で補助状態を削除する。

実験結果

リサーチクエスチョン

• RQ1 ランダムな初期測度上で反復作用する細胞オートマトンの極限点として生じる確率測度の集合は、どのようなものか？
• RQ2 極限集合の実現可能性を制御する、トポロジカル制約を超える必要十分な計算的障害は何か？
• RQ3 識別された制約を満たす任意の計算可能な測度の集合が、細胞オートマトンによって極限集合として実現可能か？
• RQ4 構成はCesàro平均収束に適応可能か？また、これにより特徴づけにどのような影響があるか？
• RQ5 非全射性などの追加仮定の下で、構成から補助状態を削除可能か？

主な発見

• シフト混合かつ全サポートを持つ初期測度上で作用する細胞オートマトンの極限測度集合は、トポロジカルおよび計算的条件の両方によって制約を受ける。
• 連結性および全サポート仮定の下で、必要な計算的障害を満たす任意の計算可能な測度の集合が、ある細胞オートマトンの極限集合として実現可能である。
• 構成では補助状態を用いてセグメント内での計算を実行し、セグメントの同期的マージングにより収束を保証する。
• Cesàro平均収束の下でも、同様の特徴づけが成り立ち、極限集合は再び計算可能性およびトポロジカル制約によって決定される。
• 非全射性仮定の下では、構成を変更して補助状態を削除可能であり、元のアルファベットのみを用いて構築可能である。
• 本論文は、極限点集合に対するRice型定理を確立し、初期測度から対応する極限集合への写像が計算可能であり、細胞オートマトンによって実現可能であることを示している。