[论文解读] A Combinatorial Interpretation for Certain Relatives of the Conolly Sequence

Balasingham Balamohan, Zhiqiang Li+1 more|ArXiv.org|Jan 7, 2008

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

一句话总结

本文为一族元斐波那契序列 $ h_s(n) $ 提供了组合解释，该序列由参数 $ s \geq 0 $ 定义，表明其计数无限树结构中的叶节点。关键结果是 $ h_s(n) $ 增长缓慢——单调非减，相邻项差值为 0 或 1——且每个正整数恰好被访问两次，唯独 2 的幂被访问 $ s+2 $ 次。

ABSTRACT

For any integer s >= 0, we derive a combinatorial interpretation for the family of sequences generated by the recursion (parameterized by s) h_s(n) = h_s(n - s - h_s(n - 1)) + h_s(n - 2 - s - h_s(n - 3)), n > s + 3, with the initial conditions h_s(1) = h_s(2) = ... = h_s(s+2) = 1 and h_s(s+3) = 2. We show how these sequences count the number of leaves of a certain infinite tree structure. Using this interpretation we prove that h_s sequences are "slowly growing", that is, h_s sequences are monotone nondecreasing, with successive terms increasing by 0 or 1, so each sequence hits every positive integer. Further, for fixed s the sequence h_s(n) hits every positive integer twice except for powers of 2, all of which are hit s+2 times. Our combinatorial interpretation provides a simple approach for deriving the ordinary generating functions for these sequences.

研究动机与目标

• 通过无限树结构，为一族由 $ s \geq 0 $ 参数化的元斐波那契序列 $ h_s(n) $ 提供组合解释。
• 证明 $ h_s(n) $ 增长缓慢——非减，且相邻项之差为 0 或 1——因此每个正整数最终都会被达到。
• 刻画 $ h_s(n) $ 中每个正整数出现的频率，表明 2 的幂恰好出现 $ s+2 $ 次，其余整数恰好出现两次。
• 利用基于树的解释，推导 $ h_s(n) $ 的普通生成函数。
• 将先前在广义康诺利序列研究中使用的组合框架，扩展至一类新的两步递归序列。

提出的方法

• 通过递推关系定义序列 $ h_s(n) $：对 $ n > s+3 $，有 $ h_s(n) = h_s(n - s - h_s(n-1)) + h_s(n - 2 - s - h_s(n-3)) $，初始值为 $ h_s(1) = \cdots = h_s(s+2) = 1 $，$ h_s(s+3) = 2 $。
• 构建一棵无限根树 $ \mathcal{T}_s $，其中节点按特定顺序标记，且 $ h_s(n) $ 表示该树前 $ n $ 个节点中叶节点的数量。
• 通过移除一个孤立节点，构造一棵修改后的树 $ \mathcal{T}'_s $，在保持叶节点计数性质的同时简化结构。
• 对树结构使用递归剪枝过程，将序列值与子树的结构特性及节点标记关联起来。
• 定义一个二进制序列 $ d_s(n) $，用于指示节点 $ n $ 是否为叶节点，并利用自相似模式的嵌套求和，表达其生成函数 $ \mathcal{D}_s(z) $。
• 推导普通生成函数 $ \mathcal{A}_s(z) = \frac{\mathcal{D}_s(z)}{1 - z} $，从而得到包含几何级数及 $ 2 $ 和 $ s $ 的幂的闭式表达式。

实验结果

研究问题

• RQ1 如何通过树结构为由两步自引用递推定义的序列 $ h_s(n) $ 提供组合解释？
• RQ2 为何 $ h_s(n) $ 对所有 $ s \geq 0 $ 均表现出‘缓慢增长’特性——即非减且相邻项差值为 0 或 1？
• RQ3 是什么解释了 $ h_s(n) $ 中数值出现的频率模式，特别是为何 2 的幂恰好出现 $ s+2 $ 次，而其他正整数恰好出现两次？
• RQ4 能否从组合模型推导出 $ h_s(n) $ 的普通生成函数？若能，其闭式表达式是什么？
• RQ5 参数 $ s $ 如何控制 $ h_s(n) $ 中数值出现的多重性？这与树结构中的何种结构性特征相对应？

主要发现

• 序列 $ h_s(n) $ 是单调非减的，且每一步仅增加 0 或 1，确认其为‘缓慢增长’。
• 对每个 $ s \geq 0 $，每个正整数都会出现在 $ h_s(n) $ 中，其中 2 的幂恰好出现 $ s+2 $ 次，其余整数恰好出现两次。
• 序列 $ h_s(n) $ 的生成函数为 $ \mathcal{A}_s(z) = \frac{z}{1-z} + \frac{z^2}{(1-z^2)(1-z)} \sum_{i=1}^\infty z^{s i + 2^i - 1}(1 - z^{2^i}) $，该表达式由基于树的解释推导得出。
• 序列 $ h_s(n) $ 计数的是递归定义的无限树 $ \mathcal{T}_s $ 前 $ n $ 个节点中的叶节点数，其中节点标记与子树结构按特定顺序排列。
• 树结构 $ \mathcal{T}_s $ 由子树 $ \mathcal{S}_i $ 构成，每个子树包含 $ 2^i $ 个基础模式的副本，且在叶节点指示序列中，每个子树前均附加长度为 $ s $ 的零块。
• 生成函数的推导依赖于将叶节点指示序列 $ d_s(n) $ 表示为 $ C_i $ 模式（自相似的 01 块）与长度为 $ s $ 的零块交替连接的形式，从而实现闭式求和。