Computing modular polynomials in quasi-linear time
Author:
- 11 March 2009
- journal article
- Published by American Mathematical Society (AMS) in Mathematics of Computation
- Vol. 78 (267) , 1809-1824
Abstract
We analyse and compare the complexity of several algorithms for computing modular polynomials. Under the assumption that rounding errors do not influence the correctness of the result, which appears to be satisfied in practice, we show that an algorithm relying on floating point evaluation of modular functions and on interpolation has a complexity that is up to logarithmic factors linear in the size of the computed polynomials. In particular, it obtains the classical modular polynomial Φ ℓ \Phi _\ell of prime level ℓ \ell in time \[ O ( ℓ 2 log 3 ℓ M ( ℓ ) ) ⊆ O ( ℓ 3 log 4 + ε ℓ ) , O \left (\ell ^2 \log ^3 \ell M (\ell ) \right ) \subseteq O \left ( \ell ^3 \log ^{4 + \varepsilon }\ell \right ), \] where M ( ℓ ) M(\ell ) is the time needed to multiply two ℓ \ell -bit numbers. Besides treating modular polynomials for Γ 0 ( ℓ ) \Gamma ^0 (\ell ) , which are an important ingredient in many algorithms dealing with isogenies of elliptic curves, the algorithm is easily adapted to more general situations. Composite levels are handled just as easily as prime levels, as well as polynomials between a modular function and its transform of prime level, such as the Schläfli polynomials and their generalisations. Our distributed implementation of the algorithm confirms the theoretical analysis by computing modular equations of record level around 10000 10000 in less than two weeks on ten processors.Keywords
All Related Versions
This publication has 20 references indexed in Scilit:
- Computing Modular PolynomialsLMS Journal of Computation and Mathematics, 2005
- Modular curves of composite levelActa Arithmetica, 2005
- Constructing elliptic curves over finite fields using double eta-quotientsJournal de Théorie des Nombres de Bordeaux, 2004
- Action of Modular Correspondences around CM Points2002
- Pi and the AGM, by Jonathan M. Borwein and Peter B. Borwein. Pp. 414. £38.95. 1998. ISBN 0 471 31515 X (Wiley Interscience).The Mathematical Gazette, 1999
- Constructing Isogenies between Elliptic Curves Over Finite FieldsLMS Journal of Computation and Mathematics, 1999
- Elliptic and modular curves over finite fields and related computational issues1997
- Calcul du nombre de points sur une courbe elliptique dans un corps fini : aspects algorithmiquesJournal de Théorie des Nombres de Bordeaux, 1995
- On the coefficients of the transformation polynomials for the elliptic modular functionMathematical Proceedings of the Cambridge Philosophical Society, 1984
- Hyperelliptic modular curvesBulletin de la Société Mathématiques de France, 1974