[论文解读] On the Determinants and Inverses of Circulant Matrices with a General Number Sequence

Durmuş Bozkurt|arXiv (Cornell University)|Feb 6, 2012

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

一句话总结

本文推导出由广义线性递推序列 $ W_n = pW_{n-1} + qW_{n-2} $ 生成的循环矩阵的行列式与逆矩阵的显式公式，该序列具有整数初始条件。通过矩阵分解技术及序列的Binet公式性质，作者将行列式与逆矩阵的元素表示为序列项与递推参数的函数，为任意 $ n $ 提供了闭式解。主要贡献在于为广义数列上的循环矩阵建立了一套系统化的代数框架。

ABSTRACT

The generalized sequence of numbers is defined by W_{n}=pW_{n-1}+qW_{n-2} with initial conditions W_{0}=a and W_{1}=b for a,b,p,q\inZ and n\geq2, respectively. Let W_{n}=circ(W_{1},W_{2},...,W_{n}). The aim of this paper is to establish some useful formulas for the determinants and inverses of W_{n} using the nice properties of the number sequences. Matrix decompositions are derived for W_{n} in order to obtain the results.

研究动机与目标

• 推导出其元素遵循广义线性递推序列 $ W_n = pW_{n-1} + qW_{n-2} $ 的循环矩阵的行列式显式公式。
• 开发一种利用矩阵分解与序列性质计算此类循环矩阵逆矩阵的方法。
• 将先前关于Fibonacci与Lucas循环矩阵的结果推广至由二阶线性递推定义的任意整数序列。
• 提供计算上可行的行列式与逆矩阵表达式，避免对大 $ n $ 进行直接特征值计算。

提出的方法

• 利用广义序列 $ W_n = \frac{A\alpha^n + B\beta^n}{\alpha - \beta} $ 的Binet公式，其中 $ \alpha, \beta $ 是方程 $ x^2 - px + q = 0 $ 的根。
• 构造两个辅助矩阵 $ K $ 与 $ L $，通过 $ K\mathbb{W}_nL $ 将循环矩阵 $ \mathbb{W}_n $ 转换为类似Hessenberg的矩阵。
• 采用直和分解 $ K\mathbb{W}_nLU = H \oplus A $，其中 $ H $ 是一个 $ 2 \times 2 $ 块，$ A $ 是一个下Hessenberg矩阵。
• 通过 $ \mathbb{W}_n^{-1} = T(H^{-1} \oplus A^{-1})K $ 推导逆矩阵，其中 $ T = LU $，从而将逆矩阵元素表示为序列项的函数。
• 将行列式表达为包含 $ b-W_{n+1} $、$ W_{k+1} - \frac{W_2 W_k}{W_1} $ 以及 $ \frac{q(W_n - W_0)}{W_1 - W_{n+1}} $ 的幂的项的组合。
• 利用循环矩阵的逆仍为循环矩阵的性质，实现从最后一行恢复所有元素。

实验结果

研究问题

• RQ1 如何以闭式表达由广义线性递推序列构成的循环矩阵的行列式？
• RQ2 此类循环矩阵的逆矩阵具有何种代数结构？是否可在不进行特征值分解的情况下计算？
• RQ3 矩阵分解技术能否简化在数列上循环矩阵的行列式与逆矩阵在大 $ n $ 时的计算？
• RQ4 递推参数 $ p, q, a, b $ 如何影响行列式与逆矩阵元素？

主要发现

• $ \mathbb{W}_n $ 的行列式由一个复杂求和公式给出，包含 $ (b - W_{n+1})^{k-2} $、$ (qW_n - qa)^{n-k} $ 以及形如 $ bW_{k+1} - W_2 W_k $ 的项，适用于 $ n \geq 3 $。
• 逆矩阵的元素 $ w_k $ 显式地用 $ W_1, W_2, W_k $ 及 $ W_{n+1} - W_1 $ 的有理函数表示，其系数包含 $ \frac{q(W_n - W_0)}{W_1 - W_{n+1}} $ 的幂。
• 证明了逆矩阵为循环矩阵，与循环矩阵的已知性质一致。
• 逆矩阵首项 $ w_1 $ 的表达式包含对 $ k $ 的求和，涉及 $ q^k $、$ W_{n-k} - \frac{W_2 W_{n-k-1}}{W_1} $ 以及序列参数的有理函数。
• 关键中间量 $ g_n $（类似行列式的量）将 $ W_1 - \frac{W_2 W_n}{W_1} $ 与对 $ k $ 的求和相结合，每一项按 $ \frac{q(W_n - W_0)}{W_1 - W_{n+1}} $ 的幂进行缩放。
• 该方法成功地将已知的Fibonacci与Lucas循环矩阵结果推广至由二阶线性递推定义的任意整数序列。