Results 1  10
of
29
Elliptic Curves And Primality Proving
 Math. Comp
, 1993
"... The aim of this paper is to describe the theory and implementation of the Elliptic Curve Primality Proving algorithm. ..."
Abstract

Cited by 201 (22 self)
 Add to MetaCart
(Show Context)
The aim of this paper is to describe the theory and implementation of the Elliptic Curve Primality Proving algorithm.
Computing modular polynomials in quasilinear time
 Mathematics of Computation
"... 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 ..."
Abstract

Cited by 28 (5 self)
 Add to MetaCart
(Show Context)
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 Φℓ of prime level ℓ in time O ( ℓ 2 log 3 ℓM(ℓ) ) ⊆ O ( ℓ 3 log 4+ε ℓ), where M(ℓ) is the time needed to multiply two ℓbit numbers. Besides treating modular polynomials for Γ0 (ℓ), 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.
Arithmetic of singular moduli and class polynomials
, 2005
"... We investigate divisibility properties of the traces and Hecke traces of singular moduli. In particular we prove that, if p is prime, these traces satisfy many congruences modulo powers of p which are described in terms of the factorization of p in imaginary quadratic fields. We also study generaliz ..."
Abstract

Cited by 18 (3 self)
 Add to MetaCart
We investigate divisibility properties of the traces and Hecke traces of singular moduli. In particular we prove that, if p is prime, these traces satisfy many congruences modulo powers of p which are described in terms of the factorization of p in imaginary quadratic fields. We also study generalizations of Lehner’s classical congruences j(z)Up ≡ 744 (mod p) (wherep � 11 and j(z) is the usual modular invariant), and we investigate connections between class polynomials and supersingular polynomials in characteristic p.
Generalised Weber functions
, 2009
"... A generalised Weber function is wN(z) = η(z/N)/η(z) where η(z) is the Dedekind function and N is any integer (the original function corresponds to N = 2). We give the complete classification of cases where some power we N evaluated at some quadratic integer generates the ring class field associated ..."
Abstract

Cited by 10 (4 self)
 Add to MetaCart
A generalised Weber function is wN(z) = η(z/N)/η(z) where η(z) is the Dedekind function and N is any integer (the original function corresponds to N = 2). We give the complete classification of cases where some power we N evaluated at some quadratic integer generates the ring class field associated to an order of an imaginary quadratic field. We compare the heights of our invariants by giving a general formula for the degree of the relevant modular equation relating wN(z) and j(z).
Ramanujan and the modular jinvariant
 CANAD. MATH. BULL
, 1999
"... A new infinite product tn was introduced by S. Ramanujan on the last page of his third notebook. In this paper, we prove Ramanujan’s assertions about tn by establishing new connections between the modular j−invariant and Ramanujan’s cubic theory of elliptic functions to alternative bases. We also ..."
Abstract

Cited by 10 (3 self)
 Add to MetaCart
A new infinite product tn was introduced by S. Ramanujan on the last page of his third notebook. In this paper, we prove Ramanujan’s assertions about tn by establishing new connections between the modular j−invariant and Ramanujan’s cubic theory of elliptic functions to alternative bases. We also show that for certain integers n, tn generates the Hilbert class field of � ( √ −n). This shows that tn is a new class invariant according to H. Weber’s definition of class invariants.
Implementation Of The AtkinGoldwasserKilian Primality Testing Algorithm
 RAPPORT DE RECHERCHE 911, INRIA, OCTOBRE
, 1988
"... We describe a primality testing algorithm, due essentially to Atkin, that uses elliptic curves over finite fields and the theory of complex multiplication. In particular, we explain how the use of class fields and genus fields can speed up certain phases of the algorithm. We sketch the actual implem ..."
Abstract

Cited by 9 (7 self)
 Add to MetaCart
We describe a primality testing algorithm, due essentially to Atkin, that uses elliptic curves over finite fields and the theory of complex multiplication. In particular, we explain how the use of class fields and genus fields can speed up certain phases of the algorithm. We sketch the actual implementation of this test and its use on testing large primes, the records being two numbers of more than 550 decimal digits. Finally, we give a precise answer to the question of the reliability of our computations, providing a certificate of primality for a prime number.
ALGEBRAIC THETA FUNCTIONS AND THE pADIC INTERPOLATION OF EISENSTEINKRONECKER NUMBERS
, 2007
"... ABSTRACT. We study the properties of EisensteinKronecker numbers, which are related to special values of Hecke Lfunction of imaginary quadratic fields. We prove that the generating function of these numbers is a reduced (normalized or canonical in some literature) theta function associated to the ..."
Abstract

Cited by 9 (5 self)
 Add to MetaCart
ABSTRACT. We study the properties of EisensteinKronecker numbers, which are related to special values of Hecke Lfunction of imaginary quadratic fields. We prove that the generating function of these numbers is a reduced (normalized or canonical in some literature) theta function associated to the Poincaré bundle of an elliptic curve. We introduce general methods to study the algebraic and padic properties of reduced theta functions for CM abelian varieties. As a corollary, when the prime p is ordinary, we give a new construction of the twovariable padic measure interpolating special values of Hecke Lfunctions of imaginary quadratic fields, originally constructed by ManinVishik and Katz. Our method via theta functions also gives insight for the case when p is supersingular. The method of this paper will be used in subsequent papers in constructing certain twovariable padic distribution for supersingular p interpolating EisensteinKronecker numbers in twovaribales, as well as explicit calculation in twovariables of the padic elliptic polylogarithms for CM elliptic curves.
Hyperelliptic curves, Lpolynomials, and random matrices, to appear
 in the lecture notes of AGCT11, Contemporary Mathematics
"... Abstract. We analyze the distribution of unitarized Lpolynomials ¯Lp(T) (as p varies) obtained from a hyperelliptic curve of genus g ≤ 3 defined over Q. In the generic case, we find experimental agreement with a predicted correspondence (based on the KatzSarnak random matrix model) between the dis ..."
Abstract

Cited by 7 (1 self)
 Add to MetaCart
(Show Context)
Abstract. We analyze the distribution of unitarized Lpolynomials ¯Lp(T) (as p varies) obtained from a hyperelliptic curve of genus g ≤ 3 defined over Q. In the generic case, we find experimental agreement with a predicted correspondence (based on the KatzSarnak random matrix model) between the distributions of ¯Lp(T) and of characteristic polynomials of random matrices in the compact Lie group USp(2g). We then formulate an analogue of the SatoTate conjecture for curves of genus 2, in which the generic distribution is augmented by 24 exceptional distributions, each corresponding to a compact subgroup of USp(4). In every case but two, we exhibit a curve closely matching the proposed distribution, and can find no curves unaccounted for by our classification. 1.
POINT COUNTING ON REDUCTIONS OF CM ELLIPTIC CURVES
"... Abstract. We give explicit formulas for the number of points on reductions of elliptic curves with complex multiplication by any imaginary quadratic field. We also find models for CM Qcurves in certain cases. This generalizes earlier results of Gross, Stark, and others. 1. ..."
Abstract

Cited by 6 (4 self)
 Add to MetaCart
(Show Context)
Abstract. We give explicit formulas for the number of points on reductions of elliptic curves with complex multiplication by any imaginary quadratic field. We also find models for CM Qcurves in certain cases. This generalizes earlier results of Gross, Stark, and others. 1.