[论文解读] Characterisation of sets of limit measures after iteration of a cellular automaton on an initial measure

Benjamin Hellouin de Ménibus, Mathieu Sablik|arXiv (Cornell University)|Jan 9, 2013

Cellular Automata and Applications参考文献 16被引用 6

一句话总结

本文表征了通过在随机初始测度上迭代元胞自动机所能达到的极限测度集合，识别了拓扑与计算约束。证明了在连通性和全支撑条件下，任何满足这些约束的可计算测度集合均可通过使用辅助状态的元胞自动机实现为极限集合，并将结果扩展至Cesàro平均收敛及测度集合上的可计算函数。

ABSTRACT

The asymptotic behavior of a cellular automaton iterated on a random configuration is well described by its limit probability measure(s). In this paper, we characterize measures and sets of measures that can be reached as limit points after iterating a cellular automaton on a simple initial measure, in the same spirit as SRB measures. In addition to classical topological constraints, we exhibit necessary computational obstructions. With an additional hypothesis of connectivity, we show these computability conditions are sufficient by constructing a cellular automaton realising these sets, using auxiliary states in order to perform computations. Adapting this construction, we obtain a similar characterization for the Cesàro mean convergence, a Rice theorem on the sets of limit points, and we are able to perform computation on the set of measures, i.e. the cellular automaton converges towards a set of limit points that depends on the initial measure. Last, under non-surjective hypotheses, it is possible to remove auxiliary states from the construction.

研究动机与目标

• 表征作为元胞自动机在随机初始测度上迭代后的极限点的可能概率测度集合。
• 识别除拓扑约束外，决定哪些测度集合可实现为极限点的必要计算障碍。
• 在连通性和全支撑假设下，构建一个元胞自动机，使其极限集合可实现为任意给定的可计算测度集合。
• 将表征结果扩展至Cesàro平均收敛，以及从初始测度到其对应极限集合的函数映射。
• 证明在非满射假设下可移除辅助状态，从而在原始字母表内完成构造。

提出的方法

• 采用受先前工作启发的分段与格式化技术，将配置空间划分为若干段以实现局部计算。
• 使用在周期轨道上支撑的可计算多边形路径来建模测度序列的演化。
• 通过受控合并实现各段间的操作同步，确保收敛至期望的极限集合。
• 引入辅助状态以在各段内执行计算，从而实现复杂极限测度集合的构造。
• 通过随时间对图像测度序列取平均，将构造方法适配至Cesàro平均收敛。
• 在非满射假设下，通过利用测度支撑的结构性质，实现辅助状态的移除。

实验结果

研究问题

• RQ1 哪些概率测度集合可作为元胞自动机在随机初始测度上迭代后的极限点？
• RQ2 除拓扑约束外，决定此类极限集合可实现性的必要计算障碍是什么？
• RQ3 任何满足所识别约束的可计算测度集合是否都可通过元胞自动机实现为极限集合？
• RQ4 该构造能否适配至Cesàro平均收敛？这如何影响表征结果？
• RQ5 在额外假设（如非满射性）下，是否可能在构造中消除辅助状态？

主要发现

• 在平移混合且具有全支撑的初始测度上作用的元胞自动机的极限测度集合，受到拓扑与计算条件的双重约束。
• 在连通性和全支撑假设下，任何满足必要计算障碍的可计算测度集合，都可作为某个元胞自动机的极限集合被实现。
• 该构造通过辅助状态在各段内执行计算，并借助段的同步合并确保收敛。
• 对于Cesàro平均收敛，相同的表征成立，且极限集合仍由可计算性与拓扑约束决定。
• 在非满射假设下，构造可被修改以消除辅助状态，仅使用原始字母表。
• 本文建立了极限点集合的Rice型定理，表明从初始测度到其极限集合的映射是可计算的，并可由元胞自动机实现。