[论文解读] Divide-and-conquer generating functions. Part I. Elementary sequences

Ralf Stephan|ArXiv.org|Jul 2, 2003

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

一句话总结

本文提出了一套系统框架，用于分析基于二进制数位性质生成序列的分治生成函数（DCGF）。该框架对初等DCGF进行分类，采用闭式有理函数与乘积形式，推导出相应的线性递推关系，并通过其普通生成函数（OGF）与著名整数序列建立联系，从而实现对Thue-Morse序列、二进制权重序列以及Stern的双线性序列等序列的统一分析。

ABSTRACT

Divide-and-conquer functions satisfy equations in F(z),F(z^2),F(z^4)... Their generated sequences are mainly used in computer science, and they were analyzed pragmatically, that is, now and then a sequence was picked out for scrutiny. By giving several classes of ordinary generating functions together with recurrences, we hope to help with the analysis of many such sequences, and try to classify a part of the divide-and-conquer sequence zoo.

研究动机与目标

• 通过普通生成函数（OGF）对由分治递推生成的广泛整数序列类进行分类。
• 识别并形式化一类可表示为 $ z^{2^k} $ 的有理函数之和或积的初等DCGF家族，其系数为整数。
• 建立此类DCGF与基于二进制展开的自相似结构的线性递推之间的直接对应关系。
• 在该框架内系统整理已知序列（如A000120、A001316、A002487）的目录，以供分析与计算使用。

提出的方法

• 将初等分治生成函数定义为涉及 $ z^{2^k} $ 的无穷和或积，其系数依赖于 $ n $ 的二进制数位。
• 基于 $ F(z), F(z^2), \dots $ 的函数方程，推导此类OGF的系数 $ a_n $ 的递推关系，依据 $ n $ 的奇偶性。
• 利用符号计算与经验验证（至索引100）支持所提出的函数方程与递推关系。
• 通过OEIS引用将生成函数与已知序列关联，并表明 $ 2^{e_1(n)} $、$ e_1(n) $ 与 $ 3^{e_1(n)} $ 等序列可通过特定参数选择生成。
• 证明递推结构与索引 $ n $ 的二叉树遍历相对应，从而实现自动机式的解释。
• 将框架推广至包含线性组合与参数化族，如 $ \alpha $-加权递推 $ a_{2n} = \alpha a_n + c $。

实验结果

研究问题

• RQ1 如何利用 $ z^{2^k} $ 的闭式表达式对分治生成函数进行系统分类？
• RQ2 由初等DCGF生成的序列的精确递推结构是什么？其如何反映 $ n $ 的二进制表示？
• RQ3 是否可将Thue-Morse序列、Stern的双线性序列与Gould序列等已知序列统一于单一生成函数框架之下？
• RQ4 函数 $ \sum 2^{e_0(i)} z^i $ 的生成函数是什么，其中 $ e_0(n) $ 表示 $ n $ 的二进制展开中0的个数？
• RQ5 该框架中的所有序列是否均可通过线性代数表示以 2-有理形式表达？

主要发现

• 生成函数 $ \sum_{k=0}^\infty \frac{c^k z^{2^k}}{1 - z^{2^k}} $ 生成满足 $ a_{2n} = c a_n + 1 $、$ a_{2n+1} = 1 $ 的序列，其中 $ |c| > 0 $。
• 乘积 $ \prod_{k=0}^\infty (1 + c z^{2^k}) $ 生成 $ a_n = c^{e_1(n)} $，其递推关系为 $ a_{2n} = a_n $、$ a_{2n+1} = c a_n $。
• 函数 $ \frac{1}{1-z} \sum_{k=0}^\infty \frac{\alpha^k (d z^{2^k} + c z^{2^{k+1}})}{1 + z^{2^k}} $ 生成满足 $ a_{2n} = \alpha a_n + c $、$ a_{2n+1} = \alpha a_n + d $ 的序列。
• 序列 $ e_1(n) $（即 $ n $ 的二进制展开中1的个数）由 $ \sum_{k=0}^\infty \frac{z^{2^k}}{1 + z^{2^k}} $ 生成，对应OEIS A000120。
• 在 $ \{1, -1\} $ 上的Thue-Morse序列既是Mahler型也是初等DCGF，其生成函数为 $ \prod_{k=0}^\infty (1 - z^{2^k}) $。
• 本文识别出 $ \sum 2^{e_0(i)} z^i $ 为非初等DCGF，尽管其满足 $ F(z^2) = (1 + F(z))/(z + 2) $，暗示其存在函数方程。