[論文レビュー] Construction of $μ$-Limit Sets

Laurent Boyer, Martin Delacourt+1 more|arXiv (Cornell University)|Dec 3, 2010

Cellular Automata and Applications被引用数 5

ひとこと要約

本稿では、カウンタベースの初期化とセグメント結合を用いて、一般の配置から生成される再帰的可算な部分符号の和集合を正確に再現するμ極限集合を有する細胞オートマトンを構築する。主な貢献は、従来の極限集合では到達不可能であったすべての推移的ソフィック部分符号—特に偶数部分符号のようなもの—を、一様ベルヌーイ測度下でのμ極限集合として再現可能である点にある。

ABSTRACT

The $μ$-limit set of a cellular automaton is a subshift whose forbidden patterns are exactly those, whose probabilities tend to zero as time tends to in- finity. In this article, for a given subshift in a large class of subshifts, we propose the construction of a cellular automaton which realizes this subshift as $μ$-limit set where $μ$ is the uniform Bernoulli measure.

研究の動機と目的

• 一様ベルヌーイ測度下での細胞オートマトンのμ極限集合として現れる部分符号を特徴づけるギャップを埋める。
• 古典的極限集合が排除する特定のソフィック部分符号（例えば偶数部分符号）を含む、そのような制限を克服する。
• 一般の配置から生成される再帰的可算な部分符号の和集合—特に広範なクラスの部分符号—をμ極限集合として構成的に再現する方法を提供する。
• 初期状態がランダムであるにもかかわらず、ターゲット部分符号のすべての語がμ極限集合に正の密度で出現することを保証する。

提案手法

• ランダムな初期状態からの大部分の情報を消去するカウンタを用いて、時間の経過とともにエントロピーを低下させる。
• 隣接するセグメントを検出し、セグメントサイズと2進表現に基づいて、結合を調整するための信号を結合層に使用する。
• セグメントサイズが$n$である場合、毎$2(n^2 + n)$ステップごとに、セグメント同士が結合を試みるサイクル的結合プロトコルを実装する。
• 2つの同じサイズのセグメントが同期している場合にのみ結合が行われるよう保証し、過早または非対称な結合を防ぐ。
• セグメントサイズ$n$を$\log n$の空間で2進表現で格納し、$n^2$ステップの遅延を用いて、異なるサイズのセグメントがサイクル中に必ず出会い、結合が可能になるように保証する。
• セグメント内での計算が完了すると、信号が伝播して隣接セグメントとの結合を提案し、両方のセグメントが共有する$\#$に同時にマーク（$L$および$R$）を置いた場合にのみ結合が行われる。

実験結果

リサーチクエスチョン

• RQ1 一様ベルヌーイ測度下での細胞オートマトンのμ極限集合として現れる部分符号はどれか？
• RQ2 古典的極限集合では除外されるが、μ極限集合として再現可能かどうか、推移的ソフィック部分符号は再現可能か？
• RQ3 初期状態がランダムであるにもかかわらず、ターゲット部分符号のすべての語がμ極限集合に正の密度で出現することを保証する細胞オートマトンの構成方法は何か？
• RQ4 どのようなメカニズムにより、オートマトンはターゲット部分符号の言語を保持しながら、動的にセグメントを拡大・結合できるか？
• RQ5 一様測度下で時間の経過とともにターゲット部分符号の禁止パターンが確率的に消滅するような細胞オートマトンを構築可能か？

主な発見

• 構築されたオートマトン$\mathcal{A}_S$のμ極限集合は、再帰的可算な族に属するすべての部分符号の和集合の閉包$\overline{\bigcup_{i\in\mathbb{N}}\Sigma_i}$に正確に一致する。
• すべての推移的ソフィック部分符号—例えば古典的極限集合では再現不可能な偶数部分符号を含む—がμ極限集合として再現可能である。
• 異なるサイズのセグメントは、$n^2$ステップの遅延により、最終的に結合する。これは、大きなセグメントのサイクルが完了する前に、小さなセグメントの信号がブロックされないよう保証する。
• 有限サイズのセグメントに対しては、結合プロトコルが常に終了するため、μ極限集合に有限サイズのセグメントは存在しない。
• 構成法により、ターゲット部分符号のすべての語がμ極限集合に正の密度で出現することが保証され、これによりμ極限集合がターゲット部分符号と一致する。
• オートマトンの挙動は頑健である：複数のセグメントが同時に形成されても、結合プロトコルにより、すべてのセグメントが最終的により大きなものに結合され、有限配置の長期的存続を防ぐ。