We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.CO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Number Theory

Title: Multiplicative functions that are close to their mean

Abstract: We introduce a simple approach to study partial sums of multiplicative functions which are close to their mean value. As a first application, we show that a completely multiplicative function $f : \mathbb{N} \to \mathbb{C}$ satisfies \begin{align*} \sum_{n\leq x}f(n)=cx+O(1) \end{align*} with $c\neq 0$ if and only if $f(p)=1$ for all but finitely many primes and $|f(p)|<1$ for the remaining primes. This answers a question of Imre Ruzsa.
For the case $c = 0,$ we show, under the additional hypothesis $\sum_{p : |f(p)| < 1} 1/p < \infty$, that $f$ has bounded partial sums if and only if $f(p) = \chi(p)p^{it}$ for some non-principal Dirichlet character $\chi$ modulo $q$ and $t \in \mathbb{R}$ except on a finite set of primes that contains the primes dividing $q$, wherein $|f(p)| < 1.$ This essentially resolves another problem of Ruzsa and generalizes previous work of the first and the second author on Chudakov's conjecture. We also consider some other applications, which include a proof of a recent conjecture of Aymone concerning the discrepancy of square-free supported multiplicative functions.
Comments: Theorem 1.5 is now strengthened and yields the full proof of a conjecture of Aymone. We thank M. Aymone for brining this possibility to our attention
Subjects: Number Theory (math.NT); Combinatorics (math.CO)
Cite as: arXiv:1911.06265 [math.NT]
  (or arXiv:1911.06265v2 [math.NT] for this version)

Submission history

From: Oleksiy Klurman [view email]
[v1] Thu, 14 Nov 2019 17:42:30 GMT (23kb,D)
[v2] Wed, 18 Dec 2019 23:19:18 GMT (24kb,D)

Link back to: arXiv, form interface, contact.