[论文解读] Some Algebraic Properties Of Linear Synchronous Cellular Automata

Sreeya Ghosh, Sumita Basu|arXiv (Cornell University)|Aug 30, 2017

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

一句话总结

本文研究一维线性同步细胞自动机（CA）的代数性质，重点关注局部转移函数与全局转移函数之间的关系。证明了左移和右移CA是可逆的，并表明在相同状态集上，由恒等、左移和右移CA组成的集合在复合运算下构成阿贝尔群，从而为线性CA建立了基础代数结构。

ABSTRACT

Relation between global transition function and local transition function of a homogeneous one dimensional cellular automaton (CA) is investigated for some standard transition functions. It could be shown that left shift and right shift CA are invertible. The final result of this paper states that the set of all left and right shift CA together with the identity CA on the same set forms an abelian group.

研究动机与目标

• 分析一维同质线性细胞自动机中局部转移函数与全局转移函数之间的关系。
• 研究标准CA的可逆性，特别是移位操作。
• 在具有相同状态集的所有CA集合上定义二元运算，并研究其代数性质。
• 建立恒等、左移和右移CA在复合运算下构成阿贝尔群的结论。
• 使用群论为线性同步CA提供一个正式的代数框架。

提出的方法

• 使用有限状态集Q、全局配置Q^Z和全局转移函数τ，对细胞自动机进行形式化定义。
• 基于邻域半径r和状态转移，定义局部转移函数μ_i。
• 将全局转移函数的复合定义为二元运算∗，其定义为(τ₁ ∗ τ₂)(C) = τ₁(τ₂(C))。
• 证明在∗运算下，全局转移函数集合具有封闭性、结合性及单位元性质。
• 通过函数复合证明m位左移和右移函数互为逆函数。
• 应用群论证明恒等、左移和右移CA在∗运算下构成阿贝尔群。

实验结果

研究问题

• RQ1 在一维线性同步细胞自动机中，全局转移函数与局部转移函数之间有何关系？
• RQ2 哪些标准细胞自动机（如移位操作）是可逆的，其逆函数是什么？
• RQ3 在具有相同状态集的所有CA集合上定义的二元运算是否能形成群结构？
• RQ4 移位函数复合运算具有哪些代数性质，如交换性和封闭性？
• RQ5 恒等、左移和右移CA的集合在函数复合下是否构成群？

主要发现

• m位左移CA是可逆的，其逆为m位右移CA，反之亦然。
• 所有左移和右移CA与恒等CA组成的集合在函数复合下构成阿贝尔群。
• 由全局转移函数复合定义的二元运算∗在固定状态集的所有CA集合上是封闭且结合的。
• 恒等CA在二元运算∗下充当单位元。
• 由恒等、左移和右移CA构成的群是阿贝尔群，因为移位函数的复合是可交换的。
• 对于二值CA，其互补转移函数是自身的逆，从而在∗运算下构成一个最小的非平凡群。