Deloera–Haws–Köppe conjecture for matroid polytopes

Let MM be a matroid on [d]:={1,,d}[d]:=\{1,\ldots,d\}, with bases B\mathcal{B}, and let

P(M):=conv(iBei:BB)RdP(M):=\operatorname{conv}\left(\sum_{i\in B}{\boldsymbol{e}}_i:B\in\mathcal{B}\right)\subset\mathbb{R}^d

be its matroid polytope. A lattice polytope is Ehrhart positive if all coefficients of its Ehrhart polynomial are positive, and Ehrhart unimodal if its Ehrhart hh^\ast-polynomial has a unimodal coefficient sequence.

Deloera–Haws–Köppe conjecture. For any matroid MM, the matroid polytope P(M)P(M) is both Ehrhart positive and Ehrhart unimodal.

Both aspects of this conjecture were described as elusive, with only partial results known; the conjecture concerns a broad family beyond the zonotopes already known to have both properties.

Sources & referencesView supporting material

Primary source

Fu Liu and Liam Solus, “On the Relationship Between Ehrhart Unimodality and Ehrhart Positivity”, arXiv:1804.08258 (2018).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.