cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-8 of 8 results.

A357136 Triangle read by rows where T(n,k) is the number of integer compositions of n with alternating sum k = 0..n. Part of the full triangle A097805.

Original entry on oeis.org

1, 0, 1, 1, 0, 1, 0, 2, 0, 1, 3, 0, 3, 0, 1, 0, 6, 0, 4, 0, 1, 10, 0, 10, 0, 5, 0, 1, 0, 20, 0, 15, 0, 6, 0, 1, 35, 0, 35, 0, 21, 0, 7, 0, 1, 0, 70, 0, 56, 0, 28, 0, 8, 0, 1, 126, 0, 126, 0, 84, 0, 36, 0, 9, 0, 1, 0, 252, 0, 210, 0, 120, 0, 45, 0, 10, 0, 1
Offset: 0

Views

Author

Gus Wiseman, Sep 30 2022

Keywords

Comments

A composition of n is a finite sequence of positive integers summing to n.
The alternating sum of a sequence (y_1,...,y_k) is Sum_i (-1)^(i-1) y_i.

Examples

			Triangle begins:
    1
    0   1
    1   0   1
    0   2   0   1
    3   0   3   0   1
    0   6   0   4   0   1
   10   0  10   0   5   0   1
    0  20   0  15   0   6   0   1
   35   0  35   0  21   0   7   0   1
    0  70   0  56   0  28   0   8   0   1
  126   0 126   0  84   0  36   0   9   0   1
    0 252   0 210   0 120   0  45   0  10   0   1
  462   0 462   0 330   0 165   0  55   0  11   0   1
    0 924   0 792   0 495   0 220   0  66   0  12   0   1
For example, row n = 5 counts the following compositions:
  .  (32)     .  (41)   .  (5)
     (122)       (113)
     (221)       (212)
     (1121)      (311)
     (2111)
     (11111)
		

Crossrefs

The full triangle counting compositions by alternating sum is A097805.
The version for partitions is A103919, full triangle A344651.
This is the right-half of even-indexed rows of A260492.
The triangle without top row and left column is A108044.
Ranking and counting compositions:
- product = sum: A335404, counted by A335405.
- sum = twice alternating sum: A348614, counted by A262977.
- length = alternating sum: A357184, counted by A357182.
- length = absolute value of alternating sum: A357185, counted by A357183.
A003242 counts anti-run compositions, ranked by A333489.
A011782 counts compositions.
A025047 counts alternating compositions, ranked by A345167.
A032020 counts strict compositions, ranked by A233564.
A124754 gives alternating sums of standard compositions.
A238279 counts compositions by sum and number of maximal runs.

