The low-degree Ehrhart coefficient conjecture for lattice-face polytopes

Let PP be a dd-polytope with vertex set VV, and let dd1d'\le d-1. Suppose that for every integer kk with 0kd0\le k\le d', condition (dfcon) is satisfied. Write i(P,m)i(P,m) for the Ehrhart polynomial of PP, and let πdd(P)\pi^{d-d'}(P) denote the projection of PP to the corresponding (d)(d')-dimensional coordinate subspace. Low-degree Ehrhart coefficient conjecture. For every kk with 0kd0\le k\le d', the coefficient of mkm^k in i(P,m)i(P,m) is the same as the coefficient of mkm^k in i(πdd(P),m)i(\pi^{d-d'}(P),m). Equivalently, there are coefficients cd+1,,cdc_{d'+1},\ldots,c_d such that

i(P,m)=i(πdd(P),m)+i=d+1dcimi.i(P,m)=i(\pi^{d-d'}(P),m)+\sum_{i=d'+1}^{d}c_i m^i.

This conjecture predicts that the Ehrhart coefficients through degree dd' are determined by the indicated projection whenever the lattice-face condition holds in dimensions 00 through dd'. The supplied text gives motivation from examples but no resolution, so the conjecture remains open.

Sources & referencesView supporting material

Primary source

Fu Liu, “Ehrhart polynomials of lattice-face polytopes”, arXiv:math/0512616 (2005).

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.