[論文レビュー] The structure of low complexity subshifts

Bastíán Espinoza|arXiv (Cornell University)|May 4, 2023

Mathematical Dynamics and Fractals被引用数 4

ひとこと要約

本稿は、線形成長および非スーパー線形成長の複雑さを示す最小部分符号系について、完全な $σ$-adic 特徴付けを提供することで、長年の $σ$-adic 予想を解決する。このような部分符号系は、有界なルート語数と制御された長さ比を持つ $σ$-adic 列を備えていることが示され、$σ$-adic 手法への統一的アクセスを実現し、カサインの定理などの先行結果の証明を簡略化する。

ABSTRACT

An idea that became unavoidable to study zero entropy symbolic dynamics is that the dynamical properties of a system induce in it a combinatorial structure. An old problem addressing this intuition is finding a structure theorem for linear-growth complexity subshifts using the S-adic formalism. It is known as the S-adic conjecture and motivated several influential results in the theory. In this article, we completely solve the conjecture by providing an S-adic structure for this class. Our methods extend to nonsuperlinear-complexity subshifts. An important consequence of our main results is that these complexity classes gain access to the S-adic machinery. We show how this provides a unified framework and simplified proofs of several known results, including the pioneering 1996 Cassaigne's Theorem.

研究の動機と目的

• 線形成長複雑さを持つ最小部分符号系の構造的特徴付けを $σ$-adic 列を用いて提示するという $σ$-adic 予想を解決すること。
• このような特徴付けのための非自明な条件を定義する課題に取り組み、複雑さ条件を単に再述するような自明な解を避けること。
• 線形成長にとどまらず、非スーパー線形成長の部分符号系に対しても $σ$-adic フレームワークを拡張し、その適用範囲を広げること。
• 新しい特徴付けが、カサインの定理を含む既知の結果の統一的かつ簡略化された証明を可能にすることを示すこと。
• 非スーパー線形成長の最小部分符号系が有限のトポロジカルランクを持つことを、新しい $σ$-adic 構造を用いて確立すること。

提案手法

• 有界なルート語数、文字の像間の長さ比の制御、各段階における像長の有界性という3つの主要条件を用いた、新しい $σ$-adic 特徴付けを導入する。
• 低複雑さの部分符号系を表現するために、$σ$-adic 列 $(σ_n: \mathcal{A}_{n+1} \to \mathcal{A}_n^+)$ を用いた再代入プロセスを適用する。
• 語集合 $\mathcal{V}_{n,w}$ と $\mathcal{W}_n$ に対する組合せ的バウンディングを用いて、複雑さの成長を制御し、部分符号系の言語に対する一様なバウンディングを保証する。
• 語 $w$ の最短原始根 $\operatorname{\mathsf{root}}(w)$ の概念を用いて、再代入プロセスにおける繰り返しと構造を制限する。
• 先行研究の結果（例：[Esp22, DDMP21]）を応用し、新しい $σ$-adic 構造から有限トポロジカルランクを導出する。
• $\langle\sigma_{[0,n)}\rangle$ の発散を用いて、ルート語集合の長さが増大することを保証し、文献からの剛性定理の適用を可能にする。

実験結果

リサーチクエスチョン

• RQ1 最小部分符号系の線形成長複雑さについて、完全な $σ$-adic 特徴付けを与えることは可能か？ これにより $σ$-adic 予想が解決されるか？
• RQ2 $σ$-adic 列にどのような非自明な条件が課されると、生成される部分符号系が線形または非スーパー線形複雑さを持つようになるか？
• RQ3 新しい $σ$-adic 構造は、ゼロエントロピー記号的力学系における古典的結果の証明を統一的かつ簡略化するか？
• RQ4 $σ$-adic フレームワークは非スーパー線形成長の部分符号系へ拡張可能か？ その場合、どのような構造的制約が生じるか？
• RQ5 すべての非スーパー線形成長の最小部分符号系は有限のトポロジカルランクを持つのか？ そして、新しい $σ$-adic 特徴付けを用いてその事実を証明できるか？

主な発見

• 本稿は $σ$-adic 予想を完全に解決する：最小部分符号系が線形成長複雑さを持つことと、条件 $(\mathcal{P}_1)$, $(\mathcal{P}_2)$, および $(\mathcal{P}_3)$ を満たす $σ$-adic 列によって生成されることとは同値である。
• 非スーパー線形成長の部分符号系についても、同様の特徴付けが $(\mathcal{P}_1)$ と $(\mathcal{P}_2)$ のみで成立し、このフレームワークのより広範な適用可能性を示している。
• 基本集合 $S$ の言語複雑さ $p_S(k)$ は一様に有界であり、$p_S(k) \leq (\log_2 d + 7) \cdot 2^{12} d^4$ が成り立つ。これにより構造の有限性が保証される。
• 新しい $σ$-adic 構造により、すべての非スーパー線形成長の最小部分符号系が有限トポロジカルランクを持つことが示され、[DDMP21] の結果が新たな証明を用いて確認された。
• このフレームワークにより、カサインの定理を含む既知の結果の証明が統一的かつ簡略化可能となり、一貫性のある $σ$-adic 環境に統合された。
• 証明は語集合 $\mathcal{V}_{n,w}$ のバウンディングと、$\sigma_{[0,n)}(a)$ と $\sigma_{[0,n)}(b)$ 間の長さ比較を用いて、複雑さの成長を制御することに依存している。