Intermediate reduced degrees for the int* degree of a polytope

From papers

Let PRn{\mathcal P} \subset {\mathbb R}^n be a normal polytope of dimension nn with (PP)Zn({\mathcal P} \setminus \partial {\mathcal P}) \cap {\mathbb Z}^n \neq \emptyset. For aN(PP)Zn{\mathbf a} \in N({\mathcal P} \setminus \partial {\mathcal P}) \cap {\mathbb Z}^n, its reduced P{\mathcal P}-degree is the smallest integer r1r \geq 1 for which there are a0r(PP)Zn{\mathbf a}_0 \in r({\mathcal P} \setminus \partial {\mathcal P}) \cap {\mathbb Z}^n and a(Nr)PZn{\mathbf a}' \in (N-r){\mathcal P} \cap {\mathbb Z}^n such that a=a0+a{\mathbf a}={\mathbf a}_0+{\mathbf a}'. The int degree assertion.* If the int* degree of P{\mathcal P} is dd, then for each 1i<d1 \leq i < d, there is aN(PP)Zn{\mathbf a} \in N({\mathcal P} \setminus \partial {\mathcal P}) \cap {\mathbb Z}^n whose reduced P{\mathcal P}-degree is ii. The reduced P{\mathcal P}-degree is known to be at most n1n-1, while the int* degree records the biggest such degree; the assertion asks whether every intermediate degree occurs whenever the maximum is dd.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Takayuki Hibi and Seyed Amin Seyed Fakhari, “Bounded powers of edge ideals: Pseudo-Gorenstein and Level polytopes”, arXiv:2512.12986 (2025).

Solutions 0

No solutions have been posted yet.