Frantzikinakis's logarithmic Chowla conjecture along Beatty sequences

About 3 years old · traced to

Let k⩾1k\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

En⩽Xlog⁡g(n):=1∑n⩽X1/n∑n⩽Xg(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

lim⁡X→∞En⩽Xlog⁡∏i=1kfi(⌊αin⌋)=∏i=1klim⁡X→∞En⩽Xlog⁡fi(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,

lim⁡X→∞En⩽Xlog⁡λ(⌊α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.

References

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.