[論文レビュー] On the Determinants and Inverses of Circulant Matrices with Pell and Pell-Lucas Numbers

Durmuş Bozkurt, Fatih Yılmaz|arXiv (Cornell University)|Jan 29, 2012

Advanced Mathematical Theories and Applications参考文献 11被引用数 6

ひとこと要約

この論文は、ペル数およびペル＝ラウス数からなる巡回行列の行列式および逆行列の明示的公式を導出する。行列の分解とこれらの数列の性質を用いて、行列式および逆行列の閉形式表現を確立し、$ n \geq 3 $ に対して可逆性を証明する。逆行列は巡回行列であることが示され、ペル＝ラウス数の項を含む再帰的関係式で表現される。

ABSTRACT

Let P=\circ(P_{1},P_{2},...,P_{n}) and Q=\circ(Q_{1},Q_{2},...,Q_{n}) be n imesn circulant matrices where P_{n} and Q_{n} are nth Pell and Pell-Lucas numbers, respectively. The determinants of the matrices P and Q were expressed by the Pell and Pell-Lucas numbers. After, we prove that the matrices P and Q are the invertible for n\geq3 and then the inverses of the matrices P and Q are derived.

研究の動機と目的

• ペル数およびペル＝ラウス数からなる $ n \times n $ 巡回行列の行列式に対する明示的公式を導出すること。
• このような行列が $ n \geq 3 $ に対して可逆であることを確立すること。
• 行列の分解と数列の恒等式を用いて、これらの巡回行列の逆行列を計算すること。
• ペル数およびペル＝ラウス数列の根と再帰的性質を用いて、逆行列を閉形式で表現すること。

提案手法

• ペル数およびペル＝ラウス数のビネットの公式を用い、$ P_n = \frac{\alpha^n - \beta^n}{2\sqrt{2}} $ および $ Q_n = \alpha^n + \beta^n $ を表す。ここで $ \alpha, \beta $ は $ x^2 - 2x - 1 = 0 $ の根である。
• 元の巡回行列をヘッセンベルク形式に変換するための行列の分解技術を適用し、行列式および逆行列の計算を簡素化する。
• 離散フーリエ変換を用いた巡回行列の固有値および固有ベクトルの性質を適用し、$ \omega = \exp(2\pi i / n) $ を用いる。
• 固有値の積を用いて行列式を導出する：$ \det(\mathbb{P}) = \prod_{j=0}^{n-1} \sum_{k=0}^{n-1} P_{k+1} \omega^{jk} $。
• 公式 $ C_n^{-1} = \text{circ}(a_0, \dots, a_{n-1}) $ を用いて逆行列を構成し、ここで $ a_k = \frac{1}{n} \sum_{j=0}^{n-1} \lambda_j \omega^{-jk} $ である。
• 再帰的関係および正規化定数（例：$ u_n $, $ u_n' $）を用いて、逆行列の要素をペル＝ラウス数の差および $ Q_n - 2 $ の累乗の項で表現する。

実験結果

リサーチクエスチョン

• RQ1 最初の $ n $ 個のペル数を要素とする巡回行列の行列式は何か？
• RQ2 ペル＝ラウス数の巡回行列がどのような条件下で可逆になるか？
• RQ3 ペルに基づく巡回行列の逆行列は、数列の恒等式を用いて閉形式で表現可能か？
• RQ4 このような行列の固有値および固有ベクトルは、特性方程式 $ x^2 - 2x - 1 = 0 $ の根とどのように関係するか？
• RQ5 ペルおよびペル＝ラウス巡回行列の行列分解から、どのような構造的性質（例：逆行列の巡回性）が生じるか？

主な発見

• $ n \times n $ 巡回行列 $ \mathbb{P} = \text{circ}(P_1, \dots, P_n) $ の行列式は、$ \det(\mathbb{P}) = (P_1 - P_{n+1})^{n-2}(P_1 - 2P_n) + \sum_{k=2}^{n-1} \left[ P_{k-1} P_n^{n-k} (P_1 - P_{n+1})^{k-2} \right] $ で与えられる。
• $ n \geq 3 $ のとき、行列 $ \mathbb{P} $ は可逆であり、その逆行列はペル数の差および $ \frac{P_n}{1 - P_{n+1}} $ の累乗を含む複雑な和を用いて導出された要素を持つ巡回行列である。
• ペル＝ラウス巡回行列 $ \mathbb{Q} = \text{circ}(Q_1, \dots, Q_n) $ の逆行列もまた巡回行列であり、$ \mathbb{Q}^{-1} = \frac{1}{u_n} \text{circ}(\dots) $ として表される。ここで $ u_n $ は $ Q_k $-差の和を含む正規化定数である。
• $ i \geq 4 $ の場合、$ \mathbb{Q}^{-1} $ の要素は $ q_i = \frac{4(Q_n - 2)^{n-i}}{(Q_1 - Q_{n+1})^{n-i}} $ のパターンに従い、逆行列の構造が単純化される。
• 行列 $ \mathbb{Q} $ から導かれるブロック行列 $ K $ の逆行列は、$ \left[ \begin{smallmatrix} 1 & 0 \\ D & E \end{smallmatrix} \right] $ のブロック構造を持つことが示され、ここで $ E $ は最初の行が $ [P_{n-1}, \dots, P_1] $ で、最後の列が $ [P_1, 0, \dots, 0]^T $ であるヘンケル行列である。
• 逆行列が巡回行列であることが証明され、構造的一致性が確認され、対称的再帰パターンを用いた効率的な計算が可能になる。