Title:On Integer-Valued Multiplicative Functions at Consecutive Integers

Abstract:Let $f: \mathbb{N} \rightarrow \mathbb{Z}$ be an integer-valued multiplicative function, for which $$ \sum_{p : \, |f(p)| \neq 1} \frac{1}{p} = \infty, \quad \sum_{p : \, f(p) = 0} \frac{1}{p} < \infty. $$ We show under these conditions alone (and no further assumptions on the growth of $f$) that for any $h \geq 1$, the set $$ \{n \in \mathbb{N} : f(n) = f(n+h), \, f(n)f(n+h) \neq 0\}. $$ has logarithmic density 0. We present an application of (an extension of) this result to the sequence of Fourier coefficients of a non-CM holomorphic eigencusp form for $\text{SL}_2(\mathbb{Z})$.
The proof employs a novel technique that allows us to analyse the value distribution of $f$ by means of the compositions $|f|^{it}$ and $\chi(f)$ for varying, suitably chosen $t \in \mathbb{R}$ and Dirichlet characters $\chi$, both of which are multiplicative functions taking values in the closed unit disc.