BZPEER

preprint2022arXiv

An averaged form of Chowla's conjecture

Let $λ$ denote the Liouville function. A well known conjecture of Chowla asserts that for any distinct natural numbers $h_1,\dots,h_k$ , one has $\sum_{1 \leq n \leq X} λ(n+h_1) \dotsm λ(n+h_k) = o(X)$ as $X \to \infty$ . This conjecture remains unproven for any $h_1,\dots,h_k$ with $k \geq 2$ . In this paper, using the recent results of the first two authors on mean values of multiplicative functions in short intervals, combined with an argument of Katai and Bourgain-Sarnak-Ziegler, we establish an averaged version of this conjecture, namely $\sum_{h_1,\dots,h_k \leq H} \left|\sum_{1 \leq n \leq X} λ(n+h_1) \dotsm λ(n+h_k)\right| = o(H^kX)$ as $X \to \infty$ whenever $H = H(X) \leq X$ goes to infinity as $X \to \infty$ , and $k$ is fixed. Related to this, we give the exponential sum estimate $\int_0^X \left|\sum_{x \leq n \leq x+H} λ(n) e(αn)\right| dx = o( HX )$ as $X \to \infty$ uniformly for all $α\in \mathbb{R}$ , with $H$ as before. Our arguments in fact give quantitative bounds on the decay rate (roughly on the order of $\frac{\log\log H}{\log H}$ ), and extend to more general bounded multiplicative functions than the Liouville function, yielding an averaged form of a (corrected) conjecture of Elliott.

preprint2021arXiv

Moments of the Riemann zeta function on short intervals of the critical line

We show that as $T\to \infty$ , for all $t\in [T,2T]$ outside of a set of measure $\mathrm{o}(T)$ , $\int_{-(\log T)^θ}^{(\log T)^θ} |ζ(\tfrac 12 + \mathrm{i} t + \mathrm{i} h)|^β \mathrm{d} h = (\log T)^{f_θ(β) + \mathrm{o}(1)},$ for some explicit exponent $f_θ(β)$ , where $θ> -1$ and $β> 0$ . This proves an extended version of a conjecture of Fyodorov and Keating (2014). In particular, it shows that, for all $θ> -1$ , the moments exhibit a phase transition at a critical exponent $β_c(θ)$ , below which $f_θ(β)$ is quadratic and above which $f_θ(β)$ is linear. The form of the exponent $f_θ$ also differs between mesoscopic intervals ( $-1<θ<0$ ) and macroscopic intervals ( $θ>0$ ), a phenomenon that stems from an approximate tree structure for the correlations of zeta. We also prove that, for all $t\in [T,2T]$ outside a set of measure $\mathrm{o}(T)$ , $\max_{|h| \leq (\log T)^θ} |ζ(\tfrac{1}{2} + \mathrm{i} t + \mathrm{i} h)| = (\log T)^{m(θ) + \mathrm{o}(1)},$ for some explicit $m(θ)$ . This generalizes earlier results of Najnudel (2018) and Arguin et al. (2019) for $θ= 0$ . The proofs are unconditional, except for the upper bounds when $θ> 3$ , where the Riemann hypothesis is assumed.

preprint2021arXiv

Optimal Small Scale Equidistribution of Lattice Points on the Sphere, Heegner Points, and Closed Geodesics

We asymptotically estimate the variance of the number of lattice points in a thin, randomly rotated annulus lying on the surface of the sphere. This partially resolves a conjecture of Bourgain, Rudnick, and Sarnak. We also obtain estimates that are valid for all balls and annuli that are not too small. Our results have several consequences: for a conjecture of Linnik on sums of two squares and a "microsquare", a conjecture of Bourgain and Rudnick on the number of lattice points lying in small balls on the surface of the sphere, the covering radius of the sphere, and the distribution of lattice points in almost all thin regions lying on the surface of the sphere. Finally, we show that for a density $1$ subsequence of squarefree integers, the variance exhibits a different asymptotic behaviour for balls of volume $(\log n)^{-δ}$ with $0 < δ< \tfrac {1}{16}$ . We also obtain analogous results for Heegner points and closed geodesics. Interestingly, we are able to prove some slightly stronger results for closed geodesics than for Heegner points or lattice points on the surface of the sphere. A crucial observation that underpins our proof is the different behaviour of weights functions for annuli and for balls.

preprint2021arXiv

