Nonexistence conjecture for Ehrhart-polynomial orthogonal polynomial sequences

Let (Pj)j=0(P_j)_{j=0}^{\infty} be a family of reflexive polytopes whose Ehrhart polynomials fj(x)=HPj(x)f_j(x)=H_{P_j}(x) form an orthogonal polynomial sequence and satisfy

fj=Mj(2x+1)fj1+(1Mj)fj2,j=2,3,,f_j=M_j(2x+1)f_{j-1}+(1-M_j)f_{j-2},\qquad j=2,3,\dots,

with MjQM_j\in\mathbb{Q}. Nonexistence conjecture. There do not exist such families for which M2=38M_2=\frac{3}{8} or M2=78M_2=\frac{7}{8}. The possible values arise from the classification of two-dimensional reflexive polytopes; the source notes that other values, including 48,58,68\frac{4}{8},\frac{5}{8},\frac{6}{8} and 88\frac{8}{8}, do occur.

Sources & referencesView supporting material

Primary source

Akihiro Higashitani, Mario Kummer and Mateusz Michałek, “Interlacing Ehrhart Polynomials of Reflexive Polytopes”, arXiv:1612.07538 (2016).

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.