三维空间发现强非周期单瓦块

A Strongly Aperiodic Monotile in Three Dimensions

Socolar 和 Taylor 曾提出一个难题：寻找一个仅凭形状就能强制产生非周期性的三维单瓦块。此前已有的 Schmitt-Conway-Danzer 双棱镜和三维 Socolar-Taylor 瓦块都存在螺旋运动或周期性堆叠方向的问题。这项研究展示了一个名为 Chair44（R44）的有理多面体 3 球，它由七个立方体组成，其 24 个暴露的单位面板上带有微小的方形金字塔特征。研究证明，该瓦块允许通过全等副本和反射对 R3 空间进行铺砌，且每个铺砌都没有平移周期，对称群阶数最多为 24。该设计基于 Six Birds 涌现微积分的解读，其核心在于一个通过机器验证的有限测试：瓦块的接触规则在粗化后依然成立。证明过程结合了书面几何论证和穷举枚举，所有有限门控都在 Lean 4 中进行了内核检查，确保了定理的严谨性。