A039598 -id:A039598 - cp's OEIS frontend

A126954 Triangle T(n,k), 0 <= k <= n, read by rows given by: T(0,0)=1, T(n,k)=0 if k < 0 or if k > n, T(n,0) = 3*T(n-1,0) + T(n-1,1), T(n,k) = T(n-1,k-1) + T(n-1,k) + T(n-1,k+1) for k >= 1.

1, 3, 1, 10, 4, 1, 34, 15, 5, 1, 117, 54, 21, 6, 1, 405, 192, 81, 28, 7, 1, 1407, 678, 301, 116, 36, 8, 1, 4899, 2386, 1095, 453, 160, 45, 9, 1, 17083, 8380, 3934, 1708, 658, 214, 55, 10, 1, 59629, 29397, 14022, 6300, 2580, 927, 279, 66, 11, 1

Offset: 0

Philippe Deléham, Mar 19 2007

This triangle belongs to the family of triangles defined by: T(0,0)=1, T(n,k)=0 if k < 0 or if k > n, T(n,0) = x*T(n-1,0) + T(n-1,1), T(n,k) = T(n-1,k-1) + y*T(n-1,k) + T(n-1,k+1) for k >= 1. Other triangles arise from choosing different values for (x,y): (0,0) -> A053121; (0,1) -> A089942; (0,2) -> A126093; (0,3) -> A126970; (1,0)-> A061554; (1,1) -> A064189; (1,2) -> A039599; (1,3) -> A110877; (1,4) -> A124576; (2,0) -> A126075; (2,1) -> A038622; (2,2) -> A039598; (2,3) -> A124733; (2,4) -> A124575; (3,0) -> A126953; (3,1) -> A126954; (3,2) -> A111418; (3,3) -> A091965; (3,4) -> A124574; (4,3) -> A126791; (4,4) -> A052179; (4,5) -> A126331; (5,5) -> A125906. - Philippe Deléham, Sep 25 2007

			Triangle begins:
     1;
     3,    1;
    10,    4,    1;
    34,   15,    5,   1;
   117,   54,   21,   6,   1;
   405,  192,   81,  28,   7,  1;
  1407,  678,  301, 116,  36,  8, 1;
  4899, 2386, 1095, 453, 160, 45, 9, 1;

G. C. Greubel, Table of n, a(n) for the first 50 rows, flattened

T[0, 0, x_, y_] := 1; T[n_, 0, x_, y_] := x*T[n - 1, 0, x, y] + T[n - 1, 1, x, y]; T[n_, k_, x_, y_] := T[n, k, x, y] = If[k < 0 || k > n, 0, T[n - 1, k - 1, x, y] + y*T[n - 1, k, x, y] + T[n - 1, k + 1, x, y]]; Table[T[n, k, 3, 1], {n, 0, 10}, {k, 0, n}] // Flatten (* G. C. Greubel, May 22 2017 *)

Sum_{k=0..n} T(n,k) = A126932(n).
Sum_{k>=0} T(m,k)*T(n,k) = T(m+n,0) = A059738(m+n).
Sum_{k=0..n} T(n,k)*(-k+1) = 3^n. - Philippe Deléham, Mar 26 2007

A028364 Triangle T(n,m) = Sum_{k=0..m} Catalan(n-k)*Catalan(k).

Original entry on oeis.org

1, 1, 2, 2, 3, 5, 5, 7, 9, 14, 14, 19, 23, 28, 42, 42, 56, 66, 76, 90, 132, 132, 174, 202, 227, 255, 297, 429, 429, 561, 645, 715, 785, 869, 1001, 1430, 1430, 1859, 2123, 2333, 2529, 2739, 3003, 3432, 4862, 4862, 6292, 7150, 7810, 8398, 8986, 9646, 10504, 11934, 16796

Offset: 0

Wouter Meeussen

There are several versions of a Catalan triangle: see A009766, A008315, A028364.
The subtriangle [1], [2, 3], [5, 7, 9], ..., namely T(N,M-1), for N >= 1, M=1..N, appears as one-point function in the totally asymmetric exclusion process for the parameters alpha=1=beta. See the Derrida et al. and Liggett references given under A067323, where these triangle entries are called T_{N,N+M-1} for the given alpha and beta values. See the row reversed triangle A067323.
Consider a Dyck path as a path with steps N=(0,1) and E=(1,0) from (0,0) to (n,n) that stays weakly above y=x. T(n,m) is the number of Dyck paths of semilength n+1 where the (m+1)st north step is followed by an east step. - Lara Pudwell, Apr 12 2023

			Triangle begins
   1;
   1,  2;
   2,  3,  5;
   5,  7,  9, 14;
  14, 19, 23, 28, 42;

Alois P. Heinz, Rows n = 0..140, flattened
Ayomikun Adeniran and Lara Pudwell, Pattern avoidance in parking functions, Enumer. Comb. Appl. 3:3 (2023), Article S2R17.
G. Chatel and V. Pilaud, Cambrian Hopf Algebras, arXiv:1411.3704 [math.CO], 2014-2015.
A. Sapounakis et al., Ordered trees and the inorder transversal, Disc. Math., 306 (2006), 1732-1741.

Cf. A000108 (column 0 and main diagonal), A001700 (row sums), A065097 (T(2*n-1, n-1)), A201205 (central terms).

Cf. A067323, A009766, A039598, A039599, A028377, A028378, A028376.

b:= proc(n, i) option remember; `if`(n=0, 1, add(
      expand(b(n-1, j)*`if`(i>n, x, 1)), j=1..i))
    end:
T:= n-> (p-> seq(coeff(p, x, i), i=0..n))(b((n+1)$2)):
seq(T(n), n=0..10);  # Alois P. Heinz, Nov 28 2015

t[n_, k_] = Sum[CatalanNumber[n-j]*CatalanNumber[j], {j, 0, k}]; Flatten[Table[t[n, k], {n, 0, 8}, {k, 0, n}]] (* Jean-François Alcover, Jul 22 2011 *)

