Equivalence of the Logarithmically Averaged Chowla and Sarnak Conjectures

DOI10.1007/978-3-319-55357-3_21MaRDI QIDQ4581337zbMATH OpenOpenAlexFDO

Authors Terence Tao

Publication date 17 August 2018

Published in Number Theory – Diophantine Problems, Uniform Distribution and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1605.04628

zbMATH Keywords

Chowla and Sarnak conjecturesGowers uniformityLiouville function

Mathematics Subject Classification ID

Arithmetic functions; related numbers; inversion formulas (11A25) Asymptotic results on arithmetic functions (11N37)

Abstract: Let $lambda$ denote the Liouville function. The Chowla conjecture asserts that ${\displaystyle }$ sum_{n leq X} lambda(a_1 n + b_1) lambda(a_2 n+b_2) dots lambda(a_k n + b_k) = o_{X o infty}(X) ${\displaystyle }$ for any fixed natural numbers $a_1,a_2,dots,a_k$ and non-negative integer $b_1,b_2,dots,b_k$ with $a_i{b}_j-a_j{b}_{i}eq0$ for all $1leqi<jleqk$, and any $Xgeq1$. This conjecture is open for $kgeq2$. As is well known, this conjecture implies the conjecture of Sarnak that ${\displaystyle }$ sum_{n leq X} lambda(n) f(n) = o_{X o infty}(X)${\displaystyle }$ whenever $$ is a fixed deterministic sequence and $Xgeq1$. In this paper, we consider the weaker logarithmically averaged versions of these conjectures, namely that ${\displaystyle }$ sum_{X/omega leq n leq X} frac{lambda(a_1 n + b_1) lambda(a_2 n+b_2) dots lambda(a_k n + b_k)}{n} = o_{omega o infty}(log omega) ${\displaystyle }$ and ${\displaystyle }$ sum_{X/omega leq n leq X} frac{lambda(n) f(n)}{n} = o_{omega o infty}(log omega)${\displaystyle }$ under the same hypotheses on $a_1,dots,a_k,b_1,dots,b_k$ and $f$, and for any $2leqomegaleqX$. 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.

Recommendations

• Odd order cases of the logarithmically averaged Chowla conjecture
• An averaged form of Chowla's conjecture
• The structure of logarithmically averaged correlations of multiplicative functions, with applications to the Chowla and Elliott conjectures
• On the Hardy-Littlewood-Chowla conjecture on average
• An averaged Chowla and Elliott conjecture along independent polynomials
• On a conjecture of Chowla et al
• An analogue to a conjecture of S. Chowla and H. Walum
• On S. Chowla's conjecture
• The logarithmic Sarnak conjecture for ergodic weights
• On a conjecture of Chowla and Chowla

Cites work

