Aperiodic tile sets from Sturmian lattices

技术摘要：来自斯图姆序列格子的非周期性平铺集

问题陈述
本文探讨了构造非周期性平铺集（即能够平铺平面但只能以非周期方式平铺的瓷砖集合）的问题。虽然最近的发现（如“史密斯海龟”单平铺块）已经证明了非周期单平铺块的存在，但作者旨在将其推广。具体而言，他们寻求一种基于**二次斜率斯图姆序列（Sturmian words of quadratic slopes）**构造非周期平铺集的显式算法。其目标是产生一种平铺集，其底层的缩放常数对应于任何实二次域的一个单位，从而生成无数种本质上不同的非周期平铺集。

方法论
作者提出了一种不同于依赖层次化唯一组合（置换）结构的传统方法的构造方法。其方法论主要依赖于两个核心组件：

1. 斯图姆格子（Sturmian Lattices）： 作者利用由斯图姆序列生成的网格结构。斯图姆格子由三个方向分别为 $0, 2\pi/3,$ 和 $4\pi/3$ 的平行线族定义。其定义条件是：对于满足 $i+j+k=0$ 的指标 $i, j, k$，直线 $a=a(i), b=b(j), c=c(k)$ 所围成的三角形具有固定的微小尺寸。这些格子中相邻平行线之间的间隙编码了具有特定无理斜率 $\alpha$ 的平衡序列（斯图姆序列）。
2. 有界位移（Bounded Displacement, BD）等价性： 核心技术工具是德洛内集（Delone sets）的有界位移等价性。作者将不同点集（特别是其平铺中“螺栓”中心）之间的关系视为一种多对多的对应关系。他们将德洛内集划分为具有特定自然密度的子集，并建立 BD 对应关系以强制执行代数约束。

平铺集的构造
该平铺集由源自“从带有小圆盘的六边形中提取”的两类组件构成：

• 螺母（Nuts）： 类似圆环的部件，包含“阿曼棒”（Ammann bars，即必须排列成直线以维持几何结构的线段）。它们强制执行斯图姆格子的几何结构。
• 螺栓（Bolts）： 类似圆盘的部件，携带 BD 对应关系。共有三种类型的螺栓（$S, M, L$），分别对应格子的三个方向。

构造过程通过控制螺栓中心的自然密度来强制执行特定的斜率 $\alpha$。在斜率为 $\alpha$ 的有效平铺中，螺栓集 $S, M, L$ 的密度必须满足以下比例：
$$\delta(S) : \delta(M) : \delta(L) = (1-\alpha)^2 : 2\alpha(1-\alpha) : \alpha^2$$
为了构造针对二次无理数 $\alpha$ 的平铺集，作者将斯图姆格子的德洛能集划分为密度与整数系数 $(x', y', z')$ 和 $(x'', y'', z'')$ 成比例的子集。这些系数定义了“补丁瓷砖”（patch-tiles，即螺栓的组合），当这些补丁与螺母结合时，会强制实现所需的密度比例。证明这些约束强制要求特定斜率的依据是一个基本事实：二次曲线与直线最多有两个交点。

关键结果

• 定理 3： 对于每一个二次无理数斜率 $\alpha \in [0,1]$，存在一个非周期平铺集 $\mathcal{A}(\alpha)$，它能强制实现具有该斜率（或其伽洛瓦共轭）的斯图姆格子。
• 扩张常数： 这些平铺集的底层扩张常数是实二次域 $\mathbb{Q}(\alpha)$ 的一个单位。
• 非周期性： 由于具有无理斜率的斯图姆格子不具备非平凡周期，因此由 $\mathcal{A}(\alpha)$ 生成的每个平铺都是非周期的。
• 基数： 作者提供了此类集合中瓷砖数量的界限：$Card(\mathcal{A}_\lambda) \leq 2\lambda + O(1)$，其中 $\lambda$ 是扩张常数。
• 示例： 本文详细介绍了一个针对 $\alpha = \sqrt{6}-2$ 的构造，该构造产生了一个拥有 29 个补丁瓷砖且扩张常数为 $5+2\sqrt{6}$ 的平铺集。

意义与主张
本文声称提供了一种从任何二次无理数斜率生成非周期平铺集的系统化、显式算法，超越了特定的“史密斯海龟”情况（后者对应于 $\mathbb{Q}(\sqrt{5})$ 中的斜率）。

本研究的主要区别在于：

• 独立于自相似性： 不同于许多基于置换的证明，这种构造不需要平铺集强制实现自相似平铺；其证明基于密度匹配和几何约束。
• 普适性： 该方法产生了无数种本质上不同的非周期平铺集，实现了每一个实二次域的单位作为扩张常数。
• 机制： 这项工作强调了有界位移等价性作为匹配来自斯图姆格子的瓷砖的核心机制，为理解组合词属性与几何平铺约束之间的关系提供了新的视角。

作者指出，斯图姆格子的完整分类、基数估计以及更多示例将在其另一篇完整论文 [2] 中呈现，而本简报侧重于存在性定理及其证明概要。