login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A055891 CIK (necklace, indistinct, unlabeled) transform of powers of 2. 2

%I #30 Dec 31 2018 14:15:15

%S 1,2,7,20,64,200,686,2324,8194,29084,104860,381116,1398148,5161592,

%T 19173958,71580752,268435474,1010572832,3817749138,14467230668,

%U 54975581488,209430687944,799644820114,3059510251700,11728124035248

%N CIK (necklace, indistinct, unlabeled) transform of powers of 2.

%C From _Petros Hadjicostas_, Dec 06 2017: (Start)

%C The g.f. is clear from J. Arndt's PARI program below.

%C The CIK transform of sequence (a(n): n>=1} with g.f. A(x) = Sum_{n>=1} a(n)*x^n has g.f. CIK(A(x)) = 1 - Sum_{n>=1} (phi(n)/n)*log(1-A(x^n)). Sometimes, the constant 1 is dropped from the formula. Here, A(x) = 2*x/(1-2*x).

%C To find the auxiliary sequence (c(n): n>=1} used in the formula a(n) = (1/n)*Sum_{d|n} phi(n/d)*c(d), we use the formula C(x) = Sum_{n>=1} c(n)*x^n = x*(dA(x)/dx)/(1-A(x)). Here, C(x) = 2*x/((1-4*x)*(1-2*x)), from which we can prove that c(n) = 2^n*(2^n-1) = A020522(n).

%C (End)

%H C. G. Bower, <a href="/transforms2.html">Transforms (2)</a>

%H P. Flajolet and M. Soria, <a href="http://algo.inria.fr/flajolet/Publications/cycle2.ps.gz">The Cycle Construction</a>, SIAM J. Discr. Math., vol. 4 (1), 1991, pp. 58-60.

%H P. Flajolet and M. Soria, <a href="/A055891/a055891.pdf">The Cycle Construction.</a> [pdf file]

%F From _Petros Hadjicostas_, Dec 06 2017: (Start)

%F a(n) = (1/n)*Sum_{d|n} phi(n/d)*2^d*(2^d-1) = (1/n)*Sum_{d|n} phi(n/d)*A020522(d) for n >= 1.

%F G.f.: 1 - Sum_{n>=1} (phi(n)/n)*log((1-4*x^n)/(1-2*x^n)).

%F (End)

%t {1}~Join~Table[(1/n) DivisorSum[n, EulerPhi[n/#] *2^#*(2^# - 1) &], {n, 24}] (* _Michael De Vlieger_, Dec 06 2017 *)

%o (PARI)

%o N = 66; x = 'x + O('x^N);

%o f(x)=sum(n=1,N, 2^n*x^n );

%o gf = 1 + sum(n=1,N, eulerphi(n)/n*log(1/(1-f(x^n))) );

%o v = Vec(gf)

%o /* _Joerg Arndt_, Jan 21 2013 */

%Y Cf. A000079, A020522, A055376.

%K nonn

%O 0,2

%A _Christian G. Bower_, Jun 09 2000

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified April 25 12:14 EDT 2024. Contains 371969 sequences. (Running on oeis4.)