We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
To send content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about sending content to .
To send content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about sending to your Kindle.
Note you can select to send to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
Let
$h(n)$
denote the largest product of distinct primes whose sum does not exceed
$n$
. The main result of this paper is that the property for all
$n\geq 1$
, we have
$\log h(n)<\sqrt{\text{li}^{-1}(n)}$
(where
$\text{li}^{-1}$
denotes the inverse function of the logarithmic integral) is equivalent to the Riemann hypothesis.
Most systematic tables of data associated to ranks of elliptic curves order the curves by conductor. Recent developments, led by work of Bhargava and Shankar studying the average sizes of
$n$
-Selmer groups, have given new upper bounds on the average algebraic rank in families of elliptic curves over
$\mathbb{Q}$
, ordered by height. We describe databases of elliptic curves over
$\mathbb{Q}$
, ordered by height, in which we compute ranks and
$2$
-Selmer group sizes, the distributions of which may also be compared to these theoretical results. A striking new phenomenon that we observe in our database is that the average rank eventually decreases as height increases.
We describe an implementation for computing holomorphic and skew-holomorphic Jacobi forms of integral weight and scalar index on the full modular group. This implementation is based on formulas derived by one of the authors which express Jacobi forms in terms of modular symbols of elliptic modular forms. Since this method allows a Jacobi eigenform to be generated directly from a given modular eigensymbol without reference to the whole ambient space of Jacobi forms, it makes it possible to compute Jacobi Hecke eigenforms of large index. We illustrate our method with several examples.
In order to assess the security of cryptosystems based on the discrete logarithm problem in non-prime finite fields, as are the torus-based or pairing-based ones, we investigate thoroughly the case in
$\mathbb{F}_{p^{6}}$
with the number field sieve. We provide new insights, improvements, and comparisons between different methods to select polynomials intended for a sieve in dimension 3 using a special-
$\mathfrak{q}$
strategy. We also take into account the Galois action to increase the relation productivity of the sieving phase. To validate our results, we ran several experiments and real computations for various polynomial selection methods and field sizes with our publicly available implementation of the sieve in dimension 3, with special-
$\mathfrak{q}$
and various enumeration strategies.
We propose an algorithm to verify the
$p$
-part of the class number for a number field
$K$
, provided
$K$
is totally real and an abelian extension of the rational field
$\mathbb{Q}$
, and
$p$
is any prime. On fields of degree 4 or higher, this algorithm has been shown heuristically to be faster than classical algorithms that compute the entire class number, with improvement increasing with larger field degrees.
We study elliptic curves over quadratic fields with isogenies of certain degrees. Let
$n$
be a positive integer such that the modular curve
$X_{0}(n)$
is hyperelliptic of genus
${\geqslant}2$
and such that its Jacobian has rank
$0$
over
$\mathbb{Q}$
. We determine all points of
$X_{0}(n)$
defined over quadratic fields, and we give a moduli interpretation of these points. We show that, with a finite number of exceptions up to
$\overline{\mathbb{Q}}$
-isomorphism, every elliptic curve over a quadratic field
$K$
admitting an
$n$
-isogeny is
$d$
-isogenous, for some
$d\mid n$
, to the twist of its Galois conjugate by a quadratic extension
$L$
of
$K$
. We determine
$d$
and
$L$
explicitly, and we list all exceptions. As a consequence, again with a finite number of exceptions up to
$\overline{\mathbb{Q}}$
-isomorphism, all elliptic curves with
$n$
-isogenies over quadratic fields are in fact
$\mathbb{Q}$
-curves.
We construct explicit bases for spaces of overconvergent
$p$
-adic modular forms when
$p=2,3$
and study their interaction with the Atkin operator. This results in an extension of Lauder’s algorithms for overconvergent modular forms. We illustrate these algorithms with computations of slope sequences of some
$2$
-adic eigencurves and the construction of Chow–Heegner points on elliptic curves via special values of Rankin triple product L-functions.
We give the complete list of possible torsion subgroups of elliptic curves with complex multiplication over number fields of degree 1–13. Additionally we describe the algorithm used to compute these torsion subgroups and its implementation.
The problem of solving polynomial equations over finite fields has many applications in cryptography and coding theory. In this paper, we consider polynomial equations over a ‘large’ finite field with a ‘small’ characteristic. We introduce a new algorithm for solving this type of equations, called the successive resultants algorithm (SRA). SRA is radically different from previous algorithms for this problem, yet it is conceptually simple. A straightforward implementation using Magma was able to beat the built-in Roots function for some parameters. These preliminary results encourage a more detailed study of SRA and its applications. Moreover, we point out that an extension of SRA to the multivariate case would have an important impact on the practical security of the elliptic curve discrete logarithm problem in the small characteristic case.
We develop algorithms to turn quotients of rings of integers into effective Euclidean rings by giving polynomial algorithms for all fundamental ring operations. In addition, we study normal forms for modules over such rings and their behavior under certain quotients. We illustrate the power of our ideas in a new modular normal form algorithm for modules over rings of integers, vastly outperforming classical algorithms.
We describe how the Hardy–Ramanujan–Rademacher formula can be implemented to allow the partition function p(n) to be computed with softly optimal complexity O(n1/2+o(1)) and very little overhead. A new implementation based on these techniques achieves speedups in excess of a factor 500 over previously published software and has been used by the author to calculate p(1019), an exponent twice as large as in previously reported computations. We also investigate performance for multi-evaluation of p(n), where our implementation of the Hardy–Ramanujan–Rademacher formula becomes superior to power series methods on far denser sets of indices than previous implementations. As an application, we determine over 22 billion new congruences for the partition function, extending Weaver’s tabulation of 76 065 congruences. Supplementary materials are available with this article.
We describe an algorithm to prove the Birch and Swinnerton-Dyer conjectural formula for any given elliptic curve defined over the rational numbers of analytic rank zero or one. With computer assistance we rigorously prove the formula for 16714 of the 16725 such curves of conductor less than 5000.
We present p-adic algorithms for computing Hecke polynomials and Hecke eigenforms associated to spaces of classical modular forms, using the theory of overconvergent modular forms. The algorithms have a running time which grows linearly with the logarithm of the weight and are well suited to investigating the dimension variation of certain p-adically defined spaces of classical modular forms.
Recommend this
Email your librarian or administrator to recommend adding this to your organisation's collection.