A009766 -id:A009766 - cp's OEIS frontend

A033184 Catalan triangle A009766 transposed.

1, 1, 1, 2, 2, 1, 5, 5, 3, 1, 14, 14, 9, 4, 1, 42, 42, 28, 14, 5, 1, 132, 132, 90, 48, 20, 6, 1, 429, 429, 297, 165, 75, 27, 7, 1, 1430, 1430, 1001, 572, 275, 110, 35, 8, 1, 4862, 4862, 3432, 2002, 1001, 429, 154, 44, 9, 1

Offset: 1

Christian G. Bower

Triangle read by rows: T(n,k) = number of Dyck n-paths (A000108) containing k returns to ground level. E.g., the paths UDUUDD, UUDDUD each have 2 returns; so T(3,2)=2. Row sums over even-indexed columns are the Fine numbers A000957. - David Callan, Jul 25 2005
Triangular array of numbers a(n,k) = number of linear forests of k planted planar trees and n non-root nodes.
Catalan convolution triangle; with offset [0,0]: a(n,m)=(m+1)*binomial(2*n-m,n-m)/(n+1), n >= m >= 0, else 0. G.f. for column m: c(x)*(x*c(x))^m with c(x) g.f. for A000108 (Catalan). - Wolfdieter Lang, Sep 12 2001
a(n+1,m+1), n >= m >= 0, a(n,m) := 0, nA030528(n,m)*(-1)^(n-m).
a(n,k)=number of Dyck paths of semilength n and having k returns to the axis. Also number of Dyck paths of semilength n and having first peak at height k. Also number of ordered trees with n edges and root degree k. Also number of ordered trees with n edges and having the leftmost leaf at level k. Also number of parallelogram polyominoes of semiperimeter n+1 and having k cells in the leftmost column. - Emeric Deutsch, Mar 01 2004
Triangle T(n,k) with 1<=k<=n given by [0, 1, 1, 1, 1, 1, 1, 1, ...] DELTA [1, 0, 0, 0, 0, 0, 0, 0, ...] = 1; 0, 1; 0, 1, 1; 0, 2, 2, 1; 0, 5, 5, 3, 1; 0, 14, 14, 9, 4, 1; ... where DELTA is the operator defined in A084938; essentially the same triangle as A059365. - Philippe Deléham, Jun 14 2004
Number of Dyck paths of semilength and having k-1 peaks at height 2. - Emeric Deutsch, Aug 31 2004
Riordan array (c(x),x*c(x)), c(x) the g.f. of A000108. Inverse of Riordan array (1-x,x*(1-x)). - Paul Barry, Jun 22 2005
Subtriangle of triangle A106566. - Philippe Deléham, Jan 07 2007
T(n, k) is also the number of order-preserving and order-decreasing full transformations (of an n-chain) with exactly k fixed points. - Abdullahi Umar, Oct 02 2008
Triangle read by rows, product of A065600 and A007318 considered as infinite lower triangular arrays; A033184 = A065600*A007318. - Philippe Deléham, Dec 07 2009
The formula stating "Column k is the k-fold convolution of column 1" is equivalent to repeatedly applying M to [1,0,0,0,...], where M is an upper triangular matrix of all 1's with an additional single subdiagonal of 1's. - Gary W. Adamson, Jun 06 2011
4^(n-1) = (n-th row terms) dot (first n terms in A001792), where A001792 = binomial transform of the natural numbers: (1, 3, 8, 20, 48, 112, ...). Example: 4^4 = 256 = (14, 14, 9, 4, 1) dot (1, 3, 8, 20, 48) = (42 + 42 + 28 + 14 + 5 + 1) = 256. - Gary W. Adamson, Jun 17 2011
The e.g.f. for the n-th subdiagonal of the triangle has the form exp(x)*P(n,x), where P(n,x) is the e.g.f. for row n of triangle A039599. For example, the third row of A039599 is [5, 9, 5, 1] and so the third subdiagonal sequence of this triangle [5, 14, 28, 48, 75, ...] has the e.g.f. exp(x)*(5 + 9*x + 5*x^2/2! + x^3/3!). - Peter Bala, Oct 15 2019
Antidiagonals of convolution matrix of Table 1.3, p. 397, of Hoggatt and Bicknell. - Tom Copeland, Dec 25 2019
Also the convolution triangle of A120588(n) = A000108(n-1) for n > 0. - Peter Luschny, Oct 07 2022

			Triangle begins:
  ---+-----------------------------------
  n\k|   1    2    3    4    5    6    7
  ---+-----------------------------------
   1 |   1
   2 |   1    1
   3 |   2    2    1
   4 |   5    5    3    1
   5 |  14   14    9    4    1
   6 |  42   42   28   14    5    1
   7 | 132  132   90   48   20    6    1
From _Peter Bala_, Feb 17 2025: (Start)
The array factorizes as an infinite product (read from right to left) of triangular arrays:
  / 1               \        / 1              \ / 1              \ / 1             \
  | 1    1           |       | 0   1          | | 0  1           | | 1  1          |
  | 2    2   1       | = ... | 0   0   1      | | 0  1   1       | | 1  1  1       |
  | 5    5   3   1   |       | 0   0   1  1   | | 0  1   1  1    | | 1  1  1  1    |
  |14   14   9   4  1|       | 0   0   1  1  1| | 0  1   1  1  1 | | 1  1  1  1  1 |
  |...               |       |...             | |...             | |...            |
