A064062 -id:A064062 - cp's OEIS frontend

A064334 Triangle composed of generalized Catalan numbers.

1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, -1, 1, 1, 1, -2, 5, -2, 1, 1, 1, 6, -25, 13, -3, 1, 1, 1, -18, 141, -98, 25, -4, 1, 1, 1, 57, -849, 826, -251, 41, -5, 1, 1, 1, -186, 5349, -7448, 2817, -514, 61, -6, 1, 1, 1, 622, -34825, 70309, -33843, 7206, -917, 85, -7, 1, 1

Offset: 0

Wolfdieter Lang, Sep 21 2001

The sequence for column m (m >= 1) (without leading zeros and the first 1) appears in the Derrida et al. 1992 reference as Z_{N}=:Y_{N}(N+1), N >=0, for (unphysical) alpha = -m, beta = 1 (or alpha = 1, beta = -m). In the Derrida et al. 1993 reference the formula in eq. (39) gives Z_{N}(alpha,beta)/(alpha*beta)^N for N>=1. See also Liggett reference, proposition 3.19, p. 269, with lambda for alpha and rho for 1-beta.

			Triangle starts:
  1;
  1,  1;
  1,  1,  1;
  1,  0,  1,  1;
  1,  1, -1,  1, 1;
  1, -2,  5, -2, 1, 1; ...

T. M. Liggett, Stochastic Interacting Systems: Contact, Voter and Exclusion Processes, Springer, 1999, p. 269.

G. C. Greubel, Rows n =0..100 of triangle, flattened
B. Derrida, E. Domany and D. Mukamel, An exact solution of a one-dimensional asymmetric exclusion model with open boundaries, J. Stat. Phys. 69, 1992, 667-687; eqs. (20), (21), p. 672.
B. Derrida, M. R. Evans, V. Hakim and V. Pasquier, Exact solution of a 1D asymmetric exclusion model using a matrix formulation, J. Phys. A 26, 1993, 1493-1517; eq. (39), p. 1501, also appendix A1, (A12) p. 1513.

The unsigned column sequences (without leading zeros) are A000012, A064310-11, A064325-33 for m=0..11, respectively. Row sums (signed) give A064338. Row sums (unsigned) give A064339.

Cf. A064062.

[[k eq 0 select 1 else k eq n select 1 else (&+[(n-k-j)* Binomial(n-k-1+j, j)*(-k)^j/(n-k): j in [0..n-k-1]]): k in [0..n]]: n in [0..12]]; // G. C. Greubel, May 04 2019

Table[If[k==0, 1, If[k==n, 1, Sum[(n-k-j)*Binomial[n-k-1+j, j]*(-k)^j/(n -k), {j, 0, n-k-1}]]], {n, 0, 12}, {k, 0, n}]//Flatten (* G. C. Greubel, May 04 2019 *)

{T(n,k) = if(k==0, 1, if(k==n, 1, sum(j=0, n-k-1, (n-k-j)* binomial(n-k-1+j, j)*(-k)^j/(n-k))))}; \\ G. C. Greubel, May 04 2019

def T(n,k):
    return hypergeometric([1-n, n], [-n], -k) if n>0 else 1
for n in (0..10):
    print([simplify(T(n-k,k)) for k in (0..n)]) # Peter Luschny, Nov 30 2014

G.f. for column m: (x^m)/(1-x*c(-m*x))= (x^m)*((m+1)+m*x*c(-m*x))/((m+1)-x), m>0, with the g.f. c(x) of Catalan numbers A000108.
T(n, m) = Sum_{k=0..n-m-1} (n-m-k)*binomial(n-m-1+k, k)*(-m)^k/(n-m), with T(n,0) = T(n,n)=1.
T(n,m) = (1/(1+m))^(n-m)*(1 + m*Sum_{k=0..n-m-1} C(k)*(-m*(m+1))^k ), n-m >= 1, T(n, n) = T(n,0) =1, T(n, m)=0 if nA000108(k) (Catalan).
T(n, k) = hypergeometric([1-n+k, n-k], [-n+k], -k) if kPeter Luschny, Nov 30 2014

A062991 Coefficient triangle for certain polynomials N(2; n,x) (rising powers of x).

Original entry on oeis.org

1, 2, -1, 5, -6, 2, 14, -28, 20, -5, 42, -120, 135, -70, 14, 132, -495, 770, -616, 252, -42, 429, -2002, 4004, -4368, 2730, -924, 132, 1430, -8008, 19656, -27300, 23100, -11880, 3432, -429, 4862, -31824, 92820, -157080, 168300, -116688, 51051, -12870, 1430

Offset: 0

Wolfdieter Lang, Jul 12 2001

