Partially ordered sets associated with permutations (Q1122600)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Partially ordered sets associated with permutations |
scientific article |
Statements
Partially ordered sets associated with permutations (English)
0 references
1989
0 references
Let \(\Sigma\) be a set of permutations of \([n]=\{1,...,n\}\). A poset P is called chain-permutational with respect to \(\Sigma\) iff the edges of the Hasse diagram of P can be labeled with labels from [n] so that the sequence of labels along each maximal chain of P is a permutation in \(\Sigma\), each permutation in \(\Sigma\) arises exactly once in this way and the cardinality of P is minimal with respect to this property. The author has shown that a chain-permutational poset is unique up to isomorphism for given \(\Sigma\), yielding the notation P(\(\Sigma)\). Further, P(\(\Sigma)\) is distributive if \(\Sigma\) is the family of linear extensions of some poset Q. The author studies in detail P(\(\Sigma)\) for 3 types of subsets \(\Sigma\) of the symmetric group \(S_ n:\) \(\Sigma^ 1_ n:=\{\sigma \in S_ n:\) \(\sigma^ 2=id\},\) \(\Sigma^ 2_ n:=\{\sigma \in S_ n:\) for no \(1\leq i_ 1<i_ 2<i_ 3\leq n\), \(\sigma (i_ 1)<\sigma (i_ 2)<\sigma (i_ 3)\},\) \(\Sigma^ 3_ n:=\{\sigma \in S_ n:\) for no \(1\leq i_ 1<i_ 2<i_ 3\leq n\), \(\sigma (i_ 1)<\sigma (i_ 2)\) and \(\sigma (i_ 1)<\sigma (i_ 3)\) and \(\sigma (i_ 2)>\sigma (i_ 3)\}.\) Recursive constructions for \(P(\Sigma^ i_ n)\), \(i=1,2,3\), are given, and the following properties are proved among other things: \(P(\Sigma^ 1_ n)\) is rank symmetric and rank unimodal, \(P(\Sigma^ i_ n)\) are lattices, \(i=2\), 3, \(P(\Sigma^ 2_ n)\) is supersolvable, \(P(\Sigma^ 3_ n)\) is edgewise lexicographically shellable. The Zeta polynomial of \(P(\Sigma^ 2_ n)\) and of \(P(\Sigma^ 3_ n)\) equals \((1-t)^{-n- 1}\cdot t\cdot \sum_{j\geq 0}C_{n-j}\left( \begin{matrix} n-j\\ j\end{matrix} \right)(t-1)^ j\), where \(C_ k\) is the kth Catalan number. The characteristic polynomial of \(P(\Sigma^ 2_ k)\) and of \(P(\Sigma^ 3_ n)\) equals \(t^{n-2}(t-1)(t-n+1)\).
0 references
involution
0 references
restricted permutation
0 references
distributive lattice
0 references
supersolvable lattice
0 references
edgewise lexicographically shellable poset
0 references
Möbius function
0 references
chain-permutational poset
0 references
Zeta polynomial
0 references
characteristic polynomial
0 references
0 references