26 research outputs found
The Möbius function of permutations with an indecomposable lower bound
We show that the Möbius function of an interval in a permutation poset where the lower bound is sum (resp. skew) indecomposable depends solely on the sum (resp. skew) indecomposable permutations contained in the upper bound, and that this can simplify the calculation of the Möbius sum. For increasing oscillations, we give a recursion for the Möbius sum which only involves evaluating simple inequalities
On The Möbius Function Of Permutations Under The Pattern Containment Order
We study several aspects of the Möbius function, μ[σ, π], on the poset of permutations under the pattern containment order.
First, we consider cases where the lower bound of the poset is indecomposable. We show that μ[σ, π] can be computed by considering just the indecomposable permutations contained in the upper bound. We apply this to the case where the upper bound is an increasing oscillation, and give a method for computing the value of the Möbius function that only involves evaluating simple inequalities.
We then consider conditions on an interval which guarantee that the value of the Möbius function is zero. In particular, we show that if a permutation π contains two intervals of length 2, which are not order-isomorphic to one another, then μ[1, π] = 0. This allows us to prove that the proportion of permutations of length n with principal Möbius function equal to zero is asymptotically bounded below by (1−1/e) 2 ≥ 0.3995. This is the first result determining the value of μ[1, π] for an asymptotically positive proportion of permutations π.
Following this, we use “2413-balloon” permutations to show that the growth of the principal Möbius function on the permutation poset is exponential. This improves on previous work, which has shown that the growth is at least polynomial.
We then generalise 2413-balloon permutations, and find a recursion for the value of the principal Möbius function of these generalisations.
Finally, we look back at the results found, and discuss ways to relate the results from each chapter. We then consider further research avenues
Some open problems on permutation patterns
This is a brief survey of some open problems on permutation patterns, with an
emphasis on subjects not covered in the recent book by Kitaev, \emph{Patterns
in Permutations and words}. I first survey recent developments on the
enumeration and asymptotics of the pattern 1324, the last pattern of length 4
whose asymptotic growth is unknown, and related issues such as upper bounds for
the number of avoiders of any pattern of length for any given . Other
subjects treated are the M\"obius function, topological properties and other
algebraic aspects of the poset of permutations, ordered by containment, and
also the study of growth rates of permutation classes, which are containment
closed subsets of this poset.Comment: 20 pages. Related to upcoming talk at the British Combinatorial
Conference 2013. To appear in London Mathematical Society Lecture Note Serie
The Möbius function of separable and decomposable permutations
We give a recursive formula for the Moebius function of an interval in the poset of permutations ordered by pattern containment in the case where 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 and 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 is bounded by the number of occurrences of as a pattern in . We also show that for any separable permutation the Moebius function of is either 0, 1 or -1
The algebra of essential relations on a finite set
Let X be a finite set and let k be a commutative ring. We consider the k-algebra of the monoid of all relations on X, modulo the ideal generated by the relations factorizing through a set of cardinality strictly smaller than Card(X), called inessential relations. This quotient is called the essential algebra associated to X. We then define a suitable nilpotent ideal of the essential algebra and describe completely the structure of the corresponding quotient, a product of matrix algebras over suitable group algebras. In particular, we obtain a description of all the simple modules for the essential algebra
Non-crossing partitions
Non-crossing partitions have been a staple in combinatorics for quite some
time. More recently, they have surfaced (sometimes unexpectedly) in various
other contexts from free probability to classifying spaces of braid groups.
Also, analogues of the non-crossing partition lattice have been introduced.
Here, the classical non-crossing partitions are associated to Coxeter and Artin
groups of type , which explains the tight connection to the
symmetric groups and braid groups. We shall outline those developments.Comment: Survey article, 34 pages, 7 figure
Three Fuss-Catalan posets in interaction and their associative algebras
We introduce -cliffs, a generalization of permutations and increasing
trees depending on a range map . We define a first lattice structure on
these objects and we establish general results about its subposets. Among them,
we describe sufficient conditions to have EL-shellable posets, lattices with
algorithms to compute the meet and the join of two elements, and lattices
constructible by interval doubling. Some of these subposets admit natural
geometric realizations. Then, we introduce three families of subposets which,
for some maps , have underlying sets enumerated by the Fuss-Catalan
numbers. Among these, one is a generalization of Stanley lattices and another
one is a generalization of Tamari lattices. These three families of posets fit
into a chain for the order extension relation and they share some properties.
Finally, in the same way as the product of the Malvenuto-Reutenauer algebra
forms intervals of the right weak order of permutations, we construct algebras
whose products form intervals of the lattices of -cliff. We provide
necessary and sufficient conditions on to have associative, finitely
presented, or free algebras. We end this work by using the previous
Fuss-Catalan posets to define quotients of our algebras of -cliffs. In
particular, one is a generalization of the Loday-Ronco algebra and we get new
generalizations of this structure.Comment: 63 page