[论文解读] Topological transitivity of group cellular automata is decidable

Niccolò Castronuovo, Alberto Dennunzio+1 more|arXiv (Cornell University)|Jan 22, 2026

Cellular Automata and Applications被引用 0

一句话总结

本文证明任意维度下对任意有限群的群型蜂群自动机的拓扑的遍历性是可判定的，并推导出相关动力学性质的可判定性。

ABSTRACT

Topological transitivity is a fundamental notion in topological dynamics and is widely regarded as a basic indicator of global dynamical complexity. For general cellular automata, topological transitivity is known to be undecidable. By contrast, positive decidability results have been established for one-dimensional group cellular automata over abelian groups, while the extension to higher dimensions and to non-abelian groups has remained an open problem. In this work, we settle this problem by proving that topological transitivity is decidable for the class of $d$-dimensional ($d\geq 1$) group cellular automata over arbitrary finite groups. Our approach combines a decomposition technique for group cellular automata, reducing the problem to the analysis of simpler components, with an extension of several results from the existing literature in the one-dimensional setting. As a consequence of our results, and exploiting known equivalences among dynamical properties for group cellular automata, we also obtain the decidability of several related notions, including total transitivity, topological mixing and weak mixing, weak and strong ergodic mixing, and ergodicity.

研究动机与目标

• 将拓扑遍历性作为蜂群自动机全球动力学复杂性的关键指标加以动机化。
• 提出一种分解技术，通过言语子群保持拓扑遍历性。
• 为阿贝尔与非阿贝尔群的群型蜂群自动机提供拓扑遍历性的判定程序。
• 证明拓扑遍历性在群型蜂群自动机中蕴含若干相关动力学性质。
• 建立一个明确的算法，决定任意有限群的群型蜂群自动机的拓扑遍历性。

提出的方法

• 引入 VerbalDecomposition 通过对言语子群进行商同态来将群型蜂群自动机分解。
• 证明跨分解的遍历性保持性（定理1）。
• 在阿贝尔情形下，利用多元 Laurent 多项式的矩阵表示并分析特征多项式（定理2–3）。
• 在非阿贝尔简单情形下，通过分析最小分量与满射性来处理（定理4）。
• 结合各部分结果得到完整的判定算法 IsTransitive，用于任意有限群的群型蜂群自动机（定理5）。

实验结果

研究问题

• RQ1 对于一维阿贝尔之外的群型蜂群自动机，拓扑遍历性是否可判定？
• RQ2 通过言语子群进行的分解是否能保持拓扑遍历性，从而将问题简化为更简单的组件？
• RQ3 对于同构简单群直接积上的群型蜂群自动机，在阿贝尔与非阿贝尔情况下，拓扑遍历性是否可判定？
• RQ4 如何利用已知的动力学等价关系来判定相关性质（混合性、遍历性）在群型蜂群自动机中的情况？
• RQ5 在任意有限群上判定遍历性的显式算法是什么？

主要发现

• 对任意维度 d 的任意有限群的群型蜂群自动机，拓扑遍历性是可判定的。
• 言语分解技术将群型蜂群自动机简化为无非平凡言语子群的分量。
• 在阿贝尔情形下，遍历性通过满射性及特征多项式的最大公因子条件来表征。
• 在非阿贝尔简单情形下，若蜂群自动机是满射且最小的，则通过对置换阶的算术条件可判定遍历性。
• 整体判定过程 IsTransitive 将分解与各分量的可判定性结果结合起来完成对所有分量的判定。