[论文解读] Decidability and Periodicity of Low Complexity Tilings

Siddhartha Bhattacharya, Moutot, Etienne|arXiv (Cornell University)|Feb 18, 2016

Cellular Automata and Applications参考文献 8被引用 5

一句话总结

本文证明了任何通过平移能镶嵌整数格点 ℤ² 的有限子集，必定存在一种周期性镶嵌，从而解决了 ℤ² 上的周期镶嵌猜想。作者采用以不变测度和幂零环面作用为核心的遍历理论方法，证明所有此类镶嵌本质上都是周期性的，这意味着 ℤ² 中有限集合的镶嵌问题具有可判定性。

ABSTRACT

In this paper we study low-complexity colorings (or tilings) of the two-dimensional grid ℤ². A coloring is said to be of low complexity with respect to a rectangle if there exists m,n∈ℕ such that there are no more than mn different rectangular m× n patterns in it. Open since it was stated in 1997, Nivat’s conjecture states that such a coloring is necessarily periodic. Suppose we are given at most nm rectangular patterns of size n× m. If Nivat’s conjecture is true, one can only build periodic colorings out of these patterns - meaning that if the m× n rectangular patterns of the coloring are among these mn patterns, it must be periodic. The main contribution of this paper proves that there exists at least one periodic coloring build from these patterns. We use this result to investigate the tiling problem, also known as the domino problem, which is well known to be undecidable in its full generality. However, we show that it is decidable in the low-complexity setting. Finally, we use our result to show that Nivat’s conjecture holds for uniformly recurrent configurations. The results also extend to other convex shapes in place of the rectangle.

研究动机与目标

• 为解决 ℤ² 上的周期镶嵌猜想，即任何能镶嵌 ℤ² 的有限集合也必须存在周期性镶嵌。
• 建立 ℤ² 有限子集镶嵌问题的可判定性，即判断给定有限集合是否可通过平移镶嵌平面。
• 通过证明关于遍历 ℤ² 作用的划分结构结果，弥合组合镶嵌理论与遍历理论之间的鸿沟。
• 表明 ℤ² 中由镶嵌集合产生的可测划分必须包含在非平凡群作用下不变的分量，从而暗示周期性结构。
• 利用测度论与动力系统技术，证明镶嵌的存在性意味着周期性镶嵌的存在性。

提出的方法

• 将 ℤ² 中的镶嵌问题转化为概率空间上遍历 ℤ² 作用的问题，利用镶嵌与可测划分之间的对应关系。
• 应用一个关键结果（定理 1.3）：若集合 A 允许被其平移 {gA} 划分，则 A 可分解为在 ℤ² 的非平凡元素作用下不变的集合。
• 使用划分定理的弱 L² 形式（定理 3.3），构造在群作用下生成不变因子的函数。
• 分析幂零环面作用下不变测度的结构，利用 Ratner 定理和 Weyl 等分布定理的刚性结果。
• 应用组合论证，表明非弱周期集合会导致无限多个非周期平移，与遍历分量空间的有限性矛盾。
• 利用镶嵌作用的对称群是 ℤ² 的有限指数子群这一事实，构造任意镶嵌的周期性精化。

实验结果

研究问题

• RQ1 任何通过平移能镶嵌平面的 ℤ² 有限子集是否也必定存在周期性镶嵌？
• RQ2 判断给定 ℤ² 有限子集是否能通过平移镶嵌平面的问题是否可判定？
• RQ3 能否利用 ℤ² 作用下可测划分的结构，推导出镶嵌问题中的周期性？
• RQ4 幂零群作用与不变测度在镶嵌系统中强制实现周期结构方面起什么作用？
• RQ5 是否存在 ℤ² 中由有限集合实现的非周期性镶嵌，或者周期性是否由镶嵌作用的动力学强制实现？

主要发现

• 任何满足 F ⊂ ℤ² 且通过平移镶嵌 ℤ² 的有限子集，必定存在周期性镶嵌，从而证实了 d = 2 情形下的周期镶嵌猜想。
• ℤ² 有限子集的镶嵌问题是可判定的，因为镶嵌的存在性意味着周期性镶嵌的存在性，而后者可被算法验证。
• 该证明表明，在一个遍历 ℤ² 作用下，若可测集合 A ⊂ X 的平移能划分空间，则 A 必须包含在 ℤ² 的非平凡元素作用下不变的子集。
• 关键技术结果（定理 1.3）表明，此类划分可被精化为在非平凡群元素作用下不变的集合，从而暗示弱周期性。
• 证明中的矛盾论证依赖于存在一个有限的遍历分量集合 S(Λ)，它迫使非周期平移序列中出现循环，与非周期性假设矛盾。
• 测度论论证表明，若集合 A 在一个遍历分量中测度为 1/2，则其平移最终会重复，从而导致周期性结构。