T(n,k) = Sum_{j>=0} A039598(k,j)*A039599(n-k,j). - Philippe Deléham, Feb 18 2004
Sum_{k>=0} T(n,k) = A001700(n). T(n,k) = A067323(n,n-k), n >= k >= 0, otherwise 0. - Philippe Deléham, May 26 2005
G.f. for column sequences m >= 0: (-(c(m,x)-1)/x+c(m,x)*c(x))/x^m with the g.f. c(x) of A000108 (Catalan) and c(m,x):=sum(C(k)*x^k,k=0..m) with C(n):=A000108(n). - Wolfdieter Lang, Mar 24 2006
G.f. for column sequences m >= 0 (without leading zeros): c(x)*Sum_{k=0..m} C(m,k)*c(x)^k with the g.f. c(x) of A000108 (Catalan) and C(n,m) is the Catalan triangle A033184(n,m). - Wolfdieter Lang, Mar 24 2006
T(n,n) = T(n,k) + T(n,n-1-k) = A000108(n+1), n > 0, k = 0..floor((n+1)/2). - Yuchun Ji, Jan 09 2019
G.f. for triangle: Sum_{n>=0, m>=0} T(n, m)*x^n*y^m = (c(x)-c(xy))/(x(1-y)c(x)) with the g.f. c(x) of A000108 (Catalan). - Lara Pudwell, Apr 12 2023

A124733 Triangle read by rows: row n is the first row of the matrix M[n]^(n-1), where M[n] is the n X n tridiagonal matrix with main diagonal (2,3,3,...) and super- and subdiagonals (1,1,1,...).

Original entry on oeis.org

1, 2, 1, 5, 5, 1, 15, 21, 8, 1, 51, 86, 46, 11, 1, 188, 355, 235, 80, 14, 1, 731, 1488, 1140, 489, 123, 17, 1, 2950, 6335, 5397, 2730, 875, 175, 20, 1, 12235, 27352, 25256, 14462, 5530, 1420, 236, 23, 1, 51822, 119547, 117582, 74172, 32472, 10026, 2151, 306, 26, 1

Offset: 1

Gary W. Adamson & Roger L. Bagula, Nov 05 2006

With a different offset: Triangle T(n,k), 0<=k<=n, read by rows given by : T(0,0)=1, T(n,k)=0 if k<0 or if k>n, T(n,0)=2*T(n-1,0)+T(n-1,1), T(n,k)=T(n-1,k-1)+3*T(n-1,k)+T(n-1,k+1) for k>=1. - Philippe Deléham, Mar 27 2007
Equals A007318*A039599 (when written as lower triangular matrix). - Philippe Deléham, Jun 16 2007
This triangle belongs to the family of triangles defined by: T(0,0)=1, T(n,k)=0 if k<0 or if k>n, T(n,0)=x*T(n-1,0)+T(n-1,1), T(n,k)=T(n-1,k-1)+y*T(n-1,k)+T(n-1,k+1) for k>=1 . Other triangles arise by choosing different values for (x,y): (0,0) -> A053121; (0,1) -> A089942; (0,2) -> A126093; (0,3) -> A126970; (1,0)-> A061554; (1,1) -> A064189; (1,2) -> A039599; (1,3) -> A110877; (1,4) -> A124576; (2,0) -> A126075; (2,1) -> A038622; (2,2) -> A039598; (2,3) -> A124733; (2,4) -> A124575; (3,0) -> A126953; (3,1) -> A126954; (3,2) -> A111418; (3,3) -> A091965; (3,4) -> A124574; (4,3) -> A126791; (4,4) -> A052179; (4,5) -> A126331; (5,5) -> A125906. - Philippe Deléham, Sep 25 2007
5^n = (n-th row terms) dot (first n+1 odd integers). Example: 5^4 = 625 = (51, 86, 46, 11, 1) dot (1, 3, 5, 7, 9) = (51 + 258 + 230 + 77 + 9) = 625. [Gary W. Adamson, Jun 13 2011]

			Row 3 is (5,5,1) because M[3]=[2,1,0;1,3,1;0,1,3] and M[3]^2=[5,5,1;5,11,6;1,6,10].
Triangle starts:
1;
2, 1;
5, 5, 1;
15, 21, 8, 1;
51, 86, 46, 11, 1;
188, 355, 235, 80, 14, 1;

G. C. Greubel, Table of n, a(n) for the first 50 rows, flattened
Shu-Chiuan Chang and Robert Shrock, Structure of the Partition Function and Transfer Matrices for the Potts Model in a Magnetic Field on Lattice Strips, Journal of Statistical Physics 137 (2009) 667.

Cf. A110877, A091965, A002212, A007317, A026375 (row sums).

with(linalg): m:=proc(i,j) if i=1 and j=1 then 2 elif i=j then 3 elif abs(i-j)=1 then 1 else 0 fi end: for n from 3 to 11 do A[n]:=matrix(n,n,m): B[n]:=multiply(seq(A[n],i=1..n-1)) od: 1; 2,1; for n from 3 to 11 do seq(B[n][1,j],j=1..n) od; # yields sequence in triangular form
T := (n,k) -> (-1)^(n-k)*simplify(GegenbauerC(n-k,-n+1,3/2) + GegenbauerC(n-k-1,-n+1,3/2)): seq(seq(T(n,k), k=1..n), n=1..10); # Peter Luschny, May 13 2016

T[0, 0, x_, y_] := 1; T[n_, 0, x_, y_] := x*T[n - 1, 0, x, y] + T[n - 1, 1, x, y]; T[n_, k_, x_, y_] := T[n, k, x, y] = If[k < 0 || k > n, 0,  T[n - 1, k - 1, x, y] + y*T[n - 1, k, x, y] + T[n - 1, k + 1, x, y]];
Table[T[n, k, 2, 3], {n, 0, 49}, {k, 0, n}] // Flatten (* G. C. Greubel, Apr 21 2017 *)

