login
This site is supported by donations to The OEIS Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A085478 Triangle read by rows: T(n, k) = binomial(n + k, 2*k). 58
1, 1, 1, 1, 3, 1, 1, 6, 5, 1, 1, 10, 15, 7, 1, 1, 15, 35, 28, 9, 1, 1, 21, 70, 84, 45, 11, 1, 1, 28, 126, 210, 165, 66, 13, 1, 1, 36, 210, 462, 495, 286, 91, 15, 1, 1, 45, 330, 924, 1287, 1001, 455, 120, 17, 1, 1, 55, 495, 1716, 3003, 3003, 1820, 680, 153, 19, 1, 1, 66, 715 (list; table; graph; refs; listen; history; text; internal format)
OFFSET

0,5

COMMENTS

Coefficient array for Morgan-Voyce polynomial b(n,x). A053122 (unsigned) is the coefficient array for B(n,x). Reversal of A054142. - Paul Barry, Jan 19 2004

This triangle is formed from even-numbered rows of triangle A011973 read in reverse order. - Philippe Deléham, Feb 16 2004

T(n,k) is the number of nondecreasing Dyck paths of semilength n+1, having k+1 peaks. T(n,k) is the number of nondecreasing Dyck paths of semilength n+1, having k peaks at height >=2. T(n,k) is the number of directed column-convex polyominoes of area n+1, having k+1 columns. - Emeric Deutsch, May 31 2004

Riordan array (1/(1-x),x/(1-x)^2). - Paul Barry, May 09 2005

The triangular matrix a(n,k) = (-1)^(n+k)*T(n,k) is the matrix inverse of A039599. - Philippe Deléham, May 26 2005

The n-th row gives absolute values of coefficients of reciprocal of g.f. of bottom-line of n-wave sequence. - Floor van Lamoen (fvlamoen(AT)planet.nl), Sep 24 2006

Unsigned version of A129818 . - Philippe Deléham, Oct 25 2007

T(n, k) is also the number of idempotent order-preserving full transformations (of an n-chain) of height k >=1 (height(alpha) = |Im(alpha)|) and of waist n (waist(alpha) = max(Im(alpha))). - Abdullahi Umar, Oct 02 2008

A085478 is jointly generated with A078812 as a triangular array of coefficients of polynomials u(n,x): initially, u(1,x) = v(1,x) = 1; for n>1, u(n,x) = u(n-1,x)+x*v(n-1)x and v(n,x) = u(n-1,x)+(x+1)*v(n-1,x). See the Mathematica section. - Clark Kimberling, Feb 25 2012

Per Kimberling's recursion relations, see A102426. - Tom Copeland, Jan 19 2016

Subtriangle of the triangle given by (0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, ...) DELTA (1, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, ...) where DELTA is the operator defined in A084938. - Philippe Deléham, Mar 26 2012

T(n,k) is also the number of compositions (ordered partitions) of 2*n+1 into 2*k+1 parts which are all odd. Proof: The o.g.f. of column k, x^k/(1-x)^(2*k+1) for k>=0, is the o.g.f. of the odd indexed members of the sequence with o.g.f. (x/(1-x^2))^(2*k+1) (bisection, odd part). Thus  T(n,k) is obtained from the sum of the multinomial numbers A048996 for the partitions of 2*n+1 into 2*k+1 parts, all of which are odd. E.g., T(3,1) = 3 + 3 from the numbers for the partitions [1,1,5] and [1,3,3], namely 3!/(2!*1!) and 3!/(1!*2!), respectively. The number triangle with the number of these partitions as entries is A152157. - Wolfdieter Lang, Jul 09 2012

The matrix elements of the inverse are T^(-1)(n,k) = (-1)^(n+k)*A039599(n,k). - R. J. Mathar, Mar 12 2013

T(n,k) = A258993(n+1,k) for k = 0..n-1. - Reinhard Zumkeller, Jun 22 2015

LINKS

Reinhard Zumkeller, Rows n = 0..125 of triangle, flattened

J.P. Allouche and M. Mendes France, Stern-Brocot polynomials and power series, arXiv preprint arXiv:1202.0211 [math.NT], 2012. - N. J. A. Sloane, May 10 2012

E. Barcucci, A. Del Lungo, S. Fezzi and R. Pinzani, Nondecreasing Dyck paths and q-Fibonacci numbers, Discrete Math., 170, 1997, 211-217.

Paul Barry, A Catalan Transform and Related Transformations on Integer Sequences, J. Integer Sequ., Vol. 8 (2005), Article 05.4.5.

P. Barry, Symmetric Third-Order Recurring Sequences, Chebyshev Polynomials, and Riordan Arrays, JIS 12 (2009) 09.8.6

P. Barry, A. Hennessey, Notes on a Family of Riordan Arrays and Associated Integer Hankel Transforms , JIS 12 (2009) 09.5.3

E. Deutsch and H. Prodinger, A bijection between directed column-convex polyominoes and ordered trees of height at most three, Theoretical Comp. Science, 307, 2003, 319-325.

A. Laradji, and A. Umar, Combinatorial results for semigroups of order-preserving full transformations, Semigroup Forum 72 (2006), 51-62. - Abdullahi Umar, Oct 02 2008

Donatella Merlini and Renzo Sprugnoli, Arithmetic into geometric progressions through Riordan arrays, Discrete Mathematics 340.2 (2017): 160-174.

Yidong Sun, Numerical Triangles and Several Classical Sequences, Fib. Quart. 43, no. 4, (2005) 359-370.

Eric Weisstein's World of Mathematics, Morgan-Voyce Polynomials

FORMULA

T(n, k) = (n+k)!/((n-k)!*(2*k)!).

