%I #23 Mar 03 2023 13:52:02
%S 1,2,0,6,0,0,-6,24,0,0,0,0,-18,0,-48,120,0,0,0,0,0,0,0,0,18,-72,0,0,
%T -192,48,-360,720,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,54,0,144,-360,0,0,0,
%U 0,384,-960,144,0,-1800,720,-2880,5040,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-54,216
%N a(n) = Product_{k=0..floor(log_2(n))} (1 + A004718(floor(n/(2^k)))), where A004718 is Per Nørgård's "infinity sequence".
%C The composer Per Nørgård's name is also written in the OEIS as Per Noergaard.
%C From _Mikhail Kurkov_, May 22 2019 (comments originally given in A325803): (Start)
%C Number of positive terms on the interval 2^m <= n < 2^(m+1) for m > 0 equals f(m-1,2,1) (and f(m-1,4,3) for negative) with f(m,g,h) = binomial(m, floor(m/2) + floor((m+g)/4) - floor((m+h)/4)), so total number of nonzero terms equals binomial(m, floor(m/2)) = A001405(m).
%C Sum_{n=0..2^m-1} a(n) = 3^m, m >= 0.
%C More generally, if we define a(n,k) = (-1)^(n+1)*a(floor(n/k),k) + n mod k, a(0,k) = 0, so Sum_{n=0..k^m-1} Product_{i=0..floor(log_k(n))} (1 + a(floor(n/(k^i)),k)) = binomial(k+1, 2)^m for any k = 2p, p > 0.
%C (End)
%H Antti Karttunen, <a href="/A329893/b329893.txt">Table of n, a(n) for n = 0..16383</a>
%H Antti Karttunen, <a href="/A329893/a329893.txt">Data supplement: n, a(n) computed for n = 0..65537</a>
%H Will Sawin, <a href="https://mathoverflow.net/questions/331432/voyage-into-the-golden-screen-sequence-defined-by-recurrence-relation/333031#333031">Voyage into the golden screen (sequence defined by recurrence relation)</a>, Answer to question 333031 on Mathoverflow, June 1, 2019.
%F a(0) = 1; for n > 1, a(n) = (1+A004718(n)) * a(floor(n/2)).
%F a(n) = Product_{k=0..floor(log_2(n))} (1 + A004718(floor(n/(2^k)))).
%F a(A325804(n)) = A325803(n).
%o (PARI)
%o up_to = 65537;
%o A004718list(up_to) = { my(v=vector(up_to)); v[1]=1; v[2]=-1; for(n=3, up_to, v[n] = if(n%2, 1+v[n>>1], -v[n/2])); (v); }; \\ After code in A004718.
%o v004718 = A004718list(up_to);
%o A004718(n) = if(!n,n,v004718[n]);
%o A329893(n) = { my(m=1); while(n, m *= 1+A004718(n); n >>= 1); (m); };
%o (Python)
%o from math import prod
%o def A329893(n):
%o c, s = [0]*(m:=n.bit_length()), bin(n)[2:]
%o for i in range(m):
%o if s[i]=='1':
%o for j in range(m-i):
%o c[j] = c[j]+1
%o else:
%o for j in range(m-i):
%o c[j] = -c[j]
%o return prod(1+d for d in c) # _Chai Wah Wu_, Mar 03 2023
%Y Cf. A001405, A004718, A325803 (nonzero terms), A325804 (their positions).
%Y Cf. also A284005, A293233.
%K sign
%O 0,2
%A _Antti Karttunen_ (after _Mikhail Kurkov_'s A325803), Dec 10 2019
|