DMTCS Proceedings, 23rd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2011)

Font Size:  Small  Medium  Large

Local extrema in random permutations and the structure of longest alternating subsequences

Dan Romik

Abstract


Let asn denote the length of a longest alternating subsequence in a uniformly random permutation of order n. Stanley studied the distribution of asn using algebraic methods, and showed in particular that (asn) = (4n+1)/6 and Var(asn) = (32n-13)/180. From Stanley's result it can be shown that after rescaling, asn converges in the limit to the Gaussian distribution. In this extended abstract we present a new approach to the study of asn by relating it to the sequence of local extrema of a random permutation, which is shown to form a ``canonical'' longest alternating subsequence. Using this connection we reprove the abovementioned results in a more probabilistic and transparent way. We also study the distribution of the values of the local minima and maxima, and prove that in the limit the joint distribution of successive minimum-maximum pairs converges to the two-dimensional distribution whose density function is given by f(s,t) = 3(1-s)t et-s.
Résumé. Pour une permutation aléatoire d'ordre n, on désigne par asn la longueur maximale d'une de ses sous-suites alternantes. Stanley a étudié la distribution de asn en utilisant des méthodes algébriques, et il a démontré en particulier que (asn) = (4n+1)/6 et Var(asn) = (32n-13)/180. A partir du résultat de Stanley on peut montrer qu'après changement d'échelle, asn converge vers la distribution normale. Nous présentons ici une approche nouvelle pour l'étude de asn, en la reliant à la suite des extrema locaux d'une permutation aléatoire, dont nous montrons qu'elle constitue une sous-suite alternante maximale ``canonique''. En utilisant cette relation, nous prouvons à nouveau les résultats mentionnés ci-dessus d'une façon plus probabiliste et transparente. En plus, nous prouvons un résultat asymptotique sur la distribution limite des paires formées d'un minimum et d'un maximum locaux consécutifs.

Full Text: PostScript PDF

Valid XHTML 1.0 Transitional