[論文レビュー] Notions of determinant, spectrum, and Hermitian conjugation of Clifford algebra elements

Н. Г. Марчук, S. E. Martynova|ArXiv.org|Jul 21, 2003

Algebraic and Geometric Analysis参考文献 1被引用数 4

ひとこと要約

本稿は、行列表現と内在的な代数的演算を用いて、クリフォード代数の要素に対する行列式、スペクトル、ヘルミート共役の内在的定義を確立する。行列式とヘルミート共役が、双対、共役、階数射影などのクリフォード代数の演算によって表現できることを証明し、ヘルミート要素が実スペクトルを持つことを示す。これにより、行列代数の概念がクリフォード代数および並進可能多様体上の微分形式へと拡張される。

ABSTRACT

We show how the matrix algebra notions of determinant, spectrum, and Hermitian conjugation transfer to the Clifford algebra and to differential forms on parallelisable manifolds.

研究の動機と目的

• 行列代数の概念—行列式、スペクトル、ヘルミート共役—をクリフォード代数の枠組みへと拡張すること。
• 行列表現に依存せずに、クリフォード代数 ${\cal C}\!\ell_{p,q}^{{\cal K}}$ 内部でこれらの概念を内在的に定義すること。
• ヘルミートクリフォード代数要素が実スペクトルを持つことを確立し、ヘルミート行列の重要な性質を一般化すること。
• 並進可能多様体上の微分形式へ、クリフォード代数 ${\cal C}\!\ell_{1,3}$ を通じてこれらの概念の適用可能性を示すこと。

提案手法

• パウリ行列と $n=1$ から $4$ までの一般化行列を用いた、クリフォード代数要素の行列表現により、生成子 $e^k$ を行列 $\underline{e}^k$ に写像する。
• クリフォード要素 $U$ の行列式をその行列表現の行列式として定義する：${\rm Det}(U) = {\rm det}(\underline{U})$。
• 内在的演算を用いた ${\rm Det}(U)$ の明示的公式を導出する：$n=1,2$ の場合、$\Omega_U = U^\wedge U^\sim$ であり、$n=3$ の場合、$\Omega_U^{\sim}\Omega_U$ であり、$n=4$ の場合、トレースに基づく公式が得られる。
• 行列の随伴を用いてヘルミート共役 $U^\dagger$ を定義する：$\underline{U}^\dagger = \underline{U^\dagger}$ であり、$U^\dagger$ は $U^*$、$U^{\wedge}$、および異なる符号型 $(p,q)$ における基底要素を用いて表現される。
• 類似変換におけるトレースの不変性：${\rm Tr}(W^{-1}UW) = {\rm Tr}(U)$ を用いて、トレースおよび行列式の定義の一貫性を裏付ける。
• ${\rm Det}(U - \lambda) = 0$ から導かれる実係数の特徴方程式を満たす固有値を示すことにより、ヘルミート要素のスペクトルが実数であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 行列表現に依存せずに、クリフォード代数要素の行列式をどのように内在的に定義できるか？
• RQ2 クリフォード代数要素のスペクトルとその行列表現のスペクトルの関係は何か？
• RQ3 クリフォード代数におけるヘルミート共役演算は、どのように行列の随伴演算を一般化するか？
• RQ4 クリフォード代数要素が実スペクトルを持つ条件は何か？また、これはヘルミート性とどのように関係するか？
• RQ5 行列式、スペクトル、ヘルミート共役の概念は、クリフォード代数構造を通じて、並進可能多様体上の微分形式へと拡張可能か？

主な発見

• クリフォード代数要素 $U$ の行列式は ${\rm Det}(U) = {\rm det}(\underline{U})$ として定義され、$n=1,2$ の場合、スカラー $\Omega_U = U^\wedge U^\sim$ に等しい。
• $n=3$ の場合、行列式は $\Omega_U^{\sim}\Omega_U$ であり、これはスカラーである。$n=4$ の場合、${\rm Tr}(\Omega_U^{\sim}\Omega_U) - 2{\rm det}(\eta)({\rm Tr}(\ell\Omega_U))^2$ として表される。ここで $\ell = e^{1234}$ である。
• 行列式は乗法的性質を満たす：${\rm Det}(UV) = {\rm Det}(U){\rm Det}(V)$ であり、$U$ が可逆であるための必要十分条件は ${\rm Det}(U) \neq 0$ である。
• クリフォード代数要素のスペクトルは、$n=1,2$ の場合2つの固有値、$n=3,4$ の場合4つの固有値（重複度を含む）から成り、${\rm Det}(U - \lambda) = 0$ の根として定義される。
• ヘルミート共役 $U^\dagger$ は行列の随伴を用いて定義され、内在的演算を用いて表現される：$(p,q) = (n,0)$ の場合、$U^\dagger = U^*$ であり、$(1,n-1)$ の場合、$U^\dagger = e^1 U^* e^1$ などである。
• ヘルミートクリフォード代数要素（$U = U^\dagger$）は実スペクトルを持つ。これは、ヘルミート行列が実固有値を持つという行列論的結果を一般化する。