OFFSET
10,1
COMMENTS
Index i is an alternating descent of permutation p if either i is odd and p(i) > p(i+1), or i is even and p(i) < p(i+1).
From Vaclav Kotesovec, Apr 29 2018: (Start)
In general, number of permutations of [n] having exactly k alternating descents (column k+1 of A145876) is asymptotic to a(n,k) ~ (4 - Pi)^k * 2^(n + 2) * n^k * n! / (k! * Pi^(n + k + 1)).
Equivalently, a(n,k) ~ (4 - Pi)^k * 2^(n + 5/2) * n^(n + k + 1/2) / (k! * Pi^(n + k + 1/2) * exp(n)).
(End)
LINKS
Alois P. Heinz, Table of n, a(n) for n = 10..400
D. Chebikin, Variations on descents and inversions in permutations, The Electronic J. of Combinatorics, 15 (2008), #R132.
FORMULA
a(n) ~ (4 - Pi)^9 * 2^(n + 5/2) * n^(n + 19/2) / (9! * Pi^(n + 19/2) * exp(n)). - Vaclav Kotesovec, Apr 29 2018
E.g.f.: (362880*cos(x)^5 + (x^9 - 18*x^8 + 216*x^7 - 2016*x^6 + 15120*x^5 - 90720*x^4 + 423360*x^3 - 1451520*x^2 + 3265920*x - 362880*sin(x) - 1814400)*cos(x)^4 + ((- 9*x^8 + 144*x^7 - 1512*x^6 + 12096*x^5 - 75600*x^4 + 362880*x^3 - 1270080*x^2 + 2903040*x - 1451520)*sin(x) - 1107*x^8 + 17712*x^7 - 137592*x^6 + 713664*x^5 - 2646000*x^4 + 6894720*x^3 - 11430720*x^2 + 8709120*x - 2903040)*cos(x)^3 + ((- 251*x^9 + 4518*x^8 - 40392*x^7 + 247968*x^6 - 1134000*x^5 + 3900960*x^4 - 9737280*x^3 + 15966720*x^2 - 13063680*x + 4354560)*sin(x) - 3653*x^9 + 65754*x^8 - 543240*x^7 + 2776032*x^6 - 9752400*x^5 + 24040800*x^4 - 40219200*x^3 + 42094080*x^2 - 26127360*x + 7257600)*cos(x)^2 + ((9108*x^8 - 145728*x^7 + 1037232*x^6 - 4354560*x^5 + 11793600*x^4 - 20321280*x^3 + 20321280*x^2 - 11612160*x + 2903040)*sin(x) + 13572*x^8 - 217152*x^7 + 1502928*x^6 - 5806080*x^5 + 13608000*x^4 - 20321280*x^3 + 20321280*x^2 - 11612160*x + 2903040)*cos(x) + (11092*x^9 - 199656*x^8 + 1599696*x^7 - 7499520*x^6 + 22680000*x^5 - 45722880*x^4 + 60963840*x^3 - 52254720*x^2 + 26127360*x - 5806080)*sin(x) + 11588*x^9 - 208584*x^8 + 1666224*x^7 - 7741440*x^6 + 23042880*x^5 - 45722880*x^4 + 60963840*x^3 - 52254720*x^2 + 26127360*x - 5806080)/((362880*sin(x) - 1814400)*cos(x)^4 + (- 4354560*sin(x) + 7257600)*cos(x)^2 + 5806080*sin(x) - 5806080). - Vaclav Kotesovec, Apr 30 2018
MAPLE
b:= proc(u, o) option remember; series(`if`(u+o=0, 1,
add(b(o+j-1, u-j)*x, j=1..u)+
add(b(o-j, u-1+j), j=1..o)), x, 11)
end:
a:= n-> coeff(b(n, 0), x, 10):
seq(a(n), n=10..30);
MATHEMATICA
nmax = 30; Drop[CoefficientList[Series[(362880*Cos[x]^5 + (x^9 - 18*x^8 + 216*x^7 - 2016*x^6 + 15120*x^5 - 90720*x^4 + 423360*x^3 - 1451520*x^2 + 3265920*x - 362880*Sin[x] - 1814400)*Cos[x]^4 + ((- 9*x^8 + 144*x^7 - 1512*x^6 + 12096*x^5 - 75600*x^4 + 362880*x^3 - 1270080*x^2 + 2903040*x - 1451520)*Sin[x] - 1107*x^8 + 17712*x^7 - 137592*x^6 + 713664*x^5 - 2646000*x^4 + 6894720*x^3 - 11430720*x^2 + 8709120*x - 2903040)*Cos[x]^3 + ((- 251*x^9 + 4518*x^8 - 40392*x^7 + 247968*x^6 - 1134000*x^5 + 3900960*x^4 - 9737280*x^3 + 15966720*x^2 - 13063680*x + 4354560)*Sin[x] - 3653*x^9 + 65754*x^8 - 543240*x^7 + 2776032*x^6 - 9752400*x^5 + 24040800*x^4 - 40219200*x^3 + 42094080*x^2 - 26127360*x + 7257600)*Cos[x]^2 + ((9108*x^8 - 145728*x^7 + 1037232*x^6 - 4354560*x^5 + 11793600*x^4 - 20321280*x^3 + 20321280*x^2 - 11612160*x + 2903040)*Sin[x] + 13572*x^8 - 217152*x^7 + 1502928*x^6 - 5806080*x^5 + 13608000*x^4 - 20321280*x^3 + 20321280*x^2 - 11612160*x + 2903040)*Cos[x] + (11092*x^9 - 199656*x^8 + 1599696*x^7 - 7499520*x^6 + 22680000*x^5 - 45722880*x^4 + 60963840*x^3 - 52254720*x^2 + 26127360*x - 5806080)*Sin[x] + 11588*x^9 - 208584*x^8 + 1666224*x^7 - 7741440*x^6 + 23042880*x^5 - 45722880*x^4 + 60963840*x^3 - 52254720*x^2 + 26127360*x - 5806080)/((362880*Sin[x] - 1814400)*Cos[x]^4 + (- 4354560*Sin[x] + 7257600)*Cos[x]^2 + 5806080*Sin[x] - 5806080), {x, 0, nmax}], x] * Range[0, nmax]!, 10] (* Vaclav Kotesovec, Apr 30 2018 *)
CROSSREFS
KEYWORD
nonn
AUTHOR
Alois P. Heinz, Apr 15 2018
STATUS
approved