Well-labelled positive paths appeared recently in the author's article "Partition function of a freely-jointed chain in a half-space" [in preparation] as a useful tool for studying a polytope \Pin related to the space of configurations of the freely-jointed chain (of length n) in a half-space. The polytope \Pin consists of points (x1,...,xn) in [-1,1]n such that \sum_{i=1}^j xi >= 0 for all j=1,...,n, and it was shown that well-labelled positive paths of size n are in bijection with a collection of subpolytopes partitioning \Pin. Given that the volume of each subpolytope is 1/n!, our results prove combinatorially that the volume of \Pin is (2n-1)!!/n!.
Our bijection has other enumerative corollaries in terms of up-down
sequences of permutations. Indeed, by specialising our
bijection, we prove that the number of permutations of size n
such that each prefix has no more ascents than descents is
[(n-1)!!]2 if n is even and
n!!(n-2)!! if n is odd.
The following versions are available: