%I #14 Aug 07 2020 12:08:06
%S 0,7,25,155,1195,10282,94591,910480,9054965,92310075,959473878,
%T 10129715890,108327387675,1170975480360,12773887368040,
%U 140445927510832,1554748206904325,17314584431331025,193849445090545875,2180550929942519685,24632294533221865028
%N a(n) is the total number of down steps between the first and second up steps in all 4_1-Dyck paths of length 5*n.
%C A 4_1-Dyck path is a lattice path with steps (1, 4), (1, -1) that starts and ends at y = 0 and stays above the line y = -1.
%C For n = 1, there is no 2nd up step, a(1) = 7 enumerates the total number of down steps between the 1st up step and the end of the path.
%H A. Asinowski, B. Hackl, and S. Selkirk, <a href="https://arxiv.org/abs/2007.15562">Down step statistics in generalized Dyck paths</a>, arXiv:2007.15562 [math.CO], 2020.
%F a(0) = 0 and a(n) = 4*binomial(5*n, n)/(n+1) - 3*binomial(5*n+1, n)/(n+1) + 8*binomial(5*(n-1), n-1)/n - 2*[n=1] for n > 0, where [ ] is the Iverson bracket.
%e For n = 1, the 4_1-Dyck paths are DUDDD, UDDDD. This corresponds to a(1) = 3 + 4 = 7 down steps between the 1st up step and the end of the path.
%t a[0] = 0; a[n_] := 4 * Binomial[5*n, n]/(n + 1) - 3 * Binomial[5*n + 1, n]/(n + 1) + 8*Binomial[5*(n - 1), n - 1]/n - 2 * Boole[n == 1]; Array[a, 21, 0] (* _Amiram Eldar_, May 13 2020 *)
%o (SageMath) [4*binomial(5*n, n)/(n + 1) - 3*binomial(5*n + 1, n)/(n + 1) + 8*binomial(5*(n - 1), n - 1)/n - 2*(n==1) if n > 0 else 0 for n in srange(30)]
%Y Cf. A002294, A124724, A334642, A334647, A334719, A334786, A334787.
%K nonn,easy
%O 0,2
%A _Benjamin Hackl_, May 13 2020
|