login
Triangle read by rows: T(n,k) is the number of Dyck paths of semilength n, having no ascents and no descents of length 1, and having k peaks at even level.
3

%I #9 Sep 12 2024 20:05:59

%S 1,0,0,1,1,0,0,1,1,2,2,0,1,3,3,1,5,8,4,0,5,13,12,6,1,15,32,27,8,0,21,

%T 59,61,33,10,1,51,134,147,76,15,0,85,267,327,208,75,15,1,188,584,771,

%U 528,186,26,0,344,1209,1734,1329,585,150,21,1,730,2608,4008,3344,1595,408,42,0

%N Triangle read by rows: T(n,k) is the number of Dyck paths of semilength n, having no ascents and no descents of length 1, and having k peaks at even level.

%C Sum of entries in row n is the secondary structure number A004148(n-1) (n>=2).

%C Row n contains 1 + floor(n/2) entries.

%C T(n,0) = A167638(n).

%C Sum_{k>=0} k*T(n,k) = A167639(n).

%F G.f.: G=G(t,z) satisfies z(1+z-tz^2)G^2-(1+z-z^2)(1+z-tz^2)G + 1+z-z^2=0.

%F The trivariate g.f. G=G(t,s,z), where t marks odd-level peaks, s marks even-level peaks, and z marks semilength, satisfies aG^2 - bG + c = 0, where a = z(1+z-sz^2), b=(1+z-tz^2)(1+z-sz^2), c=1+z-tz^2.

%e T(6,2)=3 because we have U(UD)DUUU(UD)DDD, UUU(UD)DDDU(UD)D, and UUU(UD)DU(UD)DDD (the even-level peaks are shown between parentheses).

%e Triangle starts:

%e 1;

%e 0;

%e 0, 1;

%e 1, 0;

%e 0, 1, 1;

%e 2, 2, 0;

%e 1, 3, 3, 1;

%e 5, 8, 4, 0;

%e 5, 13, 12, 6, 1;

%e ...

%p eq := z*(1+z-t*z^2)*G^2-(1+z-z^2)*(1+z-t*z^2)*G+1+z-z^2 = 0: G := RootOf(eq, G): Gser := simplify(series(G, z = 0, 20)): for n from 0 to 16 do P[n] := sort(expand(coeff(Gser, z, n))) end do: for n from 0 to 16 do seq(coeff(P[n], t, j), j = 0 .. floor((1/2)*n)) end do; # yields sequence in triangular form

%Y Cf. A004148, A167634, A167638, A167639.

%K nonn,tabf

%O 0,10

%A _Emeric Deutsch_, Nov 08 2009