[論文レビュー] Computation of extended symmetry groups for multidimensional subshifts with hierarchical structure

Álvaro Parra|arXiv (Cornell University)|Oct 5, 2018

Cellular Automata and Applications参考文献 11被引用数 4

ひとこと要約

本稿では、2次元およびd次元の階層的構造を有するサブシフト（例えば、双射的置換によるサブシフトやロビンソンタイリング）の拡張対称群を分析するための幾何的手法を導入する。特殊な点における大規模なパターンと破断方向を検討することで、拡張対称群が本質的に ℤᵈ であることを証明し、非自明な対称性が座標軸の剛体変換として明示的に特徴付けられることを示す。

ABSTRACT

Automorphism groups are intrincate conjugacy invariants for subshifts, which can reveal important features of the dynamical structure of a shift action. One important case is the study of automorphism groups when the underlying subshift has a very rigid structure, e.g. substitutive subshifts or aperiodic constructions with large-scale self-similarity, such as the Robinson shift. In this work we study the automorphism group of bijective substitutive subshifts, and a potential generalization in the form of the group of extended symmetries, studied previously by Michael Baake, John Roberts and Reem Yassawi (arXiv:1611.05756); these symmetries, by allowing for shearing and other deformations of the underlying group, may reveal additional information of a geometric nature about the structure of these subshifts.

研究の動機と目的

• 階層的組織を有する多次元サブシフトにおける拡張対称群の構造を理解すること。
• 特殊なサブシフト点における大規模な幾何的特徴を分析することで、対称性に課される制約を同定すること。
• 商群 Sym(X,ℤᵈ)/Aut(X,ℤᵈ) を座標軸の剛体変換の集合として特徴付けること。
• ロビンソンタイリングに用いられた手法を、最小および非最小バージョンの両方へと拡張すること。
• 双射的置換サブシフトおよびロビンソンタイリングに対して、拡張対称群が本質的に-ℤᵈ であることを確立すること。

提案手法

• サブシフトにおける禁止される対称方向を特定するために、破断法線方向の概念を用いる。
• スライディングブロック符号を局所関数と有限ウィンドウを用いて表現するため、Curtis-Hedlund-Lyndon定理を適用する。
• 周期的点およびそれらの最大等連続因子（MEF）における像を分析することで、ファイバーの濃度を制約する。
• シフト作用の忠実性を活用し、対称性が構造的および力学的性質を保存することを保証する。
• 再帰的置換構造（例：θᵐ(a)）を用いて、指数関数的に成長するサポートを持つパターンが対称性の下で一致しなければならないことを示す。
• パターンの重なりや破断集合との非自明な交差に基づく背理法を用い、軸に平行でない対称性を除外する。

実験結果

リサーチクエスチョン

• RQ1 階層的構造を有する多次元サブシフト（例えば、双射的置換サブシフト）の可能な対称性は何か？
• RQ2 サブシフトの特殊な点における大規模な幾何的特徴は、拡張対称群をどのように制限するか？
• RQ3 商群 Sym(X,ℤᵈ)/Aut(X,ℤᵈ) の構造は何か？ そして、それを明示的に表現する方法は何か？
• RQ4 最小ロビンソンタイリングに用いられた手法を、非最小バージョンに一般化できるか？
• RQ5 拡張対称性は、このようなサブシフトにおける最大等連続因子（MEF）のファイバー構造をどの程度保存するか？

主な発見

• 双射的置換サブシフトおよびロビンソンタイリングに対して、拡張対称群 Sym(X,ℤᵈ) は本質的に-ℤᵈ である。
• 非自明な拡張対称性は、商群 Sym(X,ℤᵈ)/Aut(X,ℤᵈ) の要素として、座標軸の剛体変換に正確に対応する。
• 破断法線方向は標準的な座標軸に制限され、追加の方向（例えば対角方向）は非自明な対称性を支持できない。
• 証明は背理法に依拠している：非軸に平行な破断方向を仮定すると、指数関数的に成長するサポートにおけるパターンの一貫性と矛盾する。
• 最大等連続因子（MEF）は、拡張対称性の下でもファイバーの濃度を保存するため、周期的点上の可能な写像が制限される。
• 最小置換サブシフトに開発された手法は、非最小バージョンのロビンソンタイリングに対しても直接拡張可能であり、対称性の制約が保たれる。