Picking up the partial sums of the Möbius function problem with probabilistic number theory

Abstract

We revisit several hybrid multiplicative-to-additive type functions from a recent preprint article. These functions, $g(n)$ with Dirichlet generating function (DGF) $\hat{I}\P (s{)}^{-1}(1+P(s){)}^{-1}$ for $\Re (s)>1$ where $P(s)={\sum }_p{p}^{-s}$ is the prime zeta function, $|g(n)|=\hat{I}»(n)g(n)$ with DGF $\hat{I}\P (2s{)}^{-1}(1-P(s){)}^{-1}$, and $C_{\hat{I}}\text{c◯}(n)$ with DGF $(1-P(s){)}^{-1}$. Each of these function variants are defined in terms of the additive (respectively, strongly additive) functions $\ddot{I}‰(n)$ and $\hat{I}\text{c◯}(n)$. These two auxiliary functions are used in the prior manuscript to relate partial sums of the classical Möbius function, $\hat{I}¼(n)$, to signed partial sums involving the prime counting function, $\ddot{I}€(x)$, and the Liouville lambda function, $\hat{I}»(n):=(-1{)}^{\hat{I}\text{c◯}(n)}$. In this article, we explore summing the identities from the first manuscript using several probabilistic assumptions about the independence of the values of $\hat{I}\text{c◯}(n)$ and $\hat{I}{¼}^2(n)$ for $n\le x$ at large $x$. We recover proofs of the limiting asymptotic growth of $|M(x)|/\sqrt{x}$ whose hypotheses promise to be substantially more attainable to make rigorous than past results from other authors relying on the Riemann Hypothesis or assumption of the linear independence of the simple, non-trivial zeros of $\hat{I}\P (s)$.

Keywords and phrases: Möbius function; Mertens function; Liouville lambda function; prime omega function; Dirichlet inverse; probabilistic number theory; Erdós-Kac theorem