[論文レビュー] Computing modular coincidences

Dirk Frettlöh, Bernd Sing|Jan 4, 2006

semigroups and automata theory参考文献 11被引用数 10

ひとこと要約

この論文は、$ℝ^d$ 内の置換タイリングまたは点集合がモデル集合であるかどうかを決定する計算可能なアルゴリズムを提示する。これは、モジュラー一致のチェックによって達成される。これは、デッキングの一致条件を高次元に一般化し、一致グラフを用いてモジュラー一致と一般化された一致条件の同値性を証明し、有限の上界を持つ反復回数で計算可能性を確立する。

ABSTRACT

Computing modular coincidences can show whether a given substitution system, which is supported on a point lattice in R^d, consists of model sets or not. We prove the computatibility of this problem and determine an upper bound for the number of iterations needed. The main tool is a simple algorithm for computing modular coincidences, which is essentially a generalization of Dekking coincidence to more than one dimension, and the proof of equivalence of this generalized Dekking coincidence and modular coincidence. As a consequence, we also obtain some conditions for the existence of modular coincidences. In a separate section, and throughout the article, a number of examples are given.

研究の動機と目的

• 置換タイリングまたは$ℝ^d$ 内の点集合がモデル集合であるかどうかを決定すること。これは、純粋な点状回折と同値である。
• 高次元の置換システムにおけるモジュラー一致の検証という計算課題に取り組むこと。
• デッキングの一次元一致条件を多次元格子に基づく置換システムに一般化すること。
• モジュラー一致を決定するための反復回数の有限上界を確立すること。
• 与えられた置換システムがモデル集合を生成するかどうかをテストする実用的なアルゴリズムを提供すること。

提案手法

• 頂点がプロトタイリングのペアを表し、辺が平行移動による置換結果を表す一致グラフを構築する。
• 一致グラフ内の単一集合の存在に基づく一般化された一致条件を定義し、デッキングの概念を高次元に拡張する。
• 一致グラフの構造を用いて、モジュラー一致と一般化された一致条件の同値性を証明する。
• 置換行列と格子の陪類への置換作用を用いて、グラフを反復的に計算する。
• グラフ内のすべての経路が最終的に単一集合に到達するかをチェックすることで、モジュラー一致をテストする。
• グラフの有限性と置換行列の正則性を活用し、必要な反復回数の上限を導出する。

実験結果

リサーチクエスチョン

• RQ1 $ℝ^d$ 内の置換システムに対して、モジュラー一致をアルゴリズム的に計算可能か？
• RQ2 高次元におけるモジュラー一致と一般化された一致条件の関係は何か？
• RQ3 どのような条件下で置換システムがモジュラー一致を有するか？
• RQ4 モジュラー一致を決定するために必要な最大反復回数は何か？
• RQ5 一致グラフは、タイリングがモデル集合であるかどうかを決定するためにどのように利用できるか？

主な発見

• 任意の$ℝ^d$ 内の格子上の原始的置換システムに対して、モジュラー一致は計算可能である。
• 一致グラフによる一般化された一致条件は、モジュラー一致と同値であり、デッキングの結果を高次元に拡張する。
• 置換行列の正則性に基づき、モジュラー一致を決定するための反復回数の上界が確立された。
• 一致グラフ内に単一集合が存在することは、モジュラー一致と同値であり、決定基準を提供する。
• このアルゴリズムは、テーブルタイリングやトゥーレ＝モールス列といった既知の例に適用可能であり、それらのモジュラー一致状態を確認した。
• 一致グラフの構築は、重複を扱う分割グラフの一般化であり、回折特性を分析する統一的な枠組みを提供する。