This site is supported by donations to The OEIS Foundation.
Mertens function
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 |
Contents
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 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.
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
- ↑ Weisstein, Eric W., Binomial Distribution, from MathWorld—A Wolfram Web Resource. [http://mathworld.wolfram.com/BinomialDistribution.html]
- ↑ Weisstein, Eric W., Normal Distribution, from MathWorld—A Wolfram Web Resource. [http://mathworld.wolfram.com/NormalDistribution.html]
- ↑ Weisstein, Eric W., Standard Deviation, from MathWorld—A Wolfram Web Resource. [http://mathworld.wolfram.com/StandardDeviation.html]
- ↑ Weisstein, Eric W., Confidence Interval, from MathWorld—A Wolfram Web Resource. [http://mathworld.wolfram.com/ConfidenceInterval.html]