[論文レビュー] Von Neumann Regularity, Split Epicness and Elementary Cellular Automata

Ville Salo|arXiv (Cornell University)|Apr 11, 2018

Cellular Automata and Applications参考文献 7被引用数 1

ひとこと要約

この論文は、混合型有限型符号的符号（SFT）上のセルオートマトンにおけるフォン・ノイマン正則性が、sofic符号とブロック写像の圏における像上でのsplit epicnessと同値であることを確立している。著者らは、圏論的手法と計算的・手作業的解析を組み合わせることで、基本的セルオートマトン（ECA）における正則性の決定可能性を証明し、これまで未解決であったすべてのケースを解決した：ECA 6, 7, 23, 33, 57, 77 は正則である。9, 27, 28, 41, 58 は正則でない。正則な規則に対しては弱逆写像が得られ、非正則性の証明には周期1の最終的周期的点が用いられた。

ABSTRACT

We show that a cellular automaton on a mixing subshift of finite type is a Von Neumann regular element in the semigroup of cellular automata if and only if it is split epic onto its image in the category of sofic shifts and block maps. It follows from [S.-Törmä, 2015] that Von Neumann regularity is decidable condition, and we decide it for all elementary CA.

研究の動機と目的

• 基本的セルオートマトン（ECA）のうち、どのものがフォン・ノイマン正則であるかを特定し、[1]における未解決問題を解消すること。
• 混合型SFT上のセルオートマトンについて、sofic符号とブロック写像の圏におけるフォン・ノイマン正則性とsplit epicnessの同値性を確立すること。
• 文献[8]のアルゴリズム的手法と手作業的・計算的解析を組み合わせることで、ECAにおけるフォン・ノイマン正則性の決定可能性を証明すること。
• 正則なECAに対して明示的な弱逆写像を提供し、他のECAの非正則性を、最終的周期的点を用いて証明すること。

提案手法

• 混合型SFT上のセルオートマトンについて、sofic符号とブロック写像の圏K3において、フォン・ノイマン正則性とsplit epicnessの同値性を証明すること。
• 拡張補題を用いて、CAの像上での任意の右逆写像が全空間へ拡張可能であることを示し、これにより決定可能性がアルゴリズム的に可能となることを保証すること。
• [8]の手法を適用してsplit epicnessを決定する。これはsofic符号間の準同型に関して既に決定可能であることが知られている。
• SAGEを用いたコンピュータ支援探索により、ECAの像を計算し、その像に含まれる禁止パターンを検証すること。
• ペンと紙による解析により、[8]の強い周期的点条件を確認し、特に周期1の点を重点的に用いて非正則性を反証すること。
• 16進数表記で「最初に適用されるケース」のルール形式を用いて弱逆写像を提示し、閉包集合を標準形（論理和標準形）で表現すること。

実験結果

リサーチクエスチョン

• RQ1 基本的セルオートマトンのうち、どのものがフォン・ノイマン正則であるか。特に[1]で未解決であった11のケースを解消すること。
• RQ2 混合型SFT上のセルオートマトンにおけるフォン・ノイマン正則性は決定可能か。
• RQ3 sofic符号の圏における像上でのsplit epicnessが、このようなCAについてフォン・ノイマン正則性と一致するか。
• RQ4 正則なECAに対して弱逆写像を構成可能か。また、その最小半径または複雑さは何か。
• RQ5 ECAの像の構造的性質（例：SFT対正則sofic）は、非正則性の証明にどのように利用できるか。

主な発見

• ECA 6, 7, 23, 33, 57, 77 はフォン・ノイマン正則であり、半径5以下の弱逆写像が存在する。
• ECA 9, 27, 28, 41, 58 は、周期1の最終的周期的点を用いた強い周期的点条件における矛盾により非正則であることが示された。
• ECA 9, 27, 28, 41, 58 の像は正則sofic符号であるが、これは非正則性に寄与している（ただし、これだけでは十分ではない）。
• ECA 57について、半径3での逆写像構成において矛盾が生じたため、現在の半径が最適である可能性があるが、これは厳密に確認されていない。
• ECA 6の逆写像の16進数表記は、事前にその構造を予期せぬコンピュータ探索によって驚くべき規則性が発見された。
• 著者らは、手作業での適用を想定して、16進数表記および論理和標準形で表現された、標準的でコピー＆ペースト可能な弱逆写像の表現を提供している。