arXiv++ Combinatorics

Let $χ$ be a primitive character modulo a prime $q$, and let $δ> 0$. It has previously been observed that if $χ$ has large order $d \geq d_0(δ)$ then $χ(n) \neq 1$ for some $n \leq q^δ$, in analogy with Vinogradov's conjecture on quadratic non-residues. We give a new and simple proof of this fact. We show, furthermore, that if $d$ is squarefree then for any $d$th root of unity $α$ the number of $n \leq x$ such that $χ(n) = α$ is $o_{d \to \infty}(x)$ whenever $x > q^δ$. Consequently, when $χ$ has sufficiently large order the sequence $(χ(n))_{n \leq q^δ}$ cannot cluster near $1$ for any $δ> 0$. Our proof relies on a second moment estimate for short sums of the characters $χ^\ell$, averaged over $1 \leq \ell \leq d-1$, that is non-trivial whenever $d$ has no small prime factors. In particular, given any $δ> 0$ we show that for all but $o(d)$ powers $1 \leq \ell \leq d-1$, the partial sums of $χ^\ell$ exhibit cancellation in intervals $n \leq q^δ$ as long as $d \geq d_0(δ)$ is prime, going beyond Burgess' theorem. Our argument blends together results from pretentious number theory and additive combinatorics. Finally, we show that, uniformly over prime $3 \leq d \leq q-1$, the Pólya-Vinogradov inequality may be improved for $χ^\ell$ on average over $1 \leq \ell \leq d-1$, extending work of Granville and Soundararajan.

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 : \mathbb{N} \to \{-1,1\},$ \begin{align*} \limsup_{x\to\infty}\Big|\sum_{n\leq x}μ^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 : \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 Ruzsa. For the case $c = 0,$ we show, under the additional hypothesis $$\sum_{p }\frac{1-|f(p)|}{p} < \infty,$$ that $f$ has bounded partial sums if and only if $f(p) = χ(p)p^{it}$ for some non-principal Dirichlet character $χ$ 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 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.