[论文解读] Recurrence sequences in the hyperbolic Pascal triangle corresponding to the regular mosaic $\{4,5\}

László Németh, László Szalay|Acta Biologica Plantarum Agriensis (Eszterházy Károly University, Hungary)|Jan 21, 2017

Advanced Mathematical Theories and Applications参考文献 1被引用 5

一句话总结

本文研究了双曲平面上基于 {4,5} 正则镶嵌的双曲帕斯卡三角形中的递推序列。研究发现，形如 $ f_n = \alpha f_{n-1} \pm f_{n-2} $ 的二元线性递推序列可通过三角形中的特定路径模式 $ L^\ell R^r $ 表示，关键结果为：此类序列源自三角形中相邻元素出发的路径，且递推参数 $ \alpha $ 与路径参数通过 $ \alpha = \ell r + 2 $ 相关联。

ABSTRACT

Recently, a new generalization of Pascal's triangle, the so-called hyperbolic Pascal triangles were introduced. The mathematical background goes back to the regular mosaics in the hyperbolic plane. In this article, we investigate the paths in the hyperbolic Pascal triangle corresponding to the regular mosaic $\{4,5\}$, in which the binary recursive sequences $f_{n}=αf_{n-1}\pm f_{n-2}$ are represented ($α\in\mathbb{N}^+$).

研究动机与目标

• 表征在 {4,5} 正则镶嵌对应的双曲帕斯卡三角形中，哪些形如 $ f_n = \alpha f_{n-1} \pm f_{n-2} $ 的二元线性递推序列会出现。
• 建立递推序列与三角形顶点结构中特定路径模式 $ L^\ell R^r $ 之间的几何对应关系。
• 确定给定递推序列可通过此类路径嵌入三角形的条件。
• 推导这些路径上中间项的显式公式，并将其与递推参数关联。

提出的方法

• 将双曲帕斯卡三角形视为有向图，其中顶点表示从基底顶点出发的最短路径数量，边表示 {4,5} 镶嵌格点中的转移。
• 应用定理 1，断言任意两个正整数均可作为三角形某一行中相邻元素出现，从而实现从任意此类数对出发的路径构造。
• 定义路径模式 $ L^\ell R^r $，其中 $ L $ 和 $ R $ 分别表示从 A 型顶点向左下和右下移动，用于追踪三角形结构中的序列。
• 推导沿此类路径的递推关系，表明每两个角点元素满足 $ z_{i+2} = (\ell r + 2)z_{i+1} - z_i $。
• 通过序列 $ u_i, v_i $ 及其线性组合 $ w_i = u_i + m v_i $ 的代数运算，推导出一般递推关系 $ w_i = (\ell r + 2)w_{i-1} - w_{i-2} $。
• 应用推论 1 以限制顶点类型（A 型、B 型或边角型），并确保与递推结构的一致性。

实验结果

研究问题

• RQ1 哪些形如 $ f_n = \alpha f_{n-1} \pm f_{n-2} $ 的二元递推序列可嵌入 {4,5} 镶嵌的双曲帕斯卡三角形中？
• RQ2 路径模式 $ L^\ell R^r $ 的参数 $ \ell $ 和 $ r $ 如何与序列中的递推参数 $ \alpha $ 相关联？
• RQ3 在何种条件下，给定的初始值对 $ f_j, f_{j+1} $ 可通过 $ L^\ell R^r $ 在三角形中生成有效路径？
• RQ4 路径上的中间项起什么作用，它们如何通过线性组合与递推关系关联？
• RQ5 能否从三角形中的几何路径模式恢复递推结构？

主要发现

• 所有形如 $ f_n = \alpha f_{n-1} + f_{n-2} $ 且 $ \alpha \in \mathbb{N}^+ $ 的二元递推序列均出现在 {4,5} 镶嵌的双曲帕斯卡三角形中。
• 递推参数 $ \alpha $ 与路径参数的关系为 $ \alpha = \ell r + 2 $，其中 $ \ell $ 和 $ r $ 分别为路径模式 $ L^\ell R^r $ 中的左移与右移步数。
• 对于三角形中任意两个相邻元素 $ u, v $ 且满足 $ u < v $，该行的下一个元素为 $ v - u $，且值为 $ v $ 的顶点为 A 型，而 $ u $ 和 $ v - u $ 均非 A 型。
• 满足 $ 0 \leq m < \ell $ 的序列 $ w_i = u_i + m v_i $ 满足递推关系 $ w_i = (\ell r + 2)w_{i-1} - w_{i-2} $，证实了路径上全局递推结构的存在。
• 当 $ \ell = r $ 时，中间序列满足 $ W_j = \ell W_{j-1} + W_{j-2} $，表明路径对称性与递推形式之间存在直接联系。
• 表示同一递推序列 $ f_i = \alpha f_{i-1} - f_{i-2} $ 的不同路径模式的数量等于 $ \alpha - 2 $ 的正因数个数，因为 $ \ell r = \alpha - 2 $。