On the complexity of multivariate blockwise polynomial multiplication

Joris van der Hoeven (1) , Grégoire Lecerf (1)

1 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]

In this article, we study the problem of multiplying two multivariate polynomials which are somewhat but not too sparse, typically like polynomials with convex supports. We design and analyze an algorithm which is based on blockwise decomposition of the input polynomials, and which performs the actual multiplication in an FFT model or some other more general so called ''evaluated model''. If the input polynomials have total degrees at most d, then, under mild assumptions on the coefficient ring, we show that their product can be computed with O(s^1.5337) ring operations, where s denotes the number of all the monomials of total degree at most 2*d.

Mots clés: sparse polynomial multiplication; multivariate power series; evaluation-interpolation; algorithm

Domaines: Calcul formel [cs.SC]

Joris van der Hoeven, Grégoire Lecerf. On the complexity of multivariate blockwise polynomial multiplication. 2012. ⟨hal-00660454⟩