Abstract. We extend the concept of pattern avoidance in permutations on a totally ordered set to pattern avoidance in permutations on partially ordered sets. The number of permutations on P that avoid the pattern π is denoted AvP (π). We extend a proof of Simion and Schmidt to show that AvP (132) ≤ AvP (123) for any poset P , and we exactly classify the posets for which equality holds.
MotivationAn inversion of a permutation σ ∈ S n is a pair of entries a < b ∈ {1, . . . , n} such that b is to the left of a in σ. As Bóna [5] explains, classical pattern containment is "a far-fetching generalization of [inversions of permutations] from pairs of entries to k-tuples of entries." A permutation σ ∈ S n is said to contain a pattern π ∈ S k if some subsequence of σ of length k is orderisomorphic to π. Otherwise, we say σ avoids π. Thus an inversion in σ is just a 21 pattern that it contains.We propose a similar generalization to permutations on posets. A total ordering of the elements of some poset P that respects its partial order is called a linear extension of P . It is possible also to think of a linear extension of P as a permutation of the elements of P that has no inversions. While the only classical permutation in S n that has no inversions is 12 . . . n, in general there may be many linear extensions of P , and counting the number of such extensions is a difficult problem. Since linear extensions are a central object of study in order theory, it is natural to look at avoidance of more complicated patterns than 21 in poset permutations. The field of pattern avoidance has blossomed in the past two decades, and in particular has expanded to include patterns in structures other than S n such as words , Kitaev studies classical permutation avoidance of patterns with incomparable elements. However, we do not believe pattern avoidance in poset permutations has been considered in the way we define below.A central theme in the study of pattern avoidance is demonstrating relationships between the number of permutations that avoid different patterns of the same length. In this paper, we define a notion of poset pattern avoidance and demonstrate one non-trivial inequality between avoidance of two length-three patterns. In particular, our work builds on a dichotomy between 1