[論文レビュー] A Note On The Spectral Norms of The Matrices Connected Integer Numbers Sequence

Durmuş Bozkurt|arXiv (Cornell University)|May 9, 2011

Advanced Mathematical Theories and Applications参考文献 5被引用数 3

ひとこと要約

本稿では、整数列の差からなる行列のスペクトルノルムの閉形式表現を導出しており、特に、すべての列要素ペア間の二乗差分の和に等しいスペクトルノルムであることを証明している。この結果は、フィボナッチ数列およびルカス数列に適用され、それらの項および組み合わせインデックスにおける項の積の和を含む明示的公式が得られる。

ABSTRACT

In this paper, we compute the spectral norms of the matrices related with integer squences and we give two examples related with Fibonacci and Lucas numbers.

研究の動機と目的

• 整数列の差から構成される行列のスペクトルノルムの一般式を確立すること。
• このような列から導かれる反対称行列のスペクトル特性を分析すること。
• 一般結果をフィボナッチ数やルカス数などの特定の数列に適用すること。
• フィボナッチ行列およびルカス行列のスペクトルノルムの明示的表現を計算すること。

提案手法

• 行列 $ A_x = [x_i - x_j]_{i,j=1}^n $ を定義し、これは反対称行列である。
• 行変形を用いて $ A_x $ をランク2の行列に変換し、ランクとスペクトルノルムを保存する。
• 行列 $ iA_x $ を考察し、実固有値をもつ対称行列に変換し、スペクトル解析を可能にする。
• $ iA_x $ の固有多項式を計算し、非ゼロ固有値が2つしか持たないことを示す。
• 固有多項式における $ λ^{n-2} $ の係数を、$ iA_x $ の主2次小行列の和を用いて決定する。
• スペクトルノルムを、二乗差分の和 $ \sum_{1\leq r<s\leq n} (x_r - x_s)^2 $ の平方根として導出する。

実験結果

リサーチクエスチョン

• RQ1 整数列の要素間の対ごとの差からなる行列のスペクトルノルムは何か？
• RQ2 スペクトルノルムは、特に線形再帰の構造において、列の構造にどのように依存するか？
• RQ3 フィボナッチ数列およびルカス数列に対して、スペクトルノルムを閉形式で表現できるか？
• RQ4 主小行列と固有値構造は、反対称行列のスペクトルノルム計算においてどのような役割を果たすか？
• RQ5 行列のサイズ $ n $ の偶奇に応じて、フィボナッチ行列およびルカス行列のスペクトルノルムはどのように異なるか？

主な発見

• 行列 $ A_x = [x_i - x_j] $ のスペクトルノルムは $ \left\|A_x\right\|_2 = \sum_{1\leq r<s\leq n} (x_r - x_s)^2 $ に等しく、$ n \geq 4 $ のとき有効である。
• フィボナッチ行列 $ F $ のスペクトルノルムは、$ n $ が偶数のとき $ \left\|F\right\|_2 = (n-1)F_{n+1}F_n - \frac{2}{5}\left(L_n - 2 + \sum_{r=1}^{n-1}\sum_{s=r+1}^n L_{r+s}\right) $ に等しい。
• フィボナッチ行列 $ F $ のスペクトルノルムは、$ n $ が奇数のとき $ \left\|F\right\|_2 = (n-1)F_{n+1}F_n - \frac{2}{5}\left(L_n - 1 + \sum_{r=1}^{n-1}\sum_{s=r+1}^n L_{r+s}\right) $ に等しい。
• ルカス行列 $ L $ のスペクトルノルムは、$ n $ が偶数のとき $ \left\|L\right\|_2 = (n-1)(L_{n+1}L_n - 2) - 2\left(L_n - 2 + \sum_{r=1}^{n-1}\sum_{s=r+1}^n L_{r+s}\right) $ に等しい。
• ルカス行列 $ L $ のスペクトルノルムは、$ n $ が奇数のとき $ \left\|L\right\|_2 = (n-1)(L_{n+1}L_n - 2) - 2\left(L_n - 1 + \sum_{r=1}^{n-1}\sum_{s=r+1}^n L_{r+s}\right) $ に等しい。
• 行列 $ A_x $ のスペクトルノルムは、列要素の対ごとの二乗差分の和によって完全に決定され、それらの差分以外の列の具体的な値とは独立に決まる。