The g.f. for the sequence of column m of triangle A009766(n,m) (or Catalan A033184(n,n-m) diagonals) is N(2; m-1,x)*(x^m)/(1-x)^(m+1), m >= 1, with N(2; n,x) = Sum_{k=0..n} T(n,k)*x^k.
For k=0..1 the column sequences give A000108(n+1) (Catalan), -A002694. The row sums give A000012 (powers of 1) and (unsigned) A062992.
Another version of [1, 1, 1, 1, 1, 1, 1, 1, ...] DELTA [0, -1, -1, -1, -1, -1, -1, -1, ...] = 1; 1, 0; 2, -1, 0; 5, -6, 2, 0; 14, -28, 20, -5, 0; 42, -120, 135, -70, 14, 0; ... where DELTA is Deléham's operator defined in A084938.
The positive triangle is |T(n,k)| = binomial(2*n+2, n-k)*binomial(n+k, k)/(n+1). - Paul Barry, May 11 2005

			The triangle N2 = {a(n,k)} begins:
n\k      0       1      2       3       4       5      6       7     8     9
----------------------------------------------------------------------------
0:       1
1:       2      -1
2:       5      -6      2
3:      14     -28     20      -5
4:      42    -120    135     -70      14
5:     132    -495    770    -616     252     -42
6:     429   -2002   4004   -4368    2730    -924    132
7:    1430   -8008  19656  -27300   23100  -11880   3432    -429
8:    4862  -31824  92820 -157080  168300 -116688  51051  -12870  1430
9:   16796 -125970 426360 -852720 1108536 -969969 570570 -217360 48620 -4862
... formatted by _Wolfdieter Lang_, Jan 20 2020
N(2; 2, x)= 5 - 6*x + 2*x^2.

G. C. Greubel, Rows n = 0..50 of the triangle, flattened
C. A. Francisco, J. Mermin, and J. Schweig, Catalan numbers, binary trees, and pointed pseudotriangulations, 2013.
V. E. Hoggatt Jr. and Marjorie Bicknell-Johnson, Numerator Polynomial Coefficient Arrays for Catalan and Related Sequence Convolution Triangles, The Fibonacci Quarterly 15 (1977) 30-34. [On p. 31, in the line n = 1, 14 is missing in S_1^4. - _Wolfdieter Lang_, Jan 20 2020 ]
Joseph T. Iosue, Adam Ehrenberg, Dominik Hangleiter, Abhinav Deshpande, and Alexey V. Gorshkov, Page curves and typical entanglement in linear optics, arXiv:2209.06838 [quant-ph], 2022.
A. Lakshminarayan, Z. Puchala, and K. Zyczkowski, Diagonal unitary entangling gates and contradiagonal quantum states, arXiv preprint arXiv:1407.1169 [quant-ph], 2014.
Jian Zhou, On Some Mathematics Related to the Interpolating Statistics, arXiv:2108.10514 [math-ph], 2021.

Cf. A000108, A002694, A009766, A033184, A062992, A084938, A089434, A094385.
For an unsigned version see Borel's triangle, A234950.
Sums include: A000012 (row), A000079 (diagonal), A064062 (signed row), A071356 (signed diagonal).

A062991:= func< n,k | (-1)^k*Binomial(2*n+2,n-k)*Binomial(n+k,k)/(n+1) >;
[A062991(n,k): k in [0..n], n in [0..12]]; // G. C. Greubel, Sep 27 2024

T[n_, k_] := 2 (-1)^k Binomial[2n+1, n] (n-k+1) Binomial[n+1, k]/((k+n+1)(k+n+2));
Table[T[n, k], {n, 0, 8}, {k, 0, n}] // Flatten (* Jean-François Alcover, Sep 19 2018 *)

def A062991(n,k): return (-1)^k*binomial(2*n+2,n-k)*binomial(n+k,k)/(n+1)
flatten([[A062991(n,k) for k in range(n+1)] for n in range(13)]) # G. C. Greubel, Sep 27 2024

T(n, k) = [x^k] N(2; n, x) with N(2; n, x) = (N(2; n-1, x) - A000108(n)*(1-x)^(n+1))/x, N(2; 0, x) = 1.
T(n, k) = T(n-1, k+1) + (-1)^k*binomial(n+1, k+1)*binomial(2*n+1, n)/(2*n+1) if k=0, .., (n-2); T(n, k) = (-1)^k*binomial(n+1, k+1)*binomial(2*n+1, n)/(2*n+1) if k=(n-1) or n; else 0.
O.g.f. (with offset 1) is the series reversion w.r.t. x of x*(1+x*t)/(1+x)^2. If R(n,t) denotes the n-th row polynomial of this triangle then R(n,1-t) is the n-th row polynomial of A009766. Cf. A089434. - Peter Bala, Jul 15 2012
From G. C. Greubel, Sep 27 2024: (Start)
Sum_{k=0..n} T(n, k) = A000012(n).
Sum_{k=0..n} (-1)^k*T(n, k) = A064062(n+1).
Sum_{k=0..floor(n/2)} T(n-k, k) = A000079(n).
Sum_{k=0..floor(n/2)} (-1)^k*T(n-k, k) = A071356(n). (End)

A178792 Dot product of the rows of triangle A046899 with vector (1,2,4,8,...) (= A000079).

Original entry on oeis.org

1, 5, 31, 209, 1471, 10625, 78079, 580865, 4361215, 32978945, 250806271, 1916280833, 14698053631, 113104519169, 872801042431, 6751535300609, 52337071357951, 406468580343809, 3162019821780991, 24634626678980609, 192179216026959871

