[论文解读] The structure of translational tilings in $\mathbb{Z}^d$

Rachel Greenfeld, Terence Tao|arXiv (Cornell University)|Oct 7, 2020

Cellular Automata and Applications参考文献 28被引用 6

一句话总结

本论文在 $ℤ^d$ 中建立了关于平移镶嵌的结构性结果，证明了 $ℤ^2$ 中周期集的层级一镶嵌必为弱周期性，但构造了一个反例，表明 $ℤ^2$ 中的高阶镶嵌未必是弱周期性的。论文给出了二维空间中周期镶嵌的周期的多项式界，从而得出镶嵌问题的指数时间可判定界，并推导出一维瓷砖的显式通用周期公式。

ABSTRACT

We obtain structural results on translational tilings of periodic functions in $\mathbb{Z}^d$ by finite tiles. In particular, we show that any level one tiling of a periodic set in $\mathbb{Z}^2$ must be weakly periodic (the disjoint union of sets that are individually periodic in one direction), but present a counterexample of a higher level tiling of $\mathbb{Z}^2$ that fails to be weakly periodic. We also establish a quantitative version of the two-dimensional periodic tiling conjecture which asserts that any finite tile in $\mathbb{Z}^2$ that admits a tiling, must admit a periodic tiling, by providing a polynomial bound on the period; this also gives an exponential-type bound on the computational complexity of the problem of deciding whether a given finite subset of $\mathbb{Z}^2$ tiles or not. As a byproduct of our structural theory, we also obtain an explicit formula for a universal period for all tilings of a one-dimensional tile.

研究动机与目标

• 通过建立周期镶嵌周期的定量多项式界，解决二维空间中的周期镶嵌猜想。
• 研究 $ℤ^2$ 中的镶嵌是否必须为弱周期性，尤其区分层级一与高阶镶嵌。
• 通过周期界限制计算复杂度，确定 $ℤ^2$ 中镶嵌问题的可判定性。
• 推导一维瓷砖的显式通用周期公式，推广了镶嵌理论中周期性的已知结果。

提出的方法

• 通过沿一维子群将镶嵌集分解为周期分量，分析 $ℤ^2$ 中的弱周期性。
• 应用“变色龙切片”论证，通过比较陪集上的周期镶嵌集与替代的一周期切片，检测非一周期镶嵌。
• 利用卷积恒等式 $̄†_{F}*̄†_{A}=k\mathds{1}_{E}$，以指示函数的形式代数刻画镶嵌。
• 通过利用格结构和子群不变性，将镶嵌存在性问题约化为有限搜索，从而界定了周期镶嵌的周期。
• 利用 $M\mathbb{Z}^2$-周期集及其陪集切片的结构，通过可计算条件对所有可能的镶嵌进行分类。
• 提出一种构造性方法，通过在陪集切片上进行“滑动移动”，从有限个双周期基底镶嵌生成所有镶嵌。

实验结果

研究问题

• RQ1 $ℤ^2$ 中周期集的任意层级一镶嵌是否必为弱周期性？
• RQ2 $ℤ^2$ 中是否存在非弱周期性的高阶镶嵌？
• RQ3 给定一个有限瓷砖时，$ℤ^2$ 中周期镶嵌的最小可能周期是多少？
• RQ4 判断一个 $ℤ^2$ 的有限子集是否能镶嵌整个格子的问题是否可判定，其计算复杂度如何？
• RQ5 能否为一维瓷砖的所有镶嵌推导出显式的通用周期？

主要发现

• $ℤ^2$ 中周期集的任意层级一镶嵌必为弱周期性，即为每个在某一方向上周期的集合的不相交并集。
• $ℤ^2$ 中存在一个非弱周期性的高阶镶嵌，表明弱周期性性质不适用于高阶情况。
• $ℤ^2$ 中的周期镶嵌猜想已通过定量多项式界得到解决，即任意周期镶嵌的周期界为 $O(|F|^{O(d)})$，其中 $d=2$。
• 由于周期界为多项式，判断有限瓷砖 $F \to ℤ^2$ 是否能镶嵌格子的计算复杂度至多为指数级，$|F|$。
• 为所有一维瓷砖的镶嵌推导出显式通用周期公式，即其各分量周期的最小公倍数。
• $ℤ^2$ 中给定周期集的所有镶嵌均可通过在陪集切片上进行“滑动移动”从有限个双周期基底镶嵌生成，从而可对任意镶嵌性质进行有限计算。