[论文解读] Weakly and Strongly Aperiodic Subshifts of Finite Type on Baumslag-Solitar Groups.

Julien Esnay, Etienne Moutot|arXiv (Cornell University)|Apr 6, 2020

Cellular Automata and Applications参考文献 17被引用 4

一句话总结

本文研究了在 Baumslag-Solitar 群上的有限型子移位（SFTs）中的周期性，证明了在剩余有限的 BS 群中，既存在强非周期性 SFT，也存在弱非周期性但非强非周期性 SFT。它表明 Aubrun 和 Kari 在 $BS(m,n)$ 上构造的弱非周期性 SFT 实际上在 $BS(1,n)$ 上是强非周期性的，并在 $BS(1,n)$ 上构造了一个不同的 SFT，该 SFT 是弱非周期性但非强非周期性，同时证明了在 $BS(n,n)$ 上存在一个强非周期性 SFT，揭示了这些群中弱周期性与强周期性的区别。

ABSTRACT

We study the periodicity of subshifts of finite type (SFT) on Baumslag-Solitar groups. We show that for residually finite Baumslag-Solitar groups there exist both strongly and weakly-but-not-strongly aperiodic SFTs. In particular, this shows that unlike $\mathbb{Z}^2$, but as $\mathbb{Z}^3$, the notions of strong and weak periodicity are different for residually finite BS groups. More precisely, we prove that the weakly aperiodic SFT on $BS(m,n)$ presented by Aubrun and Kari is in fact strongly aperiodic on $BS(1,n)$. In addition, we exhibit an SFT which is weakly but not strongly aperiodic on $BS(1,n)$. Finally, we show that there exists a strongly aperiodic SFT on $BS(n,n)$.

研究动机与目标

• 研究 Baumslag-Solitar 群上非周期性有限型子移位（SFTs）的存在性与性质。
• 澄清在剩余有限的 Baumslag-Solitar 群上 SFT 的弱周期性与强周期性之间的区别。
• 确定 $BS(m,n)$ 上的弱非周期性 SFT 是否也必然是强非周期性，尤其是在 $BS(1,n)$ 上。
• 在 $BS(1,n)$ 上显式构造弱非周期性但非强非周期性的 SFT 的例子。
• 建立在 $BS(n,n)$ 上存在强非周期性 SFT 的结论。

提出的方法

• 分析剩余有限 Baumslag-Solitar 群 $BS(m,n)$ 的结构，以评估 SFT 的周期性性质。
• 改编并重新评估 Aubrun 和 Kari 在 $BS(m,n)$ 上构造的弱非周期性 SFT，特别是针对 $BS(1,n)$。
• 应用 $BS(1,n)$ 的群论性质，例如其作为半直积的结构，以分析周期性。
• 通过特定的瓷砖集合和约束，在 $BS(1,n)$ 上构造一个新的 SFT，使其为弱非周期性但非强非周期性。
• 通过组合与群论论证，证明在 $BS(n,n)$ 上存在强非周期性 SFT。
• 将 $BS(1,n)$ 上 SFT 的行为与 $\mathbb{Z}^2$ 和 $\mathbb{Z}^3$ 上的已知结果进行比较，以突出周期性方面的差异。

实验结果

研究问题

• RQ1 在 $BS(m,n)$ 上的弱非周期性 SFT 是否必然为强非周期性，尤其是在 $BS(1,n)$ 上？
• RQ2 在 $\mathbb{Z}^3$ 中观察到的弱周期性与强周期性之间的区别是否也存在于剩余有限的 Baumslag-Solitar 群中？
• RQ3 能否在 $BS(1,n)$ 上构造一个弱非周期性但非强非周期性的有限型子移位？
• RQ4 在 $BS(n,n)$ 上是否存在强非周期性 SFT，如果存在，其构造方式如何？
• RQ5 在 $BS(1,n)$ 上 SFT 的周期性性质与在 $\mathbb{Z}^2$ 和 $\mathbb{Z}^3$ 上的性质相比有何异同？

主要发现

• Aubrun 和 Kari 在 $BS(m,n)$ 上构造的弱非周期性 SFT 被证明在 $BS(1,n)$ 上实际上是强非周期性，解决了该设定中周期性问题的一个关键疑问。
• 在 $BS(1,n)$ 上显式构造了一个新的 SFT，其为弱非周期性但非强非周期性，证明了在此群中弱非周期性与强非周期性之间存在严格分离。
• 对于 $BS(1,n)$，弱周期性与强周期性的概念是不同的，确认其行为与 $\mathbb{Z}^2$ 不同，而更接近于 $\mathbb{Z}^3$ 的情形。
• 在 $BS(n,n)$ 上存在一个强非周期性 SFT，确立了此类系统在该类群中的存在性。
• 结果表明，剩余有限的 Baumslag-Solitar 群既支持强非周期性 SFT，也支持弱非周期性但非强非周期性 SFT，凸显了其动力行为中的结构多样性。