[論文レビュー] Derivation of a low multiplicative complexity algorithm for multiplying hyperbolic octonions

Aleksandr Cariow, Galina Cariowa+1 more|arXiv (Cornell University)|Feb 22, 2015

Algebraic and Geometric Analysis参考文献 21被引用数 11

ひとこと要約

この論文は、直接計算に必要な64回の実数乗算と56回の加算を大幅に削減する26回の実数乗算と92回の実数加算で実行できる、双曲的オクタニオンの乗算のための新しいアルゴリズムを提示する。この手法は、双曲的オクタニオン乗算の行列-ベクトル表現と、変換行列の特徴的な構造的因数分解を活用することで、乗算の複雑さを低減する。

ABSTRACT

We present an efficient algorithm to multiply two hyperbolic octonions. The direct multiplication of two hyperbolic octonions requires 64 real multiplications and 56 real additions. More effective solutions still do not exist. We show how to compute a product of the hyperbolic octonions with 26 real multiplications and 92 real additions. During synthesis of the discussed algorithm we use the fact that product of two hyperbolic octonions may be represented as a matrix - vector product. The matrix multiplicand that participates in the product calculating has unique structural properties that allow performing its advantageous factorization. Namely this factorization leads to significant reducing of the computational complexity of hyperbolic octonions multiplication.

研究の動機と目的

• 現在64回の実数乗算を要する双曲的オクタニオン乗算のための効率的でないアルゴリズムの欠如に対処すること。
• 関連する変換行列の構造的性質を活用することで、双曲的オクタニオン乗算の計算複雑度を低減すること。
• 正しさと効率性を維持しながら、乗算の複雑度を最小限に抑えた実用的なアルゴリズムを導出すること。
• 双曲的オクタニオン乗算の行列表現を因数分解する体系的な手法を提供すること。

提案手法

• 二つの双曲的オクタニオンの積を、乗算規則を符号化する行列を用いた行列-ベクトル乗算として表現する。
• 変換行列の構造的性質を分析し、利用可能な対称性や重複を特定する。
• 行列因数分解技術を適用して、変換行列をスパースまたは構造的行列の積に分解し、必要な乗算回数を削減する。
• 因数分解された行列成分を用いて最終的な積を再構築し、代数的最適化により実数乗算を最小限に抑える。
• 標準的な双曲的オクタニオン乗算の公式と等価であることを確認することで、導出されたアルゴリズムの正しさを検証する。
• 中間項の戦略的再利用とグループ化を通じて、乗算を最小限に抑えながら加算回数を92回に最適化する。

実験結果

リサーチクエスチョン

• RQ1 双曲的オクタニオン乗算の乗算複雑度を、直接法の64回の乗算を下回ることは可能か？
• RQ2 双曲的オクタニオン乗算行列のどのような構造的性質が、効率的な因数分解を可能にするか？
• RQ3 加算回数を管理可能な範囲に保ちながら、乗算回数を著しく削減することは可能か？
• RQ4 双曲的オクタニオンのような非結合的代数に対して、行列因数分解技術を体系的に適用する方法は何か？

主な発見

• 提案されたアルゴリズムにより、双曲的オクタニオン乗算に必要な実数乗算回数が64回から26回に削減された。
• 行列-ベクトル表現と正当な因数分解を通じて代数的構造を保持することで、アルゴリズムの正しさが維持された。
• 実数加算回数は92回に増加したが、乗算回数の著しい削減と見合う妥当なトレードオフであった。
• 主なイノベーションは、効率的な因数分解を可能にする変換行列内の独自の構造的性質の同定と活用にある。
• 非結合的代数であっても、行列表現が顕著なアルゴリズム的最適化を可能にすることが示された。