[论文解读] The Garden of Eden theorem: old and new

Tullio Ceccherini‐Silberstein, Michel Coornaert|arXiv (Cornell University)|Jul 27, 2017

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

一句话总结

本文对阿贝尔群上的细胞自动机与动力系统中的花园之国定理及其推广进行了全面综述。它证明了在可温群上，细胞自动机的满射性等价于预单射性——将经典的Moore-Myhill定理从ℤᵈ推广至所有可温群，关键结果涉及熵、同调性以及代数平均维数。

ABSTRACT

We review topics in the theory of cellular automata and dynamical systems that are related to the Moore-Myhill Garden of Eden theorem.

研究动机与目标

• 将经典的花园之国定理从ℤᵈ推广至一般可温群，实现统一与拓展。
• 阐明可温性在决定细胞自动机中满射性是否蕴含预单射性时所起的作用。
• 将该定理推广至子移位、代数动力系统以及双曲动力系统。
• 探讨熵、平均维数与花园之国配置存在性之间的相互作用。
• 提供一份自包含的参考文献，通过花园之国定理的视角，将细胞自动机、群论与动力系统联系起来。

提出的方法

• 使用Følner网与基于熵的论证，将花园之国定理推广至可数可温群。
• 应用Curtis-Hedlund-Lyndon定理，通过连续性与等变性来刻画细胞自动机。
• 引入代数平均维数作为可温群上代数细胞自动机的关键不变量。
• 在Gromov的推广中，利用具有有界传播性的稳定空间与稠密全纯性概念，应用于单纯图。
• 借助同调性与强不可约性，将结果扩展至子移位与扩张系统。
• 利用预单射性与可相互擦除的模式概念，刻画满射性。

实验结果

研究问题

• RQ1 在哪些群上，花园之国定理（即满射性当且仅当预单射性）成立？
• RQ2 熵与平均维数如何与细胞自动机中花园之国配置的存在性相关联？
• RQ3 花园之国定理能否推广至代数细胞自动机与主代数动力系统？
• RQ4 可温性在非可温群上导致花园之国定理失效或成立的过程中起什么作用？
• RQ5 Gromov对定理的推广在可温单纯图上的具有有界传播性的稳定空间上能多大程度上适用？

主要发现

• 花园之国定理对所有可温群成立，对非可温群则不成立，此结论由Bartholdi与Kielak证明。
• 在可温群上，细胞自动机的满射性等价于预单射性，这推广了原始的Moore-Myhill定理在ℤᵈ上的结果。
• 在可温群上的代数细胞自动机中，满射性等价于（仔细）预单射性，该结论通过代数平均维数量化形式化。
• Gromov的推广将定理扩展至可温单纯图上具有有界度与稠密部分等距群的有界传播性稳定空间。
• 该定理对具有相等熵的强不可约、有限型子移位成立，且在有界传播性与稠密全纯性映射下成立。
• 满足花园之国定理的群类恰好是可温群类，从而解决了Schupp提出的一个长期悬而未决的问题。