[论文解读] Lambda Words: A Class of Rich Words Defined Over an Infinite Alphabet

Norman Carey|arXiv (Cornell University)|Mar 4, 2013

semigroups and automata theory参考文献 31被引用 4

一句话总结

本文引入了Λ词——一种基于 $1 < \theta < 2$ 和非负整数 $i,j$ 的形式 $i + j\theta$ 的有序元素之间差值，在无限字母表上生成的右无限序列。证明了Λ词是丰富的（即包含其长度下最大数量的不同回文因子），并表明尽管将其投影到三字母表上可保持回文结构，但由此产生的Γ词并非丰富，凸显了结构属性中的关键差异。

ABSTRACT

Lambda words are sequences obtained by encoding the differences between ordered elements of the form i+jθ, where i and j are non-negative integers and 1 &lt; θ&lt;2. Lambda words are right-infinite words defined over an infinite alphabet that have connections with Sturmian words, Christoffel words, and interspersion arrays. We show that Lambda words are infinite rich words. Furthermore, any Lambda word may be mapped onto a right-infinite word over a three-letter alphabet. Although the mapping preserves palindromes and non-palindromes of the Lambda word, the resulting Gamma word is not rich.

研究动机与目标

• 形式化并分析Λ词，这是一类基于有序集合 $\{i + j\theta \mid i,j \in \mathbb{N}_0\}$ 中差值定义的无限序列。
• 确立Λ词是丰富词，即其长度下可实现不同回文因子的最大数量。
• 研究Λ词的结构属性，包括连分数及其渐近分数在决定字母频率中的作用。
• 考察将Λ词映射到三字母表 $\{0,1,2\}$ 的投影映射 $\gamma$ 的行为，该映射保持回文与非回文结构。
• 阐明Λ词的丰富性与它们投影后得到的Γ词的非丰富性之间的关键区别。

提出的方法

• 将 $S_\theta$ 定义为 $i,j \in \mathbb{N}_0$ 的严格递增序列 $i + j\theta$，并计算其一阶差分序列 $\Delta S_\theta$。
• 应用双射映射 $\lambda$，将 $\Delta S_\theta$ 中的不同差值编码为非负整数，从而构成Λ词 $\Lambda_\theta$。
• 利用 $\theta$ 的连分数渐近分数计算 $\Lambda_\theta$ 中每个字母的频率，将数论性质与词结构联系起来。
• 通过基于Hurwitz链和渐近分数的递归关系，构建将 $\Lambda_\theta$ 映射到三字母表 $\{0,1,2\}$ 的投影 $\gamma$。
• 定义 $\gamma|A - B\theta| = 3 - (\gamma|a_k - b_k\theta| + \gamma|(A - a_k) - (B - b_k)\theta|)$，确保其像为 $\{0,1,2\}$ 上的良定义词 $\Gamma_\theta$。
• 验证 $\Lambda_\theta$ 中的回文与非回文结构在 $\Gamma_\theta$ 中被保留，但通过展示 $\Gamma_\vartheta$ 中存在一个非丰富的六字母因子 $012120$，证明 $\Gamma_\theta$ 并非丰富词。

实验结果

研究问题

• RQ1 基于 $i + j\theta$ 的差值在无限字母表上定义的Λ词是否为丰富词，即是否包含其长度下最大数量的不同回文因子？
• RQ2 $\theta$ 的连分数渐近分数如何决定 $\Lambda_\theta$ 中每个字母的频率？
• RQ3 从 $\Lambda_\theta$ 到三字母表的投影 $\gamma$ 是否保持回文结构？若是，对所得Γ词有何影响？
• RQ4 尽管 $\Gamma_\theta$ 保留了 $\Lambda_\theta$ 中的回文与非回文结构，为何其本身并非丰富词？
• RQ5 Hurwitz链和渐近分数对在定义递归映射 $\gamma$ 中起什么作用？

主要发现

• 已证明Λ词是丰富的，即其长度下可包含最大数量的不同回文因子。
• $\Lambda_\theta$ 中每个字母的频率由 $\theta$ 的连分数展开的渐近分数决定，第§5节中推导出明确公式。
• $\Lambda_\theta$ 中的回文最多仅包含三种不同字母，这是由 $i + j\theta$ 值的底层排序结构所导致的结构性限制。
• 投影 $\gamma$ 将 $\Lambda_\theta$ 映射为 $\{0,1,2\}$ 上的右无限词 $\Gamma_\theta$，并保持回文与非回文结构。
• 尽管如此， $\Gamma_\theta$ 并非丰富词，这通过在 $\Gamma_\vartheta$ 中存在一个非丰富的六字母因子 $012120$ 得到证明。
• 当 $\theta = \phi = (\sqrt{5}+1)/2$ 时， $\gamma|A - B\phi|$ 的值模3周期性循环，形式为 $k+1 \mod 3$，表明投影中存在规律性模式。