Sum_{k=0..n} (-1)^(n-k)*T(n,k) = (-1)^n. - Philippe Deléham, Feb 27 2007
Sum_{k=0..n} T(n,k)*(2*k+1) = 5^n. - Philippe Deléham, Mar 27 2007
T(n,k) = (-1)^(n-k)*(GegenbauerC(n-k,-n+1,3/2) + GegenbauerC(n-k-1,-n+1,3/2)). - Peter Luschny, May 13 2016
From Peter Bala, Sep 06 2022: (Start)
The following assume the row and column indexing start at 0.
Riordan array (f(x), x*g(x)), where f(x) = ( 1 - sqrt((1 - 5*x)/(1 - x)) )/(2*x) = 1 + 2*x + 5*x^2 + 15*x^3 + 51*x^4 + ... is the o.g.f. of A007317 and g(x) = ( 1 - 3*x - sqrt(1 - 6*x + 5*x^2) )/(2*x^2) = 1 + 3*x + 10*x^2 + 36*x^3 + 137*x^4 + .... See A002212.
The n-th row polynomial R(n,x) equals the n-th degree Taylor polynomial of the function (1 - x)*(1 + 3*x + x^2)^n expanded about the point x = 0.
T(n,k) = a(n,k) - a(n,k+1), where a(n,k) = Sum_{j = 0..n} binomial(n,j)* binomial(j,n-k-j)*3^(2*j+k-n). (End)

Edited by N. J. A. Sloane, Dec 04 2006

A124576 Triangle read by rows: row n is the first row of the matrix M[n]^(n-1), where M[n] is the n X n tridiagonal matrix with main diagonal (1,4,4,...) and super- and subdiagonals (1,1,1,...).

Original entry on oeis.org

1, 1, 1, 2, 5, 1, 7, 23, 9, 1, 30, 108, 60, 13, 1, 138, 522, 361, 113, 17, 1, 660, 2587, 2079, 830, 182, 21, 1, 3247, 13087, 11733, 5581, 1579, 267, 25, 1, 16334, 67328, 65600, 35636, 12164, 2672, 368, 29, 1, 83662, 351246, 365364, 220308, 86964, 23220, 4173

Offset: 1

Gary W. Adamson & Roger L. Bagula, Nov 05 2006

Triangle T(n,k), 0<=k<=n, read by rows given by : T(0,0)=1, T(n,k)=0 if k<0 or if k>n, T(n,0)=T(n-1,0)+T(n-1,1), T(n,k)=T(n-1,k-1)+4*T(n-1,k)+T(n-1,k+1) for k>=1. - Philippe Deléham, Mar 27 2007

This triangle belongs to the family of triangles defined by: T(0,0)=1, T(n,k)=0 if k<0 or if k>n, T(n,0)=x*T(n-1,0)+T(n-1,1), T(n,k)=T(n-1,k-1)+y*T(n-1,k)+T(n-1,k+1) for k>=1 . Other triangles arise by choosing different values for (x,y): (0,0) -> A053121; (0,1) -> A089942; (0,2) -> A126093; (0,3) -> A126970; (1,0)-> A061554; (1,1) -> A064189; (1,2) -> A039599; (1,3) -> A110877; (1,4) -> A124576; (2,0) -> A126075; (2,1) -> A038622; (2,2) -> A039598; (2,3) -> A124733; (2,4) -> A124575; (3,0) -> A126953; (3,1) -> A126954; (3,2) -> A111418; (3,3) -> A091965; (3,4) -> A124574; (4,3) -> A126791; (4,4) -> A052179; (4,5) -> A126331; (5,5) -> A125906. - Philippe Deléham, Sep 25 2007

			Row 3 is (2,5,1) because M[3]=[1,1,0;1,4,1;0,1,4] and M[3]^2=[2,5,1;5,18,8;1,8,17].
Triangle starts:
1;
1, 1;
2, 5, 1;
7, 23, 9, 1;
30, 108, 60, 13, 1;
138, 522, 361, 113, 17, 1;

G. C. Greubel, Table of n, a(n) for the first 50 rows, flattened

Cf. A124575, A124574, A052179, A227081 (row sums).

with(linalg): m:=proc(i,j) if i=1 and j=1 then 1 elif i=j then 4 elif abs(i-j)=1 then 1 else 0 fi end: for n from 3 to 11 do A[n]:=matrix(n,n,m): B[n]:=multiply(seq(A[n],i=1..n-1)) od: 1; 1,1; for n from 3 to 11 do seq(B[n][1,j],j=1..n) od; # yields sequence in triangular form
# alternative
A124576_row := proc(n)
    if n = 0 then
        return [1] ;
    else
        M := Matrix(n,n) ;
        M[1,1] := 1;
        for c from 2 to n do
            if c = 2 then
                M[1,c] := 1;
            else
                M[1,c] := 0;
            end if;
        end do:
        for r from 2 to n do
            for c from 1 to n do
                if r = c then
                    M[r,c] := 4;
                elif abs(r-c) = 1 then
                    M[r,c] := 1;
                else
                    M[r,c] := 0;
                end if;
            end do:
        end do:
        LinearAlgebra[MatrixPower](M,n-1) ;
        return [seq(%[1,r],r=1..n)] ;
    end if;
end proc:
for n from 0 to 10 do
    A124576_row(n) ;
    print(%) ;
end do: # R. J. Mathar, May 20 2025

M[n_] := SparseArray[{{1, 1} -> 1, Band[{2, 2}] -> 4, Band[{1, 2}] -> 1, Band[{2, 1}] -> 1}, {n, n}]; row[1] = {1}; row[n_] := MatrixPower[M[n], n-1] // First // Normal; Table[row[n], {n, 1, 10}] // Flatten (* Jean-François Alcover, Jan 09 2014 *)

Sum_{k=0..n} T(n,k)*(4*k+1) = 6^n. - Philippe Deléham, Mar 27 2007

Edited by N. J. A. Sloane, Dec 04 2006