See Bala, Example 2.1. (End)

Reinhard Zumkeller, Rows n = 1..125 of triangle, flattened
José Agapito, Ângela Mestre, Maria M. Torres, and Pasquale Petrullo, On One-Parameter Catalan Arrays, Journal of Integer Sequences, Vol. 18 (2015), Article 15.5.1.
M. Aigner, Enumeration via ballot numbers, Discrete Math., 308 (2008), 2544-2563.
J. L. Arregui, Tangent and Bernoulli numbers related to Motzkin and Catalan numbers by means of numerical triangles, arXiv:math/0109108 [math.NT], 2001.
Peter Bala, Factorisations of some Riordan arrays as infinite products
Jean-Luc Baril and Paul Barry, Two kinds of partial Motzkin paths with air pockets, arXiv:2212.12404 [math.CO], 2022.
Paul Barry, Invariant number triangles, eigentriangles and Somos-4 sequences, arXiv preprint arXiv:1107.5490 [math.CO], 2011.
Paul Barry, Riordan Arrays, Orthogonal Polynomials as Moments, and Hankel Transforms, J. Int. Seq. 14 (2011) # 11.2.2, example 3.
Paul Barry, On the Central Coefficients of Bell Matrices, J. Int. Seq. 14 (2011) # 11.4.3 example 6.
Paul Barry, Riordan-Bernstein Polynomials, Hankel Transforms and Somos Sequences, Journal of Integer Sequences, Vol. 15 2012, #12.8.2.
Paul Barry, Comparing two matrices of generalized moments defined by continued fraction expansions, arXiv preprint arXiv:1311.7161 [math.CO], 2013 and J. Int. Seq. 17 (2014) # 14.5.1.
Paul Barry, Embedding structures associated with Riordan arrays and moment matrices, arXiv preprint arXiv:1312.0583 [math.CO], 2013.
Paul Barry, Generalized Catalan Numbers Associated with a Family of Pascal-like Triangles, J. Int. Seq., Vol. 22 (2019), Article 19.5.8.
Paul Barry, A Note on Riordan Arrays with Catalan Halves, arXiv:1912.01124 [math.CO], 2019.
Paul Barry, Chebyshev moments and Riordan involutions, arXiv:1912.11845 [math.CO], 2019.
Paul Barry, The second production matrix of a Riordan array, arXiv:2011.13985 [math.CO], 2020.
Paul Barry, A Riordan array family for some integrable lattice models, arXiv:2409.09547 [math.CO], 2024. See p. 9.
Paul Barry, Extensions of Riordan Arrays and Their Applications, Mathematics (2025) Vol. 13, No. 2, 242. See p. 13.
Paul Barry, Notes on Riordan arrays and lattice paths, arXiv:2504.09719 [math.CO], 2025. See pp. 15, 29.
Paul Barry and A. Hennessy, Meixner-Type Results for Riordan Arrays and Associated Integer Sequences, J. Int. Seq. 13 (2010) # 10.9.4.
Paul Barry and A. Hennessy, Four-term Recurrences, Orthogonal Polynomials and Riordan Arrays, Journal of Integer Sequences, 2012, article 12.4.2. - From _N. J. A. Sloane_, Sep 21 2012
A. Bernini, M. Bouvel and L. Ferrari, Some statistics on permutations avoiding generalized patterns, PU.M.A. Vol. 18 (2007), No. 3-4, pp. 223-237.
S. Brlek, E. Duchi, E. Pergola and S. Rinaldi, On the equivalence problem for succession rules, Discr. Math., 298 (2005), 142-154.
Fangfang Cai, Qing-Hu Hou, Yidong Sun and Arthur L.B. Yang, Combinatorial identities related to 2X2 submatrices of recursive matrices, arXiv:1808.05736 [math.CO], 2018.
David Callan, A recursive bijective approach to counting permutations..., arXiv:math/0211380 [math.CO], 2002.
N. T. Cameron, Random walks, trees and extensions of Riordan group techniques, Dissertation, Howard University, 2002.
Naiomi Cameron and J. E. McLeod, Returns and Hills on Generalized Dyck Paths, Journal of Integer Sequences, Vol. 19, 2016, #16.6.1.
Matteo Cervetti and Luca Ferrari, Enumeration of Some Classes of Pattern Avoiding Matchings, with a Glimpse into the Matching Pattern Poset, Annals of Combinatorics (2022).
Xiaomei Chen, Counting humps and peaks in Motzkin paths with height k, arXiv:2412.00668 [math.CO], 2024. See p. 6.
Gi-Sang Cheon, Hana Kim and Louis W. Shapiro, Combinatorics of Riordan arrays with identical A and Z sequences, Discrete Math., 312 (2012), 2040-2049.
Gi-Sang Cheon, S.-T. Jin and L. W. Shapiro, A combinatorial equivalence relation for formal power series, Linear Algebra and its Applications, Volume 491, 15 February 2016, Pages 123-137; Proceedings of the 19th ILAS Conference, Seoul, South Korea 2014.
Lapo Cioni and Luca Ferrari, Preimages under the Queuesort algorithm, arXiv preprint arXiv:2102.07628 [math.CO], 2021; Discrete Math., 344 (2021), #112561.
Emeric Deutsch, Dyck path enumeration, Discrete Math., 204, 1999, 167-202.
FindStat - Combinatorial Statistic Finder, The number of touch points of a Dyck path, The number of initial rises of a Dyck paths, The number of nodes on the left branch of the tree, The number of subtrees.
Shishuo Fu and Yaling Wang, Bijective recurrences concerning two Schröder triangles, arXiv:1908.03912 [math.CO], 2019.
Samuele Giraudo, Tree series and pattern avoidance in syntax trees, arXiv:1903.00677 [math.CO], 2019.
Peter M. Higgins, Combinatorial results for semigroups of order-preserving mappings, Math. Proc. Camb. Phil. Soc. 113 (1993), 281-296. [From _Abdullahi Umar_, Oct 02 2008]
V. E. Hoggatt, Jr. and M. Bicknell, Catalan and related sequences arising from inverses of Pascal's triangle matrices, Fib. Quart., 14 (1976), 395-405.
JiSun Huh, Sangwook Kim, Seunghyun Seo, and Heesung Shin, On 102-avoiding inversion sequences, arXiv:2506.02985 [math.CO], 2025. See p. 13.
Wolfdieter Lang, On generalizations of Stirling number triangles, J. Integer Seqs., Vol. 3 (2000), #00.2.4.
Wolfdieter Lang, On polynomials related to powers of the generating function of Catalan numbers, The Fibonacci Quart. 38 (2000) 408-19.
P. J. Larcombe and D. R. French, The Catalan number k-fold self-convolution identity: the original formulation, Journal of Combinatorial Mathematics and Combinatorial Computing 46 (2003) 191-204.
Toufik Mansour and Mark Shattuck, Enumeration of Catalan and smooth words according to capacity, Integers (2025) Vol. 25, Art. No. A5. See p. 12.
R. J. Mathar, Topologically Distinct Sets of Non-intersecting Circles in the Plane, arXiv:1603.00077 [math.CO], 2016.
D. Merlini, R. Sprugnoli and M. C. Verri, An algebra for proper generating trees
J. Noonan and D. Zeilberger, The Enumeration of Permutations With a Prescribed Number of ``Forbidden'' Patterns, arXiv:math/9808080 [math.CO], 1998; Also Adv. in Appl. Math. 17 (1996), no. 4, 381--407. MR1422065 (97j:05003).
J.-C. Novelli and J.-Y. Thibon, Noncommutative Symmetric Functions and Lagrange Inversion, arXiv:math/0512570 [math.CO], 2005-2006.
J. M. Pallo, Enumerating, Ranking and Unranking Binary Trees, The Computer Journal, Volume 29, Issue 2, 1986, Pages 171-175.
R. Pemantle and M. C. Wilson, Twenty Combinatorial Examples of Asymptotics Derived from Multivariate Generating Functions, SIAM Rev., 50 (2008), no. 2, 199-272. See p. 264.
A. Reifegerste, On the diagram of 132-avoiding permutations, arXiv:math/0208006 [math.CO], 2002.
A. Robertson, D. Saracino and D. Zeilberger, Refined restricted permutations, arXiv:math/0203033 [math.CO], 2002.
Yuriy Shablya, Dmitry Kruchinin and Vladimir Kruchinin, Method for Developing Combinatorial Generation Algorithms Based on AND/OR Trees and Its Application, Mathematics (2020) Vol. 8, No. 6, 962.
Yidong Sun and Fei Ma, Four transformations on the Catalan triangle, arXiv preprint arXiv:1305.2017 [math.CO], 2013.
Yidong Sun and Fei Ma, Some new binomial sums related to the Catalan triangle, Electronic Journal of Combinatorics 21(1) (2014), #P1.33.
A. Umar, Some combinatorial problems in the theory of symmetric inverse semigroups, Algebra Disc. Math. 9 (2010) 115-126.
Sheng-Liang Yang and L. J. Wang, Taylor expansions for the m-Catalan numbers, Australasian Journal of Combinatorics, Volume 64(3) (2016), Pages 420-431.
S.-n. Zheng and S.-l. Yang, On the-Shifted Central Coefficients of Riordan Matrices, Journal of Applied Mathematics, Volume 2014, Article ID 848374, 8 pages.

