MathLabs

解法:史密斯–迈尔斯–卡普兰–古德曼-施特劳斯的非周期单块瓷砖:hat 与 Spectre(2023年)

第 2/8 步:hat 处在一整族相关图形的连续统 Tile(a,b)\mathrm{Tile}(a,b) 之中
通俗地说

hat 的边界只由两种长度的边构成,而且它们两两成对且互相平行——就像一个人的两条手臂虽然指向不同方向,却是相互对应的一对。如果允许把这两种长度中的一种独立地拉伸或缩短,就会得到一整族以完全相同的组合方式拼接的相关图形;这一族用两条边长 aa 与 bb 记作 Tile(a,b)\mathrm{Tile}(a,b),而 hat 只是其中一个特定成员。

结果表明,这一族中几乎每个成员都和 hat 一样是非周期单块瓷砖。只有三个特殊成员——两条边长恰好构成异常对称图形的那几个——反而会周期性铺砌,而这三个例外恰恰正是证明其余成员非周期性所需要的关键图形。

Tile(a,b),hat=Tile(1,3),turtle=Tile(3,1)\mathrm{Tile}(a,b), \quad \text{hat} = \mathrm{Tile}(1, \sqrt{3}), \quad \text{turtle} = \mathrm{Tile}(\sqrt{3}, 1)
详细分析

hat 由 [3.4.6.4][3.4.6.4] 镶嵌中的风筝形构成,其边有两种长度,可取为 11 与 3\sqrt{3}(长度为 22 的边算作两条连续的长度 11 的边),这些边成对平行出现。允许两条边长 a,b≥0a, b \ge 0(不同时为零)独立变化,就得到一整族组合结构完全相同的图形 Tile(a,b)\mathrm{Tile}(a,b)(Smith, Myers, Kaplan & Goodman-Strauss 2023年,第2节)。hat 正是 Tile(1,3)\mathrm{Tile}(1, \sqrt{3});史密斯独立发现的第二个图形“turtle”(由 1010 个风筝形拼成)则是同一族中的 Tile(3,1)\mathrm{Tile}(\sqrt{3}, 1)。

三个特殊成员会周期性铺砌而非非周期性铺砌:“chevron”Tile(0,1)\mathrm{Tile}(0,1)(由 44 个等边三角形组成的四三角形块),“comet”Tile(1,0)\mathrm{Tile}(1,0)(由 88 个等边三角形组成的八三角形块),以及等边情形 Tile(1,1)\mathrm{Tile}(1,1)。这个连续统中的其他每一个成员,包括 hat 本身,都是非周期单块瓷砖。

chevron 和 comet 并非无关紧要的旁注:因为在任何 hat 镶嵌中,把其中一种长度的所有边收缩为零就会变成 chevron 镶嵌,收缩另一种长度就会变成 comet 镶嵌,这两个周期性的“近亲”正是下一步非周期性证明所使用的工具。

本步骤用到的知识