[论文解读] Determinant and Permanent of Hessenberg Matrix and Generalized Lucas Polynomials

Kenan Kaygısız, Adem Şahіn|arXiv (Cornell University)|Nov 17, 2011

Advanced Mathematical Theories and Applications参考文献 10被引用 7

一句话总结

本文通过赫森堡矩阵建立了广义卢卡斯多项式的行列式与永久式表示，证明了特定赫森堡矩阵的永久式等于广义卢卡斯多项式。进一步证明了在符号变换下，赫森堡矩阵的行列式与永久式之间存在对偶性，统一了斐波那契、卢卡斯与佩林数列及其推广的矩阵代数表示。

ABSTRACT

In this paper, we give some determinantal and permanental representations of Generalized Lucas Polynomials by using various Hessenberg matrices, which are general form of determinantal and permanental representations of ordinary Lucas and Perrin sequences. Then we show, under what conditions that the determinants of the Hessenberg matrix becomes its permanents.

研究动机与目标

• 将斐波那契、卢卡斯与佩林数等经典数列的行列式与永久式表示推广至其多项式形式。
• 利用赫森堡矩阵建立统一框架，以表示广义卢卡斯多项式。
• 探索赫森堡矩阵的行列式等于其永久式的条件。
• 通过矩阵构造推导广义多项式的比奈型公式与递推关系。

提出的方法

• 构造下赫森堡矩阵 $ H_{k,n} $ 与 $ L_{k,n} $，其元素由广义卢卡斯多项式系数 $ t_i $ 衍生，并引入 $ t_2^{i-j} $ 进行归一化。
• 定义矩阵 $ B_n $，使得当 $ j-i=1 $ 时 $ b_{ij} = -a_{ij} $，否则 $ b_{ij} = a_{ij} $，以关联行列式与永久式。
• 对 $ n $ 使用数学归纳法，证明 $ \det(B_n) = \text{per}(A_n) $，从而建立赫森堡矩阵行列式与永久式之间的对偶性。
• 将矩阵构造应用于恢复已知数列：当 $ t_1=1, t_2=1 $ 时为卢卡斯数，当 $ t_1=0, t_i=1 $ 时为佩林数，当 $ t_i $ 为任意值时为广义形式。
• 利用广义斐波那契与卢卡斯多项式已有结果，将赫森堡矩阵的永久式导出为生成函数。
• 通过小矩阵（如 $ H_{4,3} $）的显式计算验证结果，并显示与多项式求值的一致性。

实验结果

研究问题

• RQ1 广义卢卡斯多项式如何表示为具有结构化元素的赫森堡矩阵的永久式？
• RQ2 在何种条件下，赫森堡矩阵的行列式等于其永久式？
• RQ3 该框架能否统一斐波那契、卢卡斯与佩林数等经典数列的行列式与永久式表示？
• RQ4 系数归一化（如 $ t_2^{i-j} $）在构造多项式数列的有效赫森堡矩阵中起什么作用？
• RQ5 广义斐波那契与卢卡斯多项式的矩阵构造如何推广至其永久式形式？

主要发现

• 赫森堡矩阵 $ H_{k,n} $ 的永久式等于广义卢卡斯多项式 $ G_{k,n}(t) $，如定理 3.2 所示。
• 矩阵 $ L_{k,n} $ 的永久式同样等于 $ G_{k,n}(t) $，如定理 3.4 所建立，提供了第二种矩阵表示。
• 当 $ t_i = 1 $ 且 $ k=2 $ 时，$ H_{k,n} $ 的永久式给出普通卢卡斯数 $ L_n $，如推论 3.5 所示。
• 当 $ t_1 = 0 $ 且对 $ i \geq 2 $ 有 $ t_i = 1 $ 时，$ H_{k,n} $ 的永久式给出广义佩林多项式 $ R_{k,n}(t) $，如推论 3.6 所示。
• 当 $ t_1 = 0 $，$ t_i = 1 $，且 $ k=3 $ 时，$ H_{k,n} $ 的永久式恢复普通佩林数 $ R_n $，如推论 3.7 所示。
• 在指定符号变换下，赫森堡矩阵的对偶性 $ \det(B_n) = \text{per}(A_n) $ 成立，如定理 3.8 通过归纳法证明。