[论文解读] An aperiodic monotile

David J. Smith, Joseph Samuel Myers+2 more|arXiv (Cornell University)|Mar 20, 2023

Quasicrystal Structures and Properties参考文献 39被引用 21

一句话总结

本文证明帽形多边形是面拓扑圆盘上的一个非周期单形砖（einstein），给出两种证明以及一个包含连续变化的非周期形状族 Tile(a, b)。

ABSTRACT

A longstanding open problem asks for an aperiodic monotile, also known as an "einstein": a shape that admits tilings of the plane, but never periodic tilings. We answer this problem for topological disk tiles by exhibiting a continuum of combinatorially equivalent aperiodic polygons. We first show that a representative example, the "hat" polykite, can form clusters called "metatiles", for which substitution rules can be defined. Because the metatiles admit tilings of the plane, so too does the hat. We then prove that generic members of our continuum of polygons are aperiodic, through a new kind of geometric incommensurability argument. Separately, we give a combinatorial, computer-assisted proof that the hat must form hierarchical -- and hence aperiodic -- tilings.

研究动机与目标

• 激发在圆盘形瓷砖中寻找唯一的非周期单形砖（einstein）的问题。
• 证明帽形多胞子（hat polykite）可以在平面上铺设，但不存在周期性铺法。
• 给出两种独立的非周期性证明（一个通过元瓷片的构造性证明，一个采用Berger风格）。
• 探索一组相关形状 Tile(a, b) 的连续族，它们以与帽形相同的组合等价铺法在平面上铺设。

提出的方法

• 通过识别源自局部帽形构型的被称为元瓷片的簇来构造帽形的铺法。
• 在元瓷片上建立一种替换系统，产生与元瓷片具有相同组合结构的超瓷片。
• 通过证明帽形铺法不能强周期性，并通过分析层次化铺法来证明非周期性。
• 给出第二种基于组合/分阶段的证明，使用关于元瓷片和层次结构的 Bergif 风格论证。
• 使用计算机辅助的案例枚举来支持替换框架并确保所有铺法遵循相同结构。

实验结果

研究问题

• RQ1 一个单一的拓扑圆盘瓷砖能否在平面上仅以非周期方式铺设（是一个 einstein 吗）？
• RQ2 帽形和它的连续族 Tile(a, b) 是否强制形成分层的、非周期的铺法结构？
• RQ3 从帽子簇衍生的元瓷片是否能支持产生非周期铺法的替换系统？
• RQ4 构造性证明和 Berger 风格的论证是否共同确立帽形及相关形状的非周期性？

主要发现

• 帽形多形是一个非周期性单形砖：它可以在平面上铺设，但不允许平移周期性铺法。
• 每一个帽子铺法都包含一个唯一的超瓷片层次结构，强制非周期性。
• 由帽子簇派生的元瓷片承认替换系统并铺平平面。
• 存在一个连续的 Tile(a, b) 形状族，它们展现出与帽子在组合上等价的铺法，均为非周期性，除了某些退化情况。
• 二次、计算机辅助的证明确认帽子必须形成层次化的铺法，因此是非周期性的。