Distribution in coprime residue classes of polynomially-defined multiplicative functions

An integer-valued multiplicative function $f$ is said to be polynomially-defined if there is a nonconstant separable polynomial $F(T)\in \mathbb{Z}[T]$ with $f(p)=F(p)$ for all primes $p$. We study the distribution in coprime residue classes of polynomially-defined multiplicative functions, establishing equidistribution results allowing a wide range of uniformity in the modulus $q$. For example, we show that the values $\phi(n)$, sampled over integers $n \le x$ with $\phi(n)$ coprime to $q$, are asymptotically equidistributed among the coprime classes modulo $q$, uniformly for moduli $q$ coprime to $6$ that are bounded by a fixed power of $\log{x}$.Comment: edited paragraph following Theorem 1.3, correcting a claim in the discussion of condition (i

The distribution of intermediate prime factors

Let $P^{\left(\frac 12\right)}(n)$ denote the middle prime factor of $n$ (taking into account multiplicity). More generally, one can consider, for any $\alpha \in (0,1)$, the $\alpha$-positioned prime factor of $n$, $P^{(\alpha)}(n)$. It has previously been shown that $\log \log P^{(\alpha)}(n)$ has normal order $\alpha \log \log x$, and its values follow a Gaussian distribution around this value. We extend this work by obtaining an asymptotic formula for the count of $n\leq x$ for which $P^{(\alpha)}(n)=p$, for primes $p$ in a wide range up to $x$. We give several applications of these results, including an exploration of the geometric mean of the middle prime factors, for which we find that $\frac 1x \sum_{1<n \le x} \log P^{\left(\frac 12 \right)}(n) \sim A(\log x)^{\varphi-1}$, where $\varphi$ is the golden ratio, and $A$ is an explicit constant. Along the way, we obtain an extension of Lichtman's recent work on the ``dissected'' Mertens' theorem sums $\sum_{\substack{P^+(n) \le y \\ \Omega(n)=k}} \frac{1}{n}$ for large values of $k$