|
%I #13 Dec 11 2020 05:58:35
%S 1,3,11,35,115,347,1075,3235,9787,29387,88435,265315,796755,2390347,
%T 7173227,21519947,64566667,193700035,581120523,1743362283,5230145947,
%U 15690440099,47071499707,141214499227,423644035627,1270932113627,3812797935395,11438393826035
%N Number of primitive (=aperiodic) ternary words with length less than or equal to n which are earlier in lexicographic order than any other word derived by cyclic shifts of the alphabet.
%H Alois P. Heinz, <a href="/A320087/b320087.txt">Table of n, a(n) for n = 1..2096</a>
%F a(n) = Sum_{j=1..n} Sum_{d|j} 3^(d-1) * mu(j/d).
%F a(n) = A143327(n,3).
%F a(n) = Sum_{j=1..n} A143325(j,3).
%F a(n) = A143326(n,3) / 3.
%F G.f.: (1/(1 - x)) * Sum_{k>=1} mu(k) * x^k / (1 - 3*x^k). - _Ilya Gutkovskiy_, Dec 11 2020
%p b:= n-> add(`if`(d=n, 3^(n-1), -b(d)), d=numtheory[divisors](n)):
%p a:= proc(n) option remember; b(n)+`if`(n<2, 0, a(n-1)) end:
%p seq(a(n), n=1..30);
%t nmax = 20; Rest[CoefficientList[Series[1/(1-x) * Sum[MoebiusMu[k] * x^k / (1 - 3*x^k), {k, 1, nmax}], {x, 0, nmax}], x]] (* _Vaclav Kotesovec_, Dec 11 2020 *)
%o (PARI) a(n) = sum(j=1, n, sumdiv(j, d, 3^(d-1)*moebius(j/d))); \\ _Michel Marcus_, Dec 11 2020
%Y Column k=3 of A143327.
%Y Partial sums of A034741.
%Y Cf. A008683, A143325, A143326.
%K nonn
%O 1,2
%A _Alois P. Heinz_, Oct 05 2018
|
