A158909 -id:A158909 - cp's OEIS frontend

A035317 Pascal-like triangle associated with A000670.

1, 1, 1, 1, 2, 2, 1, 3, 4, 2, 1, 4, 7, 6, 3, 1, 5, 11, 13, 9, 3, 1, 6, 16, 24, 22, 12, 4, 1, 7, 22, 40, 46, 34, 16, 4, 1, 8, 29, 62, 86, 80, 50, 20, 5, 1, 9, 37, 91, 148, 166, 130, 70, 25, 5, 1, 10, 46, 128, 239, 314, 296, 200, 95, 30, 6, 1, 11, 56, 174, 367, 553, 610, 496, 295, 125

Offset: 0

N. J. A. Sloane

From Johannes W. Meijer, Jul 20 2011: (Start)
The triangle sums, see A180662 for their definitions, link this "Races with Ties" triangle with several sequences, see the crossrefs. Observe that the Kn4 sums lead to the golden rectangle numbers A001654 and that the Fi1 and Fi2 sums lead to the Jacobsthal sequence A001045.
The series expansion of G(x, y) = 1/((y*x-1)*(y*x+1)*((y+1)*x-1)) as function of x leads to this sequence, see the second Maple program. (End)
T(2n,k) = the number of hatted frog arrangements with k frogs on the 2xn grid. See the linked paper "Frogs, hats and common subsequences". - Chris Cox, Apr 12 2024

			Triangle begins:
  1;
  1,  1;
  1,  2,  2;
  1,  3,  4,   2;
  1,  4,  7,   6,   3;
  1,  5, 11,  13,   9,   3;
  1,  6, 16,  24,  22,  12,   4;
  1,  7, 22,  40,  46,  34,  16,   4;
  1,  8, 29,  62,  86,  80,  50,  20,  5;
  1,  9, 37,  91, 148, 166, 130,  70, 25,  5;
  1, 10, 46, 128, 239, 314, 296, 200, 95, 30, 6;
  ...

Vincenzo Librandi, Rows n = 0..100, flattened
Joseph Briggs, Alex Parker, Coy Schwieder, and Chris Wells, Frogs, hats and common subsequences, arXiv preprint arXiv:2404.07285 [math.CO], 2024. See p. 28.
A. Hlavác, M. Marvan, Nonlocal conservation laws of the constant astigmatism equation, arXiv preprint arXiv:1602.06861 [nlin.SI], 2016.
E. Mendelson, Races with Ties, Math. Mag. 55 (1982), 170-175.
Index entries for triangles and arrays related to Pascal's triangle

Row sums are A000975, diagonal sums are A080239.
Central terms are A014300.
Similar to the triangles A059259, A080242, A108561, A112555.
Cf. A059260.
Triangle sums (see the comments): A000975 (Row1), A059841 (Row2), A080239 (Kn11), A052952 (Kn21), A129696 (Kn22), A001906 (Kn3), A001654 (Kn4), A001045 (Fi1, Fi2), A023435 (Ca2), Gi2 (A193146), A190525 (Ze2), A193147 (Ze3), A181532 (Ze4). - Johannes W. Meijer, Jul 20 2011
Cf. A181971.

a035317 n k = a035317_tabl !! n !! k
a035317_row n = a035317_tabl !! n
a035317_tabl = map snd $ iterate f (0, [1]) where
   f (i, row) = (1 - i, zipWith (+) ([0] ++ row) (row ++ [i]))
-- Reinhard Zumkeller, Jul 09 2012

A035317 := proc(n,k): add((-1)^(i+k) * binomial(i+n-k+1, i), i=0..k) end: seq(seq(A035317(n,k), k=0..n), n=0..10); # Johannes W. Meijer, Jul 20 2011
A035317 := proc(n,k): coeff(coeftayl(1/((y*x-1)*(y*x+1)*((y+1)*x-1)), x=0, n), y, k) end: seq(seq(A035317(n,k), k=0..n), n=0..10); # Johannes W. Meijer, Jul 20 2011

t[n_, k_] := (-1)^k*(((-1)^k*(n+2)!*Hypergeometric2F1[1, n+3, k+2, -1])/((k+1)!*(n-k+1)!) + 2^(k-n-2)); Flatten[ Table[ t[n, k], {n, 0, 11}, {k, 0, n}]] (* Jean-François Alcover, Dec 14 2011, after Johannes W. Meijer *)

{T(n,k)=if(n==k,(n+2)\2,if(k==0,1,if(n>k,T(n-1,k-1)+T(n-1,k))))}
for(n=0,12,for(k=0,n,print1(T(n,k),","));print("")) \\ Paul D. Hanna, Jul 18 2012

