[论文解读] An alternative proof for an aperiodic monotile

Shigeki Akiyama, Yoshiaki Araki|arXiv (Cornell University)|Jul 23, 2023

semigroups and automata theoryComputer Science被引用 3

一句话总结

本文提出了一种针对史密斯草帽单体（Smith Hat monotile）——具体为 Tile$(\sqrt{3}:1)$ 变体——的简化且自包含的非周期性证明，采用了一种新颖的黄金六边形替代系统（Golden Hex substitution system）以及一种线性标记——黄金阿曼条（Golden Ammann Bar, GAB）。通过构建有限顶点图谱转换图来证明替代规则的一致性，并证明 GAB 频率的无理性，作者确立了该单体的所有密铺均为非周期性的结论，为原始证明[12]提供了一种更基础的替代方案。

ABSTRACT

We give an alternative simple proof that the monotile introduced by Smith, Myers, Kaplan and Goodman-Strass is aperiodic.

研究动机与目标

• 提供一种替代性且基础的非周期性证明，针对史密斯草帽单体 Tile$(\sqrt{3}:1)$，避免依赖复杂的替代系统或元单体。
• 通过基于有限补丁单体集合的明确定义的几何替代规则，确立 Tile$(\sqrt{3}:1)$ 密铺的存在性。
• 通过一种线性标记（黄金阿曼条，GAB）证明非周期性，其在密铺中的频率被证明为无理数。
• 提供一个独立于底层 Laves 密铺假设或先前结果[12]与[9]的自包含证明。

提出的方法

• 引入一种名为“黄金六边形替代”（Golden Hex substitution）的新替代规则，基于四种补丁单体（T_n, PD_n, ZD_n, ZT_n），其收敛于比例为 $\tau^2$ 的自相似极限。
• 通过分析五级补丁单体，构建由27个顶点图谱组成的有限集合，确保在重复替代下边界匹配的一致性。
• 将黄金阿曼条（GAB）定义为单体上的线性标记，其与特定边对齐，并构成凯戈梅（Kagome）密铺的一个子构型。
• 使用两种方法计算大补丁中 GAB 的总长度：一种基于边配置，另一种基于翻转单体的数量。
• 通过等价两种长度计算结果，推导出二次方程 $q^2 - q + \frac{1}{5} = 0$，其解为无理数 $q = \frac{5 \pm \sqrt{5}}{10}$。
• 利用 GAB 频率的无理性，得出结论：不存在周期性密铺，从而证明了非周期性。

实验结果

研究问题

• RQ1 是否可以不依赖[12]中使用的组合替代规则或元单体，证明史密斯草帽单体 Tile$(\sqrt{3}:1)$ 的非周期性？
• RQ2 在黄金六边形替代下，有限顶点图谱转换图的一致性是否意味着存在有效密铺？
• RQ3 黄金阿曼条（GAB）能否作为检测周期性的线性标记？其在密铺中的频率是多少？
• RQ4 GAB 在密铺中的频率是否为无理数？这是否意味着非周期性？
• RQ5 与依赖底层 Laves 密铺假设的其他证明相比，该证明在普适性和自洽性方面有何差异？

主要发现

• 黄金六边形替代规则定义明确，具有27个一致的顶点图谱，证明了 Tile$(\sqrt{3}:1)$ 密铺的存在性。
• 通过边配置与翻转单体数量计算的 GAB 总长度，导出方程 $q^2 - q + \frac{1}{5} = 0$，其解为 $q = \frac{5 \pm \sqrt{5}}{10}$。
• 两个解 $q_1 \approx 0.276$ 与 $q_2 \approx 0.724$ 均为无理数，确认 GAB 频率为非周期性。
• 由于 GAB 频率为无理数，因此不存在周期性密铺，从而证明所有 Tile$(\sqrt{3}:1)$ 的密铺均为非周期性。
• 该证明完全自包含，无需假设底层 Laves 密铺的存在，与先前工作[9]不同。
• GAB 频率 $q$ 在凯戈梅子构型的三个方向中相同，且 $q_2/q_1 = \tau^2$，表明存在自相似结构。