Ju's palindromicity conjecture for graph polytope Ehrhart numerators

Let GG be a finite simple connected graph, and let P(G)P(G) be its graph polytope. Write its Ehrhart series as

Ehr(P(G),x)=n0#W(G,n)xn.\mathrm{Ehr}(P(G),x)=\sum_{n\geq 0}\#W(G,n)x^n.

Ju's conjecture. The polynomial in the numerator of this Ehrhart series is symmetric, also known as palindromic.

The conjecture was proposed by Ju and was previously confirmed for bipartite graphs, equivalently graphs with no odd cycles. The source states that the paper solves it.

Sources & referencesView supporting material

Primary source

Feihu Liu, “Proof of a conjecture on graph polytope”, arXiv:2409.11970 (2025).

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.