Poset vectors and generalized permutohedra Dorian Croitoru, Suho Oh, Alexander Postnikov
To cite this version:
Dorian Croitoru, Suho Oh, Alexander Postnikov. Poset vectors and generalized permutohedra. 25th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2013), 2013, Paris, France. pp.503-514. hal-01229734
HAL Id: hal-01229734 https://hal.inria.fr/hal-01229734 Submitted on 17 Nov 2015
HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. FPSAC 2013 Paris, France DMTCS proc. AS, 2013, 503–514
Poset vectors and generalized permutohedra (extended abstract)
Dorian Croitoru1 Suho Oh2 Alexander Postnikov3
1WorldQuant, LLC, Old Greenwich CT, USA 2Mathematics department, University of Michigan, Ann Arbor MI, USA 3Mathematics department, Massachusetts Institute of Technology, Cambridge MA, USA
Abstract. We show that given a poset P and and a subposet Q, the integer points obtained by restricting linear extensions of P to Q can be explained via integer lattice points of a generalized permutohedron. Resum´ e.´ Nous montrons que, etant´ donne´ un poset P et un subposet Q, les points entiers obtenus en restreignant les extensions lineaires´ de P a` Q peuvent etreˆ expliques´ par les points entiers d’un permutohedron gen´ eralis´ e.´
Keywords: Poset, linear extension, associahedron, generalized permutohedra, polytope, integer lattice points
1 Introduction
Let λ = (λ1, . . . , λn) be a partition with at most n parts. The Young diagram of shape λ is the set
2 Dλ = {(i, j) ∈ N |1 ≤ j ≤ n, 1 ≤ i ≤ λj}.
A Standard Young tableau is a bijective map T : Dλ → {1,..., |Dλ|} which is increasing along rows and down columns, i.e. T (i, j) < T (i, j + 1) and T (i, j) < T (i + 1, j) Stanley (2000). Standard Young tableaus of λ = (2, 2, 1) is given in Figure 1. In each tableau, the entries at boxes (1, 2) and (2, 2) are colored with red. The pairs we get from each tableau, are exactly the integer lattice points of a pentagon in the right image of Figure 1. Then one could naturally ask the following question : If we choose some arbitrary boxes inside a Young diagram, and collect the integer vectors we get from the chosen boxes for each standard Young diagram, are they the integer lattice points of some polytope? Such questions were studied for diagonal boxes of shifted Young diagrams by the first author and the third author in Postnikov (2009) and Croitoru (2008). Let λ = (λ1, . . . , λn) be a partition with at most n parts. The shifted Young diagram of shape λ is the set
2 SDλ = {(i, j) ∈ N |1 ≤ j ≤ n, j ≤ i ≤ n + λj}.
We think of SDλ as a collection of boxes with n + 1 − i − λi boxes in row i, such that the leftmost box of the i-th row is also in the i-th column. A shifted standard Young tableau is a bijective map T : SDλ → 1365–8050 c 2013 Discrete Mathematics and Theoretical Computer Science (DMTCS), Nancy, France 504 Dorian Croitoru, Suho Oh, Alexander Postnikov