[論文レビュー] Even faster integer multiplication

David Harvey, Joris van der Hoeven+1 more|arXiv (Cornell University)|Jul 12, 2014

Coding theory and cryptography参考文献 3被引用数 10

ひとこと要約

この論文は、高速な単位根を備えた特殊な係数環に依存しない簡素化されたアプローチを用いて、Fürerの整数乗算の上限に関する新しい証明を提示する。時間計算量はO(n log n ⋅ K^(log^* n))として改善され、K = 8が達成され、標準的なメルセンヌ素数に関する予想が成り立つと仮定すればKを4にまで低減でき、Fürerの元来のアルゴリズムに比べて顕著に高速化される。

ABSTRACT

We give a new proof of Fürer's bound for the cost of multiplying n-bit integers in the bit complexity model. Unlike Fürer, our method does not require constructing special coefficient rings with "fast" roots of unity. Moreover, we prove the more explicit bound O(n log n K^(log^* n))$ with K = 8. We show that an optimised variant of Fürer's algorithm achieves only K = 16, suggesting that the new algorithm is faster than Fürer's by a factor of 2^(log^* n). Assuming standard conjectures about the distribution of Mersenne primes, we give yet another algorithm that achieves K = 4.

研究の動機と目的

• 特殊な係数環に高速な単位根を備えたものに依存せず、Fürーの整数乗算の上限を簡素化された形で証明すること。
• 複雑さの上限の指数部における明示的な定数因子Kを、Fürerの値から8にまで低減すること。
• 標準的な数論的予想のもとでKのさらなる低減が可能かどうかを検討すること。
• 新アルゴリズムがFürerの元来の方法に比べ、漸近的に2^(log^* n)倍速くなることを示すこと。

提案手法

• 著者らは、高速な単位根を備えた特殊な係数環を構築する必要がない新しい証明技法を開発し、基礎となる代数的構造を単純化した。
• 複素単位根に基づく再帰的乗算戦略を採用したが、Fürerの元来の構築法よりもはるかに洗練された形で実装された。
• 特定の根構造を持つ環上での多項式乗算の複雑さを精密に分析することに依存している。
• Kを16にまで低減するように最適化されたアルゴリズムバージョンを設計し、効率を向上させた。
• 標準的な予想（無限個のメルセンヌ素数が存在する）が成り立つと仮定すると、K = 4を達成するさらなる変種を構築した。
• 高速フーリエ変換に類似た再帰的アプローチを採用しているが、係数環の取り扱いを強化した。

実験結果

リサーチクエスチョン

• RQ1 Fürerの整数乗算の上限は、高速な単位根を備えた特別な係数環を構築することなく証明可能か？
• RQ2 O(n log n ⋅ K^(log^* n))の複雑さの上限における定数Kの最小値は何か？
• RQ3 妥当な数論的仮定のもとで、Kを8未満にさらに低減できるか？
• RQ4 新アルゴリズムはFürerの元来の方法に比べ、漸近的にどの程度速いか？
• RQ5 標準的なメルセンヌ素数に関する予想のもとで、K = 4の複雑さの上限を達成できるか？

主な発見

• 本論文は、整数乗算における新たな時間計算量の上限O(n log n ⋅ 8^(log^* n))を確立し、Fürerの元来の結果を改善した。
• 最適化されたアルゴリズムバージョンは、O(n log n ⋅ 16^(log^* n))の複雑さを達成し、Fürerの方法に比べて2^(log^* n)倍の高速化を示唆した。
• 標準的な予想（無限個のメルセンヌ素数が存在する）が成り立つと仮定すると、K = 4の複雑さの上限を達成した。
• 新証明は、高速な単位根を備えた複雑な係数環を構築する必要がなく、理論的枠組みを単純化した。
• 結果として、漸近的な高速化は理論的意義にとどまらず、指数部の定数因子の低減により実用的にも顕著な効果をもたらすことが示された。
• 本研究は、近似的に最適な整数乗算の複雑さに到達するより明確でアクセスしやすい道筋を提供した。