OFFSET
0,2
COMMENTS
A 3_1-Dyck path is a lattice path with steps U=(1, 3), d=(1, -1) that starts at (0,0), stays (weakly) above y=-1, and ends at the x-axis.
LINKS
Michael De Vlieger, Table of n, a(n) for n = 0..1027
Andrei Asinowski, Benjamin Hackl, and Sarah J. Selkirk, Down-step statistics in generalized Dyck paths, arXiv:2007.15562 [math.CO], 2020-2022.
Paul Drube, Raised k-Dyck paths, arXiv:2206.01194 [math.CO], 2022. See Appendix pp. 14-15.
FORMULA
a(n) = 2*binomial(4*(n+1)+2, n+1)/(4*(n+1)+2) - 4*binomial(4*n+2, n)/(4*n+2).
a(n) ~ 101 * 2^(8*n+9/2) / (3^(3*n+11/2) * n^(3/2) * sqrt(Pi)). - Amiram Eldar, Oct 26 2025
EXAMPLE
For n=1, a(1)=5 is the total number of down-steps after the last up-step in Uddd, dUdd.
MATHEMATICA
a[n_] := 2 * Binomial[4*n + 6, n + 1]/(4*n + 6) - 4 * Binomial[4*n + 2, n]/(4*n + 2); Array[a, 23, 0] (* Amiram Eldar, May 13 2020 *)
PROG
(SageMath) [2*binomial(4*(n + 1) + 2, n + 1)/(4*(n + 1) + 2) - 4*binomial(4*n + 2, n)/(4*n + 2) for n in srange(30)] # Benjamin Hackl, May 13 2020
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Andrei Asinowski, May 13 2020
STATUS
approved
