What is the best known bound for the Mertens function along arithmetic progressions? More specifically, what is the best bound known for


$$\sum\_{n<x}\mu(kn)$$


as $k,x\to\infty$. [This](https://arxiv.org/pdf/1406.7326.pdf) paper of Lynelle Ye gives a very complete solution, but only under the RH so it is not much use to me. [This](https://dms.umontreal.ca/%7Eandrew/PDFpre/MultinAPs.pdf) paper about the Mertens function along arithmetic progressions $an+b$ is also promising, but it works under the assumption $\gcd(a,b)=1$ the whole time, meaning that $b=0$ can not be applied.


Working out simple bounds using Perron's formula does not look very hard, but seeing as this seems like an incredibly natural result to already have been proved it feels like it would not be the best idea to put all this time into proving a weaker version of a result that already exists.



Best known bounds for $\left|\sum_{n<x}\mu(nk)\right|$ (Reference request)
We use the bound given by my previous answer: $$\sum\_{n<x}\mu(kn)\ll\_A \frac{kx}{(\log (kx))^A}.$$ Now we improve this bound by using that the sum $$\sum\_{d \in \mathbb N\atop d\mid n, d\mid k}\mu(d)$$ is $1$ or $0$ according to if $\gcd(n,k)=1$ or not. We get $$\sum\_{n<x}\mu(kn)=\mu(k)\sum\_{n<x\atop\gcd(k,n)=1}\mu(n)=\mu(k)\sum\_{d\mid k}\mu(d)\sum\_{n<x\atop d\mid n}\mu(n)=\mu(k)\sum\_{d\mid k}\mu(d)\sum\_{t<x/d}\mu(td),$$where we wrote $n=td$. Now observe that the last sum over $t$ is one that we can bound by using what we proved in the previous answer. This gives the bound $$\mu(k)\sum\_{d\mid k}\mu(d)O\_A(\frac{d \cdot x/d}{(\log x)^A})\ll\_A \tau(k)\frac{x}{(\log x)^A},$$ where $\tau(k)=\sum\_{d\mid k}1$ is the sum of the divisors function and the implied constant is independent of $x$ and $k$. The bound $\tau(k)\frac{x}{(\log x)^A}$ is exactly what the Perron approach would give, furthermore, this bound is ok for very large values of $k$, for example, if $k<x^{100}$ the average value of $\tau(k)$ is $\log (x^{100})\ll \log x$ so you could take simply $A>1$.