A126970 Triangle T(n,k), 0 <= k <= n, read by rows given by: T(0,0)=1, T(n,k)=0 if k < 0 or if k > n, T(n,0) = T(n-1,1), T(n,k) = T(n-1,k-1) + 3*T(n-1,k) + T(n-1,k+1) for k >= 1.

Original entry on oeis.org

1, 0, 1, 1, 3, 1, 3, 11, 6, 1, 11, 42, 30, 9, 1, 42, 167, 141, 58, 12, 1, 167, 684, 648, 327, 95, 15, 1, 684, 2867, 2955, 1724, 627, 141, 18, 1, 2867, 12240, 13456, 8754, 3746, 1068, 196, 21, 1, 12240, 53043, 61362, 43464, 21060, 7146, 1677, 260, 24, 1

Offset: 0

Philippe Deléham, Mar 19 2007

This triangle belongs to the family of triangles defined by: T(0,0)=1, T(n,k)=0 if k < 0 or if k > n, T(n,0) = x*T(n-1,0) + T(n-1,1), T(n,k) = T(n-1,k-1) + y*T(n-1,k) + T(n-1,k+1) for k >= 1. Other triangles arise from choosing different values for (x,y): (0,0) -> A053121; (0,1) -> A089942; (0,2) -> A126093; (0,3) -> A126970; (1,0)-> A061554; (1,1) -> A064189; (1,2) -> A039599; (1,3) -> A110877; (1,4) -> A124576; (2,0) -> A126075; (2,1) -> A038622; (2,2) -> A039598; (2,3) -> A124733; (2,4) -> A124575; (3,0) -> A126953; (3,1) -> A126954; (3,2) -> A111418; (3,3) -> A091965; (3,4) -> A124574; (4,3) -> A126791; (4,4) -> A052179; (4,5) -> A126331; (5,5) -> A125906. - Philippe Deléham, Sep 25 2007

			Triangle begins:
    1;
    0,   1;
    1,   3,   1;
    3,  11,   6,   1;
   11,  42,  30,   9,  1;
   42, 167, 141,  58, 12,  1;
  167, 684, 648, 327, 95, 15, 1; ...
From _Philippe Deléham_, Nov 07 2011: (Start)
Production matrix begins:
  0, 1
  1, 3, 1
  0, 1, 3, 1
  0, 0, 1, 3, 1
  0, 0, 0, 1, 3, 1
  0, 0, 0, 0, 1, 3, 1
  0, 0, 0, 0, 0, 1, 3, 1
  0, 0, 0, 0, 0, 0, 1, 3, 1
  0, 0, 0, 0, 0, 0, 0, 1, 3, 1 (End)

G. C. Greubel, Table of n, a(n) for the first 50 rows, flattened

T[0, 0, x_, y_] := 1; T[n_, 0, x_, y_] := x*T[n - 1, 0, x, y] + T[n - 1, 1, x, y]; T[n_, k_, x_, y_] := T[n, k, x, y] = If[k < 0 || k > n, 0,  T[n - 1, k - 1, x, y] + y*T[n - 1, k, x, y] + T[n - 1, k + 1, x, y]]; Table[T[n, k, 0, 3], {n, 0, 49}, {k, 0, n}] // Flatten (* G. C. Greubel, Apr 21 2017 *)

Sum_{k=0..n} T(n,k) = A126952(n).
Sum_{k>=0} T(m,k)*T(n,k) = T(m+n,0) = A117641(m+n).
Sum_{k=0..n} T(n,k)*(4*k+1) = 5^n. - Philippe Deléham, Mar 22 2007

A124574 Triangle read by rows: row n is the first row of the matrix M[n]^(n-1), where M[n] is the n X n tridiagonal matrix with main diagonal (3,4,4,...) and super- and subdiagonals (1,1,1,...).

Original entry on oeis.org

1, 3, 1, 10, 7, 1, 37, 39, 11, 1, 150, 204, 84, 15, 1, 654, 1050, 555, 145, 19, 1, 3012, 5409, 3415, 1154, 222, 23, 1, 14445, 28063, 20223, 8253, 2065, 315, 27, 1, 71398, 146920, 117208, 55300, 16828, 3352, 424, 31, 1, 361114, 776286, 671052, 355236, 125964, 30660, 5079, 549, 35, 1

Offset: 1

Gary W. Adamson & Roger L. Bagula, Nov 04 2006

Column 1 yields A064613. Row sums yield A081671.
Triangle T(n,k), 0 <= k <= n, defined by: T(0,0)=1, T(n,k)=0 if k < 0 or if k > n, T(n,0) = 3*T(n-1,0) + T(n-1,1), T(n,k) = T(n-1,k-1) + 4*T(n-1,k) + T(n-1,k+1). - Philippe Deléham, Feb 27 2007
Triangle T(n,k), 0 <= k <= n, read by rows given by: T(0,0)=1, T(n,k)=0 if k < 0 or if k > n, T(n,0) = 3*T(n-1,0) + T(n-1,1), T(n,k) = T(n-1,k-1) + 4*T(n-1,k) + T(n-1,k+1) for k >= 1. - Philippe Deléham, Mar 27 2007
This triangle belongs to the family of triangles defined by: T(0,0)=1, T(n,k)=0 if k < 0 or if k > n, T(n,0) = x*T(n-1,0) + T(n-1,1), T(n,k) = T(n-1,k-1) + y*T(n-1,k) + T(n-1,k+1) for k >= 1. Other triangles arise from choosing different values for (x,y): (0,0) -> A053121; (0,1) -> A089942; (0,2) -> A126093; (0,3) -> A126970; (1,0)-> A061554; (1,1) -> A064189; (1,2) -> A039599; (1,3) -> A110877; (1,4) -> A124576; (2,0) -> A126075; (2,1) -> A038622; (2,2) -> A039598; (2,3) -> A124733; (2,4) -> A124575; (3,0) -> A126953; (3,1) -> A126954; (3,2) -> A111418; (3,3) -> A091965; (3,4) -> A124574; (4,3) -> A126791; (4,4) -> A052179; (4,5) -> A126331; (5,5) -> A125906. - Philippe Deléham, Sep 25 2007
6^n = ((n+1)-th row terms) dot (first n+1 odd integers). Example: 6^4 = 1296 = (150, 204, 84, 15, 1) dot (1, 3, 5, 7, 9) = (150 + 612 + 420 + 105 + 9)= 1296. - Gary W. Adamson, Jun 15 2011
From Peter Bala, Sep 06 2022: (Start)
The following assume the row and column indexing start at 0.
Riordan array (f(x), x*g(x)), where f(x) = (1 - sqrt((1 - 6*x)/(1 - 2*x)))/(2*x) is the o.g.f. of A064613 and g(x) =  (1 - 4*x - sqrt(1 - 8*x + 12*x^2))/(2*x^2) is the o.g.f. of A005572.
The n-th row polynomial R(n,x) equals the n-th degree Taylor polynomial of the function (1 - x)*(1 + 4*x + x^2)^n expanded about the point x = 0.
T(n,k) = a(n,k) - a(n,k+1), where a(n,k) = Sum_{j = 0..n} binomial(n,j)* binomial(j,n-k-j)*4^(2*j+k-n). (End)

			Row 4 is (37,39,11,1) because M[4]= [3,1,0,0;1,4,1,0;0,1,4,1;0,0,1,4] and M[4]^3=[37,39,11,1; 39, 87, 51, 12; 11, 51, 88, 50; 1, 12, 50, 76].
