Conjectural formulas for the Voronoi degree of generic hypersurfaces

At least 7 years old · documented by

Let dd be the degree and let nn be the number of variables. For a generic hypersurface in Rn\mathbb{R}^n, its Voronoi degree is the degree of the corresponding Voronoi ideal. For a generic homogeneous polynomial, its zero set is a cone.

Voronoi degree conjecture. The Voronoi degree of a generic hypersurface of degree dd in Rn\mathbb{R}^n equals

(d−1)n+3(d−1)n−1+4d−2((d−1)n−1−1)−3n.(d-1)^n + 3(d-1)^{n-1} + \tfrac{4}{d-2}\bigl((d-1)^{n-1}-1\bigr) - 3n.

The Voronoi degree of the cone of a generic homogeneous polynomial of degree dd in Rn\mathbb{R}^n is

2(d−1)n−1+4d−2((d−1)n−1−1)−3n+2.2(d-1)^{n-1} + \tfrac{4}{d-2}\bigl((d-1)^{n-1}-1\bigr) - 3n + 2.

These formulas summarize computational experiments for generic inhomogeneous and homogeneous hypersurfaces. The source reports that the relevant Voronoi ideals were zero-dimensional, and in fact maximal ideals over Q\mathbb{Q} in the sampled cases; the formulas remain conjectural.

References

Primary source

Diego Cifuentes, Kristian Ranestad, Bernd Sturmfels and Madeleine Weinstein, “Voronoi Cells of Varieties”, arXiv:1811.08395 (2018).

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.