On multiplicative functions which are small on average and zero free regions for the Riemann zeta function

TL;DR

This paper investigates multiplicative functions that are small on average and explores their connection to zero-free regions of the Riemann zeta function, establishing conditions linking their properties.

Contribution

It proves a link between small average multiplicative functions with zero Dirichlet series at 1 and zero-free regions of the Riemann zeta function.

Findings

If such a multiplicative function exists, then ta > 0 implies a zero-free region for ta of ta.

The sum over primes involving the function is bounded by x^{1-ta+psilon}.

Existence of such functions necessitates ta > 0, indicating zero-free regions for ta.

Abstract

In this short note we prove the following result: If a completely multiplicative function $f:\mathbb{N}\to[-1,1]$ is small on average in the sense that $\sum_{n\leq x}f(n)\ll x^{1-\delta}$, for some $\delta>0$, and if the Dirichlet series of $f$, say $F(s)$, is such that $F(1)=0$, then we obtain that for any $\epsilon>0$, $\sum_{p\leq x}(1+f(p))\log p\ll x^{1-\delta+\epsilon}$. Moreover, a necessary condition for the existence of such $f$ is that the Riemann zeta function $\zeta(s)$ has no zeros in the half plane $Re(s)>1-\delta$.