The Unimodality Conjecture for cubical polytopes

Although the Unimodality Conjecture holds for some certain classes of cubical polytopes (e.g. cubes, capped cubical polytopes, neighborly cubical polytopes), it fails for cubical polytopes in general. A 12-dimensional cubical polytope with non-unimodal face vector is constructed by using capping operations over a neighborly cubical polytope with 2 to the power 131 vertices. For cubical polytopes, the Unimodality Conjecture is proved for dimensions less than 11. The first one-third of the face vector of a cubical polytope is increasing and its last one-third is decreasing in any dimension.