[论文解读] Aperiodic Points in Z²-subshifts

Grandjean, Anael, Hellouin de Menibus, Benjamin+1 more|arXiv (Cornell University)|Jan 1, 2018

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

一句话总结

本文利用两种工具：基于图案的预序关系 ⪯ 和康托尔-本迪克斯通秩，研究了二维子移位的结构与组合性质。研究证明，在可数SFT中，始终存在具有最简图案内容的非周期性配置；通过禁止图案刻画了不可数子移位；并表明某些康托尔-本迪克斯通秩（特别是极限序数 λ 的 λ+2 形式）是不可能的，从而将可数SFT的可能秩范围缩小至少数尚未解决的情形。

ABSTRACT

We consider the structure of aperiodic points in Z^2-subshifts, and in particular the positions at which they fail to be periodic. We prove that if a Z^2-subshift contains points whose smallest period is arbitrarily large, then it contains an aperiodic point. This lets us characterise the computational difficulty of deciding if an Z^2-subshift of finite type contains an aperiodic point. Another consequence is that Z^2-subshifts with no aperiodic point have a very strong dynamical structure and are almost topologically conjugate to some Z-subshift. Finally, we use this result to characterize sets of possible slopes of periodicity for Z^3-subshifts of finite type.

研究动机与目标

• 理解多维子移位（尤其是二维情形）中配置的结构与组合性质。
• 刻画可数有限型子移位（SFTs）中结构最简的非周期性配置。
• 利用基于图案的语言性质，确定子移位不可数性的成因。
• 研究可数SFT的康托尔-本迪克斯通秩的可能取值，并排除某些无限类秩。

提出的方法

• 使用基于图案包含关系的预序关系 ⪯：若 x 中的每个有限图案均出现在 y 中，则 x ⪯ y。
• 应用康托尔-本迪克斯通推导过程，分析子移位的拓扑复杂性。
• 通过拓扑与组合论证，证明子移位要么有限，要么可数无限，要么不可数。
• 将子移位中的周期性问题约化为一维投影，并利用极限下的闭包性质。
• 通过禁止图案构造SFT，并通过迭代消除具有特定周期性的配置，分析其导出子移位。
• 使用紧致性论证与超限归纳法，为不可能的康托尔-本迪克斯通秩导出矛盾。

实验结果

研究问题

• RQ1 在可数SFT中，非周期性配置的最小组合复杂度是什么？
• RQ2 哪些配置导致了子移位的不可数性？
• RQ3 哪些康托尔-本迪克斯通秩可由可数SFT实现，哪些被排除？
• RQ4 预序关系 ⪯ 是否可用于根据图案内容对配置进行分类，以反映其拓扑复杂性？
• RQ5 复杂度函数 Cm,n(c) 与配置的康托尔-本迪克斯通秩或 ⪯-层级之间是否存在联系？

主要发现

• 在任意可数SFT中，总存在一个在预序关系 ⪯ 下最小的非周期性配置，即其包含的图案数最少，且为非周期性配置中图案最少者。
• 当且仅当子移位包含一个其语言中包含特定禁止图案集合（该集合可导出不可数多延伸）的配置时，该子移位为不可数。
• 可数SFT的康托尔-本迪克斯通秩不能为 λ+2（其中 λ 为极限序数），从而排除了一大类可能的秩。
• 可数SFT的第 λ 个导出子移位中的所有配置在至少一个方向上为周期性，且可能的周期集合在平移意义下为有限。
• 可数SFT中最小非周期性配置的语言在图案包含关系下是封闭的，且不等价于任何周期性配置。
• 在 ⪯-层级 0 的配置 c 的复杂度函数 Cm,n(c) 为常数；在层级 1 时为线性；在层级 2 时为二次型，提示组合复杂性与拓扑秩之间存在结构性联系。