A002321 -id:A002321 - cp's OEIS frontend

A100766 Numbers for which the values of the Moebius function (A008683) and the Mertens function (A002321) are both 0.

40, 150, 160, 164, 232, 236, 332, 333, 356, 363, 364, 404, 405, 408, 414, 420, 423, 424, 425, 428, 608, 636, 637, 796, 812, 824, 825, 850, 884, 896, 904, 916, 920, 1014, 1220, 1256, 1280, 1292, 1300, 1336, 1492, 1519, 1520, 1521, 1524, 1525, 1528, 1532, 1544

Offset: 1

Alonso del Arte, Jan 03 2005

nonn

This sequence is a subset of A100306, numbers for which the values of the Moebius function and the Mertens function agree and, in a different way, a subset of A028442, zeros of the Mertens function. There are no prime numbers in this sequence.

Numbers k such that k-1 and k are consecutive zeros of the Mertens function. - Amiram Eldar, Jun 13 2020

Donovan Johnson, Table of n, a(n) for n = 1..10000
PrimeFan, Esoteric Integer Sequences
PrimeFan, Esoteric Integer Sequences [Cached copy]

Cf. A100306, A100765, A100767.

(* If not already defined *) If[Names["Mertens"] == {}, Mertens[x_] := Plus @@ MoebiusMu[Range[1, x]]]; Select[Range[2500], MoebiusMu[ # ] == 0 && Mertens[ # ] == 0 &]

Offset corrected by Donovan Johnson, Jun 19 2012

A100767 Numbers for which the values of the Moebius function (A008683) and the Mertens function (A002321) are both 1.

Original entry on oeis.org

1, 94, 146, 161, 215, 237, 330, 334, 365, 394, 415, 538, 542, 794, 799, 813, 815, 851, 870, 878, 899, 905, 914, 917, 921, 1003, 1006, 1011, 1257, 1262, 1267, 1271, 1286, 1290, 1293, 1330, 1337, 1339, 1343, 1522, 1529, 1538, 1858, 1865, 1939, 2018, 2098

Offset: 1

Alonso del Arte, Jan 03 2005

nonn

This sequence is a subsequence of A100306, Numbers for which the values of the Moebius function and the Mertens function agree.

Donovan Johnson, Table of n, a(n) for n = 1..10000
PrimeFan, Esoteric Integer Sequences
PrimeFan, Esoteric Integer Sequences [Cached copy]

Cf. A100306, A100765, A100766.

(* If not already defined *) If[Names["Mertens"] == {}, Mertens[x_] := Plus @@ MoebiusMu[Range[1, x]]]; Select[Range[2500], MoebiusMu[ # ] == 1 && Mertens[ # ] == 1 &]

Offset corrected by Donovan Johnson, Jun 19 2012

A304239 Indices for which the Mertens function A002321 reaches its extremum between subsequent zeros for the first time.

Original entry on oeis.org

1, 31, 43, 61, 73, 95, 114, 146, 154, 161, 165, 199, 221, 233, 237, 246, 286, 330, 341, 354, 357, 359, 365, 374, 395, 402, 406, 410, 417, 421, 426, 443, 538, 586, 619, 665, 782, 787, 794, 797, 803, 813, 818, 830, 851, 861, 871, 879, 885, 887, 890, 894, 897, 901, 905, 907, 911

Offset: 1

M. F. Hasler, May 08 2018

nonn

This is related to the Mertens conjecture, more precisely to record values of Mertens function A002321 in the following sense: Due to the short-scale and long-scale oscillations of A002321, it is less appealing to consider record values in the usual sense (cf. A051402), which yields many slowly growing records and record indices lying closely together, during the approach of a "long-scale" record. Therefore this sequence considers maxima or minima between two subsequent zeros, ignoring the empty intervals between immediately adjacent zeros A002321(k) = A002321(k+1) = 0.
The values of these extrema are listed in A304240(n) = A002321(A304239(n)).
Then one can consider the sequence of indices where the corresponding values of A002321 have opposite sign, and/or are larger in absolute value than the preceding record amplitude in the above sense, cf. A304240 & A304241: These are the points which one would really consider as record maxima / minima when looking at the graph on a larger scale.

			The initial value a(1) = 1 may be considered conventional, or the maximum reached between M(0) = 0 (empty sum) and M(2) = 0, where we write M for the Mertens function A002321.
After M(2) = 0, Mertens's function has negative values up to the next zero, M(39) = 0. The largest negative value is -4 = M(31) = M(32). Therefore a(2) = 31.
Since M(39) = M(40) = 0, the maximum amplitude between these two consecutive zeros would be zero, and is ignored by definition.
The next "local minimum" of this type is reached at M(43) = -3, this value is taken several times up to the next zero at n = 58. Therefore a(3) = 43.
The next such "local minima" are M(61) = -2 and M(73) = -4, so a(4) = 61, a(5) = 73.
It is only at n = 94 that M takes a positive value for the first time after M(1) = 1, and M(95) = 2 is the largest value reached until the next zero (at n = 101), so a(6) = 95.
And so on.

Cf. A002321, A028442 (zeros of M), A051400, A051401, A051402 (where M, -M, |M| reaches k = 1, 2, 3, ...).

Cf. A304240 (values of the extrema), A304241 (indices of increasingly larger extrema), A304242 (the associated values).

M=0; for(n=1,oo, if(m=A002321(n),abs(m)>abs(M)&& [M,N]=[m,n], M&& M=printf(N",")))

A304241 Indices where Mertens function A002321 reaches record amplitudes between zeros.

Original entry on oeis.org

1, 31, 114, 199, 443, 665, 1109, 1637, 2803, 7021, 8511, 9861, 19291, 24185, 31990, 42961, 48433, 59577, 96014, 141869, 230399, 300551, 355733, 603151, 926265, 1066854, 1793918, 3239797, 5343761, 6481601, 7109110, 10194458, 12874814, 30919091, 61913863

Offset: 1

M. F. Hasler, May 08 2018

A subsequence of A051402 and A304239.

These are the indices where the Mertens function M = A002321 not only reaches a record value (in absolute value), but also its largest amplitude between subsequent zeros (as to avoid many "intermediate" records).

Bert Dobbelaere, Table of n, a(n) for n = 1..65
Bert Dobbelaere, C++ program for A304241 and A304242
G. Hurst, Computations of the Mertens Function and Improved Bounds on the Mertens Conjecture, arXiv:1610.08551 [math.NT], 2016-2017.

Cf. A002321, A028442 (zeros of M), A051400, A051401, A051402 (where M, -M, |M| reaches k = 1, 2, 3, ...).

Cf. A304242, A304239, A304240.

L=M=0;for(n=1,oo,if(m=A002321(n),abs(m)>abs(M)&&[M,N]=[m,n],abs(M)>abs(L) && (L=M) && print1(N",");M=0))

More terms from Bert Dobbelaere, Oct 30 2018

A304242 Increasingly larger (in absolute value) extrema of the Mertens function A002321 between subsequent zeros.

Original entry on oeis.org

1, -4, -6, -8, -9, -12, -15, -16, -25, -29, 35, -43, 51, -72, 73, -88, 96, -113, -132, -134, -154, 240, -258, -278, -368, 432, 550, -683, -847, 1060, -1078, 1240, -1447, -2573, 2845, -3448, -4610, -6226, 6695, -8565, 9132, 10246, -15335, -17334, 21777, -25071

Offset: 1

M. F. Hasler, May 08 2018

Values of A002321 at the indices listed in A304241.

These are those records of the absolute value of A002321 which are the maxima or minima between subsequent zeros. Figuratively speaking, these are the increasingly larger heights of the mountains or depths of the valleys of the graph of A002321.

Bert Dobbelaere, Table of n, a(n) for n = 1..65
Bert Dobbelaere, C++ program for A304241 and A304242
G. Hurst, Computations of the Mertens Function and Improved Bounds on the Mertens Conjecture, arXiv:1610.08551 [math.NT], 2016-2017.

Cf. A002321, A028442 (zeros of M), A051400, A051401, A051402 (where M, -M, |M| reaches k = 1, 2, 3, ...).

Cf. A304241, A304239, A304240.

L=M=0; for(n=1,oo, if(m=merten(n), abs(m)>abs(M) && [M,N]=[m,n], abs(M)>abs(L) && (L=M) && print1(L","); M=0))

print1(j=1);for(i=1,#A051402-1,while( A028442[j] < A051402[i], j++); if( A028442[j-(j>1)]<=A051402[i] && A028442[j] < A051402[i+1], print1(","A002321(A051402[i])))) \\ Using precomputed vectors A002321 and A051402, e.g. from the b-files: {c=0;AX=apply(t->fromdigits(digits(t)[#Str(c++)+1..-1]),readvec("/tmp/bX.txt"))}

a(n) = A002321(A304241(n)).

More terms from Bert Dobbelaere, Oct 30 2018

A171096 Solutions to the equation M(n) = -1 (M = Mertens's function A002321).

Original entry on oeis.org

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, 213

Offset: 1

Neven Juric (neven.juric(AT)apis-it.hr), Sep 10 2010

nonn

Seiichi Manyama, Table of n, a(n) for n = 1..10000
Eric Weisstein's World of Mathematics, Mertens Function

Cf. A028442, A118684.

isok(n) = sum(k=1, n, moebius(k)) == -1; \\ Michel Marcus, Nov 20 2017

A304240 Extremum of the Mertens function A002321 between two successive (but not adjacent) zeros.

Original entry on oeis.org

1, -4, -3, -2, -4, 2, -6, 1, -2, 1, -1, -8, 5, -1, 1, -3, -8, 1, 3, -1, -1, -1, 1, -3, 2, -1, -1, -2, 2, -1, -1, -9, 1, 7, -5, -12, -1, -2, 1, -1, 3, 1, 3, -4, 1, -3, 2, 2, -1, -1, -1, -1, -1, 2, 1, -1, -1, 1, 1, 6, 1, 2, 1, -1, -15, -3, 1, -1, 2, 1, 2, -1, -1, 1, 1

Offset: 1

M. F. Hasler, May 08 2018

sign

In view of its definition, the Mertens function A002321 does not change sign between two successive zeros. Here we list the extrema, i.e., smallest or largest value, depending on the respective sign, between two zeros, excluding the case where these zeros are immediately adjacent, i.e., A002321(k) = A002321(k+1) = 0.

See A304239 and A304241 - A304242 for motivation & further information.

			The Mertens function M = A002321 is defined as partial sums of the Möbius function mu. At n = 1 it has the nonzero value M(1) = 1, and at n = 2 it has its first zero, M(2) = 0. Therefore we let a(1) = 1 by convention. (One can also consider that M(0) = 0, the empty sum, is an "initial zero" preceding M(1).)
Between the first and second zero of M = A002321, M(2) = 0 and M(39) = 0, M takes only negative values, and the largest in absolute value is a(2) = -4.
M(39) = 0 is immediately followed by another zero, M(40) = 0, the "empty" interval between these two is ignored by definition.
The next zero is at n = 58. Between n = 40 and n = 58 M takes only negative values, and the minimum is a(3) = -3.

Cf. A002321, A028442 (zeros of M), A051400, A051401, A051402 (where M, -M, |M| reaches k = 1, 2, 3, ...).

Cf. A304239, A304241, A304242.

M=0; for(n=1, oo, if(m=A002321(n), abs(m)>abs(M) && M=m, M && M=print1(M", ")))

a(n) = A002321(A304239(n)).

A059572 From Mertens's conjecture (2): floor(sqrt(n)) - Mertens's function A002321(n).

Original entry on oeis.org

0, 1, 2, 3, 4, 3, 4, 4, 5, 4, 5, 5, 6, 5, 4, 5, 6, 6, 7, 7, 6, 5, 6, 6, 7, 6, 6, 6, 7, 8, 9, 9, 8, 7, 6, 7, 8, 7, 6, 6, 7, 8, 9, 9, 9, 8, 9, 9, 10, 10, 9, 9, 10, 10, 9, 9, 8, 7, 8, 8, 9, 8, 8, 9, 8, 9, 10, 10, 9, 10, 11, 11, 12, 11, 11, 11, 10, 11, 12, 12, 13, 12, 13

Offset: 1

N. J. A. Sloane, Feb 16 2001

nonn

Mertens conjectured that |A002321(n)| < sqrt(n) for all n > 1. This is now known to be false.

D. S. Mitrinovic et al., Handbook of Number Theory, Kluwer, Section VI.2.

Paolo Xausa, Table of n, a(n) for n = 1..10000
A. M. Odlyzko and H. J. J. te Riele, Disproof of the Mertens conjecture, J. reine angew. Math., 357 (1985), pp. 138-160.

Cf. A002321, A059571.

Table[Floor[Sqrt[n]] - Plus @@ MoebiusMu[Range[n]], {n, 1, 80}] (* Carl Najafi, Aug 17 2011 *)

A084234 Smallest k such that |M(k)| = n^2, where M(x) is Mertens's function A002321.

Original entry on oeis.org

1, 31, 443, 1637, 2803, 9749, 19111, 24110, 42833, 59426, 95514, 230227, 297335, 297573, 299129, 355541, 897531, 924717, 926173, 1062397, 1761649, 1763079, 1789062, 3214693, 3218010, 3232958, 4962865, 5307549, 5343710, 6433477, 6435874, 6473791, 9990083, 10188647

Offset: 1

Robert G. Wilson v, May 13 2003

nonn

"[I]f the absolute value of M(n) can be proved to be always less than the square root of n, then the Riemann Hypothesis is true. This is called Mertens's conjecture. ... Then along came Andrew Odlyzko and his colleague, Herman te Riele and they showed in 1984 that there is a number, far larger than 10^30, that invalidates Mertens's conjecture - call it N. In other words, M(N) is greater than the square of N. So the conjecture is not true." [Sabbagh]

Karl Sabbagh, The Riemann Hypothesis, The Greatest Unsolved Problem in Mathematics, Farrar, Straus and Giroux, New York, 2002, page 191.

Amiram Eldar, Table of n, a(n) for n = 1..100 (calculated using the b-file at A051402)

Cf. A002321, A051402.

i = s = 0; Do[While[Abs[s] < n^2, s = s + MoebiusMu[i]; i++ ]; Print[i - 1], {n, 1, 25}]

a(n) = A051402(n^2). - Amiram Eldar, May 06 2024

a(31)-a(34) from Amiram Eldar, May 06 2024

A091555 Partial sums of Mertens's function (A002321).

Original entry on oeis.org

1, 1, 0, -1, -3, -4, -6, -8, -10, -11, -13, -15, -18, -20, -21, -22, -24, -26, -29, -32, -34, -35, -37, -39, -41, -42, -43, -44, -46, -49, -53, -57, -60, -62, -63, -64, -66, -67, -67, -67, -68, -70, -73, -76, -79, -81, -84, -87, -90, -93, -95, -97, -100, -103, -105, -107

Offset: 1

Jon Perry, Mar 04 2004

sign

Indranil Ghosh, Table of n, a(n) for n = 1..5000

Cf. A002321, A008683.

Table[Sum[MoebiusMu[k] (n - k + 1), {k, 1, n}], {n , 1, 56}] (* Indranil Ghosh, Mar 16 2017 *)
Accumulate[Table[Sum[MoebiusMu[k], {k, 1, n}], {n, 1, 100}]] (* Vaclav Kotesovec, Nov 30 2024 *)

for(n=1, 56, print1(sum(k=1, n, moebius(k) * (n - k + 1)),", ")) \\ Indranil Ghosh, Mar 16 2017

a(n) = Sum_{k=1..n} mu(k)*(n-k+1) where mu=A008683, the Moebius function. - Reinhard Zumkeller, Nov 06 2006

G.f.: (1/(1 - x)^2)*Sum_{k>=1} mu(k)*x^k. - Ilya Gutkovskiy, Mar 11 2018

More terms from Reinhard Zumkeller, Nov 06 2006

cp's OEIS Frontend

A100766 Numbers for which the values of the Moebius function (A008683) and the Mertens function (A002321) are both 0.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

Extensions

A100767 Numbers for which the values of the Moebius function (A008683) and the Mertens function (A002321) are both 1.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

Extensions

A304239 Indices for which the Mertens function A002321 reaches its extremum between subsequent zeros for the first time.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

PARI

A304241 Indices where Mertens function A002321 reaches record amplitudes between zeros.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

PARI

Extensions

A304242 Increasingly larger (in absolute value) extrema of the Mertens function A002321 between subsequent zeros.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

PARI

PARI

Formula

Extensions

A171096 Solutions to the equation M(n) = -1 (M = Mertens's function A002321).

Views

Author

Keywords

Links

Crossrefs

Programs

PARI

A304240 Extremum of the Mertens function A002321 between two successive (but not adjacent) zeros.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

PARI

Formula

A059572 From Mertens's conjecture (2): floor(sqrt(n)) - Mertens's function A002321(n).

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

Mathematica