On Kalai's conjectures concerning centrally symmetric polytopes (Q1017921)

From MaRDI portal
Revision as of 20:01, 10 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
On Kalai's conjectures concerning centrally symmetric polytopes
scientific article

    Statements

    On Kalai's conjectures concerning centrally symmetric polytopes (English)
    0 references
    0 references
    0 references
    0 references
    13 May 2009
    0 references
    A convex polytope \(P\) is \textit{centrally symmetric} if \(P = -P\). Let \(f_j\) be the number of \(j\)-dimensional faces of \(P\). \textit{G. Kalai} [Graphs Comb. 5, No.~1, 389--391 (1989; Zbl 1168.52303)] posed three conjectures on centrally-symmetric \(d\)-dimensional polytopes, of increasing strength: Conjecture A states that every centrally-symmetric \(d\)-dimensional polytopes has at least \(3^d\) nonempty faces, i.e., \(f_0 + f_1 + \cdots + f_{ d-1 } + 1 \geq 3^d\). Conjecture B suggests that, given a centrally-symmetric \(d\)-dimensional polytope \(P\), the face numbers of \(P\) are bounded below by the face numbers of a \textit{Hanner polytope}; Hanner polytopes are built recursively from line segments by taking direct sums or direct products. Conjecture C strengthens Conjecture B by replacing the bounds on the \(f_j\) by an inequalities involving flag vectors. It is not hard to see that Kalai's conjectures hold for \(d \leq 3\). The authors prove that Conjectures A and B for \(d=4\), that Conjecture \(B\) fails for \(d \geq 5\), and that Conjecture C fails for \(d \geq 4\).
    0 references
    0 references
    centrally symmetric convex polytope
    0 references
    \(f\)-vector inequalities
    0 references
    flag vectors
    0 references
    Kalai's \(3^d\)-conjecture
    0 references
    equivariant rigidity
    0 references
    Hanner polytopes
    0 references
    Hansen polytopes
    0 references
    central hypersimplices
    0 references

    Identifiers