OFFSET
0,3
COMMENTS
Compare to the following identities, which hold for any fixed b and c:
(1) Sum_{n>=0} x^n * Product_{k=1..n} (b + k*x)/(1 + b*x + k*x^2) = (1 + b*x)/(1 - x^2).
(2) Sum_{n>=0} x^n * Product_{k=1..n} (k + c*x)/(1 + k*x + c*x^2) = (1 + c*x^2)/(1 - x).
(3) Sum_{n>=0} x^n * Product_{k=1..n} (b*k + c*k*x)/(1 + b*k*x + c*k*x^2) = 1/(1 - b*x - c*x^2).
Conjectures:
(1) a(6*n + k) == 0 (mod 4) for n > 0 when k = {0,5},
(2) a(6*n + k) == 2 (mod 4) for n > 0 when k = {1,2,3,4}.
LINKS
Paul D. Hanna, Table of n, a(n) for n = 0..400
FORMULA
G.f. A(x) = Sum_{n>=0} a(n)*x^n may be described by the following.
(1) Sum_{n>=0} x^n * Product_{k=1..n} (k + (n-k+1)*x) / (1 + k*x + (n-k+1)*x^2).
(2) Sum_{n>=0} x^n * (Sum_{k=0..n} A067948(n,k) * x^k) / Product_{k=1..n} (1 + k*x + (n-k+1)*x^2).
EXAMPLE
G.f.: A(x) = 1 + x + 2*x^2 + 4*x^3 + 10*x^4 + 28*x^5 + 88*x^6 + 306*x^7 + 1158*x^8 + 4730*x^9 + 20722*x^10 + 96776*x^11 + 479340*x^12 + ...
where
A(x) = 1 + x*(1+x)/(1+x+x^2) + x^2*(1 + 2*x)*(2 + x)/((1 + x + 2*x^2)*(1 + 2*x + x^2)) + x^3*(1 + 3*x)*(2 + 2*x)*(3 + x)/((1 + x + 3*x^2)*(1 + 2*x + 2*x^2)*(1 + 3*x + x^2)) + x^4*(1 + 4*x)*(2 + 3*x)*(3 + 2*x)*(4 + x)/((1 + x + 4*x^2)*(1 + 2*x + 3*x^2)*(1 + 3*x + 2*x^2)*(1 + 4*x + x^2)) + ...
PROG
(PARI) {a(n) = polcoeff( A = sum(m=0, n, x^m*prod(k=1, m, (k + (m-k+1)*x)/(1 + k*x + (m-k+1)*x^2 +x*O(x^n))) ), n)}
for(n=0, 30, print1(a(n), ", "))
CROSSREFS
KEYWORD
nonn
AUTHOR
Paul D. Hanna, Jun 02 2023
STATUS
approved