Source author record

Lola Thompson

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

13works
3topics
4close collaborators

Published work

13 publications

preprint2022arXiv

Summing μ(n)μ(n): a faster elementary algorithm

We present a new elementary algorithm that takes time  Oε(x35(log⁡x)35+ε)  and  space  O(x310(log⁡x)1310) \mathrm{time} \ \ O_ε\left(x^{\frac{3}{5}} (\log x)^{\frac{3}{5}+ε} \right) \ \ \mathrm{and}\ \ \mathrm{space} \ \ O\left(x^{\frac{3}{10}} (\log x)^{\frac{13}{10}} \right) for computing M(x)=∑n≤xμ(n),M(x) = \sum_{n \leq x} μ(n), where μ(n)μ(n) is the Möbius function. This is the first improvement in the exponent of xx for an elementary algorithm since 1985. We also show that it is possible to reduce space consumption to O(x1/5(log⁡x)5/3)O(x^{1/5} (\log x)^{5/3}) by the use of (Helfgott, 2020; arxiv.org:1712.09130), at the cost of letting time rise to the order of x3/5(log⁡x)x^{3/5} (\log x).

preprint2020arXiv

Counting Salem numbers of arithmetic hyperbolic 3-orbifolds

It is known that the lengths of closed geodesics of an arithmetic hyperbolic orbifold are related to Salem numbers. We initiate a quantitative study of this phenomenon. We show that any non-compact arithmetic 33-dimensional orbifold defines cQ1/2+O(Q1/4)c Q^{1/2} + O(Q^{1/4}) square-rootable Salem numbers of degree 44 which are less than or equal to QQ. This quantity can be compared to the total number of such Salem numbers, which is shown to be asymptotic to 43Q3/2+O(Q)\frac{4}{3}Q^{3/2}+O(Q). Assuming the gap conjecture of Marklof, we can extend these results to compact arithmetic 33-orbifolds. As an application, we obtain lower bounds for the strong exponential growth of mean multiplicities in the geodesic spectrum of non-compact even dimensional arithmetic orbifolds. Previously, such lower bounds had only been obtained in dimensions 22 and 33.

preprint2014arXiv

Arithmetic functions at consecutive shifted primes

For each of the functions f∈{ϕ,σ,ω,τ}f \in \{ϕ, σ, ω, τ\} and every natural number kk, we show that there are infinitely many solutions to the inequalities f(pn−1)<f(pn+1−1)<⋯<f(pn+k−1)f(p_n-1) < f(p_{n+1}-1) < \dots < f(p_{n+k}-1), and similarly for f(pn−1)>f(pn+1−1)>⋯>f(pn+k−1)f(p_n-1) > f(p_{n+1}-1) > \dots > f(p_{n+k}-1). We also answer some questions of Sierpiński on the digit sums of consecutive primes. The arguments make essential use of Maynard and Tao's method for producing many primes in intervals of bounded length.

preprint2013arXiv

Abelian surfaces over finite fields with prescribed groups

Let A be an abelian surface over F_q, the field of q elements. The rational points on A/\F_q form an abelian group A(\F_q) \simeq \Z/n_1\Z \times \Z/n_1 n_2 \Z \times \Z/n_1 n_2 n_3\Z \times\Z/n_1 n_2 n_3 n_4\Z. We are interested in knowing which groups of this shape actually arise as the group of points on some abelian surface over some finite field. For a fixed prime power q, a characterization of the abelian groups that occur was recently found by Rybakov. One can use this characterization to obtain a set of congruences modulo the integers n1,n2,n3,n4n_1, n_2, n_3, n_4 on certain combinations of coefficients of the corresponding Weil polynomials. We use Rybakov's criterion to show that groups \Z/n_1\Z \times \Z/n_1 n_2 \Z \times \Z/n_1 n_2 n_3\Z \times\Z/n_1 n_2 n_3 n_4\Z do not occur if n_1 is very large with respect to n_2, n_2, n_4 (Theorem \ref{splitbound}), and occur with density zero in a wider range of the variables (Theorem \ref{splitbound-average}).

