Equivalence of the logarithmically averaged chowla and sarnak conjectures

Abstract

Let X denote the Liouville function. The Chowla conjecture asserts that for any fixed natural numbers a1, a2,...,ak and non-negative integer b1, b2,...,bkwith aibj - ajbi ≠ 0 for all 1 ≤ i < j ≤ k, and any X ≥ 1. This conjecture is open for k ≥ 2. As is well known, this conjecture implies the conjecture of Sarnak that whenever f: N → C is a fixed deterministic sequence and X ≥ 1. In this paper, we consider the weaker logarithmically averaged versions of these conjectures, namely that and under the same hypotheses on a1,...,ak, b1,...,bk and f, and for any 2 ≤ ω ≤ X. Our main result is that these latter two conjectures are logically equivalent to each other, as well as to the "local Gowers uniformity" of the Liouville function. The main tools used here are the entropy decrement argument of the author used recently to establish the k = 2 case of the logarithmically averaged Chowla conjecture, as well as the inverse conjecture for the Gowers norms, obtained by Green, Ziegler, and the author.