Singmaster's conjecture in the interior of Pascal's triangle

Singmaster's conjecture asserts that every natural number greater than one occurs at most a bounded number of times in Pascal's triangle; that is, for any natural number $t \geq 2$ , the number of solutions to the equation $\binom{n}{m} = t$ for natural numbers $1 \leq m < n$ is bounded. In this paper we establish this result in the interior region $\exp(\log^{2/3+\varepsilon} n) \leq m \leq n-\exp(\log^{2/3 + \varepsilon} n)$ for any fixed $\varepsilon > 0$ . Indeed, when $t$ is sufficiently large depending on $\varepsilon$ , we show that there are at most four solutions (or at most two in either half of Pascal's triangle) in this region. We also establish analogous results for the equation $(n)_m = t$ , where $(n)_m := n(n-1)\ldots(n-m+1)$ denotes the falling factorial.

preprint2020arXiv

Correlations of the von Mangoldt and higher divisor functions II. Divisor correlations in short ranges

We study the problem of obtaining asymptotic formulas for the sums $\sum_{X < n \leq 2X} d_k(n) d_l(n+h)$ and $\sum_{X < n \leq 2X} Λ(n) d_k(n+h)$ , where $Λ$ is the von Mangoldt function, $d_k$ is the $k^{\operatorname{th}}$ divisor function, $X$ is large and $k \geq l \geq 2$ are real numbers. We show that for almost all $h \in [-H, H]$ with $H = (\log X)^{10000 k \log k}$ , the expected asymptotic estimate holds. In our previous paper we were able to deal also with the case of $Λ(n) Λ(n + h)$ and we obtained better estimates for the error terms at the price of having to take $H = X^{8/33 + \varepsilon}$ .

preprint2020arXiv

Multiplicative functions in short intervals II

We determine the behavior of multiplicative functions vanishing at a positive proportion of prime numbers in almost all short intervals. Furthermore we quantify "almost all" with uniform power-saving upper bounds, that is, we save a power of the suitably normalized length of the interval regardless of how long or short the interval is. Such power-saving bounds are new even in the special case of the Möbius function. These general results are motivated by several applications. First, we strengthen work of Hooley on sums of two squares by establishing an asymptotic for the number of integers that are sums of two squares in almost all short intervals. Previously only the order of magnitude was known. Secondly, we extend this result to general norm forms of an arbitrary number field $K$ (sums of two squares are norm-forms of $\mathbb{Q}(i)$ ). Thirdly, Hooley determined the order of magnitude of the sum of $(s_{n + 1} - s_{n})^γ$ with $γ\in (1, 5/3)$ where $s_{1} < s_2 < \ldots$ denote integers representable as sums of two squares. We establish a similar results with $γ\in (1, 3/2)$ and $s_n$ the sequence of integers representable as norm-forms of an arbitrary number field $K$ . This is the first such result for a number field of degree greater than two. Assuming the Riemann Hypothesis for all Hecke $L$ -functions we also show that $γ\in (1,2)$ is admissible. Fourthly, we improve on a recent result of Heath-Brown about gaps between $x^{\varepsilon}$ -smooth numbers. More generally, we obtain results about gaps between multiplicative sequences. Finally our result is useful in other contexts aswell, for instance in our forthcoming work on Fourier uniformity (joint with Terence Tao, Joni Teraväinen and Tamar Ziegler).

preprint2020arXiv

Prime number theorem for analytic skew products

We establish a prime number theorem for all uniquely ergodic, analytic skew products on the $2$ -torus $\mathbb{T}^2$ . More precisely, for every irrational $α$ and every $1$ -periodic real analytic $g:\mathbb{R}\to\mathbb{R}$ of zero mean, let $T_{α,g} : \mathbb{T}^2 \rightarrow \mathbb{T}^2$ be defined by $(x,y) \mapsto (x+α,y+g(x))$ . We prove that if $T_{α, g}$ is uniquely ergodic then, for every $(x,y) \in \mathbb{T}^2$ , the sequence $\{T_{α, g}^p(x,y)\}$ is equidistributed on $\mathbb{T}^2$ as $p$ traverses prime numbers. This is the first example of a class of natural, non-algebraic and smooth dynamical systems for which a prime number theorem holds. We also show that such a prime number theorem does not necessarily hold if $g$ is only continuous on $\mathbb{T}^2$ .

preprint2016arXiv

A quadratic divisor problem and moments of the Riemann zeta-function

We estimate asymptotically the fourth moment of the Riemann zeta-function twisted by a Dirichlet polynomial of length $T^{\frac14 - \varepsilon}$ . Our work relies crucially on Watt's theorem on averages of Kloosterman fractions. In the context of the twisted fourth moment, Watt's result is an optimal replacement for Selberg's eigenvalue conjecture. Our work extends the previous result of Hughes and Young, where Dirichlet polynomials of length $T^{\frac{1}{11}-\varepsilon}$ were considered. Our result has several applications, among others to the proportion of critical zeros of the Riemann zeta-function, zero spacing and lower bounds for moments. Along the way we obtain an asymptotic formula for a quadratic divisor problem, where the condition $a m_1 m_2 - b n_1 n_2 = h$ is summed with smooth averaging on the variables $m_1, m_2, n_1, n_2, h$ and arbitrary weights in the average on $a,b$ . Using Watt's work allows us to exploit all averages simultaneously. It turns out that averaging over $m_1, m_2, n_1, n_2, h$ right away in the quadratic divisor problem simplifies considerably the combinatorics of the main terms in the twisted fourth moment.

preprint2016arXiv

Quantum Unique Ergodicity for half-integral weight forms

We investigate the analogue of the Quantum Unique Ergodicity (QUE) conjecture for half-integral weight automorphic forms. Assuming the Generalized Riemann Hypothesis (GRH) we establish QUE for both half-integral weight holomorphic Hecke cusp forms for $Γ_0(4)$ lying in Kohnen's plus subspace and for half-integral weight Hecke Maaß cusp forms for $Γ_0(4)$ lying in Kohnen's plus subspace. By combining the former result along with an argument of Rudnick, it follows that under GRH the zeros of these holomorphic Hecke cusp equidistribute with respect to hyperbolic measure on $Γ_0(4)\backslash \mathbb H$ as the weight tends to infinity.

preprint2016arXiv

Small gaps in the spectrum of the rectangular billiard

We study the size of the minimal gap between the first N eigenvalues of the Laplacian on a rectangular billiard having irrational squared aspect ratio $α$ , in comparison to the corresponding quantity for a Poissonian sequence. If $α$ is a quadratic irrationality of certain type, such as the square root of a rational number, we show that the minimal gap is roughly of size 1/N, which is essentially consistent with Poisson statistics. We also give related results for a set of $α$ 's of full measure. However, on a fine scale we show that Poisson statistics is violated for all $α$ . The proofs use a variety of ideas of an arithmetical nature, involving Diophantine approximation, the theory of continued fractions, and results in analytic number theory.

preprint2015arXiv

A note on Helson's conjecture on moments of random multiplicative functions

We give lower bounds for the small moments of the sum of a random multiplicative function, which improve on some results of Bondarenko and Seip and constitute further progress towards (dis)proving a conjecture of Helson. We also prove asymptotics for the even integer moments. The latter have also been obtained very recently and independently by Heap and Lindqvist. Our proofs involve general lower bound techniques for random multiplicative functions, mean value results for multiplicative functions in several variables, and some calculations with Birkhoff polytopes.

preprint2015arXiv

A note on the Liouville function in short intervals

In this note we give a short and self-contained proof that, for any $δ> 0$ , $\sum_{x \leq n \leq x+x^δ} λ(n) = o(x^δ)$ for almost all $x \in [X, 2X]$ . We also sketch a proof of a generalization of such a result to general real-valued multiplicative functions. Both results are special cases of results in our more involved and lengthy recent pre-print.

preprint2015arXiv

Selberg's central limit theorem for $\log |ζ(\tfrac 12+it)|$

We present a new and simple proof of Selberg's central limit theorem, according to which $\log |ζ(\tfrac 12 + it)|$ is approximately normally distributed with mean $0$ and variance $\tfrac 12 \log\log t$ .

preprint2015arXiv

Sign patterns of the Liouville and Möbius functions

Let $λ$ and $μ$ denote the Liouville and Möbius functions respectively. Hildebrand showed that all eight possible sign patterns for $(λ(n), λ(n+1), λ(n+2))$ occur infinitely often. By using the recent result of the first two authors on mean values of multiplicative functions in short intervals, we strengthen Hildebrand's result by proving that each of these eight sign patterns occur with positive lower natural density. We also obtain an analogous result for the nine possible sign patterns for $(μ(n), μ(n+1))$ . A new feature in the latter argument is the need to demonstrate that a certain random graph is almost surely connected.

preprint2015arXiv

Small scale distribution of zeros and mass of modular forms

We study the behavior of zeros and mass of holomorphic Hecke cusp forms on $SL_2(\mathbb Z) \backslash \mathbb H$ at small scales. In particular, we examine the distribution of the zeros within hyperbolic balls whose radii shrink sufficiently slowly as $k \rightarrow \infty$ . We show that the zeros equidistribute within such balls as $k \rightarrow \infty$ as long as the radii shrink at a rate at most a small power of $1/\log k$ . This relies on a new, effective, proof of Rudnick's theorem on equidistribution of the zeros and on an effective version of Quantum Unique Ergodicity for holomorphic forms, which we obtain in this paper. We also examine the distribution of the zeros near the cusp of $SL_2(\mathbb Z) \backslash \mathbb H$ . Ghosh and Sarnak conjectured that almost all the zeros here lie on two vertical geodesics. We show that for almost all forms a positive proportion of zeros high in the cusp do lie on these geodesics. For all forms, we assume the Generalized Lindelöf Hypothesis and establish a lower bound on the number of zeros that lie on these geodesics, which is significantly stronger than the previous unconditional results.

preprint2013arXiv

Simple zeros of primitive Dirichlet $L$ -functions and the asymptotic large sieve

Assuming the Generalized Riemann Hypothesis (GRH), we show using the asymptotic large sieve that 91% of the zeros of primitive Dirichlet $L$ -functions are simple. This improves on earlier work of Özlük which gives a proportion of at most 86%. We further compute an $q$ -analogue of the Pair Correlation Function $F(α)$ averaged over all primitive Dirichlet $L$ -functions in the range $|α| < 2$ . Previously such a result was available only when the average included all the characters $χ$ .

Maksym Radziwiłł

Research overview

Is this your work?

16 publications

An averaged form of Chowla's conjecture

Moments of the Riemann zeta function on short intervals of the critical line

Optimal Small Scale Equidistribution of Lattice Points on the Sphere, Heegner Points, and Closed Geodesics

Singmaster's conjecture in the interior of Pascal's triangle

Correlations of the von Mangoldt and higher divisor functions II. Divisor correlations in short ranges

Multiplicative functions in short intervals II

Prime number theorem for analytic skew products

A quadratic divisor problem and moments of the Riemann zeta-function

Quantum Unique Ergodicity for half-integral weight forms

Small gaps in the spectrum of the rectangular billiard

A note on Helson's conjecture on moments of random multiplicative functions

A note on the Liouville function in short intervals

Selberg's central limit theorem for $\log |ζ(\tfrac 12+it)|$

Sign patterns of the Liouville and Möbius functions

Small scale distribution of zeros and mass of modular forms

Simple zeros of primitive Dirichlet $L$ -functions and the asymptotic large sieve

See the researcher in context

Building this map preview

Maksym Radziwiłł

Research overview

Is this your work?

16 publications

An averaged form of Chowla's conjecture

Moments of the Riemann zeta function on short intervals of the critical line

Optimal Small Scale Equidistribution of Lattice Points on the Sphere, Heegner Points, and Closed Geodesics

Singmaster's conjecture in the interior of Pascal's triangle

Correlations of the von Mangoldt and higher divisor functions II. Divisor correlations in short ranges

Multiplicative functions in short intervals II

Prime number theorem for analytic skew products

A quadratic divisor problem and moments of the Riemann zeta-function

Quantum Unique Ergodicity for half-integral weight forms

Small gaps in the spectrum of the rectangular billiard

A note on Helson's conjecture on moments of random multiplicative functions

A note on the Liouville function in short intervals

Selberg's central limit theorem for log⁡∣ζ(12+it)∣\log |ζ(\tfrac 12+it)|log∣ζ(21​+it)∣

Sign patterns of the Liouville and Möbius functions

Small scale distribution of zeros and mass of modular forms

Simple zeros of primitive Dirichlet LLL-functions and the asymptotic large sieve

See the researcher in context

Building this map preview

Selberg's central limit theorem for $\log |ζ(\tfrac 12+it)|$

Simple zeros of primitive Dirichlet $L$ -functions and the asymptotic large sieve