[論文レビュー] The automorphism group of a shift of subquadratic growth

Van Cyr, Bryna Kra|arXiv (Cornell University)|Mar 2, 2014

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

ひとこと要約

この論文は、部分群の複雑さが二次未塔のトポロジカルに推移的であるサブシフトに対して、自己同型群をシフト部分群で割った群が周期的であることを確立している—つまり、すべての元が有限位数を持つ。証明は、1次元自己同型から2次元の着色構成を行い、単純な着色に関する定理を適用して、すべての自己同型が最終的にシフトのべきと可換になることを示し、群構造を制限する。

ABSTRACT

For a subshift over a finite alphabet, a measure of the complexity of the system is obtained by counting the number of nonempty cylinder sets of length $n$. When this complexity grows exponentially, the automorphism group has been shown to be large for various classes of subshifts. In contrast, we show that subquadratic growth of the complexity implies that for a topologically transitive shift $X$, the automorphism group $\Aut(X)$ is small: if $H$ is the subgroup of $\Aut(X)$ generated by the shift, then $\Aut(X)/H$ is periodic.

研究の動機と目的

• 複雑さの成長が遅いサブシフトの自己同型群における構造的制限を理解すること。
• 二次未塔のブロック複雑さが自己同型群のサイズや構造を制限するかどうかを調査すること。
• 二次未塔の成長を示すトポロジカルに推移的サブシフトに対して、自己同型群をシフト部分群で割った群が周期的であることを示すこと。
• フルシフトおよびソフィックシフトの自己同型群に関する既知の結果を、よりゆっくり成長する系へと拡張すること。

提案手法

• 自己同型とシフトの作用を用いて、1次元自己同型から2次元の着色を構成する。
• 二次未塔の複雑さの仮定を用いて、QuasとZamboniのZ²上の単純な着色に関する定理を適用する。
• 自己同型とシフトの作用の下で、Z²上の誘導された着色が二重周期的であることを示す。
• すべての自己同型が σ^{a_φ}φ^{b_φ} = id という形の関係を満たすことを証明し、シフト部分群を法として有限位数であることを示す。
• 位相的推移性を用いて、有限配置からの局所的周期性データを全系へと拡張する。
• H がシフト写像 σ で生成される部分群であるとき、商群 Aut(X)/H が周期的であると結論づける。

実験結果

リサーチクエスチョン

• RQ1 二次未塔のブロック複雑さは、サブシフトの自己同型群の構造を制限できるか？
• RQ2 二次未塔の複雑さを持つトポロジカルに推移的サブシフトの自己同型群は、必然的に小さいのか？
• RQ3 このような系のすべての自己同型は、シフトを法として有限位数の関係を満たすか？
• RQ4 2次元拡張における周期性は、自己同型のダイナミクスを制御できるか？
• RQ5 位相的推移性は、商群 Aut(X)/H における周期性を強制する役割を果たすか？

主な発見

• 任意の二次未塔の成長を示すトポロジカルに推移的サブシフト X に対して、H がシフト写像 σ で生成される部分群であるとき、商群 Aut(X)/H は周期的である。
• すべての自己同型 φ ∈ Aut(X) は、a_φ, b_φ が両方ともゼロでない整数を用いて σ^{a_φ}φ^{b_φ} = id を満たすため、H を法として有限位数である。
• 証明は、自己同型を Z² への着色に持ち上げ、二次未塔の複雑さにおけるこのような着色の単純性を用いる。
• この結果は、スチュルミアンシフト、アーノウ・ローゼシフト、および線形再帰的系に適用可能であり、これらはすべて二次未塔の複雑さを持つ。
• 直接的な自己同型の構成を避けて、複雑さの成長に起因する位相的および組合せ的制約を用いる。
• 鍵となる洞察は、二次未塔の複雑さが誘導された2次元ダイナミクスにおける周期性を強制し、それが自己同型の商群における周期性に逆戻されるということである。