[論文レビュー] Concepts of trace, determinant and inverse of Clifford algebra elements

Dmitry Shirokov|arXiv (Cornell University)|Aug 27, 2011

Algebraic and Geometric Analysis参考文献 2被引用数 8

ひとこと要約

本稿は、4次元および5次元におけるクリフォード代数の要素の行列式、トレース、逆行列について明示的な公式を導入し、非可換生成子に関するパウリの定理を一般化する。代数的随伴操作（逆転、階数反転、擬ヒルベルト随伴）を用いて閉形式の表現を導出し、多重量成分における階数付き射影および対称操作を用いた体系的な方法により、これらの不変量を計算可能にする。

ABSTRACT

In our paper we consider the notion of determinant of Clifford algebra elements. We present some new formulas for determinant of Clifford algebra elements for the cases of dimension 4 and 5. Also we consider the notion of trace of Clifford algebra elements. We use the generalization of the Pauli's theorem for 2 sets of elements that satisfy the main anticommutation conditions of Clifford algebra.

研究の動機と目的

• 4次元および5次元におけるクリフォード代数要素の行列式に関する新しい明示的公式を確立すること。
• 代数的随伴操作を用いてクリフォード代数要素のトレースおよび逆行列の概念を一般化すること。
• クリフォード代数における非可換生成子に関するパウリの定理を、2組のこのような生成子へと拡張すること。
• 代数的随伴操作に対して不変である、計算可能な行列式および逆行列の表現を提供すること。
• 階数付き射影および対称操作を用いて、低次元クリフォード代数における不変量の構造を統一的かつ明確にすること。

提案手法

• クリフォード代数要素の標準基底 $\mathcal{C}\!\ell(p,q)$ を、ランク $k$ の同次成分 $\stackrel{{\scriptstyle k}}{{U}}$ に分解する。
• 5つの代数的随伴操作を適用する：複素共役 $\bar{U}$、逆転 $U^\sim$、階数反転 $U^{\curlywedge}$、擬ヒルベルト随伴 $U^{\ddagger}$、クリフォード随伴 $U^{\curlywedge\sim}$。
• 行列式を随伴操作の再帰的合成により定義する：$n=4$ の場合、$\det U = U \cdot U^\sim \cdot (U^{\curlywedge} U^{\sim\curlywedge})^{\bigtriangledown}$ であり、$n=5$ の場合、追加の操作 $\bigtriangledown$ および $\bigtriangleup$ を用いて拡張される。
• 行列式の公式を用いて逆行列を導出する：$n=5$ の場合、$U^{-1} = \frac{U^\sim (U^{\curlywedge} U^{\sim\curlywedge})^{\bigtriangledown} (UU^\sim (U^{\curlywedge} U^{\sim\curlywedge})^{\bigtriangledown})^{\bigtriangleup}}{\det U}$。
• $\bigtriangledown$ および $\bigtriangleup$ を用いて、偶数部分および奇数部分の成分を射影・対称化し、行列式がスカラーとなるように保証する。
• 直接計算による公式の妥当性を検証し、$\mathcal{C}\!\ell_0 \oplus \mathcal{C}\!\ell_3$ における中間積の中心性を用いて乗法性 $\det(UV) = \det(U)\det(V)$ を証明する。

実験結果

リサーチクエスチョン

• RQ1 4次元および5次元におけるクリフォード代数要素の行列式の明示的代数的表現は何か？
• RQ2 随伴操作を用いて、クリフォード代数要素のトレースおよび逆行列を体系的かつ計算可能に定義・計算する方法は何か？
• RQ3 非可換生成子に関するパウリの定理を、クリフォード代数における2組のこのような生成子へ一般化できるか？
• RQ4 階数付き射影および対称操作は、行列式のようなスカラー不変量を構成する上で果たす役割は何か？
• RQ5 4次元における $\mathcal{C}\!\ell(p,q)$ の偶数および奇数要素に対して、行列式の代替公式は存在するか？

主な発見

• 4次元の場合、行列式は $\det U = UU^\sim (U^{\curlywedge} U^{\sim\curlywedge})^{\bigtriangledown}$ で与えられ、ここで $\bigtriangledown$ は偶数部分への対称的射影である。
• 5次元の場合、行列式は $\det U = UU^\sim (U^{\curlywedge} U^{\sim\curlywedge})^{\bigtriangledown} (UU^\sim (U^{\curlywedge} U^{\sim\curlywedge})^{\bigtriangledown})^{\bigtriangleup}$ であり、$\bigtriangleup$ は奇数部分への射影である。
• 逆行列は $n=5$ の場合、$U^{-1} = \frac{U^\sim (U^{\curlywedge} U^{\sim\curlywedge})^{\bigtriangledown} (UU^\sim (U^{\curlywedge} U^{\sim\curlywedge})^{\bigtriangledown})^{\bigtriangleup}}{\det U}$ として導出され、分母はスカラーとして特定される。
• 4次元には代替の行列式公式が存在する：偶数 $U$ に対しては $\det U = UU^\sim U^{\sim+}U^+$、奇数 $U$ に対しては $\det U = UU^\sim U^\sim U$ であり、符号反転操作 $+$ を用いる。
• 行列式は常にスカラー（ランク0要素）であり、公式は $\det(UV) = \det(U)\det(V)$ を満たすことが確認され、中間随伴積の中心性を用いて証明される。
• 本手法は $n=1,2,3$ の既知の結果を一般化し、高次元クリフォード代数不変量の一貫した枠組みを提供する。