login
A340882
Irregular table: the n-th row polynomial is given by the formal power series expansion of Sum_{k >= 0} (1 + q)^(n*k + n^2)*Product_{j = 1..k} (1 - (1 + q)^(2*j-1)), n >= 1.
3
1, 1, 3, 1, 1, 8, 24, 30, 20, 7, 1, 1, 15, 99, 368, 841, 1302, 1435, 1149, 668, 276, 77, 13, 1, 1, 24, 268, 1828, 8446, 28050, 70378, 138204, 217525, 278663, 293217, 254462, 182077, 106926, 51053, 19515, 5831, 1312, 209, 21, 1, 1, 35, 585, 6180, 46080, 257302, 1119568, 3916826, 11290146
OFFSET
1,3
COMMENTS
For n = 1,2,3,..., it can be shown that the formal power series Sum_{k >= 0} (1 + q)^(n*k)*Product_{i = 1..k} (1 - (1 + q)^(2*i-1)) is a rational function of q of the form R(n,q)/(1 + q)^(n^2), where R(n,q) is a polynomial of degree n*(n-1) in q. The first few values are R(1,q) = 1, R(2,q) = 1 + 3*q + q^2 and R(3,q) = 1 + 8*q + 24*q^2 + 30*q^3 + 20*q^4 + 7*q^5 + q^6. The present table lists the coefficients of the polynomials R(n,q) for n >= 1.
Conjecture: For fixed integers q and N, the sequence mod(R(n,q),N)n>=1 is either purely periodic or periodic with a pre-period 1.
FORMULA
n-th row polynomial: R(n,q) = Sum_{k = 0..n-1} x^(k^2) * ( Product_{j = k+1..n-1} x^(2*j) - 1 ), where x = 1 + q.
In the q-adic topology, Limit_{n -> oo} R(2*n+1, q - 1) = - Limit_{n -> oo} R(2*n, q - 1) = Product_{n >= 1} 1 - q^n.
EXAMPLE
Table begins
n\k 0 1 2 3 4 5 6 7 8
------------------------------------------------------------------------
1 1,
2 1, 3, 1,
3 1, 8, 24, 30, 20, 7, 1,
4 1, 15, 99, 368, 841, 1302, 1435, 1149, 668, ...
5 1, 24, 268, 1828, 8446, 28050, 70378, 138204, 217525, ...
6 1, 35, 585, 6180, 46080, 257302, 1119568, 3916826, 11290146, ...
...
MAPLE
row := n -> add( (1+q)^(k^2)*mul((1+q)^(2*j)-1, j = k+1..n-1), k = 0..n-1 ):
seq(seq(coeff(row(n), q, k), k = 0..n*(n-1)), n = 1..10);
CROSSREFS
Row sums A340883. Cf. A340880.
Sequence in context: A034801 A331890 A102435 * A152570 A100537 A069605
KEYWORD
nonn,tabf,easy
AUTHOR
Peter Bala, Feb 16 2021
STATUS
approved