[論文レビュー] 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 を持つならば、その平行移動は最終的に繰り返され、周期的構造が生じる。