Was this arithmetic Möbius/Mangoldt function ever used for something?

Given the unexplanatory tone of many number theory expositions, it is, in fact, reasonable to ask this question, I think... insofar as there is a good explanation, apart from the artifactual one.

That is, the Riemann Explicit Formula, as reformulated a bit by von Mangoldt, is an exact (not merely asymptotic) equality of a sum over primes and a sum over zeros of the zeta function. The sum over primes, at best, is not quite just $\sum_p 1$, but, perhaps most simply and most naturally, a sum of $\log p$ over prime powers $p^m$. That is, the "left-hand side" is $\sum_{m,p:p^m<T}\log p$. That is, one side is a sum over prime powers under a given bound, and the weight of the counting is $\log p$. This is an immediate and transparent artifact of the complex analysis the extracts the equality. No imagination required ... beyond the profound insight to do the thing at all... :)

The understandable confusion arises from both unexplanatory sequels that presume one knows the context, as well as from knock-off derivative work that takes whatever is found in books and papers and unthinkingly fools around with it.

Thus, the short answer is that there are compelling reasons for the appearance of this weighting scheme. Sure, it is not what the most-naive/ideal program would ask for, but it is somehow the perfectly correct answer. The more naive question of "counting primes" is somehow incorrectly posed... in the sense that one must go from the clear (with RH or not...) statement of the explicit formula to messier assertions about the naive-but-awkward formulation.

Sure, we could say that the more-sophisticated answer dodges the original question. Or, we could say that the original question was in some sense doomed, because it could not admit as simple an answer as we hoped, while the more-complicated question allowed a good answer.


I cite from here:

Let $\mathrm{rad}(n)$ denote the radical of an integer $n$, which is the product of the distinct prime numbers dividing n. Or equivalently, $$\mathrm{rad}(n)=\prod_{\scriptstyle p\mid n\atop p\text{ prime}}p.$$ Assume $\mathrm{rad}(1)=1$, so that $\mathrm{rad}(n)$ is multiplicative.

So $$A(n)=\log\mathrm{rad}(n) \;\text{ or }\; \mathrm{rad}(n)=\exp{\left(\sum_{d|n} \mu(d)\Lambda(d)\right)}.$$ Then Wiki:Radical of an integer states that:

One of the most striking applications of the notion of radical occurs in the "abc" conjecture, which states that, for any $ε > 0$, there exists a finite $K_ε$ such that, for all triples of coprime positive integers $a, b,$ and $c $ satisfying $a + b = c$, $$ c < K_\varepsilon\, \operatorname{rad}(abc)^{1 + \varepsilon} $$ Furthermore, it can be shown that the nilpotent elements of $\mathbb{Z}/n\mathbb{Z}$ are all of the multiples of $\operatorname{rad}(n)$.

More references at OEIS:A007947...