[論文レビュー] Matrix Theory over the Complex Quaternion Algebra

Yongge Tian|ArXiv.org|Apr 1, 2000

Algebraic and Geometric AnalysisMathematics参考文献 7被引用数 22

ひとこと要約

この論文は、固定された可逆行列 Q を介して複素数クォータニオン行列とその 2×2 複素行列表現との間を結ぶ普遍的な類似因子分解恒等式を確立し、複素クォータニオン代数上での一般化逆行列、固有値、行列式、その他の行列理論的概念を一貫して定義するフレームワークを提供する。主な貢献は、普遍的な類似変換を通じて複素クォータニオン代数と行列代数の間の標準的同型を確立することであり、これにより古典的行列理論が非可換クォータニオンへと拡張可能になる。

ABSTRACT

We present in this paper some fundamental tools for developing matrix analysis over the complex quaternion algebra. As applications, we consider generalized inverses, eigenvalues and eigenvectors, similarity, determinants of complex quaternion matrices, and so on.

研究の動機と目的

• 非可換で標準的な行列ツールを欠く複素クォータニオン代数上に体系的な行列理論を構築すること。
• 非可換性のため、複素クォータニオン行列における逆行列、固有値、行列式などの行列演算を定義する際の基礎的課題を解決すること。
• 複素クォータニオンと 2×2 複素行列との間を結ぶ普遍的な類似因子分解を確立し、古典的行列理論の結果の移行を可能にすること。
• 忠実な行列表現を用いて複素クォータニオン行列の中心的行列式を定義し、乗法的および単位的性質を保証すること。
• 新しい行列式定義を用いて、Cayley-Hamilton の定理のような古典的結果を複素クォータニオン設定へと拡張すること。

提案手法

• 普遍的な類似因子分解を導入：$ Q^{-1} \text{diag}(a, a) Q = \psi(a) $、ここで $ Q $ は $ \mathbb{Q} $ 上の固定された 2×2 行列であり、$ a $ に依存しない。$ \psi(a) $ は $ a \in \mathbb{Q} $ の標準的 2×2 複素行列表現である。
• この因子分解を $ \mathbb{Q} $ 上の $ m \times n $ 行列へとブロック対角およびブロック行列構成を用いて拡張する。
• 複素クォータニオン行列 $ A \in \mathbb{Q}^{n \times n} $ の中心的行列式を $ |A|_c = |\Psi(A)| $ として定義する。これはその複素行列表現の通常の行列式である。
• 普遍的な類似因子分解を用いて、複素クォータニオン設定における一般化逆行列、固有値、固有ベクトルの性質を導出する。
• $ \mathbb{Q} $ と $ \mathbb{C}^{2 \times 2} $ の間の同型を用いて、Cayley-Hamilton の定理のような標準的行列恒等式をクォータニオン代数へと持ち上げる。
• 因子分解を用いて、複素クォータニオン枠組みにおける類似性、エルミート随伴、ノルムを定義・分析する。

実験結果

リサーチクエスチョン

• RQ1 非可換な複素クォータニオン代数上での逆行列や固有値といった行列演算を、どのように一貫して定義できるか？
• RQ2 行列の成分に依存しない形で、複素クォータニオン行列とその 2×2 複素行列表現との間を結ぶ普遍的な類似因子分解を構築できるか？
• RQ3 乗法的および単位的性質を保つために、複素クォータニオン行列の行列式の適切な定義は何か？
• RQ4 well-defined な行列式を用いて、Cayley-Hamilton の定理を複素クォータニオン行列へとどのように拡張できるか？
• RQ5 一般化逆行列、類似性、ノルムの構造的性質は、複素クォータニオン行列の文脈でどのように特徴づけられるか？

主な発見

• 普遍的な類似因子分解が存在する：$ Q^{-1} \text{diag}(a, a) Q = \psi(a) $、ここで $ Q $ は $ a $ に依存しない。これにより $ \mathbb{Q} $ と $ \mathbb{C}^{2 \times 2} $ の間の標準的同型が得られる。
• 中心的行列式 $ |A|_c = |\Psi(A)| $ が $ A \in \mathbb{Q}^{n \times n} $ の自然な行列式として提案され、$ |AB|_c = |A|_c |B|_c $ を満たし、$ |A|_c \neq 0 $ が $ A $ が可逆であることと同値である。
• Cayley-Hamilton の定理は複素クォータニオン行列に対しても成立する：$ p_A(A) = 0 $、ここで $ p_A(\lambda) = |\lambda I_{2n} - \Psi(A)| $ は次数 $ 2n $ の複素多項式である。
• 対角行列 $ A = \text{diag}(a_{11}, \dots, a_{nn}) $ に対して、中心的行列式は $ |A|_c = n(a_{11}) \cdots n(a_{nn}) $ を満たす。ここで $ n(a) = a_0^2 + a_1^2 + a_2^2 + a_3^2 $ である。
• 中心的行列式は $ |\lambda A|_c = \lambda^{2n} |A|_c $（$ \lambda \in \mathbb{C} $）および $ |\mu A|_c = n^2(\mu) |A|_c $（$ \mu \in \mathbb{Q} $）を満たし、$ n(\mu) $ は弱いノルムである。
• 中心的行列式は類似性に関して不変である：$ A \sim B $ ならば $ |A|_c = |B|_c $ であり、これにより同値表現間での一貫性が保証される。