[论文解读] Three analogues of Stern's diatomic sequence

Sam Northshield|arXiv (Cornell University)|Mar 11, 2015

Advanced Mathematical Theories and Applications参考文献 8被引用 3

一句话总结

本文引入并分析了Stern二元序列的三个新颖类比，每个类比通过不同的结构修改实现：将加法替换为非标准二元运算 $ x \oplus y = x + y + \sqrt{4xy + 1} $，通过与黄金比例相关的互补Beatty序列重新索引，以及将二进制位数替换为Zeckendorf表示中的位数。主要贡献是发现了一个新的整数序列 $ c_n $，其定义基于 $ n $ 的Zeckendorf表示中项数，该序列满足类似Padovan的递推关系，并展现出与Stern序列深刻的结构相似性。

ABSTRACT

We generalize Stern's diatomic sequence in three ways.

研究动机与目标

• 引入并分析Stern二元序列的三个新类比，每个类比修改一个基本组成部分：二元运算、索引结构或数位计数函数。
• 证明一个新序列 $ c_n $（基于 $ n $ 的Zeckendorf表示中项数定义）为整数，并满足类似于Padovan序列的递推关系。
• 研究这些类比的结构与递归性质，特别关注其组合行为以及与Fibonacci序列和Ramanujan的 $ R_n $ 等已知序列的联系。
• 提出关于这些序列行为的开放问题，包括最小值、不等式以及与更高阶递推关系的潜在推广。

提出的方法

• 通过非标准二元运算 $ x \oplus y = x + y + \sqrt{4xy + 1} $ 定义新序列 $ b_n $，其递推关系为 $ b_{2n} = b_n $，$ b_{2n+1} = b_n \oplus b_{n+1} $，并利用 $ \mathbb{Z}[\sigma] $ 中的代数整数（其中 $ \sigma = \frac{1 + \sqrt{5}}{2} $）证明其整性。
• 引入一个由互补Beatty序列 $ \alpha(n) = \lfloor n\phi - 1/\phi^2 \rfloor $，$ \beta(n) = \lfloor n\phi^2 + \phi \rfloor $ 索引的序列 $ R_n $，其中 $ R_n $ 表示将 $ n $ 表示为不同Fibonacci数之和的方式数。
• 通过 $ n $ 的Zeckendorf表示中项数 $ s_F(n) $ 定义新序列 $ c_n $，并将 $ c_n $ 表示为在符号差字符串 $ \Delta_{[0,n)} = s_{[0,n)} - \overline{s}_{[0,n)} $ 上对 $ \sigma $ 的幂次的求和。
• 证明当 $ k \leq F_{n-2} $ 时，恒等式 $ c_{F_{n+2}+k} = c_k + c_{F_n + k} + c_{F_{n-1} + k} $ 成立，从而确立其满足Padovan型递推关系。
• 利用字符串运算（连接、反转、逐点移位）和 $ \sigma $ 的性质（其中 $ \sigma^{-1} + \sigma = 1 $）操作基于Zeckendorf的表达式，推导出递推关系。
• 提出“压碎数组”可视化以揭示模式，包括每一列似乎满足常系数线性递推关系，暗示更深层次的结构规律性。

实验结果

研究问题

• RQ1 序列 $ c_n $（基于 $ n $ 的Zeckendorf表示中项数定义）是否满足类似于Padovan或Fibonacci递推关系的递推关系？
• RQ2 不等式 $ c_{\sigma_2(n)+1} \geq c_{\lfloor n\phi^2 \rfloor} \geq \cdots \geq c_n \geq 0 $ 是否对所有 $ n $ 成立，且压碎数组中每行的最小值是否出现在最左端元素？
• RQ3 观察到的列递推模式——$ x_{n+1} = x_n + x_{n-1} - x_{n-j} $（$ j=1,2,3 $）——能否推广至 $ j=4 $ 的情况？是否存在支持这一进展的统一原理？
• RQ4 给定 $ c_n \geq 0 $ 且所有项均为整数，序列 $ c_n $ 是否计数某种组合或数论对象？
• RQ5 是否存在与新序列 $ c_n $ 关联的函数方程或分形-like结构（类似于Conway的盒子函数或Minkowski的问号函数）？

主要发现

• 序列 $ c_n $（通过 $ n $ 的Zeckendorf表示中项数定义）恒为整数，因其源于 $ \mathbb{Z}[\sigma] $ 中在复共轭下不变的代数整数的对称求和。
• 当 $ k \leq F_{n-2} $ 时，恒等式 $ c_{F_{n+2}+k} = c_k + c_{F_n + k} + c_{F_{n-1} + k} $ 成立，证明该序列满足Padovan型递推关系。
• 压碎数组中 $ c_n $ 的第一列（定义为 $ x_n = c_{F_n} $）满足Padovan递推关系 $ x_{n+2} = x_n + x_{n-1} $，证实其与已知整数序列之间存在深层结构联系。
• 压碎数组中 $ c_n $ 的每一列似乎满足形式为 $ x_{n+1} = x_n + x_{n-1} - x_{n-3} $ 的线性递推关系，提示基于不同数位计数函数定义的序列中存在普遍模式。
• 序列 $ c_n $ 满足不等式 $ c_n \geq 0 $，且压碎数组中每行的最小值似乎出现在最左端元素，尽管此结论仍为猜想。
• 本文识别出递推模式的潜在推广：通过 $ s_F(n) $、$ s_2(n) $ 和 $ R_n $ 定义的序列分别满足 $ j=3,1,2 $ 的递推关系，提示此类序列可能存在一个按 $ j $ 递增的层级结构。