G.f.: (1-z)/((1-z)^2-tz). - Emeric Deutsch, May 31 2004

Row sums are A001519 (Fib(2n+1)). Diagonal sums are A011782. Binomial transform of A026729 (product of lower triangular matrices). - Paul Barry, Jun 21 2004

T(n, 0) = 1, T(n, k) = 0 if n<k; T(n, k) = Sum_{j>=0} T(n-1-j, k-1)*(j+1) . T(0, 0) = 1, T(0, k) = 0 if k>0; T(n, k) = T(n-1, k-1) + T(n-1, k) + Sum_{j>=0} (-1)^j*T(n-1, k+j)*A000108(j) . For the column k, g.f.: Sum_{n>=0} T(n, k)*x^n = (x^k) / (1-x)^(2*k+1). - Philippe Deléham, Feb 15 2004

Sum_{k, 0<=k<=n} T(n,k)*x^(2*k) = A000012(n), A001519(n+1), A001653(n), A078922(n+1), A007805(n), A097835(n), A097315(n), A097838(n), A078988(n), A097841(n), A097727(n), A097843(n), A097730(n), A098244(n), A097733(n), A098247(n), A097736(n), A098250(n), A097739(n), A098253(n), A097742(n), A098256(n), A097767(n), A098259(n), A097770(n), A098262(n), A097773(n), A098292(n), A097776(n) for x=0,1,2,...27,28 respectively . - Philippe Deléham, Dec 31 2007

T(2*n,n) = A005809(n). - Philippe Deléham, Sep 17 2009

A183160(n) = Sum_{k=0..n} T(n,k)*T(n,n-k). - Paul D. Hanna, Dec 27 2010

T(n,k) = 2*T(n-1,k) + T(n-1,k-1) - T(n-2,k). - Philippe Deléham, Feb 06 2012

O.g.f. for column k: x^k/(1-x)^(2*k+1), k>=0. See the o.g.f. of the triangle above, and a comment on compositions. - Wolfdieter Lang, Jul 09 2012]

E.g.f.: (2/sqrt(x + 4))*sinh(1/2*t*sqrt(x + 4))*cosh(1/2*t*sqrt(x)) = t + (1 + x)*t^3/3! + (1 + 3*x + x^2)*t^5/5! + (1 + 6*x + 5*x^2 + x^3)*t^7/7! + .... Cf. A091042. - Peter Bala, Jul 29 2013

T(n, k) = A065941(n+3*k, 4*k) = A108299(n+3*k, 4*k) = A194005(n+3*k, 4*k). - Johannes W. Meijer, Sep 05 2013

Sum_{k=0..n} (-1)^k*T(n,k)*A000108(k) = A000007(n) for n >= 0. - Werner Schulte, Jul 12 2017

Sum_{k=0..floor(n/2)} T(n-k,k)*A000108(k) = A001006(n) for n >= 0. - Werner Schulte, Jul 12 2017

EXAMPLE

1

1    1

1    3    1

1    6    5    1

1   10   15    7    1

1   15   35   28    9    1

1   21   70   84   45   11    1

1   28  126  210  165   66   13    1

1   36  210  462  495  286   91   15    1

1   45  330  924 1287 1001  455  120   17    1

1   55  495 1716 3003 3003 1820  680  153   19    1

From Philippe Deléham, Mar 26 2012: (Start)

(0, 1, 0, 1, 0, 0, 0, ...) DELTA (1, 0, 1, -1, 0, 0, 0, ...) begins:

  1

  0, 1

  0, 1,  1

  0, 1,  3,   1

  0, 1,  6,   5,   1

  0, 1, 10,  15,   7,   1

  0, 1, 15,  35,  28,   9,  1

  0, 1, 21,  70,  84,  45, 11,  1

  0, 1, 28, 126, 210, 165, 66, 13, 1. (End)

MAPLE

T := (n, k) -> binomial(n+k, 2*k): seq(seq(T(n, k), k=0..n), n=0..11);

MATHEMATICA

u[1, x_] := 1; v[1, x_] := 1; z = 13;

u[n_, x_] := u[n - 1, x] + x*v[n - 1, x];

v[n_, x_] := u[n - 1, x] + (x + 1)*v[n - 1, x];

Table[Expand[u[n, x]], {n, 1, z/2}]

Table[Expand[v[n, x]], {n, 1, z/2}]

cu = Table[CoefficientList[u[n, x], x], {n, 1, z}];

TableForm[cu]

Flatten[%]   (* A085478 *)

Table[Expand[v[n, x]], {n, 1, z}]

cv = Table[CoefficientList[v[n, x], x], {n, 1, z}];

TableForm[cv]

Flatten[%]   (* A078812 *)

(*Clark Kimberling, Feb 25 2012 *)

PROG

(PARI) T(n, k) = binomial(n+k, n-k)

(Haskell)

a085478 n k = a085478_tabl !! n !! k

a085478_row n = a085478_tabl !! n

a085478_tabl = zipWith (zipWith a007318) a051162_tabl a025581_tabl

-- Reinhard Zumkeller, Jun 22 2015

CROSSREFS

Row sums: A001519.

Cf. A000108, A001006, A007318, A098158, A183160, A078812, A091042.

Cf. A258993, A025581, A051162.

Sequence in context: A121524 A103141 A129818 * A123970 A055898 A145904

Adjacent sequences:  A085475 A085476 A085477 * A085479 A085480 A085481

KEYWORD

nonn,tabl,easy

AUTHOR

Philippe Deléham, Aug 14 2003

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent | More pages
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy .

Last modified February 21 21:41 EST 2018. Contains 299427 sequences. (Running on oeis4.)