[論文レビュー] Tree-Shifts: Irreducibility, mixing, and the chaos of tree-shifts

Jung‐Chao Ban, Chih-Hung Chang|arXiv (Cornell University)|Sep 4, 2015

Cellular Automata and Applications参考文献 6被引用数 3

ひとこと要約

本稿では、無限木上の記号的力学系であるツリー・シフト——1次元シフトと多次元シフトの間の中間クラス——を導入する。非可約かつ混合的な有限型ツリー・シフトがデヴァンの意味でカオス的であることを示し、グラフおよびラベル付きグラフ表現を用いて非可約性と混合性を行列の性質に還元し、隣接行列および記号的隣接行列を用いた有限ステップでの検証により、これらの性質に対する決定可能で有界なアルゴリズムを提供する。

ABSTRACT

Topological behavior, such as chaos, irreducibility, and mixing of a one-sided shift of finite type, is well elucidated. Meanwhile, the investigation of multidimensional shifts, for instance, textile systems is difficult and only a few results have been obtained so far. This paper studies shifts defined on infinite trees, which are called tree-shifts. Infinite trees have a natural structure of one-sided symbolic dynamical systems equipped with multiple shift maps and constitute an intermediate class in between one-sided shifts and multidimensional shifts. We have shown not only an irreducible tree-shift of finite type, but also a mixing tree-shift that are chaotic in the sense of Devaney. Furthermore, the graph and labeled graph representations of tree-shifts are revealed so that the verification of irreducibility and mixing of a tree-shift is equivalent to determining the irreducibility and mixing of matrices, respectively. This extends the classical results of one-sided symbolic dynamics. A necessary and sufficient condition for the irreducibility and mixing of tree-shifts of finite type is demonstrated. Most important of all, the examination can be done in finite steps with an upper bound.

研究の動機と目的

• 1次元および多次元記号的系の間の補間的クラスとして、ツリー・シフトにおける位相的複雑性、特に非可約性、混合性、カオス性を調査すること。
• グラフおよびラベル付きグラフ表現を導入することで、古典的記号的力学系の結果をツリー・シフトへと拡張すること。
• 有限で有界なアルゴリズムを提供し、有限型ツリー・シフトの非可約性および混合性を検証すること。
• 混合的および非可約な有限型ツリー・シフトがデヴァンの意味でカオス的であることを確立すること。
• ツリー・シフトにおける指定性、エントロピー、カオス性に関する未解決問題を探求すること。

提案手法

• ツリー・シフトの有限型を隣接行列および記号的隣接行列を用いて表現し、木のノード間の遷移ルールを符号化する。
• 隣接行列上の行列演算を用いてツリー・シフトの非可約性および混合性を定義し、1次元シフト理論を拡張する。
• ラベル付きグラフ表現を導入してツリー・シフトのダイナミクスを視覚化・分析可能とし、性質の有限検証を可能にする。
• 記号的行列のべき乗を用いて完全プレフィックス集合（CPS）の存在を特定し、混合性を証明する。
• 行列の指数に対する上限（例：$ n^3 2^{2(n-1)} $）を適用し、混合性および非可約性の有限ステップでの検証を保証する。
• ツリー・シフトと頂点ツリー・シフトとの間の同相性を活用し、行列に基づく解析を同等のシステムに移行する。

実験結果

リサーチクエスチョン

• RQ1 すべての混合的有限型ツリー・シフトはデヴァンの意味でカオス的か？
• RQ2 すべての非可約有限型ツリー・シフトはデヴァンの意味でカオス的か？
• RQ3 有限ステップで、かつ上限が存在する範囲内で、有限型ツリー・シフトの非可約性および混合性を検証可能か？
• RQ4 記号的隣接行列を用いて、ツリー・シフトにおける指定性をどのように特徴づけられるか？
• RQ5 ツリー・シフトで正の位相的エントロピーが成立するならばカオス性が成立するか？また、混合性によってそのエントロピーが保証されるか？

主な発見

• 非可約かつ混合的な有限型ツリー・シフトは、デヴァンの意味でカオス的であり、1次元シフトの古典的結果を拡張する。
• 有限型ツリー・シフトの非可約性は、関連する隣接行列の非可約性と同値であり、行列に基づく検証が可能になる。
• 有限型ツリー・シフトの混合性は、記号的行列のべき乗における完全プレフィックス集合（CPS）の存在と同値であり、必要な指数の上限が有限に存在する。
• 非可約性および混合性の検証は有限ステップで実行可能であり、記号的隣接行列の指数の上限が $ n^3 2^{2(n-1)} $ で与えられる。
• 隣接行列がすべての遷移ルールを捉えることができるラベル付きグラフ表現を提供し、視覚的および代数的解析を可能にする。
• 本稿では、混合性がカオス性を含むこと、および非可約な有限型ツリー・シフトがカオス的であることを確立し、この新しい系クラスにおける位相的複雑性を確認した。