[论文解读] Undecidability of translational monotilings

Rachel Greenfeld, Terence Tao|arXiv (Cornell University)|Sep 18, 2023

Cellular Automata and ApplicationsComputer Science被引用 3

一句话总结

本文通过将 $(σ, \mathcal{C})$-数独谜题编码为单 tile 平移密铺问题，证明了在几乎 $ζ^2$ 空间中，即 $ζ^2 \times G_0$（$G_0$ 为有限阿贝尔群）中，平移单密铺的不可判定性。作者将伯杰的图灵完备性论证扩展至单 tile 密铺情形，证明在这些群中，不存在算法可判定给定 tile 是否能实现平移密铺，从而解决了在维度 $d \geq 3$ 时单密铺可判定性这一长期悬而未决的问题。

ABSTRACT

In the 60's, Berger famously showed that translational tilings of $\mathbb{Z}^2$ with multiple tiles are algorithmically undecidable. Recently, Bhattacharya proved the decidability of translational monotilings (tilings by translations of a single tile) in $\mathbb{Z}^2$. The decidability of translational monotilings in higher dimensions remained unsolved. In this paper, by combining our recently developed techniques with ideas introduced by Aanderaa and Lewis, we finally settle this problem, achieving the undecidability of translational monotilings of (periodic subsets of) virtually $\mathbb{Z}^2$ spaces, namely, spaces of the form $\mathbb{Z}^2 imes G_0$, where $G_0$ is a finite Abelian group. This also implies the undecidability of translational monotilings in $\mathbb{Z}^d$, $d\geq 3$.

研究动机与目标

• 解决在 $d \geq 3$ 时 $\mathbb{Z}^d$ 中平移单密铺是否可判定的开放问题，继比哈查里亚在 $\mathbb{Z}^2$ 中的可判定性结果之后。
• 证明在几乎 $\mathbb{Z}^2$ 空间中——即 $\mathbb{Z}^2 \times G_0$（$G_0$ 为有限阿贝尔群）——平移单密铺是算法不可判定的。
• 将伯杰关于多 tile 密铺的不可判定性证明框架扩展至单 tile 情形，证明在单密铺设定下具有图灵完备性。
• 在 $\mathbb{Z}^2 \times \mathbb{Z}/2\mathbb{Z}$ 上，提供 $(\mathcal{S}, \mathcal{C})$-数独谜题到平移单密铺问题的构造性编码，将密铺可解性与谜题可解性建立联系。
• 解决高维及几乎 $\mathbb{Z}^2$ 群中单密铺的可判定性状态，填补密铺理论中的一个重大空白。

提出的方法

• 在 $\mathbb{Z}^2 \times \mathbb{Z}/2\mathbb{Z}$ 上将 $(\mathcal{S}, \mathcal{C})$-数独谜题编码为平移单密铺问题，使用一个 tile $F$ 同时编码数独的数值与约束条件。
• 利用 $p$-进数独规则强制在密铺中实现局部一致性条件，确保数独网格的每一行、每一列和每一个宫都满足所需约束。
• 构造一个 tile $F$，使得其平移恰好覆盖群 $\mathbb{Z}^2 \times \mathbb{Z}/2\mathbb{Z}$ 当且仅当数独谜题存在解。
• 应用结构定理将密铺分解为周期与非周期分量，确保密铺的整体结构反映数独实例的逻辑一致性。
• 利用编码映射 $\iota_0$ 的单射性以及 $\iota_0(\mathbb{Z}/q\mathbb{Z})$ 与 $-\iota_0(\mathbb{Z}/q\mathbb{Z})$ 的不相交性，实现唯一标记并防止密铺中的冲突。
• 通过图灵机模拟将一般密铺问题约化为逻辑决策问题，证明单密铺问题的可解性等价于停机问题。

实验结果

研究问题

• RQ1 在 $d \geq 3$ 时，给定其在 $\mathbb{Z}^2$ 中的可判定性，$\mathbb{Z}^d$ 中的平移单密铺问题是否可判定？
• RQ2 能否将 Wang 密铺的不可判定性扩展到更高维或几乎 $\mathbb{Z}^2$ 群中的单 tile（单密铺）情形？
• RQ3 是否存在一个固定的有限阿贝尔群 $G_0$，使得 $\mathbb{Z}^2 \times G_0$ 中的平移单密铺是不可判定的？
• RQ4 尽管构造的密铺具有非周期性，但在几乎 $\mathbb{Z}^2$ 空间中，周期性平移单密铺的不可判定性是否仍然成立？
• RQ5 在 $\mathbb{Z}^2$ 中，能否将实现不可判定性所需的最少 tile 数量减少至 11 以下，特别是减少到 2 个，特别是在单密铺情形下？

主要发现

• 在任意有限阿贝尔群 $G_0$ 下，$\mathbb{Z}^2 \times G_0$ 中的平移单密铺问题是不可判定的，解决了高维中可判定性的开放问题。
• 通过将任意 $(\mathcal{S}, \mathcal{C})$-数独谜题编码为 $\mathbb{Z}^2 \times \mathbb{Z}/2\mathbb{Z}$ 上的平移单密铺问题，证明了密铺存在当且仅当数独谜题可解。
• 任何可解的数独谜题都对应唯一的平移单密铺，反之亦然，该对应关系通过映射 $\iota_0$ 和 $\iota_1$ 实现双射编码。
• 该构造确保密铺为非周期性，这意味着不可判定性结果不适用于同一设定下的周期性单密铺。
• 该结果意味着 $\mathbb{Z}^d$（对所有 $d \geq 3$）中的平移单密铺是不可判定的，因为 $\mathbb{Z}^d$ 包含某个有限群 $G_0$ 的子群 $\mathbb{Z}^2 \times G_0$。
• 一个开放问题仍存在：是否存在一个固定的有限阿贝尔群 $G_0$，使得 $\mathbb{Z}^2 \times G_0$ 中的单密铺是不可判定的，尽管当前结果适用于可变的 $G_0$。