A126970 -id:A126970 - cp's OEIS frontend

A126791 Binomial matrix applied to A111418.

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

A117641 Number of 3-Motzkin paths of length n with no level steps at height 0.

Original entry on oeis.org

1, 0, 1, 3, 11, 42, 167, 684, 2867, 12240, 53043, 232731, 1031829, 4615542, 20805081, 94410363, 430945739, 1977366192, 9115261211, 42195093993, 196060049129, 914110333422, 4275222950221, 20051858039718, 94294269673861

Offset: 0

Louis Shapiro, Apr 10 2006

Hankel transform of this sequence forms A000012 = [1,1,1,1,1,...]. - Philippe Deléham, Oct 24 2007

			The a(4) = 11 paths are UUDD, UDUD and 9 of the form UXYD where each of X and Y are level steps in any of three colors.

Vincenzo Librandi, Table of n, a(n) for n = 0..200
Isaac DeJager, Madeleine Naquin, Frank Seidl, Colored Motzkin Paths of Higher Order, VERUM 2019.
L. W. Shapiro, C. J. Wang, A bijection between 3-Motzkin paths and Schroder paths with no peak at odd height, JIS 12 (2009) 09.3.2.

Cf. A000957, A001006, A002212, A005043, A097331, A000108.

R:=PowerSeriesRing(Rationals(), 30); Coefficients(R!( (1+3*x-Sqrt(1-6*x+5*x^2))/(2*x*(3+x)) )); // G. C. Greubel, Apr 04 2019

CoefficientList[ Series[(1 + 3x - Sqrt[1 - 6x + 5x^2])/(2x^2 + 6x), {x, 0, 25}], x] (* Robert G. Wilson v *)

a(n):=sum(3^(n-2*j)*binomial(n+1,j)*binomial(n-j-1,n-2*j),j,0,floor(n/2))/(n+1); /*  Vladimir Kruchinin, Apr 04 2019 */

my(x='x+O('x^30)); Vec( (1+3*x-sqrt(1-6*x+5*x^2))/(2*x*(3+x)) ) \\ G. C. Greubel, Apr 04 2019

((1+3*x-sqrt(1-6*x+5*x^2))/(2*x*(3+x))).series(x, 30).coefficients(x, sparse=False) # G. C. Greubel, Apr 04 2019

G.f.: (1 +3*x -sqrt(1 -6*x +5*x^2))/(2*x*(3+x)).
G.f. as continued fraction is 1/(1-0*x-x^2/(1-3*x-x^2/(1-3*x-x^2/(1-3*x-x^2/(.....))))). - Paul Barry, Dec 02 2008
a(n) = A126970(n,0). - Philippe Deléham, Nov 24 2009
a(n) = Sum_{k=0..n} A091965(n,k)*(-3)^k. - Philippe Deléham, Nov 28 2009
a(n) = Sum_{k=1..n} Sum_{j=0..floor((n-2*k)/2)} 3^(n-2*k-2*j)*(k/(k+2*j))*binomial(k+2*j,j)*binomial(n-k-1,n-2*k-2*j). - José Luis Ramírez Ramírez, Mar 22 2012
D-finite with recurrence: 3*(n+1)*a(n) +(-17*n+10)*a(n-1) +9*(n-3)*a(n-2) +5*(n-2)*a(n-3)=0. - R. J. Mathar, Dec 02 2012
a(n) ~ 5^(n+3/2) / (32 * sqrt(Pi) * n^(3/2)). - Vaclav Kotesovec, Feb 13 2014
a(n) = 1/(n+1)*Sum_{j=0..floor(n/2)} 3^(n-2*j)*C(n+1,j)*C(n-j-1,n-2*j). - Vladimir Kruchinin, Apr 04 2019

A171368 Another version of A126216.

Original entry on oeis.org

1, 0, 0, 1, 0, 0, 0, 1, 0, 0, 2, 0, 1, 0, 0, 0, 5, 0, 1, 0, 0, 5, 0, 9, 0, 1, 0, 0, 0, 21, 0, 14, 0, 1, 0, 0, 14, 0, 56, 0, 20, 0, 1, 0, 0, 0, 84, 0, 120, 0, 27, 0, 1, 0, 0, 42, 0, 300, 0, 225, 0, 35, 0, 1, 0, 0, 0, 330, 0, 825, 0, 385, 0, 44, 0, 1, 0, 0

Offset: 0

Philippe Deléham, Dec 06 2009

Expansion of the first column of the triangle T_(0,x), T_(x,y) defined in A039599; T_(0,0)= A053121, T_(0,1)= A089942, T_(0,2)= A126093, T_(0,3)= A126970.

T(n,k) is the number of Riordan paths of length n with k horizontal steps. A Riordan path is a Motzkin path with no horizontal steps on the x-axis. - Emanuele Munarini, Oct 14 2023

			Triangle begins:
  1 ;
  0,0 ;
  1,0,0 ;
  0,1,0,0 ;
  2,0,1,0,0 ;
  0,5,0,1,0,0 ;
  5,0,9,0,1,0,0 ;
  ...

Cf. A000108, A001003,

Sum_{k, 0<=k<=n} T(n,k)*x^k = A099323(n+1), A126120(n), A005043(n), A000957(n+1), A117641(n) for x = -1, 0, 1, 2, 3 respectively.

A128973 Triangle formed by reading A038622 mod 2 .

Original entry on oeis.org

1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 1, 0, 0, 1

Offset: 0

Philippe Deléham, Apr 28 2007

Also triangle formed by reading triangles A089942, A124733, A126331, A126791, A126970 modulo 2 .

			Triangle begins:
1;
0, 1;
1, 1, 1;
1, 1, 0, 1;
1, 0, 0, 1, 1;
0, 1, 1, 0, 0, 1;
1, 0, 0, 1, 1, 1, 1;
0, 1, 1, 0, 1, 1, 0, 1;
1, 0, 0, 0, 0, 0, 0, 1, 1;

T(n,0)=A035263(n). Sum_{k, 0<=k<=n}T(n,k)*(-1)^k = (-1)^n .

cp's OEIS Frontend

A126791 Binomial matrix applied to A111418.

Views

Author

Keywords

Comments

Examples

Links

Programs

Maple

Mathematica

Formula

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.

Views

Author

Keywords

Comments

Examples

Links

Programs

Mathematica

Formula

A117641 Number of 3-Motzkin paths of length n with no level steps at height 0.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Mathematica

Maxima

PARI

Sage

Formula

A171368 Another version of A126216.

Views

Author

Keywords

Comments

Examples

Crossrefs

Formula

A128973 Triangle formed by reading A038622 mod 2 .

Views

Author

Keywords

Comments

Examples

Formula