[論文レビュー] 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$ における周期的集合のレベル1タイル張りは弱周期的でなければならないことを証明するが、$ℤ^2$ における高レベルタイル張りが弱周期的でないこともある反例を構成する。2次元において周期的タイル張りの周期に多項式的境界を与えることで、タイリング問題に対する指数時間で決定可能な境界が得られ、1次元のタイルに対して明示的な普遍周期公式が導出される。

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におけるタイル張りが弱周期的でなければならないかどうかを調査し、特にレベル1と高レベルタイル張りの違いを明確にすること。
• 周期的境界を用いて計算複雑性を束縛することで、ℤ^2におけるタイリング問題の決定可能性を特定すること。
• 1次元タイルのすべてのタイル張りに対して明示的な普遍周期公式を導出することにより、タイリング理論における周期性に関する既知の結果を一般化すること。

提案手法

• 1次元部分群に沿ったタイル集合の周期的成分への分解を用いて、ℤ^2における弱周期性を分析する。
• 「カメレオンスライス」の議論を適用し、コセット上での代替1周期スライスと周期的タイル集合を比較することで、非1周期的タイル張りを検出する。
• 指示関数を用いてタイル張りを代数的に特徴付けるための畳み込み恒等式 $̄†_{F}*̄†_{A}=k\mathds{1}_{E}$ を用いる。
• 格子構造と部分群不変性を用いて周期的タイル張りの周期を束縛することで、タイル張りの存在問題を有限探索に還元する。
• M\mathbb{Z}^2-周期的集合の構造とそのコセットスライスを活用し、計算可能な条件を用いてすべての可能なタイル張りを分類する。
• コセットスライスにおける「スライド移動」を用いて、有限個の2重周期的基本タイル張りからすべてのタイル張りを構成する構成的メソッドを導入する。

実験結果

リサーチクエスチョン

• RQ1 ℤ^2における周期的集合のレベル1タイル張りは、すべて弱周期的でなければならないか？
• RQ2 ℤ^2における高レベルタイル張りが弱周期的でないものとして存在し得るか？
• RQ3 与えられた有限タイルに対して、ℤ^2における周期的タイル張りの最小周期は何か？
• RQ4 有限部分集合 F ⊂ ℤ^2 が格子をタイル張り可能かどうかを判定する問題は決定可能であり、その計算複雑性は何か？
• RQ5 1次元タイルのすべてのタイル張りに対して明示的な普遍周期を導出可能か？

主な発見

• ℤ^2における周期的集合のレベル1タイル張りは、すべて弱周期的である。すなわち、1方向に周期的である集合の互いに素な和集合である。
• ℤ^2における弱周期的でない高レベルタイル張りが存在する。これは、弱周期的性質が高レベルにまで拡張されないことを示している。
• ℤ^2における周期的タイル張りの予想は、定量的に解決され、任意の周期的タイル張りの周期に多項式的境界 $O(|F|^{O(d)})$（次元 $d=2$）が得られた。
• 有限タイル $F \to ℤ^2$ が格子をタイル張り可能かどうかを判定する問題の計算複雑性は、多項式的周期境界のおかげで $|F|$ の指数関数的以下である。
• 1次元タイルのすべてのタイル張りに対して、その成分の周期の最小公倍数によって与えられる明示的な普遍周期公式が導出された。
• ℤ^2における与えられた周期的集合のすべてのタイル張りは、有限個の2重周期的基本タイル張りからコセットスライスにおける「スライド移動」を用いて得られるため、任意のタイル張りの性質について有限計算が可能である。