[论文解读] Faster integer and polynomial multiplication using cyclotomic coefficient rings

David Harvey, Joris van der Hoeven|arXiv (Cornell University)|Dec 11, 2017

Coding theory and cryptography参考文献 11被引用 8

一句话总结

本文提出了一种基于分圆系数环的新型整数乘法算法，时间复杂度为 $ O(n\log n\,(4\sqrt{2})^{"log^{*}n}) $，优于此前最佳的 $ O(n\log n\,6^{"log^{*}n}) $。该方法依赖于模运算的递归分解以及分圆环中优化的单位根结构，且在有限域上的多项式乘法中也实现了类似改进。

ABSTRACT

We present an algorithm that computes the product of two n-bit integers in O(n log n (4\sqrt 2)^{log^* n}) bit operations. Previously, the best known bound was O(n log n 6^{log^* n}). We also prove that for a fixed prime p, polynomials in F_p[X] of degree n may be multiplied in O(n log n 4^{log^* n}) bit operations; the previous best bound was O(n log n 8^{log^* n}).

研究动机与目标

• 将整数乘法的渐近时间复杂度提升至优于此前已知的 $ O(n\log n\,6^{\log^{*}n}) $ 边界。
• 开发一种基于模运算的算法，避免依赖近似复数运算，与此前如 Fürer 的方法不同。
• 将改进的复杂度边界扩展至有限域 $ \mathbb{F}_p[X] $ 上的多项式乘法，实现固定 $ p $ 时的 $ O(n\log n\,4^{\log^{*}n}) $。
• 建立基于分圆系数环与精细递归分解技术的新理论基础，以最小化递归各层的数据膨胀。
• 证明整数乘法中常数 $ K_{\mathbb{Z}} = 4\sqrt{2} \approx 5.657 $ 可无条件实现，推动实现开放猜想 $ K_{\mathbb{Z}} = 4 $ 的进程。

提出的方法

• 该算法基于分圆环上的模运算实施递归分解策略，避免了对近似复数运算的需求。
• 引入一种精细的递归结构，利用 $ p $-可接受长度与精心选择的权重，以控制递归各层的数据膨胀。
• 该方法应用了三次递归调用：首次用于估计可接受的乘法成本，第二次用于优化多项式乘法成本，最后还原回整数乘法。
• 采用一种新颖的加权方案，使用系数 $ \gamma_{p,i} $ 和 $ \gamma_{p,i,j} $，其和为 1，从而在不同尺度上实现凸组合边界。
• 分析依赖于一个涉及 $ \operatorname{\mathsf{C}^{\star}_{\mathrm{int}}}(n) $ 的递归不等式，其被有界常数倍的较小整数乘法成本 $ \operatorname{\mathsf{C}^{\star}_{\mathrm{int}}}(n_{p,i,j}) $ 的加权和所限制。
• 关键技术组件是使用一个缓慢增长的函数 $ \Psi(x) = 2^{(\log\log x)^8} $，以确保所有递归子问题均保持在所需大小范围内。

实验结果

研究问题

• RQ1 能否在不依赖近似复数运算的前提下，通过模运算将整数乘法复杂度中的常数 $ K_{\mathbb{Z}} $ 降低至 6 以下？
• RQ2 能否在不依赖近似复数运算的前提下，实现整数乘法中 $ K_{\mathbb{Z}} = 4\sqrt{2} \approx 5.657 $？
• RQ3 该递归框架能否被适配以实现对固定 $ p $ 的 $ \mathbb{F}_p[X] $ 上多项式乘法的改进边界？
• RQ4 如何利用分圆系数环最小化递归乘法算法中的数据膨胀？
• RQ5 在仅使用确定性模运算操作的假设下，整数乘法中 $ K_{\mathbb{Z}} $ 的最小可实现值是多少？

主要发现

• 本文实现了整数乘法复杂度 $ O(n\log n\,(4\sqrt{2})^{\log^{*}n}) $，优于此前最佳的 $ O(n\log n\,6^{\log^{*}n}) $。
• 新算法完全基于模运算，无需使用快速单位根或近似复数运算。
• 对于固定 $ p $ 的 $ \mathbb{F}_p[X] $ 上的多项式乘法，本文实现了 $ O(n\log n\,4^{\log^{*}n}) $ 次位操作，优于此前的 $ O(n\log n\,8^{\log^{*}n}) $。
• 改进通过使用分圆系数环的递归分解以及在多尺度上通过加权平均精细控制数据膨胀实现。
• 分析确认，所有递归子问题均保持在大小边界 $ \Psi(\Psi(n)) $ 内，其中 $ \Psi(x) = 2^{(\log\log x)^8} $，确保递归结构的合理性。
• 结果表明，$ K_{\mathbb{Z}} = 4\sqrt{2} \approx 5.657 $ 可无条件实现，使领域更接近开放猜想 $ K_{\mathbb{Z}} = 4 $。