[論文レビュー] Using Quaternion-Valued Linear Algebra

Dominik Schulz, Reiner S. Thomä|arXiv (Cornell University)|Nov 29, 2013

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

ひとこと要約

本稿では、クォータニオン乗法の非可換性を明示的に扱うために左および右の行列積を導入する、クォータニオン値線形代数の新規表記を提案する。左および右の行列乗法作用素を導入することで、クォータニオン線形代数の整合的で簡潔かつ実用的なフレームワークを実現し、固有値分解および離散クォータニオンフーリエ変換（DQFT）への応用に成功。従来の手法に比べ、より簡潔で構造的な定式化が可能となった。

ABSTRACT

Linear algebra is usually defined over a field such as the reals or complex numbers. It is possible to extend this to skew fields such as the quaternions. However, to the authors' knowledge there is no commonly accepted notation of linear algebra over skew fields. To this end, we discuss ways of notation that account for the non-commutativity of the quaternion multiplication.

研究の動機と目的

• スケールフィールド（クォータニオンなど）における線形代数の標準化された表記の欠如に対処すること。
• クォータニオン乗法の非可換性が行列演算に与える根本的課題を解決すること。
• 順序を保持し、演算の明確な定式化を可能にする、クォータニオン行列代数の整合的で実用的な表記を開発すること。
• 提案された表記が固有値分解や離散クォータニオンフーリエ変換（DQFT）といった重要な応用分野において実用的であることを示すこと。
• Kronecker積およびKhatri-Rao積といった古典的線形代数の道具を、新表記を用いてクォータニオン領域へ拡張すること。

提案手法

• クォータニオン行列演算における乗法順序を明示的に符号化するため、左行列積（·_L）および右行列積（·_R）を提案する。
• 行列乗法を、クォータニオン乗法の順序を保持する形で定義：左乗法では∑[A]_m,k [B]_k,n、右乗法では∑[B]_k,n [A]_m,k。
• 純粋な単位クォータニオンμ₁およびμ₂を用いた指数関数的表現を用いて、クォータニオンフーリエ行列F₁^(μ₁)およびF₂^(μ₂)を定義し、それぞれ1/√Mおよび1/√Nでスケーリングする。
• 左側、混合、右側の3つのバリアントを、順序付きの左および右行列乗法により定義したDQFTの3つの変種に新表記を適用する。
• 随伴転置行列（H）を用いて逆DQFTを導出し、同じ順序に依存する構造を維持する。
• μ₁ = μ₂のときのみ、行列積が結合的であることが示され、その特殊な場合に任意の括弧の付け替えが可能となる。

実験結果

リサーチクエスチョン

• RQ1 クォータニオンのスケールフィールドにおける線形代数の表記に、非可換乗法の影響を受ける中で、整合的かつ曖昧でない表記をどのように開発できるか？
• RQ2 提案された左および右の行列積表記により、クォータニオン線形代数の基本的演算の定式化が簡略化され統一されるか？
• RQ3 従来の定式化と比較して、新表記は離散クォータニオンフーリエ変換（DQFT）の表現および解析をどのように改善するか？
• RQ4 新表記は、Kronecker積およびKhatri-Rao積といった古典的行列ツールをクォータニオン領域へ拡張するために、どの程度有効に機能するか？
• RQ5 新表記を用いた行列積が結合的となる条件は何か？また、その条件は変換の逆転および分解にどのように影響するか？

主な発見

• 提案された左および右の行列積表記は、クォータニオン行列乗法の順序に関する曖昧性を効果的に解消し、クォータニオン線形代数の整合的フレームワークを実現した。
• 新表記を用いたDQFTの定式化は、より簡潔で構造的であり、左、混合、右の3つの明確に定義されたバリアントが順序付きの行列乗法によって明確に区別された。
• 逆DQFTは随伴転置行列を用いて導出され、同じ順序依存構造を維持しており、逆行列性が保証された。
• 行列積の結合性は、両方の次元で同じ純粋な単位クォータニオンμを用いる（μ₁ = μ₂）場合にのみ成立し、その特殊な場合に任意の括弧の付け替えが可能となる。
• この表記により、クォータニオン上での固有値分解の定式化がより自然で簡潔なものとなり、明確性が向上し、複雑さが低減された。
• Kronecker積およびKhatri-Rao積のクォータニオン領域への拡張が、提案された表記フレームワーク内において実現可能かつ意味を持つことが示された。