Source author record

Alice Silverberg

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

4works
1topics
4close collaborators

Published work

4 publications

preprint2016arXiv

Arithmetic properties of the Frobenius traces defined by a rational abelian variety (with two appendices by J-P. Serre)

Let AA be an abelian variety over Q\mathbb{Q} of dimension gg such that the image of its associated absolute Galois representation ρAρ_A is open in GSp⁡2g(Z^)\operatorname{GSp}_{2g}(\hat{\mathbb{Z}}). We investigate the arithmetic of the traces a1,pa_{1, p} of the Frobenius at pp in Gal⁡(Q‾/Q)\operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) under ρAρ_A, modulo varying primes pp. In particular, we obtain upper bounds for the counting function #{p≤x:a1,p=t}\#\{p \leq x: a_{1, p} = t\} and we prove an Erdös-Kac type theorem for the number of prime factors of a1,pa_{1, p}. We also formulate a conjecture about the asymptotic behaviour of #{p≤x:a1,p=t}\#\{p \leq x: a_{1, p} = t\}, which generalizes a well-known conjecture of S. Lang and H. Trotter from 1976 about elliptic curves.

preprint2015arXiv

Deterministic elliptic curve primality proving for a special sequence of numbers

We give a deterministic algorithm that very quickly proves the primality or compositeness of the integers N in a certain sequence, using an elliptic curve E/Q with complex multiplication by the ring of integers of Q(sqrt(-7)). The algorithm uses O(log N) arithmetic operations in the ring Z/NZ, implying a bit complexity that is quasi-quadratic in log N. Notably, neither of the classical "N-1" or "N+1" primality tests apply to the integers in our sequence. We discuss how this algorithm may be applied, in combination with sieving techniques, to efficiently search for very large primes. This has allowed us to prove the primality of several integers with more than 100,000 decimal digits, the largest of which has more than a million bits in its binary representation. At the time it was found, it was the largest proven prime N for which no significant partial factorization of N-1 or N+1 is known.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.