Offset: 0

Joseph Abate, Jun 15 2010

Hankel transform is A133460.

			a(3) = (1,4,10,20)dot(1,2,4,8) = 209.

Vincenzo Librandi, Table of n, a(n) for n = 0..200
J. Abate and W. Whitt, Brownian motion and generalized Catalan numbers, Journal of Integer Sequences, Vol. 14 (2011).
Karl Dilcher and Maciej Ulas, Arithmetic properties of polynomial solutions of the Diophantine equation P(x)x^(n+1)+Q(x)(x+1)^(n+1) = 1, arXiv:1909.11222 [math.NT], 2019.
Nicolle González, Pamela E. Harris, Gordon Rojas Kirby, Mariana Smit Vega Garcia, and Bridget Eileen Tenner, Pinnacle sets of signed permutations, arXiv:2301.02628 [math.CO], 2023.

Row sums of A091811.

Cf. A383326, A383716.

a := n -> binomial(2*n+2,n+1)*hypergeom([-n, n + 1], [n + 2], -1)/2:
seq(simplify(a(n)), n=0..20); # Peter Luschny, Feb 21 2017

CoefficientList[Series[(3-Sqrt[1-8*x])/(2*(1+x)*Sqrt[1-8*x]), {x, 0, 20}], x] (* Vaclav Kotesovec, Oct 20 2012 *)
Table[Sum[2^k*Binomial[n + k, k], {k, 0, n}], {n, 0, 20}] (* Michael De Vlieger, Oct 28 2016 *)
a[n_] := (-1)^(n + 1) - 2^(n + 1) (2n + 1) Binomial[2n, n] Hypergeometric2F1[1, 2n + 2, n + 2, 2]/(n + 1); Array[a, 22, 0] (* Robert G. Wilson v, Jul 21 2018 *)

a(n) = Sum_{k = 0..n} A046899(n,k)*2^k = Sum_{k = 0..n} 2^k * binomial(n+k,k).
G.f.: (1/3)*(4/sqrt(1 - 8*x) - 1/(1 - x*c(2*x))) with c(x) the g.f. of the Catalan numbers A000108.
a(n) = (1/3)*(4*2^n*A000984(n) - A064062(n)).
a(n) + a(n+1) = 6*2^n*A001700(n).
O.g.f.: (3 - sqrt(1 - 8*x))/(2*(1 + x)*sqrt(1 - 8*x)). - Peter Bala, Apr 10 2012
a(n) = 2^n *binomial(2+2*n,1+n)*2F1(1, 2+2*n; 2+n;-1). - Olivier Gérard, Aug 19 2012
D-finite with recurrence n*a(n) = (7*n - 4)*a(n-1) + 4*(2*n - 1)*a(n-2). - Vaclav Kotesovec, Oct 20 2012
a(n) ~ 2^(3n+2)/(3*sqrt(Pi*n)). - Vaclav Kotesovec, Oct 20 2012
a(n) = Sum_{k = 0..n} binomial(k+n,n) * binomial(2*n+1,n-k). - Vladimir Kruchinin, Oct 28 2016
a(n) = 1/2*(n + 1)*binomial(2*n+2,n+1)*Sum_{k = 0..n} binomial(n,k)/(n + k + 1). - Peter Bala, Feb 21 2017
a(n) = binomial(2*n+2,n+1)*hypergeom([-n, n+1], [n+2], -1)/2. - Peter Luschny, Feb 21 2017
a(n) = (-1)^(n+1) - 2^(n+1)*(2*n+1)*binomial(2*n,n)*hypergeom([1, 2*n+2], [n+2], 2)/(n+1). - John M. Campbell, Jul 14 2018
From Akiva Weinberger, Dec 06 2024: (Start)
a(n) = (2*n + 1)!/(n!^2) * Integral_{t=0..1} (t + t^2)^n dt.
a(n) = (Integral_{t=0..1} (t + t^2)^n dt) / (Integral_{t=0..1} (t - t^2)^n dt). (End)
a(n) = (-1)^n * Sum_{k=0..n} binomial(2*n+1,k) * (-2)^k. - André M. Timpanaro, Dec 15 2024
From Seiichi Manyama, Aug 04 2025: (Start)
a(n) = [x^n] (1+x)^(2*n+1)/(1-x)^(n+1).
a(n) = [x^n] 1/((1-x) * (1-2*x)^(n+1)). (End)

A062992 Row sums of unsigned triangle A062991.

Original entry on oeis.org

1, 3, 13, 67, 381, 2307, 14589, 95235, 636925, 4341763, 30056445, 210731011, 1493303293, 10678370307, 76957679613, 558403682307, 4075996839933, 29909606989827, 220510631755773, 1632599134961667, 12133359132082173

Offset: 0

Wolfdieter Lang, Jul 12 2001

a(n) = N(2; n,x=-1), with the polynomials N(2; n,x) defined in A062991.

