[论文解读] The automorphism group of a minimal shift of stretched exponential growth

Van Cyr, Bryna Kra|arXiv (Cornell University)|Sep 28, 2015

Mathematical Dynamics and Fractals参考文献 7被引用 9

一句话总结

该论文证明了具有拉伸指数或多项式复杂度增长的极小子移位的自同构群是可均的，且其有限生成、无挠子群表现出次指数或几乎幂零的结构。关键结果表明，当增长速率低于 $ n^{1/2} $（拉伸指数）或 $ o(n^d) $（多项式）时，自同构群受到严格约束，这与正熵系统中所见的丰富结构形成鲜明对比。

ABSTRACT

The group of automorphisms of a symbolic dynamical system is countable, but often very large. For example, for a mixing subshift of finite type, the automorphism group contains isomorphic copies of the free group on two generators and the direct sum of countably many copies of $\mathbb{Z}$. In contrast, the group of automorphisms of a symbolic system of zero entropy seems to be highly constrained. Our main result is that the automorphism group of any minimal subshift of stretched exponential growth with exponent $<1/2$, is amenable (as a countable discrete group). For shifts of polynomial growth, we further show that any finitely generated, torsion free subgroup of Aut(X) is virtually nilpotent.

研究动机与目标

• 研究零熵符号动力系统中自同构群的代数结构。
• 确定因子复杂度 $ P_X(n) $ 的增长速率如何约束 $ \mathrm{Aut}(X) $ 的群论性质。
• 将先前关于线性和次二次复杂度的结果扩展到更广泛的类别，包括拉伸指数和多项式增长。
• 表明在复杂度增长缓慢的极小子移位中，可均性和幂零性约束会显现。
• 解决一个开放问题：零熵系统的自同构群是否本质上比正熵系统的自同构群更受约束。

提出的方法

• 利用具有长唯一扩展的可延展词来控制自同构群元素的增长。
• 通过Bass-Guivarc’h公式应用Gromov关于多项式增长群的定理，以界定幂零子群的步数。
• 利用van den Dries和Wilkie对Gromov定理的强化，将增长界应用于无限序列的 $ n $。
• 通过复杂度界 $ P_X(n) $ 估计 $ \mathrm{Aut}_{Rm}(X) \cap G $ 的大小，从而得出次指数或多项式增长的估计。
• 使用Curtis-Hedlund-Lyndon定理确保自同构由有限模式唯一确定。
• 利用无挠群在极小系统上作用时对一般词具有平凡稳定子群的事实，推导出自同构群元素映射的单射性。

实验结果

研究问题

• RQ1 能否证明具有拉伸指数复杂度增长 $ < n^{1/2} $ 的极小子移位的自同构群是可均的？
• RQ2 多项式复杂度增长 $ o(n^d) $ 对 $ \mathrm{Aut}(X) $ 的有限生成、无挠子群的结构施加了何种约束？
• RQ3 当复杂度为次三次时，极小子移位的自同构群是否可能包含非交换幂零子群？
• RQ4 能否为复杂度增长慢于 $ n^{1/2} $ 的极小子移位建立 $ \mathrm{Aut}(X) $ 的可均性？
• RQ5 若不存在Heisenberg群作为子群，是否意味着在次三次复杂度下，所有有限生成、无挠子群均为几乎阿贝尔的？

主要发现

• 对于任意具有拉伸指数复杂度增长速率 $ \beta < 1/2 $ 的极小子移位，其自同构群 $ \mathrm{Aut}(X) $ 是可均的。
• 此类系统中，所有有限生成、无挠子群均具有次指数增长。
• 对于具有多项式复杂度 $ o(n^d) $ 的极小子移位，所有有限生成、无挠子群均为几乎幂零的，且其多项式增长速率至多为 $ d-1 $。
• 幂零子群的步数上界为 $ \left\lfloor \frac{-1 + \sqrt{8d - 7}}{2} \right\rfloor $，提供了精确的结构约束。
• 当 $ d = 3 $ 时，所有有限生成、无挠子群均为几乎阿贝尔的，优于先前结果。
• 证明技术依赖于构造具有唯一扩展的长词，并利用复杂度界控制自同构群元素的增长。