Table of Contents
Fetching ...

Lower bound results for conditionally decomposable polytopes

Jie Wang, David Yost

Abstract

It is possible for a combinatorial type of polytope to have both decomposable and indecomposable realizations; here decomposability is meant with respect to Minkowski addition. Such polytopes are called conditionally decomposable. We show that the minimum number of vertices of a conditionally decomposable $d$-polytope is in the range $[3d-3, 4d-4]$, and that for a polytope having a line segment for a summand, $4d-4$ is sharp. As an application, the exact lower bound of the number of $k$-faces of a decomposable $d$-polytope with $2d+m$ vertices ($2 \le m\le d-4$) is obtained. Concerning the facets, in dimension 4, the minimum number of facets of a conditionally decomposable polytope is 9, and in dimension $d\ge 5$, the minimum is $d+4$.

Lower bound results for conditionally decomposable polytopes

Abstract

It is possible for a combinatorial type of polytope to have both decomposable and indecomposable realizations; here decomposability is meant with respect to Minkowski addition. Such polytopes are called conditionally decomposable. We show that the minimum number of vertices of a conditionally decomposable -polytope is in the range , and that for a polytope having a line segment for a summand, is sharp. As an application, the exact lower bound of the number of -faces of a decomposable -polytope with vertices () is obtained. Concerning the facets, in dimension 4, the minimum number of facets of a conditionally decomposable polytope is 9, and in dimension , the minimum is .

Paper Structure

This paper contains 5 sections, 14 theorems, 10 equations, 3 figures.

Key Result

Theorem \oldthetheorem

Figures (3)

  • Figure 1: $4$-dimensional examples
  • Figure :
  • Figure :

Theorems & Definitions (29)

  • Theorem \oldthetheorem
  • Lemma \oldthetheorem
  • proof
  • Theorem \oldthetheorem
  • proof
  • Remark \oldthetheorem
  • Remark \oldthetheorem
  • proof
  • Example \oldthetheorem
  • proof
  • ...and 19 more