Rows of Catalan triangle A009766 read backwards.
a(n, 1) = A000108(n-1). Row sums = A000108(n) (Catalan).
The following are all versions of (essentially) the same Catalan triangle: A009766, A030237, A033184, A059365, A099039, A106566, A130020, A047072.
Diagonals give A000108, A000245, A002057, A000344, A003517, A000588, A003518, A003519, A001392.
Cf. A116364 (row squared sums), A120588.

a033184 n k = a033184_tabl !! (n-1) !! (k-1)
a033184_row n = a033184_tabl !! (n-1)
a033184_tabl = map reverse a009766_tabl
-- Reinhard Zumkeller, Feb 19 2014

/* As triangle: */ [[Binomial(2*n-k,n)*k/(2*n-k): k in [1..n]]: n in [1.. 15]]; // Vincenzo Librandi, Oct 12 2015

a := proc(n,k) if k<=n then k*binomial(2*n-k,n)/(2*n-k) else 0 fi end: seq(seq(a(n,k),k=1..n),n=1..10);
# Uses function PMatrix from A357368. Adds row and column for n, k = 0.
PMatrix(10, n -> binomial(2*(n-1), n-1) / n); # Peter Luschny, Oct 07 2022

nn = 10; c = (1 - (1 - 4 x)^(1/2))/(2 x); f[list_] := Select[list, # > 0 &]; Map[f, Drop[CoefficientList[Series[y x c/(1 - y x c), {x, 0, nn}], {x, y}],1]] //Flatten (* Geoffrey Critzer, Jan 31 2012 *)
Flatten[Reverse /@ NestList[Append[Accumulate[#], Last[Accumulate[#]]] &, {1}, 9]] (* Birkas Gyorgy, May 19 2012 *)
T[1, 1] := 1; T[n_, k_]/;1<=k<=n := T[n, k] = T[n-1, k-1]+T[n, k+1]; T[n_, k_] := 0; Flatten@Table[T[n, k], {n, 1, 10}, {k, 1, n}] (* Oliver Seipel, Dec 31 2024 *)

T(n,k)=binomial(2*(n-k)+k,n-k)*(k+1)/(n+1) \\ Paul D. Hanna, Aug 11 2008

# The simplest way to construct the triangle.
def A033184_triangle(n) :
    T = [0 for i in (0..n)]
    for k in (1..n) :
        T[k] = 1
        for i in range(k-1,0,-1) :
            T[i] = T[i-1] + T[i+1]
        print([T[i] for i in (1..k)])
A033184_triangle(10) # Peter Luschny, Jan 27 2012

Column k is the k-fold convolution of column 1. The triangle is also defined recursively by (i) entries outside triangle are 0, (ii) top left entry is 1, (iii) every other entry is sum of its east and northwest neighbor. - David Callan, Jul 25 2005
G.f.: t*x*c/(1-t*x*c), where c=(1-sqrt(1-4*x))/(2*x) is the g.f. of the Catalan numbers (A000108). - Emeric Deutsch, Mar 01 2004
T(n+1,k+1) = C(2*n-k, n-k)*(k+1)/(n+1). - Paul D. Hanna, Aug 11 2008
T((m+1)*n+r-1,m*n+r-1)*r/(m*n+r) = Sum_{k=1..n} (k/n)*T((m+1)*n-k-1,m*n-1)*T(r+k,r), n >= m > 1. - Vladimir Kruchinin, Mar 17 2011
T(n-1,m-1) = (m/n)*Sum_{k=1..n-m+1} (k*A000108(k-1)*T(n-k-1,m-2)), n >= m > 1. - Vladimir Kruchinin, Mar 17 2011
T(n,k) = C(2*n-k-1,n-k) - C(2*n-k-1,n-k-1). - Dennis P. Walsh, Mar 19 2012
T(n,k) = C(2*n-k,n)*k/(2*n-k). - Dennis P. Walsh, Mar 19 2012
T(n,k) = T(n,k-1) - T(n-1,k-2). - Dennis P. Walsh, Mar 19 2012
G.f.: 2*x*y / (1 + sqrt(1 - 4*x) - 2*x*y) = Sum_{n >= k > 0} T(n, k) * x^n * y^k. - Michael Somos, Jun 06 2016

A120730 Another version of Catalan triangle A009766.

Original entry on oeis.org

1, 0, 1, 0, 1, 1, 0, 0, 2, 1, 0, 0, 2, 3, 1, 0, 0, 0, 5, 4, 1, 0, 0, 0, 5, 9, 5, 1, 0, 0, 0, 0, 14, 14, 6, 1, 0, 0, 0, 0, 14, 28, 20, 7, 1, 0, 0, 0, 0, 0, 42, 48, 27, 8, 1, 0, 0, 0, 0, 0, 42, 90, 75, 35, 9, 1, 0, 0, 0, 0, 0, 0, 132, 165, 110, 44, 10, 1

Offset: 0

Philippe Deléham, Aug 17 2006, corrected Sep 15 2006

Triangle T(n,k), 0 <= k <= n, read by rows, given by [0, 1, -1, 0, 0, 1, -1, 0, 0, 1, -1, 0, 0, ...] DELTA [1, 0, 0, -1, 1, 0, 0, -1, 1, 0, 0, -1, 1, ...] where DELTA is the operator defined in A084938.
Aerated version gives A165408. - Philippe Deléham, Sep 22 2009
T(n,k) is the number of length n left factors of Dyck paths having k up steps. Example: T(5,4)=4 because we have UDUUU, UUDUU, UUUDU, and UUUUD, where U=(1,1) and D=(1,-1). - Emeric Deutsch, Jun 19 2011
With zeros omitted: 1,1,1,1,2,1,2,3,1,5,4,1,... = A008313. - Philippe Deléham, Nov 02 2011

			As a triangle, this begins:
  1;
  0,  1;
  0,  1,  1;
  0,  0,  2,  1;
  0,  0,  2,  3,  1;
  0,  0,  0,  5,  4,  1;
  0,  0,  0,  5,  9,  5,  1;
  0,  0,  0,  0, 14, 14,  6,  1;
  ...

Alois P. Heinz, Rows n = 0..200, flattened

Cf. A000007, A000096, A000108, A001405, A001477, A003161, A005586, A005587.
Cf. A008313, A009766, A039598, A039599, A084938, A099376, A105523, A121725.
Cf. A126087, A128386, A121724, A128387, A129123, A132373, A132374, A132375.
Cf. A132889, A151162, A151254, A151281, A156195, A156361, A156362, A156566.
Cf. A156577, A165408, A357654.

A120730:= func< n,k | n gt 2*k select 0 else Binomial(n, k)*(2*k-n+1)/(k+1) >;
[A120730(n,k): k in [0..n], n in [0..13]]; // G. C. Greubel, Nov 07 2022

G := 4*z/((2*z-1+sqrt(1-4*z^2*t))*(1+sqrt(1-4*z^2*t))): Gser := simplify(series(G, z = 0, 13)): for n from 0 to 12 do P[n] := sort(coeff(Gser, z, n)) end do: for n from 0 to 12 do seq(coeff(P[n], t, k), k = 0 .. n) end do; # yields sequence in triangular form  # Emeric Deutsch, Jun 19 2011
# second Maple program:
b:= proc(x, y) option remember; `if`(y<0 or y>x, 0,
     `if`(x=0, 1, add(b(x-1, y+j), j=[-1, 1])))
    end:
T:= (n, k)-> b(n, 2*k-n):
seq(seq(T(n, k), k=0..n), n=0..14);  # Alois P. Heinz, Oct 13 2022

b[x_, y_]:= b[x, y]= If[y<0 || y>x, 0, If[x==0, 1, Sum[b[x-1, y+j], {j, {-1, 1}}] ]];
T[n_, k_] := b[n, 2 k - n];
Table[Table[T[n, k], {k, 0, n}], {n, 0, 14}] // Flatten (* Jean-François Alcover, Oct 21 2022, after Alois P. Heinz *)
T[n_, k_]:= If[n>2*k, 0, Binomial[n, k]*(2*k-n+1)/(k+1)];
Table[T[n, k], {n,0,13}, {k,0,n}]//Flatten (* G. C. Greubel, Nov 07 2022 *)

def A120730(n,k): return 0 if (n>2*k) else binomial(n, k)*(2*k-n+1)/(k+1)
flatten([[A120730(n,k) for k in range(n+1)] for n in range(14)]) # G. C. Greubel, Nov 07 2022

G.f.: G(t,z) = 4*z/((2*z-1+sqrt(1-4*t*z^2))*(1+sqrt(1-4*t*z^2))). - Emeric Deutsch, Jun 19 2011
Sum_{k=0..n} x^k*T(n,n-k) = A001405(n), A126087(n), A128386(n), A121724(n), A128387(n), A132373(n), A132374(n), A132375(n), A121725(n) for x=1,2,3,4,5,6,7,8,9 respectively. [corrected by Philippe Deléham, Oct 16 2008]
T(2*n,n) = A000108(n); A000108: Catalan numbers.
From Philippe Deléham, Oct 18 2008: (Start)
Sum_{k=0..n} T(n,k)^2 = A000108(n) and Sum_{n>=k} T(n,k) = A000108(k+1).
Sum_{k=0..n} T(n,k)^3 = A003161(n).
Sum_{k=0..n} T(n,k)^4 = A129123(n). (End)
Sum_{k=0..n}, T(n,k)*x^k = A000007(n), A001405(n), A151281(n), A151162(n), A151254(n), A156195(n), A156361(n), A156362(n), A156566(n), A156577(n) for x=0,1,2,3,4,5,6,7,8,9 respectively. - Philippe Deléham, Feb 10 2009
From G. C. Greubel, Nov 07 2022: (Start)
T(n, k) = 0 if n > 2*k, otherwise binomial(n, k)*(2*k-n+1)/(k+1).
Sum_{k=0..n} (-1)^k*T(n,k) = A105523(n).
Sum_{k=0..n} (-1)^k*T(n,k)^2 = -A132889(n), n >= 1.
Sum_{k=0..floor(n/2)} T(n-k, k) = A357654(n).
T(n, n-1) = A001477(n).
T(n, n-2) = [n=2] + A000096(n-3), n >= 2.
T(n, n-3) = 2*[n<5] + A005586(n-5), n >= 3.
T(n, n-4) = 5*[n<7] - 2*[n=4] + A005587(n-7), n >= 4.
T(2*n+1, n+1) = A000108(n+1), n >= 0.
T(2*n-1, n+1) = A099376(n-1), n >= 1. (End)

A064059 Seventh column of Catalan triangle A009766.

Original entry on oeis.org

132, 429, 1001, 2002, 3640, 6188, 9996, 15504, 23256, 33915, 48279, 67298, 92092, 123970, 164450, 215280, 278460, 356265, 451269, 566370, 704816, 870232, 1066648, 1298528, 1570800, 1888887, 2258739, 2686866, 3180372, 3746990, 4395118, 5133856, 5973044

Offset: 0

Wolfdieter Lang, Sep 13 2001

G. C. Greubel, Table of n, a(n) for n = 0..1000
Richard K. Guy, Catwalks, sandsteps and Pascal pyramids, J. Integer Sequences, Vol. 3 (2000), Article 00.1.6.
Index entries for linear recurrences with constant coefficients, signature (7,-21,35,-35,21,-7,1).

Cf. A000096, A005586, A005587, A005557 (third to sixth column).

A064059:= func< n | (n+1)*Binomial(n+12,5)/6 >;
[A064059(n): n in [0..40]]; // G. C. Greubel, Sep 27 2024

[seq(binomial(n+1,6)-2*binomial(n,5),n=12..55)]; # Zerinvary Lajos, Jul 19 2006

CoefficientList[Series[(42 z^5-252 z^4+616 z^3-770 z^2+495 z-132)/(z-1)^7, {z, 0, 200}], z] (* Vladimir Joseph Stephan Orlovsky, Jun 22 2011 *)
LinearRecurrence[{7,-21,35,-35,21,-7,1},{132,429,1001,2002,3640,6188,9996},40] (* Harvey P. Dale, Jan 08 2025 *)

def A064059(n): return (n+1)*binomial(n+12,5)//6
[A064059(n) for n in range(41)] # G. C. Greubel, Sep 27 2024

G.f.: (132-495*x+770*x^2-616*x^3+252*x^4-42*x^5)/(1-x)^7; numerator polynomial is N(2;5, x) from A062991.
a(n) = A009766(n+6, 6) = (n+1)*binomial(n+12,5)/6.
a(n) = binomial(n+13,6) - 2*binomial(n+12,5). - Zerinvary Lajos, Jul 19 2006
a(n) = A214292(n+11,5). - Reinhard Zumkeller, Jul 12 2012
From Amiram Eldar, Sep 06 2022: (Start)
Sum_{n>=0} 1/a(n) = 25961/2134440.
Sum_{n>=0} (-1)^n/a(n) = 4160*log(2)/77 - 79917773/2134440. (End)

A030238 Backwards shallow diagonal sums of Catalan triangle A009766.

Original entry on oeis.org

1, 1, 3, 7, 20, 59, 184, 593, 1964, 6642, 22845, 79667, 281037, 1001092, 3595865, 13009673, 47366251, 173415176, 638044203, 2357941142, 8748646386, 32576869203, 121701491701, 456012458965, 1713339737086, 6453584646837, 24364925260024, 92185136438942

Offset: 0

Wouter Meeussen

nonn

Number of linear forests of planted planar trees with n nodes (Christian G. Bower).
Number of ordered trees with n+2 edges and having no branches of length 1 starting from the root. Example: a(1)=1 because the only ordered tree with 3 edges having no branch of length 1 starting from the root is the path tree of length 3. a(n) = A127158(n+2,0). - Emeric Deutsch, Mar 01 2007
Hankel transform is A056520. - Paul Barry, Oct 16 2007

Vincenzo Librandi, Table of n, a(n) for n = 0..200
S. B. Ekhad and M. Yang, Proofs of Linear Recurrences of Coefficients of Certain Algebraic Formal Power Series Conjectured in the On-Line Encyclopedia Of Integer Sequences, (2017)
Taras Goy and Mark Shattuck, Hessenberg-Toeplitz Matrix Determinants with Schröder and Fine Number Entries, Carpathian Math. Publ., Vol. 15 (2023), No. 2, 420-436. See Theorem 3.

Cf. A000108, A009766, A127158, A132364.

g:=(1-sqrt(1-4*z))/z/(2-z+z*sqrt(1-4*z)): gser:=series(g,z=0,30): seq(coeff(gser,z,n),n=0..25); # Emeric Deutsch, Mar 01 2007

Sum[ triangle[ n-k, (n-k)-(k-1) ], {k, 1, Floor[ (n+1)/2 ]} ]
CoefficientList[Series[(1-Sqrt[1-4*x])/x/(2-x+x*Sqrt[1-4*x]), {x, 0, 20}], x] (* Vaclav Kotesovec, Feb 13 2014 *)

INVERT transform of 1, 2, 2, 5, 14, 42, 132, ... (cf. A000108).
a(n) = Sum_{k=0..floor(n/2)} (k+1)*binomial(2*n-3*k+1, n-k+1)/(2*n-3*k+1). Diagonal sums of A033184. - Paul Barry, Jun 22 2004
a(n) = Sum_{k=0..floor(n/2)} (k+1)*binomial(2*n-3*k, n-k)/(n-k+1). - Paul Barry, Feb 02 2005
G.f.: (1-sqrt(1-4*z))/(z*(2-z+z*sqrt(1-4*z))). - Emeric Deutsch, Mar 01 2007
G.f.: c(z)/(1-z^2*c(z)) where c(z) = (1-sqrt(1-4*z))/(2*z). - Ira M. Gessel, Sep 21 2020
D-finite with recurrence: (n+1)*a(n) + (-5*n+1)*a(n-1) + 2*(2*n-1)*a(n-2) + (n+1)*a(n-3) + 2*(-2*n+1)*a(n-4) = 0. - R. J. Mathar, Nov 30 2012
a(n) = Sum_{k=0..n} A000108(k)*A132364(n-k). - Philippe Deléham, Feb 27 2013
a(n) ~ 2^(2*n+6) / (49 * sqrt(Pi) * n^(3/2)). - Vaclav Kotesovec, Feb 13 2014

More terms from Christian G. Bower, Apr 15 1998

A064061 Eighth column of Catalan triangle A009766.

Original entry on oeis.org

429, 1430, 3432, 7072, 13260, 23256, 38760, 62016, 95931, 144210, 211508, 303600, 427570, 592020, 807300, 1085760, 1442025, 1893294, 2459664, 3164480, 4034712, 5101360, 6399888, 7970688, 9859575, 12118314, 14805180, 17985552, 21732542, 26127660, 31261516

Offset: 0

Wolfdieter Lang, Sep 13 2001

G. C. Greubel, Table of n, a(n) for n = 0..1000
Richard K. Guy, Catwalks, sandsteps and Pascal pyramids, J. Integer Sequences, Vol. 3 (2000), Article 00.1.6.
Index entries for linear recurrences with constant coefficients, signature (8,-28,56,-70,56,-28,8,-1).

Cf. A009766, A064059 (seventh column), A062991, A214292.

A064061:= func< n | (n+1)*Binomial(n+14, 6)/7 >;
[A064061(n): n in [0..40]]; // G. C. Greubel, Sep 28 2024

[seq(binomial(n,7)-binomial(n,5),n=13..37)]; # Zerinvary Lajos, Nov 25 2006

CoefficientList[Series[(132*z^6 - 924*z^5 + 2730*z^4 - 4368*z^3 + 4004*z^2 - 2002*z + 429)/(z - 1)^8, {z, 0, 100}], z] (* Vladimir Joseph Stephan Orlovsky, Jul 16 2011 *)
Table[Binomial[n,7]-Binomial[n,5],{n,13,50}] (* or *) LinearRecurrence[ {8,-28,56,-70,56,-28,8,-1},{429,1430,3432,7072,13260,23256,38760,62016},40] (* Harvey P. Dale, Sep 03 2015 *)

def A064061(n): return (n+1)*binomial(n+14,6)//7
[A064061(n) for n in range(41)] # G. C. Greubel, Sep 28 2024

a(n) = A009766(n+7, 7) = (n+1)*binomial(n+14, 6)/7.
G.f.: (429-2002*x+4004*x^2-4368*x^3+2730* x^4-924*x^5+132*x^6)/(1-x)^8; numerator polynomial is N(2;6, x) from A062991.
a(n) = C(n+13,7) - C(n+13,5). - Zerinvary Lajos, Nov 25 2006
a(n) = A214292(n+13,6). - Reinhard Zumkeller, Jul 12 2012
From Amiram Eldar, Sep 06 2022: (Start)
Sum_{n>=0} 1/a(n) = 323171/88339680.
Sum_{n>=0} (-1)^n/a(n) = 7929257917/88339680 - 55552*log(2)/429. (End)

A234950 Borel's triangle read by rows: T(n,k) = Sum_{s=k..n} binomial(s,k)*C(n,s), where C(n,s) is an entry in Catalan's triangle A009766.

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

N. J. A. Sloane, Jan 11 2014

			Triangle begins:
     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,
  ...

Reinhard Zumkeller, Rows n=0..125 of triangle, flattened
Antoine Abram, Florent Hivert, James D. Mitchell, Jean-Christophe Novelli, and Maria Tsalakou, Power Quotients of Plactic-like Monoids, arXiv:2406.16387 [math.CO], 2024. See p. 5.
Paul Barry, Characterizations of the Borel triangle and Borel polynomials, arXiv:2001.08799 [math.CO], 2020.
Steve Butler, R. Graham, and C. H. Yan, Parking distributions on trees, European Journal of Combinatorics 65 (2017), 168-185.
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.
G. Chatel and V. Pilaud, Cambrian Hopf Algebras, arXiv:1411.3704 [math.CO], 2014-2015.
C. A. Francisco, J. Mermin, and J. Schweig, Catalan numbers, binary trees, and pointed pseudotriangulations, preprint 2013; European Journal of Combinatorics, Volume 45, April 2015, pp. 85-96.
Lord C. Kavi and Michael W. Newman, Counting closed walks in infinite regular trees using Catalan and Borel's triangles, arXiv:2212.08795 [math.CO], 2022.
A. Lakshminarayan, Z. Puchala, and K. Zyczkowski, Diagonal unitary entangling gates and contradiagonal quantum states, arXiv preprint arXiv:1407.1169 [quant-ph], 2014.
Jeffrey B. Remmel, Consecutive Up-down Patterns in Up-down Permutations, Electron. J. Combin., 21 (2014), #P3.2. See pp. 21-22. - _N. J. A. Sloane_, Jul 12 2014

A062991 is a signed version. See also A094385 for another version.
Cf. A009766.
The two borders give the Catalan numbers A000108.
Cf. A062992 (row sums).
The second and third columns give A002694 and A244887.

a234950 n k = sum [a007318 s k * a009766 n s | s <- [k..n]]
a234950_row n = map (a234950 n) [0..n]
a234950_tabl = map a234950_row [0..]
-- Reinhard Zumkeller, Jan 12 2014

T := (n,k) -> 2*binomial(2*n+1,n)*(n-k+1)*binomial(n+1,k)/((k+n+1)*(k+n+2)):
seq(seq(T(n,k), k=0..n), n=0..8); # Peter Luschny, Sep 04 2018

T[n_, k_] := 2 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, from Maple *)

T(n,k) = sum(s=k, n, binomial(s, k)*binomial(n+s, n)*(n-s+1)/(n+1));
tabl(nn) = for (n=0, nn, for (k=0, n, print1(T(n,k), ", ")); print();); \\ Michel Marcus, Sep 06 2015

G.f.: 1/x*(1-sqrt(1-4*x-4*x*y))/(1+2*y+sqrt(1-4*x-4*x*y)). - Vladimir Kruchinin, Sep 04 2018

T(n,k) = 2*binomial(2*n+1,n)*(n-k+1)*binomial(n+1,k)/((k+n+1)*(k+n+2)). - Peter Luschny, Sep 04 2018

For the m-th level generalization of Catalan triangle T(n,k) = C(n+mk,k)*(n-k+1)/(n+(m-1)k+1); for n >= k+m: T(n,k) = T(n-m+1,k+1) - T(n-m,k+1); and T(n,n) = T(n+m-1,n-1) = C((m+1)n,n)/(mn+1).

Antidiagonals of convolution matrix of Table 1.5, p. 397, of Hoggatt and Bicknell. - Tom Copeland, Dec 25 2019

The triangle's n-th row is also related to recurrences for sequences f(n) which p-th differences, p=n+2: The denominator of the generating function contains a factor 1-2x in these cases.
This factor may be "lifted" either by looking at auxiliary sequences f(n+1)-2f(n) or by considering the corresponding "degenerate" shorter recurrences right away. In the case p=4, the recurrence is f(n)=4f(n-1)-6f(n-2)+4f(n-3) from the 4th row in A135356, the denominator in the g.f. is 1-4x+6x^2-4x^3=(1-2x)(1-2x+2x^2), which yields the degenerate recurrence f(n)=2f(n-1)-2f(n-2) from the 2nd factor and leaves the first three coefficients of 1/(1-2x+2x^2)=1+2x+2x^2+.. in row 2.
A000749 is an example which follows the recurrence but not the degenerate recurrence, but still A000749(n+1)-2A000749(n) = 0, 0, 1, 2, 2,.. starts with the 3 coefficients. A009545 follows both recurrences and starts with the three nonzero terms because there is only a power of x in the numerator of the g.f.
In the case p=5, the recurrence is f(n)=5f(n-1)-10f(n-2)+10f(n-3)-5f(n-4)+2f(n-5), the denominator in the g.f. is 1-5x+10x^2-10x^3+5x^4-2x^5= (1-2x)(1-3x+4x^2-2x^3+x^4), where 1/(1-3x+4x^2-2x^3+x^4) = 1+3x+5x^2+5x^3+... and the 4 coefficients populate row 3.
A049016 obeys the main recurrence but not the degenerate recurrence f(n)=3f(n-1)-4f(n-2)+2f(n-3)-f(n-4), yet A049016(n+1)-2A049016(n)=1, 3, 5, 5,.. starts with the 4 coefficients. A138112 obeys both recurrences and is constructed to start with the 4 coefficients themselves.
In the nomenclature of Foata and Han, this is the doubloon polynomial triangle d_{n,m}(0), up to index shifts. - R. J. Mathar, Jan 27 2011

For the m-th level generalization of Catalan triangle T(n,k) = C(n+mk,k)*(n-k+1)/(n+(m-1)k+1); for n >= k+m: T(n,k) = T(n-m+1,k+1) - T(n-m,k+1); and T(n,n) = T(n+m-1,n-1) = C((m+1)n,n)/(mn+1).
Reflected version of A110616. - Philippe Deléham, Jun 15 2007
With offset 1 for n and k, T(n,k) is (conjecturally) the number of permutations of [n] that avoid the patterns 4-2-3-1 and 4-2-5-1-3 and for which the last ascent ends at position k (k=1 if there are no ascents). For example, T(4,1) = 1 counts 4321; T(4,2) = 3 counts 1432, 2431, 3421; T(4,3) = 7 counts 1243, 1342, 2143, 2341, 3142, 3241, 4132. - David Callan, Jul 22 2008
Row sums appear to be in A098746. - R. J. Mathar, May 30 2014

cp's OEIS Frontend

A033184 Catalan triangle A009766 transposed.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Haskell

Magma

Maple

Mathematica

PARI

Sage

Formula

A120730 Another version of Catalan triangle A009766.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Maple

Mathematica

SageMath

Formula

A064059 Seventh column of Catalan triangle A009766.

Views

Author

Keywords

Links

Crossrefs

Programs

Magma

Maple

Mathematica

SageMath

Formula

A030238 Backwards shallow diagonal sums of Catalan triangle A009766.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Maple

Mathematica

Formula

Extensions

A064061 Eighth column of Catalan triangle A009766.

Views

Author

Keywords

Links

Crossrefs

Programs

Magma

Maple

Mathematica

SageMath

Formula

A234950 Borel's triangle read by rows: T(n,k) = Sum_{s=k..n} binomial(s,k)*C(n,s), where C(n,s) is an entry in Catalan's triangle A009766.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Haskell

Maple

Mathematica

PARI

Formula

A176239 Shifted signed Catalan triangle T(n,k) = (-1)^(n+k+1)A009766(n,k-n+1) read by rows.