Stanley's non-Ehrhart-positive order polytopes

DOI10.1016/J.AAM.2019.03.004MaRDI QIDQ2002035zbMATH OpenOpenAlexWikidataFDO

Authors Fu Liu, Akiyoshi Tsuchiya

Publication date 11 July 2019

Published in Advances in Applied Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1806.08403

zbMATH Keywords

Bernoulli numberEhrhart polynomialEhrhart positivityorder polytope

Mathematics Subject Classification ID

Exact enumeration problems, generating functions (05A15) Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) (52B20)

Abstract: We say a polytope is Ehrhart positive if all the coefficients in its Ehrhart polynomial are positive. Answering an Ehrhart positivity question posed on Mathoverflow, Stanley provided an example of a non-Ehrhart-positive order polytope of dimension $21$. Stanley's example comes from a certain family of order polytopes. In this paper, we study the Ehrhart positivity question on this family of polytopes. By giving explicit formulas for the coefficients of the Ehrhart polynomials of these polytopes in terms of Bernolli numbers, we determine the sign of each Ehrhart coefficient of each polytope in the family. As a consequence of our result, we conclude that for any positive integer $dge21,$ there exists an order polytope of dimension $d$ that is not Ehrhart positive, and for any positive integer $ell$, there exists an order polytope whose Ehrhart polynomial has precisely $ell$ negative coefficients, which answers a question posed by Hibi. We finish this article by discussing the existence of lower-dimensional order polytopes whose Ehrhart polynomials have a negative coefficient.

Recommendations

• On positivity of Ehrhart polynomials
• Hypersimplices are Ehrhart positive
• Ehrhart polynomials with negative coefficients
• Smooth polytopes with negative Ehrhart coefficients
• Ehrhart positivity for generalized permutohedra

Cites work

• Bernoulli numbers and zeta functions. With an appendix by Don Zagier
• Chain polytopes and algebras with straightening laws
• Computing the Continuous Discretely
• Decompositions of Rational Convex Polytopes
• Ehrhart polynomials of cyclic polytopes
• Higher integrality conditions, volumes and Ehrhart polynomials
• scientific article; zbMATH DE number 6016068 (Why is no real title available?)
• scientific article; zbMATH DE number 3163858 (Why is no real title available?)
• scientific article; zbMATH DE number 4067064 (Why is no real title available?)
• scientific article; zbMATH DE number 17664 (Why is no real title available?)
• scientific article; zbMATH DE number 2223032 (Why is no real title available?)
• Levelness of Order Polytopes
• On positivity of Ehrhart polynomials
• Permutohedra, Associahedra, and Beyond
• Sign Hibi cones and the anti-row iterated Pieri algebras for the general linear groups
• Singular loci of Bruhat-Hibi toric varieties
• Smooth polytopes with negative Ehrhart coefficients
• The number of orders with thirteen elements
• Two poset polytopes
• Volumes and Ehrhart polynomials of flow polytopes

Cited in

(13)

• Smooth polytopes with negative Ehrhart coefficients
• Ehrhart polynomials with negative coefficients
• Ehrhart \(f^*\)-coefficients of polytopal complexes are non-negative integers
• Matroids are not Ehrhart positive
• On positivity of Ehrhart polynomials
• Triangulations, order polytopes, and generalized snake posets
• Polytopes and large counterexamples
• Effective Poset Inequalities
• Weighted Ehrhart theory: extending Stanley's nonnegativity theorem
• Order polytopes of dimension 13 are Ehrhart positive
• Lattice points in slices of prisms
• Generalized snake posets, order polytopes, and lattice-point enumeration
• Skew shapes, Ehrhart positivity, and beyond

Describes a project that uses

Uses Software

• posets
• SageMath

This page was built for publication: Stanley's non-Ehrhart-positive order polytopes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2002035)