OFFSET
1,1
COMMENTS
mu and chi share the same property in that they both evaluate to {-1, 0, 1}.
This sequence admits 5 possible outcomes as follows:
- a(n) are of the form 4k + 1, and are either divisible by an odd number of primes, or are nonsquarefree.
- a(n) + 1 are squarefree even numbers.
- a(n) + 2 are of the form 4k + 3, and are either divisible by an even number of primes, or are nonsquarefree.
3 is the largest number of consecutive integers that satisfy the condition mu(n) <> chi(n). Since a(n) + 3 = 4k + 4 = 4(k+1), which is both nonsquarefree and even, then mu(4(k+1))= chi(4(k+1)), and the sequence terminates.
If a(n) is prime then k - 2 is not divisible by 3.
Conjecture: Every prime a(n) has a multiple a(j), with j > n, the result of a multiplication by a number of the form 4k + 1, a multiple a(m) + 1, with m > n, the result of multiplication by a squarefree even number, and lastly a multiple a(k) + 2, with k > n, the result of multiplication by a prime. Example; a(1) = 13, a(8) = 117, a(2) + 1 = 26, and a(3) + 2 = 39.
If a(n) + 1 is a totient then k - 2 is not divisible by 3.
Observation: Of the 72762 triples up to 10^6, only 19 of the middle terms, which are always even, are totients.
FORMULA
0 < min({|mu(a(n))| + |chi(a(n))|, |mu(a(n) + 1)| + |chi(a(n) + 1)|, |mu(a(n) + 2)| + |chi(a(n) + 2)|}).
EXAMPLE
13 is in the sequence because mu(13)=-1 and chi(13)=1, mu(14)=1 and chi(14)=0, and mu(15)=1 and chi(15)=-1.
MATHEMATICA
With[{nn = 10^3, w = {1, 0, -1, 0}}, Position[Map[UnsameQ @@ # & /@ # &, Partition[Transpose@ {Array[MoebiusMu, nn], Array[w[[Mod[#, 4, 1] ]] &, nn]}, 3, 1]], {True, True, True}]][[All, 1]] (* Michael De Vlieger, Jan 28 2018, after Michael Somos at A101455 *)
PROG
(PARI) isok(n) = (moebius(n) != kronecker( -4, n)) && (moebius(n+1) != kronecker( -4, n+1)) && (moebius(n+2) != kronecker( -4, n+2)); \\ Michel Marcus, Jan 28 2018
CROSSREFS
KEYWORD
nonn
AUTHOR
Torlach Rush, Jan 19 2018
STATUS
approved