[論文レビュー] 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.

研究の動機と目的

• 古典的な数列（フィボナッチ、ルカス、ペリン）の行列式およびパーマネント表現を、それらの多項式版へ一般化すること。
• 一般化されたルカス多項式を表現するためのヘッセンベルク行列を用いた統一的枠組みを確立すること。
• ヘッセンベルク行列の行列式がそのパーマネントに等しくなる条件を特定すること。
• 行列構成を用いて一般化された多項式のビネ型公式および漸化式を導出すること。

提案手法

• 一般化されたルカス多項式の係数 $ t_i $ から導かれる要素を持つ下三角ヘッセンベルク行列 $ H_{k,n} $ および $ L_{k,n} $ を構成し、$ 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 $ の場合にルカス数 $ L_n $ を得る。$ t_1=0, t_i=1 $ の場合にペリン数 $ R_n $ を得る。任意の $ t_i $ に対して一般化形を得る。
• 一般化されたフィボナッチおよびルカス多項式に関する既存の結果を活用し、ヘッセンベルク行列のパーマネントを母関数として導出する。
• 小規模な行列（例：$ H_{4,3} $）を明示的に計算し、多項式評価と一致することを確認する。

実験結果

リサーチクエスチョン

• RQ1 構造的要素を持つヘッセンベルク行列のパーマネントとして、一般化されたルカス多項式をどのように表現できるか？
• RQ2 ヘッセンベルク行列の行列式がそのパーマネントに等しくなる条件は何か？
• RQ3 この枠組みは、フィボナッチ、ルカス、ペリン数列のような古典的数列の行列式およびパーマネント表現を統一的に扱えるか？
• RQ4 係数の正規化（例：$ t_2^{i-j} $）は、多項式数列のための有効なヘッセンベルク行列を構成する上で果たす役割は何か？
• RQ5 一般化されたフィボナッチおよびルカス多項式のための行列構成は、そのパーマネント形にどのように拡張できるか？

主な発見

• 定理 3.2 で示されるように、ヘッセンベルク行列 $ H_{k,n} $ のパーマネントは一般化されたルカス多項式 $ G_{k,n}(t) $ に等しい。
• 定理 3.4 で確立されたように、行列 $ L_{k,n} $ のパーマネントも $ G_{k,n}(t) $ に等しく、これにより第二の行列表現が得られる。
• $ 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 で示されている。
• 定理 3.8 で証明されたように、指定された符号変換の下でヘッセンベルク行列に対して $ \det(B_n) = \text{per}(A_n) $ の双対性が成り立つ。