[论文解读] A multidimensional continued fraction generalization of Stern's diatomic sequence

Thomas A. Garrity|arXiv (Cornell University)|Jun 28, 2012

Mathematical Dynamics and Fractals参考文献 39被引用 4

一句话总结

本文通过将法里多维连分数算法应用于三角形而非区间，引入了斯特恩二项式序列的多维推广——称为斯特恩三元序列。该序列通过三元组上的递归矩阵运算生成，其结构与经典序列具有类比性，包括在有向图中的路径计数解释，以及保持各层级和性质的递推关系。

ABSTRACT

Continued fractions are linked to Stern's diatomic sequence 0,1,1,2,1,3,2,3,1,4,... (given by the recursion relation a_2n=a_n and a_{2n+1} = a_n + a_{n+1}, where a_0=0 and a_1=1), which has long been known. Using a particular multidimensional continued fraction algorithm (the Farey algorithm), we will generalize the diatomic sequence to a collection of numbers that quite naturally should be called the triatomic sequence (or a two-dimensional Pascal with memory sequence). As continued fractions and the diatomic sequence can be thought of as coming from systematic subdivisions of the unit interval, this new triatomic sequence will arise by a systematic subdivision of a triangle. We will discuss some of the algebraic properties for the tri-atomic sequence.

研究动机与目标

• 通过多维连分数将斯特恩二项式序列推广为二维类比形式。
• 通过法里算法对三角形进行系统剖分，建立一种新序列——斯特恩三元序列。
• 探索该新序列的代数与组合性质，包括递推关系与路径计数解释。
• 在经典斯特恩序列性质与其三元推广之间建立类比。
• 提出未来研究的开放问题，包括多项式类比及与其他多维连分数系统的关联。

提出的方法

• 通过初始三元组 (1,1,1) 及对应于顶点标记的三个矩阵 A₀, A₁, A₂，定义三元序列，通过三角形的递归剖分实现。
• 使用索引元组 (i₁,…,iₙ) ∈ {0,1,2}ⁿ 标记第 n 层的子三角形，其关联三元组通过矩阵乘法计算。
• 建立递推关系：δₙ(2n) = δₙ₋₁(n)，δₙ(2n+1) = δₙ₋₁(n) + δₙ₋₁(n+1)，以及 δₙ(3n+2) = δₙ₋₁(n) + δₙ₋₁(n+1) + δₙ₋₁(n+2)。
• 将序列建模为有向图中的路径计数，其中每个三角形通过其顶点向一个新中心顶点生成三条新边。
• 使用矩阵表示 Mb₀…bᵢ 与法里映射，将经典斯特恩序列构造推广至高维。
• 证明第 n 层的条目之和为 3ⁿ⁺¹，且第 n−1 层的每个条目在下一层的和中恰好出现两次。

实验结果

研究问题

• RQ1 如何利用多维连分数将经典斯特恩二项式序列推广至二维设置？
• RQ2 由此产生的三元序列满足哪些代数与递推性质？其与原序列的性质有何对应关系？
• RQ3 三元序列能否被组合解释为由三角形剖分导出的有向图中路径的数量？
• RQ4 法里算法与通过三角形剖分生成三元序列之间存在何种关系？
• RQ5 已知斯特恩序列性质的类比（如超二进制表示或与汉诺塔图的关联）在三元设置中是否存在？

主要发现

• 三元序列通过递归剖分三角形并使用矩阵 A₀, A₁, A₂ 生成，每一层 n 产生 3ⁿ 个子三角形与整数三元组。
• 第 n 层条目总和为 3ⁿ⁺¹，且第 n−1 层的每个条目在下一层和中恰好贡献两次。
• 递推关系 δₙ(2n) = δₙ₋₁(n)，δₙ(2n+1) = δₙ₋₁(n) + δₙ₋₁(n+1)，以及 δₙ(3n+2) = δₙ₋₁(n) + δₙ₋₁(n+1) + δₙ₋₁(n+2) 对该序列成立。
• 该序列可解释为从三个初始顶点到子三角形第 l 个顶点的有向路径数量，该图由连续剖分构建而成。
• 每一层 n 的三个分量之和 δₙ¹(n) + δₙ²(n) + δₙ³(n) 等于 3ⁿ⁺¹，且数值随层级与索引可预测地增长。
• 本文提供了 δₖ(n) 在 k=5 以内的数值表，显示出一致的模式，如 δₖ(1) = 3ᵏ⁺¹ 与 δₖ(3ᵏ+1) = 3ᵏ⁺¹。