Vincenzo Librandi, Table of n, a(n) for n = 0..200
Paul Barry, Characterizations of the Borel triangle and Borel polynomials, arXiv:2001.08799 [math.CO], 2020.
L. Guo and W. Y. Sit, Enumeration and generating functions of Rota-Baxter Words, Math. Comput. Sci. 4 (2010) 313-337.

Cf. A112707 (c(n, -m) triangle). Here m=2 is used. Row sums of A234950.

Cf. A000108, A062991, A064062, A119259.

a062992 = sum . a234950_row  -- Reinhard Zumkeller, Jan 12 2014

R:=PowerSeriesRing(Rationals(), 30);
Coefficients(R!( (1-2*x-Sqrt(1-8*x))/(2*x+2*x^2) )); // G. C. Greubel, Sep 27 2024

Table[2*Sum[(-1)^j*Binomial[2*n-2*j,n-j]/(n-j+1)*2^(n-j), {j,0,n}]-(-1)^n,{n,0,20}] (* Vaclav Kotesovec, Oct 13 2012 *)

a(n)=polcoeff((1-2*x-sqrt(1-8*x+x^2*O(x^n)))/(2*x+2*x^2),n)

a(n)=if(n<0,0,polcoeff(serreverse((x-x^2)/(1+x)^2+O(x^(n+2))),n+1)) \\ Ralf Stephan

def a(n): return hypergeometric([-n, n+1], [-n-1], 2)
[a(n).hypergeometric_simplify() for n in range(21)] # Peter Luschny, Nov 30 2014

a(n) = (-1)^(n+1) + 2*Sum_{j = 0..n} (-1)^j*C(n-j)*2^(n-j) with C(n) := A000108(n) (Catalan).
G.f.: A(x) = (2*c(2*x) - 1)/(1 + x) with c(x) the g.f. of A000108.
a(n) = (1/(n+1)) * Sum_{k = 0..n} binomial(2*n+2, n-k)*binomial(n+k, k). - Paul Barry, May 11 2005
Rewritten: a(n) = (1 - 2*c(n, -2))*(-1)^(n+1), n >= , with c(n, x) := Sum_{k = 0..n} C(k)*x^k and C(k) := A000108(k) (Catalan). - Wolfdieter Lang, Oct 31 2005
Recurrence: (n+1)*a(n) = (7*n-5)*a(n-1) + 4*(2*n-1)*a(n-2). - Vaclav Kotesovec, Oct 13 2012
a(n) ~ 2^(3*n+4)/(9*sqrt(Pi)*n^(3/2)). - Vaclav Kotesovec, Oct 13 2012
a(n) = hypergeometric([-n, n+1], [-n-1], 2). - Peter Luschny, Nov 30 2014
G.f.: A(x) = exp( Sum_{n >= 1} A119259(n)*x^n/n ). - Peter Bala, Jun 08 2023

A115193 Generalized Catalan triangle of Riordan type, called C(1,2).

Original entry on oeis.org

1, 1, 1, 3, 3, 1, 13, 13, 5, 1, 67, 67, 27, 7, 1, 381, 381, 157, 45, 9, 1, 2307, 2307, 963, 291, 67, 11, 1, 14589, 14589, 6141, 1917, 477, 93, 13, 1, 95235, 95235, 40323, 12867, 3363, 723, 123, 15, 1, 636925

Offset: 0

Wolfdieter Lang, Feb 23 2006

This triangle is the first of a family of generalizations of the Catalan convolution triangle A033184 (which belongs to the Bell subgroup of the Riordan group).
The o.g.f. of the row polynomials P(n,x):=Sum_{m=0..n} a(n,m)*x^n is D(x,z) = g(z)/(1 - x*z*c(2*z)) = g(z)*(2*z-x*z*(1-2*z*c(2*z)))/(2*z-x*z+(x*z)^2), with g(z) and c(z) defined below.
This is the Riordan triangle named (g(x),x*c(2*x)) with g(x):=(1+2*x*c(2*x))/(1+x) and c(x) is the o.g.f. of A000108 (Catalan numbers). g(x) is the o.g.f. of A064062 (C(2;n) Catalan generalization).
The column sequences (without leading zeros) are A064062, A064062(n+1), A084076, A115194, A115202-A115204, for m=0..6.
For general Riordan convolution triangles (lower triangular matrices) see the Shapiro et al. reference given in A053121.

			Triangle begins:
   1;
   1,  1;
   3,  3,  1;
  13, 13,  5,  1;
  67, 67, 27,  7,  1;
  ...
Production matrix begins:
    1,   1;
    2,   2,   1;
    4,   4,   2,   1;
    8,   8,   4,   2,   1;
   16,  16,   8,   4,   2,   1;
   32,  32,  16,   8,   4,   2,   1;
   64,  64,  32,  16,   8,   4,   2,   1;
  128, 128,  64,  32,  16,   8,   4,   2,   1;
  ... _Philippe Deléham_, Sep 22 2014

Nathaniel Johnston, Table of n, a(n) for n = 0..5150 (up to row 100)
Wolfdieter Lang, First 10 rows.

Row sums give A115197. Compare with the row reversed and scaled triangle A115195.

