[論文レビュー] Near Quadratic Matrix Multiplication Modulo Composites

Vince Grolmusz|ArXiv.org|Jan 8, 2003

Matrix Theory and Algorithms被引用数 3

ひとこと要約

本稿では、合成数を法とする行列乗算のための新規アルゴリズムを提示する。このアルゴリズムは、n²⁺ᵒ⁽¹⁾回の乗算のみを用いて、ほぼ二次的計算量を達成する。特に、相異なる素数の積である合成数を法とする1-a-strong多項式表現を活用することで、古典的なn³のしきい値を下回る乗算回数に削減する。これにより、合成数を法とする行列計算において顕著な漸近的改善が得られる。

ABSTRACT

We show how one can use non-prime-power, composite moduli for computing representations of the product of two $n imes n$ matrices using only $n^{2+o(1)}$ multiplications.

研究の動機と目的

• 合成数、特に6のような非素数の冪でない合成数を法とする行列乗算のための効率的アルゴリズムの開発。
• 古典的なO(n³)行列乗算の計算ボトルネックを軽減し、必要な乗算回数を削減すること。
• 体や素数を法とする場合と比較して、より高速な計算を可能にするために、合成環上での代替多項式表現（1-a-strong）の利用を検討すること。
• 合成数mを法とする行列積の計算が、n²⁺ᵒ⁽¹⁾回の乗算で達成できることを示すこと。
• 1-a-strong表現における余剰単項式の性質を活用し、加算および乗算演算においても正しさを保つ可能性を調査すること。

提案手法

• m = p₁p₂⋯pᵣ と表される合成数を法とする多項式の1-a-strong表現を用いる。ここで、係数はmの少なくとも1つの素数冪因子を法として正しくなる。
• m が2つの素因数を持つ場合、n次元ベクトルの内積の1-a-strong表現を、exp(O(√(log n log log n)))回の乗算で構築する。
• 行列乗算へは、積行列の各要素を計算するためにこの内積表現をn²回適用することで拡張する。
• 効率的な実装のため、双線形ΣΠΣ回路を用い、乗算回数がn²⁺ᵒ⁽¹⁾の範囲内に保たれるようにする。
• 1-a-strong表現は乗算において正しさを保つ性質を持ち、適切な余剰条件のもとで加算に対しても同様に保たれることを活用する。
• 内積表現の係数に対称性（aᵢⱼ = aⱼᵢ）を確保することで、行列積計算における一貫性を維持する。

実験結果

リサーチクエスチョン

• RQ1 合成数を法とする行列乗算は、n³回未満の乗算で実行可能か？
• RQ2 合成環上での多項式表現技法として、行列乗算における三次未満の計算量を実現するものは何か？
• RQ3 1-a-strong表現は、標準的表現と比較して、計算効率においてどのように異なるか？
• RQ4 1-a-strong表現の和または積が、いつ1-a-strongの性質を保ち、反復計算における正しさを保証できるか？
• RQ5 双線形回路のみを用いて、合成数mを法とする行列乗算でn²⁺ᵒ⁽¹⁾の計算量を達成することは可能か？

主な発見

• m が2つの異なる素因数を持つ合成数の場合、行列積AB を法mで計算する1-a-strong表現は、n²⁺ᵒ⁽¹⁾回の乗算で達成可能であり、具体的にはn² × exp(O(√(log n log log n)))回の乗算を要する。
• m がr個の異なる素因数を持つ場合、乗算回数はn² × exp(O(r√(log n(log log n)ʳ⁻¹)))に増加するが、依然としてn²⁺ᵒ⁽¹⁾の計算量の範囲内に収まる。
• アルゴリズムは双線形ΣΠΣ回路を介して実装され、表現の計算が効率的かつ構造的に実現される。
• n次元ベクトルの内積の1-a-strong表現は、exp(O(√(log n log log n)))回の乗算で計算可能であり、行列乗算アルゴリズムのコアとなる基盤を形成する。
• 合成環における代数的構造を活用することで、古典的なO(n³)行列乗算に比べ顕著な漸近的改善が達成される。
• 2つの1-a-strong表現の和は、その余剰単項式が互いに素であるか、互換性がある場合、1-a-strongの性質を保ち、加算演算における正しさが維持される。