BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Lola Thompson

Lola Thompson contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.NTmath.GRmath.GT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
10works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

10 published item(s)

preprint2022arXiv

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

We present a new elementary algorithm that takes \[ \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) = \sum_{n \leq x} μ(n),$ where $μ(n)$ is the Möbius function. This is the first improvement in the exponent of $x$ for an elementary algorithm since 1985. We also show that it is possible to reduce space consumption to $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 $x^{3/5} (\log x)$.

0 citations0 reviewsNo code linkedOpen access
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 $3$-dimensional orbifold defines $c Q^{1/2} + O(Q^{1/4})$ square-rootable Salem numbers of degree $4$ which are less than or equal to $Q$. This quantity can be compared to the total number of such Salem numbers, which is shown to be asymptotic to $\frac{4}{3}Q^{3/2}+O(Q)$. Assuming the gap conjecture of Marklof, we can extend these results to compact arithmetic $3$-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 $2$ and $3$.

0 citations0 reviewsNo code linkedOpen access
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 $n_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}).

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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-ε}.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Variations on a question concerning the degrees of divisors of x^n-1

In this paper, we examine a natural question concerning the divisors of the polynomial x^n-1: "How often does x^n-1 have a divisor of every degree between 1 and n?" In a previous paper, we considered the situation when x^n-1 is factored in Z[x]. In this paper, we replace Z[x] with F_p[x], where p is an arbitrary-but-fixed prime. We also consider those n where this condition holds for all p.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access