[論文レビュー] On the g-Circulant Matrix involving the Generalized k-Horadam Numbers

Nazmiye Yılmaz, Yasin Yazlık+1 more|arXiv (Cornell University)|Mar 2, 2015

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

ひとこと要約

本稿では、一般化された $k$-Horadam 数に基づく一般化された $g$-巡回行列構造を導入し、再帰関係および固有値分解を用いて、その行列式、スペクトルノルム、逆行列に対する明示的公式を導出する。主な貢献は、フィボナッチ、ラソン、その他の第二階線形逐次列に対する巡回行列の既存結果を、$g$-巡回行列構造と行列代数を用いて、より広範な線形逐次列のクラスへと一般化する統一的枠組みを提供することにある。

ABSTRACT

In this study, we present a new generalization of circulant matrices for the generalized $k$-Horadam numbers, by considering the $g$-circulant matrix $C_{n,g}(H)=g -circ(H_{k,1},H_{k,2},\ldots ,H_{k,n})$. Also, we calculate the spectral norm, determinant and inverse of $C_{n,g}(H)$ in such matrices having the elements of all second order sequences.

研究の動機と目的

• 一般化された $k$-Horadam 数を含む $g$-巡回行列に巡回行列理論を一般化すること。
• フィボナッチ、ラソン、その他の第二階線形逐次列に対する既存の巡回行列の結果を、より広範な線形逐次列のクラスへと拡張すること。
• 一般化された $k$-Horadam 数を成分とする $g$-巡回行列の行列式、スペクトルノルム、逆行列に対する閉形式の表現を導出すること。
• 単一の代数的枠組みを用いて、特殊数列の巡回行列に関する先行研究を統一的かつ一般化すること。

提案手法

• 再帰関係 $H_{k,n+2} = f(k)H_{k,n+1} + g(k)H_{k,n}$ を持つ一般化された $k$-Horadam 数列 $\{H_{k,n}\}$ を用いて、$g$-巡回行列 $C_{n,g}(H)$ を定義する。
• 特性方程式 $x^2 - f(k)x - g(k) = 0$ の根 $r_1, r_2$ を用いた $H_{k,n}$ のバイネットの公式を用いる。
• 行列代数および固有値分解技術を用いて、$C_{n,g}(H)$ のスペクトルノルム、行列式、逆行列を導出する。
• 逆行列の計算を容易にするために、ユニタリ行列 $Q_g$ と条件 $(n,g)=1$ を用いる。
• 逆行列を、再帰的恒等式から導かれた係数と正規化係数を持つ巡回行列の積として表現する。
• 行列式および逆行列の閉形式表現を、$H_{k,i}$、$M = g(k)(H_{k,n} - H_{k,0})$、$N = H_{k,1} - H_{k,n+1}$ を含む和の恒等式を用いて導出する。

実験結果

リサーチクエスチョン

• RQ1 一般化された $k$-Horadam 数を成分として含む $g$-巡回行列構造をどのように一般化できるか？
• RQ2 一般化された $k$-Horadam 数から構成される $g$-巡回行列のスペクトルノルム、行列式、逆行列は何か？
• RQ3 導出された行列式および逆行列の公式が、フィボナッチ、ラソン、ペル、ヤコブスティアル列に対して既知の結果にどのように還元されるか？
• RQ4 パラメータ $f(k)$、$g(k)$、$a$、$b$ が行列の性質を決定づける役割を果たすのはどのような点か？
• RQ5 この枠組みは、標準的なものより広い第二階線形逐次列に拡張可能か？

主な発見

• 行列式 $\det(C_{n,g}(H))$ は、$M/N$ の比を含む項の和を用いた閉形式で与えられる。ここで $M = g(k)(H_{k,n} - H_{k,0})$、$N = H_{k,1} - H_{k,n+1}$ である。
• 条件 $(n,g) = 1$ の下で、$C_{n,g}(H)$ の逆行列は、再帰的恒等式から導かれた係数を持つ巡回行列とユニタリ行列 $Q_g$ の転置行列の積として表現される。
• フィボナッチ数列（$f(k)=g(k)=1$、$a=0$、$b=1$）に対して、逆行列の公式はフィボナッチ数と正規化係数 $f_n$ を含む特定の式に簡略化される。
• ラソン数列（$f(k)=g(k)=1$、$a=2$、$b=1$）に対しては、係数に $L_{n+2-i} - 3L_{n+1-i}$ を含み、正規化係数 $l_n$ を用いた逆行列が得られ、既知の結果と整合的であることが確認された。
• ペル数列（$f(k)=2$、$g(k)=1$、$a=0$、$b=1$）に対しては、正規化と係数スケーリングを調整した構造が、以前の結果と一致する。
• パラメータ $f(k)$、$g(k)$、$a$、$b$ を適切に代入することで、$k$-フィボナッチ、$k$-ラソン、ペル-ラソン、ヤコブスティアル-ラソン、およびホラダム数列など、他の数列に対してもこの枠組みが成功裏に一般化可能である。