def A035317_row(n):
    @cached_function
    def prec(n, k):
        if k==n: return 1
        if k==0: return 0
        return -prec(n-1,k-1)-sum(prec(n,k+i-1) for i in (2..n-k+1))
    return [(-1)^k*prec(n+2, k) for k in (1..n)]
for n in (1..11): print(A035317_row(n)) # Peter Luschny, Mar 16 2016

T(n,k) = Sum_{j=0..floor(n/2)} binomial(n-2j, k-2j). - Paul Barry, Feb 11 2003
From Johannes W. Meijer, Jul 20 2011: (Start)
T(n, k) = Sum_{i=0..k}((-1)^(i+k) * binomial(i+n-k+1,i)). (Mendelson)
T(n, k) = T(n-1, k-1) + T(n-1, k) with T(n, 0) = 1 and T(n, n) = floor(n/2) + 1. (Mendelson)
Sum_{k = 0..n}((-1)^k * (n-k+1)^n * T(n, k)) = A000670(n). (Mendelson)
T(n, n-k) = A128176(n, k); T(n+k, n-k) = A158909(n, k); T(2*n-k, k) = A092879(n, k). (End)
T(2*n+1,n) = A014301(n+1); T(2*n+1,n+1) = A026641(n+1). - Reinhard Zumkeller, Jul 19 2012

More terms from James Sellers

A071724 a(n) = 3*binomial(2n, n-1)/(n+2), n > 0, with a(0)=1.

Original entry on oeis.org

1, 1, 3, 9, 28, 90, 297, 1001, 3432, 11934, 41990, 149226, 534888, 1931540, 7020405, 25662825, 94287120, 347993910, 1289624490, 4796857230, 17902146600, 67016296620, 251577050010, 946844533674, 3572042254128, 13505406670700

Offset: 0

N. J. A. Sloane, Jun 06 2002

Number of standard tableaux of shape (n+1,n-1) (n>=1). - Emeric Deutsch, May 30 2004
From Gus Wiseman, Apr 12 2019: (Start)
Also the number of integer partitions (of any positive integer) such that n is the maximum number of unit steps East or South in the Young diagram starting from the upper-left square and ending in a boundary square in the lower-right quadrant. Also the number of integer partitions fitting in a triangular partition of length n but not of length n - 1. For example, the a(0) = 1 through a(4) = 9 partitions are:
  ()  (1)  (2)   (3)
           (11)  (22)
           (21)  (31)
                 (32)
                 (111)
                 (211)
                 (221)
                 (311)
                 (321)
(End)
The sequence (-1)^(n+1)*a(n), for n >= 1 and +1 for n = 0, is the so-called Z-sequence of the Riordan triangle A158909. For the notion of Z- and A-sequences for Riordan arrays see the W. Lang link under A006232 with details and references. - Wolfdieter Lang, Oct 22 2019

Vincenzo Librandi, Table of n, a(n) for n = 0..1000
Joerg Arndt, The a(4)=28 Young tableaux of shape [5, 3].
FindStat, St000384: The maximal part of the shifted composition of an integer partition.
Spencer J. Franks, Pamela E. Harris, Kimberly Harry, Jan Kretschmann, and Megan Vance, Counting Parking Sequences and Parking Assortments Through Permutations, arXiv:2301.10830 [math.CO], 2023.
Ricardo Gómez Aíza, Trees with flowers: A catalog of integer partition and integer composition trees with their asymptotic analysis, arXiv:2402.16111 [math.CO], 2024. See p. 21.
Zhicong Lin, David G.L. Wang, and Tongyuan Zhao, A decomposition of ballot permutations, pattern avoidance and Gessel walks, arXiv:2103.04599 [math.CO], 2021.
Murray Tannock, Equivalence classes of mesh patterns with a dominating pattern, MSc Thesis, Reykjavik Univ., May 2016.
Gus Wiseman, Young diagrams of all integer partitions fitting in a triangular partition of length n but not of length n - 1, n = 1...4.

Cf. A000245, A001622, A002421, A030237, A051924, A096771, A115720, A158909.
Cf. A325169, A325188, A325193, A325195, A325200.
Number of times n appears in A065770.
Column sums of A325189.
Row sums of A030237.

[1] cat [3*Binomial(2*n,n-1)/(n+2): n in [1..29]]; // Vincenzo Librandi, Jul 12 2017

A071724:= n-> 3*binomial(2*n, n-1)/(n+2); 1,seq(A071724(n), n=1..30); # G. C. Greubel, Mar 17 2021