Cf. A116866 (similar sequence C(1,3)).

lim:=7: c:=(1-sqrt(1-8*x))/(4*x): g:=(1+2*x*c)/(1+x): gf1:=g*(x*c)^m: for m from 0 to lim do t:=taylor(gf1,x,lim+1): for n from 0 to lim do a[n,m]:=coeff(t,x,n):od:od: seq(seq(a[n,m],m=0..n),n=0..lim); # Nathaniel Johnston, Apr 30 2011

A110510[n_, k_] := (k/n)*Binomial[2*n - k - 1, n - k]*2^(n - k);
T[n_, k_] := If[n == 0, 1, Sum[A110510[n, i], {i, k, n}]];
Table[T[n, k], {n, 0, 9}, {k, 0, n}] // Flatten (* Jean-François Alcover, Apr 17 2025 *)

G.f. for column m>=0 is g(x)*(x*c(2*x))^m, with g(x):=(1+2*x*c(2*x))/(1+x) and c(x) is the o.g.f. of A000108 (Catalan numbers).

T(n,k) = Sum_{i=k..n} A110510(n,i) for 0 <= k <= n. - Werner Schulte, Mar 24 2019

A094385 Triangle read by rows: T(n, k) = binomial(2n, k-1)binomial(2*n-k-1, n-k)/n for n, k >= 1, and T(n, 0) = 0^n.

Original entry on oeis.org

1, 0, 1, 0, 1, 2, 0, 2, 6, 5, 0, 5, 20, 28, 14, 0, 14, 70, 135, 120, 42, 0, 42, 252, 616, 770, 495, 132, 0, 132, 924, 2730, 4368, 4004, 2002, 429, 0, 429, 3432, 11880, 23100, 27300, 19656, 8008, 1430, 0, 1430, 12870, 51051, 116688, 168300, 157080, 92820, 31824, 4862

Offset: 0

Philippe Deléham, Jun 03 2004, Jun 14 2007

			Triangle begins:
  1;
  0,   1;
  0,   1,    2;
  0,   2,    6,     5;
  0,   5,   20,    28,    14;
  0,  14,   70,   135,   120,    42;
  0,  42,  252,   616,   770,   495,   132;
  0, 132,  924,  2730,  4368,  4004,  2002,  429;
  0, 429, 3432, 11880, 23100, 27300, 19656, 8008, 1430; ...

G. C. Greubel, Rows n = 0..50 of the triangle, flattened
Paul Barry, A Note on a Family of Generalized Pascal Matrices Defined by Riordan Arrays, Journal of Integer Sequences, 16 (2013), #13.5.4.
Yue Cai and Catherine Yan, Counting with Borel's triangle, Texas A&M University.
Yue Cai and Catherine Yan, Counting with Borel's triangle, arXiv:1804.01597 [math.CO], 2018.
B. Derrida, E. Domany and D. Mukamel, A exact solution of a one-dimensional asymmetric exclusion model with open boundaries, J. Stat. Phys. 69, 1992, 667-687; eqs.(20), (21), p. 672.
Jian Zhou, On Some Mathematics Related to the Interpolating Statistics, arXiv:2108.10514 [math-ph], 2021.

Variant of A062991, unsigned and transposed.
See also A234950 for another version.
Columns: A000007 (k=0), 2*A001700 (k=1).
Diagonals: A002694 (k=n-1), A000108 (k=n).
Row sums: A064062 (generalized Catalan C(2; n)).
Cf. A000012, A002694, A064062, A064063, A064087, A064088, A064089.
Cf. A064090, A064091, A064092, A064093, A064094.

A094385:= func< n,k | n eq 0 select 1 else Binomial(2*n, k-1)*Binomial(2*n-k-1, n-k)/n >;
[A094385(n,k): k in [0..n], n in [0..12]]; // G. C. Greubel, Sep 26 2024

T[n_, k_] := Binomial[2n, k-1] Binomial[2n-k-1, n-k]/n; T[0, 0] = 1;
Table[T[n, k], {n, 0, 9}, {k, 0, n}] // Flatten (* Jean-François Alcover, Sep 19 2018 *)

def A094385(n,k): return 1 if (n==0) else binomial(2*n,k-1)*binomial(2*n-k-1, n-k)//n
flatten([[A094385(n,k) for k in range(n+1)] for n in range(13)]) # G. C. Greubel, Sep 26 2024

T is given by [0, 1, 1, 1, 1, 1, 1, ...] DELTA [1, 1, 1, 1, 1, 1, 1, 1, 1, ...] where DELTA is the operator defined in A084938.
Sum_{k = 0..n} T(n, k)*x^(n-k) = C(x+1; n), generalized Catalan numbers; see left diagonals of triangle A064094: A000012, A000108, A064062, A064063, A064087..A064093 for x = -1, 0, ..., 9, respectively.
From G. C. Greubel, Sep 26 2024: (Start)
T(n, 1) = A000108(n-1), n >= 1.
T(n, n-1) = A002694(n), n >= 1.
T(n, n) = A000108(n). (End)

