[论文解读] Aperiodic Subshifts on Polycyclic Groups

Emmanuel Jeandel|arXiv (Cornell University)|Oct 8, 2015

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

一句话总结

本文证明，所有非线性生长的多循环群均存在强非周期性有限型子移位（SFT），且其平铺问题（domino problem）不可判定。通过利用正规子群与商群的群论构造，作者将此前关于幂零群与自由阿贝尔群的结果推广至更广泛的多循环群类，基于赫施数（Hirsch number）的结构归纳法，证明了此类群支持非周期性平铺与不可判定的平铺问题。

ABSTRACT

We prove that every polycyclic group of nonlinear growth admits a strongly aperiodic SFT and has an undecidable domino problem. This answers a question of [4] and generalizes the result of [2].

研究动机与目标

• 确定非线性生长的多循环群是否允许存在强非周期性SFT。
• 研究此类群中平铺问题的可判定性。
• 将此前关于幂零群与自由阿贝尔群的结果推广至更广泛的多循环群类。
• 解决Carroll与Penland提出的问题：在非拟循环的多循环群中，是否存在强非周期性SFT。

提出的方法

• 通过在多循环群的赫施数上使用归纳法，借助正规子群的逐次扩张构造强非周期性SFT。
• 应用命题2.1，将商群 $ G/H $ 上的SFT提升至 $ G $，在适当条件下保持有限性与非周期性。
• 利用命题2.2，将SFT从子群 $ H $ 扩展至更大的群 $ G $，确保提升后SFT中点的稳定子群在继承自原SFT时为有限群。
• 利用任一赫施数 ≥ 2 的多循环群均包含一个有限指数子群，其同态于 $ \mathbb{Z}^2 $，该子群继承了平铺问题的不可判定性。
• 构造 $ G $ 的一个有限指数子群 $ G_1 $，使得 $ G_1/H_1 \cong \mathbb{Z} $，从而可应用关于 $ \mathbb{Z} $-扩张的已知结果。
• 利用平铺问题在共轭关系与拟等距关系下的不变性，将不可判定性结果在拟等距群之间传递。

实验结果

研究问题

• RQ1 每个非线性生长的多循环群是否都允许存在强非周期性SFT？
• RQ2 所有非拟循环的多循环群的平铺问题是否都不可判定？
• RQ3 强非周期性SFT的存在性能否从幂零群推广至更广泛的多循环群类？
• RQ4 群的何种结构条件可同时保证非周期性SFT的存在性与平铺问题的不可判定性？

主要发现

• 所有非线性生长的多循环群均存在强非周期性SFT，解决了Carroll与Penland提出的一个开放问题。
• 所有非拟循环的拟多循环群的平铺问题均不可判定，将Ballier与Stein关于幂零群的结果推广至多循环群类。
• 赫施数 ≥ 2 的群包含有限指数子群，其同态于 $ \mathbb{Z}^2 $，从而可传递不可判定性结果。
• 非周期性SFT的构造依赖于通过正规子群与商群的归纳提升，利用有限生成性以确保一致性。
• 所构造SFT中任一点的稳定子群均为有限群，满足强非周期性的定义。
• 由于平铺问题与SFT存在性在共轭关系下不变，结果可推广至所有与这类多循环群共轭的有限生成群。