Adin's nonnegativity conjecture for the cubical gg-vector

About 7 years old · traced to

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,…,g⌊d/2⌋c)g^c(Q)=(g^c_0,\ldots,g^c_{\left\lfloor d/2\right\rfloor}), where g0c=h0c=2d−1g^c_0=h^c_0=2^{d-1} and gic=hic−hi−1cg^c_i=h^c_i-h^c_{i-1} for 1≤i≤⌊d/2⌋1\leq i\leq\left\lfloor d/2\right\rfloor. Adin's conjecture. For a cubical dd-polytope, one has

gic≥0(1≤i≤⌊d/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.

References

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.