Programs

  • Mathematica
    Prepend[Table[If[EvenQ[nn],Prepend[#,0],#]&[Riffle[Table[Binomial[nn,k],{k,Floor[nn/2],nn}],0]],{nn,0,10}],{1}]

A055248 Triangle of partial row sums of triangle A007318(n,m) (Pascal's triangle). Triangle A008949 read backwards. Riordan (1/(1-2x), x/(1-x)).

Original entry on oeis.org

1, 2, 1, 4, 3, 1, 8, 7, 4, 1, 16, 15, 11, 5, 1, 32, 31, 26, 16, 6, 1, 64, 63, 57, 42, 22, 7, 1, 128, 127, 120, 99, 64, 29, 8, 1, 256, 255, 247, 219, 163, 93, 37, 9, 1, 512, 511, 502, 466, 382, 256, 130, 46, 10, 1, 1024, 1023, 1013, 968, 848, 638, 386, 176, 56, 11, 1
Offset: 0

Views

Author

Wolfdieter Lang, May 26 2000

Keywords

Comments

In the language of the Shapiro et al. reference (also 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/((1-2*z)*(1-x*z/(1-z))).
Binomial transform of the all 1's triangle: as a Riordan array, it factors to give (1/(1-x),x/(1-x))(1/(1-x),x). Viewed as a number square read by antidiagonals, it has T(n,k) = Sum_{j=0..n} binomial(n+k,n-j) and is then the binomial transform of the Whitney square A004070. - Paul Barry, Feb 03 2005
Riordan array (1/(1-2x), x/(1-x)). Antidiagonal sums are A027934(n+1), n >= 0. - Paul Barry, Jan 30 2005; edited by Wolfdieter Lang, Jan 09 2015
Eigensequence of the triangle = A005493: (1, 3, 10, 37, 151, 674, ...); row sums of triangles A011971 and A159573. - Gary W. Adamson, Apr 16 2009
Read as a square array, this is the generalized Riordan array ( 1/(1 - 2*x), 1/(1 - x) ) as defined in the Bala link (p. 5), which factorizes as ( 1/(1 - x), x/(1 - x) )*( 1/(1 - x), x )*( 1, 1 + x ) = P*U*transpose(P), where P denotes Pascal's triangle, A007318, and U is the lower unit triangular array with 1's on or below the main diagonal. - Peter Bala, Jan 13 2016

Examples

			The triangle a(n,m) begins:
n\m    0    1    2   3   4   5   6   7  8  9 10 ...
0:     1
1:     2    1
2:     4    3    1
3:     8    7    4   1
4:    16   15   11   5   1
5:    32   31   26  16   6   1
6:    64   63   57  42  22   7   1
7:   128  127  120  99  64  29   8   1
8:   256  255  247 219 163  93  37   9  1
9:   512  511  502 466 382 256 130  46 10  1
10: 1024 1023 1013 968 848 638 386 176 56 11  1
... Reformatted. - _Wolfdieter Lang_, Jan 09 2015
Fourth row polynomial (n=3): p(3,x)= 8 + 7*x + 4*x^2 + x^3.
The matrix inverse starts
   1;
  -2,   1;
   2,  -3,   1;
  -2,   5,  -4,    1;
   2,  -7,   9,   -5,    1;
  -2,   9, -16,   14,   -6,    1;
   2, -11,  25,-  30,   20,   -7,    1;
  -2,  13, -36,   55,  -50,   27,   -8,    1;
   2, -15,  49,  -91,  105,  -77,   35,   -9,  1;
  -2,  17, -64,  140, -196,  182, -112,   44, -10,   1;
   2, -19,  81, -204,  336, -378,  294, -156,  54, -11, 1;
   ...
which may be related to A029653. - _R. J. Mathar_, Mar 29 2013
From _Peter Bala_, Dec 23 2014: (Start)
With the array M(k) as defined in the Formula section, the infinite product M(0)*M(1)*M(2)*... begins
/1      \ /1        \ /1       \       /1       \
|2 1     ||0 1       ||0 1      |      |2  1     |
|4 3 1   ||0 2 1     ||0 0 1    |... = |4  5 1   |
|8 7 4 1 ||0 4 3 1   ||0 0 2 1  |      |8 19 9 1 |
|...     ||0 8 7 4 1 ||0 0 4 3 1|      |...      |
|...     ||...       ||...      |      |         |
= A143494. (End)
Matrix factorization of square array as P*U*transpose(P):
/1      \ /1        \ /1 1 1 1 ...\    /1  1  1  1 ...\
|1 1     ||1 1       ||0 1 2 3 ... |   |2  3  4  5 ... |
|1 2 1   ||1 1 1     ||0 0 1 3 ... | = |4  7 11 16 ... |
|1 3 3 1 ||1 1 1 1   ||0 0 0 1 ... |   |8 15 26 42 ... |
|...     ||...       ||...         |   |...            |
- _Peter Bala_, Jan 13 2016
		

Crossrefs

Column sequences: A000079 (powers of 2, m=0), A000225 (m=1), A000295 (m=2), A002662 (m=3), A002663 (m=4), A002664 (m=5), A035038 (m=6), A035039 (m=7), A035040 (m=8), A035041 (m=9), A035042 (m=10).
Row sums: A001792(n) = A055249(n, 0).
Alternating row sums: A011782.
Cf. A011971, A159573. - Gary W. Adamson, Apr 16 2009

Programs

  • Haskell
    a055248 n k = a055248_tabl !! n !! k
    a055248_row n = a055248_tabl !! n
    a055248_tabl = map reverse a008949_tabl
    -- Reinhard Zumkeller, Jun 20 2015
  • Maple
    T := (n,k) -> 2^n - (1/2)*binomial(n, k-1)*hypergeom([1, n + 1], [n-k + 2], 1/2).
    seq(seq(simplify(T(n,k)), k=0..n),n=0..10); # Peter Luschny, Oct 10 2019
  • Mathematica
    a[n_, m_] := Sum[ Binomial[n, m + j], {j, 0, n}]; Table[a[n, m], {n, 0, 10}, {m, 0, n}] // Flatten (* Jean-François Alcover, Jul 05 2013, after Paul Barry *)
    T[n_, k_] := Binomial[n, k] * Hypergeometric2F1[1, k - n, k + 1, -1];
    Flatten[Table[T[n, k], {n, 0, 7}, {k, 0, n}]]  (* Peter Luschny, Oct 06 2023 *)

Formula

a(n, m) = A008949(n, n-m), if n > m >= 0.
a(n, m) = Sum_{k=m..n} A007318(n, k) (partial row sums in columns m).
Column m recursion: a(n, m) = Sum_{j=m..n-1} a(j, m) + A007318(n, m) if n >= m >= 0, a(n, m) := 0 if n
G.f. for column m: (1/(1-2*x))*(x/(1-x))^m, m >= 0.
a(n, m) = Sum_{j=0..n} binomial(n, m+j). - Paul Barry, Feb 03 2005
Inverse binomial transform (by columns) of A112626. - Ross La Haye, Dec 31 2006
T(2n,n) = A032443(n). - Philippe Deléham, Sep 16 2009
From Peter Bala, Dec 23 2014: (Start)
Exp(x) * e.g.f. for row n = e.g.f. for diagonal n. For example, for n = 3 we have exp(x)*(8 + 7*x + 4*x^2/2! + x^3/3!) = 8 + 15*x + 26*x^2/2! + 42*x^3/3! + 64*x^4/4! + .... The same property holds more generally for Riordan arrays of the form ( f(x), x/(1 - x) ).
Let M denote the present triangle. For k = 0,1,2,... define M(k) to be the lower unit triangular block array
/I_k 0\
\ 0 M/ having the k X k identity matrix I_k as the upper left block; in particular, M(0) = M. The infinite product M(0)*M(1)*M(2)*..., which is clearly well-defined, is equal to A143494 (but with a different offset). See the Example section. Cf. A106516. (End)
a(n,m) = Sum_{p=m..n} 2^(n-p)*binomial(p-1,m-1), n >= m >= 0, else 0. - Wolfdieter Lang, Jan 09 2015
T(n, k) = 2^n - (1/2)*binomial(n, k-1)*hypergeom([1, n+1], [n-k+2], 1/2). - Peter Luschny, Oct 10 2019
T(n, k) = binomial(n, k)*hypergeom([1, k - n], [k + 1], -1). - Peter Luschny, Oct 06 2023
n-th row polynomial R(n, x) = (2^n - x*(1 + x)^n)/(1 - x). These polynomials can be used to find series acceleration formulas for the constants log(2) and Pi. - Peter Bala, Mar 03 2025

A092392 Triangle read by rows: T(n,k) = C(2*n - k,n), 0 <= k <= n.

Original entry on oeis.org

1, 2, 1, 6, 3, 1, 20, 10, 4, 1, 70, 35, 15, 5, 1, 252, 126, 56, 21, 6, 1, 924, 462, 210, 84, 28, 7, 1, 3432, 1716, 792, 330, 120, 36, 8, 1, 12870, 6435, 3003, 1287, 495, 165, 45, 9, 1, 48620, 24310, 11440, 5005, 2002, 715, 220, 55, 10, 1, 184756, 92378, 43758, 19448, 8008, 3003, 1001, 286, 66, 11, 1
Offset: 0

Author

Ralf Stephan, Mar 21 2004

Keywords

Comments

First column is C(2*n,n) or A000984. Central coefficients are C(3*n,n) or A005809. - Paul Barry, Oct 14 2009
T(n,k) = A046899(n,n-k), k = 0..n-1. - Reinhard Zumkeller, Jul 27 2012
From Peter Bala, Nov 03 2015: (Start)
Viewed as the square array [binomial (2*n + k, n + k)]n,k>=0 this is the generalized Riordan array ( 1/sqrt(1 - 4*x),c(x) ) in the sense of the Bala link, where c(x) is the o.g.f. for A000108.
The square array factorizes as ( 1/(2 - c(x)),x*c(x) ) * ( 1/(1 - x),1/(1 - x) ), which equals the matrix product of A100100 with the square Pascal matrix [binomial (n + k,k)]n,k>=0. See the example below. (End)

Examples

			From _Paul Barry_, Oct 14 2009: (Start)
Triangle begins
  1,
  2, 1,
  6, 3, 1,
  20, 10, 4, 1,
  70, 35, 15, 5, 1,
  252, 126, 56, 21, 6, 1,
  924, 462, 210, 84, 28, 7, 1,
  3432, 1716, 792, 330, 120, 36, 8, 1
Production array is
  2, 1,
  2, 1, 1,
  2, 1, 1, 1,
  2, 1, 1, 1, 1,
  2, 1, 1, 1, 1, 1,
  2, 1, 1, 1, 1, 1, 1,
  2, 1, 1, 1, 1, 1, 1, 1,
  2, 1, 1, 1, 1, 1, 1, 1, 1,
  2, 1, 1, 1, 1, 1, 1, 1, 1, 1 (End)
As a square array = A100100 * square Pascal matrix:
  /1   1  1  1 ...\   / 1          \/1 1  1  1 ...\
  |2   3  4  5 ...|   | 1 1        ||1 2  3  4 ...|
  |6  10 15 21 ...| = | 3 2 1      ||1 3  6 10 ...|
  |20 35 56 84 ...|   |10 6 3 1    ||1 4 10 20 ...|
  |70 ...         |   |35 ...      ||1 ...        |
- _Peter Bala_, Nov 03 2015
		

Programs

  • Haskell
    a092392 n k = a092392_tabl !! (n-1) !! (k-1)
    a092392_row n = a092392_tabl !! (n-1)
    a092392_tabl = map reverse a046899_tabl
    -- Reinhard Zumkeller, Jul 27 2012
    
  • Magma
    /* As a triangle */ [[Binomial(2*n-k, n): k in [0..n]]: n in [0..10]]; // G. C. Greubel, Nov 22 2017
  • Maple
    A092392 := proc(n,k)
        binomial(2*n-k,n-k) ;
    end proc:
    seq(seq(A092392(n,k),k=0..n),n=0..10) ; # R. J. Mathar, Feb 06 2015
  • Mathematica
    Table[Binomial[2 n - k, n], {n, 0, 10}, {k, 0, n}] // Flatten (* Michael De Vlieger, Mar 19 2016 *)
  • Maxima
    C(x):=(1-sqrt(1-4*x))/2;
    A(x,y):=(1/sqrt(1-4*x))/(1-y*C(x));
    taylor(A(x,y),y,0,10,x,0,10); /* Vladimir Kruchinin, Mar 19 2016 */
    
  • PARI
    for(n=0,10, for(k=0,n, print1(binomial(2*n - k,n), ", "))) \\ G. C. Greubel, Nov 22 2017
    

Formula

As a number triangle, this is T(n, k) = if(k <= n, C(2*n - k, n), 0). Its row sums are C(2*n + 1, n + 1) = A001700. Its diagonal sums are A176287. - Paul Barry, Apr 23 2005
G.f. of column k: 2^k/[sqrt(1 - 4*x)*(1 + sqrt(1 - 4*x))^k].
As a number triangle, this is the Riordan array (1/sqrt(1 - 4*x), x*c(x)), c(x) the g.f. of A000108. - Paul Barry, Jun 24 2005
G.f.: A(x,y)=1/sqrt(1 - 4*x)/(1-y*x*C(x)), where C(x) is g.f. of Catalan numbers. - Vladimir Kruchinin, Mar 19 2016

Extensions

Diagonal sums comment corrected by Paul Barry, Apr 14 2010
Offset corrected by R. J. Mathar, Feb 08 2013

A034870 Even-numbered rows of Pascal's triangle.

Original entry on oeis.org

1, 1, 2, 1, 1, 4, 6, 4, 1, 1, 6, 15, 20, 15, 6, 1, 1, 8, 28, 56, 70, 56, 28, 8, 1, 1, 10, 45, 120, 210, 252, 210, 120, 45, 10, 1, 1, 12, 66, 220, 495, 792, 924, 792, 495, 220, 66, 12, 1, 1, 14, 91, 364, 1001, 2002, 3003, 3432, 3003, 2002, 1001, 364, 91, 14, 1
Offset: 0

Keywords

Comments

The sequence of row lengths of this array is [1,3,5,7,9,11,13,...]= A005408(n), n>=0.
Equals X^n * [1,0,0,0,...] where X = an infinite tridiagonal matrix with (1,1,1,...) in the main and subsubdiagonal and (2,2,2,...) in the main diagonal. X also = a triangular matrix with (1,2,1,0,0,0,...) in each column. - Gary W. Adamson, May 26 2008
a(n,m) has the following interesting combinatoric interpretation. Let s(n,m) equal the set of all base-4, n-digit numbers with n-m more 1-digits than 2-digits. For example s(2,1) = {10,01,13,31} (note that numbers like 1 are left-padded with 0's to ensure that they have 2 digits). Notice that #s(2,1) = a(2,1) with # indicating cardinality. This is true in general. a(n,m)=#s(n,m). In words, a(n,m) gives the number of n-digit, base-4 numbers with n-m more 1 digits than 2 digits. A proof is provided in the Links section. - Russell Jay Hendel, Jun 23 2015

Examples

			Triangle begins:
  1;
  1,  2,  1;
  1,  4,  6,   4,   1;
  1,  6, 15,  20,  15,   6,   1;
  1,  8, 28,  56,  70,  56,  28,   8,   1;
  1, 10, 45, 120, 210, 252, 210, 120,  45,  10,  1;
  1, 12, 66, 220, 495, 792, 924, 792, 495, 220, 66, 12, 1;
		

Crossrefs

Cf. A000302 (row sums, powers of 4), alternating row sums are 0, except for n=0 which gives 1.

Programs

  • Haskell
    a034870 n k = a034870_tabf !! n !! k
    a034870_row n = a034870_tabf !! n
    a034870_tabf = map a007318_row [0, 2 ..]
    -- Reinhard Zumkeller, Apr 19 2012, Apr 02 2011
    
  • Magma
    /* As triangle: */ [[Binomial(n,k): k in [0..n]]: n in [0.. 15 by 2]]; // Vincenzo Librandi, Jul 16 2015
    
  • Maple
    T := (n,k) -> simplify(GegenbauerC(`if`(kPeter Luschny, May 08 2016
  • Mathematica
    Flatten[Table[Binomial[n,k],{n,0,20,2},{k,0,n}]] (* Harvey P. Dale, Dec 15 2014 *)
  • Maxima
    taylor(1/(1-x*(y+1)^2),x,0,10,y,0,10); /* Vladimir Kruchinin, Nov 22 2020 */
    
  • Sage
    flatten([[binomial(2*n, k) for k in (0..2*n)] for n in (0..12)]) # G. C. Greubel, Mar 18 2022

Formula

T(n, m) = binomial(2*n, m), 0<= m <= 2*n, 0<=n, else 0.
G.f. for column m=2*k sequence: (x^k)*Pe(k, x)/(1-x)^(2*k+1), k>=0; for column m=2*k-1 sequence (x^k)*Po(k, x)/(1-x)^(2*k), k>=1, with the row polynomials Pe(k, x) := sum(A091042(k, m)*x^m, m=0..k) and Po(k, x) := 2*sum(A091044(k, m)*x^m, m=0..k-1); see also triangle A091043.
From Paul D. Hanna, Apr 18 2012: (Start)
Let A(x) be the g.f. of the flattened sequence, then:
G.f.: A(x) = Sum_{n>=0} x^(n^2) * (1+x)^(2*n).
G.f.: A(x) = Sum_{n>=0} x^n*(1+x)^(2*n) * Product_{k=1..n} (1 - (1+x)^2*x^(4*k-3)) / (1 - (1+x)^2*x^(4*k-1)).
G.f.: A(x) = 1/(1 - x*(1+x)^2/(1 + x*(1-x^2)*(1+x)^2/(1 - x^5*(1+x)^2/(1 + x^3*(1-x^4)*(1+x)^2/(1 - x^9*(1+x)^2/(1 + x^5*(1-x^6)*(1+x)^2/(1 - x^13*(1+x)^2/(1 + x^7*(1-x^8)*(1+x)^2/(1 - ...))))))))), a continued fraction.
(End)
From Peter Bala, Jul 14 2015: (Start)
Denote this array by P. Then P * transpose(P) is the square array ( binomial(2*n + 2*k, 2*k) )n,k>=0, which, read by antidiagonals, is A086645.
Transpose(P) is a generalized Riordan array (1, (1 + x)^2) as defined in the Bala link.
Let p(x) = (1 + x)^2. P^2 gives the coefficients in the expansion of the polynomials ( p(p(x)) )^n, P^3 gives the coefficients in the expansion of the polynomials ( p(p(p(x))) )^n and so on.
Row sums are 2^(2*n); row sums of P^2 are 5^(2*n), row sums of P^3 are 26^(2*n). In general, the row sums of P^k, k = 0,1,2,..., are equal to A003095(k)^(2*n).
The signed version of this array ( (-1)^k*binomial(2*n,k) )n,k>=0 is a left-inverse for A034839.
A034839 * P = A080928. (End)
T(n, k) = GegenbauerC(m, -n, -1) where m = k if kPeter Luschny, May 08 2016
G.f.: 1/(1-x*(y+1)^2). - Vladimir Kruchinin, Nov 22 2020

A113139 Number triangle, equal to half of Delannoy square array A008288.

Original entry on oeis.org

1, 3, 1, 13, 5, 1, 63, 25, 7, 1, 321, 129, 41, 9, 1, 1683, 681, 231, 61, 11, 1, 8989, 3653, 1289, 377, 85, 13, 1, 48639, 19825, 7183, 2241, 575, 113, 15, 1, 265729, 108545, 40081, 13073, 3649, 833, 145, 17, 1, 1462563, 598417, 224143, 75517, 22363, 5641
Offset: 0

Author

Paul Barry, Oct 15 2005

Keywords

Comments

Row sums are A047781(n+1). Diagonal sums are A113140. Inverse is A113141.

Examples

			Triangle begins
     1;
     3,    1;
    13,    5,    1;
    63,   25,    7,   1;
   321,  129,   41,   9,  1;
  1683,  681,  231,  61, 11,  1;
  8989, 3653, 1289, 377, 85, 13, 1;
  ...
A113139 as a square array = A110171 * A008288:
  / 1   1   1   1 ... \   / 1         \ / 1 1  1  1 ...\
  | 3   5   7   9 ... |   | 2  1       || 1 3  5  7 ...|
  |13  25  41  61 ... | = | 8  4 1     || 1 5 13 25 ...|
  |63 129 231 377 ... |   |38 18 6 1   || 1 7 25 63 .. |
  |...                |   |...         || 1...         |
- _Peter Bala_, Dec 09 2015
		

Crossrefs

A001850 (column 0), A002002 (column 1), A026002 (column 2), A190666 (column 3), A047781 (row sums), A113140 (diagonal sums), A113141 (matrix inverse). Cf. A006318, A008288, A110171.

Programs

  • Maple
    T := (n,k) -> (-1)^(n-k)*hypergeom([n+1, -n+k], [1], 2):
    seq(seq(simplify(T(n,k)),k=0..n),n=0..8); # Peter Luschny, Mar 02 2017
  • Mathematica
    Table[Sum[Binomial[n - k, j] Binomial[n + j, k + j], {j, 0, n}], {n, 0, 9}, {k, 0, n}] // Flatten (* Michael De Vlieger, Dec 09 2015 *)

Formula

T(n, k) = Sum_{j=0..n} C(n-k, j)*C(n+j, k+j).
T(n, k) = Sum_{j=0..n} C(n, j)*C(n-k, j-k)*2^(n-j).
From Peter Bala, Dec 09 2015: (Start)
T(n,k) = A008288(n - k, n).
O.g.f.: 2/( sqrt(x^2 - 6*x + 1)*(t*sqrt(x^2 - 6*x + 1) + t*x - t + 2) ) = 1 + (3 + t)*x + (13 + 5*t + t^2)*x^2 + ....
Riordan array (f(x), x*g(x)), where f(x) = 1/sqrt(1 - 6*x + x^2) is the o.g.f. for the central Delannoy numbers, A001850, and g(x) = 1/x* revert( x*(1 - x)/(1 + x) ) = 1 + 2*x + 6*x^2 + 22*x^3 + 90*x^4 + 394*x^5 + ... is the o.g.f. for the large Schroder numbers, A006318.
Read as a square array, this is the generalized Riordan array (f(x), g(x)) in the sense of the Bala link, which factorizes as (1 + x*g'(x)/g(x), x*g(x)) * (1/(1 - x), (1 + x)/(1 - x)) = A110171 * A008288. See the example below. (End)
T(n,k) = (-1)^(n-k)*hypergeom([n+1, -n+k], [1], 2). - Peter Luschny, Mar 02 2017
From Peter Bala, Feb 16 2020: (Start)
T(n,k) = P(n-k, k, 0, 3), where P(n, alpha, beta, x) is the n-th Jacobi polynomial with parameters alpha and beta.
T(n,k) = binomial(n,k) * hypergeom( [n + 1, k - n], [k + 1], -1 ).
The n-th row polynomial in descending powers of x is the n-th Taylor polynomial of the rational function (1 + x)^n/(1 - x)^(n+1) about 0. For example, for n = 4, (1 + x)^4/(1 - x)^5 = 1 + 9*x + 41*x^2 + 129*x^3 + 321*x^4 + O(x^5). Cf. A110171. (End)

A329816 Triangular array, read by rows: T(n,k) = [(x*y)^k] (-1 + (1 + x + 1/x)*(1 + y + 1/y))^n for -n <= k <= n.

Original entry on oeis.org

1, 1, 0, 1, 1, 2, 8, 2, 1, 1, 6, 27, 24, 27, 6, 1, 1, 12, 70, 132, 216, 132, 70, 12, 1, 1, 20, 155, 480, 1070, 1200, 1070, 480, 155, 20, 1, 1, 30, 306, 1370, 4035, 6900, 8840, 6900, 4035, 1370, 306, 30, 1, 1, 42, 553, 3332, 12621, 29750, 51065, 58800, 51065, 29750, 12621, 3332, 553, 42, 1
Offset: 0

Author

Seiichi Manyama, Nov 21 2019

Keywords

Comments

Also the coefficient of (x/y)^k in the expansion of (-1 + (1 + x + 1/x)*(1 + y + 1/y))^n for -n <= k <= n.
T(n,k) is the number of n step walks a chess king can take from (0,0) to (k,k). For example, for n=3 starting from (0,0) there is 1 walk to (3,3), 6 walks to (2,2), 27 walks to (1,1), 24 walks to (0,0), 27 walks to (-1,-1), 6 walks to (-2,-2) and 1 walk to (-3,-3). - Martin Clever, May 27 2023

Examples

			-1 + (1 + x + 1/x)*(1 + y + 1/y) = x*y + 1/(x*y) + x/y + y/x + x + 1/x + y + 1/y. So T(1,-1) = 1, T(1,0) = 0, T(1,1) = 1.
Triangle begins:
                          1;
                    1,    0,    1;
              1,    2,    8,    2,   1;
         1,   6,   27,   24,   27,   6,   1;
    1,  12,  70,  132,  216,  132,  70,  12,  1;
1, 20, 155, 480, 1070, 1200, 1070, 480, 155, 20, 1;
		

Crossrefs

T(n,0) gives A094061.
Row sums give A288470.

Programs

  • PARI
    {T(n, k) = polcoef(polcoef((-1+(1+x+1/x)*(1+y+1/y))^n, k), k)}

Formula

T(n,k) = T(n,-k).

A329819 Triangular array, read by rows: T(n,k) = [(x*y*z)^k] (-1 + (1 + x + 1/x)*(1 + y + 1/y)*(1 + z + 1/z))^n for -n <= k <= n.

Original entry on oeis.org

1, 1, 0, 1, 1, 6, 26, 6, 1, 1, 24, 195, 264, 195, 24, 1, 1, 60, 898, 3276, 5646, 3276, 898, 60, 1, 1, 120, 3065, 22260, 72730, 101520, 72730, 22260, 3065, 120, 1, 1, 210, 8526, 105690, 581475, 1510860, 2103740, 1510860, 581475, 105690, 8526, 210, 1
Offset: 0

Author

Seiichi Manyama, Nov 21 2019

Keywords

Examples

			Triangle begins:
                                 1;
                         1,      0,     1;
                  1,     6,     26,     6,     1;
           1,    24,   195,    264,   195,    24,    1;
     1,   60,   898,  3276,   5646,  3276,   898,   60,   1;
1, 120, 3065, 22260, 72730, 101520, 72730, 22260, 3065, 120, 1;
		

Crossrefs

T(n,0) gives A328874.

Programs

  • PARI
    {T(n, k) = polcoef(polcoef(polcoef((-1+(1+x+1/x)*(1+y+1/y)*(1+z+1/z))^n, k), k), k)}

Formula

T(n,k) = T(n,-k).

A329820 Triangular array, read by rows: T(n,k) = [(w*x*y*z)^k] (-1 + (1 + w + 1/w)*(1 + x + 1/x)*(1 + y + 1/y)*(1 + z + 1/z))^n for -n <= k <= n.

Original entry on oeis.org

1, 1, 0, 1, 1, 14, 80, 14, 1, 1, 78, 1251, 2160, 1251, 78, 1, 1, 252, 9682, 60444, 121200, 60444, 9682, 252, 1, 1, 620, 49355, 760800, 3785750, 6136800, 3785750, 760800, 49355, 620, 1, 1, 1290, 190746, 5950070, 60898395, 228400980, 356570960, 228400980, 60898395, 5950070, 190746, 1290, 1
Offset: 0

Author

Seiichi Manyama, Nov 21 2019

Keywords

Examples

			Triangle begins:
                          1;
                  1,      0,     1;
           1,    14,     80,    14,    1;
     1,   78,  1251,   2160,  1251,   78,   1;
1, 252, 9682, 60444, 121200, 60444, 9682, 252, 1;
		

Crossrefs

T(n,0) gives A328875.

Programs

  • PARI
    {T(n, k) = polcoef(polcoef(polcoef(polcoef((-1+(1+w+1/w)*(1+x+1/x)*(1+y+1/y)*(1+z+1/z))^n, k), k), k), k)}

Formula

T(n,k) = T(n,-k).
Showing 1-8 of 8 results.