结果族 155：A counterexample to periodic tiling in dimension three · 学科：Combinatorics · 验证状态：主结果已 Lean 形式化
贴瓷砖时，如果花纹能周期性重复，活儿就轻松：找到一小段基本单元，平移复制即可铺满整面墙。周期铺砌猜想猜的就是”能铺满的瓷砖必有周期铺法”。这篇论文在三维造出一块叛逆瓷砖：它铺得满三维格点空间，却不存在任何周期铺法。
关键词卡片
看个具体例子
示意图：同样的方砖与长砖，上排按周期排列，平移一个周期图案重合；下排打乱后，任何平移都对不上：
论文的瓷砖是 ℤ³ 里一组有限格点 T：存在平移集 A 使 A⊕T=ℤ³（每点恰被盖一次），但任何铺法的平移集都不是全周期的；把它加厚成实体 Ω=T+[0,1]³ 后，在 ℝ³ 中允许任意实数平移，结论不变。
为什么值得关心
一维（Newman）与二维（Bhattacharya）的答案都是”必有周期”，三维是第一个失败维度——猜想在最小可能的维度被否定。
已 Lean 形式化
第一级台阶
导读里”贴瓷砖找基本单元”说的是：只用平移（不许旋转翻转）把同一块砖不重不漏地盖满整个空间；若挪动某个固定向量后整幅图案与原来重合，铺法就是周期的。周期铺砌猜想猜”凡能铺满的砖必有周期铺法”。这里的对象是一块由有限多个格点组成的”砖”加上整个三维格点空间；操作只有一种：把砖平移到各处，要求恰好覆盖、互不重叠。
第二级台阶
精确化：在交换群 G 中，记 A⊕F=G 表示每个元素都能唯一写成 a+f（a∈A，f∈F）。有限非空集 F 称为平移瓷砖，若存在这样的 A；铺法称为全周期的，若平移集 A 在某个有限指标子群下不变。三维格点空间指 G=ℤ³；欧氏情形取单位立方体加厚 Ω=T+[0,1]³，铺砌允许相差零测集，全周期指平移集在满秩格下不变。
第三级台阶
定理 1.1 断言：存在有限集 T⊂ℤ³，它可平移铺满 ℤ³，但任何铺法的平移集都不是全周期的；其加厚体 Ω 在 ℝ³ 中允许任意实数平移时同样如此。假设的分量：只许平移是编码得以成立的前提；”有限指标子群”与”满秩格”给出周期性的严格口径。由 Newman 的一维与 Bhattacharya 的二维正面结果，三维是格铺砌情形下结论可能成立的最小维度——猜想恰在此被否定。注意结论只排除全周期铺法：它不断言砖连通，也不排除砖存在个别非零周期。
本文在 @@M@@\mathbb{Z}^3@@ 中构造出一块有限平移瓷砖（translational tile）@@M@@T@@：它能铺满 @@M@@\mathbb{Z}^3@@，却没有任何全周期铺法；其单位立方体加厚在 @@M@@\mathbb{R}^3@@ 中同样如此，即便允许任意实数平移向量。周期铺砌猜想由此在最小可能的维度三被否定。
铺砌理论的基本问题：一块”瓷砖”能否用自身的平移副本不重不漏地盖满空间？能铺满的瓷砖若还容许周期铺法，就有了可把握的结构。周期铺砌猜想（periodic tiling conjecture，Lagarias–Wang 给出显式欧氏表述）断言每个平移瓷砖都容许周期铺法。低维证据全是正面的：Newman 的有限状态论证表明 @@M@@\mathbb{Z}@@ 中有限瓷砖的每条铺法都周期；Bhattacharya 证明 @@M@@\mathbb{Z}^2@@ 的每个有限瓷砖都有周期铺法，Greenfeld–Tao 又给出定量强化。而 Greenfeld–Tao 已在足够高的维度造出反例。三维因此是悬而未决的最小维度，本文将其解决，答案是否定的。
记 @@M@@A\oplus F=G@@ 表示交换群 @@M@@G@@ 中每个元素都有唯一分解 @@M@@g=a+f@@（@@M@@a\in A@@，@@M@@f\in F@@）；铺法称为全周期（fully periodic），指平移集 @@M@@A@@ 在某个有限指标子群（subgroup of finite index）下不变。定理 1.1：存在有限非空集 @@M@@T\subset\mathbb{Z}^3@@，(i) @@M@@T@@ 可平移铺满 @@M@@\mathbb{Z}^3@@，但任何满足 @@M@@A\oplus T=\mathbb{Z}^3@@ 的平移集都不在有限指标子群下不变；(ii) 加厚体 @@M@@\Omega=T+[0,1]^3@@ 在 @@M@@\mathbb{R}^3@@ 中可铺满（至多差零测集），但没有铺法的平移集在满秩格（full-rank lattice）下不变。由 Newman 与 Bhattacharya 的一、二维正面结果，三维是该结论在格铺砌情形下可能成立的最小维度。
证明遵循 Greenfeld–Tao 的”数独编码”策略，分四步。
第一步先造自带非周期性的组合障碍。取素数 @@M@@p>200@@、字母表 @@M@@\Sigma=\F_p^\times@@、列集 @@M@@I=\{0,\dots,p^2-1\}@@。线规则（line rule）要求数组 @@M@@W@@ 在每条整数斜率直线 @@M@@m=dn+e@@ 上的采样词都是允许词（allowed word）：存在不被 @@M@@p@@ 同时整除的 @@M@@a,b@@，使词值恰为 @@M@@an+b@@ 的最后一个非零 @@M@@p@@ 进数字。核心命题：满足线规则且每列非常数的数组没有正的竖直周期（vertical period）。证明先做全局仿射逼近——数出一块无例外的 @@M@@4\times4@@ 方块再沿行双向传播，得 @@M@@W@@ 几乎处处等于非零仿射型 @@M@@An+Bm+C@@；再证每列非常数等价于 @@M@@B\ne0@@，且周期必被 @@M@@p@@ 整除；最后对极小周期 @@M@@M@@ 作伸缩 @@M@@W_1(n,m)=W(n,pm)@@，得到周期 @@M@@M/p@@ 的更小解，无穷下降矛盾。模型 @@M@@W(n,m)=f(m)@@（@@M@@f@@ 为最后非零数字函数）表明这种数组存在。
再把词约束编码成同一未知集 @@M@@A@@ 的联立铺砌方程（simultaneous tiling equations）。环境群 @@M@@G=\mathbb{Z}^2\times V@@，其中有限群 @@M@@V@@ 的各因子阶两两互素，故为循环群——这是与高维反例的关键差别。图方程 @@M@@A\oplus H_0=G@@ 把 @@M@@A@@ 逼成函数图；每列对应一个通道，其有用输出只许依赖 @@M@@(L_n(x),k_n)@@（@@M@@L_n(x)=x_2+nx_1@@ 为线映射）；符号由活跃性编码：改动对应的输入数位能改变输出即称活跃。循环测试瓷砖凭排列判据禁止禁词同时活跃；两个种子通道在特定余数类强制常数词 @@M@@1@@、@@M@@2@@，保证每列非常数；激活测试再保证每个普通位置至少活跃一个符号。于是全周期公共解会导出带竖直周期的合规数组，与第一步矛盾；第 5 节又显式构造出公共解：普通通道 @@M@@i@@ 恰好活跃 @@M@@f(L_i(x))@@，一个共享输出同时满足两个种子测试。
然后堆叠合并：取新素数 @@M@@q@@，随机染色给出 @@M@@\Zmod{q}=E_1\sqcup\cdots\sqcup E_s@@ 且每色差集为全群，把方程堆叠成 @@M@@\mathbb{Z}^2\times\Zmod{Q}@@（@@M@@Q=q|V|@@，仍循环）中的单块瓷砖 @@M@@F@@：可铺砌、无全周期铺法。
最后升维并驯服实平移。经投影 @@M@@\pi:\mathbb{Z}^3\to\mathbb{Z}^2\times\Zmod{Q}@@（核为 @@M@@\mathbb{Z} w@@），用概率法选出剩余代表元横截 @@M@@T_0@@，其差集覆盖所有不超过 @@M@@m@@ 的非格向量；移动一个标记点得 @@M@@T_1@@，拼出最终瓷砖 @@M@@T@@，铺砌存在性由 @@M@@B=\pi^{-1}(A)@@ 直接验证。关键的刚性论证处理任意实平移：大公共部分把假设周期铺法的部件中心逼进同一 @@M@@m\mathbb{Z}^3@@ 陪集（辅助立方体的测度计数加图连通性），标记点的覆盖又强制平移集沿核方向不变，铺砌遂可下降到商群，产生 @@M@@F@@ 的全周期铺砌——矛盾。单位立方体加厚把结论同样带到 @@M@@\mathbb{R}^3@@。
主结果（定理 1.1 两条）已由 Lean 形式化验证（族文档 lean/docs/155.md），论文完整给出每个构造与非周期性论证；有限瓷砖数据可经会终止的有限搜索选出，证明可铺砌性的无穷铺法则由最后非零数字函数显式给出。本结果族仅此一篇，离散与欧氏两条结论落在同一块瓷砖上，互相印证。按 OpenAI 官方声明”未经形式化的结果可能有问题”，本文主结果已形式化，属可信度最高一档；但定理只排除全周期铺法，未断言瓷砖连通，也不排除单个非零周期。
问 1：证明里最关键也最脆弱的一步是哪里？
（答：从 ℤ²×ℤ/Qℤ 升到 ℤ³、再到 ℝ³ 的刚性论证。数独编码给出无周期解只是半程，还得证明任意（含实向量的）周期铺法都能”下降”回商群产生矛盾：大公共部分凭测度计数加图连通性把部件中心逼进同一 mℤ³ 陪集，标记立方体的覆盖再强制平移集沿投影核不变。若刚性论证有隙，(ii) 中”任意实平移”就会漏。）
问 2：为什么有限因子必须保持循环群？
（答：这是与 Greenfeld–Tao 高维反例的关键差别：一般有限交换群要多个生成元，而循环群可由第三个整数坐标单独表示，ℤ²×循环群才是 ℤ³ 的商。代价是全部编码约束（循环测试、种子通道、活跃性测试）都必须在单一循环坐标内完成，构造难度大增。）
问 3：只许平移、不许旋转——这个假设能放宽吗？
（答：不容易，论文也未讨论旋转情形。数独信息全部编码在砖的”方向”里：各通道的有用输出只许依赖线映射 L_n(x)=x₂+nx₁，若允许旋转，这些依赖关系会被打乱，联立铺砌方程不再成立。）
问 4：与 Greenfeld–Tao 已有反例相比真正的新意是什么？
（答：GT 在”足够高维”否定猜想且其有限因子是 2-群（多生成元）；本文把维度压到最小可能的 3，并沿用 GT 的数独策略与 p 进表述、方程合并思想，靠循环因子与显式公共解（普通通道恰活跃一个符号）在最小维度闭合。一二维正面结果使”最小维度”的说法有据。）
问 5：AI 生成证明在这篇的典型风险还剩多少？
（答：主结果两条均已 Lean 形式化，属可信度最高一档，机器证明层面的风险基本排除。残余风险在形式化陈述与论文叙事的夹缝：例如”全周期”采用有限指标子群口径，论文也明说”既未断言连通、也未排除个别非零周期”，宣传时容易越界表述；此外可铺砌性依赖显式的最后非零 p 进数字铺法，其正确性由构造保证。）
问 6：每列非常数＋线规则⇒无竖直周期，这步为何是命门？
（答：它是整个编码的算术心脏：先全局仿射逼近证数组几乎处处等于 An+Bm+C，再证周期必被 p 整除，对极小周期伸缩得周期 M/p 的更小解，无穷下降矛盾。后面的联立方程全部只为在铺砌语言里”复刻”这条规则，它错了编码就空转。）
问 7：谁会用到它？
（答：铺砌与符号动力学社区：周期铺砌猜想在最小维度破产后，注意力转向无周期铺砌的结构、domino 问题可判定性边界，以及 Greenfeld–Tao 走向不可判定性的路线；准晶与无序铺砌的物理类比读者也会关注。）
总评
这是已形式化、构造完整、且把一个老猜想在最小可能维度干净否定的硬结果，分量十足；最大风险仅剩表述层面的越界（把”无全周期”说成”完全无周期”），数学内核已相当可靠。