[論文レビュー] Combinatorial substitutions and sofic tilings

Thomas Fernique, Nicolas Ollinger|arXiv (Cornell University)|Sep 27, 2010

Cellular Automata and Applications参考文献 9被引用数 14

ひとこと要約

本稿は、接続性と一貫性を持つルールによって定義される任意の良い組合せ的置換の極限集合が、ソフィックであることを証明している。すなわち、装飾付きタイルを用いた有限の局所的制約によって強制可能である。証明は、階層的な置換構造を局所的タイル装飾に埋め込むための構成的自己模倣技術を用い、従来の結果をより広いクラスの置換へと拡張し、より簡潔な枠組みを提供する。

ABSTRACT

A combinatorial substitution is a map over tilings which allows to define sets of tilings with a strong hierarchical structure. In this paper, we show that such sets of tilings are sofic, that is, can be enforced by finitely many local constraints. This extends some similar previous results (Mozes'90, Goodman-Strauss'98) in a much shorter presentation.

研究の動機と目的

• 良い組合せ的置換の極限集合がソフィックである、すなわち有限の局所的制約によって強制可能であることを確立すること。
• 幾何的条件を組合せ的条件に置き換えることで、従来のソフィック性に関する結果（例：Mozes, Goodman-Strauss）を一般化すること。
• より広いクラスの置換、特に非幾何的置換にも適用可能な、より短く一般的な証明枠組みを提供すること。
• ソフィック構造を強制するのに必要な有限タイルセットのサイズを分析・上限付けること。従来の構成より改善されている。

提案手法

• タイルから連結なマクロタイルへの写像を定める有限ルール集合として、組合せ的置換を定義する。この際、フェースの写像も含む。
• タイルが自身の置換構造を装飾された制約を通じて自己模倣するメカニズムを導入する。
• 親インデックス、隣接インデックス、ネットワーク走査パスをエンコードする装飾をタイルに割り当てることで、有限タイルセット τ を構成する。
• 2つのネットワークを用いる：1つは親情報を追跡し、もう1つはネットワーク間の交差部で制御を局所化することでタイル数を削減する。
• 装飾システムを通じて、極限集合内の任意のタイリングが τ-タイリングとして見なせること、逆に τ-タイリングが極限集合内に存在することを示し、ソフィック性を証明する。
• ルール数、タイル数、フェース数、ネットワーク交差数などのパラメータを用いて、タイルセットサイズの上限を導出する。

実験結果

リサーチクエスチョン

• RQ1 幾何的制約を一切用いずに、組合せ的置換によって生成される極限集合のソフィック性を確立できるか？
• RQ2 置換タイリングの階層的構造を、タイルの有限局所的制約のみでどのようにエンコードできるか？
• RQ3 置換タイリングのグローバル構造を強制できる最小の有限タイルセットのサイズは何か？
• RQ4 正しく保たれる限り、構成を最適化して必要なタイル数を削減できるか？
• RQ5 自己模倣技術は、長方形でない、あるいは高次元の置換へとどの程度一般化可能か？

主な発見

• 任意の良い組合せ的置換の極限集合はソフィックである。これは、装飾付きタイルに対する有限の局所的制約によって特徴付けられることを意味する。
• 従来のアプローチ（Mozes, 1990; Goodman-Strauss, 1998）が用いた幾何的仮定を避けるため、証明は著しく短く、より一般である。
• 親インデックスと隣接インデックスを保持する装飾付きタイルを用いることで、有限タイルセット τ を明示的に構成可能である。
• 初期のタイルセットサイズは、O(r p² m n) で上限づけられる。ここで r はルール数、p はネットワーク上のタイル数、m と n はマクロタイルのフェース数とタイル数である。
• 1つ目のネットワークと交差する2つ目のネットワークを導入することで、タイルセットサイズは約 O(r c p (m + q n)) にまで削減可能であり、Rauzy の場合で約 7000 万タイルにまで減少する。
• さらに最適化のため、全ネットワークタイルを1つの代表タイルに置き換えることで、Rauzy の例ではタイル数を約 25,000 にまで削減可能であり、実用的な改善が著しく可能であることが示唆される。