Researcher profile

Adam J. Harper

Adam J. Harper contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
13works
0followers
3topics
2close 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

13 published item(s)

preprint2023arXiv

The typical size of character and zeta sums is $o(\sqrt{x})$

We prove conjecturally sharp upper bounds for the Dirichlet character moments $\frac{1}{r-1} \sum_{χ\; \text{mod} \; r} |\sum_{n \leq x} χ(n)|^{2q}$, where $r$ is a large prime, $1 \leq x \leq r$, and $0 \leq q \leq 1$ is real. In particular, if both $x$ and $r/x$ tend to infinity with $r$ then $\frac{1}{r-1} \sum_{χ\; \text{mod} \; r} |\sum_{n \leq x} χ(n)| = o(\sqrt{x})$, and so the sums $\sum_{n \leq x} χ(n)$ typically exhibit "better than squareroot cancellation". We prove analogous better than squareroot bounds for the moments $\frac{1}{T} \int_{0}^{T} |\sum_{n \leq x} n^{it}|^{2q} dt$ of zeta sums; of Dirichlet theta functions $θ(1,χ)$; and of the sums $\sum_{n \leq x} h(n) χ(n)$, where $h(n)$ is any suitably bounded multiplicative function (for example the Möbius function $μ(n)$). The proofs depend on similar better than squareroot cancellation phenomena for low moments of random multiplicative functions. An important ingredient is a reorganisation of the conditioning arguments from the random case, so that one only needs to "condition" on a small collection of fairly short prime number sums. The conditioned quantities arising can then be well approximated by twisted second moments, whose behaviour is the same for character and zeta sums as in the random case.

preprint2022arXiv

A note on character sums over short moving intervals

We investigate the sums $(1/\sqrt{H}) \sum_{X < n \leq X+H} χ(n)$, where $χ$ is a fixed non-principal Dirichlet character modulo a prime $q$, and $0 \leq X \leq q-1$ is uniformly random. Davenport and Erdős, and more recently Lamzouri, proved central limit theorems for these sums provided $H \rightarrow \infty$ and $(\log H)/\log q \rightarrow 0$ as $q \rightarrow \infty$, and Lamzouri conjectured these should hold subject to the much weaker upper bound $H=o(q/\log q)$. We prove this is false for some $χ$, even when $H = q/\log^{A}q$ for any fixed $A > 0$. On the other hand, we show it is true for &#34;almost all&#34; characters on the range $q^{1-o(1)} \leq H = o(q)$. Using Pólya&#39;s Fourier expansion, these results may be reformulated as statements about the distribution of certain Fourier series with number theoretic coefficients. Tools used in the proofs include the existence of characters with large partial sums on short initial segments, and moment estimates for trigonometric polynomials with random multiplicative coefficients.

preprint2020arXiv

Almost sure large fluctuations of random multiplicative functions

We prove that if $f(n)$ is a Steinhaus or Rademacher random multiplicative function, there almost surely exist arbitrarily large values of $x$ for which $|\sum_{n \leq x} f(n)| \geq \sqrt{x} (\log\log x)^{1/4+o(1)}$. This is the first such bound that grows faster than $\sqrt{x}$, answering a question of Halász and proving a conjecture of Erdős. It is plausible that the exponent $1/4$ is sharp in this problem. The proofs work by establishing a multivariate Gaussian approximation for the sums $\sum_{n \leq x} f(n)$ at a sequence of $x$, conditional on the behaviour of $f(p)$ for all except the largest primes $p$. The most difficult aspect is showing that the conditional covariances of the sums are usually small, so the corresponding Gaussians are usually roughly independent. These covariances are related to an Euler product (or multiplicative chaos) type integral twisted by additive characters, which we study using various tools including mean value estimates for Dirichlet polynomials, high mixed moment estimates for random Euler products, and barrier arguments with random walks.

preprint2018arXiv

Moments of random multiplicative functions, II: High moments

We determine the order of magnitude of $\mathbb{E}|\sum_{n \leq x} f(n)|^{2q}$ up to factors of size $e^{O(q^2)}$, where $f(n)$ is a Steinhaus or Rademacher random multiplicative function, for all real $1 \leq q \leq \frac{c\log x}{\log\log x}$. In the Steinhaus case, we show that $\mathbb{E}|\sum_{n \leq x} f(n)|^{2q} = e^{O(q^2)} x^q (\frac{\log x}{q\log(2q)})^{(q-1)^2}$ on this whole range. In the Rademacher case, we find a transition in the behaviour of the moments when $q \approx (1+\sqrt{5})/2$, where the size starts to be dominated by &#34;orthogonal&#34; rather than &#34;unitary&#34; behaviour. We also deduce some consequences for the large deviations of $\sum_{n \leq x} f(n)$. The proofs use various tools, including hypercontractive inequalities, to connect $\mathbb{E}|\sum_{n \leq x} f(n)|^{2q}$ with the $q$-th moment of an Euler product integral. When $q$ is large, it is then fairly easy to analyse this integral. When $q$ is close to 1 the analysis seems to require subtler arguments, including Doob&#39;s $L^p$ maximal inequality for martingales.

preprint2014arXiv

Pickands&#39; constant $H_α$ does not equal $1/Γ(1/α)$, for small $α$

