[论文解读] Matrix Powers of Column-Justified Pascal Triangles and Fibonacci Sequences

Rhodes Peele, Pantelimon Stănică|ArXiv.org|Oct 18, 2000

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

一句话总结

本文研究了列右对齐的帕斯卡矩阵 $L_n$ 和 $R_n$ 的矩阵幂，推导出 $L_n^e$ 的闭式表达式为 $l_{i,j}^{(e)} = e^{i-j} \binom{i-1}{j-1}$，并揭示了 $R_n^e$ 与斐波那契数列之间的深刻联系。关键贡献在于 $R_n^e$ 满足一个涉及斐波那契系数的线性递推关系，且模素数 $p$ 时 $R_n$ 的阶整除 $4e$，其中 $e$ 是斐波那契序列模 $p$ 的首次出现位置。这导致了模 $p$ 时矩阵阶的精确界限，且对满足 $p \equiv \pm 2 \pmod{5}$ 的素数，界限是紧致的。结果还推广至 $L_n$ 和 $R_n$ 的逆矩阵及特征值猜想，将组合矩阵与斐波那契序列的数论性质联系起来。

ABSTRACT

If L, respectively R are matrices with entries binom{i-1,j-1}, respectively binom{i-1,n-j}, it is known that L^2 = I (mod 2), respectively R^3 = I (mod 2), where I is the identity matrix of dimension n > 1 (see P10735-May 1999 issue of the American Mathematical Monthly). We generalize it for any prime p, and give a beautiful connection to Fibonacci numbers.

研究动机与目标

• 推导出左对齐帕斯卡矩阵 $L_n$ 的 $e$ 次幂 $L_n^e$ 的矩阵元素的闭式表达式。
• 研究 $R_n^e$（右对齐帕斯卡矩阵 $R_n$ 的 $e$ 次幂）是否存在类似的闭式表达式，该表达式难以通过简单形式表示。
• 建立 $R_n^e$ 与斐波那契序列之间的结构性联系，特别是通过涉及斐波那契数的递推关系。
• 确定模素数 $p$ 时 $R_n$ 的阶，证明其整除 $4e$，其中 $e$ 是斐波那契序列模 $p$ 的首次出现位置。
• 将这些结果推广至模矩阵阶，并证明模 $p$ 时 $R_n$ 周期的紧致界限，尤其针对满足 $p \equiv \pm 2 \pmod{5}$ 的素数。

提出的方法

• 通过数学归纳法和矩阵乘法，论文推导出 $L_n^e$ 的闭式表达式 $l_{i,j}^{(e)} = e^{i-j} \binom{i-1}{j-1}$。
• 对于 $R_n^e$，作者定义了一个带有边界条件 $a_{1,n} = 1$，$a_{1,j} = 0$（当 $j \neq n$ 时），以及 $a_{i,j} = a_{i-1,j-1} + a_{i-1,j}$（当 $i \geq 2$，$j \geq 1$ 时）的递推表。
• 论文推导出 $R^2$ 和 $R^3$ 的递推关系，分别为 $b_{i,j+1} = b_{i-1,j+1} + 2b_{i-1,j} - b_{i,j}$ 和 $c_{i+1,j} = 2c_{i,j} + 3c_{i,j-1} - 2c_{i+1,j-1}$。
• 建立一般递推关系：$F_{e-1}a_{i,j}^{(e)} = F_e a_{i-1,j}^{(e)} + F_{e+1} a_{i-1,j-1}^{(e)} - F_e a_{i,j-1}^{(e)}$，将 $R_n^e$ 的元素与斐波那契数联系起来。
• 论文利用斐波那契序列模 $p$ 的性质，包括首次出现位置和皮萨诺周期，分析模 $p$ 时 $R_n$ 的阶。
• 应用已知的数论结果，如 Bloom-Wall 定理和费马小定理，推导出 $R_n^e$ 的模恒等式。

实验结果

研究问题

• RQ1 能否为所有 $e$ 推导出 $L_n^e$ 元素的闭式表达式？
• RQ2 是否存在 $R_n$ 的幂与斐波那契序列之间的结构性关系？
• RQ3 模素数 $p$ 时 $R_n$ 的阶是多少？它与斐波那契序列模 $p$ 的首次出现位置有何关系？
• RQ4 能否为模 $p$ 时 $R_n$ 的阶建立紧致界限？这些界限是否可达？
• RQ5 $R_n$ 的特征值如何与黄金比例及斐波那契数相关？

主要发现

• $L_n^e$ 的元素由闭式公式 $l_{i,j}^{(e)} = e^{i-j} \binom{i-1}{j-1}$ 给出，通过归纳法和矩阵乘法证明。
• 对于 $R_n^2$，元素满足递推关系 $b_{i,j+1} = b_{i-1,j+1} + 2b_{i-1,j} - b_{i,j}$，通过矩阵乘法和边界条件推导得出。
• 对于 $R_n^3$，元素满足 $c_{i+1,j} = 2c_{i,j} + 3c_{i,j-1} - 2c_{i+1,j-1}$，通过递归应用矩阵乘法和递推关系建立。
• $R_n^e$ 的元素满足一般递推关系 $F_{e-1}a_{i,j}^{(e)} = F_e a_{i-1,j}^{(e)} + F_{e+1} a_{i-1,j-1}^{(e)} - F_e a_{i,j-1}^{(e)}$，将矩阵幂与斐波那契数联系起来。
• 模素数 $p$ 时 $R_n$ 的阶整除 $4e$，其中 $e$ 是斐波那契序列模 $p$ 的首次出现位置，且对满足 $p \equiv \pm 2 \pmod{5}$ 的素数，该界限是紧致的。
• 对于 $p \equiv \pm 1 \pmod{5}$，有 $R_n^{p-1} \equiv I_n \pmod{p}$；对于 $p \equiv \pm 2 \pmod{5}$，有 $R_n^{p+1} \equiv (-1)^{n-1} I_n \pmod{p}$，且 $R_n^{2p+2} \equiv I_n \pmod{p}$。