New name using a formula of the author by Peter Luschny, Sep 26 2024

A110510 Riordan array (1, x*c(2x)), c(x) the g.f. of A000108.

Original entry on oeis.org

1, 0, 1, 0, 2, 1, 0, 8, 4, 1, 0, 40, 20, 6, 1, 0, 224, 112, 36, 8, 1, 0, 1344, 672, 224, 56, 10, 1, 0, 8448, 4224, 1440, 384, 80, 12, 1, 0, 54912, 27456, 9504, 2640, 600, 108, 14, 1, 0, 366080, 183040, 64064, 18304, 4400, 880, 140, 16, 1, 0, 2489344, 1244672, 439296

Offset: 0

Paul Barry, Jul 24 2005

Row sums are C(2;n), A064062. Inverse is A110509. Diagonal sums are A108308. [Corrected by Philippe Deléham, Nov 09 2007]

Triangle T(n,k), 0 <= k <= n, read by rows, given by (0, 2, 2, 2, 2, 2, 2, 2, ...) DELTA (1, 0, 0, 0, 0, 0, 0, 0, ...) where DELTA is the operator defined in A084938. - Philippe Deléham, Sep 23 2014

			Rows begin
  1;
  0,   1;
  0,   2,   1;
  0,   8,   4,   1;
  0,  40,  20,   6,   1;
  0, 224, 112,  36,   8,   1;
  ...
Production matrix begins:
  0,  1;
  0,  2,  1;
  0,  4,  2,  1;
  0,  8,  4,  2,  1;
  0, 16,  8,  4,  2,  1;
  0, 32, 16,  8,  4,  2,  1;
  0, 64, 32, 16,  8,  4,  2,  1;
  ... - _Philippe Deléham_, Sep 23 2014

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

T[n_, k_] := (k/n)*Binomial[2*n - k - 1, n - k]*2^(n - k); Join[{1}, Table[T[n, k], {n, 1, 10}, {k, 0, n}]] // Flatten (* G. C. Greubel, Aug 29 2017 *)

concat([1], for(n=1,25, for(k=0,n, print1((k/n)*binomial(2*n-k-1, n-k)*2^(n-k), ", ")))) \\ G. C. Greubel, Aug 29 2017

Number triangle: T(0,k) = 0^k, T(n,k) = (k/n)*C(2n-k-1, n-k)*2^(n-k), n, k > 0.
T(n,k) = A106566(n,k)*2^(n-k). - Philippe Deléham, Nov 08 2007
T(n,k) = 2*T(n,k+1) + T(n-1,k-1) with T(n,n) = 1 and T(n,0) = 0 for n >= 1. - Peter Bala, Feb 02 2020

A064311 Generalized Catalan numbers C(-2; n).

Original entry on oeis.org

1, 1, -1, 5, -25, 141, -849, 5349, -34825, 232445, -1582081, 10938709, -76616249, 542472685, -3876400305, 27919883205, -202480492905, 1477306676445, -10836099051105, 79861379898165, -591082795606425

Offset: 0

Wolfdieter Lang, Sep 21 2001

See triangle A064334 with columns m built from C(-m; n), m >= 0, also for Derrida et al. references.

Generalized Catalan numbers C(m; n): A000012 (m = 0), A000108 (m = 1), A064062 (m = 2), A064063 (m = 3), A064087 - A064093 (m = 4 thru 10); A064310 (m = -1) and A064325 - A064333 (m = -3 thru -11).

a[n_] := If[n==0, 1, Sum[(n-m)*Binomial[n+m-1, m]*(-2)^m/n, {m,0,n-1}]];
Table[a[n], {n,0,20}] (* Jean-François Alcover, Jun 03 2019 *)

import mpmath
mp.dps = 25; mp.pretty = True
a = lambda n: mpmath.hyp2f1(1-n, n, -n, -2) if n>0 else 1
[int(a(n)) for n in range(21)] # Peter Luschny, Nov 30 2014

a(n) = (1/n) * Sum_{m = 0..n-1} (n-m)*binomial(n-1+m, m)*(-2)^m = ((1/3)^n)*(1 + 2*Sum_{k = 0..n-1} C(k)*(-2*3)^k), for n >= 1, with a(0) := 1, and where C(n) = A000108(n), the Catalan numbers.
G.f.: (1+2*x*c(-2*x)/3)/(1-x/3) = 1/(1-x*c(-2*x)) with c(x) the g.f. of the Catalan numbers A000108.
a(n) = hypergeom([1-n, n], [-n], -2) for n>0. - Peter Luschny, Nov 30 2014
a(n) ~ -(-1)^n * 2^(3*n+1) / (25 * sqrt(Pi) * n^(3/2)). - Vaclav Kotesovec, Jun 03 2019
G.f. A(x) = 1 + series_reversion(x*(1 - (m-1)*x)/(1 + x)^2) at m = -2. - Peter Bala, Sep 08 2024

A116880 Generalized Catalan triangle, called CM(1,2).

Original entry on oeis.org

