Permutations, sequences, and partially ordered sets Sergey Kitaev Reykjavik University Joint work with Mireille Bousquet-MélouAnders Claesson Mark Dukes
Overview of results Bijections (respecting several statistics) between the following objects unlabeled (2+2)-free posets on n elements pattern-avoiding permutations of length n ascent sequences of length n linearized chord diagrams with n chords = certain involutions Closed form for the generating function for these classes of objects Pudwell’s conjecture (on permutations avoiding 31524) is settled using modified ascent sequences __
Ascent sequences Number of ascents in a word: asc(0, 0, 2, 1, 1, 0, 3, 1, 2, 3) = 4 (0,0,2,1,1,0,3,1,2,3) is not an ascent sequence, whereas (0,0,1,0,1,3,0) is.
Unlabeled (2+2)-free posets A partially ordered set is called (2+2)-free if it contains no induced sub-posets isomorphic to (2+2) = Such posets arise as interval orders (Fishburn): P. C. Fishburn, Intransitive indifference with unequal indifference intervals, J. Math. Psych. 7 (1970) 144–149. bad guy good guy
Unlabeled (2+2)-free posets Theorem. (Not ours!) A poset is (2+2)-free iff the collection of strict down-sets may be linearly ordered by inclusion.
Unlabeled (2+2)-free posets How can one decompose a (2+2)-free poset?
Unlabeled (2+2)-free posets 2
Read labels backwards: (0, 1, 0, 1, 3, 1, 1, 2) – an ascent sequence! Removing last point gives one extra 0.
Theorem. There is a 1-1 correspondence between unlabeled (2+2)-free posets on n elements and ascent sequences of length n. (0, 1, 0, 1, 3, 1, 1, 2)
Permutations avoiding avoids contains How can one decompose such permutations?
Permutations avoiding avoids. Remove the largest element, 8: corresponds to the position labeled corresponds to the position labeled 3. Etc. Read obtained labels starting from the recent one, to get (0, 1, 1, 2, 2, 0, 3, 1) – an ascent sequence! Remove 7:
Theorem. There is a 1-1 correspondence between permutations avoiding on n elements and ascent sequences of length n. (0, 1, 1, 2, 2, 0, 3, 1)
Restricted permutations versus (2+2)-free posets
Modified ascent sequences
Some statistics preserved under the bijections (0, 1, 0, 1, 3, 1, 1, 2) min zerosleftmost decr. run min max level last element 012 label in fron of max element (0, 3, 0, 1, 4, 1, 1, 2) Level distri- bution letter distribution in modif. sequence element distribution between act. sites
Some statistics preserved under the bijections (0, 1, 0, 1, 3, 1, 1, 2) highest level number of ascents in the inverse (0, 3, 0, 1, 4, 1, 1, 2) right-to-left max in mod. sequence max compo- nents Components in modif. sequence components (0, 3, 0, 1, 4, 1, 1, 2)
RLCD versus unlabeled (2+2)-free posets
Sketch of a proof for surjectivity (2+2)-free poset interval order
Sketch of a proof for surjectivity
Posets avoiding and Ascent sequences are restricted as follows: m-1, where m is the max element here Catalan many
An open problem Find a bijection between (2+2)-free posets and permutations avoiding using a graphical way, like one suggested below.
Thank you for your attention! Any questions?