An aperiodic set of Wang tiles for every quadratic irrational

技术摘要：针对每种二次无理数的非周期性 Wang 磁砖集

问题陈述
本文旨在解决证明 Wang 磁砖集非周期性（aperiodicity）的问题。虽然非周期磁砖集的存在已得到证实，但证明特定磁砖集不存在周期性铺设通常非常困难，往往需要基于层次结构、唯一组合性质或自相似性的复杂组合论证。作者旨在提供一种更直接的、基于算术的方法，用于证明具有“条纹”（stripe）结构的 Wang 磁砖集的非周期性。此外，本文还试图回答一个逆问题：对于同一二次数域内的任意一对无理数 $(\alpha, \beta)$，是否可以构造出一个具有条纹的有限非周期 Wang 磁砖集，使其能够以恰好这些条纹密度进行有效铺设？

方法论
核心方法论依赖于具有条纹的 Wang 磁砖与平面几何之间的几何-算术对应关系。

1. 条纹划分： 作者考虑将 Wang 磁砖集 $T$ 根据是否存在水平和垂直条纹划分为四个子集：$T = T_\square \cup T_\urcorner \cup T_\sqsubset \cup T_\boxplus$。
2. 向量编码： 磁砖边缘的标签通过函数 $v$（垂直标签）和 $h$（水平标签）被映射为 $\mathbb{R}^2$ 中的向量。
3. 四边形确定： 若一组磁砖 $T$ 确定的向量和 $v(a) + h(b) - v(c) - h(d)$ 等于特定的顶点（取决于该磁砖属于划分中的哪一子集），则称该集合“确定”了一个四边形 $ABDC$。
4. 密度方程： 对于任何双周期有效构型，垂直条纹（$\alpha$）和水平条纹（$\beta$）的密度必须满足由四边形顶点导出的特定线性方程：
   $$\mathbf{0} = (1-\alpha)((1-\beta)A + \beta B) + \alpha((1-\beta)C + \beta D)$$
   该方程在几何上被解释为：解 $(\alpha, \beta)$ 对应于经过与四边形 $ABDC$ 相关的唯一抛物线的过原点切线。
5. 非周期性判据： 如果该方程的解是无理数（具体而言，如果所得二次方程的判别式为正且不是完全平方数），则不存在周期性铺设，因为周期性铺设要求密度为有理数。

主要贡献与结果

• 定理 A（非周期的充分条件）： 作者建立了一个具有条纹的 Wang 磁砖集为非周期的充分条件。如果磁砖确定的四边形 $ABDC$ 具有满足特定行列式条件（确保四边形以特定方式非退化）的整数顶点，且相关二次方程的判别式不是完全平方数，则该集合不存在周期性铺设。

  • 应用： 该定理为已知磁砖集提供了新的、简短的非周期性证明，包括 Ammann 16 磁砖集、24 磁砖编码的 Penrose 铺设，以及金属平均值（metallic mean）Wang 磁砖族。这些证明绕过了传统的层次分解论证。

• 定理 B（针对二次无理数的构造）： 本文证明了对于同一二次数域内的每一对 $(\alpha, \beta)$（两者均为有理数或均为无理数），都存在一个具有条纹的有限 Wang 磁砖集，满足以下条件：

  1. 确定一个四边形 $ABDC$，使得$(\alpha, \beta)$ 是密度方程的一个解。
  2. 允许一个有效的铺设，其垂直和水平条纹密度恰好为 $\alpha$ 和 $\beta$。
  3. 若 $\alpha$ 和 $\beta$ 是无理数，则该集合是不可周期的。
  • 构造： 该构造使用“平衡表示”（类似于 Sturmian 序列）来定义磁砖颜色，以确保条纹密度符合目标值。作者还提供了关于所需磁砖数量的显式界限。

• 算法方法（第 5 节）： 本文提出了一个基于线性变换拉回（pullbacks）的线性代数算法，用于计算给定 Wang 磁砖集的向量 $v, h$ 以及四边形 $ABDC$。这使得自动验证定理 A 中各种已知磁砖集的充分条件成为可能。

意义与主张
作者声称，其工作为若干重要的磁砖集提供了“短证明”，用基于条纹密度的无理性的直接算术论证取代了冗长的组合论证。这种方法类似于 Kari 早期使用乘法算术的研究，但利用了加法算术和抛物线的几何性质。

本文还声称，为任何一对二次无理数的磁砖生成问题提供了构造性解决方案，填补了文献中的空白，此前此类例子较为稀缺或依赖于复杂的替换规则（如 Mozes 的构造）。作者明确指出，在二次代数数的语境下，其构造是“尽可能简单”的。

局限性与开放问题
本文对其研究范围保持了审慎的态度：

• 定理 A 的充分条件专门适用于具有条纹的 Wang 磁砖集。
• 虽然定理 B 的构造保证了具有特定密度的铺设的存在性，但作者提出了问题 9.1：是否所构造的磁砖集中每一个有效构型都具有这些特定密度，或者是否存在其他具有不同密度（即同一方程的其他解）的构型？
• 问题 9.2 询问这些由 Wang 磁砖生成的 Wang 移位（Wang shifts）是否为极小动力系统（minimal dynamical systems）。
• 问题 9.3 询问这些移位是否具有自相似性（即是否存在扩张性的二维替换），这是金属平均值铺设已知的属性，但在通用构造中尚未得到证明。

作者并未声称解决了通用的骨牌问题（domino problem），也没有找到所有情况下实现非周期的最小磁砖数，而是提供了一种证明非周期性的高效新工具，以及一种构造具有指定二次无理数密度的非周期集合的系统化方法。