1, 1, 3, 3, 7, 13, 13, 29, 41, 67, 67, 147, 195, 247, 381, 381, 829, 1069, 1277, 1545, 2307, 2307, 4995, 6339, 7379, 8451, 9975, 14589, 14589, 31485, 39549, 45373, 50733, 56829, 66057, 95235, 95235, 205059, 255747, 290691, 320707, 351187, 388099, 446455, 636925

Offset: 0

Wolfdieter Lang, Mar 24 2006

This triangle generalizes the 'new' Catalan triangle A028364 (which could be called CM(1,1); M stands for author Meeussen).

			Triangle begins:
     1;
     1,    3;
     3,    7,   13;
    13,   29,   41,   67;
    67,  147,  195,  247,  381;
   381,  829, 1069, 1277, 1545, 2307;
  2307, 4995, 6339, 7379, 8451, 9975, 14589;

Nathaniel Johnston, Table of n, a(n) for n = 0..2500
Wolfdieter Lang, First 10 rows.

Column m=0 gives A064062.

Row sums give A116881.

lim:=8: c:=(1-sqrt(1-8*x))/(4*x): g:=(1+2*x*c)/(1+x): gf1:=g*(x*c)^m: for m from 0 to lim do t:=taylor(gf1, x, lim+1): for n from 0 to lim do a[n,m]:=coeff(t, x, n):od:od: gf2:=g*sum(a[s,k]*(2*c)^k,k=0..s): for s from 0 to lim do t:=taylor(gf2, x, lim+1): for n from 0 to lim do b[n,s]:=coeff(t, x, n):od:od: seq(seq(b[n-s,s],s=0..n),n=0..lim); # Nathaniel Johnston, Apr 30 2011

G.f. for columns m >= 0 (without leading zeros): c(2;x)*Sum_{k=0..m} C(1,2;m,k)*(2*c(2*x))^k with c(2;x):=(1+2*x*c(2*x))/(1+x) the g.f. of A064062 and c(x) is the g.f. of A000108 (Catalan). C(1,2;n,m) is the triangle A115193(n,m).

A323206 A(n, k) = hypergeometric([-k, k+1], [-k-1], n), square array read by ascending antidiagonals for n,k >= 0.

Original entry on oeis.org

1, 1, 1, 1, 2, 1, 1, 3, 5, 1, 1, 4, 13, 14, 1, 1, 5, 25, 67, 42, 1, 1, 6, 41, 190, 381, 132, 1, 1, 7, 61, 413, 1606, 2307, 429, 1, 1, 8, 85, 766, 4641, 14506, 14589, 1430, 1, 1, 9, 113, 1279, 10746, 55797, 137089, 95235, 4862, 1

Offset: 0

Peter Luschny, Feb 21 2019

Conjecture: A(n, k) is odd if and only if n is even or (n is odd and k + 2 = 2^j for some j > 0).

			Array starts:
    [n\k 0  1    2     3       4        5         6           7  ...]
    [0]  1, 1,   1,    1,      1,       1,        1,          1, ... A000012
    [1]  1, 2,   5,   14,     42,     132,      429,       1430, ... A000108
    [2]  1, 3,  13,   67,    381,    2307,    14589,      95235, ... A064062
    [3]  1, 4,  25,  190,   1606,   14506,   137089,    1338790, ... A064063
    [4]  1, 5,  41,  413,   4641,   55797,   702297,    9137549, ... A064087
    [5]  1, 6,  61,  766,  10746,  161376,  2537781,   41260086, ... A064088
    [6]  1, 7,  85, 1279,  21517,  387607,  7312789,  142648495, ... A064089
    [7]  1, 8, 113, 1982,  38886,  817062, 17981769,  409186310, ... A064090
    [8]  1, 9, 145, 2905,  65121, 1563561, 39322929, 1022586105, ... A064091
         A001844 A064096 A064302  A064303   A064304   A064305  diag: A323209
.
Seen as a triangle (by reading ascending antidiagonals):
                               1
                              1, 1
                            1, 2, 1
                           1, 3, 5, 1
                        1, 4, 13, 14, 1
                      1, 5, 25, 67, 42, 1
                   1, 6, 41, 190, 381, 132, 1

J. Abate, W. Whitt, Brownian Motion and the Generalized Catalan Numbers, J. Int. Seq. 14 (2011).
B. Derrida, E. Domany and D. Mukamel, An exact solution of a one-dimensional asymmetric exclusion model with open boundaries, J. Stat. Phys. 69, 1992, 667-687.

Rows: A000108, A064062, A064063, A064087, A064088, A064089, A064090, A064091.
Columns: A001844, A064096, A064302, A064303, A064304, A064305.
Diagonals: A323209 (main), A323208 (sup main), A323217 (sub main).
Sums of antidiagonals: A323207
Cf. A064094, A009766, A238762.

