TY - JOUR
T1 - Detecting the integer decomposition property and Ehrhart unimodality in reflexive simplices
AU - Braun, Benjamin
AU - Davis, Robert
AU - Solus, Liam
N1 - Publisher Copyright:
© 2018 Elsevier Inc.
PY - 2018/9
Y1 - 2018/9
N2 - A long-standing open conjecture in combinatorics asserts that a Gorenstein lattice polytope with the integer decomposition property (IDP) has a unimodal (Ehrhart) h⁎-polynomial. This conjecture can be viewed as a strengthening of a previously disproved conjecture which stated that any Gorenstein lattice polytope has a unimodal h⁎-polynomial. The first counterexamples to unimodality for Gorenstein lattice polytopes were given in even dimensions greater than five by Mustaţǎ and Payne, and this was extended to all dimensions greater than five by Payne. While there exist numerous examples in support of the conjecture that IDP reflexives are h⁎-unimodal, its validity has not yet been considered for families of reflexive lattice simplices that closely generalize Payne's counterexamples. The main purpose of this work is to prove that the former conjecture does indeed hold for a natural generalization of Payne's examples. The second purpose of this work is to extend this investigation to a broader class of lattice simplices, for which we present new results and open problems.
AB - A long-standing open conjecture in combinatorics asserts that a Gorenstein lattice polytope with the integer decomposition property (IDP) has a unimodal (Ehrhart) h⁎-polynomial. This conjecture can be viewed as a strengthening of a previously disproved conjecture which stated that any Gorenstein lattice polytope has a unimodal h⁎-polynomial. The first counterexamples to unimodality for Gorenstein lattice polytopes were given in even dimensions greater than five by Mustaţǎ and Payne, and this was extended to all dimensions greater than five by Payne. While there exist numerous examples in support of the conjecture that IDP reflexives are h⁎-unimodal, its validity has not yet been considered for families of reflexive lattice simplices that closely generalize Payne's counterexamples. The main purpose of this work is to prove that the former conjecture does indeed hold for a natural generalization of Payne's examples. The second purpose of this work is to extend this investigation to a broader class of lattice simplices, for which we present new results and open problems.
UR - http://www.scopus.com/inward/record.url?scp=85048783046&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85048783046&partnerID=8YFLogxK
U2 - 10.1016/j.aam.2018.06.003
DO - 10.1016/j.aam.2018.06.003
M3 - Article
AN - SCOPUS:85048783046
SN - 0196-8858
VL - 100
SP - 122
EP - 142
JO - Advances in Applied Mathematics
JF - Advances in Applied Mathematics
ER -