polytope ↗ reference
3077 papers tagged with this keyword
A Lost Counterexample and a Problem on Illuminated Polytopes
Published
• View Publication
• BIB
In a Note added in proof to a 1984 paper, Daniel A. Marcus claimed to have a counterexample to his conjecture that a minimal positively k-spanning vector configuration in R^m has size at most 2km. However, the counterexample was never published, and seems to be lost.
Independently, ten years earlier, Peter Mani in 1974 solved a problem by Hadwiger, disproving that every ``illuminated'' d-dimensional polytope must have at least 2d vertices.
These two studies are related by Gale duality, an elementary linear algebra technique devised by Micha A. Perles in the sixties. Thus, we note that Mani's study provides a counterexample for Marcus' conjecture with exactly the parameters that Marcus had claimed. In the other direction, with Marcus' tools we provide an answer to a problem left open by Mani: Could ``illuminated'' d-dimensional polytopes on a minimal number of vertices be nonsimplicial?
Hyperbolic tessellations associated to Bianchi groups
Published
• View Publication
• BIB
Let F/Q be number field. The space of positive definite binary Hermitian forms over F form an open cone in a real vector space. There is a natural decomposition of this cone into subcones, which descend give rise to hyperbolic tessellations of 3-dimensional hyperbolic space by ideal polytopes.
We compute the structure of these polytopes for a range of imaginary quadratic fields.
Non-projectability of polytope skeleta
Published in Adv. Math. 229 (2012), no. 1, 79-101
• View Publication
• BIB
We investigate necessary conditions for the existence of projections of polytopes that preserve full k-skeleta. More precisely, given the combinatorics of a polytope and the dimension e of the target space, what are obstructions to the existence of a geometric realization of a polytope with the given combinatorial type such that a linear projection to e-space strictly preserves the k-skeleton. Building on the work of Sanyal (2009), we develop a general framework to calculate obstructions to the existence of such realizations using topological combinatorics. Our obstructions take the form of graph colorings and linear integer programs. We focus on polytopes of product type and calculate the obstructions for products of polygons, products of simplices, and wedge products of polytopes. Our results show the limitations of constructions for the deformed products of polygons of Sanyal & Ziegler (2009) and the wedge product surfaces of Rörig & Ziegler (2009) and complement their results.
A new semidefinite programming hierarchy for cycles in binary matroids and cuts in graphs
Published in Mathematical Programming, Volume 133, Numbers 1-2, pp. 203-225, (2012)
• View Publication
• BIB
The theta bodies of a polynomial ideal are a series of semidefinite programming relaxations of the convex hull of the real variety of the ideal. In this paper we construct the theta bodies of the vanishing ideal of cycles in a binary matroid. Applied to cuts in graphs, this yields a new hierarchy of semidefinite programming relaxations of the cut polytope of the graph. If the binary matroid avoids certain minors we can characterize when the first theta body in the hierarchy equals the cycle polytope of the matroid. Specialized to cuts in graphs, this result solves a problem posed by Lovász.
Enumeration of $4 \times 4$ Magic Squares
Published in Mathematics of Computation 80 (2011), 617-621
• View Publication
• BIB
A \emph{magic square} is an $n \times n$ array of distinct positive integers whose sum along any row, column, or main diagonal is the same number. We compute the number of such squares for $n=4$, as a function of either the magic sum or an upper bound on the entries. The previous record for both functions was the $n=3$ case. Our methods are based on inside-out polytopes, i.e., the combination of hyperplane arrangements and Ehrhart's theory of lattice-point enumeration.
Closed form expressions for Hodge numbers of complete intersection Calabi-Yau threefolds in toric varieties
Published in Mirror Symmetry and Tropical Geometry, Contemporary Mathematics, vol. 527, Amer. Math. Soc., Providence, RI, 2010, pp. 1-14
• View Publication
• BIB
We use Batyrev-Borisov's formula for the generating function of stringy Hodge numbers of Calabi-Yau varieties realized as complete intersections in toric varieties in order to get closed form expressions for Hodge numbers of Calabi-Yau threefolds in five-dimensional ambient spaces. These expressions involve counts of lattice points on faces of associated Cayley polytopes. Using the same techniques, similar expressions may be obtained for higher dimensional varieties realized as complete intersections of two hypersurfaces.
An update on the Hirsch conjecture
Published in Jahresbericht der Deutschen Mathematiker-Vereinigung, Volume 112(2) (June 2010), 73-98
• View Publication
• BIB
The Hirsch conjecture was posed in 1957 in a letter from Warren M. Hirsch to George Dantzig. It states that the graph of a d-dimensional polytope with n facets cannot have diameter greater than n - d.
Despite being one of the most fundamental, basic and old problems in polytope theory, what we know is quite scarce. Most notably, no polynomial upper bound is known for the diameters that are conjectured to be linear. In contrast, very few polytopes are known where the bound $n-d$ is attained. This paper collects known results and remarks both on the positive and on the negative side of the conjecture. Some proofs are included, but only those that we hope are accessible to a general mathematical audience without introducing too many technicalities.
Ehrhart theory, Modular flow reciprocity, and the Tutte polynomial
Published in Math. Z. 270 (2012), no. 1-2, 1-18
• View Publication
• BIB
Given an oriented graph G, the modular flow polynomial counts the number of nowhere-zero Z_k-flows of G. We give a description of the modular flow polynomial in terms of (open) Ehrhart polynomials of lattice polytopes. Using Ehrhart-Macdonald reciprocity we give a combinatorial interpretation for the values of the modular flow polynomial at negative arguments which answers a question of Beck and Zaslavsky (2006). Our construction extends to Z_l-tensions and we recover Stanley's reciprocity theorem for the chromatic polynomial. Combining the combinatorial reciprocity statements for flows and tensions, we give an enumerative interpretation for positive evaluations of the Tutte polynomial of G.
Normality of cut polytopes of graphs is a minor closed property
Published in Discrete Mathematics 310 (2010), 1160--1166
• View Publication
• BIB
Sturmfels-Sullivant conjectured that the cut polytope of a graph is normal if and only if the graph has no K_5 minor. In the present paper, it is proved that the normality of cut polytopes of graphs is a minor closed property. By using this result, we have large classes of normal cut polytopes. Moreover, it turns out that, in order to study the conjecture, it is enough to consider 4-connected plane triangulations.
Positivity theorems for solid-angle polynomials
Published in Beitr. Algebra Geom. 51, no. 2 (2010), 493-507
• Search Publication
For a lattice polytope P, define A_P(t) as the sum of the solid angles of all the integer points in the dilate tP. Ehrhart and Macdonald proved that A_P(t) is a polynomial in the positive integer variable t. We study the numerator polynomial of the solid-angle series sum_{t >= 0} A_P(t) z^t. In particular, we examine nonnegativity of its coefficients, monotonicity and unimodality questions, and study extremal behavior of the sum of solid angles at vertices of simplices. Some of our results extend to more general valuations.
Essential hyperbolic Coxeter polytopes
Published in Israel J. Math. 199 (2014), 113-161
• View Publication
• BIB
We introduce a notion of essential hyperbolic Coxeter polytope as a polytope which fits some minimality conditions. The problem of classification of hyperbolic reflection groups can be easily reduced to classification of essential Coxeter polytopes. We determine a potentially large combinatorial class of polytopes containing, in particular, all the compact hyperbolic Coxeter polytopes of dimension at least 6 which are known to be essential, and prove that this class contains finitely many polytopes only. We also construct an effective algorithm of classifying polytopes from this class, realize it in four-dimensional case, and formulate a conjecture on finiteness of the number of essential polytopes.
The number of extreme points of tropical polyhedra
Published in Journal of Combinatorial Theory, Series A, Volume 118, Issue 1, January 2011, Pages 162-189
• View Publication
• BIB
The celebrated upper bound theorem of McMullen determines the maximal number of extreme points of a polyhedron in terms of its dimension and the number of constraints which define it, showing that the maximum is attained by the polar of the cyclic polytope. We show that the same bound is valid in the tropical setting, up to a trivial modification. Then, we study the natural candidates to be the maximizing polyhedra, which are the polars of a family of cyclic polytopes equipped with a sign pattern. We construct bijections between the extreme points of these polars and lattice paths depending on the sign pattern, from which we deduce explicit bounds for the number of extreme points, showing in particular that the upper bound is asymptotically tight as the dimension tends to infinity, keeping the number of constraints fixed. When transposed to the classical case, the previous constructions yield some lattice path generalizations of Gale's evenness criterion.
The contact polytope of the Leech lattice (complete version)
Published in Discr. Comp. Geom. 44 (2010), 904-911
• View Publication
• BIB
The contact polytope of a lattice is the convex hull of its shortest vectors. In this paper we classify the facets of the contact polytope of the Leech lattice up to symmetry. There are 1,197,362,269,604,214,277,200 many facets in 232 orbits.
Perfect but not generating Delaunay polytopes
In his seminal 1951 paper "Extreme forms" Coxeter \cite{cox51} observed that for $n \ge 9$ one can add vectors to the perfect lattice $\sfA_9$ so that the resulting perfect lattice, called $\sfA_9^2$ by Coxeter, has exactly the same set of minimal vectors. An inhomogeneous analog of the notion of perfect lattice is that of a lattice with a perfect Delaunay polytope: the vertices of a perfect Delaunay polytope are the analogs of minimal vectors in a perfect lattice. We find a new infinite series $P(n,s)$ for $s\geq 2$ and $n+1\geq 4s$ of $n$-dimensional perfect Delaunay polytopes. A remarkable property of this series is that for certain values of $s$ and all $n \ge 13$ one can add points to the integer affine span of $P(n,s)$ in such a way that $P(n,s)$ remains a perfect Delaunay polytope in the new lattice. Thus, we have constructed an inhomogeneous analog of the remarkable relationship between $\sfA_9$ and $\sfA_9^2$.
Matroid Polytopes: Algorithms, Theory, and Applications
This dissertation presents new results on three different themes all related to matroid polytopes. First we investigate properties of Ehrhart polynomials of matroid polytopes, independence matroid polytopes, and polymatroids. We prove that for fixed rank their Ehrhart polynomials are computable in polynomial time. The proof relies on the geometry of these polytopes as well as a new refined analysis of the evaluation of Todd polynomials.
Second, we discuss theoretical results regarding the algebraic combinatorics of matroid polytopes. We discuss two conjectures about the h^*-vector and coefficients of Ehrhart polynomials of matroid polytopes and provide theoretical and computational evidence for their validity. We also explore a variant of White's conjecture which states that every matroid polytope has a regular unimodular triangulation. We provide extensive computational evidence supporting this new conjecture and propose a combinatorial condition on simplices sufficient for unimodularity.
Finally, motivated by recent work on algorithmic theory for non-linear and multicriteria matroid optimization, we have developed algorithms and heuristics aimed at practical solutions of large instances of these difficult problems. Our methods primarily use the local adjacency structure inherent in matroid polytopes to pivot to feasible solutions which may or may not be optimal. We also present a modified breadth-first-search heuristic that uses adjacency to enumerate a subset of feasible solutions. We present other heuristics, and provide computational evidence supporting these new techniques. We implemented all of our algorithms in the software package MOCHA (Matroids Optimization Combinatorial Heuristics and Algorithms).
Gosset Polytopes in Picard groups of del Pezzo Surfaces
Published
• View Publication
• BIB
In this article, we research on the correspondences between the geometry of del Pezzo surfaces S_{r} and the geometry of Gosset polytopes (r-4)_{21}. We construct Gosset polytopes (r-4)_{21} in Pic S_{r}; Q whose vertices are lines, and we identify divisor classes in Pic S_{r} corresponding to (a-1)-simplexes, (r-1)-simplexes and (r-1)-crosspolytopes of the polytope (r-4)_{21}. Then we explain these classes correspond to skew a-lines, exceptional systems and rulings, respectively. As an application, we work on the monoidal transform for lines to study the local geometry of the polytope (r-4)_{21}. And we show Gieser transformation and Bertini transformation induce a symmetry of polytopes 3_{21} and 4_{21}, respectively.
Ball polytopes and the Vazsonyi problem
Published
• View Publication
• BIB
Let V be a finite set of points in Euclidean d-space (d >= 2). The intersection of all unit balls B(v,1) centered at v, where v ranges over V, henceforth denoted by B(V) is the ball polytope associated with V. Note that B(V) is non-empty iff the circumradius of V is <= 1. After some preparatory discussion on spherical convexity and spindle convexity, the paper focuses on two central themes. [a] Define the boundary complex of B(V) (assuming it is non-empty, of course), i.e., define its vertices, edges and facets in dimension 3 (in dimension 2 this complex is just a circuit), and investigate its basic properties. [b] Apply results of this investigation to characterize finite sets of diameter 1 in (Euclidean) 3-space for which the diameter is attained a maximal number of times as a segment (of length 1) with both endpoints in V. A basic result for such a characterization goes back to Grunbaum, Heppes and Straszewicz, who proved independently that the diameter of V is attained at most 2|V|-2 times, thus affirming a conjecture of Vazsonyi from circa 1935. Call V extremal if its diameter is attained this maximal number (2|V|-2) of times. We extend the aforementioned basic result by showing that V is extremal iff V coincides with the set of vertices of its ball polytope B(V) and show that in this case the boundary complex of B(V) is self-dual in some strong sense. For the sake of priority we mention that, in the present form (except for a few changes in the footnotes), the paper was submitted to a journal already in February 1, 2008.
Ehrhart polynomials of convex polytopes with small volumes
Published
• View Publication
• BIB
We classify all the possible $delta$-vectors of d-dimensional integral convex polytopes whose volumes are less than or equal to 3/(d!).
Parametric analysis of RNA folding
Published
• View Publication
• BIB
We extend recent methods for parametric sequence alignment to the parameter space for scoring RNA folds. This involves the construction of an RNA polytope. A vertex of this polytope corresponds to RNA secondary structures with common branching. We use this polytope and its normal fan to study the effect of varying three parameters in the free energy model that are not determined experimentally. Our results indicate that variation of these specific parameters does not have a dramatic effect on the structures predicted by the free energy model. We additionally map a collection of known RNA secondary structures to the RNA polytope.
Root polytopes, triangulations, and the subdivision algebra, II
The type C_n full root polytope is the convex hull in R^n of the origin and the points e_i-e_j, e_i+e_j, 2e_k for 1 <= i < j <= n, k \in [n]. Given a graph G, with edges labeled positive or negative, associate to each edge e of G a vector v(e) which is e_i-e_j if e=(i, j), i < j, is labeled negative and e_i+e_j if it is labeled positive. For such a signed graph G, the associated root polytope P(G) is the intersection of the full root polytope with the cone generated by the vectors v(e), for edges e in G. The reduced forms of a certain monomial m[G] in commuting variables x_{ij}, y_{ij}, z_k under reductions derived from the relations of a bracket algebra of type C_n, can be interpreted as triangulations of P(G). Using these triangulations, the volume of P(G) can be calculated. If we allow variables to commute only when all their indices are distinct, then we prove that the reduced form of m[G], for "good" graphs G, is unique and yields a canonical triangulation of P(G) in which each simplex corresponds to a noncrossing alternating graph in a type C sense. A special case of our results proves a conjecture of A. N. Kirillov about the uniqueness of the reduced form of a Coxeter type element in the bracket algebra of type C_n. We also study the bracket algebra of type D_n and show that a family of monomials has unique reduced forms in it. A special case of our results proves a conjecture of A. N. Kirillov about the uniqueness of the reduced form of a Coxeter type element in the bracket algebra of type D_n.