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 h1,…,hk, one has ∑1≤n≤Xλ(n+h1)⋯λ(n+hk)=o(X) as X→∞. This conjecture remains unproven for any h1,…,hk with k≥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 ∑h1,…,hk≤H∑1≤n≤Xλ(n+h1)⋯λ(n+hk)=o(HkX) as X→∞ whenever H=H(X)≤X goes to infinity as X→∞, and k is fixed. Related to this, we give the exponential sum estimate ∫0X∑x≤n≤x+Hλ(n)e(αn)dx=o(HX) as X→∞ uniformly for all α∈R, with H as before. Our arguments in fact give quantitative bounds on the decay rate (roughly on the order of logHloglogH), and extend to more general bounded multiplicative functions than the Liouville function, yielding an averaged form of a (corrected) conjecture of Elliott.