Mertens conjecture

In mathematics, the Mertens conjecture is the incorrect statement that the Mertens function M(n) is bounded by √n, which implies the Riemann hypothesis. It was conjectured by Stieltjes in a 1885 letter to Hermite (reprinted in Stieltjes 1905) and Mertens (1897), and disproved by Odlyzko & te Riele (1985).

Definition

In number theory, if we define the Mertens function as

$M(n) = \sum_{1\le k \le n} \mu(k)$

where μ(k) is the Möbius function, then the Mertens conjecture is that for all n > 1,

$\left| M(n) \right| < \sqrt { n }.\,$

Disproof of the conjecture

Stieltjes claimed in 1885 to have proven a weaker result, namely that ${M(n)\over \sqrt{n}}$ was bounded, but did not publish a proof.

In 1985, Andrew Odlyzko and Herman te Riele proved the Mertens conjecture false. It was later shown that the first counterexample appears below exp(3.21×10⁶⁴) (Pintz 1987) but above 10¹⁴ (Kotnik and Van de Lune 2004). The upper bound has since been lowered to exp(1.59×10⁴⁰) (Kotnik and Te Riele 2006), but no counterexample is explicitly known. The boundedness claim made by Stieltjes, while remarked upon as "very unlikely" in the 1985 paper cited above, has not been disproven (as of 2009^[update]). The law of the iterated logarithm states that if μ is replaced by a random sequence of 1s and −1s then the order of growth of the partial sum of the first n terms is (with probability 1) about (n log log n)^1/2, which suggests that the order of growth of M(n)/n^1/2 might be somewhere around (log log n)^1/2.

In 1979 Cohen and Dress found the largest known value of |M(n)|/n^1/2 =~ 0.570591 for M(7766842813) = 50286. In 2003 Kotnik and van de Lune extended the search to n = 10¹⁴ but did not find larger values.

Connection to the Riemann hypothesis

The connection to the Riemann hypothesis is based on the Dirichlet series for the reciprocal of the Riemann zeta function,

$\frac{1}{\zeta(s)} = \sum_{n=1}^\infty \frac{\mu(n)}{n^s},$

valid in the region $\Re(s) > <span class=$1" border="0">. We can rewrite this as a Stieltjes integral

$\frac{1}{\zeta(s)} = \int_0^{\infty} x^{-s}\,dM(x)$

and after integrating by parts, obtain the reciprocal of the zeta function as a Mellin transform

$\frac{1}{s \zeta(s)} = \left\{ \mathcal{M} M \right\}(-s) = \int_0^\infty x^{-s} M(x)\, \frac{dx}{x}.$

Using the Mellin inversion theorem we now can express M in terms of 1/ζ as

$M(x) = \frac{1}{2 \pi i} \int_{\sigma-i\infty}^{\sigma+i\infty} \frac{x^s}{s \zeta(s)}\, ds$

which is valid for 1 < σ < 2, and valid for 1/2 < σ < 2 on the Riemann hypothesis. From this, the Mellin transform integral must be convergent, and hence M(x) must be O(x^e) for every exponent e greater than 1/2. From this it follows that

$M(x) = O(x^{\frac12+\epsilon})$

for all positive ε is equivalent to the Riemann hypothesis, which therefore would have followed from the stronger Mertens hypothesis, and follows from the hypothesis of Stieltjes that

$M(x) = O(x^\frac12)$.

References

• T. Kotnik and Herman te Riele (2006), "The Mertens Conjecture Revisited", Lecture Notes in Computer Science 4076 (Proceedings of the 7th Algorithmic Number Theory Symposium), pp. 156-167.
• T. Kotnik and J. van de Lune (2004), "On the order of the Mertens function", Experimental Mathematics 13, pp. 473-481
• F. Mertens (1897), "Über eine zahlentheoretische Funktion", Sitzungsberichte der Kaiserlichen Akademie der Wissenschaften, Mathematisch-Naturwissenschaftliche Klasse, Abteilung 2a, 106, pp. 761-830.
• Odlyzko, A. M.; te Riele, H. J. J. (1985), "Disproof of the Mertens conjecture", Journal für die reine und angewandte Mathematik 357: 138–160, doi:10.1515/crll.1985.357.138, ISSN 0075-4102, MR783538, http://www.dtc.umn.edu/~odlyzko/doc/arch/mertens.disproof.pdf 
• J. Pintz (1987), "An effective disproof of the Mertens conjecture", Astérisque 147-148, pp. 325-333.
• Stieltjes, T. J. (1905), "Lettre a Hermite de 11 juillet 1885, Lettre #79", in Baillaud, B.; Bourget, H., Correspondance d’Hermite et Stieltjes, Paris: Gauthier—Villars, pp. 160–164 

• Weisstein, Eric W., "Mertens conjecture" from MathWorld.