A360111 a(n) = 1 if there is no prime p such that p^p divides n, but for the arithmetic derivative of n such a prime exists, otherwise a(n) = 0; a(1) = 0 by convention.

0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1

Offset

1

Comments

Question: What is the asymptotic mean of this and sequences like A341996 and its complement A368915, and related A368916? - Antti Karttunen, Jan 11 2024

Question: Is the asymptotic mean of this sequence 1 - Product_{p prime} (1 - 1/p^(1+p)) = 0.13585792767780221591...? (I.e. complementary to that of A368916). But see also A368911. - Antti Karttunen, Jan 29 2024

Links

Antti Karttunen, Table of n, a(n) for n = 1..100000

Index entries for characteristic functions

Formula

a(n) = A359550(n) * A341996(n).

a(n) = [-1 == A256750(n)], where [ ] is the Iverson bracket.

For n > 1, a(n) = A359550(n) - A368915(n). - Antti Karttunen, Jan 11 2024

Example

a(12) = 0, because for both 12 and 12' = A003415(12) = 16 there is a prime p (in both cases p=2) such that p^p divides them.
a(15) = 1, because 15 = 3*5 has no such prime divisor p that p^p would divide it, while 15' = 8 is divisible by 2^2.

Mathematica

d[0] = d[1] = 0; d[n_] := n * Plus @@ ((Last[#]/First[#]) & /@ FactorInteger[n]); q[n_] := AllTrue[FactorInteger[n], Last[#] < First[#] &]; q[1] = True; a[1] = 0; a[n_] := If[q[n] && ! q[d[n]], 1, 0]; Array[a, 100] (* Amiram Eldar, Jan 31 2023 *)

Prog

(PARI)
A003415(n) = if(n<=1, 0, my(f=factor(n)); n*sum(i=1, #f~, f[i, 2]/f[i, 1]));
A359550(n) = { my(f = factor(n)); prod(k=1, #f~, (f[k, 2]<f[k, 1])); };
A360111(n) = ((n>1)&&A359550(n)&&!A359550(A003415(n)));

Crossrefs

Cf. A003415, A256750, A341996, A359550, A368911, A368915, A368916.

Characteristic function of A327934.

After n=1 differs from A360109 for the next time at n=81, where a(81) = 0, while A360109(81) = 1.

Differs from A353479 for the first time at n=158, where a(158) = 1, while A353479(158) = 1.

Sequence in context: A297044 A296213 A353479 * A359162 A327932 A373979

Adjacent sequences: A360108 A360109 A360110 * A360112 A360113 A360114

Keyword

nonn

Author

Antti Karttunen, Jan 31 2023

Status

approved