Join[{1}, Table[3Binomial[2n, n-1]/(n+2), {n,1,30}]] (* Vincenzo Librandi, Jul 12 2017 *)
nn=7;
otbmax[ptn_]:=Max@@MapIndexed[#1+#2[[1]]-1&,Append[ptn,0]];
allip=Join@@Table[IntegerPartitions[n],{n,0,nn*(nn+1)/2}];
Table[Length[Select[allip,otbmax[#]==n&]],{n,0,nn}] (* Gus Wiseman, Apr 12 2019 *)

a(n)=if(n<1,n==0,3*(2*n)!/(n+2)!/(n-1)!)

[1]+[3*n*catalan_number(n)/(n+2) for n in (1..30)] # G. C. Greubel, Mar 17 2021

a(n) = A000245(n), n>0.
G.f.: (C(x)-1)*(1-x)/x = (1 + x^2 * C(x)^3)*C(x), where C(x) is g.f. for Catalan numbers, A000108.
G.f.: ((1-sqrt(1-4*x))/(2*x)-1)*(1-x)/x = A(x) satisfies x^2*A(x)^2 + (x-1)*(2*x-1)*A(x) + (x-1)^2 = 0.
G.f.: 1 + x*C(x)^3, where C(x) is g.f. for the Catalan numbers (A000108). Sequence without the first term is the 3-fold convolution of the Catalan sequence. - Emeric Deutsch, May 30 2004
a(n) is the n-th moment of the function defined on the segment (0, 4) of x axis: a(n) = Integral_{x=0..4} x^n*(-x^(1/2)*cos(3*arcsin((1/2)*x^(1/2)))/Pi) dx, n=0, 1... . - Karol A. Penson, Sep 29 2004
D-finite with recurrence -(n+2)*(n-1)*a(n) + 2*n*(2*n-1)*a(n-1) = 0. - R. J. Mathar, Jul 10 2017
a(n) ~ c*2^(2*n)*n^(-3/2), where c = 3/sqrt(Pi). - Stefano Spezia, Sep 23 2022
From Amiram Eldar, Sep 29 2022: (Start)
Sum_{n>=0} 1/a(n) = 14*(Pi/(3*sqrt(3)) + 1)/9.
Sum_{n>=0} (-1)^n/a(n) = 18/25 - 164*log(phi)/(75*sqrt(5)), where phi is the golden ratio (A001622). (End)

A115141 Convolution of A115140 with itself.

Original entry on oeis.org

1, -2, -1, -2, -5, -14, -42, -132, -429, -1430, -4862, -16796, -58786, -208012, -742900, -2674440, -9694845, -35357670, -129644790, -477638700, -1767263190, -6564120420, -24466267020, -91482563640, -343059613650, -1289904147324, -4861946401452, -18367353072152

Offset: 0

Wolfdieter Lang, Jan 13 2006

This is the so-called A-sequence for the Riordan triangles A053122, A110162, A129818, A158454 and signed A158909. For the notion of Z- and A-sequences for Riordan arrays see the W. Lang link under A006232 with details and references. Wolfdieter Lang, Dec 20 2010. [Revised, Nov 13 2012, Nov 22 2012 and Oct 22 2019]

a(n)*(-1)^n is the A-sequence for the Riordan triangle A111125. - Wolfdieter Lang, Jun 26 2011

			G.f. = 1 - 2*x - x^2 - 2*x^3 - 5*x^4 - 14*x^5 - 42*x^6 - 132*x^7 - 429*x^8 + ...

Vincenzo Librandi, Table of n, a(n) for n = 0..1000

Cf. A000108, A115140, A115142 - A115149.

m:=30; R:=PowerSeriesRing(Rationals(), m); Coefficients(R!( (1-2*x+Sqrt(1-4*x))/2 )); // G. C. Greubel, Feb 12 2019

a[n_] := -First[ ListConvolve[ cc = Array[ CatalanNumber, n-1, 0], cc]]; a[0] = 1; a[1] = -2; Table[a[n], {n, 0, 27}] (* Jean-François Alcover, Oct 21 2011 *)
CoefficientList[Series[(1-2*x+Sqrt[1-4*x])/2, {x, 0, 30}], x] (* G. C. Greubel, Feb 12 2019 *)

{a(n) = if( n<1, n==0, -(n==1) -binomial( 2*n-2, n-1) / n)} /* Michael Somos, Mar 28 2012 */

((1-2*x+sqrt(1-4*x))/2).series(x, 30).coefficients(x, sparse=False) # G. C. Greubel, Feb 12 2019

O.g.f.: 1/c(x)^2 = (1-x) - x*c(x) with the o.g.f. c(x) = (1-sqrt(1-4*x) )/(2*x) of A000108 (Catalan numbers).
a(0)=1, a(1)=-2, a(n) = -C(n-1), n>=2, with C(n):=A000108(n) (Catalan). The start [1, -2] is row n=2 of signed A034807 (signed Lucas polynomials). See A115149 and A034807 for comments.
The convolution inverse is A000108(x)^2. - Michael Somos, Mar 28 2012
REVERT transform is A069271. - Michael Somos, Mar 28 2012
EULER transform of -A060165. - Michael Somos, Mar 28 2012
D-finite with recurrence: n*a(n) +2*(-2*n+3)*a(n-1)=0. - R. J. Mathar, Feb 21 2020

A335964 Triangle read by rows, T(n,k) = T(n-1,k) + T(n-3,k-1) + T(n-4,k-2) + delta(n,0)*delta(k,0), T(n,k<0) = T(n

Original entry on oeis.org

1, 1, 0, 1, 0, 0, 1, 1, 0, 0, 1, 2, 1, 0, 0, 1, 3, 2, 0, 0, 0, 1, 4, 4, 0, 0, 0, 0, 1, 5, 7, 2, 0, 0, 0, 0, 1, 6, 11, 6, 1, 0, 0, 0, 0, 1, 7, 16, 13, 3, 0, 0, 0, 0, 0, 1, 8, 22, 24, 9, 0, 0, 0, 0, 0, 0, 1, 9, 29, 40, 22, 3, 0, 0, 0, 0, 0, 0

Offset: 0

Michael A. Allen, Jul 01 2020

T(n,k) is the number of tilings of an n-board (a board with dimensions n X 1) using k (1,1)-fence tiles and n-2k square tiles. A (w,g)-fence tile is composed of two tiles of width w separated by a gap of width g.
Sum of n-th row = A006498(n).
T(2*j+r,k) is the coefficient of x^k in (f(j,x))^(2-r)*(f(j+1,x))^r for r=0,1 where f(n,x) is one form of a Fibonacci polynomial defined by f(n+1,x) = f(n,x) + x*f(n-1,x) where f(0,x)=1 and f(n<0,x)=0. - Michael A. Allen, Oct 02 2021

			Triangle begins:
  1;
  1,  0;
  1,  0,  0;
  1,  1,  0,  0;
  1,  2,  1,  0,  0;
  1,  3,  2,  0,  0,  0;
  1,  4,  4,  0,  0,  0,  0;
  1,  5,  7,  2,  0,  0,  0,  0;
  1,  6, 11,  6,  1,  0,  0,  0,  0;
  1,  7, 16, 13,  3,  0,  0,  0,  0,  0;
  1,  8, 22, 24,  9,  0,  0,  0,  0,  0,  0;
  1,  9, 29, 40, 22,  3,  0,  0,  0,  0,  0,  0;
  ...

Kenneth Edwards and Michael A. Allen, New Combinatorial Interpretations of the Fibonacci Numbers Squared, Golden Rectangle Numbers, and Jacobsthal Numbers Using Two Types of Tile, arXiv:2009.04649 [math.CO], 2020.
Kenneth Edwards and Michael A. Allen, New combinatorial interpretations of the Fibonacci numbers squared, golden rectangle numbers, and Jacobsthal numbers using two types of tile, J. Int. Seq. 24 (2021) Article 21.3.8.
John Konvalina, On the number of combinations without unit separation., Journal of Combinatorial Theory, Series A 31.2 (1981): 101-107. See Table I.

Other triangles related to tiling using fences: A059259, A123521, A157897, A158909.

Cf. A006498 (row sums), A011973, A348445.

Mathematica
```
T[n_,k_]:=If[n
				
```

TT(n,k) = if (nA059259
T(n,k) = TT(n-k,k);
\\ matrix(7,7,n,k, T(n-1,k-1)) \\ Michel Marcus, Jul 18 2020

T(n,k) = A059259(n-k,k).
From Michael A. Allen, Oct 02 2021: (Start)
G.f.: 1/((1 + x^2*y)(1 - x - x^2*y)) in the sense that T(n,k) is the coefficient of x^n*y^k in the expansion of the g.f.
T(n,0) = 1.
T(n,1) = n-2 for n>1.
T(n,2) = binomial(n-4,2) + n - 3 for n>3.
T(n,3) = binomial(n-6,3) + 2*binomial(n-5,2) for n>5.
T(4*m-3,2*m-2) = T(4*m-1,2*m-1) = m for m>0.
T(2*n+1,n-k) = A158909(n,k). (End)
T(n,k) = A348445(n-2,k) for n>1.

A092879 Triangle of coefficients of the product of two consecutive Fibonacci polynomials.

Original entry on oeis.org

1, 1, 1, 1, 3, 2, 1, 5, 7, 2, 1, 7, 16, 13, 3, 1, 9, 29, 40, 22, 3, 1, 11, 46, 91, 86, 34, 4, 1, 13, 67, 174, 239, 166, 50, 4, 1, 15, 92, 297, 541, 553, 296, 70, 5, 1, 17, 121, 468, 1068, 1461, 1163, 496, 95, 5, 1, 19, 154, 695, 1912, 3300, 3544, 2269, 791, 125, 6, 1, 21, 191

Offset: 0

Michael Somos, Mar 10 2004

The Fibonacci polynomials are defined by F(0,x) = 1, F(1,x) = 1 and F(n, x) = F(n-1, x) + x*F(n-2, x).

This is also the reflected triangle of coefficients of the polynomials defined by the recursion: c0=-1; p(x, n) = (2 + c0 - x)*p(x, n - 1) + (-1 - c0*(2 - x))*p(x, n - 2) + c0*p(x, n - 3). - Roger L. Bagula, Apr 09 2008

			Triangle begins;
  1;
  1,1;
  1,3,2;
  1,5,7,2;
  1,7,16,13,3;
  1,9,29,40,22,3;
  ...
F(3,x) = 1 + 2*x and F(4,x) = 1 + 3*x + x^2 so F(3,x)*F(4,x)=(1 + 3*x + x^2)*(1 + 2*x) = 1 + 5*x + 7*x^2 + 2*x^3 leads to T(3,k) = [1,5,7,2].

Row sums are A001654(n+1).

Cf. A109954, A136674.

T:=proc(n,k): add((-1)^(i+k)*binomial(i+2*n-2*k+1,i), i=0..k) end: seq(seq(T(n,k), k=0..n), n=0..10); # Johannes W. Meijer, Jul 20 2011
T:=proc(n,k): coeff(F(n, x)*F(n+1, x), x, k) end: F:=proc(n, x) option remember: if n=0 then 1 elif n=1 then 1 else procname(n-1, x) + x*procname(n-2, x) fi: end: seq(seq(T(n,k), k=0..n), n=0..10); # Johannes W. Meijer, Jul 20 2011

c0 = -1; p[x, -1] = 0; p[x, 0] = 1; p[x, 1] = 2 - x + c0; p[x_, n_] :=p[x, n] = (2 + c0 -x)*p[x, n - 1] + (-1 - c0 (2 - x))*p[x, n - 2] + c0*p[x, n - 3]; Table[ExpandAll[p[x, n]], {n, 0, 10}]; a = Table[Reverse[CoefficientList[p[x, n], x]], {n, 0, 10}]; Flatten[a] (* Roger L. Bagula, Apr 09 2008 *)

T(n,k)=local(m);if(k<0 || k>n,0,n++; m=contfracpnqn(matrix(2,n,i,j,x)); polcoeff(m[1,1]*m[2,1]/x^n,n-k))

From Johannes W. Meijer, Jul 20 2011: (Start)
T(n, k) = Sum_{i=0..k} (-1)^(i+k)*binomial(i+2*n-2*k+1, i).
T(n, k) = A035317(2*n-k, k) = A158909(n, n-k.) (End)
T(n,k) = T(n-1,k) + T(n-1,k-1) + T(n-2,k-1) + T(n-2,k-2) - T(n-3,k-3), T(0,0) = 1, T(n,k) = 0 if k < 0 or if k > n. - Philippe Deléham, Nov 12 2013

Edited and information added by Johannes W. Meijer, Jul 20 2011

cp's OEIS Frontend

A035317 Pascal-like triangle associated with A000670.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Haskell

Maple

Mathematica

PARI

Sage

Formula

Extensions

A071724 a(n) = 3*binomial(2n, n-1)/(n+2), n > 0, with a(0)=1.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

Sage

Formula

A115141 Convolution of A115140 with itself.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Mathematica

PARI

Sage

Formula

A335964 Triangle read by rows, T(n,k) = T(n-1,k) + T(n-3,k-1) + T(n-4,k-2) + delta(n,0)*delta(k,0), T(n,k<0) = T(n

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A092879 Triangle of coefficients of the product of two consecutive Fibonacci polynomials.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

Extensions