[论文解读] Powers in a class of A-strict standard episturmian words

Amy Glen|arXiv (Cornell University)|Aug 31, 2007

semigroups and automata theory被引用 3

一句话总结

本文使用标准分解和广义奇异词，对一类特定的 A-严格标准 Episturmian 词中的所有整数次幂（平方、立方等）进行表征。证明了此类词是 4 次幂自由的，并给出了其构成块中不同平方和立方数量的显式公式，将先前关于 Sturmian 词和 Fibonacci 词的结果推广到更高阶的广义形式，如 k-bonacci 词。

ABSTRACT

This paper concerns a specific class of strict standard episturmian words whose directive words resemble those of characteristic Sturmian words. In particular, we explicitly determine all integer powers occurring in such infinite words, extending recent results of Damanik and Lenz (2003), who studied powers in Sturmian words. The key tools in our analysis are canonical decompositions and a generalization of singular words, which were originally defined for the ubiquitous Fibonacci word. Our main results are demonstrated via some examples, including the $k$-bonacci word: a generalization of the Fibonacci word to a $k$-letter alphabet ($k\geq2$).

研究动机与目标

• 将 Sturmian 词中整数次幂的表征扩展到更大字母表上的更广类 Episturmian 词。
• 确定 A-严格标准 Episturmian 词中所有非平凡整数次幂（平方、立方等）的出现情况。
• 将奇异词的概念推广到 Episturmian 词，并将其作为分析重复因子的关键工具。
• 为这类词的构成块中不同平方和立方的数量提供显式公式。
• 在 k-bonacci 词（Fibonacci 词向 k 个字母的自然推广）上展示结果。

提出的方法

• 分析依赖于将无限词分解为其基本构成块 s_n 的标准分解，这些构成块是递归定义的。
• 引入广义奇异词作为分析因子结构及其重复性的工具。
• 通过其共轭类及其关联词 D_i 的性质，计算每个构成块 s_n 的指数（最大分数次幂）。
• 推导出定理 6.11、6.12 和 6.17，以确定词中给定长度的不同平方和立方的数量。
• 该方法在 k-bonacci 词上得到验证，其中所有 d_i = 1，从而导出递归构造 s_n = s_{n-1}s_{n-2}...s_{n-k}。
• 通过计数特定词的共轭数来确定长度为 m 的不同幂的数量，显式公式涉及 |D_i|。

实验结果

研究问题

• RQ1 哪些整数次幂出现在 A-严格标准 Episturmian 词中，如何系统地进行表征？
• RQ2 构成块 s_n 中不同平方和立方的数量如何依赖于其结构和共轭类？
• RQ3 奇异词的概念能否有意义地推广到 Fibonacci 和 Sturmian 情况之外的 Episturmian 词？
• RQ4 此类词的最大幂（例如 4 次幂）自由性状态如何？其随指令词的变化如何？
• RQ5 k-bonacci 词（Fibonacci 词的 k 字母推广）的结果与经典 Sturmian 情况相比有何异同？

主要发现

• A-严格标准 Episturmian 词 s 中的所有整数次幂通过分析集合 S = { |s_3|, 2|s_3|, |s_4|, |s_5|, 2|s_5|, |s_3 s_2|, |s_3^2 s_2|, |s_3 s_2^2 s_1|, |s_4 s_3|, |s_5 s_4|, |s_5^2 s_4|, |s_5 s_4 s_3| } 中的长度来确定。
• 当 |s_3| = 11 时，有 11 个不同的平方；当 2|s_3| = 22 时，恰好有 1 个不同的平方，即 s_3^2。
• 当 |s_4| = 32 时，有 32 个不同的平方；当 |s_5| = 58 时，有 58 个不同的平方。
• 对于立方，长度为 |s_3| = 11 时有 11 个不同的立方；长度为 |s_5| = 58 时有 58 个不同的立方；当长度为 |s_4| = 32 时，有 2 个不同的立方，分别对应于 s_4 的前两个共轭。
• k-bonacci 词是 4 次幂自由的，且所有幂均被完全表征：P(|s_n|;2) = C(s_n)，P(|s_n|;3) = {C_j(s_n) : 0 ≤ j ≤ |D_{n-k}|}，且对所有其他 m 和 l ≥ 2，有 P(m;l) = ∅。
• 长度为 |s_n s_{n-1}...s_{n+1-i}| 的不同平方的数量为 |D_{n+1-i}| + 1（对每个 i ∈ [2,k-1]），且这些是唯一的非空幂集。