

A143953


Triangle read by rows: T(n,k) is the number of Dyck paths of semilength n having k peaks in their peak plateaux (0<=k<=n1). A peak plateau is a run of consecutive peaks that is preceded by an upstep and followed by a down step; a peak consists of an upstep followed by a downstep.


2



1, 1, 1, 1, 1, 3, 1, 1, 8, 4, 1, 1, 21, 14, 5, 1, 1, 55, 48, 21, 6, 1, 1, 144, 162, 85, 29, 7, 1, 1, 377, 537, 335, 133, 38, 8, 1, 1, 987, 1748, 1286, 589, 193, 48, 9, 1, 1, 2584, 5594, 4815, 2526, 940, 266, 59, 10, 1, 1, 6765, 17629, 17619, 10518, 4413, 1405, 353, 71, 11, 1
(list;
graph;
refs;
listen;
history;
text;
internal format)



OFFSET

0,6


COMMENTS

Row n has n terms (n>=1).
Row sums are the Catalan numbers (A000108).
T(n,1)=A001906(n1)=Fibonacci(2n2).
Sum(k*T(n,k),k=0..n1))=A143954(n).
For the statistic "number of peak plateaux", see A143952.


LINKS

Table of n, a(n) for n=0..66.


FORMULA

The g.f. G=G(t,z) satisfies z(1z)(1tz)G^2(1z+z^2tz)G+(1z)(1tz) = 0 (for the explicit form of G see the Maple program).
The trivariate g.f. g=g(x,y,z) of Dyck paths with respect to number of peak plateaux, number of peaks in the peak plateaux and semilength, marked, by x, y and z, respectively satisfies g=1+zg[g+xyz/(1yz)z/(1z)].


EXAMPLE

T(4,2)=4 because we have UDU(UDUD)D, U(UDUD)DUD, U(UD)DU(UD)D and UU(UDUD)DD (the peaks in the peak plateaux are shown between parentheses). The triangle starts:
1;
1;
1,1;
1,3,1;
1,8,4,1;
1,21,14,5,1;
1,55,48,21,6,1;


MAPLE

C:=proc(z) options operator, arrow: (1/2(1/2)*sqrt(14*z))/z end proc: G:=(1z)*(1t*z)*C(z*(1z)^2*(1t*z)^2/(1z+z^2t*z)^2)/(1z+z^2t*z): Gser:= simplify(series(G, z=0, 15)): for n from 0 to 11 do P[n]:=sort(coeff(Gser, z, n)) end do: 1; for n to 11 do seq(coeff(P[n], t, j), j=0..n1) end do; # yields sequence in triangular form


CROSSREFS

Cf. A000045, A000108, A001906, A143952, A143954.
Sequence in context: A273719 A274488 A203717 * A114276 A152879 A098747
Adjacent sequences: A143950 A143951 A143952 * A143954 A143955 A143956


KEYWORD

nonn,tabf


AUTHOR

Emeric Deutsch, Oct 10 2008


STATUS

approved



