On the Hardy-Littlewood-Chowla conjecture on average

Abstract

<p>There has been recent interest in a hybrid form of the celebrated conjectures of Hardy-Littlewood and of Chowla. We prove that for any k,l >= 1 and distinct integers h(2), ..., h(k), a(1), ...., a(l), we have:<br></p><p>Sigma(n <= X) mu(n + h(1)) ... mu(n + h(k))Lambda(n + a(1)) ... Lambda(n + a(l)) = o(X)<br></p><p>for all except o(H) values of h(1) <= H, so long as H >= (log X) (l+epsilon). This improves on the range H >= (log X)(psi (X)) , psi(X) -> infinity, obtained in previous work of the first author. Our results also generalise from the Mobius function mu to arbitrary (non-pretentious) multiplicative functions.<br></p>