Heine's conjecture for volume polynomials of three lattice polygons

Let MM be a 3×33\times 3 symmetric matrix with non-negative integer entries and let

F(x,y,z)=(xyz)M(xyz)F(x,y,z)=\left(x \,\, y\,\, z\right)M\left(\begin{matrix}x \\ y\\ z\end{matrix}\right)

be the corresponding ternary form. Assume that det(M)0\det(M)\geq 0 and det(MI)0\det(M_I)\leq 0, where det(MI)\det(M_I) is the diagonal 2×22\times 2 minor indexed by I{1,2,3}I\subset\{1, 2, 3\}. Heine's conjecture. There exist lattice polygons P,Q,RR2P,Q,R\subset\mathbb R^2 such that

F(x,y,z)=Vol2(xP+yQ+zR).F(x,y,z)=\operatorname{Vol}_2(xP+yQ+zR).

This is a discrete analogue of Heine's description of volume polynomials of triples of planar convex bodies. The corresponding realization problem is open beyond the cases established in the paper, and the general Heine–Shephard problem for volume polynomials remains open.

Sources & referencesView supporting material

Primary source

Ivan Soprunov and Jenya Soprunova, “The volume polynomial of lattice polygons”, arXiv:2401.06111 (2024).

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.