arXiv++ Combinatorics

We construct sequences $\{a_n\}_{n\in\mathbb{N}}\in\{-1,1\}^{\mathbb{N}}$ with small values of signed harmonic sums \[ \sum_{n\in\mathcal{A}\cap[1,N]}\frac{a_n}{n}, \] for any reasonably dense subsets $\mathcal{A}\subset\mathbb{N}.$ We apply these methods to further construct completely multiplicative functions $f:\mathbb{N}\to\{-1,1\}$ with unusually small logarithmic partial sums, that is, \[ \sum_{n \leq N}\frac{f(n)}{n} \ll \exp\left(-c_0 \frac{N^{1/3}}{(\log N)^{1/3}} \right) \] holds for infinitely many $N\to\infty$. The proofs combine careful analysis of the small-scale distribution of random harmonic sums over subsets of $\mathbb{N}$, together with deterministic inductive arguments inspired by the ``anatomy" of integers.

Let $(a_n)_{n \geq 1}$ be a sequence of distinct positive integers. In a recent paper Rudnick established asymptotic upper bounds for the minimal gaps of $\{a_n α\bmod 1, 1 \leq n \leq N\}$ as $N \to \infty$, valid for Lebesgue-almost all $α$ and formulated in terms of the additive energy of $\{a_1, \dots, a_N\}$. In the present paper we argue that the metric theory of minimal gaps of such sequences is not controlled by the additive energy, but rather by the cardinality of the difference set of $\{a_1, \dots, a_N\}$. We establish a (complicated) sharp convergence/divergence test for the typical asymptotic order of the minimal gap, and prove (slightly weaker) general upper and lower bounds which allow for a direct application. A major input for these results comes from the recent proof of the Duffin--Schaeffer conjecture by Koukoulopoulos and Maynard. We show that our methods give very precise results for slowly growing sequences whose difference set has relatively high density, such as the primes or the squares. Furthermore, we improve a metric result of Blomer, Bourgain, Rudnick and Radziwill on the order of the minimal gap in the eigenvalue spectrum of a rectangular billiard.

We consider the large sieve inequality for sparse sequences of moduli and give a general result depending on the additive energy (both symmetric and asymmetric) of the sequence of moduli. For example, in the case of monomials $f(X) = X^k$ this allows us to improve, in some ranges of the parameters, the previous bounds of S. Baier and L. Zhao (2005), K.~Halupczok (2012, 2015, 2018) and M.~Munsch (2020). We also consider moduli defined by polynomials $f(X) \in \mathbb{Z}[X]$, Piatetski-Shapiro sequences and general convex sequences. We then apply our results to obtain a version of the Bombieri--Vinogradov theorem with Piatetski-Shapiro moduli improving the level of distribution of R.~C.~Baker (2014).

The pair correlation is a localized statistic for sequences in the unit interval. Pseudo-random behavior with respect to this statistic is called Poissonian behavior. The metric theory of pair correlations of sequences of the form $(a_n α)_{n \geq 1}$ has been pioneered by Rudnick, Sarnak and Zaharescu. Here $α$ is a real parameter, and $(a_n)_{n \geq 1}$ is an integer sequence, often of arithmetic origin. Recently, a general framework was developed which gives criteria for Poissonian pair correlation of such sequences for almost every real number $α$, in terms of the additive energy of the integer sequence $(a_n)_{n \geq 1}$. In the present paper we develop a similar framework for the case when $(a_n)_{n \geq 1}$ is a sequence of reals rather than integers, thereby pursuing a line of research which was recently initiated by Rudnick and Technau. As an application of our method, we prove that for every real number $θ>1$, the sequence $(n^θα)_{n \geq 1}$ has Poissonian pair correlation for almost all $α\in \mathbb{R}$.

Let $χ$ range over the $(p-1)/2$ even Dirichlet characters modulo a prime $p$ and denote by $θ(x,χ)$ the associated theta series. The asymptotic behaviour of the second and fourth moments proved by Louboutin and the author implies that there exists at least $ \gg p/ \log p$ characters such that the associated theta function does not vanish at a fixed point. Constructing a suitable mollifier, we improve this result and show that there exists at least $ \gg p/ \sqrt{\log p}$ characters such that $θ(x,χ) \neq 0$ for any $x>0$. We give similar results for odd Dirichlet characters mod $p$.