preprint2013arXiv

Distribution of squarefree values of sequences associated with elliptic curves

Let E be a non-CM elliptic curve defined over Q. For each prime p of good reduction, E reduces to a curve E_p over the finite field F_p. For a given squarefree polynomial f(x,y), we examine the sequences f_p(E) := f(a_p(E), p), whose values are associated with the reduction of E over F_p. We are particularly interested in two sequences: f_p(E) =p + 1 - a_p(E) and f_p(E) = a_p(E)^2 - 4p. We present two results towards the goal of determining how often the values in a given sequence are squarefree. First, for any fixed curve E, we give an upper bound for the number of primes p up to X for which f_p(E) is squarefree. Moreover, we show that the conjectural asymptotic for the prime counting function π_{E,f}^{SF}(X) := #{p \leq X: f_p(E) is squarefree} is consistent with the asymptotic for the average over curves E in a suitable box.

preprint2013arXiv

The sign changes of Fourier coefficients of Eisenstein series

In this paper we prove a number of theorems that determine the extent to which the signs of the Hecke eigenvalues of an Eisenstein newform determine the newform. We address this problem broadly and provide theorems of both individual and statistical nature. Many of these results are Eisenstein series analogues of well-known theorems for cusp forms. For instance, we determine how often the p-th Fourier coefficients of an Eisenstein newform begin with a fixed sequence of signs \varepsilon_p = {\pm 1, 0}. Moreover, we prove the following variant of the strong multiplicity-one theorem: an Eisenstein newform is uniquely determined by the signs of its Hecke eigenvalues with respect to any set of primes with density greater than 1/2.

preprint2012arXiv

On the divisors of x^n-1 in F_p[x]

In a recent paper, we considered integers n for which the polynomial x^n - 1 has a divisor in Z[x] of every degree up to n, and we gave upper and lower bounds for their distribution. In this paper, we consider those n for which the polynomial x^n-1 has a divisor in F_p[x] of every degree up to n, where p is a rational prime. Assuming the validity of the Generalized Riemann Hypothesis, we show that such integers n have asymptotic density 0.

preprint2012arXiv

Practical pretenders

Following Srinivasan, an integer n\geq 1 is called practical if every natural number in [1,n] can be written as a sum of distinct divisors of n. This motivates us to define f(n) as the largest integer with the property that all of 1, 2, 3,..., f(n) can be written as a sum of distinct divisors of n. (Thus, n is practical precisely when f(n)\geq n.) We think of f(n) as measuring the "practicality" of n; large values of f correspond to numbers n which we term practical pretenders. Our first theorem describes the distribution of these impostors: Uniformly for 4 \leq y \leq x, #{n\leq x: f(n)\geq y} \asymp \frac{x}{\log{y}}. This generalizes Saias's result that the count of practical numbers in [1,x] is \asymp \frac{x}{\log{x}}. Next, we investigate the maximal order of f when restricted to non-practical inputs. Strengthening a theorem of Hausman and Shapiro, we show that every n > 3 for which f(n) \geq \sqrt{e^γ n\log\log{n}} is a practical number. Finally, we study the range of f. Call a number m belonging to the range of f an additive endpoint. We show that for each fixed A >0 and ε> 0, the number of additive endpoints in [1,x] is eventually smaller than x/(\log{x})^A but larger than x^{1-ε}.

preprint2011arXiv

Heights of divisors of x^n-1

The height of a polynomial with integer coefficients is the largest coefficient in absolute value. Many papers have been written on the subject of bounding heights of cyclotomic polynomials. One result, due to H. Maier, gives a best possible upper bound of n^{ψ(n)} for almost all n, where ψ(n) is any function that approaches infinity as n tends to infinity. We will discuss the related problem of bounding the maximal height over all polynomial divisors of x^n - 1 and give an analogue of Maier's result in this scenario.

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.