polytope ↗ reference
3077 papers tagged with this keyword
Totally Splittable Polytopes
Published in Discrete & Computational Geometry, 44 (2010), no.1, 149-166
• View Publication
• BIB
A split of a polytope is a (necessarily regular) subdivision with exactly two maximal cells. A polytope is totally splittable if each triangulation (without additional vertices) is a common refinement of splits. This paper establishes a complete classification of the totally splittable polytopes.
A remark about Mahler's conjecture and the maximum value of box splines
In this paper, we recast a special case of Mahler'c conjecture by the maximum value of box splines. This is the case of polytopes with at most $2n+2$ facets. An asymptotic formula for univariate box splines is given. Based on the formula, Mahler's conjecture is proved in this case provided $n$ is big enough.
Problems on Minkowski sums of convex lattice polytopes
This paper was submitted to the Oberwolfach Conference "Combinatorial Convexity and Algebraic Geometry", October 1997.
Let $M={\mathbb Z}^r$. For convex lattice polytopes $P,P'$ in ${\mathbb R}^r$, when is $(M \cap P)+ (M \cap P') = M \cap (P + P')$?
Without any additional condition, the equality obviously does not hold.
When the pair $(M,P)$ corresponds to a complex projective toric variety $X$ and an ample divisor $D$ on $X$, it is reasonable to assume that $P'$ corresponds to an ample (or, more generally, a nef) divisor $D'$ on the same $X$. Then the question correspons to the surjectivity of the canonical map \[ H^0(X,{\mathcal O}_X(D))\otimes H^0(X,{\mathcal O}_X(D'))\to H^0(X,{\mathcal O}_X(D+D')).\]
When $X$ is nonsingular, the map is hoped to be surjective, but this remains to be an open question after more than ten years.
The paper explores various variations on the question in terms of toric geometry.
The f-vector of the descent polytope
Published in Discrete & Computational Geometry, Volume 45, Number 3 (2011), 410-424
• View Publication
• BIB
For a positive integer n and a subset S of [n-1], the descent polytope DP_S is the set of points x_1, ..., x_n in the n-dimensional unit cube [0,1]^n such that x_i >= x_{i+1} for i in S and x_i <= x_{i+1} otherwise. First, we express the f-vector of DP_S as a sum over all subsets of [n-1]. Second, we use certain factorizations of the associated word over a two-letter alphabet to describe the f-vector. We show that the f-vector is maximized when the set S is the alternating set {1,3,5, ...}. We derive a generating function for the f-polynomial F_S(t) of DP_S, written as a formal power series in two non-commuting variables with coefficients in Z[t]. We also obtain the generating function for the Ehrhart polynomials of the descent polytopes.
Polynomial Coefficient Enumeration
Let $f(x_1,...,x_k)$ be a polynomial over a field $K$. This paper considers such questions as the enumeration of the number of nonzero coefficients of $f$ or of the number of coefficients equal to $α\in K^*$. For instance, if $K=\ff_q$ then a matrix formula is obtained for the number of coefficients of $f^n$ that are equal to $α\in \ff_q^*$, as a function of $n$. Many additional results are obtained related to such areas as lattice path enumeration and the enumeration of integer points in convex polytopes.
The Graph of the Hypersimplex
The (k,d)-hypersimplex is a (d-1)-dimensional polytope whose vertices are the (0,1)-vectors that sum to k. When k=1, we get a simplex whose graph is the complete graph with d vertices. Here we show how many of the well known graph parameters and attributes of the complete graph extend to a more general case. In particular we obtain explicit formulas in terms of d and k for the number of vertices, vertex degree, number of edges and the diameter. We show that the graphs are vertex transitive, hamilton connected, obtain the clique number and show how the graphs can be decomposed into self-similar subgraphs. The paper concludes with a discussion of the edge expansion rate of the graph of a (k,d)-hypersimplex which we show is at least d/2, and how this graph can be used to generate a random subset of {1,2,3,...,d} with k elements.
Voronoi cells of discrete point sets
It is well known that all cells of the Voronoi diagram of a Delaunay set are polytopes. For a finite point set, all these cells are still polyhedra. So the question arises, if this observation holds for all discrete point sets: Are always all Voronoi cells of an arbitrary, infinite discrete point set polyhedral? In this paper, an answer to this question will be given. It will be shown that all Voronoi cells of a discrete point set are polytopes if and only if every point of the point set is an inner point. Furthermore, the term of a locally finitely generated discrete point set will be introduced and it will be shown that exactly these sets have the property of possessing only polyhedral Voronoi cells.
Remarks on missing faces and generalized lower bounds on face numbers
Published
• View Publication
• BIB
We consider simplicial polytopes, and more general simplicial complexes, without missing faces above a fixed dimension. Sharp analogues of McMullen's generalized lower bounds, and of Barnette's lower bounds, are conjectured for these families of complexes. Some partial results on these conjectures are presented.
A note on lattice-face polytopes and their Ehrhart polynomials
Published
• View Publication
• BIB
We give a new definition of lattice-face polytopes by removing an unnecessary restriction in the paper "Ehrhart polynomials of lattice-face polytopes", and show that with the new definition, the Ehrhart polynomial of a lattice-face polytope still has the property that each coefficient is the normalized volume of a projection of the original polytope. Furthermore, we show that the new family of lattice-face polytopes contains all possible combinatorial types of rational polytopes.
Matroid polytopes and their volumes
Published in Discrete and Computational Geometry 43-4 (2010) 841-854
• View Publication
• BIB
We express the matroid polytope $P_M$ of a matroid $M$ as a signed Minkowski sum of simplices, and obtain a formula for the volume of $P_M$. This gives a combinatorial expression for the degree of an arbitrary torus orbit closure in the Grassmannian $Gr_{k,n}$. We then derive analogous results for the independent set polytope and the associated flag matroid polytope of $M$. Our proofs are based on a natural extension of Postnikov's theory of generalized permutohedra.
On polytopes associated to factorisations of prime-powers
We study polytopes associated to factorisations of prime powers. These polytopes have explicit descriptions either in terms of their vertices or as intersections of closed halfspaces associated to their facets. We give formulae for their $f-$vectors.
Counting interesting elections
Published in The American Mathematical Monthly 117 (2010) 167-174
• View Publication
• BIB
We provide an elementary proof of a formula for the number of northeast lattice paths that lie in a certain region of the plane. Equivalently, this formula counts the lattice points inside the Pitman--Stanley polytope of an n-tuple.
Fulton-MacPherson compactification, cyclohedra, and the polygonal pegs problem
The cyclohedron (Bott-Taubes polytope) arises both as the polyhedral realization of the poset of all cyclic bracketings of a circular word and as an essential part of the Fulton-MacPherson compactification of the configuration space of n distinct, labelled points on the circle S^1. The "polygonal pegs problem" asks whether every simple, closed curve in the plane or in the higher dimensional space admits an inscribed polygon of a given shape. We develop a new approach to the polygonal pegs problem based on the Fulton-MacPherson (Axelrod-Singer, Kontsevich) compactification of the configuration space of (cyclically) ordered n-element subsets in S^1. Among the results obtained by this method are proofs of Grunbaum's conjecture about affine regular hexagons inscribed in smooth Jordan curves and a new proof of the conjecture of Hadwiger about inscribed parallelograms in smooth, simple, closed curves in the 3-space (originally established by Victor Makeev).
Root polytopes and growth series of root lattices
Published in SIAM Journal on Discrete Mathematics 25 (2011), 360-378
• View Publication
• BIB
The convex hull of the roots of a classical root lattice is called a root polytope. We determine explicit unimodular triangulations of the boundaries of the root polytopes associated to the root lattices A_n, C_n, and D_n, and compute their f-and h-vectors. This leads us to recover formulae for the growth series of these root lattices, which were first conjectured by Conway-Mallows-Sloane and Baake-Grimm and proved by Conway-Sloane and Bacher-de la Harpe-Venkov.
Tropical Convex Hull Computations
Published
• View Publication
• BIB
This is a survey on tropical polytopes from the combinatorial point of view and with a focus on algorithms. Tropical convexity is interesting because it relates a number of combinatorial concepts including ordinary convexity, monomial ideals, subdivisions of products of simplices, matroid theory, finite metric spaces, and the tropical Grassmannians. The relationship between these topics is explained via one running example throughout the whole paper. The final section explains how the new version 2.9.4 of the software system polymake can be used to compute with tropical polytopes.
Hamiltonian submanifolds of regular polytopes
Published in Discrete Comput. Geom., 43(2):242--262, March 2010
• View Publication
• BIB
We investigate polyhedral $2k$-manifolds as subcomplexes of the boundary complex of a regular polytope. We call such a subcomplex {\it $k$-Hamiltonian} if it contains the full $k$-skeleton of the polytope. Since the case of the cube is well known and since the case of a simplex was also previously studied (these are so-called {\it super-neighborly triangulations}) we focus on the case of the cross polytope and the sporadic regular 4-polytopes. By our results the existence of 1-Hamiltonian surfaces is now decided for all regular polytopes.
Furthermore we investigate 2-Hamiltonian 4-manifolds in the $d$-dimensional cross polytope. These are the "regular cases" satisfying equality in Sparla's inequality. In particular, we present a new example with 16 vertices which is highly symmetric with an automorphism group of order 128. Topologically it is homeomorphic to a connected sum of 7 copies of $S^2 \times S^2$. By this example all regular cases of $n$ vertices with $n < 20$ or, equivalently, all cases of regular $d$-polytopes with $d\leq 9$ are now decided.
Weighted graphs defining facets: a connection between stable set and linear ordering polytopes
Published in Discrete Optimization, Vol. 6 (1), 2009, pp. 1-9
• View Publication
• BIB
A graph is alpha-critical if its stability number increases whenever an edge is removed from its edge set. The class of alpha-critical graphs has several nice structural properties, most of them related to their defect which is the number of vertices minus two times the stability number. In particular, a remarkable result of Lovász (1978) is the finite basis theorem for alpha-critical graphs of a fixed defect. The class of alpha-critical graphs is also of interest for at least two topics of polyhedral studies. First, Chvátal (1975) shows that each alpha-critical graph induces a rank inequality which is facet-defining for its stable set polytope. Investigating a weighted generalization, Lipták and Lovász (2000, 2001) introduce critical facet-graphs (which again produce facet-defining inequalities for their stable set polytopes) and they establish a finite basis theorem. Second, Koppen (1995) describes a construction that delivers from any alpha-critical graph a facet-defining inequality for the linear ordering polytope. Doignon, Fiorini and Joret (2006) handle the weighted case and thus define facet-defining graphs. Here we investigate relationships between the two weighted generalizations of alpha-critical graphs. We show that facet-defining graphs (for the linear ordering polytope) are obtainable from 1-critical facet-graphs (linked with stable set polytopes). We then use this connection to derive various results on facet-defining graphs, the most prominent one being derived from Lipták and Lovász's finite basis theorem for critical facet-graphs. At the end of the paper we offer an alternative proof of Lovász's finite basis theorem for alpha-critical graphs.
Classifying smooth lattice polytopes via toric fibrations
Published
• View Publication
• BIB
We define Q-normal lattice polytopes. Natural examples of such polytopes are Cayley sums of strictly combinatorially equivalent lattice polytopes, which correspond to particularly nice toric fibrations, namely toric projective bundles. In a recent paper Batyrev and Nill have suggested that there should be a bound, N(d), such that every lattice polytope of degree d and dimension at least N(d) decomposes as a Cayley sum. We give a sharp answer to this question for smooth Q-normal polytopes. We show that any smooth Q-normal lattice polytope P of dimension n and degree d is a Cayley sum of strictly combinatorially equivalent polytopes if n is greater than or equal to 2d+1. The proof relies on the study of the nef value morphism associated to the corresponding toric embedding.
A Local Characterization of Combinatorial Multihedrality in Tilings
Published
• View Publication
• BIB
A locally finite face-to-face tiling of euclidean d-space by convex polytopes is called combinatorially multihedral if its combinatorial automorphism group has only finitely many orbits on the tiles. The paper describes a local characterization of combinatorially multihedral tilings in terms of centered coronas. This generalizes the Local Theorem for Monotypic Tilings, established in an earlier paper, which characterizes the case of combinatorial tile-transitivity.
3-Dimensional Lattice Polytopes Without Interior Lattice Points
A theorem of Howe states that every 3-dimensional lattice polytope $P$ whose only lattice points are its vertices, is a Cayley polytope, i.e. $P$ is the convex hull of two lattice polygons with distance one. We want to generalize this result by classifying 3-dimensional lattice polytopes without interior lattice points. The main result will be, that they are up to finite many exceptions either Cayley polytopes or there is a projection, which maps the polytope to the double unimodular 2-simplex. To every such polytope we associate a smooth projective surface of genus 0.