polytope ↗ reference
3024 papers tagged with this keyword
The number of edges of the edge polytope of a finite simple graph
Published in ARS Mathematica Contemporanea 10 (2016) 323-332
• View Publication
• BIB
Let $d \geq 3$ be an integer. It is known that the number of edges of the edge polytope of the complete graph with $d$ vertices is $d(d-1)(d-2)/2$. In this paper, we study the maximum possible number $μ_d$ of edges of the edge polytope arising from finite simple graphs with $d$ vertices. We show that $μ_{d}=d(d-1)(d-2)/2$ if and only if $3 \leq d \leq 14$. In addition, we study the asymptotic behavior of $μ_d$. Tran--Ziegler gave a lower bound for $μ_d$ by constructing a random graph. We succeeded in improving this bound by constructing both a non-random graph and a random graph whose complement is bipartite.
Large Shadows from Sparse Inequalities
The $d$-dimensional Goldfarb cube is a polytope with the property that all its $2^d$ vertices appear on some \emph{shadow} of it (projection onto a 2-dimensional plane). The Goldfarb cube is the solution set of a system of 2d linear inequalities with at most 3 variables per inequality. We show in this paper that the $d$-dimensional Klee-Minty cube --- constructed from inequalities with at most 2 variables per inequality --- also has a shadow with $2^d$ vertices. In contrast, with one variable per inequality, the size of the shadow is bounded by 2d.
Positroids and non-crossing partitions
Published
• View Publication
• BIB
We investigate the role that non-crossing partitions play in the study of positroids, a class of matroids introduced by Postnikov. We prove that every positroid can be constructed uniquely by choosing a non-crossing partition on the ground set, and then freely placing the structure of a connected positroid on each of the blocks of the partition. This structural result yields several combinatorial facts about positroids. We show that the face poset of a positroid polytope embeds in a poset of weighted non-crossing partitions. We enumerate connected positroids, and show how they arise naturally in free probability. Finally, we prove that the probability that a positroid on [n] is connected equals 1/e^2 asymptotically.
Very ample and Koszul segmental fibrations
Published in Journal of Algebraic Combinatorics 42 (2015), 165-182
• View Publication
• BIB
In the hierarchy of structural sophistication for lattice polytopes, normal polytopes mark a point of origin; very ample and Koszul polytopes occupy bottom and top spots in this hierarchy, respectively. In this paper we explore a simple construction for lattice polytopes with a twofold aim. On the one hand, we derive an explicit series of very ample 3-dimensional polytopes with arbitrarily large deviation from the normality property, measured via the highest discrepancy degree between the corresponding Hilbert functions and Hilbert polynomials. On the other hand, we describe a large class of Koszul polytopes of arbitrary dimensions, containing many smooth polytopes and extending the previously known class of Nakajima polytopes.
Chiral extensions of chiral polytopes
Published
• View Publication
• BIB
Given a chiral d-polytope K with regular facets, we describe a construction for a chiral (d + 1)-polytope P with facets isomorphic to K. Furthermore, P is finite whenever K is finite. We provide explicit examples of chiral 4-polytopes constructed in this way from chiral toroidal maps.
Extremal edge polytopes
Published in The Electronic Journal of Combinatorics 21(2) (2014), P2.57
• View Publication
• BIB
The "edge polytope" of a finite graph G is the convex hull of the columns of its vertex-edge incidence matrix. We study extremal problems for this class of polytopes. For k =2, 3, 5 we determine the maximum number of vertices of k-neighborly edge polytopes up to a sublinear term. We also construct a family of edge polytopes with exponentially-many facets.
On sumsets and convex hull
Published in Discrete Comput. Geom., 52:4, (December 2014), 705-729
• View Publication
• BIB
One classical result of Freimann gives the optimal lower bound for the cardinality of A+A if A is a d-dimensional finite set in the Euclidean d-space. Matolcsi and Ruzsa have recently generalized this lower bound to |A+kB| if B is d-dimensional, and A is contained in the convex hull of B. We characterize the equality case of the Matolcsi-Ruzsa bound. The argument is based partially on understanding triangulations of polytopes.
Short Tops and Semistable Degenerations
Published
• View Publication
• BIB
One may construct a large class of Calabi-Yau varieties by taking anticanonical hypersurfaces in toric varieties obtained from reflexive polytopes. If the intersection of a reflexive polytope with a hyperplane through the origin yields a lower-dimensional reflexive polytope, then the corresponding Calabi-Yau varieties are fibered by lower-dimensional Calabi-Yau varieties. A top generalizes the idea of splitting a reflexive polytope into two pieces. In contrast to the classification of reflexive polytopes, there are infinite families of equivalence classes of tops. Tops may be used to describe either fibrations or degenerations of Calabi-Yau varieties. We give a simple combinatorial condition on tops which produces semistable degenerations of K3 surfaces, and, when appropriate smoothness conditions are met, semistable degenerations of Calabi-Yau threefolds. Our method is constructive: given a fixed reflexive polytope which will lie on the boundary of the top, we describe an algorithm for constructing tops which yields semistable degenerations of the corresponding hypersurfaces. The properties of each degeneration may be computed directly from the combinatorial structure of the top.
Recent progress on the combinatorial diameter of polytopes and simplicial complexes
Published in TOP 21:3 (October 2013), 426-460
• View Publication
• BIB
The Hirsch conjecture, posed in 1957, stated that the graph of a $d$-dimensional polytope or polyhedron with $n$ facets cannot have diameter greater than $n - d$. The conjecture itself has been disproved, but what we know about the underlying question is quite scarce. Most notably, no polynomial upper bound is known for the diameters that were conjectured to be linear. In contrast, no polyhedron violating the conjecture by more than 25% is known.
This paper reviews several recent attempts and progress on the question. Some work in the world of polyhedra or (more often) bounded polytopes, but some try to shed light on the question by generalizing it to simplicial complexes. In particular, we include here our recent and previously unpublished proof that the maximum diameter of arbitrary simplicial complexes is in $n^{Theta(d)}$ and we summarize the main ideas in the polymath 3 project, a web-based collective effort trying to prove an upper bound of type nd for the diameters of polyhedra and of more general objects (including, e. g., simplicial manifolds).
Polynomiality for Bin Packing with a Constant Number of Item Types
Published
• View Publication
• BIB
We consider the bin packing problem with d different item sizes s_i and item multiplicities a_i, where all numbers are given in binary encoding. This problem formulation is also known as the 1-dimensional cutting stock problem.
In this work, we provide an algorithm which, for constant d, solves bin packing in polynomial time. This was an open problem for all d >= 3.
In fact, for constant d our algorithm solves the following problem in polynomial time: given two d-dimensional polytopes P and Q, find the smallest number of integer points in P whose sum lies in Q.
Our approach also applies to high multiplicity scheduling problems in which the number of copies of each job type is given in binary encoding and each type comes with certain parameters such as release dates, processing times and deadlines. We show that a variety of high multiplicity scheduling problems can be solved in polynomial time if the number of job types is constant.
Associahedra via spines
Published in Combinatorica, 38(2):443-486, 2018
• View Publication
• BIB
An associahedron is a polytope whose vertices correspond to triangulations of a convex polygon and whose edges correspond to flips between them. Using labeled polygons, C. Hohlweg and C. Lange constructed various realizations of the associahedron with relevant properties related to the symmetric group and the classical permutahedron. We introduce the spine of a triangulation as its dual tree together with a labeling and an orientation. This notion extends the classical understanding of the associahedron via binary trees, introduces a new perspective on C. Hohlweg and C. Lange's construction closer to J.-L. Loday's original approach, and sheds light upon the combinatorial and geometric properties of the resulting realizations of the associahedron. It also leads to noteworthy proofs which shorten and simplify previous approaches.
A Short Proof that the Extension Complexity of the Correlation Polytope Grows Exponentially
Published in Discrete & Computational Geometry, 2015, 53 (2), pages 396--401
• View Publication
• BIB
We establish that the extension complexity of the nXn correlation polytope is at least 1.5^n by a short proof that is self-contained except for using the fact that every face of a polyhedron is the intersection of all facets it is contained in. The main innovative aspect of the proof is a simple combinatorial argument showing that the rectangle covering number of the unique-disjointness matrix is at least 1.5^n, and thus the nondeterministic communication complexity of the unique-disjointness predicate is at least .58n. We thereby slightly improve on the previously best known lower bounds 1.24^n and .31n, respectively.
On the dimension of max-min convex sets
Published in Fuzzy Sets and Systems 271 (2015) 88-101
• View Publication
• BIB
We introduce a notion of dimension of max-min convex sets, following the approach of tropical convexity. We introduce a max-min analogue of the tropical rank of a matrix and show that it is equal to the dimension of the associated polytope. We describe the relation between this rank and the notion of strong regularity in max-min algebra, which is traditionally defined in terms of unique solvability of linear systems and trapezoidal property.
A branch and cut algorithm for minimum spanning trees under conflict constraints
Published
• View Publication
• BIB
We study approaches for the exact solution of the \NP--hard minimum spanning tree problem under conflict constraints. Given a graph $G(V,E)$ and a set $C \subset E \times E$ of conflicting edge pairs, the problem consists of finding a conflict-free minimum spanning tree, i.e. feasible solutions are allowed to include at most one of the edges from each pair in $C$. The problem was introduced recently in the literature, with several results on its complexity and approximability. Some formulations and both exact and heuristic algorithms were also discussed, but computational results indicate considerably large duality gaps and a lack of optimality certificates for benchmark instances. In this paper, we build on the representation of conflict constraints using an auxiliary conflict graph $\hat{G}(E,C)$, where stable sets correspond to conflict-free subsets of $E$. We introduce a general preprocessing method and a branch and cut algorithm using an IP formulation with exponentially sized classes of valid inequalities for both the spanning tree and the stable set polytopes. Encouraging computational results indicate that the dual bounds of our approach are significantly stronger than those previously available, already in the initial LP relaxation, and we are able to provide new feasibility and optimality certificates.
Antiprismless, or: Reducing Combinatorial Equivalence to Projective Equivalence in Realizability Problems for Polytopes
Published
• View Publication
• BIB
This article exhibits a 4-dimensional combinatorial polytope that has no antiprism, answering a question posed by Bernt Lindstöm. As a consequence, any realization of this combinatorial polytope has a face that it cannot rest upon without toppling over. To this end, we provide a general method for solving a broad class of realizability problems. Specifically, we show that for any semialgebraic property that faces inherit, the given property holds for some realization of every combinatorial polytope if and only if the property holds from some projective copy of every polytope. The proof uses the following result by Below. Given any polytope with vertices having algebraic coordinates, there is a combinatorial "stamp" polytope with a specified face that is projectively equivalent to the given polytope in all realizations. Here we construct a new stamp polytope that is closely related to Richter-Gebert's proof of universality for 4-dimensional polytopes, and we generalize several tools from that proof.
Combinatorics and Geometry of Transportation Polytopes: An Update
Published
• View Publication
• BIB
A transportation polytope consists of all multidimensional arrays or tables of non-negative real numbers that satisfy certain sum conditions on subsets of the entries. They arise naturally in optimization and statistics, and also have interest for discrete mathematics because permutation matrices, latin squares, and magic squares appear naturally as lattice points of these polytopes.
In this paper we survey advances on the understanding of the combinatorics and geometry of these polyhedra and include some recent unpublished results on the diameter of graphs of these polytopes. In particular, this is a thirty-year update on the status of a list of open questions last visited in the 1984 book by Yemelichev, Kovalev and Kravtsov and the 1986 survey paper of Vlach.
Facets of secondary polytopes and Chow stability of toric varieties
Chow stability is one notion of Mumford's Geometric Invariant Theory for studying the moduli space of polarized varieties. Kapranov, Sturmfels and Zelevinsky detected that Chow stability of polarized toric varieties is determined by its inherent {\it secondary polytope}, which is a polytope whose vertices correspond to regular triangulations of the associated polytope \cite{KSZ}. In this paper, we give a purely convex-geometrical proof that the Chow form of a projective toric variety is $H$-semistable if and only if it is $H$-polystable with respect to the standard complex torus action $H$. This \emph{essentially} means that Chow semistability is equivalent to Chow polystability for any (not-necessaliry-smooth) projective toric varieties.
Convex Polytopes from Nested Posets
Published in European Journal of Combinatorics 43 (2015) 229 - 248
• View Publication
• BIB
Motivated by the graph associahedron KG, a polytope whose face poset is based on connected subgraphs of G, we consider the notion of associativity and tubes on posets. This leads to a new family of simple convex polytopes obtained by iterated truncations. These generalize graph associahedra and nestohedra, even encompassing notions of nestings on CW-complexes. However, these poset associahedra fall in a different category altogether than generalized permutohedra.
On the number of irreducible points in polyhedra
Published in Graphs and Combinatorics. 2016. V. 32, N. 5. P. 1789-1803
• View Publication
• BIB
An integer point in a polyhedron is called irreducible iff it is not the midpoint of two other integer points in the polyhedron. We prove that the number of irreducible integer points in $n$-dimensional polytope with radius $k$ given by a system of $m$ linear inequalities is at most $O(m^{\lfloor\frac{n}{2}\rfloor}\log^{n-1} k)$ if $n$ is fixed. Using this result we prove the hypothesis asserting that the teaching dimension in the class of threshold functions of $k$-valued logic in $n$ variables is $Θ(\log^{n-2} k)$ for any fixed $n\ge 2$.
Growth rates of cocompact hyperbolic Coxeter groups and 2-Salem numbers
Published in Algebr. Geom. Topol. 14 (2014) 2721-2746
• View Publication
• BIB
By the results of Cannon, Wagreich and Parry, it is known that the growth rate of a cocompact Coxeter group in 2-dimensional hyperbolic space $H^2$ and 3-dimensional hyperbolic space $H^3$ is a Salem number. Kerada defined a j-Salem number, which is a generalization of a Salem number. In this paper, we realize infinitely many 2-Salem numbers as the growth rates of cocompact Coxeter groups in 4-dimensional hyperbolic space $H ^4$. Our Coxeter polytopes are constructed by successive gluing of Coxeter polytopes which we call Coxeter dominoes.