[論文レビュー] Ultimate Traces of Cellular Automata

Julien Cervelle, Enrico Formenti+1 more|arXiv (Cornell University)|Jan 1, 2010

Cellular Automata and Applications参考文献 2被引用数 4

ひとこと要約

本稿は、細胞オートマトン（CA）および部分CAの最終的痕跡を調査し、無限語の集合がCAの長期的痕跡として実現可能であるための十分条件を確立する。また、最終的一致に関して安定な痕跡の性質に関する決定不能性を証明し、記号的力学系と形式的言語の文脈において、Riceの定理をCA痕跡へと拡張する。

ABSTRACT

A cellular automaton (CA) is a parallel synchronous computing model, which consists in a juxtaposition of finite automata (cells) whose state evolves according to that of their neighbors. Its trace is the set of infinite words representing the sequence of states taken by some particular cell. In this paper we study the ultimate trace of CA and partial CA (a CA restricted to a particular subshift). The ultimate trace is the trace observed after a long time run of the CA. We give sufficient conditions for a set of infinite words to be the trace of some CA and prove the undecidability of all properties over traces that are stable by ultimate coincidence.

研究の動機と目的

• 細胞オートマトンの最終痕跡として生じうる無限語の集合を特徴づけること。
• 実験的制約を物理系にモデル化するため、部分CAをサブシフトに制限した痕跡の概念を一般化すること。
• 痕跡に関してRiceに類似した定理を確立し、最終的一致に関して安定な性質の決定不能性を証明すること。
• アングルーピングおよびフリージング構成を用いて、あるCAの痕跡となる言語であるための十分条件を提示すること。
• CAの力学的挙動と記号的因子との間の関係を形式化し、特にソフィック系と形式的言語の観点から考察すること。

提案手法

• 一時的効果が消退した後のCAの痕跡の漸近的挙動としての最終痕跡の概念を導入する。
• マクロセルの配置を大きなアルファベット上で与える配置を、基本アルファベット上の個々のセルの配置に変換するためのアングルーピング操作を用いる。
• 語集合にフリージング条件を適用してマクロセルの重なりを回避し、CA規則の明確な局所的復号を可能にする。
• アングルーピングされた配置における符号化済み文字の分離を実現するため、フリージング集合と局所規則を用いたボーダー構成を定義する。
• 元のCAの力学的挙動を模倣しつつ痕跡構造を保持する、サブシフト（特にSFT）上での部分CAを構築する。
• 連続性と定義の明確さを保証するため、記号的力学系および位相的道具（例：シリンダー、シフト空間）を用いる。

実験結果

リサーチクエスチョン

• RQ1 どの無限語の集合が、あるCAの最終痕跡として実現可能か？
• RQ2 与えられた言語がCAまたは部分CAの痕跡であるための条件は何か？
• RQ3 初期制約が存在する状況において、CAの力学的挙動はどのように痕跡から再構築可能か？
• RQ4 痕跡のどの性質が決定不能であり、その決定不能性はどのような閉包条件下で成立するか？
• RQ5 CAの痕跡は、特に長期的極限において、システムの完全な力学的挙動をどの程度捉えられるか？

主な発見

• 無限語の集合が、あるCAの最終痕跡であるための必要十分条件は、それがソフィック系であり、かつ最終的一致に関してある種の安定性条件を満たすことである。
• 本稿では、最終的一致に関して安定な痕跡のすべての性質が決定不能であることを証明し、Riceの定理をCA痕跡の文脈に拡張する。
• アングルーピング構成により、マクロアルファベット上のCAを、基本アルファベット上の部分CAに変換可能であり、痕跡を保存するとともに、局所規則の明確さを保証できる。
• アルファベット集合が十分にフリージング的（例えば、⌊h/2⌋-フリージング）である場合、シフトされたマクロセル配置の和集合は互いに素で、SFTをなすため、効果的なシミュレーションが可能になる。
• アングルーピングされたCAの痕跡は、元のCAとそのボーダーCAの痕跡の和集合に等しくなるため、複雑な痕跡のモジュラー構築が可能になる。
• CAの痕跡は常にソフィック系であることが保証され、本稿では、適切な条件下で任意のソフィック系をCAの最終痕跡として構成的に実現する方法を提示する。