[论文解读] Factorizations of the Fibonacci Infinite Word

Gabriele Fici|arXiv (Cornell University)|Aug 27, 2015

semigroups and automata theory参考文献 8被引用 6

一句话总结

本文通过斐波那契数的性质和齐肯多夫表示法，对斐波那契无限词的多种分拆提供了统一且初等的推导。结果表明，基于斐波那契词、其逆序词以及相关构造（如Lyndon、Lempel-Ziv、Crochemore）的分拆，均可系统地从基本的斐波那契恒等式推导得出，从而为理解斐波那契词的组合结构提供了一个连贯的框架。

ABSTRACT

The aim of this note is to survey the factorizations of the Fibonacci infinite word that make use of the Fibonacci words and other related words, and to show that all these factorizations can be easily derived in sequence starting from elementary properties of the Fibonacci numbers.

研究动机与目标

• 综述并统一已知的使用斐波那契词及相关结构的斐波那契无限词分拆。
• 证明所有此类分拆均可从斐波那契数的初等性质和齐肯多夫表示法推导得出。
• 提出一种系统化且初等的证明框架，简化此前复杂或技术性较强的分拆证明。
• 将洞察推广至标准斯特尔米安词，突出其结构上的相似性。

提出的方法

• 利用恒等式 $1 + \sum_{i=1}^n F_i = F_{n+2}$ 建立斐波那契词的基本性质。
• 以整数的齐肯多夫表示法为基础，将斐波那契无限词定义为该表示中最低位的奇偶性。
• 通过递推关系 $f_n = f_{n-1}f_{n-2}$，利用数学归纳法和逆序操作推导分拆。
• 通过操纵斐波那契词的逆序并利用其交替起始模式推导分拆。
• 通过结构和组合分析，建立分拆与已知字符串分拆方法（如Crochemore、Lempel-Ziv、Lyndon）之间的联系。
• 通过将递推结构扩展至基于连分数的序列，将结果推广至标准斯特尔米安词。

实验结果

研究问题

• RQ1 如何从一个共同且初等的基础上推导出所有已知的斐波那契无限词分拆？
• RQ2 齐肯多夫表示法和斐波那契数恒等式在构建这些分拆中起到什么作用？
• RQ3 为何基于斐波那契词逆序的分拆会产生相同的无限词？其何种结构特性确保了这一点？
• RQ4 Lyndon、Lempel-Ziv 和 Crochemore 等分拆与斐波那契词的递归结构有何关联？
• RQ5 这些分拆在多大程度上可推广至其他标准斯特尔米安词？

主要发现

• 斐波那契无限词 $f$ 可分拆为 $\prod_{n \geq 2} \widetilde{f_n}$，即从 $f_2 = 0$ 开始的所有斐波那契词逆序的连接，这与 Crochemore 分拆基本一致，仅存在微小差异。
• 分拆 $f = \prod_{n \geq 2} \widetilde{f_{2n}}$（偶数索引斐波那契词逆序的连接）在所有其因子的有限排列中字典序最小。
• 分拆 $f = 0 \cdot \prod_{n \geq 2} \widetilde{f_{2n+1}}$ 表明，在奇数索引斐波那契词逆序前添加一个 $0$ 可得到完整的斐波那契词。
• 恒等式 $f = 01 \cdot \prod_{n \geq 2} (\widetilde{f_n})^2$ 表明，斐波那契词可通过在初始的 $01$ 后对斐波那契词逆序进行平方运算而生成。
• 所有分拆均可系统地从递推关系 $f_n = f_{n-1}f_{n-2}$ 和逆序恒等式 $\widetilde{f_n} = \widetilde{f_{n-2}}\widetilde{f_{n-1}}$ 推导得出，从而实现统一且初等的证明方法。
• 结果可推广至标准斯特尔米安词，其中基于连分数系数的递推结构将分拆框架扩展至斐波那契情形之外。