[论文解读] The structure of low complexity subshifts

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

Mathematical Dynamics and Fractals被引用 4

一句话总结

本文通过提供线性复杂度和非超线性复杂度增长的极小子移位的完整 $σ$-adic 特征刻画，解决了长期存在的 $σ$-adic 猜想。它证明了此类子移位可由根词数量有界且长度比受控的 $σ$-adic 序列生成，统一了 $σ$-adic 工具的应用，并简化了如 Cassaigne 定理等先前结果的证明。

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 框架扩展至非超线性复杂度子移位，使其适用范围超越线性增长。
• 证明新刻画可统一并简化已知结果（如 Cassaigne 定理）的证明。
• 建立极小子移位在非超线性复杂度增长下具有有限拓扑秩的结论，基于新的 $σ$-adic 结构。

提出的方法

• 引入一种新的 $σ$-adic 特征刻画，包含三个关键条件：有界根词数量、字母图像间长度比受控，以及每阶段图像长度有界。
• 通过 $σ$-adic 序列 $(σ_n: \mathcal{A}_{n+1} \to \mathcal{A}_n^+)$ 的去代换过程，表示低复杂度的子移位。
• 利用词集 $\mathcal{V}_{n,w}$ 和 $\mathcal{W}_n$ 的组合界来控制复杂度增长，并确保子移位语言的统一有界性。
• 采用 $\operatorname{\mathsf{root}}(w)$（即词 $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 框架中，简化了已知结果（如 Cassaigne 定理）的证明。
• 证明依赖于对词集 $\mathcal{V}_{n,w}$ 的有界性控制，并通过比较 $\sigma_{[0,n)}(a)$ 与 $\sigma_{[0,n)}(b)$ 的长度来控制复杂度增长。