English

Multiplicative functions that are close to their mean

Number Theory 2021-10-29 v4 Combinatorics

Abstract

We introduce a simple sieve-theoretic approach to studying partial sums of multiplicative functions which are close to their mean value. This enables us to obtain various new results as well as strengthen existing results with new proofs. As a first application, we show that for a completely multiplicative function f:N{1,1},f : \mathbb{N} \to \{-1,1\}, \begin{align*} \limsup_{x\to\infty}\Big|\sum_{n\leq x}\mu^2(n)f(n)\Big|=\infty. \end{align*} This confirms a conjecture of Aymone concerning the discrepancy of square-free supported multiplicative functions. Secondly, we show that a completely multiplicative function f:NCf : \mathbb{N} \to \mathbb{C} satisfies \begin{align*} \sum_{n\leq x}f(n)=cx+O(1) \end{align*} with c0c\neq 0 if and only if f(p)=1f(p)=1 for all but finitely many primes and f(p)<1|f(p)|<1 for the remaining primes. This answers a question of Ruzsa. For the case c=0,c = 0, we show, under the additional hypothesis p1f(p)p<,\sum_{p }\frac{1-|f(p)|}{p} < \infty, that ff has bounded partial sums if and only if f(p)=χ(p)pitf(p) = \chi(p)p^{it} for some non-principal Dirichlet character χ\chi modulo qq and tRt \in \mathbb{R} except on a finite set of primes that contains the primes dividing qq, wherein f(p)<1.|f(p)| < 1. This provides progress on another problem of Ruzsa and gives a new and simpler proof of a stronger form of Chudakov's conjecture. Along the way we obtain quantitative bounds for the discrepancy of the generalized characters improving on the previous work of Borwein, Choi and Coons.

Keywords

Cite

@article{arxiv.1911.06265,
  title  = {Multiplicative functions that are close to their mean},
  author = {Oleksiy Klurman and Alexander P. Mangerel and Cosmin Pohoata and Joni Teräväinen},
  journal= {arXiv preprint arXiv:1911.06265},
  year   = {2021}
}

Comments

Comments of the referee have been incorporated. Trans. of the AMS., to appear

R2 v1 2026-06-23T12:16:12.188Z