login
A188464
Diagonal sums of triangle A188463.
4
1, 3, 8, 22, 62, 178, 519, 1533, 4578, 13800, 41937, 128345, 395232, 1223792, 3807903, 11900549, 37339043, 117574429, 371429284, 1176876762, 3739129185, 11909686261, 38022182028, 121648373964, 389979453010, 1252517211660, 4029754366713, 12986073134365
OFFSET
0,2
COMMENTS
Apparently, number of Dyck (n+3)-paths with no descent having the same length as the preceding ascent. - David Scambler, Apr 28 2012 (Proved by S. Elizalde, Disc. Math., 2021)
REFERENCES
S. Elizalde, Symmetric peaks and symmetric valleys in Dyck paths, Discrete Math., 344 (2021), no. 6, 112364.
LINKS
S. Elizalde, Symmetric peaks and symmetric valleys in Dyck paths, arXiv:2008.05669 [math.CO], 2020, see Theorem 2.1 for t=0 and r=1.
FORMULA
G.f.: (1-3*x+x^2-x^3-(1-x)*sqrt(1-4*x+2*x^2+x^4))/(2*x^4).
Conjecture: (n+4)*a(n)-(4*n+9)*a(n-1) +(2*n-1)*a(n-2) -a(n-3) +(n-3)*a(n-4)=0. - R. J. Mathar, Nov 17 2011
a(n) = Sum_{m=1..floor((n+2)/2)} C(2*m,m)/(m+1)*C(n+m+1,3*m-1). - Vladimir Kruchinin, Jan 24 2022
EXAMPLE
For n=1, Dyck 4-paths are (2,-1,2,-3), (3,-1,1,-3) and (3,-2,1,-2), a(1) = 3.
MATHEMATICA
CoefficientList[Series[(1-3*x+x^2-x^3-(1-x)*Sqrt[1-4*x+2*x^2+x^4])/( 2*x^4), {x, 0, 30}], x] (* G. C. Greubel, Nov 16 2018 *)
PROG
(PARI) x='x+O('x^30); Vec((1-3*x+x^2-x^3-(1-x)*sqrt(1-4*x+2*x^2 +x^4))/( 2*x^4)) \\ G. C. Greubel, Nov 16 2018
(Magma) m:=30; R<x>:=PowerSeriesRing(Rationals(), m); Coefficients(R!( (1-3*x+x^2-x^3-(1-x)*Sqrt(1-4*x+2*x^2 +x^4))/( 2*x^4) ));
(Sage) s=((1-3*x+x^2-x^3-(1-x)*sqrt(1-4*x+2*x^2+x^4))/( 2*x^4)).series(x, 30); s.coefficients(x, sparse=False) # G. C. Greubel, Nov 16 2018
(Maxima)
a(n):=sum((binomial(2*m, m)*binomial(n+m+1, 3*m-1))/(m+1), m, 1, (n+2)/2); /* Vladimir Kruchinin, Jan 24 2022 */
CROSSREFS
Sequence in context: A018041 A073357 A278614 * A298260 A336990 A317997
KEYWORD
nonn,easy
AUTHOR
Paul Barry, Apr 01 2011
STATUS
approved