# The function ballot is defined in A238762.
A := (n, k) -> add(ballot(2*j, 2*k)*n^j, j=0..k):
for n from 0 to 6 do seq(A(n, k), k=0..9) od;
# Or by recurrence:
A := proc(n, k) option remember;
if n = 1 then return `if`(k = 0, 1, (4*k + 2)*A(1, k-1)/(k + 2)) fi:
if k < 2 then return [1, n+1][k+1] fi; n*(4*k - 2);
((%*(n - 1) - k - 1)*A(n, k-1) + %*A(n, k-2))/((n - 1)*(k + 1)) end:
for n from 0 to 6 do seq(A(n, k), k=0..9) od;
# Alternative:
Arow := proc(n, len) # Function REVERT is in Sloane's 'Transforms'.
[seq(1 + n*k, k=0..len-1)]; REVERT(%); seq((-1)^k*%[k+1], k=0..len-1) end:
for n from 0 to 8 do Arow(n, 8) od;

A[n_, k_] := Hypergeometric2F1[-k, k + 1, -k - 1, n];
Table[A[n, k], {n, 0, 8}, {k, 0, 8}]
(* Alternative: *)
prev[f_, n_] := InverseSeries[Series[-x f, {x, 0, n}]]/(-x);
f[n_, x_] := (1 + (n - 1) x)/((1 - x)^2);
For[n = 0, n < 9, n++, Print[CoefficientList[prev[f[n, x], 8], x]]]
(* Continued fraction: *)
num[k_, n_] := If[k < 2, 1, If[k == 2, -x, -n x]];
cf[n_, len_] := ContinuedFractionK[num[k, n], 1, {k, len + 2}];
Arow[n_, len_] := Rest[CoefficientList[Series[cf[n, len], {x, 0, len}], x]];
For[n = 0, n < 9, n++, Print[Arow[n, 8]]]

{A(n,k) = polcoeff((1/x)*serreverse(x*((1+(n-1)*(-x))/((1-(-x))^2)+x*O(x^k))), k)}
for(n=0, 8, for(k=0, 8, print1(A(n, k), ", ")); print())

# Valid for n > 0.
def genCatalan(n): return SR(1/(x- x^2*(1 - sqrt(1 - 4*x*n))/(2*x*n)))
for n in (1..8): print(genCatalan(n).series(x).list())
# Alternative:
def pseudo_reversion(g, invsign=false):
    if invsign: g = g.subs(x=-x)
    g = g.shift(1)
    g = g.reverse()
    g = g.shift(-1)
    return g
R. = PowerSeriesRing(ZZ)
for n in (0..6):
    f = (1+(n-1)*x)/((1-x)^2)
    s = pseudo_reversion(f, true)
    print(s.list())

A(n, k) = [x^k] 1/(x - x^2*C(n*x)) if n > 0 and C(x) = (1 - sqrt(1 - 4*x))/(2*x) is the generating function of the Catalan numbers A000108.
A(n, k) = Sum_{j=0..k} (binomial(2*k-j, k) - binomial(2*k-j, k+1))*n^(k-j).
A(n, k) = Sum_{j=0..k} binomial(k + j, k)*(1 - j/(k + 1))*n^j (cf. A009766).
A(n, k) = 1 + Sum_{j=0..k-1} ((1+j)*binomial(2*k-j, k+1)/(k-j))*n^(k-j).
A(n, k) = (1/(2*Pi))*Integral_{x=0..4*n} (sqrt(x*(4*n-x))*x^k)/(1+(n-1)*x), n>0.
A(n, k) ~ ((4*n)^k/(Pi^(1/2)*k^(3/2)))*(1+1/(2*n-1))^2.
If we shift the series f with constant term 1 to the right, invert it with respect to composition and shift the result back to the left then we call this the 'pseudo reversion' of f, prev(f). Row n of the array gives the coefficients of the pseudo reversion of f = (1 + (n - 1)*x)/((1 - x)^2) with an additional inversion of sign. Note that f is not revertible. See also the Sage implementation below.
A(n, k) = [x^k] prev((1 + (n - 1)*(-x))/(1 - (-x))^2).
A(n, k) = [x^(k+1)] cf(n, x) where cf(n, x) = K_{i>=1} c(i)/b(i) in the notation of Gauß with b(i) = 1, c(1) = 1, c(2) = -x and c(i) = -n*x for i > 2.
For a recurrence see the Maple section.

cp's OEIS Frontend

A064334 Triangle composed of generalized Catalan numbers.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Magma

Mathematica

PARI

Sage

Formula

A062991 Coefficient triangle for certain polynomials N(2; n,x) (rising powers of x).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Mathematica

SageMath

Formula

A178792 Dot product of the rows of triangle A046899 with vector (1,2,4,8,...) (= A000079).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Formula

A062992 Row sums of unsigned triangle A062991.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Haskell

Magma

Mathematica

PARI

PARI

Sage

Formula

A115193 Generalized Catalan triangle of Riordan type, called C(1,2).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Formula

A094385 Triangle read by rows: T(n, k) = binomial(2*n, k-1)*binomial(2*n-k-1, n-k)/n for n, k >= 1, and T(n, 0) = 0^n.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Magma

Mathematica

SageMath

Formula

A094385 Triangle read by rows: T(n, k) = binomial(2n, k-1)binomial(2*n-k-1, n-k)/n for n, k >= 1, and T(n, 0) = 0^n.