On Flow Polytopes, Order Polytopes, and Certain Faces of the Alternating Sign Matrix Polytope
Autor: | Karola Mészáros, Jessica Striker, Alejandro H. Morales |
---|---|
Rok vydání: | 2019 |
Předmět: |
050101 languages & linguistics
Mathematics::Combinatorics 05 social sciences Polytope 02 engineering and technology Computer Science::Computational Geometry Graph Theoretical Computer Science Planar graph Combinatorics symbols.namesake Computational Theory and Mathematics 0202 electrical engineering electronic engineering information engineering symbols Mathematics::Metric Geometry Discrete Mathematics and Combinatorics 020201 artificial intelligence & image processing 0501 psychology and cognitive sciences Geometry and Topology Alternating sign matrix Ehrhart polynomial Bijection injection and surjection Mathematics |
Zdroj: | Discrete & Computational Geometry. 62:128-163 |
ISSN: | 1432-0444 0179-5376 |
DOI: | 10.1007/s00454-019-00073-2 |
Popis: | We study an alternating sign matrix analogue of the Chan–Robbins–Yuen polytope, which we call the ASM-CRY polytope. We show that this polytope has Catalan many vertices and its volume is equal to the number of standard Young tableaus of staircase shape; we also determine its Ehrhart polynomial. We achieve the previous by proving that the members of a family of faces of the alternating sign matrix polytope which includes ASM-CRY are both order and flow polytopes. Inspired by the above results, we relate three established triangulations of order and flow polytopes, namely Stanley’s triangulation of order polytopes, the Postnikov–Stanley triangulation of flow polytopes and the Danilov–Karzanov–Koshevoy triangulation of flow polytopes. We show that when a graph G is a planar graph, in which case the flow polytope $${{\mathcal {F}}}_G$$ is also an order polytope, Stanley’s triangulation of this order polytope is one of the Danilov–Karzanov–Koshevoy triangulations of $${{\mathcal {F}}}_G$$ . Moreover, for a general graph G we show that the set of Danilov–Karzanov–Koshevoy triangulations of $${{\mathcal {F}}}_G$$ equals the set of framed Postnikov–Stanley triangulations of $${{\mathcal {F}}}_G$$ . We also describe explicit bijections between the combinatorial objects labeling the simplices in the above triangulations. |
Databáze: | OpenAIRE |
Externí odkaz: |