Frantzikinakis's logarithmic Chowla conjecture along Beatty sequences

Let k1k\geqslant 1 be an integer, and let α1,,αk>0\alpha_1,\ldots, \alpha_k>0 be such that 1,α1,,αk1,\alpha_1,\ldots, \alpha_k are linearly independent over Q\mathbb{Q}. For multiplicative functions f1,,fk:N[1,1]f_1,\ldots, f_k:\mathbb{N}\to [-1,1], write

EnXlogg(n):=1nX1/nnXg(n)n.\mathbb{E}_{n\leqslant X}^{\log} g(n):=\frac{1}{\sum_{n\leqslant X}1/n}\sum_{n\leqslant X}\frac{g(n)}{n}.

Frantzikinakis's conjecture. For any such multiplicative functions, one has

limXEnXlogi=1kfi(αin)=i=1klimXEnXlogfi(n).\lim_{X\to \infty}\mathbb{E}_{n\leqslant X}^{\log}\prod_{i=1}^k f_i(\lfloor \alpha_i n\rfloor)=\prod_{i=1}^k \lim_{X\to \infty}\mathbb{E}_{n\leqslant X}^{\log}f_i(n).

In particular,

limXEnXlogλ(α1n)λ(αkn)=0.\lim_{X\to \infty}\mathbb{E}_{n\leqslant X}^{\log}\lambda(\lfloor \alpha_1 n\rfloor)\cdots \lambda(\lfloor \alpha_k n\rfloor)=0.

This is a logarithmic correlation analogue of Chowla's conjecture for the Liouville function along Beatty sequences, extending the known length-one cancellation result. The source describes it as an open problem posed by Frantzikinakis; the displayed claim concerns arbitrary multiplicative functions and the Liouville special case.

Sources & referencesView supporting material

Primary source

Joni Teräväinen and Aled Walker, “On a Bohr set analogue of Chowla's conjecture”, arXiv:2303.12574 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.