cp's OEIS Frontend

A145597 Generalized Narayana numbers, T(n, k) = 3/(n + 1)*binomial(n + 1, k + 2)*binomial(n + 1, k - 1), triangular array read by rows.

%I A145597 #36 Aug 12 2023 18:24:39
%S A145597 1,3,3,6,15,6,10,45,45,10,15,105,189,105,15,21,210,588,588,210,21,28,
%T A145597 378,1512,2352,1512,378,28,36,630,3402,7560,7560,3402,630,36,45,990,
%U A145597 6930,20790,29700,20790,6930,990,45,55,1485,13068,50820,98010,98010
%N A145597 Generalized Narayana numbers, T(n, k) = 3/(n + 1)*binomial(n + 1, k + 2)*binomial(n + 1, k - 1), triangular array read by rows.
%C A145597 T(n,k) is the number of walks of n unit steps, each step in the direction either up (U), down (D), right (R) or left (L), starting from (0,0) and finishing at lattice points on the horizontal line y = 2 and which remain in the upper half-plane y >= 0. An example is given in the Example section below.
%C A145597 The current array is the case r = 2 of the generalized Narayana numbers N_r(n,k) := (r + 1)/(n + 1)*binomial(n + 1,k + r)*binomial(n + 1,k - 1), which count walks of n steps from the origin to points on the horizontal line y = r that remain in the upper half-plane. Case r = 0 gives the table of Narayana numbers A001263 (but with an offset of 0 in the row numbering). For other cases see A145596 (r = 1), A145598 (r = 3) and A145599 (r = 4).
%C A145597 T(n,k) is the number of preimages of the permutation 3214567...(n+3) under West's stack-sorting map that have exactly k+1 descents. - _Colin Defant_, Sep 15 2018
%H A145597 Harvey P. Dale, <a href="/A145597/b145597.txt">Table of n, a(n) for n = 2..1000</a>
%H A145597 F. Cai, Q.-H. Hou, Y. Sun, and A. L. B. Yang, <a href="http://arxiv.org/abs/1808.05736">Combinatorial identities related to 2x2 submatrices of recursive matrices</a>, arXiv:1808.05736 [math.CO], 2018; Table 2.1 for k=2.
%H A145597 Colin Defant, <a href="https://arxiv.org/abs/1511.05681">Preimages under the stack-sorting algorithm</a>, arXiv:1511.05681 [math.CO], 2015-2018; Graphs Combin., 33 (2017), 103-122.
%H A145597 Colin Defant, <a href="https://arxiv.org/abs/1809.03123">Stack-sorting preimages of permutation classes</a>, arXiv:1809.03123 [math.CO], 2018.
%H A145597 Richard K. Guy, <a href="http://www.cs.uwaterloo.ca/journals/JIS/VOL3/GUY/catwalks.html">Catwalks, sandsteps and Pascal pyramids</a>, J. Integer Sequences, Vol. 3 (2000), Article #00.1.6.
%F A145597 T(n,k) = (3/(n+1))*binomial(n+1,k+2)*binomial(n+1,k-1) for n >=2 and 1 <= k <= n-1. In the notation of [Guy], T(n,k) equals w_n(x,y) at (x,y) = (2*k - n,2). Row sums A003517.
%F A145597 O.g.f. for column k+2: 3/(k + 1) * y^(k+3)/(1 - y)^(k+5) * Jacobi_P(k,3,1,(1 + y)/(1 - y)).
%F A145597 Identities for row polynomials R_n(x) := sum {k = 1..n-1} T(n,k)*x^k:
%F A145597 x^2*R_(n-1)(x) = 3*(n-1)*(n-2)/((n+1)*(n+2)*(n+3)) * Sum_{k = 0..n} binomial(n + 3,k) * binomial(2n - k,n) * (x - 1)^k;
%F A145597 Sum_{k = 1..n} (-1)^k*binomial(n,k)*R_k(x^2)*(1 + x)^(2*(n-k)) = R_n(1)*x^n = 6/(n+4)*binomial(2n+1,n-2)*x^n = A003517(n)*x^n.
%F A145597 Row generating polynomial R_(n+2)(x) = 3/(n+3)*x*(1-x)^n * Jacobi_P(n,3,3,(1+x)/(1-x)). [_Peter Bala_, Oct 31 2008]
%F A145597 G.f.: x*y*A001263(x,y)^3. - _Vladimir Kruchinin_, Nov 14 2020
%e A145597 Triangle starts
%e A145597 n\k|..1.....2....3.....4.....5.....6
%e A145597 ====================================
%e A145597 .2.|..1
%e A145597 .3.|..3.....3
%e A145597 .4.|..6....15....6
%e A145597 .5.|.10....45...45....10
%e A145597 .6.|.15...105..189...105....15
%e A145597 .7.|.21...210..588...588...210....21
%e A145597 ...
%e A145597 Row 4: T(4,1) = 6: the 6 walks of length 4 from (0,0) to (-2,2) are LLUU, LULU, LUUL, ULLU, ULUL and UULL. Changing L to R in these walks gives the 6 walks from (0,0) to (2,2).
%e A145597 T(4,2) = 15: the 15 walks of length 4 from (0,0) to (0,2) are UUUD, UULR, UURL, UUDU,URUL, ULUR, URLU, ULRU, RUUL, LUUR, RLUU, LRUU, RULU, LURU and UDUU.
%e A145597 .
%e A145597 .
%e A145597 *......*......*......y......*......*......*
%e A145597 .
%e A145597 .
%e A145597 *......6......*.....15......*......6......*
%e A145597 .
%e A145597 .
%e A145597 *......*......*......*......*......*......*
%e A145597 .
%e A145597 .
%e A145597 *......*......*......o......*......*......* x axis
%e A145597 .
%p A145597 with(combinat):
%p A145597 T:= (n,k) -> 3/(n+1)*binomial(n+1,k+2)*binomial(n+1,k-1):
%p A145597 for n from 2 to 11 do
%p A145597 seq(T(n,k),k = 1..n-1);
%p A145597 end do;
%t A145597 Table[3/(n+1) Binomial[n+1,k+2]Binomial[n+1,k-1],{n,2,20},{k,n-1}]//Flatten (* _Harvey P. Dale_, Aug 12 2023 *)
%Y A145597 Cf. A003517 (row sums), A001263, A145596, A145598, A145599, A145601.
%K A145597 easy,nonn,tabl
%O A145597 2,2
%A A145597 _Peter Bala_, Oct 15 2008