This site is supported by donations to The OEIS Foundation.

Mertens function

From OeisWiki
Jump to: navigation, search


This article needs more work.

Please help by expanding it!


The partial sums of the Möbius function give a summatory function, the summatory Möbius function, which is called the Mertens function, named after Franz Mertens. Thus

The following table shows the relationship between the Möbius function and the Mertens function for the integers from 1 to 25.

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
1 −1 −1 0 −1 1 −1 0 0 1 −1 0 −1 1 1 0 −1 0 −1 0 1 1 −1 0 0
1 0 −1 −1 −2 −1 −2 −2 −2 −1 −2 −2 −3 −2 −1 −1 −2 −2 −3 −3 −2 −1 −2 −2 −2

Asymptotic behavior

Asymptotic densities

The asymptotic density of squarefree numbers is

where is the summatory quadratfrei function, is the th prime number and is the Riemann zeta function.

Among those, the asymptotic density of numbers with an odd number of prime factors is equal to the asymptotic density of numbers with an even number of prime factors.

Asymptotic densities

Asymptotic bounds

If we look at the Mertens function as the result of tossing a fair coin times and considering only independent trials on average (corresponding to the squarefree numbers), we may assume a discrete binomial distribution[1] (asymptotically becoming a normal distribution[2]) with mean 0 and standard deviation of

where is the probability of getting a head () and is the probability of getting a tail ().

Now, consider the following table of ranges (in terms of the standard deviation[3]) corresponding to given confidence intervals for the normal distribution.

Normal distribution
Confidence

interval[4]

Range
0.800
0.900
0.950
0.990
0.995
0.999


This does not bode well at all for the von Sterneck conjecture, with range having a confidence interval of about 80.0%, and not so well either for the Mertens conjecture, with range having a confidence interval of about 99.0%. Thus, according to this normal distribution model, the von Sterneck conjecture would asymptotically fail for about 20.0% of the integers, and the Mertens conjecture would asymptotically fail for about 1.0% of the integers. Of course, since the prime factorization of integers is not random (the primes being intricately interdependent,) the Moebius function is not random (the trials are not independent,) so the above confidence intervals may or may not be reflecting the actual behavior of the Mertens function.

Riemann hypothesis

The Riemann hypothesis is equivalent to a weaker conjecture than Mertens conjecture on the growth of , namely

for any .

More precisely, the Riemann hypothesis is equivalent to

for some constant .

Mertens conjecture

In 1897, Mertens made the following bold conjecture:

Conjecture (Mertens conjecture, 1897). (Franz Mertens)

In 1979, H. Cohen and F. Dress computed the values of for and found the Mertens conjecture held up to that point.

In 1983 by Hermann te Riele and Andrew Odlyzko disproved the Mertens conjecture. In 1985, Odlyzko found a counterexample near , where

The smallest contradicting the Mertens conjecture is estimated to be . In 1987, J. Pintz showed that a smaller counterexample could be found for . The smallest contradicting the Mertens conjecture is still not known. In 1985, Odlyzko and Riele did not expect to find any counterexamples for .

von Sterneck conjecture

In 1897, R. D. von Sterneck made the bolder conjecture

In 1960, Wolgang Jurkat found a counterexample. He discovered that for , the first time the von Sterneck conjecture fails is for

Asymptotic bias

The first positive value of Mertens function for is for . 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).

where is the asymptotic density of squarefree numbers (the squareful numbers having Möbius mu of 0). This would be a growth pattern akin to the Chebyshev bias.

Here are calculated values of the purported bias with the empirical approximation :

    25: -0.759       50: -1.074    100: -1.519     200: -2.149

  1000: -4.806     2000: -6.796   4000: -9.612    8000: -13.593 

Could the Mertens conjecture applied to a bias corrected Mertens function (assuming the bias is real, and that we found the actual asymptotic behavior of this purported bias) become true? Obviously, if Mertens conjecture was falsified with too large positive values of the Mertens function, the bias correction would only make things worse, as is the case for the stronger von Sterneck conjecture.

Sequences

A002321 Mertens's function: where is the Moebius function (A008683).

{1, 0, –1, –1, –2, –1, –2, –2, –2, –1, –2, –2, –3, –2, –1, –1, –2, –2, –3, –3, –2, –1, –2, –2, –2, –1, –1, –1, –2, –3, –4, –4, –3, –2, –1, –1, –2, –1, 0, 0, –1, –2, –3, –3, –3, –2, –3, –3, –3, –3, –2, –2, –3, –3, –2, –2, ...}

A084237 , where is Mertens's function.

{1, –1, 1, 2, –23, –48, 212, 1037, 1928, –222, –33722, –87856, 62366, 599582, –875575, –3216373, –3195437, ...}

A171096 Numbers for which the Mertens function (A002321) is −1.

{3, 4, 6, 10, 15, 16, 22, 26, 27, 28, 35, 36, 38, 41, 57, 59, 60, 62, 63, 64, 66, 69, 87, 88, 91, 92, 102, 123, 124, 125, 126, 129, 134, 135, 136, 143, 144, 151, 152, 153, 155, 156, 158, 165, 167, 168, 169, 210, ...}

A028442 Numbers such that Mertens's function (A002321) is zero.

{2, 39, 40, 58, 65, 93, 101, 145, 149, 150, 159, 160, 163, 164, 166, 214, 231, 232, 235, 236, 238, 254, 329, 331, 332, 333, 353, 355, 356, 358, 362, 363, 364, 366, 393, 401, 403, 404, 405, 407, 408, 413, ...}

The subset of primes is listed in A100669.

A118684 Numbers for which the Mertens function (A002321) is +1.

{1, 94, 97, 98, 99, 100, 146, 147, 148, 161, 162, 215, 216, 230, 237, 330, 334, 337, 338, 349, 350, 351, 352, 365, 394, 397, 399, 400, 415, 416, 418, 538, 539, 540, 542, 606, 794, 799, 800, 801, 806, 809, ...}

Notes

  1. Weisstein, Eric W., Binomial Distribution, from MathWorld—A Wolfram Web Resource. [http://mathworld.wolfram.com/BinomialDistribution.html]
  2. Weisstein, Eric W., Normal Distribution, from MathWorld—A Wolfram Web Resource. [http://mathworld.wolfram.com/NormalDistribution.html]
  3. Weisstein, Eric W., Standard Deviation, from MathWorld—A Wolfram Web Resource. [http://mathworld.wolfram.com/StandardDeviation.html]
  4. Weisstein, Eric W., Confidence Interval, from MathWorld—A Wolfram Web Resource. [http://mathworld.wolfram.com/ConfidenceInterval.html]

External links