A112865 - OEIS

%I #19 Feb 20 2021 00:34:58

%S 1,-1,1,-1,-1,1,-1,1,1,-1,1,-1,-1,1,-1,1,-1,1,-1,1,1,-1,1,-1,-1,1,-1,

%T 1,1,-1,1,-1,1,-1,1,-1,-1,1,-1,1,1,-1,1,-1,-1,1,-1,1,-1,1,-1,1,1,-1,1,

%U -1,-1,1,-1,1,1,-1,1,-1,-1,1,-1,1,1,-1,1,-1,-1,1,-1,1,1,-1,1,-1,1,-1,1,-1,-1,1,-1,1,1,-1,1,-1,-1,1,-1,1,-1,1,-1,1,1,-1

%N a(n) = (-1)^(n + floor(n/4) + floor(n/4^2) + ...).

%C The n-th term t(n)=(-1)^S(n). S(n)=Sum[ b(k)*a(k), k=0,L-1] where n=Sum[a(k)*2^k, k=0,L-1] (binary expansion of n) and b(k)=1 only if mod(k,2)=0, b(k)=0 otherwise. Closely related to the Thue-Morse sequence where all b(k) are 1. Also appears as the column at the "one-third" position of the Walsh-Hadamard matrix.

%C This sequence, A112539, and A341389 are essentially the same, differing only in two values: 1,-1 here, 1,0 in A112539, 0,1 in A341389. - _Kevin Ryde_, Feb 17 2021

%H Robert Israel, <a href="/A112865/b112865.txt">Table of n, a(n) for n = 0..10000</a>

%F a(n) = (-1)^n * a([n/4]). - _Michael Somos_, Aug 15 2008

%F Euler transform of sequence b(n) where b(1) = 1, b(2^(2*k-1)) = -1, b(2^(2*k)) = 2 unless k=0, b(n) = 0 otherwise.

%F G.f.: (Product_{k>0} 1 - x^(4^k)) / (Product_{k>=0} 1 + x^(4^k)). - _Michael Somos_, Aug 15 2008

%F a(n) = 2*A112539(n-1)-1. - _Robert Israel_, Apr 20 2017

%F a(n) = 1 - 2*A341389(n). - _Kevin Ryde_, Feb 17 2021

%p f:= proc(n) option remember; (-1)^n*procname(floor(n/4)) end proc:

%p f(0):= 1:

%p seq(f(n),n=0..200); # _Robert Israel_, Apr 20 2017

%o (PARI) {a(n) = if( n<1, n==0, (-1)^n * a(n \ 4))} /* _Michael Somos_, Aug 15 2008 */

%o (PARI) {a(n) = local(A); if( n<0, 0, A = Vecrev(binary(n)); (-1)^sum(k=1, #A, A[k] * (k%2)))} /* _Michael Somos_, Aug 15 2008 */

%Y Cf. A112539, A341389.

%K easy,sign

%O 0,1

%A Arul Lakshminarayan (arul(AT)physics.iitm.ac.in), Sep 27 2005

%E Edited by _Michael Somos_, Aug 15 2008