A new cubical \(h\)-vector (Q1924354)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A new cubical \(h\)-vector
scientific article

    Statements

    A new cubical \(h\)-vector (English)
    0 references
    0 references
    13 May 1997
    0 references
    The \(h\)-vectors of simplicial convex \(d\)-polytopes have proved central in the description of possible numbers of faces of such polytopes. Cubical polytopes (that is, those whose faces are combinatorial cubes) possess analogous properties to simplicial polytopes; there is thus the expectation that corresponding \(h\)-vectors would play a similar rĂ´le for them. The author defines two \(h\)-vectors here, and describes some of their properties. More generally, let \(K\) be a cubical \((d-1)\)-complex (its faces are combinatorial cubes). If \(f_i\) is the number of its \(i\)-faces, then \((f_0, \dots, f_{d-1})\) is the \(f\)-vector of \(K\). The short cubical \(h \)-vector \((h^{\text{(s)}}_0, \dots, h_{d-1}^{\text{(sc)}})\) of \(K\) is defined by \[ \sum^{d-1}_{i= 0} h_i^{\text{(sc)}} q^i: =\sum^{d-1}_{j=0} f_j(2q)^j (1-q)^{d-j-1}, \] and the (long) cubical \(h\)-vector \((h_0^{\text{(c)}}, \dots, h_d^{\text{(c)}})\) is given recursively by \[ h_i^{\text{(sc)}}= : h_i^{\text{(c)}} + h_{i+1}^{\text{(c)}} \] for \(i=0, \dots, d-1\), with the initial value \(h_0^{\text{(c)}}: =2^{d-1}\). Both \(h\)-vectors are clearly integral. More importantly, the author shows that, if \(K\) (together with an adjoined maximal element) is Eulerian, then the (long) \(h\)-vector is symmetric (the ``Dehn-Sommerville equations''), and if \(K\) is shellable, then it is nonnegative. It is natural to ask whether the analogy with simplicial \(h\)-vectors extends further. For example, the author poses the question: is it true that \(h_{i-1}^{\text{(c)}} \leq h_i^{\text{(c)}}\) when \(1\leq i \leq d/2\), for the boundary complex of a cubical (convex) \(d\)-polytope? A result of \textit{G. Blind} and \textit{R. Blind} [Isr. J. Math. 71, No. 2, 129-134 (1990; Zbl 0719.52009)] gives the case \(i=1\) (it just says that such a polytope has at least \(2^d\) vertices).
    0 references
    0 references
    cubical polytopes
    0 references
    face vector
    0 references
    \(h\)-vectors
    0 references