[论文解读] 2D cellular automata: dynamics and undecidability

Enrico Formenti, Alberto Dennunzio+1 more|ArXiv.org|Jun 4, 2009

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

一句话总结

本文引入了准扩张性（quasi-expansivity）和准敏感性（quasi-sensitivity）作为二维细胞自动机（2D CA）的新型动力学性质，将一维CA中的概念扩展至高维。通过切片构造法，证明了准扩张性2D CA具有无限的拓扑熵，并建立了准敏感性与准几乎等连续性之间的二分性。关键的是，本文证明了2D CA中闭合性（closingness）性质的不可判定性，纠正了先前文献中的错误，并凸显了其与一维CA之间关键的维度相关性差异。

ABSTRACT

In this paper we introduce the notion of quasi-expansivity for 2D CA and we show that it shares many properties with expansivity (that holds only for 1D CA). Similarly, we introduce the notions of quasi-sensitivity and prove that the classical dichotomy theorem holds in this new setting. Moreover, we show a tight relation between closingness and openness for 2D CA. Finally, the undecidability of closingness property for 2D CA is proved.

研究动机与目标

• 将扩张性与敏感性等动力学概念从一维扩展至二维细胞自动机，因为在高维中经典概念不适用。
• 解决尽管二维CA应用广泛，但其动力学行为缺乏系统研究的问题。
• 通过引入准敏感性，解决在二维CA中经典敏感性与等连续性之间的二分性失效问题。
• 证明二维CA中闭合性性质的不可判定性，纠正文献中先前的错误。

提出的方法

• 通过ℤ²中的方向向量ν引入准扩张性概念，推广正扩张性，基于方向动力学。
• 采用切片构造法，将沿方向ν的二维CA动力学简化为一系列配置上的一维CA动力学。
• 利用切片系统与一维子移位系统之间的拓扑共轭关系，分析熵与动力学性质。
• 应用基于铺砌的构造法与填充平面的曲线，推广Kari的方法，证明闭合性的不可判定性。
• 借助符号动力学中的结果（如双闭蕴含开映射），推导结构性质。
• 通过切片方法建立准几乎等连续性与准敏感性之间的二分性。

实验结果

研究问题

• RQ1 在二维细胞自动机中，扩张性概念能否被有意义地推广，尽管正扩张性并不存在？
• RQ2 当通过切片方法重新定义敏感性时，敏感性与等连续性之间的二分性是否仍存在于二维CA中？
• RQ3 二维CA中闭合性与开性之间存在何种关系？其行为是否与一维CA一致？
• RQ4 二维CA中闭合性性质是否可判定？与一维CA中可判定的情形相比有何差异？
• RQ5 准扩张性二维CA的拓扑熵是多少？其是否反映无限复杂性？

主要发现

• 准扩张性二维CA存在，并与正扩张性一维CA共享关键性质，如无限拓扑熵。
• 任何准扩张性二维CA的拓扑熵均为无限，该结论通过与熵递增的一维子移位系统的共轭关系得以证明。
• 准几乎等连续性与准敏感性之间存在二分性：二维CA是准几乎等连续的，当且仅当其不是准敏感的。
• 双闭二维CA是开映射，且作为推论，准扩张性二维CA也被证明是开映射。
• 二维CA中闭合性性质不可判定，该结论纠正了文献中先前的错误，并确立了维度相关的根本性差异。
• 不可判定性证明基于Kari方法的广义铺砌构造，确认了二维CA动力学的复杂性。