Counting permutations by alternating descents (Q470946)

From MaRDI portal
Revision as of 12:30, 28 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Counting permutations by alternating descents
scientific article

    Statements

    Counting permutations by alternating descents (English)
    0 references
    0 references
    0 references
    13 November 2014
    0 references
    Summary: We find the exponential generating function for permutations with all valleys even and all peaks odd, and use it to determine the asymptotics for its coefficients, answering a~question posed by \textit{L. Nicolaescu} [``Combinatorial Morse functions and random permutations'', \url{http://mathoverflow.net/questions/86193}]. The generating function can be expressed~as the reciprocal of a sum involving Euler numbers: \[ \bigg(1-E_1x+E_{3}\frac{x^{3}}{3!}-E_{4}\frac{x^{4}}{4!}+E_{6}\frac{x^{6}}{6!}-E_{7}\frac{x^{7}}{7!}+\cdots\bigg)^{-1}, \tag{\(*\)} \] where \(\sum_{n=0}^\infty E_n x^n/n! = \sec x + \tan x\). We give two proofs of this formula. The first uses a system of differential equations whose solution gives the generating function \[ \frac {3\sin(\frac{1}{2}x)+3\cosh(\frac{1}{2}\sqrt{3}x)}{3\cos(\frac{1}{2}x)-\sqrt{3}\sinh(\frac{1}{2}\sqrt{3}x)}, \] which we then show is equal to \((\ast)\). The second proof derives \((*)\) directly from general permutation enumeration techniques, using noncommutative symmetric functions. The generating function \((\ast)\) is an ``alternating'' analogue of David and Barton's generating function \[ \bigg(1-x+\frac{x^{3}}{3!}-\frac{x^{4}}{4!}+\frac{x^{6}}{6!}-\frac{x^{7}}{7!}+\cdots\bigg)^{-1}, \] for permutations with no increasing runs of length 3 or more. Our general results give further alternating analogues of permutation enumeration formulas, including results of \textit{D. Chebikin} [Electron. J. Comb. 15, No. 1, Research Paper R132, 34 p. (2008; Zbl 1179.05004)] and \textit{J. B. Remmel} [Ann. Comb. 16, No. 3, 625--650 (2012; Zbl 1256.05009)].
    0 references
    permutations
    0 references
    peaks
    0 references
    valleys
    0 references
    descents
    0 references
    noncommutative symmetric functions
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references