[論文レビュー] Fixed-point tile sets and their applications

Bruno Durand, Andrei Romashchenko+1 more|arXiv (Cornell University)|Oct 13, 2009

Cellular Automata and Applications参考文献 18被引用数 7

ひとこと要約

本稿は、クレーニーの再帰定理に基づく、周期的でないタイル集合の新規固定点構成を提示する。この手法は幾何的でない柔軟な方法を提供し、強力な耐障害性と複雑性特性を持つタイル集合の生成を可能にする。主な貢献は、疎な誤りを許容してもタイリングにおけるコルモゴロフ複雑性が高く保たれるタイル集合の構築であり、階層的誤り訂正とマクロタイルシミュレーションを通じて、タイリング欠険に対する耐性を示しながら、非周期性と複雑性を保証する。

ABSTRACT

An aperiodic tile set was first constructed by R. Berger while proving the undecidability of the domino problem. It turned out that aperiodic tile sets appear in many topics ranging from logic (the Entscheidungsproblem) to physics (quasicrystals). We present a new construction of an aperiodic tile set that is based on Kleene's fixed-point construction instead of geometric arguments. This construction is similar to J. von Neumann self-reproducing automata; similar ideas were also used by P. Gacs in the context of error-correcting computations. This construction it rather flexible, so it can be used in many ways: we show how it can be used to implement substitution rules, to construct strongly aperiodic tile sets (any tiling is far from any periodic tiling), to give a new proof for the undecidability of the domino problem and related results, characterize effectively closed 1D subshift it terms of 2D shifts of finite type (improvement of a result by M. Hochman), to construct a tile set which has only complex tilings, and to construct a "robust" aperiodic tile set that does not have periodic (or close to periodic) tilings even if we allow some (sparse enough) tiling errors. For the latter we develop a hierarchical classification of points in random sets into islands of different ranks. Finally, we combine and modify our tools to prove our main result: there exists a tile set such that all tilings have high Kolmogorov complexity even if (sparse enough) tiling errors are allowed.

研究の動機と目的

• クレーニーの固定点定理を用いた、幾何的または置換に基づく方法とは異なる、非幾何的で新しい非周期的タイル集合の構築法を開発し、ドミノ問題の決定不能性を示すベルジャの定理の証明を簡略化すること。
• 固定点アプローチの柔軟性を示すために、強力な非周期性、疎な誤りに対する耐性、および複雑なタイリングの強制といった追加的性質を持つタイル集合を構築すること。
• 2次元のフォニート型部分シフトを用いて、効果的に閉じた1次元部分シフトの新たな特徴付けを提供し、ホッハマンの結果を改善すること。
• 疎な誤りが許容される状況下でも、タイリングにおける高いコルモゴロフ複雑性を維持するタイル集合を構築し、新たな耐障害的複雑性の閾値を確立すること。

提案手法

• 自己参照的なタイル集合を生成するため、クレーニーの固定点構成を用い、幾何的または置換に基づく複雑性を回避する。
• マクロタイルを用いて低レベルのタイル集合をシミュレートし、複数レベルの抽象化における階層的構築と誤り訂正を可能にする。
• kレベルのマクロタイルの拡張近傍を用いて、誤りのバイ・アインスランドを同定・訂正する階層的誤り訂正メカニズムを実装する。
• バイ・スパース誤り集合を定義し、レヴィンの性質を用いて、誤りが存在しても局所的領域のコルモゴロフ複雑性が依然として高いことを示す。
• マクロタイルにビット列ωを埋め込むことで、複雑なタイリングを強制するタイル集合を構築し、任意のタイリングが高いアルゴリズム的複雑性を持つことを保証する。
• 可変ズーム係数と耐障害メカニズムを適用し、周期的または準周期的タイリングが、たとえ疎なタイリング誤りがあっても不可能であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 再帰論に基づく固定点構成が、幾何的または置換に基づく方法に代わって、非周期的タイル集合の構築に用いられるか。
• RQ2 このような構成が、非周期性と高いコルモゴロフ複雑性を保ちながら、疎なタイリング誤りに対しても耐性を持つことができるか。
• RQ3 効果的に閉じた1次元部分シフトと2次元のフォニート型部分シフトとの間にどのような関係があるか。また、タイル集合の構築によってこの関係を改善できるか。
• RQ4 すべてのタイリングが、誤りが許容される状況下でも高いコルモゴロフ複雑性を持つようなタイル集合を設計可能か。また、そのような構成を形式的に証明する方法は何か。
• RQ5 階層的誤り訂正をどのように形式化すれば、誤り周辺の有界領域にのみ変更が及ぶようにでき、グローバルなタイリング構造が保たれるか。

主な発見

• 本稿は、幾何的議論を避けて再帰論的原則に依拠する、非周期的タイル集合の新規固定点に基づく構築法を提示する。
• この構築法により、ドミノ問題の決定不能性の新たな証明が可能となり、クレーニーの固定点定理を用いた古典的証明の簡略化が達成される。
• 強力な非周期的タイル集合が構築され、任意のタイリングが周期的である近傍を持たないことが保証される（極限においても含む）。
• 本稿は、すべてのタイリングが高いコルモゴロフ複雑性を持つようなタイル集合を構築し、複雑なタイリングの強制を実現する。
• バイ・スパース誤り集合に対して耐性を持つ、非周期的で頑健なタイル集合が開発され、階層的訂正により非周期性が保たれる。
• 主たる結果として、すべてのタイリングがN×N領域においてコルモゴロフ複雑性Ω(N)を有することを示し、ノイズ下でのアルゴリズム的圧縮に対する耐性を証明する。