Characterization conjecture for normal four-dimensional cyclic polytopes

Let C4(τ1,τ2,,τn)C_4(\tau_1,\tau_2,\dotsc,\tau_n) be a cyclic polytope, and write Δij=τjτi\Delta_{ij}=\tau_j-\tau_i for i<ji<j. A lattice polytope is normal when every lattice point in every positive dilate is a sum of lattice points of the polytope. Normality characterization conjecture. A cyclic polytope of dimension 44 is normal if and only if

Δ232andΔn2,n12.\Delta_{23}\geq 2\quad\text{and}\quad\Delta_{n-2,n-1}\geq 2.

The source motivates this as a complete characterization based on computational evidence and a preceding non-normality proposition; its resolution is not specified.

Sources & referencesView supporting material

Primary source

Takayuki Hibi, Akihiro Higashitani, Lukas Katthän and Ryota Okazaki, “Normal cyclic polytopes and cyclic polytopes that are not very ample”, arXiv:1202.6117 (2013).

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.