Pickands&#39; constants $H_α$ appear in various classical limit results about tail probabilities of suprema of Gaussian processes. It is an often quoted conjecture that perhaps $H_α = 1/Γ(1/α)$ for all $0 < α\leq 2$, but it is also frequently observed that this doesn&#39;t seem compatible with evidence coming from simulations. We prove the conjecture is false for small $α$, and in fact that $H_α \geq (1.1527)^{1/α}/Γ(1/α)$ for all sufficiently small $α$. The proof is a refinement of the &#34;conditioning and comparison&#34; approach to lower bounds for upper tail probabilities, developed in a previous paper of the author. Some calculations of hitting probabilities for Brownian motion are also involved.

preprint2013arXiv

Additive decompositions of sets with restricted prime factors

We investigate sumset decompositions of quite general sets with restricted prime factors. We manage to handle certain sets, such as the smooth numbers, even though they have little sieve amenability, and conclude that these sets cannot be written as a ternary sumset. This proves a conjecture by Sárközy. We also clean up and sharpen existing results on sumset decompositions of the prime numbers.

preprint2013arXiv

Bounds on the suprema of Gaussian processes, and omega results for the sum of a random multiplicative function

We prove new lower bounds for the upper tail probabilities of suprema of Gaussian processes. Unlike many existing bounds, our results are not asymptotic, but supply strong information when one is only a little into the upper tail. We present an extended application to a Gaussian version of a random process studied by Halasz. This leads to much improved lower bound results for the sum of a random multiplicative function. We further illustrate our methods by improving lower bounds for some classical constants from extreme value theory, the Pickands constants $H_α$, as $α\rightarrow 0$.

preprint2013arXiv

Inverse questions for the large sieve

Suppose that an infinite set $A$ occupies at most $\frac{1}{2}(p+1)$ residue classes modulo $p$, for every sufficiently large prime $p$. The squares, or more generally the integer values of any quadratic, are an example of such a set. By the large sieve inequality the number of elements of $A$ that are at most $X$ is $O(X^{1/2})$, and the quadratic examples show that this is sharp. The simplest form of the inverse large sieve problem asks whether they are the only examples. We prove a variety of results and formulate various conjectures in connection with this problem, including several improvements of the large sieve bound when the residue classes occupied by $A$ have some additive structure. Unfortunately we cannot solve the problem itself.

preprint2013arXiv

Sharp conditional bounds for moments of the Riemann zeta function

We prove, assuming the Riemann Hypothesis, that \int_{T}^{2T} |ζ(1/2+it)|^{2k} dt \ll_{k} T log^{k^{2}} T for any fixed k \geq 0 and all large T. This is sharp up to the value of the implicit constant. Our proof builds on well known work of Soundararajan, who showed, assuming the Riemann Hypothesis, that \int_{T}^{2T} |ζ(1/2+it)|^{2k} dt \ll_{k,ε} T log^{k^{2}+ε} T for any fixed k \geq 0 and ε> 0. Whereas Soundararajan bounded \log|ζ(1/2+it)| by a single Dirichlet polynomial, and investigated how often it attains large values, we bound \log|ζ(1/2+it)| by a sum of many Dirichlet polynomials and investigate the joint behaviour of all of them. We also work directly with moments throughout, rather than passing through estimates for large values.

preprint2012arXiv

Bombieri--Vinogradov and Barban--Davenport--Halberstam type theorems for smooth numbers

We prove Bombieri--Vinogradov and Barban--Davenport--Halberstam type theorems for the y-smooth numbers less than x, on the range log^{K}x \leq y \leq x. This improves on the range \exp{log^{2/3 + ε}x} \leq y \leq x that was previously available. Our proofs combine zero-density methods with direct applications of the large sieve, which seems to be an essential feature and allows us to cope with the sparseness of the smooth numbers. We also obtain improved individual (i.e. not averaged) estimates for character sums over smooth numbers.

preprint2011arXiv

On a paper of K. Soundararajan on smooth numbers in arithmetic progressions

In a recent paper, K. Soundararajan showed, roughly speaking, that the integers smaller than x whose prime factors are less than y are asymptotically equidistributed in arithmetic progressions to modulus q, provided that y^{4\sqrt{e}-δ} \geq q and that y is neither too large nor too small compared with x. We show that these latter restrictions on y are unnecessary, thereby proving a conjecture of Soundararajan. Our argument uses a simple majorant principle for trigonometric sums to handle a saddle point that is close to 1.

preprint2011arXiv

On finding many solutions to S-unit equations by solving linear equations on average

We give improved lower bounds for the number of solutions of some $S$-unit equations over the integers, by counting the solutions of some associated linear equations as the coefficients in those equations vary over sparse sets. This method is quite conceptually straightforward, although its successful implementation involves, amongst other things, a slightly subtle use of a large sieve inequality. We also present two other results about solving linear equations on average over their coefficients.

preprint2010arXiv

On the limit distributions of some sums of a random multiplicative function

We study sums of a random multiplicative function; this is an example, of number-theoretic interest, of sums of products of independent random variables (chaoses). Using martingale methods, we establish a normal approximation for the sum over those n \leq x with k distinct prime factors, provided that k = o(log log x) as x \rightarrow \infty. We estimate the fourth moments of these sums, and use a conditioning argument to show that if k is of the order of magnitude of log log x then the analogous normal limit theorem does not hold. The methods extend to treat the sum over those n \leq x with at most k distinct prime factors, and in particular the sum over all n \leq x. We also treat a substantially generalised notion of random multiplicative function.