Modular composition via complex roots

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

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

Modular composition is the problem to compute the composition of two univariate polynomials modulo a third one. For polynomials with coefficients in a finite field, Kedlaya and Umans proved in 2008 that the theoretical complexity for performing this task could be made arbitrarily close to linear. Unfortunately, beyond its major theoretical impact, this result has not led to practically faster implementations yet. In this paper, we explore the particular case when the ground field is the field of computable complex numbers. Ultimately, when the precision becomes sufficiently large, we show that modular compositions may be performed in softly linear time.

Domaines: Calcul formel [cs.SC]; Logiciel mathématique [cs.MS]; Complexité [cs.CC]

Joris van der Hoeven, Grégoire Lecerf. Modular composition via complex roots. 2017. ⟨hal-01455731v2⟩