[论文解读] A counterexample to the periodic tiling conjecture

Rachel Greenfeld|arXiv (Cornell University)|Nov 29, 2022

graph theory and CDMA systems被引用 3

一句话总结

本文通过在有限阿贝尔2-群G₀的群Z² × G₀中使用单个瓷砖构造反例，推翻了周期性密铺猜想。作者将具有2-adic结构的数独谜题编码为密铺方程，证明解存在但全部为非周期性，从而在高维空间中否定了该猜想及其在R^d中的连续类比。

ABSTRACT

A d-dimensional configuration is a coloring of the infinite grid ℤ^d using a finite number of colors. For a finite subset D ⊆ ℤ^d, the D-patterns of a configuration are the patterns of shape D that appear in the configuration. A configuration is said to be admitted by these patterns. The number of distinct D-patterns in a configuration is a natural measure of its complexity. We focus on low complexity configurations, where the number of distinct D-patterns is at most |D|, the size of the shape. This framework includes the notorious open Nivat’s conjecture and the recently solved Periodic Tiling problem. We use algebraic tools to study the periodicity of low complexity configurations. In the two-dimensional case, if D ⊆ ℤ² is a rectangle or any convex shape, we establish an algorithm to determine if a given collection of |D| patterns admits any configuration. This is based on the fact that if the given patterns admit a configuration, then they admit a periodic configuration. We also demonstrate that a two-dimensional low complexity configuration must be periodic if it originates from the well-known Ledrappier subshift or from several other algebraically defined subshifts.

研究动机与目标

• 为了推翻周期性密铺猜想，该猜想断言在格点Z^d中的任意有限瓷砖必须存在周期性密铺。
• 将此反例推广到连续情形，证明在高维欧氏空间中，连续周期性密铺猜想同样不成立。
• 在形式为Z² × G₀的群中，显式构造一个单瓷砖的非周期性密铺，其中G₀为有限阿贝尔2-群。
• 证明密铺方程的解可以存在，而无需任何周期性结构，即使瓷砖是有限的且群是阿贝尔群。

提出的方法

• 将具有2-adic结构的行和非水平线的数独谜题编码为函数方程组。
• 将数独约束表示为Z² × G₀中的单个密铺方程A ⊕ F = G。
• 利用2-adic分析确保尽管满足局部一致性条件，所有数独谜题的解都是非周期性的。
• 在Z² × G₀中构造一个有限瓷砖F，使得密铺方程A ⊕ F = Z² × G₀有解，但没有任何解是周期性的。
• 利用2-adic结构函数的特性，在保持局部密铺规则的同时强制实现全局非周期性。
• 通过证明密铺集A不能是任何有限指数子群的有限个陪集的并集，从而证明所得密铺集A不是周期性的。

实验结果

研究问题

• RQ1 在d ≥ 3时，是否存在一个Z^d中的有限瓷砖，其可密铺但无周期性密铺？
• RQ2 在像Z² × G₀这样的离散阿贝尔群中，单个瓷砖能否实现非周期性密铺？
• RQ3 在R^d中，当d足够大时，连续周期性密铺猜想是否为假？
• RQ4 能否将具有2-adic结构约束的数独谜题编码为具有非周期性解的密铺方程？
• RQ5 在d ≥ 3的Z^d中，非周期性密铺的最大弱周期性水平是什么？

主要发现

• 在足够大的d下，周期性密铺猜想在Z^d中为假，通过在Z² × G₀中构造一个单瓷砖F实现非周期性密铺得到证明。
• 在有限阿贝尔2-群G₀的Z² × G₀中构造了显式反例，从而在该设定下否定了离散周期性密铺猜想。
• 连续周期性密铺猜想在R^d中对于足够大的d也为假，因为离散反例可通过标准编码论证推出其连续类比。
• 所构造密铺方程的所有解均为非周期性，尽管瓷砖是有限的且群是阿贝尔群。
• 密铺解为(d−2)-弱周期性，表明该构造实现了与非周期性相容的最高可能周期性水平。
• 该构造表明，在高维设置中存在单瓷砖的非周期性密铺，从而解决了密铺理论中长期悬而未决的开放问题。