The Möbius function of separable and decomposable permutations

From MaRDI portal
Publication:640846



Abstract: We give a recursive formula for the Moebius function of an interval [sigma,pi] in the poset of permutations ordered by pattern containment in the case where pi is a decomposable permutation, that is, consists of two blocks where the first one contains all the letters 1, 2, ..., k for some k. This leads to many special cases of more explicit formulas. It also gives rise to a computationally efficient formula for the Moebius function in the case where sigma and pi are separable permutations. A permutation is separable if it can be generated from the permutation 1 by successive sums and skew sums or, equivalently, if it avoids the patterns 2413 and 3142. A consequence of the formula is that the Moebius function of such an interval [sigma,pi] is bounded by the number of occurrences of sigma as a pattern in pi. We also show that for any separable permutation pi the Moebius function of (1,pi) is either 0, 1 or -1.


Let \(S_n\) denote the permutations of \(\{1,\dots,n\}\); the union of all \(S_n\) (\(n \in \mathbb{N}\)) forms a poset with respect to pattern containment (also called permutation involvement). The paper is concerned with the Möbius function of this poset: first mentioned by \textit{H. Wilf} [``The patterns of permutations, Discrete Math. 257, No.\,2--3, 575--583 (2002; Zbl 1028.05002)], and studied by \textit{B. Sagan} and \textit{V. Vatter} for the case of layered permutations [``The Möbius function of a composition poset, J. Algebr. Comb. 24, No.\,2, 117--136 (2006; Zbl 1099.68081)]. Here, the authors consider the case of decomposable permutations (those expressible as direct sums of smaller permutations). They provide a recursive formula for the Möbius function of an interval \([\sigma,\pi]\) when \(\pi\) is decomposable. In the special case when \(\pi\) is separable (obtainable from \(1\) by successive sums and skew sums), the authors obtain a polynomial-time algorithm to compute the Möbius function. This leads to an alternative combinatorial interpretation for the Möbius function of separable permutations in terms of normal embeddings.











This page was built for publication: The Möbius function of separable and decomposable permutations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q640846)