OFFSET
0,2
COMMENTS
In the language of the Shapiro et al. reference (given in A053121) such a lower triangular (ordinary) convolution array, considered as matrix, belongs to the Riordan-group. The G.f. for the row polynomials p(n,x) (increasing powers of x) is (((1-z)^3)/(1-2*z)^4)/(1-x*z/(1-z)).
This is the fourth member of the family of Riordan-type matrices obtained from A007318(n,m) (Pascal's triangle read as lower triangular matrix) by repeated application of the prs-procedure.
LINKS
Andrew Howroyd, Table of n, a(n) for n = 0..1325 (rows 0..50)
FORMULA
a(n, m) = Sum_{k=m..n} A055252(n, k).
Column m recursion: a(n, m)= sum(a(j, m), j=m..n-1)+ A055252(n, m), n >= m >= 0, a(n, m) := 0 if n<m.
G.f. for column m: (((1-x)^3)/(1-2*x)^4)*(x/(1-x))^m, m >= 0.
T(n, k) = binomial(n, k)*hypergeom([4, k - n], [k + 1], -1). - Peter Luschny, Sep 23 2024
G.f.: (1 - x)^4/((1 - (1 + y)*x)*(1 - 2*x)^4). - Andrew Howroyd, Nov 13 2025
EXAMPLE
Triangle begins:
[0] 1
[1] 5, 1
[2] 19, 6, 1
[3] 63, 25, 7, 1
[4] 192, 88, 32, 8, 1
[5] 552, 280, 120, 40, 9, 1
[6] 1520, 832, 400, 160, 49, 10, 1
[7] 4048, 2352, 1232, 560, 209, 59, 11, 1
Fourth row polynomial (n=3): p(3, x)= 63 + 25*x + 7*x^2 + x^3.
MAPLE
T := (n, k) -> binomial(n, k)*hypergeom([4, k - n], [k + 1], -1):
for n from 0 to 7 do seq(simplify(T(n, k)), k = 0..n) od; # Peter Luschny, Sep 23 2024
PROG
(PARI)
T(n) = [Vecrev(p) | p<-Vec((1 - x)^4/((1 - (1 + y)*x)*(1 - 2*x)^4) + O(x*x^n))];
{ my(A=T(10)); for(i=1, #A, print(A[i])) } \\ Andrew Howroyd, Nov 13 2025
CROSSREFS
KEYWORD
AUTHOR
Wolfdieter Lang, May 26 2000
STATUS
approved
