We investigate how the Minkowski sum of two polytopes affects their graph and, in particular, their diameter. We show that the diameter of the Minkowski sum is bounded below by the diameter of each summand and above by, roughly, the product between the diameter of one summand and the number of vertices of the other. We also prove that both bounds are sharp. In addition, we obtain a result on polytope decomposability. More precisely, given two polytopes P and Q, we show that P can be written as a Minkowski sum with a summand homothetic to Q if and only if P has the same number of vertices as its Minkowski sum with Q.
We apply combinatorial methods to a geometric problem: the classification of polytopes, in terms of Minkowski decomposability. Various properties of skeletons of polytopes are exhibited, each sufficient to guarantee indecomposability of a significant class of polytopes. We illustrate further the power of these techniques, compared with the traditional method of examining triangular faces, with several applications. In any dimension $d\neq 2$, we show that of all the polytopes with $d^2+\frac{d}{2}$ or fewer edges, only one is decomposable. In 3 dimensions, we complete the classification, in te…
In this paper we use a generating function approach to record and calculate entries of the Minkowski tensors of a polytope. We focus on ''surface tensors'', extending the methods used in arXiv:1807.10258 for moments of the uniform distribution which correspond to volume tensors. In this context we also extend the definition of the adjoint polynomial to the boundary complex of a polytope with simplicial facets. In the case of simplicial polytopes we give an explicit formulation for these surface tensors.
The Minkowski length of a lattice polytope $P$ is a natural generalization of the lattice diameter of $P$. It can be defined as the largest number of lattice segments whose Minkowski sum is contained in $P$. The famous Ehrhart theorem states that the number of lattice points in the positive integer dilates $tP$ of a lattice polytope $P$ behaves polynomially in $t\in\mathbb{N}$. In this paper we prove that for any lattice polytope $P$, the Minkowski length of $tP$ for $t\in\mathbb{N}$ is eventually a quasi-polynomial with linear constituents. We also give a formula for the Minkowski length of c…
For $1 \leq p < \infty$, Ludwig, Haberl and Parapatits classified $L_p$ Minkowski valuations intertwining the special linear group with additional conditions such as homogeneity and continuity. In this paper,a complete classification of $L_p$ Minkowski valuations intertwining the special linear group on polytopes without any additional conditions is established for $p \geq 1$ including $p = \infty$. For $n=3$ and $p=1$, there exist valuations not mentioned before.
Existence of solutions to the Lp Minkowski problem is proved for all p less than 0. For the cirtical case of p=-n, which is known as the centro-affine Minkowski problem, this paper contains the main result in [71] as a special case.
A complete classification is established of Minkowski valuations on lattice polytopes that intertwine the special linear group over the integers and are translation invariant. In the contravariant case, the only such valuations are multiples of projection bodies. In the equivariant case, the only such valuations are generalized difference bodies combined with multiples of the newly defined discrete Steiner point.
To every poset P, Stanley (1986) associated two polytopes, the order polytope and the chain polytope, whose geometric properties reflect the combinatorial qualities of P. This construction allows for deep insights into combinatorics by way of geometry and vice versa. Malvenuto and Reutenauer (2011) introduced 'double posets', that is, (finite) sets equipped with two partial orders, as a generalization of Stanley's labelled posets. Many combinatorial constructions can be naturally phrased in terms of double posets. We introduce the 'double order polytope' and the 'double chain polytope' and we …
We show that the largest possible diameter $δ(d,k)$ of a $d$-dimensional polytope whose vertices have integer coordinates ranging between $0$ and $k$ is at most $kd-\lceil2d/3\rceil$ when $k\geq3$. In addition, we show that $δ(4,3)=8$. This substantiates the conjecture whereby $δ(d,k)$ is at most $\lfloor(k+1)d/2\rfloor$ and is achieved by a Minkowski sum of lattice vectors.
Polytopes in R^n with integral vertices form a monoid under the Minkowski sum, and the Grothendieck construction gives rise to a group. We show that every symmetric polytope is a norm in this group for every n.
In this paper we settle long-standing questions regarding the combinatorial complexity of Minkowski sums of polytopes: We give a tight upper bound for the number of faces of a Minkowski sum, including a characterization of the case of equality. We similarly give a (tight) upper bound theorem for mixed faces of Minkowski sums. This has a wide range of applications and generalizes the classical the Upper Bound Theorems of McMullen and Stanley. Our main tool is relative Stanley--Reisner theory, a powerful generalization of the algebraic theory of simplicial complexes inaugurated by Hochster, Reis…
In the course of classifying generic sparse polynomial systems which are solvable in radicals, Esterov recently showed that the volume of the Minkowski sum $P_1+\dots+P_d$ of $d$-dimensional lattice polytopes is bounded from above by a function of order $O(m^{2^d})$, where $m$ is the mixed volume of the tuple $(P_1,\dots,P_d)$. This is a consequence of the well-known Aleksandrov-Fenchel inequality. Esterov also posed the problem of determining a sharper bound. We show how additional relations between mixed volumes can be employed to improve the bound to $O(m^d)$, which is asymptotically sharp.…
