polytope ↗ reference
3077 papers tagged with this keyword
Convex Discrete Optimization
Published in Encyclopedia of Optimization 2009: 513-550
• View Publication
• BIB
We develop an algorithmic theory of convex optimization over discrete sets. Using a combination of algebraic and geometric tools we are able to provide polynomial time algorithms for solving broad classes of convex combinatorial optimization problems and convex integer programming problems in variable dimension. We discuss some of the many applications of this theory including to quadratic programming, matroids, bin packing and cutting-stock problems, vector partitioning and clustering, multiway transportation problems, and privacy and confidential statistical data disclosure. Highlights of our work include a strongly polynomial time algorithm for convex and linear combinatorial optimization over any family presented by a membership oracle when the underlying polytope has few edge-directions; a new theory of so-termed n-fold integer programming, yielding polynomial time solution of important and natural classes of convex and linear integer programming problems in variable dimension; and a complete complexity classification of high dimensional transportation problems, with practical applications to fundamental problems in privacy and confidential statistical data disclosure.
Combinatorial aspects of mirror symmetry
Published in Contemporary Mathematics 452 (2008), 35-66
• View Publication
• BIB
The purpose of this paper is to review some combinatorial ideas behind the mirror symmetry for Calabi-Yau hypersurfaces and complete intersections in Gorenstein toric Fano varieties. We suggest as a basic combinatorial object the notion of a Gorenstein polytope of index r. A natural combinatorial duality for d-dimensional Gorenstein polytopes of index r extends the well-known polar duality for reflexive polytopes (case r=1). We consider the Borisov duality between two nef-partitions as a duality between two Gorenstein polytopes P and P^* of index r together with selected special (r-1)-dimensional simplices S in P and S' in P^*. Different choices of these simplices suggest an interesting relation to Homological Mirror Symmetry.
Classification of terminal simplicial reflexive d-polytopes with 3d-1 vertices
We classify terminal simplicial reflexive d-polytopes with 3d-1 vertices. They turn out to be smooth Fano d-polytopes. When d is even there is 1 such polytope up to isomorphism, while there are 2 when d is uneven.
Local Euler-Maclaurin expansion of Barvinok valuations and Ehrhart coefficients of a rational polytope
Published
• View Publication
• BIB
We extend to Barvinok's valuations the Euler-Maclaurin expansion formula which we obtained previously for the sum of values of a polynomial over the integral points of a rational polytope. This leads to an improvement of Barvinok's polynomial type algorithm for computing the highest coefficients of the corresponding Ehrhart quasi-polynomial.
Classification of toric Fano 5-folds
Published in Adv. Geom. 9 (2009), 85-97
• View Publication
• BIB
We obtain 866 isomorphism classes of five-dimensional nonsingular toric Fano varieties using a computer program and the database of four-dimensional reflexive polytopes. The algorithm is based on the existence of facets of Fano polytopes having small integral distance from any vertex.
Topological obstructions for vertex numbers of Minkowski sums
Published in J. Combin. Theory Ser. A 116 (2009), no. 1, 168-179
• View Publication
• BIB
We show that for polytopes P_1, P_2, ..., P_r \subset \R^d, each having n_i \ge d+1 vertices, the Minkowski sum P_1 + P_2 + ... + P_r cannot achieve the maximum of \prod_i n_i vertices if r \ge d. This complements a recent result of Fukuda & Weibel (2006), who show that this is possible for up to d-1 summands. The result is obtained by combining methods from discrete geometry (Gale transforms) and topological combinatorics (van Kampen--type obstructions) as developed in Rörig, Sanyal, and Ziegler (2007).
Maximal Periods of (Ehrhart) Quasi-Polynomials
Published in J. Combin. Theory Ser. A 115, no. 3 (2008), 517-525
• View Publication
• BIB
A \emph{quasi-polynomial} is a function defined of the form $q(k) = c_d(k) k^d + c_{d-1}(k) k^{d-1} + ... + c_0(k)$, where $c_0, c_1, ..., c_d$ are periodic functions in $k \in \Z$. Prominent examples of quasi-polynomials appear in Ehrhart's theory as integer-point counting functions for rational polytopes, and McMullen gives upper bounds for the periods of the $c_j(k)$ for Ehrhart quasi-polynomials. For generic polytopes, McMullen's bounds seem to be sharp, but sometimes smaller periods exist. We prove that the second leading coefficient of an Ehrhart quasi-polynomial always has maximal expected period and present a general theorem that yields maximal periods for the coefficients of certain quasi-polynomials. We present a construction for (Ehrhart) quasi-polynomials that exhibit maximal period behavior and use it to answer a question of Zaslavsky on convolutions of quasi-polynomials.
Ehrhart series and lattice triangulations
Published in Discr. Comput. Geom. 40 (2008), 365--376.
• View Publication
• BIB
We express the generating function for lattice points in a rational polyhedral cone with a simplicial subdivision in terms of multivariate analogues of the h-polynomials of the subdivision and "local contributions" of the links of its nonunimodular faces. We also compute new examples of nonunimodal h^*-vectors of reflexive polytopes.
A Generating Function for all Semi-Magic Squares and the Volume of the Birkhoff Polytope
Published
• View Publication
• BIB
We present a multivariate generating function for all n x n nonnegative integral matrices with all row and column sums equal to a positive integer t, the so called semi-magic squares. As a consequence we obtain formulas for all coefficients of the Ehrhart polynomial of the polytope B_n of n x n doubly-stochastic matrices, also known as the Birkhoff polytope. In particular we derive formulas for the volumes of B_n and any of its faces.
Pseudo-Triangulations - a Survey
Published in In: Surveys on Discrete and Computational Geometry-Twenty Years Later. Herausgeber: Jacob E. Goodman, János Pach und Richard Pollack, Contemporary Mathematics, Band 453, American Mathematical Society, 2008, pp. 343-410
• View Publication
• BIB
A pseudo-triangle is a simple polygon with three convex vertices, and a pseudo-triangulation is a face-to-face tiling of a planar region into pseudo-triangles. Pseudo-triangulations appear as data structures in computational geometry, as planar bar-and-joint frameworks in rigidity theory and as projections of locally convex surfaces.
This survey of current literature includes combinatorial properties and counting of special classes, rigidity theoretical results, representations as polytopes, straight-line drawings from abstract versions called combinatorial pseudo-triangulations, algorithms and applications of pseudo-triangulations.
A Realization of Graph-Associahedra
Published in Discrete Mathematics 309 (2009) 271-276
• View Publication
• BIB
Given any finite graph, we offer a simple realization of the graph-associahedron polytope using integer coordinates.
The Holt-Klee condition for oriented matroids
Published
• View Publication
• BIB
Holt and Klee have recently shown that every (generic) LP orientation of the graph of a $d$-polytope satisfies a directed version of the $d$-connectivity property, i.e. there are $d$ internally disjoint directed paths from a unique source to a unique sink. We introduce two new classes HK and HK* of oriented matroids (OMs) by enforcing this property and its dual interpretation in terms of line shellings, respectively. Both classes contain all representable OMs by the Holt-Klee theorem. While we give a construction of an infinite family of non-HK* OMs, it is not clear whether there exists any non-HK OM. This leads to a fundamental question as to whether the Holt-Klee theorem can be proven combinatorially by using the OM axioms only. Finally, we give the complete classification of OM(4, 8), the OMs of rank 4 on 8-element ground set with respect to the HK, HK*, Euclidean and Shannon properties. Our classification shows that there exists no non-HK OM in this class.
The Polytope of Dual Degree Partitions
Published
• View Publication
• BIB
We determine the extreme points and facets of the convex hull of all dual degree partitions of simple graphs on $n$ vertices.
A centrally symmetric version of the cyclic polytope
Published
• View Publication
• BIB
We define a centrally symmetric analogue of the cyclic polytope and study its facial structure. We conjecture that our polytopes provide asymptotically the largest number of faces in all dimensions among all centrally symmetric polytopes with n vertices of a given even dimension d=2k when d is fixed and n grows. For a fixed even dimension d=2k and an integer 0< j <k we prove that the maximum possible number of j-dimensional faces of a centrally symmetric d-dimensional polytope with n vertices is at least (c_j(d)+o(1)) {n \choose j+1} for some c_j(d)>0 and at most (1-2^{-d}+o(1)){n \choose j+1} as n grows. We show that c_1(d) \geq (d-2)/(d-1).
An order-refined and generalized version of the Erdos-Szekeres theorem on convex polygons
The Erdos-Szekeres theorem states that for any natural k there is a natural number g(k) such that any set of at least g(k) points on a plane in general position contains a set of k points that are the extreme points of a convex polytope. We generalize and refine this theorem, having the general-position condition removed and a convex polygon defined as an ordered sequence of points such that the union of the edges of the polygon coincides with the boundary of its convex hull.
Elimination theory and Newton polytopes
Published in Funct. Anal. Other Math., 2 (2008), no.1, 45--71
• View Publication
• BIB
We study elimination theory in the context of Newton polytopes and develop its convex-geometric counterpart.
On Gale and braxial polytopes
Published
• View Publication
• BIB
Cyclic polytopes are characterized as simplicial polytopes satisfying Gale's evenness condition (a combinatorial condition on facets relative to a fixed ordering of the vertices). Periodically-cyclic polytopes are polytopes for which certain subpolytopes are cyclic. Bisztriczky discovered a class of periodically-cyclic polytopes that also satisfy Gale's evenness condition. The faces of these polytopes are braxtopes, a certain class of nonsimplicial polytopes studied by the authors. In this paper we prove that the periodically-cyclic Gale polytopes of Bisztriczky are exactly the polytopes that satisfy Gale's evenness condition and are braxial (all faces are braxtopes). The existence of other periodically-cyclic Gale polytopes is open.
An Efficient Approximation of the Traveling Salesman Polytope Using Lifting Methods
For the Traveling Salesman Polytope on n cities T_n, we construct its approximation Q_k, k=1, 2, . . ., n^(1/3) using a projection of a polytope whose number of facets is polynomial in n (of degree linear in k). We show that T_n is contained in Q_k for each k, and that the scaling of Q_k by k/n+O(1/n) is contained in T_n for each k. We show that certain facets of T_n lie on the boundary of Q_k.
The computational complexity of convex bodies
Published
• View Publication
• BIB
We discuss how well a given convex body B in a real d-dimensional vector space V can be approximated by a set X for which the membership question: ``given an x in V, does x belong to X?'' can be answered efficiently (in time polynomial in d). We discuss approximations of a convex body by an ellipsoid, by an algebraic hypersurface, by a projection of a polytope with a controlled number of facets, and by a section of the cone of positive semidefinite quadratic forms. We illustrate some of the results on the Traveling Salesman Polytope, an example of a complicated convex body studied in combinatorial optimization.
Central limit theorems for Gaussian polytopes
Choose $n$ random, independent points in $\R^d$ according to the standard normal distribution. Their convex hull $K_n$ is the {\sl Gaussian random polytope}. We prove that the volume and the number of faces of $K_n$ satisfy the central limit theorem, settling a well known conjecture in the field.