-
Multiplicative functions in short intervals
Authors:
Kaisa Matomäki,
Maksym Radziwiłł
Abstract:
We introduce a general result relating "short averages" of a multiplicative function to "long averages" which are well understood. This result has several consequences. First, for the Möbius function we show that there are cancellations in the sum of $μ(n)$ in almost all intervals of the form $[x, x + ψ(x)]$ with $ψ(x) \rightarrow \infty$ arbitrarily slowly. This goes beyond what was previously kn…
▽ More
We introduce a general result relating "short averages" of a multiplicative function to "long averages" which are well understood. This result has several consequences. First, for the Möbius function we show that there are cancellations in the sum of $μ(n)$ in almost all intervals of the form $[x, x + ψ(x)]$ with $ψ(x) \rightarrow \infty$ arbitrarily slowly. This goes beyond what was previously known conditionally on the Density Hypothesis or the stronger Riemann Hypothesis. Second, we settle the long-standing conjecture on the existence of $x^ε$-smooth numbers in intervals of the form $[x, x + c(\varepsilon) \sqrt{x}]$, recovering unconditionally a conditional (on the Riemann Hypothesis) result of Soundararajan. Third, we show that the mean-value of $λ(n)λ(n+1)$, with $λ(n)$ Liouville's function, is non-trivially bounded in absolute value by $1 - δ$ for some $δ> 0$. This settles an old folklore conjecture and constitutes progress towards Chowla's conjecture. Fourth, we show that a (general) real-valued multiplicative function $f$ has a positive proportion of sign changes if and only if $f$ is negative on at least one integer and non-zero on a positive proportion of the integers. This improves on many previous works, and is new already in the case of the Möbius function. We also obtain some additional results on smooth numbers in almost all intervals, and sign changes of multiplicative functions in all intervals of square-root length.
△ Less
Submitted 15 October, 2017; v1 submitted 19 January, 2015;
originally announced January 2015.
-
Small scale distribution of zeros and mass of modular forms
Authors:
Stephen Lester,
Kaisa Matomäki,
Maksym Radziwiłł
Abstract:
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…
▽ More
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.
△ Less
Submitted 16 June, 2015; v1 submitted 6 January, 2015;
originally announced January 2015.
-
The mean square of the product of $ζ(s)$ with Dirichlet polynomials
Authors:
Sandro Bettin,
Vorrapan Chandee,
Maksym Radziwill
Abstract:
Improving earlier work of Balasubramanian, Conrey and Heath-Brown, we obtain an asymptotic formula for the mean-square of the Riemann zeta-function times an arbitrary Dirichlet polynomial of length $T^{1/2 + δ}$, with $δ= 0.01515....$ As an application we obtain an upper bound of the correct order of magnitude for the third moment of the Riemann zeta-function. We also refine previous work of Desho…
▽ More
Improving earlier work of Balasubramanian, Conrey and Heath-Brown, we obtain an asymptotic formula for the mean-square of the Riemann zeta-function times an arbitrary Dirichlet polynomial of length $T^{1/2 + δ}$, with $δ= 0.01515....$ As an application we obtain an upper bound of the correct order of magnitude for the third moment of the Riemann zeta-function. We also refine previous work of Deshouillers and Iwaniec, obtaining asymptotic estimates in place of bounds. Using the work of Watt, we compute the mean-square of the Riemann zeta-function times a Dirichlet polynomial of length going up to $T^{3/4}$ provided that the Dirichlet polynomial assumes a special shape. Finally, we exhibit a conjectural estimate for trilinear sums of Kloosterman fractions which implies the Lindelof Hypothesis.
△ Less
Submitted 28 November, 2014;
originally announced November 2014.
-
Refinements of Gál's theorem and applications
Authors:
Mark Lewko,
Maksym Radziwill
Abstract:
We give a simple proof of a well-known theorem of Gál and of the recent related results of Aistleitner, Berkes and Seip [1] regarding the size of GCD sums. In fact, our method obtains the asymptotically sharp constant in Gál's theorem, which is new. Our approach also gives a transparent explanation of the relationship between the maximal size of the Riemann zeta function on vertical lines and boun…
▽ More
We give a simple proof of a well-known theorem of Gál and of the recent related results of Aistleitner, Berkes and Seip [1] regarding the size of GCD sums. In fact, our method obtains the asymptotically sharp constant in Gál's theorem, which is new. Our approach also gives a transparent explanation of the relationship between the maximal size of the Riemann zeta function on vertical lines and bounds on GCD sums; a point which was previously unclear. Furthermore we obtain sharp bounds on the spectral norm of GCD matrices which settles a question raised in [2]. We use bounds for the spectral norm to show that series formed out of dilates of periodic functions of bounded variation converge almost everywhere if the coefficients of the series are in $L^2 (\log\log 1/L)^γ$, with $γ> 2$. This was previously known with $γ>4$, and is known to fail for $γ<2$. We also develop a sharp Carleson-Hunt-type theorem for functions of bounded variations which settles another question raised in [1]. Finally we obtain almost sure bounds for partial sums of dilates of periodic functions of bounded variations improving [1]. This implies almost sure bounds for the discrepancy of $\{n_k x\}$ with $n_k$ an arbitrary growing sequences of integers.
△ Less
Submitted 11 August, 2014;
originally announced August 2014.
-
Counting arithmetic formulas
Authors:
Edinah K. Gnang,
Maksym Radziwill,
Carlo Sanna
Abstract:
An arithmetic formula is an expression involving only the constant $1$, and the binary operations of addition and multiplication, with multiplication by $1$ not allowed. We obtain an asymptotic formula for the number of arithmetic formulas evaluating to $n$ as $n$ goes to infinity, solving a conjecture of E. K. Gnang and D. Zeilberger. We give also an asymptotic formula for the number of arithmeti…
▽ More
An arithmetic formula is an expression involving only the constant $1$, and the binary operations of addition and multiplication, with multiplication by $1$ not allowed. We obtain an asymptotic formula for the number of arithmetic formulas evaluating to $n$ as $n$ goes to infinity, solving a conjecture of E. K. Gnang and D. Zeilberger. We give also an asymptotic formula for the number of arithmetic formulas evaluating to $n$ and using exactly $k$ multiplications. Finally we analyze three specific encodings for producing arithmetic formulas. For almost all integers $n$, we compare the lengths of the arithmetic formulas for $n$ that each encoding produces with the length of the shortest formula for $n$ (which we estimate from below). We briefly discuss the time-space tradeoff offered by each.
△ Less
Submitted 6 June, 2014;
originally announced June 2014.
-
Sign changes of Hecke eigenvalues
Authors:
Kaisa Matomäki,
Maksym Radziwill
Abstract:
Let $f$ be a holomorphic or Maass Hecke cusp form for the full modular group and write $λ_f(n)$ for the corresponding Hecke eigenvalues. We are interested in the signs of those eigenvalues. In the holomorphic case, we show that for some positive constant $δ$ and every large enough $x$, the sequence $(λ_f(n))_{n \leq x}$ has at least $δx$ sign changes. Furthermore we show that half of non-zero…
▽ More
Let $f$ be a holomorphic or Maass Hecke cusp form for the full modular group and write $λ_f(n)$ for the corresponding Hecke eigenvalues. We are interested in the signs of those eigenvalues. In the holomorphic case, we show that for some positive constant $δ$ and every large enough $x$, the sequence $(λ_f(n))_{n \leq x}$ has at least $δx$ sign changes. Furthermore we show that half of non-zero $λ_f(n)$ are positive and half are negative. In the Maass case, it is not yet known that the coefficients are non-lacunary, but our method is robust enough to show that on the relative set of non-zero coefficients there is a positive proportion of sign changes. In both cases previous lower bounds for the number of sign changes were of the form $x^δ$ for some $δ< 1$.
△ Less
Submitted 21 April, 2015; v1 submitted 29 May, 2014;
originally announced May 2014.
-
Moments and distribution of central L-values of quadratic twists of elliptic curves
Authors:
Maksym Radziwill,
Kannan Soundararajan
Abstract:
We show that if one can compute a little more than a particular moment for some family of L-functions, then one has upper bounds of the conjectured order of magnitude for all smaller (positive, real) moments and a one-sided central limit theorem holds. We illustrate our method for the family of quadratic twists of an elliptic curve, obtaining sharp upper bounds for all moments below the first. We…
▽ More
We show that if one can compute a little more than a particular moment for some family of L-functions, then one has upper bounds of the conjectured order of magnitude for all smaller (positive, real) moments and a one-sided central limit theorem holds. We illustrate our method for the family of quadratic twists of an elliptic curve, obtaining sharp upper bounds for all moments below the first. We also establish a one sided central limit theorem supporting a conjecture of Keating and Snaith. Our work leads to a conjecture on the distribution of the order of the Tate-Shafarevich group for rank zero quadratic twists of an elliptic curve, and establishes the upper bound part of this conjecture (assuming the Birch-Swinnerton-Dyer conjecture).
△ Less
Submitted 27 March, 2014;
originally announced March 2014.
-
Discrepancy bounds for the distribution of the Riemann zeta-function and applications
Authors:
Youness Lamzouri,
Stephen Lester,
Maksym Radziwill
Abstract:
We investigate the distribution of the Riemann zeta-function on the line $\Re(s)=σ$. For $\tfrac 12 < σ\le 1$ we obtain an upper bound on the discrepancy between the distribution of $ζ(s)$ and that of its random model, improving results of Harman and Matsumoto. Additionally, we examine the distribution of the extreme values of $ζ(s)$ inside of the critical strip, strengthening a previous result of…
▽ More
We investigate the distribution of the Riemann zeta-function on the line $\Re(s)=σ$. For $\tfrac 12 < σ\le 1$ we obtain an upper bound on the discrepancy between the distribution of $ζ(s)$ and that of its random model, improving results of Harman and Matsumoto. Additionally, we examine the distribution of the extreme values of $ζ(s)$ inside of the critical strip, strengthening a previous result of the first author.
As an application of these results we obtain the first effective error term for the number of solutions to $ζ(s) = a$ in a strip $\tfrac12 < σ_1 < σ_2 < 1$. Previously in the strip $\tfrac 12 < σ< 1$ only an asymptotic estimate was available due to a result of Borchsenius and Jessen from 1948 and effective estimates were known only slightly to the left of the half-line, under the Riemann hypothesis (due to Selberg) and to the right of the abscissa of absolute convergence (due to Matsumoto). In general our results are an improvement of the classical Bohr-Jessen framework and are also applicable to counting the zeros of the Epstein zeta-function.
△ Less
Submitted 26 February, 2014;
originally announced February 2014.
-
On the Typical Size and Cancelations Among the Coefficients of Some Modular Forms
Authors:
Florian Luca,
Maksym Radziwill,
Igor E. Shparlinski
Abstract:
We obtain a nontrivial upper bound for almost all elements of the sequences of real numbers which are multiplicative and at the prime indices are distributed according to the Sato--Tate density. Examples of such sequences come from coefficients of several $L$-functions of elliptic curves and modular forms. In particular, we show that $|τ(n)|\le n^{11/2} (\log n)^{-1/2+o(1)}$ for a set of $n$ of as…
▽ More
We obtain a nontrivial upper bound for almost all elements of the sequences of real numbers which are multiplicative and at the prime indices are distributed according to the Sato--Tate density. Examples of such sequences come from coefficients of several $L$-functions of elliptic curves and modular forms. In particular, we show that $|τ(n)|\le n^{11/2} (\log n)^{-1/2+o(1)}$ for a set of $n$ of asymptotic density 1, where $τ(n)$ is the Ramanujan $τ$ function while the standard argument yields $\log 2$ instead of $-1/2$ in the power of the logarithm. Another consequence of our result is that in the number of representations of $n$ by a binary quadratic form one has slightly more than square-root cancellations for almost all integers $n$.
In addition we obtain a central limit theorem for such sequences, assuming a weak hypothesis on the rate of convergence to the Sato--Tate law. For Fourier coefficients of primitive holomorphic cusp forms such a hypothesis is known conditionally assuming the automorphy of all symmetric powers of the form and seems to be within reach unconditionally using the currently established potential automorphy.
△ Less
Submitted 19 September, 2014; v1 submitted 29 August, 2013;
originally announced August 2013.
-
Gaps between zeros of $ζ(s)$ and the distribution of zeros of $ζ'(s)$
Authors:
Maksym Radziwill
Abstract:
We settle a conjecture of Farmer and Ki in a stronger form. Roughly speaking we show that there is a positive proportion of small gaps between consecutive zeros of the zeta-function $ζ(s)$ if and only if there is a positive proportion of zeros of $ζ'(s)$ lying very closely to the half-line. Our work has applications to the Siegel zero problem. We provide a criterion for the non-existence of the Si…
▽ More
We settle a conjecture of Farmer and Ki in a stronger form. Roughly speaking we show that there is a positive proportion of small gaps between consecutive zeros of the zeta-function $ζ(s)$ if and only if there is a positive proportion of zeros of $ζ'(s)$ lying very closely to the half-line. Our work has applications to the Siegel zero problem. We provide a criterion for the non-existence of the Siegel zero, solely in terms of the distribution of the zeros of $ζ(s)$. Finally on the Riemann Hypothesis and the Pair Correlation Conjecture we obtain near optimal bounds for the number of zeros of $ζ'(s)$ lying very closely to the half-line. Such bounds are relevant to a deeper understanding of Levinson's method, allowing us to place one-third of the zeros of the Riemann zeta-function on the half-line.
△ Less
Submitted 15 January, 2013;
originally announced January 2013.
-
Simple zeros of primitive Dirichlet $L$-functions and the asymptotic large sieve
Authors:
Vorrapan Chandee,
Yoonbok Lee,
Sheng-chi Liu,
Maksym Radziwiłł
Abstract:
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$ . Previ…
▽ More
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 $χ$.
△ Less
Submitted 14 February, 2013; v1 submitted 28 November, 2012;
originally announced November 2012.
-
The Riemann-zeta function on vertical arithmetic progressions
Authors:
Xiannan Li,
Maksym Radziwill
Abstract:
We show that the twisted second moments of the Riemann zeta function averaged over the arithmetic progression $1/2 + i(an + b)$ with $a > 0$, $b$ real, exhibits a remarkable correspondance with the analogous continuous average and derive several consequences. For example, motivated by the linear independence conjecture, we show at least one third of the elements in the arithmetic progression…
▽ More
We show that the twisted second moments of the Riemann zeta function averaged over the arithmetic progression $1/2 + i(an + b)$ with $a > 0$, $b$ real, exhibits a remarkable correspondance with the analogous continuous average and derive several consequences. For example, motivated by the linear independence conjecture, we show at least one third of the elements in the arithmetic progression $a n + b$ are not the ordinates of some zero of $ζ(s)$ lying on the critical line. This improves on earlier work of Martin and Ng. We then complement this result by producing large and small values of $ζ(s)$ on arithmetic progressions which are of the same quality as the best $Ω$ results currently known for $ζ(1/2 + it)$ with $t$ real.
△ Less
Submitted 13 August, 2012;
originally announced August 2012.
-
Limitations to mollifying $ζ(s)$
Authors:
Maksym Radziwill
Abstract:
We establish limitations to how well one can mollify the Riemann zeta-function on the critical line with mollifiers of arbitrary length. Our result gives a non-trivial lower bound for the contribution of the off-diagonal terms to mollified moments of ζ(s). On the Riemann Hypothesis, we establish a connection between the mollified moment and Montgomery's Pair Correlation Function.
We establish limitations to how well one can mollify the Riemann zeta-function on the critical line with mollifiers of arbitrary length. Our result gives a non-trivial lower bound for the contribution of the off-diagonal terms to mollified moments of ζ(s). On the Riemann Hypothesis, we establish a connection between the mollified moment and Montgomery's Pair Correlation Function.
△ Less
Submitted 11 October, 2012; v1 submitted 27 July, 2012;
originally announced July 2012.
-
Continuous lower bounds for moments of zeta and L-functions
Authors:
Maksym Radziwill,
Kannan Soundararajan
Abstract:
We obtain lower bounds of the correct order of magnitude for the 2k-th moment of the Riemann zeta function for all k > 1. Previously such lower bounds were known only for rational values of k, with the bounds depending on the height of the rational number k. Our new bounds are continuous in k, and thus extend also to the case when k is irrational. The method is a refinement of an approach of Rudni…
▽ More
We obtain lower bounds of the correct order of magnitude for the 2k-th moment of the Riemann zeta function for all k > 1. Previously such lower bounds were known only for rational values of k, with the bounds depending on the height of the rational number k. Our new bounds are continuous in k, and thus extend also to the case when k is irrational. The method is a refinement of an approach of Rudnick and Soundararajan, and applies also to moments of L-functions in families.
△ Less
Submitted 7 February, 2012;
originally announced February 2012.
-
A converse to Halasz's theorem
Authors:
Maksym Radziwill
Abstract:
We show that the distribution of large values of an additive function on the integers, and the distribution of values of the additive function on the primes are related to each other via a Levy Process. As a consequence we obtain a converse to an old theorem of Halasz. Halasz proved that if f is an strongly additive function with f (p) \in {0, 1}, then f is Poisson distributed on the integers. We…
▽ More
We show that the distribution of large values of an additive function on the integers, and the distribution of values of the additive function on the primes are related to each other via a Levy Process. As a consequence we obtain a converse to an old theorem of Halasz. Halasz proved that if f is an strongly additive function with f (p) \in {0, 1}, then f is Poisson distributed on the integers. We prove, conversely, that if f is Poisson distributed on the integers then for most primes p, f(p) = o(1) or f(p) = 1 + o(1).
△ Less
Submitted 31 August, 2011;
originally announced September 2011.
-
A structure theorem in probabilistic number theory
Authors:
Maksym Radziwill
Abstract:
We prove that if two additive functions (from a certain class) take large values with roughly the same probability then they must be identical. This is a consequence of a structure theorem making clear the inter-relation between the distribution of an additive function on the integers, and its distribution on the primes.
We prove that if two additive functions (from a certain class) take large values with roughly the same probability then they must be identical. This is a consequence of a structure theorem making clear the inter-relation between the distribution of an additive function on the integers, and its distribution on the primes.
△ Less
Submitted 31 August, 2011;
originally announced September 2011.
-
Large deviations in Selberg's central limit theorem
Authors:
Maksym Radziwill
Abstract:
Following Selberg it is known that uniformly for V << (logloglog T)^{1/2 - ε} the measure of those t \in [T;2T] for which log |ζ(1/2 + it)| > V*((1/2)loglog T)^{1/2} is approximately T times the probability that a standard Gaussian random variable takes on values greater than V. We extend the range of V to V << (loglog T)^{1/10 - ε}. We also speculate on the size of the largest V for which this no…
▽ More
Following Selberg it is known that uniformly for V << (logloglog T)^{1/2 - ε} the measure of those t \in [T;2T] for which log |ζ(1/2 + it)| > V*((1/2)loglog T)^{1/2} is approximately T times the probability that a standard Gaussian random variable takes on values greater than V. We extend the range of V to V << (loglog T)^{1/10 - ε}. We also speculate on the size of the largest V for which this normal approximation can hold and on the correct approximation beyond that point.
△ Less
Submitted 25 August, 2011;
originally announced August 2011.
-
The 4.36-th moment of the Riemann zeta-function
Authors:
Maksym Radziwill
Abstract:
Conditionally on the Riemann Hypothesis we obtain bounds of the correct order of magnitude for the 2k-th moment of the Riemann zeta-function for all positive real k < 2.181. This provides for the first time an upper bound of the correct order of magnitude for some k > 2; the case of k = 2 corresponds to a classical result of Ingham. We prove our result by establishing a connection between moments…
▽ More
Conditionally on the Riemann Hypothesis we obtain bounds of the correct order of magnitude for the 2k-th moment of the Riemann zeta-function for all positive real k < 2.181. This provides for the first time an upper bound of the correct order of magnitude for some k > 2; the case of k = 2 corresponds to a classical result of Ingham. We prove our result by establishing a connection between moments with k > 2 and the so-called "twisted fourth moment". This allows us to appeal to a recent result of Hughes and Young. Furthermore we obtain a point-wise bound for |zeta(1/2 + it)|^{2r} (with 0 < r < 1) that can be regarded as a multiplicative analogue of Selberg's bound for S(T). We also establish asymptotic formulae for moments (k < 2.181) slightly off the half-line.
△ Less
Submitted 27 June, 2011; v1 submitted 23 June, 2011;
originally announced June 2011.
-
On large deviations of additive functions
Authors:
Maksym Radziwill
Abstract:
We prove that if two additive functions (from a certain class) take large values with roughly the same probability then they must be identical. The Kac-Kubilius model suggests that the distribution of values of a given additive function can be modeled by a sum of random variables. We show that the model is accurate (in a large deviation sense) when one is looking at values of the additive function…
▽ More
We prove that if two additive functions (from a certain class) take large values with roughly the same probability then they must be identical. The Kac-Kubilius model suggests that the distribution of values of a given additive function can be modeled by a sum of random variables. We show that the model is accurate (in a large deviation sense) when one is looking at values of the additive function around its mean, but fails, by a constant multiple, for large values of the additive function. We believe that this phenomenon arises, because the model breaks down for the values of the additive function on the "large" primes.
In the second part of the paper, we are motivated by a question of Elliott, to understand how much the distribution of values of the additive function on primes determines, and is determined by, the distribution of values of the additive function on all of the integers. For example, our main theorem, implies that a positive, strongly additive function is roughly Poisson distributed on the integers if and only if it is $1+o(1)$ or $o(1)$ on almost all primes.
△ Less
Submitted 31 August, 2011; v1 submitted 29 September, 2009;
originally announced September 2009.
