Blaschke sum

For any ${\displaystyle d}$-dimensional polytope, one can specify its collection of facet directions and measures by a finite set of ${\displaystyle d}$-dimensional nonzero vectors, one per facet, pointing perpendicularly outward from the facet, with length equal to the ${\displaystyle (d-1)}$-dimensional measure of its facet. As Hermann Minkowski proved, a finite set of nonzero vectors describes a polytope in this way if and only if it spans the whole ${\displaystyle d}$-dimensional space, no two are collinear with the same sign, and the sum of the set is the zero vector. The polytope described by this set has a unique shape, in the sense that any two polytopes described by the same set of vectors are translates of each other.[1]

The Blaschke sum ${\displaystyle X\#Y}$ of two polytopes ${\displaystyle X}$ and ${\displaystyle Y}$ is defined by combining the vectors describing their facet directions and measures, in the obvious way: form the union of the two sets of vectors, except that when both sets contain vectors that are parallel and have the same sign, replace each such pair of parallel vectors by its sum. This operation preserves the necessary conditions for Minkowski's theorem on the existence of a polytope described by the resulting set of vectors, and this polytope is the Blaschke sum. The two polytopes need not have the same dimension as each other, as long as they are both defined in a common space of high enough dimension to contain both: lower-dimensional polytopes in a higher-dimensional space are defined in the same way by sets of vectors that span a lower-dimensional subspace of the higher-dimensional space, and these sets of vectors can be combined without regard to the dimensions of the spaces they span.[1]

Blaschke sums can be used to decompose polytopes into simpler polytopes. In particular, every ${\displaystyle d}$-dimensional convex polytope with ${\displaystyle n}$ facets can be represented as a Blaschke sum of at most ${\displaystyle n-d}$ simplices (not necessarily of the same dimension). Every ${\displaystyle d}$-dimensional centrally symmetric convex polytope can be represented as a Blaschke sum of parallelotopes. And every ${\displaystyle d}$-dimensional convex polytope can be represented as a Blaschke sum of ${\displaystyle d}$-dimensional convex polytopes, each having at most ${\displaystyle 2d}$ facets.[1]

The Blaschke sum can be extended from polytopes to arbitrary bounded convex sets, by representing the amount of surface in each direction using a measure on the Gauss map of the set instead of using a finite set of vectors, and adding sets by adding their measures.[2][3]

The volume ${\displaystyle V(X\#Y)}$ of the Blaschke sum of two ${\displaystyle d}$-dimensional polytopes or convex bodies ${\displaystyle X}$ and ${\displaystyle Y}$ obeys an inequality known as the Kneser–Süss inequality, an analogue of the Brunn–Minkowski theorem on volumes of Minkowski sums of convex bodies:[3]

${\displaystyle V(X\#Y)^{(d-1)/d}\geq V(X)^{(d-1)/d}+V(Y)^{(d-1)/d}.}$