Abstract:We study the distribution of families of multiplicative functions among the coprime residue classes to moduli varying uniformly in a wide range, obtaining analogues of the Siegel--Walfisz Theorem for large classes of multiplicative functions. We extend a criterion of Narkiewicz for families of multiplicative functions that can be controlled by values of polynomials at the first few prime powers, and establish results that are completely uniform in the modulus as well as optimal in most parameters and hypotheses. This also significantly generalizes and improves upon previous work done for a single such function in specialized settings. Our results have applications for most interesting multiplicative functions, such as the Euler totient function $\phi(n)$, the sum-of-divisors function $\sigma(n)$, the coefficients of the Eisenstein series, etc., and families of these functions. For instance, an application of our results shows that for any fixed $\epsilon>0$, the functions $\phi(n)$ and $\sigma(n)$ are jointly asymptotically equidistributed among the reduced residue classes to moduli $q$ coprime to $6$ varying uniformly up to $(\log x)^{(1-\epsilon)\alpha(q)}$, where $\alpha(q) = \prod_{\ell \mid q} (\ell-3)/(\ell-1)$; furthermore, the coprimality restriction is necessary and the range of $q$ is essentially optimal. One of the primary themes behind our arguments is the quantitative detection of a certain mixing (or ergodicity) phenomenon in multiplicative groups via methods belonging to the `anatomy of integers', but we also rely heavily on more pure analytic arguments (such as a suitable modification of the Landau-Selberg-Delange method), -- whilst using several tools from arithmetic and algebraic geometry, and from linear algebra over rings as well.

On an additive prime divisor function of Alladi and Erdos

An Additive Function on a Ring of Integers in the Imaginary Quadratic Field Q(√d) with Class-Number One

Theorems about the divisors of numbers contained in the form $paa \pm qbb$

An ErdŐs–Kac theorem for integers with dense divisors

The behaviour of a certain additive function in large intervals between consecutive primes

On the divisor problem with congruence conditions

Mean values of multiplicative functions and applications to residue-class distribution

On the distribution of $αp+β$ modulo one for primes of type $p=ar^2+1$

On the Solution Set of Additive and Multiplicative Congruences Modulo Primes

Parity results concerning the generalized divisor function involving small prime factors of integers

Generalized divisor functions in arithmetic progressions: I

Divisibility of the Multiplicative Order Modulo Monic Irreducible Polynomials Over Finite Fields

On the distribution of $αp^2+β$ modulo one for primes $p$ such that $p+2$ has no more two prime divisors

On the largest square divisor of shifted primes

On the distribution of modular square roots of primes

Inequalities involving the primorial counting function

Joint distribution in residue classes of families of polynomially-defined multiplicative functions

Products of primes in arithmetic progressions

On an exponential D. H. Lehmer problem

Combinatorics of a Class of Completely Additive Arithmetic Functions

On sums involving divisor function, Euler's totient function, and floor function