Triangle starts:
    1;
    3,    1
   10,    7,   1;
   37,   39,  11,   1
  150,  204,  84,  15,  1;
  654, 1050, 555, 145, 19, 1;
From _Philippe Deléham_, Nov 07 2011: (Start)
Production matrix begins:
  3, 1
  1, 4, 1
  0, 1, 4, 1
  0, 0, 1, 4, 1
  0, 0, 0, 1, 4, 1
  0, 0, 0, 0, 1, 4, 1
  0, 0, 0, 0, 0, 1, 4, 1
  0, 0, 0, 0, 0, 0, 1, 4, 1
  0, 0, 0, 0, 0, 0, 0, 1, 4, 1 (End)

G. C. Greubel, Table of n, a(n) for the first 50 rows, flattened

Cf. A000108, A081671 (row sums), A124575, A124576, A052179, A064613, A005572.

with(linalg): m:=proc(i,j) if i=1 and j=1 then 3 elif i=j then 4 elif abs(i-j)=1 then 1 else 0 fi end: for n from 3 to 11 do A[n]:=matrix(n,n,m): B[n]:=multiply(seq(A[n],i=1..n-1)) od: 1; 3,1; for n from 3 to 11 do seq(B[n][1,j],j=1..n) od; # yields sequence in triangular form
T := (n,k) -> (-1)^(n-k)*simplify(GegenbauerC(n-k,-n+1,2)+GegenbauerC(n-k-1,-n+1,2 )): seq(print(seq(T(n,k),k=1..n)), n=1..10); # Peter Luschny, May 13 2016

M[n_] := SparseArray[{{1, 1} -> 3, Band[{2, 2}] -> 4, Band[{1, 2}] -> 1, Band[{2, 1}] -> 1}, {n, n}]; row[1] = {1}; row[n_] := MatrixPower[M[n], n-1] // First // Normal; Table[row[n], {n, 1, 10}] // Flatten (* Jean-François Alcover, Jan 09 2014 *)
T[0, 0, x_, y_] := 1; T[n_, 0, x_, y_] := x*T[n - 1, 0, x, y] + T[n - 1, 1, x, y]; T[n_, k_, x_, y_] := T[n, k, x, y] = If[k < 0 || k > n, 0, T[n - 1, k - 1, x, y] + y*T[n - 1, k, x, y] + T[n - 1, k + 1, x, y]]; Table[T[n, k, 3, 4], {n, 0, 10}, {k, 0, n}] // Flatten (* G. C. Greubel, May 22 2017 *)

Sum_{k=0..n} (-1)^(n-k)*T(n,k) = (-2)^n. - Philippe Deléham, Feb 27 2007
Sum_{k=0..n} T(n,k)*(2*k+1) = 6^n. - Philippe Deléham, Mar 27 2007
T(n,k) = (-1)^(n-k)*(GegenbauerC(n-k,-n+1,2) + GegenbauerC(n-k-1,-n+1,2)). - Peter Luschny, May 13 2016

Edited by N. J. A. Sloane, Dec 04 2006

A126331 Triangle T(n,k), 0 <= k <= n, read by rows defined by: T(0,0)=1, T(n,k)=0 if k < 0 or if k > n, T(n,0) = 4T(n-1,0) + T(n-1,1), T(n,k) = T(n-1,k-1) + 5T(n-1,k) + T(n-1,k+1) for k >= 1.

Original entry on oeis.org

1, 4, 1, 17, 9, 1, 77, 63, 14, 1, 371, 406, 134, 19, 1, 1890, 2535, 1095, 230, 24, 1, 10095, 15660, 8240, 2269, 351, 29, 1, 56040, 96635, 59129, 19936, 4053, 497, 34, 1, 320795, 598344, 412216, 162862, 40698, 6572, 668, 39, 1

Offset: 0

Philippe Deléham, Mar 10 2007

This triangle belongs to the family of triangles defined by: T(0,0)=1, T(n,k)=0 if k < 0 or if k > n, T(n,0) = x*T(n-1,0) + T(n-1,1), T(n,k) = T(n-1,k-1) + y*T(n-1,k) + T(n-1,k+1) for k >= 1. Other triangles arise from choosing different values for (x,y): (0,0) -> A053121; (0,1) -> A089942; (0,2) -> A126093; (0,3) -> A126970; (1,0)-> A061554; (1,1) -> A064189; (1,2) -> A039599; (1,3) -> A110877; (1,4) -> A124576; (2,0) -> A126075; (2,1) -> A038622; (2,2) -> A039598; (2,3) -> A124733; (2,4) -> A124575; (3,0) -> A126953; (3,1) -> A126954; (3,2) -> A111418; (3,3) -> A091965; (3,4) -> A124574; (4,3) -> A126791; (4,4) -> A052179; (4,5) -> A126331; (5,5) -> A125906. - Philippe Deléham, Sep 25 2007

