login
a(n) = (9*2^n + (-2)^n)/4 for n>0.
8

%I #49 Mar 23 2024 18:57:48

%S 4,10,16,40,64,160,256,640,1024,2560,4096,10240,16384,40960,65536,

%T 163840,262144,655360,1048576,2621440,4194304,10485760,16777216,

%U 41943040,67108864,167772160,268435456,671088640,1073741824,2684354560,4294967296,10737418240

%N a(n) = (9*2^n + (-2)^n)/4 for n>0.

%C Old name was: "Number of periodic palindromes using a maximum of four different symbols".

%C Number of necklaces with n beads and 4 colors that are the same when turned over and hence have reflection symmetry. - _Herbert Kociemba_, Nov 24 2016

%D M. R. Nester (1999). Mathematical investigations of some plant interaction designs. PhD Thesis. University of Queensland, Brisbane, Australia. [See A056391 for pdf file of Chap. 2]

%H Vincenzo Librandi, <a href="/A056486/b056486.txt">Table of n, a(n) for n = 1..1000</a>

%H <a href="/index/Rec#order_02">Index entries for linear recurrences with constant coefficients</a>, signature (0,4).

%F a(n) = 4^((n+1)/2) for n odd, a(n) = 4^(n/2)*5/2 for n even.

%F From _Colin Barker_, Jul 08 2012: (Start)

%F a(n) = 4*a(n-2).

%F G.f.: 2*x*(2+5*x)/((1-2*x)*(1+2*x)). (End)

%F G.f.: -1 + (1+4*x+6*x^2)/(1-4*x^2). - _Herbert Kociemba_, Nov 24 2016

%F E.g.f.: 5*sinh(x)^2 + 2*sinh(2*x). - _Ilya Gutkovskiy_, Nov 24 2016

%F a(n) = ( 4^floor((n+1)/2) + 4^ceiling((n+1)/2) )/2. - _Robert A. Russell_, Sep 21 2018

%e G.f. = 4*x + 10*x^2 + 16*x^3 + 40*x^4 + 64*x^5 + 160*x^6 + 256*x^7 + 640*x^8 + ...

%e For example, aaabbb is not a (finite) palindrome but it is a periodic palindrome.

%p A056486:=n->(9*2^n + (-2)^n)/4: seq(A056486(n), n=1..50); # _Wesley Ivan Hurt_, Nov 24 2016

%t CoefficientList[Series[-1+(1+4*x+6*x^2)/(1-4*x^2),{x,0,30}],x] (* _Herbert Kociemba_, Nov 24 2016 *)

%t k=4; Table[(k^Floor[(n+1)/2] + k^Ceiling[(n+1)/2]) / 2, {n, 1, 30}] (* _Robert A. Russell_, Sep 21 2018 *)

%o (Magma) [(9*2^n + (-2)^n)/4 : n in [1..50]]; // _Wesley Ivan Hurt_, Nov 24 2016

%o (PARI) a(n) = (9*2^n+(-2)^n)/4; \\ _Altug Alkan_, Sep 21 2018

%o (SageMath) [2^(n-2)*(9+(-1)^n) for n in range(1,51)] # _G. C. Greubel_, Mar 23 2024

%Y Cf. A029744, A038754, A056450.

%Y Column 4 of A284855.

%K nonn,easy

%O 1,1

%A _Marks R. Nester_

%E Better name from _Ralf Stephan_, Jul 18 2013