Is Mertens function negatively biased? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T00:23:15Z http://mathoverflow.net/feeds/question/98174 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/98174/is-mertens-function-negatively-biased Is Mertens function negatively biased? joro 2012-05-28T07:12:07Z 2012-10-15T14:53:01Z <p>A <a href="https://oeis.org/A002321" rel="nofollow">comment in OEIS about Mertens function</a> claims:</p> <blockquote> <p>The graph seems to show a negative bias for the Mertens function which is eerily similar to the Chebyshev bias (described in A156749 and A156709). The purported bias seems to be empirically approximated (by looking at the graph) $- (6 / \pi^2) (\sqrt{n} / 4)$ where $6 / \pi^2 = 1 / \zeta(2)$ is the asymptotic density of squarefree numbers (the squareful numbers having Moebius $\mu$ of 0). This would be a growth pattern akin to the Chebyshev bias. - Daniel Forgues, Jan 23 2011 </p> </blockquote> <p>Let $M(n)$ be the Mertens function.</p> <blockquote> <p>Q1 Is there a bias (negative or positive) in Mertens function?</p> <p>Q2 Is there a provable bias in some generalizations of Mertens function, e.g. in number fields or in arithmetic progression $M(an+d)$?</p> </blockquote> <p>Plot of $M(x)$ with coloured bias:</p> <p><img src="http://s14.postimage.org/834f8jx1t/mertensbias.png" alt="Mertens function with coloured bias"></p> http://mathoverflow.net/questions/98174/is-mertens-function-negatively-biased/98175#98175 Answer by kolik for Is Mertens function negatively biased? kolik 2012-05-28T07:18:47Z 2012-05-28T07:18:47Z <p>I believe that this paper</p> <p><a href="http://arxiv.org/abs/1108.1524" rel="nofollow">http://arxiv.org/abs/1108.1524</a></p> <p>By one of the members of MO, will have some relevant answers for the closely related case of the Liouville function.</p> http://mathoverflow.net/questions/98174/is-mertens-function-negatively-biased/98178#98178 Answer by Micah Milinovich for Is Mertens function negatively biased? Micah Milinovich 2012-05-28T07:56:00Z 2012-05-28T07:56:00Z <p>Assuming some well-known conjectures, Nathan Ng established the existence of a limiting distribution for $e^{-y/2}M(e^{y})$. This paper can also be found on the arXiv: <a href="http://arxiv.org/abs/math/0310381" rel="nofollow">http://arxiv.org/abs/math/0310381</a></p> <p>The paper on summatory function of the Louiville function, mentioned in kolik's answer, uses many of the same techniques.</p> http://mathoverflow.net/questions/98174/is-mertens-function-negatively-biased/109492#109492 Answer by Peter Humphries for Is Mertens function negatively biased? Peter Humphries 2012-10-12T21:13:14Z 2012-10-15T14:53:01Z <p>Somehow I missed this question when it was originally asked. I'm not entirely sure what <em>you</em> mean by a negative bias; the bits you've highlighted in the graph of $M(x)$ aren't when $M(x)$ is negative, but rather where is is, in some sense, "decreasing on average", and I don't know how to formalise that notion. If you're actually interested in the set of $x$ for which $M(x)$ is negative, then it seems clear from the graph that this happens roughly half the time. Here's how to make that notion formal.</p> <p>In Nathan Ng's paper linked in Micah Milinovich's answer, Ng (very conditionally!) proves the existence of a limiting logarithmic distribution of $M(x)/\sqrt{x}$, so that there exists a measure $\nu$ satisfying $$\lim_{X \to \infty} \frac{1}{\log X} \int_{1}^{X}{f\left(\frac{M(x)}{\sqrt{x}}\right) \ \frac{dx}{x}} = \int_{\mathbb{R}}{f(x) \ d\nu(x)}$$ for every continuous bounded $f : \mathbb{R} \to \mathbb{R}$; equivalently, for every Borel $B \subset \mathbb{R}$ whose boundary has $\nu$-measure zero, $$\lim_{X \to \infty} \frac{1}{\log X} \int\limits_{\{x \in [1,X] : M(x)/\sqrt{x} \in B\}}{ \ \frac{dx}{x}} = \nu(B).$$ Furthermore, he calculates the Fourier transform of $\nu$ explicitly and shows, among other things, that $\widehat{\nu}$ is <em>even</em> about the origin. This implies that $$\lim_{X \to \infty} \frac{1}{\log X} \int\limits_{\{x \in [1,X] : M(x) &lt; 0\}}{ \ \frac{dx}{x}} = \nu((-\infty,0)) = \nu((0,\infty)) = \lim_{X \to \infty} \frac{1}{\log X} \int\limits_{\{x \in [1,X] : M(x) > 0\}}{ \ \frac{dx}{x}} = \frac{1}{2}.$$ To show this, we need to know that the set $\{0\}$ has $\nu$-measure zero, but this follows as Ng's explicit formula for $\widehat{\nu}$ is in $L^1(\mathbb{R})$, and hence that $\nu$ is absolutely continuous with respect to the Lebesgue measure on $\mathbb{R}$. (I don't think Ng actually includes this argument, but it's in my paper that kolik linked in his answer.)</p> <p>So this shows (conditionally) that the median on $\nu$ is $0$, and hence that $M(x)$ is unbiased, in the sense that the logarithmic density of the set of points where $M(x)$ is negative is the same as that of the set of points where $M(x)$ is positive.</p> <p>Interestingly, if you consider instead the weighted sum $$M_{1/2}(x) = \sum_{n \leq x}{\frac{\mu(n)}{\sqrt{n}}},$$ then there <em>is</em> a negative bias; this follows from the same methods in my article that kolik linked to, together with the explicit expression $$M_{1/2}(x) = \frac{1}{\zeta(1/2)} + \sum_{\rho}{\frac{x^{\rho - 1/2}}{(\rho - 1/2) \zeta'(\rho)}} + R(x),$$ where the sum is over the nontrivial zeroes of the Riemann zeta function, and $R(x)$ is some small error term. Other than this, I don't know much about other biases, though it should be the same in number fields, and I recently wrote a paper about this kind of thing in function fields, based on previous work of Byungchul Cha (in which he does not explicitly state the analogous result of there being no bias, though it is clear from the results).</p> <p>Edit: I forgot to mention Brent and van de Lune's recent paper, where they look at a form of the Lambert series generated by $\mu(n)$ and show that it is negative as $x$ tends to $1$ from below (as juan mentioned in a comment above). But this really isn't telling you anything other than that the Riemann zeta function is negative at $s = 0$, which is a much weaker statement than, say, a pole whose residue is negative (as is the case with the summatory function of the Liouville function).</p>