7^n = (n-th row terms) dot (first n+1 odd integers). Example: 7^3 = 343 = (77, 63, 14, 1) dot (1, 3, 5, 7) = (77 + 189 + 70 + 7) = 243. - Gary W. Adamson, Jun 15 2011

			Triangle begins:
      1;
      4,     1;
     17,     9,    1;
     77,    63,   14,    1;
    371,   406,  134,   19,   1;
   1890,  2535, 1095,  230,  24,  1;
  10095, 15660, 8240, 2269, 351, 29, 1;
From _Philippe Deléham_, Nov 07 2011: (Start)
Production matrix begins:
  4, 1
  1, 5, 1
  0, 1, 5, 1
  0, 0, 1, 5, 1
  0, 0, 0, 1, 5, 1,
  0, 0, 0, 0, 1, 5, 1
  0, 0, 0, 0, 0, 1, 5, 1
  0, 0, 0, 0, 0, 0, 1, 5, 1
  0, 0, 0, 0, 0, 0, 0, 1, 5, 1 (End)

G. C. Greubel, Table of n, a(n) for the first 50 rows, flattened

T[0, 0, x_, y_] := 1; T[n_, 0, x_, y_] := x*T[n - 1, 0, x, y] + T[n - 1, 1, x, y]; T[n_, k_, x_, y_] := T[n, k, x, y] = If[k < 0 || k > n, 0,
T[n - 1, k - 1, x, y] + y*T[n - 1, k, x, y] + T[n - 1, k + 1, x, y]];
Table[T[n, k, 4, 5], {n, 0, 10}, {k, 0, n}] // Flatten (* G. C. Greubel, May 22 2017 *)

Sum_{k=0..n} T(n,k) = A098409(n).
Sum_{k>=0} T(m,k)*T(n,k) = T(m+n,0) = A104455(m+n).
Sum_{k=0..n} T(n,k)*(2*k+1) = 7^n. - Philippe Deléham, Mar 26 2007

A126791 Binomial matrix applied to A111418.

Original entry on oeis.org

1, 4, 1, 17, 7, 1, 75, 39, 10, 1, 339, 202, 70, 13, 1, 1558, 1015, 425, 110, 16, 1, 7247, 5028, 2400, 771, 159, 19, 1, 34016, 24731, 12999, 4872, 1267, 217, 22, 1, 160795, 121208, 68600, 28882, 8890, 1940, 284, 25, 1, 764388, 593019, 355890, 164136

Offset: 0

Philippe Deléham, Mar 14 2007

Triangle T(n,k), 0 <= k <= n, read by rows defined by: T(0,0)=1, T(n,k)=0 if k < 0 or if k > n, T(n,0) = 4*T(n-1,0) + T(n-1,1), T(n,k) = T(n-1,k-1) + 3*T(n-1,k) + T(n-1,k+1) for k >= 1.
This triangle belongs to the family of triangles defined by: T(0,0)=1, T(n,k)=0 if k < 0 or if k > n, T(n,0) = x*T(n-1,0) + T(n-1,1), T(n,k) = T(n-1,k-1) + y*T(n-1,k) + T(n-1,k+1) for k >= 1. Other triangles arise from choosing different values for (x,y): (0,0) -> A053121; (0,1) -> A089942; (0,2) -> A126093; (0,3) -> A126970; (1,0)-> A061554; (1,1) -> A064189; (1,2) -> A039599; (1,3) -> A110877; (1,4) -> A124576; (2,0) -> A126075; (2,1) -> A038622; (2,2) -> A039598; (2,3) -> A124733; (2,4) -> A124575; (3,0) -> A126953; (3,1) -> A126954; (3,2) -> A111418; (3,3) -> A091965; (3,4) -> A124574; (4,3) -> A126791; (4,4) -> A052179; (4,5) -> A126331; (5,5) -> A125906. - Philippe Deléham, Sep 25 2007
From R. J. Mathar, Mar 12 2013: (Start)
The matrix inverse starts
      1;
     -4,     1;
     11,    -7,     1;
    -29,    31,   -10,    1;
     76,  -115,    60,  -13,    1;
   -199,   390,  -285,   98,  -16,   1;
    521, -1254,  1185, -566,  145, -19,   1;
  -1364,  3893, -4524, 2785, -985, 201, -22, 1; ... (End)

			Triangle begins:
      1;
      4,     1;
     17,     7,     1;
     75,    39,    10,    1;
    339,   202,    70,   13,    1;
   1558,  1015,   425,  110,   16,   1;
   7247,  5028,  2400,  771,  159,  19,  1;
  34016, 24731, 12999, 4872, 1267, 217, 22, 1; ...
From _Philippe Deléham_, Nov 07 2011: (Start)
Production matrix begins:
  4, 1
  1, 3, 1
  0, 1, 3, 1
  0, 0, 1, 3, 1
  0, 0, 0, 1, 3, 1
  0, 0, 0, 0, 1, 3, 1
  0, 0, 0, 0, 0, 1, 3, 1
  0, 0, 0, 0, 0, 0, 1, 3, 1
  0, 0, 0, 0, 0, 0, 0, 1, 3, 1 (End)

G. C. Greubel, Table of n, a(n) for the first 50 rows, flattened

A126791 := proc(n,k)
    if n=0 and k = 0 then
        1 ;
    elif k <0 or k>n then
        0;
    elif k= 0 then
        4*procname(n-1,0)+procname(n-1,1) ;
    else
        procname(n-1,k-1)+3*procname(n-1,k)+procname(n-1,k+1) ;
    end if;
