[論文レビュー] A family of weakly universal cellular automata in the hyperbolic plane with two states

Maurice Margenstern|arXiv (Cornell University)|Feb 8, 2012

Cellular Automata and Applications参考文献 13被引用数 5

ひとこと要約

本稿は、p ≥ 13 に対して、{p,3} グリッド上での超曲面平面における弱い普遍性を有するセルオートマトンの族を構築する。2状態の平面鉄道モデルを用い、回転不変ルール集合により2レジスタ機械をシミュレートすることで普遍性を達成する。変化する細胞の集合は平面グラフを形成し、超曲面平面における最小の2状態解となる。

ABSTRACT

In this paper, we construct a family of weakly universal rotation invariant cellular automaton for all grids $\{p,3\}$ of the hyperbolic plane for $p\geq 13$. The scheme is general for $p\geq 17$ and for $13\leq p<17$, we give such a cellular automaton for $p=13$, which is enough. Also, an important property of this family is that the set of cells of the cellular automaton which are subject to changes is actually a planar set. The problem for $p<13$ for a truly planar construction is still open. The best result, for $p=7$, is four states and was obtained by the same author.

研究の動機と目的

• 超曲面平面で2状態のみを用い、真に平面的構成で普遍性を達成する弱い普遍セルオートマトンを構築すること。
• 4状態から2状態に状態数を削減しながらも平面性を保ちつつ、超曲面セルオートマトンにおける普遍性に関する先行結果を拡張すること。
• 特に p ≥ 13 に対する {p,3} テイリングにおいて、平面的2状態普遍性の未解決問題を解決すること。
• p ≥ 17 に対して一様なルール集合を提供し、p = 13 に対しては特定の構成を提示することで、p ≥ 13 全体の族を完成させること。
• 変化する細胞の集合が無限個のサイクルを持つ平面グラフを形成することを示し、空間的整合性を保証するとともに3次元埋め込みを回避すること。

提案手法

• 鉄道モデルを用いて2レジスタ機械をシミュレートし、レール、スイッチ（固定型、フラップフォップ型、メモリ型）、信号伝播を用いて計算を符号化する。
• 3次元ブリッジに代わる、円形交差点（ラウンドアバウト）を用いた新規な平面的交差機構を導入し、超曲面平面における2状態の普遍性を実現する。
• 文脈に依存する状態遷移に基づく回転不変ルール集合を用い、状態を B（黒）および W（白）として符号化する。
• 信号伝播は、レールに沿って移動する粒子によって管理され、スイッチからのフラッシュ信号を用いてメモリ状態と制御論理を更新する。
• 有限の初期構成が用いられ、2本の放射線に沿って最終的に周期的となる。無限のサポートは、活性な計算経路でのみ発生する。
• Z1, D1, H, K などの主要部品に対して、信号伝送および状態遷移の正しく動作するよう、ルールを体系的に導出する。

実験結果

リサーチクエスチョン

• RQ1 超曲面平面で2状態のみを用い、真に平面的構成を維持した弱い普遍セルオートマトンを構築可能か？
• RQ2 平面的超曲面セルオートマトンにおける普遍性に必要な最小状態数は何か？4状態未満で達成可能か？
• RQ3 3次元埋め込みや追加状態を用いずに、平面的超曲面グリッド上での信号交差をどのように実装できるか？
• RQ4 {p,3} テイリングにおける超曲面平面で、2状態の弱い普遍セルオートマトンが可能な p の値は何か？
• RQ5 p ≥ 17 のすべての {p,3} テイリングに対して、一様なルール集合を定義可能か？一致する普遍性を保証できるか？

主な発見

• すべての p ≥ 13 に対して、超曲面平面の {p,3} テイリングで2状態の弱い普遍セルオートマトンが構築された。
• 計算中に状態が変化する細胞の集合は、無限個のサイクルを持つ平面グラフを形成しており、構成の空間的平面性が確認された。
• p ≥ 17 に対して、一様な回転不変ルール集合が提供され、すべてのこのようなテイリングで同一のルールセットが使用可能となった。
• p = 13 に対しては特定の構成が提示され、p ≥ 13 全体の族を完成させるのに十分であり、低次の p では一様性が欠けるものの問題を解決した。
• 鉄道モデルが超曲面平面に適応され、3次元埋め込みを回避する新規な平面的交差機構（ラウンドアバウト）を用いて成功した。
• ルールセットの一貫性、信号伝播および状態遷移の正しさを確認するため、コンピュータプログラムによる検証が実施され、正当性が裏付けられた。