[論文レビュー] Undecidability of translational monotilings

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

Cellular Automata and ApplicationsComputer Science被引用数 3

ひとこと要約

本稿は、有限アーベル群 $G_0$ に対して、$\mathbb{Z}^2 \times G_0$ のような virtually $\mathbb{Z}^2$ 空間における移動的単タイリングの決定不能性を、$(\sigma, \mathcal{C})$-スゥドクープuzzleを単タイリング問題に符号化することで確立している。著者らは、ベルジャーのチューリング完全性の議論を複数タイルのタイリングから単一タイルのタイリングへ拡張し、このような群において与えられたタイルが移動的タイリングを許容するかを判定するアルゴリズムが存在しないことを証明した。これにより、$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$ における決定可能性結果に続くものである。
• 有限アーベル群 $G_0$ に対して、$\mathbb{Z}^2 \times G_0$ のような virtually $\mathbb{Z}^2$ 空間における移動的単タイリングがアルゴリズム的に決定不能であることを確立する。
• 複数タイルのタイリングにおけるベルジャーの決定不能性の証明枠組みを、単一タイルの状況に拡張し、単タイリング設定におけるチューリング完全性を示す。
• $\mathbb{Z}^2 \times \mathbb{Z}/2\mathbb{Z}$ 上の移動的単タイリング問題に $(\mathcal{S}, \mathcal{C})$-スゥドクープuzzleを構成的に符号化し、タイリングの可解性とパズルの可解性を結びつける。
• $\mathbb{Z}^d$ や virtually $\mathbb{Z}^2$ 群における単タイリングの決定可能性状態を解消し、タイリング理論における主要な空白を埋める。

提案手法

• $(\mathcal{S}, \mathcal{C})$-スゥドクープuzzleを、$\mathbb{Z}^2 \times \mathbb{Z}/2\mathbb{Z}$ 上の移動的単タイリング問題に符号化し、タイル $F$ を用いてスゥドクーの値と制約を両方符号化する。
• $p$-進スゥドクー則を用いて、タイリング全体にわたる局所的整合性条件を強制し、スゥドクーのグリッドの各行、各列、各ブロックが必要な制約を満たすようにする。
• タイル $F$ を構成し、その平行移動が群 $\mathbb{Z}^2 \times \mathbb{Z}/2\mathbb{Z}$ をちょうど一度ずつ被覆するための必要十分条件として、スゥドクープuzzleの解が存在することを保証する。
• 構造定理を適用してタイリングを周期的および非周期的成分に分解し、タイリングのグローバル構造がスゥドクーインスタンスの論理的一致性を反映することを保証する。
• $\iota_0$ の単射性と、$\iota_0(\mathbb{Z}/q\mathbb{Z})$ と $-\iota_0(\mathbb{Z}/q\mathbb{Z})$ の互いに素である性質を用いて、タイリングにおける一意なラベリングを強制し、競合を防ぐ。
• チューリングマシンのシミュレーションを通じて一般タイリング問題を論理的意思決定問題に還元し、単タイリング問題の可解性が停止問題と同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{Z}^2$ における決定可能性に続く $d \geq 3$ における $\mathbb{Z}^d$ における移動的単タイリング問題の決定可能性は何か？
• RQ2 ワングタイリングの決定不能性は、高次元または virtually $\mathbb{Z}^2$ 群における単一タイル（単タイリング）の場合に拡張可能か？
• RQ3 任意の有限アーベル群 $G_0$ に対して、$\mathbb{Z}^2 \times G_0$ における移動的単タイリングが決定不能であるような固定された有限アーベル群 $G_0$ が存在するか？
• RQ4 非周期的タイリングが構成されているにもかかわらず、$\mathbb{Z}^2 \times G_0$ のような virtually $\mathbb{Z}^2$ 空間における周期的移動的単タイリングの決定不能性は成立するか？
• RQ5 $\mathbb{Z}^2$ における決定不能性に必要なタイルの最小数を、特に単タイリングの場合に11未塔に減らすことは可能か、2にまで可能か？

主な発見

• 任意の有限アーベル群 $G_0$ に対して、$\mathbb{Z}^2 \times G_0$ における移動的単タイリング問題は決定不能である。これは、高次元における決定可能性という未解決問題を解決した。
• 任意の $(\mathcal{S}, \mathcal{C})$-スゥドクープuzzleを、$\mathbb{Z}^2 \times \mathbb{Z}/2\mathbb{Z}$ 上の移動的単タイリング問題に符号化し、タイリングが存在するための必要十分条件として、パズルが解けることである。
• 解けるスゥドクープuzzleは、$\iota_0$ と $\iota_1$ の写像を用いた双対符号化により、一意な移動的単タイリングに対応し、逆にその逆も成り立つ。
• 構成により、タイリングは非周期的であることが保証され、これは決定不能性の結果が同様の設定における周期的単タイリングに拡張されないことを示唆する。
• この結果により、すべての $d \geq 3$ に対して $\mathbb{Z}^d$ における移動的単タイリングの決定不能性が示された。なぜなら、$\mathbb{Z}^d$ は適切な有限群 $G_0$ を用いて $\mathbb{Z}^2 \times G_0$ を部分群として含むからである。
• 依然として未解決の問題として、固定された有限アーベル群 $G_0$ に対して、$\mathbb{Z}^2 \times G_0$ における単タイリングが決定不能であるかどうかが残っているが、現在の結果は変動する $G_0$ に対して成立する。