end proc: # R. J. Mathar, Mar 12 2013
T := (n,k) -> (-1)^(n-k)*simplify(GegenbauerC(n-k,-n+1,3/2) - GegenbauerC(n-k-1, -n+1, 3/2)): seq(seq(T(n,k),k=1..n),n=1..10); # Peter Luschny, May 13 2016

T[0, 0, x_, y_] := 1; T[n_, 0, x_, y_] := x*T[n - 1, 0, x, y] + T[n - 1, 1, x, y]; T[n_, k_, x_, y_] := T[n, k, x, y] = If[k < 0 || k > n, 0,
T[n - 1, k - 1, x, y] + y*T[n - 1, k, x, y] + T[n - 1, k + 1, x, y]];
Table[T[n, k, 4, 3], {n, 0, 10}, {k, 0, n}] // Flatten (* G. C. Greubel, May 22 2017 *)

Sum_{k>=0} T(m,k)*T(n,k) = T(m+n,0) = A026378(m+n+1).
Sum_{k=0..n} T(n,k) = 5^n = A000351(n).
T(n,k) = (-1)^(n-k)*(GegenbauerC(n-k,-n+1,3/2) - GegenbauerC(n-k-1,-n+1,3/2)). - Peter Luschny, May 13 2016
The n-th row polynomial R(n,x) equals the n-th degree Taylor polynomial of the function (1 + x )*(1 + 3*x + x^2)^n expanded about the point x = 0. - Peter Bala, Sep 06 2022

A126953 Triangle T(n,k), 0 <= k <= n, read by rows given by: T(0,0)=1, T(n,k)=0 if k < 0 or if k > n, T(n,0) = 3*T(n-1,0) + T(n-1,1), T(n,k) = T(n-1,k-1) + T(n-1,k+1) for k >= 1.

Original entry on oeis.org

1, 3, 1, 10, 3, 1, 33, 11, 3, 1, 110, 36, 12, 3, 1, 366, 122, 39, 13, 3, 1, 1220, 405, 135, 42, 14, 3, 1, 4065, 1355, 447, 149, 45, 15, 3, 1, 13550, 4512, 1504, 492, 164, 48, 16, 3, 1, 45162, 15054, 5004, 1668, 540, 180, 51, 17, 3, 1

Offset: 0

Philippe Deléham, Mar 19 2007

This triangle belongs to the family of triangles defined by: T(0,0)=1, T(n,k)=0 if k < 0 or if k > n, T(n,0) = x*T(n-1,0) + T(n-1,1), T(n,k) = T(n-1,k-1) + y*T(n-1,k) + T(n-1,k+1) for k >= 1. Other triangles arise from choosing different values for (x,y): (0,0) -> A053121; (0,1) -> A089942; (0,2) -> A126093; (0,3) -> A126970; (1,0)-> A061554; (1,1) -> A064189; (1,2) -> A039599; (1,3) -> A110877; (1,4) -> A124576; (2,0) -> A126075; (2,1) -> A038622; (2,2) -> A039598; (2,3) -> A124733; (2,4) -> A124575; (3,0) -> A126953; (3,1) -> A126954; (3,2) -> A111418; (3,3) -> A091965; (3,4) -> A124574; (4,3) -> A126791; (4,4) -> A052179; (4,5) -> A126331; (5,5) -> A125906. - Philippe Deléham, Sep 25 2007

Riordan array (2/(1-6x+sqrt(1-4*x^2)),x*c(x^2)) where c(x)= g.f. of the Catalan numbers A000108. - Philippe Deléham, Jun 01 2013

			Triangle begins:
     1;
     3,    1;
    10,    3,   1;
    33,   11,   3,   1;
   110,   36,  12,   3,  1;
   366,  122,  39,  13,  3,  1;
  1220,  405, 135,  42, 14,  3, 1;
  4065, 1355, 447, 149, 45, 15, 3, 1;

G. C. Greubel, Table of n, a(n) for the first 50 rows, flattened

T[0, 0, x_, y_] := 1; T[n_, 0, x_, y_] := x*T[n - 1, 0, x, y] + T[n - 1, 1, x, y]; T[n_, k_, x_, y_] := T[n, k, x, y] = If[k < 0 || k > n, 0, T[n - 1, k - 1, x, y] + y*T[n - 1, k, x, y] + T[n - 1, k + 1, x, y]];
Table[T[n, k, 3, 0], {n, 0, 10}, {k, 0, n}] // Flatten (* G. C. Greubel, Apr 21 2017 *)

Sum_{k=0..n} T(n,k) = A127359(n).
Sum_{k>=0} T(m,k)*T(n,k) = T(m+n,0) = A126931(m+n).
Sum_{k=0..n} T(n,k)*(-2*k+1) = 2^n. - Philippe Deléham, Mar 25 2007

A035324 A convolution triangle of numbers, generalizing Pascal's triangle A007318.

Original entry on oeis.org

1, 3, 1, 10, 6, 1, 35, 29, 9, 1, 126, 130, 57, 12, 1, 462, 562, 312, 94, 15, 1, 1716, 2380, 1578, 608, 140, 18, 1, 6435, 9949, 7599, 3525, 1045, 195, 21, 1, 24310, 41226, 35401, 19044, 6835, 1650, 259, 24, 1, 92378, 169766, 161052, 97954, 40963, 12021, 2450

Offset: 1

Wolfdieter Lang

Replacing each '2' in the recurrence by '1' produces Pascal's triangle A007318(n-1,m-1). The columns appear as A001700, A008549, A045720, A045894, A035330, ...
Triangle T(n,k), 1 <= k <= n, given by (0, 3/1, 1/3, 5/3, 3/5, 7/5, 5/7, 9/7, 7/9, 11/9, 9/11, ...) DELTA (1, 0, 0, 0, 0, 0, 0, 0, 0, ...) where DELTA is the operator defined in A084938. - Philippe Deléham, Jan 28 2012
Riordan array (1, c(x)/sqrt(1-4x)) where c(x) = g.f. for Catalan numbers A000108, first column (k = 0) omitted. - Philippe Deléham, Jan 28 2012

			Triangle begins:
    1;
    3,   1;
   10,   6,   1;
   35,  29,   9,   1;
  126, 130,  57,  12,   1;
  462, 562, 312,  94,  15,   1;
