[論文レビュー] On the automorphism group of minimal S-adic subshifts of finite alphabet rank

Bastíán Espinoza, Alejandro Maass|arXiv (Cornell University)|Aug 13, 2020

semigroups and automata theory参考文献 12被引用数 4

ひとこと要約

この論文は、有限のアルファベットランクをもつ最小S-adic符号系の自己同型群が、 virtually ℤ であることを証明している。これは、低複雑性符号系に関する先行研究を拡張したものである。証明は、このような系が有限個の漸近的類をもつことを示す組合せ的解析に依拠しており、これにより自己同型群の代数的構造が、ほぼ巡回的であることが制限される。

ABSTRACT

It has been recently proved that the automorphism group of a minimal subshift with non-superlinear word complexity is virtually $\mathbb{Z}$ [DDPM15, CK15]. In this article we extend this result to a broader class proving that the automorphism group of a minimal S-adic subshift of finite alphabet rank is virtually $\mathbb{Z}$. The proof is based on a fine combinatorial analysis of the asymptotic classes in this type of subshifts, which we prove are a finite number.

研究の動機と目的

• 非超線形複雑性をもつ最小符号系の自己同型群が virtually ℤ であるという結果を、より広いクラスの系へ一般化すること。
• 有限のアルファベットランクをもつ最小S-adic符号系の自己同型群の構造を研究すること。
• S-adic符号系において有限個の漸近的類が存在することは、自己同型群がほぼ巡回的であることを示すこと。
• 既知の低複雑性符号系に関する結果（置換系、線形再帰的系、区間移動変換の記号的符号化など）を統合・拡張すること。

提案手法

• 語の構造と因数分解に関する組合せ的技法を用いて、S-adic符号系の漸近的類を分析すること。
• 初期記号が異なる因数可能系列に対して、左閉じる接頭部の可能な数に有限の上限を与えること（長さ ⟨W⟩）。
• [DDMP16] で用いられた漸近的類の議論の精密化版を適用し、有限個の漸近的類が virtually ℤ 自己同型群を意味することを示すこと。
• 指令系列が至る所成長的でかつ有限のアルファベットランクをもつことにより、漸近的類が有限個であることを保証すること。
• 導出語の周期性に関する議論を用いて、最小周期と接頭語・接尾語の関係を通じて自己同型の構造を制限すること。
• 認識可能で、原始的かつ適切なS-adic系の性質を活用し、自己同型群における構造的剛性を保証すること。

実験結果

リサーチクエスチョン

• RQ1 有限のアルファベットランクをもつ最小S-adic符号系の自己同型群は、非超線形複雑性符号系と同様に virtually ℤ のままであろうか？
• RQ2 有限のアルファベットランクをもつS-adic符号系に存在しうる漸近的類の数はいくつであり、その数は一様に有界であろうか？
• RQ3 有限のアルファベットランクをもつS-adic系の組合せ的構造を用いて、その自己同型群の代数的構造を制限できるか？
• RQ4 低複雑性符号系の自己同型群に関する結果は、トポロジカルランクが有限のS-adic符号系というより広いクラスへどの程度まで拡張可能であろうか？
• RQ5 指令系列にどのような条件を課すと、自己同型群が virtually ℤ であるだけでなく、有限生成であるかどうかも保証できるか？

主な発見

• 任意の有限のアルファベットランクをもつ最小S-adic符号系の自己同型群は、virtually ℤ である。
• このような系における漸近的類の数は有限であり、この有限性が群のほぼ巡回的性質の鍵となっている。
• 初期記号が異なる因数可能系列に対して、長さ ⟨W⟩ の左閉じる接頭部の可能な数には、122(|W|)^7 以下の均一な上限が存在する。
• 証明により、自己同型群はシフトと有限群によって生成され、Aut(X,T)/⟨T⟩ が有限であることが示された。
• この結果は、すべての有限トポロジカルランクをもつ最小S-adic符号系に適用可能であり、置換符号系、線形再帰的系、区間移動変換の記号的符号化を含む。
• この定理は、非超線形複雑性符号系に関する先行結果を拡張し、有限ランクのBratteli-Vershik系のレベル符号系およびその記号的因子を含む。