login
Number of 2n-bead balanced binary necklaces of fundamental period 2n which are equivalent to their complement, but not equivalent to their reverse and their reversed complement.
1

%I #14 Sep 23 2019 09:45:07

%S 0,0,0,0,0,0,2,2,8,14,36,62,140,252,522,968,1920,3600,7028,13286,

%T 25704,48914,94302,180314,347480,666996,1286460,2477328,4785300,

%U 9240012,17879314,34604066,67076096,130084990,252579600,490722342,954306080

%N Number of 2n-bead balanced binary necklaces of fundamental period 2n which are equivalent to their complement, but not equivalent to their reverse and their reversed complement.

%C The number of length 2n balanced binary Lyndon words which are equivalent to their complement is A000048(n) and the number which are equivalent to their reverse, complement and reversed complement is A045683(n). - _Andrew Howroyd_, Sep 28 2017

%H <a href="/index/Lu#Lyndon">Index entries for sequences related to Lyndon words</a>

%F From _Andrew Howroyd_, Sep 28 2017: (Start)

%F Moebius transform of A045677.

%F a(n) = A000048(n) - A045683(n).

%F (End)

%t a48[n_] := Total[MoebiusMu[#]*2^(n/#)& /@ Select[Divisors[n], OddQ]]/(2n);

%t b[n_] := Module[{t = 0, r = n}, While[EvenQ[r], r = Quotient[r, 2]; t += 2^(r - 1)]; t + 2^Quotient[r, 2]];

%t a45683[n_] := DivisorSum[n, MoebiusMu[n/#]*b[#]&];

%t a[n_] := If[n == 0, 0, a48[n] - a45683[n]];

%t a /@ Range[0, 36] (* _Jean-François Alcover_, Sep 23 2019, after _Andrew Howroyd_ *)

%Y Cf. A000048, A045677, A045683, A045687.

%K nonn

%O 0,7

%A _David W. Wilson_