Triangle (0, 3, 1/3, 5/3, 3/5, ...) DELTA (1,0,0,0,0,0, ...) has an additional first column (1,0,0,...).

Reinhard Zumkeller, Rows n = 1..120 of triangle, flattened
Milan Janjić, Pascal Matrices and Restricted Words, J. Int. Seq., Vol. 21 (2018), Article 18.5.2.
Wolfdieter Lang, On generalizations of Stirling number triangles, J. Integer Seqs., Vol. 3 (2000), #00.2.4.
Wolfdieter Lang, First 10 rows.

Cf. A000108, A007318, A039598.
Row sums: A049027(n), n >= 1.
Alternating row sums give A000108 (Catalan numbers).
If offset 0 (n >= m >= 0): convolution triangle based on A001700 (central binomial coeffs. of odd order).

a035324 n k = a035324_tabl !! (n-1) !! (k-1)
a035324_row n = a035324_tabl !! (n-1)
a035324_tabl = map snd $ iterate f (1, [1]) where
   f (i, xs)  = (i + 1, map (`div` (i + 1)) $
      zipWith (+) ((map (* 2) $ zipWith (*) [2 * i + 1 ..] xs) ++ [0])
                  ([0] ++ zipWith (*) [2 ..] xs))
-- Reinhard Zumkeller, Jun 30 2013

a[n_, m_] /; n >= m >= 1 := a[n, m] = 2*(2*(n-1) + m)*(a[n-1, m]/n) + m*(a[n-1, m-1]/n); a[n_, m_] /; n < m = 0; a[n_, 0] = 0; a[1, 1] = 1; Flatten[ Table[ a[n, m], {n, 1, 10}, {m, 1, n}]] (* Jean-François Alcover, Feb 21 2012, from first formula *)

@cached_function
def T(n, k):
    if n == 0: return n^k
    return sum(binomial(2*i-1, i)*T(n-1, k-i) for i in (1..k-n+1))
A035324 = lambda n,k: T(k, n)
for n in (1..8): print([A035324(n, k) for k in (1..n)]) # Peter Luschny, Aug 16 2016

a(n+1, m) = 2*(2*n+m)*a(n, m)/(n+1) + m*a(n, m-1)/(n+1), n >= m >= 1; a(n, m) := 0, n

G.f. for column m: ((x*c(x)/sqrt(1-4*x))^m)/x, where c(x) = g.f. for Catalan numbers A000108.

a(n, m) =: s2(3; n, m).

With offset 0 (0 <= k <= n), T(n,k) = Sum_{j>=0} A039598(n,j)*binomial(j,k). - Philippe Deléham, Mar 30 2007

T(n+1,n) = 3*n = A008585(n).

T(n,k) = T(n-1,k-1) + 3*T(n-1,k) + Sum_{i>=0} T(n-1,k+1+i)*(-1)^i. - Philippe Deléham, Feb 23 2012

T(n,m) = Sum_{k=m..n} k*binomial(k-1,k-m)*2^(k-m)*binomial(2*n-k-1,n-k)/n. - Vladimir Kruchinin, Aug 07 2013

Previous Showing 31-40 of 67 results. Next

cp's OEIS Frontend

A126954 Triangle T(n,k), 0 <= k <= n, read by rows given by: T(0,0)=1, T(n,k)=0 if k < 0 or if k > n, T(n,0) = 3*T(n-1,0) + T(n-1,1), T(n,k) = T(n-1,k-1) + T(n-1,k) + T(n-1,k+1) for k >= 1.

Views

Author

Keywords

Comments

Examples

Links

Programs

Mathematica

Formula

A028364 Triangle T(n,m) = Sum_{k=0..m} Catalan(n-k)*Catalan(k).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Formula

A124733 Triangle read by rows: row n is the first row of the matrix M[n]^(n-1), where M[n] is the n X n tridiagonal matrix with main diagonal (2,3,3,...) and super- and subdiagonals (1,1,1,...).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Formula

Extensions

A124576 Triangle read by rows: row n is the first row of the matrix M[n]^(n-1), where M[n] is the n X n tridiagonal matrix with main diagonal (1,4,4,...) and super- and subdiagonals (1,1,1,...).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Formula

Extensions

A126970 Triangle T(n,k), 0 <= k <= n, read by rows given by: T(0,0)=1, T(n,k)=0 if k < 0 or if k > n, T(n,0) = T(n-1,1), T(n,k) = T(n-1,k-1) + 3*T(n-1,k) + T(n-1,k+1) for k >= 1.

Views

Author

Keywords

Comments

Examples

Links

Programs

Mathematica

Formula

A124574 Triangle read by rows: row n is the first row of the matrix M[n]^(n-1), where M[n] is the n X n tridiagonal matrix with main diagonal (3,4,4,...) and super- and subdiagonals (1,1,1,...).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Formula

Extensions

A126331 Triangle T(n,k), 0 <= k <= n, read by rows defined by: T(0,0)=1, T(n,k)=0 if k < 0 or if k > n, T(n,0) = 4*T(n-1,0) + T(n-1,1), T(n,k) = T(n-1,k-1) + 5*T(n-1,k) + T(n-1,k+1) for k >= 1.

Views

Author

Keywords

Comments

Examples

Links

Programs

A126331 Triangle T(n,k), 0 <= k <= n, read by rows defined by: T(0,0)=1, T(n,k)=0 if k < 0 or if k > n, T(n,0) = 4T(n-1,0) + T(n-1,1), T(n,k) = T(n-1,k-1) + 5T(n-1,k) + T(n-1,k+1) for k >= 1.