Abstract

We study logarithmically averaged binary correlations of bounded multiplicative functions $g_{1}$ and $g_{2}$. A breakthrough on these correlations was made by Tao, who showed that the correlation average is negligibly small whenever $g_{1}$ or $g_{2}$ does not pretend to be any twisted Dirichlet character, in the sense of the pretentious distance for multiplicative functions. We consider a wider class of real-valued multiplicative functions $g_{j}$, namely those that are uniformly distributed in arithmetic progressions to fixed moduli. Under this assumption, we obtain a discorrelation estimate, showing that the correlation of $g_{1}$ and $g_{2}$ is asymptotic to the product of their mean values. We derive several applications, first showing that the numbers of large prime factors of $n$ and $n+1$ are independent of each other with respect to logarithmic density. Secondly, we prove a logarithmic version of the conjecture of Erdős and Pomerance on two consecutive smooth numbers. Thirdly, we show that if $Q$ is cube-free and belongs to the Burgess regime $Q\leqslant x^{4-\unicode[STIX]{x1D700}}$, the logarithmic average around $x$ of the real character $\unicode[STIX]{x1D712}\hspace{0.6em}({\rm mod}\hspace{0.2em}Q)$ over the values of a reducible quadratic polynomial is small.

Highlights

  • Let D = {z ∈ C : |z| 1} be the unit disc of the complex plane, and let g1, g2 : N → D be multiplicative functions

  • We study in this paper the same logarithmically averaged correlation (1.1) as Tao studied in [30], but for a wider class of real-valued multiplicative functions

  • We prove using Theorem 1.4 the following theorem about the largest prime factors of consecutive integers

Read more

Summary

Introduction

For Lemma 3.4, one would apply this generalization of [23, Lemma C.1] together with an extension of [22, Theorem 3] to multiplicative functions taking a bounded number of complex values For this last extension, one notes that the only place in the proof of [22, Proposition 1] where real-valuedness is used is [22, Lemma 3], and this lemma can be made to work for functions taking values in the roots of unity of fixed order. Owing to Remark 1.3, the main theorem contains as a special case the logarithmically averaged binary Elliott conjecture from [30] This is not surprising, since we use the same proof method. The function exp j x is analogously the jth iterate of x → ex

The entropy decrement argument and some reductions
Circle method estimates
Proofs of the applications
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call