[論文レビュー] Note on Reversion, Rotation and Exponentiation in Dimensions Five and Six

Emily Herzig, Viswanath Ramakrishna+1 more|arXiv (Cornell University)|Jul 23, 2014

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

ひとこと要約

本稿では、5次元および6次元における反転およびスピン群構造の明示的行列表現を、低次元の基底からの反復的クリフォード代数構成を用いて提示する。5×5および6×6の実反対称行列の閉形式指数関数は、ℍ⊗ℍとの同型を介して4×4行列指数関数に還元されることで導出され、Lie群計算への応用を想定した新規なSp(4)表現が導入される。

ABSTRACT

The explicit matrix realizations of the reversion anti-automorphism and the spin group depend on the set of matrices chosen to represent a basis of 1 -vectors for a given Clifford algebra. On the other hand, there are iterative procedures to obtain bases of 1-vectors for higher dimensional Clifford algebras, starting from those for lower dimensional ones. For a basis of 1-vectors for Cl (0, 5), obtained by applying such procedures to the Pauli basis of 1-vectors for Cl(3,0), we find that the matrix form of reversion involves neither of the two standard representations of the symplectic bilinear form. However, by making use of the relation between 4 X 4 real matrices and the tensor product of the quaternions with themselves, the matrix form of reversion for this basis of 1-vectors is identified. The corresponding version of the Lie algebra of the spin group, has useful matrix properties which are explored. Next, the form of reversion for a basis of 1-vectors for Cl(0,6) obtained iteratively from Cl(0,0) is obtained. This is then applied to the task of computing exponentials of 5X 5 and 6X 6 real skew-symmetric matrices in closed form, by reducing this to the simpler task of computing exponentials of certain 4X 4 matrices. For the latter purpose closed form expressions for the minimal polynomials of these 4 X 4 matrices are obtained, without having to compute their eigenstructure. Finally, a novel representation of Sp(4)is provided which may be of independent interest. Among the byproducts of this work are natural interpretations for some members of an orthogonal basis for M(4, R) provided by the isomorphism with the quaternion tensor product, and a first principles approach to the spin groups in dimensions five and six.

研究の動機と目的

• Cl(0,5)およびCl(0,6)における1ベクトル基底の反復的クリフォード代数構成（Cl(3,0)のパウリ行列およびCl(0,0)の自明基底からの拡張）を用いた反転反自己同型の行列形式の特定。
• スピン群の同型およびリー代数の持ち上げを用いて、5×5および6×6の実反対称行列の指数関数を4×4行列指数関数に還元することで、閉形式での計算を可能にする。
• M(4,ℝ)とℍ⊗ℍの同型を活用して反転を特徴づけ、スピン(5)の行列性質を導出する。
• 反復的1ベクトル基底生成を用いた、次元5および6におけるスピン群の第一原理的構成。
• Lie群の逆写像および幾何代数計算への応用が期待される、新規なSp(4)表現の提供。

提案手法

• Cl(3,0)のパウリ行列およびCl(0,0)の自明基底からそれぞれ反復的拡張を用いて、Cl(0,5)およびCl(0,6)の1ベクトル基底を構築する。
• J₄やṼJ₄行列に依存せずに、M(4,ℝ)とℍ⊗ℍの同型を用いてCl(0,5)における反転の行列形式を特定する。
• スピン群の同型およびリー代数の持ち上げを用いて、n×n実反対称行列の指数関数を4×4行列の指数関数に還元する。
• 固有構造の計算を伴わずに、4×4行列の最小多項式の閉形式表現を導出し、直接的な行列指数関数評価を可能にする。
• Cayley-Kleinパrameterizationを用いてSU(2)行列を分析し、Sp(4)のブロック分解における特異値分解および対称性制約を検討する。
• シミプレクティック群の2×2ブロック行列構造を分析することで、Sp(4)の新規表現を構築し、次元5における被覆写像の逆写像を解く可能性を示唆する。

実験結果

リサーチクエスチョン

• RQ1 Cl(3,0)のパウリ行列から反復的に構成されたCl(0,5)の1ベクトル基底に対して、反転反自己同型の明示的行列形式は何か？
• RQ2 5×5または6×6の実反対称行列の指数関数は、低次元の行列指数関数を用いてどのように閉形式で計算できるか？
• RQ3 ℍ⊗ℍ同型は、次元5における反転およびスピン群構造の特徴づけにおいて果たす役割は何か？
• RQ4 シミプレクティック行列のブロック構造から新規なSp(4)表現を導出可能か？また、次元5における被覆写像とはどのように関係するか？
• RQ5 高次元の反対称行列から還元された4×4行列の最小多項式構造は何か？

主な発見

• 反転の行列形式は、ℍ⊗ℍ同型を用いて特定され、J₄やṼJ₄行列を含まない。これは他の構成では一般的に用いられるが、本研究ではそれらに依存しない。
• スピン(5)のリー代数は、4×4行列表現から有用な行列性質を継承しており、最小多項式の還元を介した指数関数の効率的計算が可能になる。
• 固有構造の計算を伴わず、4×4行列の最小多項式の閉形式表現が導出され、行列指数関数の直接評価が可能になる。
• 任意の5×5または6×6の実反対称行列の指数関数は、スピン群の同型を介して4×4行列の指数関数に還元することで計算可能である。
• シミプレクティック行列のブロック構造の分析を通じて、Sp(4)の新規表現が構築され、次元5における被覆写像の逆写像を解く可能性が示唆される。
• Sp(4)における特異値分解および対称性制約の分析により、行列ブロックAおよびBの特徴づけが得られ、次元5における被覆写像の逆写像問題の解決への道筋が示唆される。