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

At least 20 years old · documented by

Let PP be a dd-polytope with vertex set VV, and let d′≤d−1d'\le d-1. Suppose that for every integer kk with 0≤k≤d′0\le k\le d', condition (dfcon) is satisfied. Write i(P,m)i(P,m) for the Ehrhart polynomial of PP, and let πd−d′(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 0≤k≤d′0\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(πd−d′(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(πd−d′(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 d′d' are determined by the indicated projection whenever the lattice-face condition holds in dimensions 00 through d′d'. The supplied text gives motivation from examples but no resolution, so the conjecture remains open.

References

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.