• 0-1 sequences of the Thue-Morse type and Sarnak's conjecture
• A new proof of Szemerédi's theorem
• A new proof of Szemerédi's theorem for arithmetic progressions of length four
• A polynomial version of Sarnak's conjecture
• Additive combinatorics
• An averaged form of Chowla's conjecture
• An inverse theorem for the Gowers \(U^{s+1}[N]\)-norm
• An inverse theorem for the Gowers U^4-norm
• AN INVERSE THEOREM FOR THE GOWERS U^3(G) NORM
• Asymptotics for multilinear averages of multiplicative functions
• Automatic sequences generated by synchronizing automata fulfill the Sarnak conjecture
• Disjointness of Moebius from horocycle flows
• scientific article; zbMATH DE number 3865399 (Why is no real title available?)
• scientific article; zbMATH DE number 687801 (Why is no real title available?)
• scientific article; zbMATH DE number 2121181 (Why is no real title available?)
• scientific article; zbMATH DE number 7422485 (Why is no real title available?)
• scientific article; zbMATH DE number 3216354 (Why is no real title available?)
• Large gaps between consecutive prime numbers
• Linear equations in primes
• Möbius-Walsh correlation bounds and an estimate of Mauduit and Rivat
• Multiple recurrence and convergence along the primes
• Multiple recurrence and convergence for sequences related to the prime numbers
• Multiplicative functions in short intervals
• Odometers and Toeplitz systems revisited in the context of Sarnak's conjecture
• On (not) computing the Möbius function using bounded depth circuits
• On a problem of Gelfond: the sum of digits of prime numbers
• On consecutive values of the Liouville function
• On finite pseudorandom binary sequences III: The Liouville function, I
• On Möbius orthogonality for interval maps of zero entropy and orientation-preserving circle homeomorphisms
• On Sarnak's conjecture and Veech's question for interval exchanges
• ON SOME INFINITE SERIES INVOLVING ARITHMETICAL FUNCTIONS (II)
• On spectral disjointness of powers for rank-one transformations and Möbius orthogonality
• On the correlation of the Moebius function with rank-one systems
• On the occurrences of words in the prime numbers
• On the representation of large odd integer as a sum of three almost equal primes
• Prime numbers along Rudin-Shapiro sequences
• Probability Inequalities for Sums of Bounded Random Variables
• Sequences from zero entropy noncommutative toral automorphisms and Sarnak conjecture
• Sign patterns of the Liouville and Möbius functions
• Subsequences of automatic sequences and uniform distribution
• Substitutions and Möbius disjointness
• Sums of digits of multiples of integers
• The Chowla and the Sarnak conjectures from ergodic theory point of view
• The Erdös discrepancy problem
• The horocycle flow at prime times
• The logarithmically averaged Chowla and Elliott conjectures for two-point correlations
• The Möbius function and continuous extensions of rotations
• The Möbius function and distal flows
• The Möbius function is strongly orthogonal to nilsequences
• The primes contain arbitrarily long arithmetic progressions

Cited in

(35)

• Möbius disjointness for models of an ergodic system and beyond
• Möbius disjointness for topological models of ergodic measure-preserving systems with quasi-discrete spectrum
• The logarithmic Sarnak conjecture for ergodic weights
• Multiplicative functions in short intervals, with applications
• Dynamical models for Liouville and obstructions to further progress on sign patterns
• Mean equicontinuity, complexity and applications
• Local uniformity through larger scales
• The structure of correlations of multiplicative functions at almost all scales, with applications to the Chowla and Elliott conjectures
• Fourier uniformity of bounded multiplicative functions in short intervals on average
• Disjointness of the Möbius transformation and Möbius function
• The structure of logarithmically averaged correlations of multiplicative functions, with applications to the Chowla and Elliott conjectures
• Sarnak's conjecture for nilsequences on arbitrary number fields and applications
• Higher uniformity of bounded multiplicative functions in short intervals on average
• The logarithmically averaged Chowla and Elliott conjectures for two-point correlations
• ON BINARY CORRELATIONS OF MULTIPLICATIVE FUNCTIONS
• Möbius disjointness for skew products on the Heisenberg nilmanifold
• Ergodicity of the Liouville system implies the Chowla conjecture
• Sarnak's conjecture for sequences of almost quadratic word growth
• (Logarithmic) densities for automatic sequences along primes and squares
• Odd order cases of the logarithmically averaged Chowla conjecture
• Value patterns of multiplicative functions and related sequences
• Spectrum of weighted Birkhoff average
• Divisor-bounded multiplicative functions in short intervals
• Sequence complexity, rigidity and logarithmic Sarnak conjecture
• On arithmetic functions orthogonal to deterministic sequences
• Furstenberg disjointness, Ratner properties, and Sarnak's conjecture
• Chowla and Sarnak conjectures for Kloosterman sums
• Polynomial mean complexity and logarithmic Sarnak conjecture
• Arbitrarily slow decay in the logarithmically averaged Sarnak conjecture
• On the correlations between character sums of division polynomials under shifts
• Furstenberg systems of pretentious and MRT multiplicative functions
• Stability under scaling in the local phases of multiplicative functions
• Higher uniformity of arithmetic functions in short intervals. II: Almost all intervals
• A note on Sarnak processes
• An averaged form of Chowla's conjecture

This page was built for publication: Equivalence of the Logarithmically Averaged Chowla and Sarnak Conjectures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4581337)