A New Reduction Method from Multivariate Polynomials to Univariate Polynomials (2403.12716v1)
Abstract: Polynomial multiplication is a fundamental problem in symbolic computation. There are efficient methods for the multiplication of two univariate polynomials. However, there is rarely efficiently nontrivial method for the multiplication of two multivariate polynomials. Therefore, we consider a new multiplication mechanism that involves a) reversibly reducing multivariate polynomials into univariate polynomials, b) calculating the product of the derived univariate polynomials by the Toom-Cook or FFT algorithm, and c) correctly recovering the product of multivariate polynomials from the product of two univariate polynomials. This work focuses on step a), expecting the degrees of the derived univariate polynomials to be as small as possible. We propose iterative Kronecker substitution, where smaller substitution exponents are selected instead of standard Kronecker substitution. We also apply the Chinese remainder theorem to polynomial reduction and find its advantages in some cases. Afterwards, we provide a hybrid reduction combining the advantages of both reduction methods. Moreover, we compare these reduction methods in terms of lower and upper bounds of the degree of the product of two derived univariate polynomials, and their computational complexities. With randomly generated multivariate polynomials, experiments show that the degree of the product of two univariate polynomials derived from the hybrid reduction can be reduced even to approximately 3% that resulting from the standard Kronecker substitution, implying an efficient subsequent multiplication of two univariate polynomials.
- Multivariate sparse interpolation using randomized kronecker substitutions. In Katsusuke Nabeshima, Kosaku Nagasaka, Franz Winkler, and Ágnes Szántó, editors, Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation, pages 35–42. ACM, 2014.
- Reduction of bivariate polynomials from convex-dense to dense, with application to factorizations. Math. Comput., 81(279):1799–1821, 2012.
- Marco Bodrato. Towards optimal toom-cook multiplication for univariate and multivariate polynomials in characteristic 2 and 0. In Claude Carlet and Berk Sunar, editors, Proceedings of International Workshop on the Arithmetic of Finite Fields, volume 4547 of Lecture Notes in Computer Science, pages 116–133. Springer, 2007.
- Fast fourier transforms: a tutorial review and a state of the art. Signal Processing (Elsevier), 19(4):259–299, 1990.
- FFTW: an adaptive software architecture for the FFT. In Proceedings of the 1998 IEEE International Conference on Acoustics, Speech and Signal Processing, pages 1381–1384. IEEE, 1998.
- The design and implementation of FFTW3. Proceedings of the IEEE, 93(2):216–231, 2005.
- Matteo Frigo. A fast fourier transform compiler. In Barbara G. Ryder and Benjamin G. Zorn, editors, Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 169–180. ACM, 1999.
- Matteo Frigo. Portable high-performance programs. PhD thesis, Massachusetts Institute of Technology, MA, USA, 1999.
- David Harvey. Faster polynomial multiplication via multipoint kronecker substitution. J. Symb. Comput., 44(10):1502–1510, 2009.
- Nearly optimal sparse fourier transform. In Proceedings of the Forty-Fourth Annual ACM Symposium on Theory of Computing, STOC ’12, page 563–578, New York, NY, USA, 2012. Association for Computing Machinery.
- Simple and practical algorithm for sparse fourier transform. In Yuval Rabani, editor, Proceedings of the 23rd Annual ACM-SIAM Symposium on Discrete Algorithms, pages 1183–1194. SIAM, 2012.
- David Harvey and Joris van der Hoeven. Faster integer and polynomial multiplication using cyclotomic coefficient rings. CoRR, abs/1712.03693, 2017.
- David Harvey and Joris van der Hoeven. Faster polynomial multiplication over finite fields using cyclotomic coefficient rings. J. Complexity, 54, 2019.
- Faster polynomial multiplication over finite fields. J. ACM, 63(6):52:1–52:23, 2017.
- Practical polynomial factoring in polynomial time. In Éric Schost and Ioannis Z. Emiris, editors, Proceedings of International Symposium on Symbolic and Algebraic Computation, pages 163–170. ACM, 2011.
- A modified split-radix FFT with fewer arithmetic operations. IEEE Trans. Signal Processing, 55(1):111–119, 2007.
- Michael Kapralov. Sparse fourier transform in any constant dimension with nearly-optimal sample complexity in sublinear time. In Proceedings of the Forty-Eighth Annual ACM Symposium on Theory of Computing, STOC ’16, page 264–277, New York, NY, USA, 2016. Association for Computing Machinery.
- Donald Ervin Knuth. The Art of Computer Programming, Volume II: Seminumerical Algorithms. Addison-Wesley, 1998.
- Leopold Kronecker. Grundzüge einer arithmetischen theorie der algebraischen grössen. Journal für die reine und angewandte Mathematik, 92:1–122, 1882.
- Vasileios Nakos. Nearly optimal sparse polynomial multiplication. IEEE Transactions on Information Theory, 66(11):7231–7236, 2020.
- Victor Y. Pan. Simple multivariate polynomial multiplication. J. Symb. Comput., 18(3):183–186, 1994.
- Numerical Recipes: the Art of Scientific Computing, 3rd Edition. Cambridge University Press, 2007.
- Arnold Schönhage. Asymptotically fast algorithms for the numerical multiplication and division of polynomials with complex coeficients. In Jacques Calmet, editor, European Computer Algebra Conference on Computer Algebra, volume 144 of Lecture Notes in Computer Science, pages 3–15. Springer, 1982.
- Mark Van Hoeij. Factoring polynomials and the knapsack problem. Journal of Number theory, 95(2):167–189, 2002.