[論文レビュー] Eigenvalues and Singular Value Decomposition of Dual Complex Matrices

Liqun Qi, Ziyan Luo|arXiv (Cornell University)|Oct 5, 2021

Matrix Theory and Algorithms参考文献 15被引用数 5

ひとこと要約

本稿では、双対複素行列に対する右固有値および右部分固有値を導入し、$n\times n$ の双対複素ヒルベルト行列が正確に $n$ 個の実数の右固有値および部分固有値を持つことを証明する。このような行列に対する完全なスペクトル理論を確立し、一般の双対複素行列に対する特異値分解（SVD）を導出し、非可換性および零因子の問題に対処するための構造的代数的分解を用いて、双対クォータニオン行列へと結果を拡張する。

ABSTRACT

We introduce right eigenvalues and subeigenvalues for square dual complex matrices. An $n imes n$ dual complex Hermitian matrix has exactly $n$ right eigenvalues and subeigenvalues, which are all real. The Hermitian matrix is positive semi-definite or definite if and only if all of its right eigenvalues and subeigenvalues are nonnegative or positive, respectively. A Hermitian matrix can be diagonalized if and only if it has no right subeigenvalues. Then we present the singular value decomposition for general dual complex matrices. The results are further extended to dual quaternion matrices.

研究の動機と目的

• 双対数に内在する非可換性および零因子を扱うために、双対複素行列の包括的なスペクトル理論を構築すること。
• $n\times n$ の双対複素ヒルベルト行列に対する右固有値および右部分固有値を定義し、その性質を特徴づけること。
• ヒルベルト行列のスペクトル性質に基づいて、一般の双対複素行列に対する特異値分解（SVD）を確立すること。
• 非可換乗法およびクォータニオン構造を考慮して、結果を双対クォータニオン行列へと拡張すること。
• 幾何代数、ロボット工学、コンピュータグラフィックスに応用可能な双対行列解析の基盤フレームワークを構築すること。

提案手法

• 双対複素数を $q = q_0 + q_1\mathbf{i} + q_2\epsilon\mathbf{j} + q_3\epsilon\mathbf{k}$ として定義し、$\epsilon^2 = 0$ とする。それに応じて行列演算を定義する。
• 右固有値を方程式 $A\mathbf{x} = \mathbf{x}\lambda$ を用いて定義する。ここで $\lambda$ は双対複素数であり、$\lambda$ の標準部が $A_{\text{st}}$ の複素固有値に一致することを示す。
• 右部分固有値を、関連する直交する右部分固有ベクトルおよび非ゼロの随伴パラメータを用いて導入し、固有値の重複度を一般化する。
• 双対複素ヒルベルト行列の右固有値および部分固有値がすべて実数であり、かつこのような行列が正確に $n$ 個のそれらの値を持つことを証明する。
• ヒルベルト行列のスペクトル性質を用いて、一般の双対複素行列に対する特異値分解（SVD）を導出する。
• 非可換クォータニオン乗法およびクォータニオン行列の右固有値理論に適合させるために、フレームワークを変更し、双対クォータニオン行列へと結果を拡張する。

実験結果

リサーチクエスチョン

• RQ1 非可換性および零因子の性質を有する双対複素行列に対して、右固有値および右部分固有値をどのように定義できるか？
• RQ2 $n\times n$ の双対複素ヒルベルト行列が有するスペクトル性質は何か？ また、行列の標準部および無限小部とどのように関係するか？
• RQ3 スペクトル分解に基づいて、一般の双対複素行列に対する特異値分解を構築できるか？
• RQ4 クォータニオンの非可換性を考慮すると、双対複素行列のスペクトル性質は双対クォータニオン行列へどのように拡張されるか？
• RQ5 右固有値および右部分固有値の観点から、双対複素ヒルベルト行列の対角化可能および正定値性を保証する条件は何か？

主な発見

• $n\times n$ の双対複素ヒルベルト行列は、正確に $n$ 個の右固有値および部分固有値を持ち、それらはすべて実数である。
• 行列が半正定値（正定値）であるための必要十分条件は、すべての右固有値および部分固有値が非負（正）であることである。
• 行列が対角化可能であるための必要十分条件は、右部分固有値をもたないこと、すなわちすべての固有値が単純であることである。
• 一般の双対複素行列に対する特異値分解は、ヒルベルト行列のスペクトル性質を用いて構築され、$p$ 個の非ゼロ特異値と $l-p$ 個のゼロ特異値を持つ。
• 双対複素行列の右固有値の標準部は、行列の標準部の複素固有値に正確に一致する。
• 双対クォータニオン行列への拡張には、非可換乗法の取り扱いとクォータニオン行列の右固有値理論に依存する必要があり、$n\times n$ のクォータニオン行列に対しては $2n$ 個の右固有値が存在する。