Arxiv:2007.06788V2 [Math.NT] 26 Apr 2021 F[H8] Utemr,I Spsil Oquantity to Possible Is It Furthermore, [THB86]
![Arxiv:2007.06788V2 [Math.NT] 26 Apr 2021 F[H8] Utemr,I Spsil Oquantity to Possible Is It Furthermore, [THB86]](http://data.docslib.org/img/5898919/arxiv-2007-06788v2-math-nt-26-apr-2021-f-h8-utemr-i-spsil-oquantity-to-possible-is-it-furthermore-thb86.jpg)
arXiv:2007.06788v2 [math.NT] 26 Apr 2021 f[H8] utemr,i spsil oquantity to possible is it Furthermore, [THB86]. of provided ssffiinl ag.Mthsi[o7]adRmcada[a7] ind [Ram76], Ramachandra and [Mot76] Motohashi large. sufficiently is suigR,frsm ag constant large some for RH, assuming as mle ausof values smaller xedt h iuil ucinwt iteeffort. little with function Liouville the to extend 1 > A eut oicuetelre range larger the include to results o l primes all for xiissm aclaini t ata us oepeiey that precisely, more sums; partial its in cancellation some exhibits sur-otcnelto”i h ata usfrteLovlefunc Liouville the for sums partial values the the in on cancellation” taking “square-root variables, random independent of as titysekn,Gosrsl,adtoesae bv his above stated those and result, Gao’s speaking, Strictly x h iuil ucinas xiiscnelto nsotitras prov intervals, short in cancellation exhibits also function Liouville The Let yrlxn h odto htoretmtshl o l hr interv short all for hold estimates our that condition the relaxing By The x ∞ → ∞ → ;se[M9.Rcnl,MtmaiadTer¨av¨ainen Matom¨aki and improv Recently, [MT19] [MM09]. see 0; λ ¨ bu admesLaw M¨obius Randomness as Abstract. nevl,a ela oesadr eut ocrigsmoo concerning results standard the some Radziwi as in l Matom¨aki well and l by as intervals, developed methods the of eoeteLovlefnto;ta s h opeeymlilctv fun multiplicative completely the is, that function; Liouville the denote x > h . . X nfc,teaoeetmt seuvln oteReanHypothesis Riemann the to equivalent is estimate above the fact, In ∞ → p ti elkonta h rm ubrTerm(N)i qiaett equivalent is (PNT) Theorem Number Prime the that well-known is It . 12 7 h NTELOVLEFNTO NSOTINTERVALS SHORT IN FUNCTION LIOUVILLE THE ON + provided , nupbihdwr fGao of work unpublished In . Let ǫ suigR,ti a eipoe to improved be can this RH, Assuming . λ eoeteLovlefnto.Asmn h imn Hypoth Riemann the Assuming function. Liouville the denote h = h ( sepg 3 f[K4)tlsu that us tells [IK04]) of 338 page (see Z X x > h X ) 2 Z X ≤ X 2 > A
X exp x 20 11
≤ x + n X ≤ x ≤ 0. q ǫ ≤ n X 1. . n x X ≤ n n X X + ≤ x ≤ ≤ 2 1 AECHINIS JAKE Introduction h x + x x 1 − h λ λ + ti hw that shown is it , λ λ ( ( o h ( n n (1) ( eeiiilypoe o h M¨obius function, the for proven initially were , n ǫ λ n ) ) = ) ) 1 (
ntrsof terms in
≪ 2 n 2 log d d = ) ± x x x o X ( iheulpoaiiy sarsl,w expect we result, a As probability. equal with 1 ≪ ≪ 1 2 hnumbers. th x o + o log log ) ( Xh ǫ , Xh rwr nmlilctv ucin nshort in functions multiplicative on work ir h , ) x > h (log , (log x X e [Sou09]. see ; X in hti,frany for is, that tion; . X ) { 6 1 2 h ro ssasml variation simple a uses proof The , λ ) (log l,w a e eut hthl for hold that results get can we als, pnety rvdthat proved ependently, A ( n dMthsiadRamachandra’s and Motohashi ed ddta h egho h interval the of length the that ided , ) } x n ) ss epoethat prove we esis, A hudbhv ieasequence a like behave should o oesial constant suitable some for , R) e hoe 14.25(C) Theorem see (RH); to endby defined ction > ǫ h atthat fact the o µ 0, u h proofs the but , λ ( p := ) − 1, λ The preceding results should be compared with what is known for primes in short intervals. More precisely, an equivalent form of the PNT is given by
Λ(n)= x + o(x), nX≤x where Λ denotes the von Mangoldt function (defined to be log p if n is a power of the prime p and 0 otherwise). Furthermore, the Riemann Hypothesis is equivalent to the following estimate:
1 2 Λ(n)= x + O(x 2 (log x) ); nX≤x in particular, RH implies that
Λ(n)= h + o(h), x≤nX≤x+h 1 2+ǫ provided h > x 2 (log x) . Again restricting ourselves to results that hold almost everywhere, Selberg [Sel43] proved that if RH holds, then 2X 2 Λ(n) − h dx ≪ Xh(log X)2, X Z x≤n≤x+h X so that almost all short intervals contain the correct number of primes. It is important to note that both Gao and Selberg obtain square-root cancellation in their estimates. In each case, they relate the short sum to a contour integral of some Dirichlet series and then shift this contour to the edge of the critical strip, picking up any poles along the way. For Selberg, the corresponding Dirichlet series is ζ′(s)/ζ(s) and, assuming RH, the only pole will be at s = 1. Near the half-line, we still need to consider the contributions from the non-trivial zeros, ρ =1/2+ iγ, of ζ(s), as ζ′(s)/ζ(s) is large for s ≈ ρ. Fortunately, the behaviour of ζ′(s)/ζ(s) for s ≈ ρ is well understood (it is even conjectured that the zeros of ζ(s) are simple). For Gao, the corresponding Dirichlet series is ζ(2s)/ζ(s), which also has poles at s = ρ, but the residues in this case are equal to ζ(2ρ)/ζ′(ρ). Since very little is known about 1/ζ′(ρ), we need to proceed in an indirect manner. The key idea is to use a sum over primes to approximate ζ(s) and then avoid “clusters” of zeros of ζ(s) on the half-line: near these regions, 1/ζ(s) is large and the contour is chosen so that 1/ζ(s) is not too large, at least in some sense; see [MM09], to get an idea of Gao’s proof. We now turn our attention to the breakthrough work of Matom¨aki and Radziwil l, where they relate the average value of 1-bounded multiplicative functions in short intervals to the corresponding average value in large intervals:
Theorem 1.1 ([MR16]). Let f : N → [−1, 1] be a multiplicative function and let h = h(X) → ∞ arbitrarily slowly as X → ∞. Then, for almost all x ∈ [X, 2X], 1 1 f(n)= f(n)+ o(1), h X x≤nX≤x+h X≤Xn≤2X with o(1) not depending on f.
In the case of the Liouville function, Theorem 1.1 implies that
λ(n)= o(h), x≤nX≤x+h 2 for almost all x ∈ [X, 2X]; in particular,
2X 2 λ(n) dx = o(Xh2), X Z x≤n≤x+h X for any h = h(X) → ∞ as X → ∞. Although Matom¨aki and Radziwil ldo not get square-root cancellation, their results are unconditional, hold for all h going to infinity, and avoid the complex analytic approach used by both Gao and Selberg; instead, they employ a clever decomposition of the corresponding Dirichlet polynomials, which is done by restricting to integers which have prime factors from certain convenient ranges. For a detailed account of the work in [MR16] restricted to the Liouville function, see [Sou16]. In this paper, we apply a simple variation of the methods developed in [MR16] in order to prove the following:
Theorem 1.2. Assume the Riemann Hypothesis. Then,
2X 2 λ(n) dx ≪ Xh(log X)6, X Z x≤n≤x+h X 1 provided h = h(X) ≤ exp 2 − o(1) log X log log X . q Note that Theorem 1.2 shows square-root cancellation for the Liouville function in almost all short in- 6+ǫ 1 tervals, provided (log X) ≤ h ≤ exp 2 − o(1) log X log log X . Of course, Theorem 1.2 gives an upper bound on the exceptional set of x∈q[ X, 2X] for which square-root cancellation does not hold (via Chebyshev’s Inequality). By splitting the short sum into shorter intervals, Theorem 1.2 can also be used to obtain some cancellation for larger h; namely,
Corollary 1.1. Assume RH and suppose h ≤ X. Then, 2X 2 1 1 λ(n) dx ≪ Xh2(log X)6 + , X h H Z x≤n≤x+h X 1 where H = H(X) := exp 2 − o(1) log X log log X . q 2. Preliminaries
We present here a collection of standard results, which we use freely throughout our paper. The first result is a quantitative version of Perron’s Formula, which serves as an approximation to the indicator function on (1, ∞). The second result relates the mean-square of a Dirichlet polynomial to its sum of squares and this will be our main tool in proving Theorem 1.2.
Lemma 2.1 (Quantitative version of Perron’s Formula). Fix κ> 0. Then,
1 if y> 1 1 κ+iT ys yκ ds = 1 if y =1 + O , 2πi s 2 max{1,T | log y|} Zκ−iT 0 if y< 1 uniformly for both y > 0 and T > 0.
Proof. See [Ten15, Theorem II.2.3].
3 Lemma 2.2 (Mean Value Theorem). For any sequence of complex numbers {an}n, we have that
T 2 it 2 ann dt = (T + O(N)) |an| . 0 Z 1≤n≤N 1≤n≤N X X Proof. See [IK04, Theorem 9.1]
Remark 2.1. Notice that the main term in Lemma 2.2 corresponds to the contribution from the diagonal terms (as seen by expanding the square and integrating). Notice further that the Mean Value Theorem (MVT) is exceptionally powerful when N = o(T ): in this case, the integral is bounded above by the contribution from the diagonal terms and this is best possible. In their work on multiplicative functions in short intervals, Matom¨aki and Radziwi ll use the MVT in the range T = o(N), which, together with the decomposition of their Dirichlet polynomials, provides a small saving in most cases; see Section 2.1 of [MR16]. In this paper, we are interested in the opposite range and decompose our Dirichlet polynomials into two sums, one of which has length N = o(T ) and another which can be handled trivially (at least for small h).
1 2 +it We need two more preliminary results. The first is a pointwise bound on X≤n≤2X λ(n)/n , which allows us to remove the contribution from the small values of t in our averageP value (this can be thought of as the analogous result to Lemma 1 in [MR15]). The second is an analogue of Lemma 2 in [MR16]: we need 1 1 2 + log X +it a pointwise bound on sums of the form P ≤p≤2P 1/p , for large values of t.
Lemma 2.3. Assume RH. Then, P λ(n) ≪ (1 + |t|)ǫXǫ, 1 +it ǫ n 2 X≤Xn≤2X for all ǫ> 0 and all t ∈ R.
Proof. By Lemma 3.12 of [THB86], we have that λ(n) 1 2+iT ζ(2s +1+2it) (2X)s − Xs X2 = ds + O . 1 +it 1 n 2 2πi 2−iT ζ(s + 2 + it) s T X≤Xn≤2X Z 1 1 Given ǫ> 0 and assuming RH, the function ζ(2(s + 2 + it))/ζ(s + 2 + it) is analytic for ℜ(s) ≥ ǫ. Shifting the contour to the edge of this region, we get that
λ(n) −1 ǫ+iT ǫ−iT 2−iT ζ(2s +1+2it) (2X)s − Xs X2 = + + ds + O . 1 +it 1 n 2 2πi 2+iT ǫ+iT ǫ−iT ! ζ(s + 2 + it) s T ! X≤Xn≤2X Z Z Z ǫ 1 Then, using the facts that ζ(s) ≪ 1/(ℜ(s) − 1), for ℜ(s) > 1, and 1/ζ(s) ≪ |ℑ(s)| , for ℜ(s) ≥ 2 + ǫ, (see 14.2.6 in [THB86]), we have that
T 2 λ(n) ǫ ǫ dy ǫ X 1 ≪ǫ (|t| + T ) X + (|t| + T ) +it 2 2 n 2 −T ǫ + y T X≤Xn≤2X Z p X2 ≪ (|t| + T )ǫ(Xǫ log T + ). ǫ T Taking T = X2, this boils down to λ(n) ≪ (|t| + X2)ǫXǫ ≪ (1 + |t|)ǫXǫ, 1 +it ǫ ǫ n 2 X≤Xn≤2X 4 as claimed. Lemma 2.4. Assume RH and suppose P ≤ X. Then, 1 ≪ log X, 1 + 1 +it p 2 log X P ≤Xp≤2P 1 uniformly for X 2 ≤ |t|≤ X. Proof. Note that 1 1/2 Λ(n) (2.1) = dα + O (1) . 1 + 1 +it 1 +α+it p 2 log X 1/ log X n 2 P ≤Xp≤2P Z P ≤Xn≤2P 1 Applying Perron’s Formula (Lemma 2.1) to the integrand, with κ := 1/2 − α +1/ log X > 0 and T := P 2 /2, we have that Λ(n) 1 1/2−α+1/ log X+iT ζ′ 1 (2P )s − P s = − (s + + α + it) ds + O P −α log X . 1 +α+it n 2 2πi 1/2−α+1/ log X−iT ζ 2 s P ≤n≤2P Z X A standard contour shift argument, using Chapters 12 and 13 of [MV06], shows that this last expression is ≪ P −α(log P ) log X. Upon inserting this bound back into (2.1), and integrating over α, we get the desired result. Below, we provide some details for convenience to the reader. 2 Assuming RH and shifting the contour to the line ℜ(s)= −3/2 − α =: σ0, we have that
Λ(n) −1 σ0+iT σ0−iT κ−iT ζ′ 1 (2P )s − P s 1 = + + − (s + + α + it) ds 2 +α+it n 2πi κ+iT σ0+iT σ0−iT ! ζ 2 s P ≤Xn≤2P Z Z Z (2P )−α−it+iγ − P −α−it+iγ + + O P −α log X , ρ −α − it + iγ |γ−Xt|≤T where the sum is over the non-trivial zeros, ρ =1/2+ iγ, of ζ (counted with multiplicity). Notice that the sum over ρ corresponds to the residues of the integrand at s = ρ − 1/2 − α − it. Notice further that we do 1 1 not pick up the pole of ζ at 1, as ℑ(s)+ t is bounded away from 0 (recall that X 2 ≤ |t|≤ X with T = P 2 /2 and P ≤ X). To deal with the vertical integral, we use the fact that ζ′(s)/ζ(s) ≪ log(|s| + 1) uniformly for ℜ(s) ≤−1, provided s is not close to an even integer (i.e., provided we are not close to a trivial zero of ζ); see Lemma 12.4 of [MV06]. Using the above and bounding the vertical integral trivially produces an admissible error. For the horizontal integrals, write s = σ ± iT and note that
κ±iT ′ σ±iT σ±iT 1 −α 1+1/ log X ′ ζ 1 (2P ) − P P 2 ζ (σ + + α + i(t ± T )) dσ ≪ (σ + i(t ± T )) dσ σ0±iT ζ 2 σ ± iT T −1 ζ Z Z
1+1/ log X ζ ′ ≪ P −α (σ + i(t ± T )) d σ ζ Z−1 which follows by making the change of variables σ 7→ σ −1/2−α, taking a pointwise bound on the integrand, 1 and recalling that κ =1/2 − α − it, σ0 = −3/2 − α, and T = P 2 /2. From the functional equation, it suffices to consider the integral over σ ∈ [1/2, 1+1/ log X] alone, which we break into three intervals, according to the bounds one can get for ζ′/ζ:
2Strictly speaking, we need to choose T in such a way that the horizontal line segments in the contour (shifted by t) are bounded away from ordinates γ of ζ; this can be done via Lemma 12.2 of [MV06]. 5 ′ ζ 2 (1) By Lemma 12.2 of [MV06], we know that ζ (σ + i(t ± T )) ≪ (log X) , uniformly for −1 ≤ σ ≤ 2; in particular, 1/2+1/log X ζ′ P −α (σ + i(t ± T )) dσ ≪ P −α log X. ζ Z1/2
(2) By Lemma 13.20 of [MV06], we know that ζ′ 1 (σ + i(t ± T )) = + O(log X), ζ ρ σ − 1/2+ i(t ± T − γ) |γ−(t±T )|≤1/Xlog log((|t±T |+4) uniformly for |σ − 1/2|≤ 1/ log log(|t ± T | + 4). Using the trivial bound 1 1 ≤ , |σ − 1/2+ i(t ± T − γ)| |σ − 1/2| and integrating over σ, we then have that 1/2+1/log log(|t±T |+4) ζ′ P −α (σ + i(t ± T )) dσ ≪ P −α log X, ζ Z1/2+1/ log X
which follows from the fact that the integral over σ is bounded by log log X and from the fact
that there are ≪ log X/ log log X zeros in each window of length 1/ log log X (see Lemma 13.19 of [MV06]). (3) Finally, for 1/2+1/ log log(|t ± T | + 4) ≤ σ ≤ 1+1/ log X, we use the fact that ζ′ (σ + i(t ± T )) ≪ (log X)2−2σ log log X, ζ uniformly for σ in the desired range (see Corollary 13.14 of [MV06]), which yields: 1+1/ log X ζ′ 1+1/ log X P −α (σ + i(t ± T )) dσ ≪ P −α(log log X) (log X)2−2σdσ ζ Z1/2+1/ log log(|t±T |+4) Z1/2+1/ log log(|t±T |+4)
≪ P −α log X.
In other words, a standard contour shift yields the following: Λ(n) 2−α−it+iγ − 1 ≪ P −α + P −α log X 1 +α+it n 2 −α − it + iγ P ≤n≤2P ρ X X 1 |γ−t|≤P 2 /2 1 ≪ P −α + P −α log X ρ 1+ |t − γ| 1 |γ−tX|≤P 2 /2 ≪ P −α(log P ) log X, where the last line follows from the fact that there are ≪ log X zeros in each interval of length 1 (counted with multiplicity) and recalling that the sum over ρ comes from the contribution of the residues in our contour integral. Upon substituting the last bound into (2.1), and integrating over α, we obtain the desired result.
Remark 2.2. The proof of Theorem 1.2 can easily be adapted to a more general setting. For an arbitrary multiplicative function f, all we need is an analogue to Lemma 2.4. Essentially, we are looking for square-root 6 cancellation in the corresponding sum over primes:
1 2 2 f(p)pit ≪ P ǫ f(p) . P ≤p≤2P P ≤p≤2P X X For example, the above estimate is known to hold, assuming RH, for coefficients of automorphic forms and for multiplicative functions of the form µ(n)λπ(n) or λπ(n), where µ is the M¨obius function and where the
λπ(n)’s are the coefficients of an automorphic representation π.
3. Initial Reductions
In this section, we reduce our problem to that of bounding the mean square of a Dirichlet polynomial. We begin with the following standard lemma, which essentially follows from Perron’s Formula (together with a few other tricks):
Lemma 3.1 (Plancherel). For 1 ≤ h ≤ X, 1 2X 1 2 1 X/h λ(n) 2 1 2T λ(n) 2 λ(n) dx ≪ dt + max dt. 1 +it 1 +it X X h X 0 n 2 T >X/h hT T n 2 Z x≤n≤x+h Z X≤n≤4X Z X≤n≤4X X X X
Proof. See [MR16, Lemma 14] (equivalently, [MR15, Lemma 4]).
Using Lemma 2.3, we can remove the contribution from the small values of t in the RHS of Lemma 3.1: for any ǫ> 0,
1 X 2 2 1 λ(n) ǫ− 1 dt ≪ X 2 , 1 +it ǫ X 0 n 2 Z X≤n≤4X X which follows by bounding the integrand pointwise. Thus, Theorem 1.2 follows from Lemma 3.1 once we show that 1 T λ(n) 2 (log X)6 (3.1) dt ≪ , 1 1 +it hT X 2 n 2 h Z X≤Xn≤4X 1 for T ≥ X/h, where we have assumed, w.l.o.g., that h ≤ X 2 (this is done to avoid the degenerate case when T = X/h ≤ X1/2). For T >X, the Mean Value Theorem (Lemma 2.2) immediately gives the desired bound: 1 T λ(n) 2 1 1 1 dt ≪ (T + X) ≪ . 1 1 +it hT X 2 n 2 hT n h Z X≤n≤4X X≤n≤4X X X It remains to prove that (3.1) holds for X/h ≤ T ≤ X. Our main tool is still the Mean Value Theorem, but this is only winning if we can shorten the length our sum: we should think of T ≈ X/h and recall that the MVT is best possible if the length of the corresponding Dirichlet polynomial is of size N ≈ T ; see Remark 2.1. Since our Dirichlet polynomial has length X, our goal is to split the sum over X ≤ n ≤ 4X into two sums, one of which has length ≈ X/h and another which can be handled separately. This is done by considering the integers X ≤ n ≤ 4X which have a prime factor p>h: by writing such integers as n = pm, and then factoring out the sum over p, the sum over m ≈ X/p that remains has length ≪ X/h; using the MVT on the sum over m is now winning. In Section 5, we deal with the remaining integers, all of whose primes factors are ≤ h. Fortunately for us, there are few of these so-called h-smooth integers, at least for 7 small h, so that the MVT can be applied directly to give us what we want. Getting square-root cancellation for larger h will require some new ideas; this is ongoing work.
4. Integers with large prime factors
For the integers X ≤ n ≤ 4X which have at least one prime factor p>h, we have the following:
Proposition 4.1. Assume RH. If X/h ≤ T ≤ X, then 1 T λ(n) 2 (log X)6 dt ≪ . 1 1 +it hT X 2 n 2 h Z X≤n≤4X ∃p>hX:p|n
Proof. Note that λ(n) λ(p) 1 λ(m) = , 1 +it 1 +it 1 +it 1 2 2 2 #{q prime : q >h,q|m} + p∤m X≤n≤4X n h 1 am 1 bmp = 1 1 + 1+2it 1 , 2 +it 2 +it 2 +it p m p 2 2 m h 3 1 In the published version of [MR16], the term p∤m appears as the constant 1, but this was corrected in later versions of their paper. In any case, we will see that this misprint does not affect their argument. 8 and where the last line follows by writing m = mp in the second double sum. Thus, 1 T λ(n) 2 1 T 1 a 2 dt ≪ m dt 1 1 +it 1 1 +it 1 +it hT X 2 n 2 hT X 2 p 2 m 2 Z X≤n≤4X Z h 1 T 1 b 2 + mp dt. 1 1+2it 1 +it hT X 2 p m 2 Z h 2 T 2 (log X) 1 am ≪ max 1 1 1 dt, log h≤j≤log (4X) 2 +it 2 +it hT 2 2 X 2 j j+1 p j+1 j−1 m Z 2 where log2 denotes the base 2 logarithm function and where the last line follows by taking the absolute value inside the sum over j, noting that there are ≪ log X/h ≤ log X such dyadic intervals. Using Lemma 2.1 with κ =1/ log X, we can remove the condition that X ≤ mp ≤ 4X: κ+iY s s κ 1 1 (4X) − X ds 1/(mp) X≤mp≤4X = s + O , 2πi κ−iY (mp) s max{1, Y | log X/mp|} Z which yields: 1 T 1 a 2 m dt 1 1 +it 1 +it hT X 2 p 2 m 2 Z h 9 We can now use Minkowski’s Inequality for integrals (see Section A.1 of [Ste70]) to change the order of integration: T κ+iY s s 2 (4X) − X 1 am 1 1 1 ds dt s+ 2 +it s+ 2 +it X 2 κ−iY s j j+1 p j+1 j−1 m Z Z 2 1 2 κ+iY T 2 2 2 1 am ≪ (log X) 1 1 dt ds |s| s+ 2 +it κ−iY X 2 j+1 j−1 m ! ! Z Z X/2 ≤m≤X/2 X 1 ≪ (log X)4(T + X/h) j+1 j−1 m X/2 ≤Xm≤X/2 ≪ (log X)4(T + X/h), where the second to last line follows from the Mean Value Theorem, recalling that j ≥ log h/ log2, and where the additional powers of log X come from the bound κ+iY 1 ds ≪ log X, |s| Zκ−iY 1 recalling that κ =1/ log X and Y = X 2 /2. Therefore, 1 T λ(n) 2 (log X)6 dt ≪ , 1 1 +it hT X 2 n 2 h Z X≤n≤4X ∃p>hX:p|n provided that X/h ≤ T ≤ X, which is the desired result. Remark 4.1. In the proof of Proposition 4.1, we used a contour integral to separate the variables p and m, which lost two factors of log X. As the referee remarked, introducing a smoothing at the beginning of our argument makes the separation of variables loss-less: after Lemma 3.1 (Plancherel), we are working with smooth sums and we can use the rapid decay of the Mellin Transform to ensure that the integral of 1/|s|, which produced the original factors of log X, converges. This would yield the upper bound ≪ Xh(log X)4 in Theorem 1.2. If we truly wish to be pedantic, our current methods yield the upper bound ≪ Xh((log X)(log X/h))2, where the log X factors come from the bound on the sum over primes (Lemma 2.4) and where the log X/h factors come from splitting the sum over primes h To complete the proof of Theorem 1.2, it remains to consider the h-smooth integers. The next section is dedicated to this task. 10 5. Smooth integers For the integers X ≤ n ≤ 4X all of whose prime factors are ≤ h, our goal is to obtain the following estimate: 1 T λ(n) 2 1 dt ≪ , 1 1 +it hT X 2 n 2 h Z X≤n≤4X p|nX⇒p≤h for X/h ≤ T ≤ X and h as large as possible. This will be accomplished using the MVT (Lemma 2.2), together with some standard results concerning smooth numbers. To begin, fix ǫ> 0 and let Ψ(x, y) denote the number of y-smooth integers up to x. By writing x = yu, we have that Ψ(x, y)= xu−(1+o(1)), uniformly in the range u ≤ y1−ǫ, as both y and u tend to infinity; see Corollary 1.3 [HT93], for example. In particular, x Ψ(x, y) ≪ , y 1 provided y ≤ exp 2 − o(1) log x log log x . Using the above, together with the MVT, we then have that q 1 T λ(n) 2 1 1 dt ≪ (T + X) 1 1 +it hT X 2 n 2 hT n Z X≤n≤4X X≤n≤4X p|nX⇒p≤h p|nX⇒p≤h 1 Ψ(4X,h) ≪ (T + X) hT X 1 ≪ , h 1 for h ≤ exp 2 − o(1) log X log log X , recalling that X/h ≤ T ≤ X. In other words, q Proposition 5.1. Suppose h = h(X) → ∞ as X → ∞, then 1 T λ(n) 2 1 dt ≪ , 1 1 +it hT X 2 n 2 h Z X≤n≤4X p|nX⇒p≤h 1 provided h ≤ exp 2 − o(1) log X log log X . q Combining Propositions 4.1 and 5.1 yields (3.1), which, together with the initial reductions from Section 3, yields Theorem 1.2. 6. Acknowledgements The author would like to thank Maksym Radziwil l for suggesting this problem and for his continuous support throughout the research phase of this paper, Andrew Granville for simplifying the argument origi- nally presented in Section 5, and the anonymous referee for carefully reviewing this manuscript and whose comments have not only improved the overall exposition of this paper, but which have also strengthened the main theorem. In addition to this, the author thanks Renaud Alie, Alison Inglis, Oleksiy Klurman, Jiajun Mai, Sacha Mangerel, Kaisa Matom¨aki, Andrei Shubin, Joni Ter¨av¨ainen, and Peter Zenz for many helpful discussions and comments. Finally, some of this work was conducted while the author was visiting CalTech; he is grateful for their hospitality. 11 References [FI10] John Friedlander and Henryk Iwaniec. Opera de cribro, volume 57 of American Mathematical Society Colloquium Publications. American Mathematical Society, Providence, RI, 2010. [HT93] Adolf Hildebrand and G´erald Tenenbaum. Integers without large prime factors. Journal de Th´eorie des Nombres de Bordeaux, 5(2):197–211, 1993. [IK04] Henryk Iwaniec and Emmanuel Kowalski. Analytic number theory, volume 53 of American Mathematical Society Colloquium Publications. American Mathematical Society, Providence, RI, 2004. [MM09] Helmut Maier and Hugh L. Montgomery. The sum of the M¨obius function. Bulletin of the London Mathematical Society, 41(2):213–226, 2009. [Mot76] Yoichi Motohashi. On the sum of the M¨obius function in a short segment. Proc. Japan Acad., 52(9):477–479, 1976. [MR15] Kaisa Matom¨aki and Maksym Radziwi l l. A note on the Liouville function in short intervals. arXiv e-prints, page arXiv:1502.02374, 2015. [MR16] Kaisa Matom¨aki and Maksym Radziwi l l. Multiplicative functions in short intervals. Annals of Mathematics, 183(3):1015–1056, 2016. [MT19] Kaisa Matom¨aki and Joni Ter¨av¨ainen. On the M¨obius function in all short intervals. arXiv e-prints, page arXiv:1911.09076, 2019. [MV06] Hugh L. Montgomery and Robert C. Vaughan. Multiplicative Number Theory I: Classical Theory. Cambridge Studies in Advanced Mathematics. Cambridge University Press, 2006. [Ram76] Kanakanahalli Ramachandra. Some problems of analytic number theory. Acta Arithmetica, 31(4):313–324, 1976. [Sel43] Atle Selberg. On the normal density of primes in small intervals, and the difference between consecutive primes. Arch. Math. Naturvid., 47(6):87–105, 1943. [Sou09] Kannan Soundararajan. Partial sums of the M¨obius function. Journal Fur Die Reine Und Angewandte Mathematik - J REINE ANGEW MATH, 2009:141–152, 06 2009. [Sou16] Kannan Soundararajan. The Liouville function in short intervals [after Matom¨aki and Radziwi l l]. arXiv e-prints, page arXiv:1606.08021, 2016. [Ste70] Elias M. Stein. Singular Integrals and Differentiability Properties of Functions (PMS-30). Princeton University Press, 1970. [Ten15] G´erald Tenenbaum. Introduction to analytic and probabilistic number theory, volume 163 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2015. [THB86] Edward C. Titchmarsh and David R. Heath-Brown. The theory of the Riemann zeta-function. Clarendon Press, Oxford, 1986. Department of Mathematics and Statistics, McGill University, 805 Sherbrooke St. W., Montreal, QC H3A 2K6, Canada Email address: [email protected] 12