[论文解读] Beyond substitutive dynamical systems: S-adic expansions

Valérie Berthé, Vincent Delecroix|arXiv (Cornell University)|Sep 16, 2013

Mathematical Dynamics and Fractals参考文献 109被引用 52

一句话总结

本文引入并分析了 $S$-adic 展开式，将其作为替代动力系统的一种推广，通过组合、算术和几何视角将其与连分数联系起来。研究证明，在 Lyapunov 指数满足 Pisot 条件时，$S$-adic 系统生成具有纯离散谱的平衡词，从而推广了经典连分数与 Pisot 替代系统的结果。

ABSTRACT

An S-adic expansion of an infinite word is a way of writing it as the limit of an infinite product of substitutions (i.e., morphisms of a free monoid). Such a description is related to continued fraction expansions of numbers and vectors. A fundamental example of this relation is between Sturmian sequences and regular continued fractions. We study S-adic words from different perspectives, namely word combinatorics, ergodic theory, and Diophantine approximation, by stressing the parallel with continued fraction expansions.

研究动机与目标

• 通过在每一步使用可变替换规则，引入 $S$-adic 展开式，以推广纯替代动力系统。
• 建立 $S$-adic 词与连分数展开式之间的深刻类比，特别是在字母频率向量和关联矩阵方面。
• 研究 $S$-adic 系统的动力学性质，如极小性、不变测度和因子复杂度。
• 刻画 $S$-adic 系统生成平衡词及具有纯离散谱的条件，特别是通过 Lyapunov 指数的 Pisot 条件。
• 统一组合学、遍历理论与丢番逼近的视角，通过 $S$-adic 形式化方法研究无限词。

提出的方法

• 将 $S$-adic 展开式定义为替换序列 $\sigma_0\sigma_1\cdots\sigma_n(a_n)$ 的无限复合极限，推广纯替代词。
• 利用替换的关联矩阵建模阿贝尔化动力系统，并推导字母频率的类连分数向量展开。
• 应用 Oseledets 的乘法遍历定理，分析 $\mu$-几乎处处的指令序列的 Lyapunov 指数 $\theta_1^\mu > \theta_2^\mu$。
• 采用 Dumont-Thomas 的前缀-后缀分解方法，将极限系统中词的频率与有限近似中的频率联系起来。
• 引入 Pisot 条件 $\theta_1^\mu > 0 > \theta_2^\mu$，以确保 $S$-adic 系统中平衡性与纯离散谱。
• 将该形式化方法与 Bratteli-Vershik 图及 Kakutani-Rokhlin 构造联系起来，以连接拓扑与测度论动力系统。

实验结果

研究问题

• RQ1 S-adic 展开式如何推广纯替代系统？在可变替换规则下会涌现出何种动力学性质？
• RQ2 在频率向量与矩阵乘积方面，$S$-adic 系统在多大程度上与连分数展开式具有相似结构？
• RQ3 在 Lyapunov 指数满足何种条件下，$S$-adic 系统会产生具有有界偏差的平衡词？
• RQ4 Pisot 条件在确保 $S$-adic 系统具有纯离散谱方面起什么作用？其与已知的 Rauzy 流形结果有何关联？
• RQ5 如何通过 $S$-adic 形式化统一组合学、算术与几何视角在符号动力学中的应用？

主要发现

• 在一般条件下，$S$-adic 词具有零熵，表明其复杂度较低且具有自相似结构。
• 在 $S$-adic 词中，均匀字母频率向量是无限个关联矩阵乘积的极限，类似于连分数的渐近收敛子。
• 对于 $\mu$-几乎处处的指令序列，相应的 $S$-adic 系统是唯一遍历的，且具有均匀字母频率。
• 在 $S$-adic 词中，字母频率的偏差受 $\exp(n(\theta_2^\mu + \varepsilon))$ 控制，其中 $\theta_2^\mu < \theta_1^\mu$ 决定增长速率。
• 在 Pisot 条件 $\theta_1^\mu > 0 > \theta_2^\mu$ 下，$S$-adic 系统生成平衡词，推广了 Sturmian 与 Arnoux-Rauzy 序列的结果。
• Pisot 条件意味着几乎所有 $S$-adic 展开式（如 Brun 或 Jacobi-Perron 展开式）具有纯离散谱，支持了符号动力学中的 Pisot 猜想。