[论文解读] Sturm numbers and substitution invariance of 3iet words

Pierre Arnoux, Valérie Berthé+2 more|ArXiv.org|Oct 31, 2007

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

一句话总结

本文证明，一个非退化的3iet词（编码一个置换为(321)的三区间交换）仅当其斜率参数 $\varepsilon = \frac{\alpha + \beta}{\alpha + 2\beta + \gamma}$ 是一个Sturm数时，才可能在某个本原替换下不变。证明基于动力系统与替换动力学，表明该替换的关联矩阵必须具有一个为二次单位的主导特征值，且参数 $c$ 和 $l$ 属于 $\mathbb{Q}(\varepsilon)$。该结果将Sturm数与替换不变性之间的已知联系从Sturmian词推广至3iet词。

ABSTRACT

In this paper, we give a necessary condition for an infinite word defined by a non-degenerate interval exchange on three intervals (3iet word) to be invariant by a substitution: a natural parameter associated to this word must be a Sturm number. We deduce some algebraic consequences from this condition concerning the incidence matrix of the associated substitution. As a by-product of our proof, we give a combinatorial characterization of 3iet words.

研究动机与目标

• 确定非退化3iet词在本原替换下不变的必要条件。
• 将已知的Sturm数与替换不变性之间的联系从Sturmian词推广至3iet词。
• 刻画此类替换的关联矩阵的代数性质。
• 通过两个关联的Sturmian同态，提供3iet词的组合表征。

提出的方法

• 作者利用3iet词作为圆周上旋转诱导系统的几何与动力学解释，借助归一化条件 $\alpha + 2\beta + \gamma = 1$。
• 他们定义了两个同态 $\sigma$ 和 $\sigma'$，将3iet词映射为二元Sturmian词，从而可应用关于Sturmian词不变性的已知结果。
• 证明依赖于与每个字母相关的平移向量 $t_X$ 及其在替换下的作用，使用区间 $I = [c, c+l)$ 上的移位映射 $T^n$。
• 关键论证在于：区间 $I_A$、$I_B$、$I_C$ 的左端点必须与 $\Lambda' E_X$ 在移位映射下的迭代像重合，若 $\Lambda'$ 不是 $\mathbb{Z}[\varepsilon]$ 中的单位，则会导致矛盾。
• 他们应用关联矩阵 $\mathbf{M}_\varphi$ 及其特征值的性质，特别是主导特征值 $\Lambda$ 及其共轭 $\Lambda'$，推导出 $\varepsilon$、$c$ 与 $l$ 的代数约束。
• 证明利用了 $E_X \subset \mathbb{Z}[\varepsilon]$ 以及 $E_{\varphi(X)} = \Lambda' E_X$ 的事实，从而得出 $\Lambda'$ 必须是 $\mathbb{Z}[\varepsilon]$ 中的单位，否则将导致所需不同字母数的矛盾。

实验结果

研究问题

• RQ1 在何种条件下，非退化的3iet词在本原替换下不变？
• RQ2 若一个3iet词在替换下不变，其斜率参数 $\varepsilon = \frac{\alpha + \beta}{\alpha + 2\beta + \gamma}$ 是否必为Sturm数？
• RQ3 此类替换的关联矩阵必须满足何种代数性质？
• RQ4 3iet词的参数 $c$ 与 $l$ 如何与数域 $\mathbb{Q}(\varepsilon)$ 相关联？
• RQ5 3iet词的语言能否通过两个关联的Sturmian同态被完全表征？

主要发现

• 非退化的3iet词仅当其斜率参数 $\varepsilon = \frac{\alpha + \beta}{\alpha + 2\beta + \gamma}$ 为Sturm数时，才可能在本原替换下不变。
• 替换的关联矩阵 $\mathbf{M}_\varphi$ 的主导特征值 $\Lambda$ 是一个二次单位。
• 3iet词的参数 $c$ 与 $l$ 属于数域 $\mathbb{Q}(\varepsilon)$。
• 区间 $I_A$、$I_B$、$I_C$ 的左端点是 $\mathbb{Z}[\varepsilon]$ 中点在映射 $T^n$ 下的迭代像，这迫使 $\Lambda'$ 成为单位。
• 3iet词的语言可被组合表征：当且仅当 $\sigma(u)$ 与 $\sigma'(u)$ 均为Sturmian词时，该语言是非周期的。
• 归一化条件 $\alpha + 2\beta + \gamma = 1$ 被证明是通过其关联Sturmian同态表征3iet词的最优条件。