Adin's nonnegativity conjecture for the cubical gg-vector

Let QQ be a cubical dd-polytope, meaning that every proper face of QQ is combinatorially a cube. Its cubical hh-polynomial is written as

hc(Q,t)=i=0dhicti,h^c(Q,t)=\sum_{i=0}^d h^c_i t^i,

and its cubical gg-vector is gc(Q)=(g0c,,gd/2c)g^c(Q)=(g^c_0,\ldots,g^c_{\left\lfloor d/2\right\rfloor}), where g0c=h0c=2d1g^c_0=h^c_0=2^{d-1} and gic=hichi1cg^c_i=h^c_i-h^c_{i-1} for 1id/21\leq i\leq\left\lfloor d/2\right\rfloor. Adin's conjecture. For a cubical dd-polytope, one has

gic0(1id/2).g^c_i\geq 0\qquad (1\leq i\leq\left\lfloor d/2\right\rfloor).

This conjectures the nonnegativity of all nontrivial entries of the cubical gg-vector, analogous to the classical gg-theorem for simplicial polytopes. The supplied source does not indicate whether the conjecture has been resolved.

Sources & referencesView supporting material

Primary source

Karim Adiprasito, Daniel Kalmanovich and Eran Nevo, “On the realization space of the cube”, arXiv:1912.09554 (2019).

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.