polytope ↗ reference
3077 papers tagged with this keyword
A geometric and combinatorial view of weighted voting
A natural partial ordering exists on the set of all weighted games and, more broadly, on all linear games. We describe several properties of the partially ordered sets formed by these games and utilize this perspective to enumerate proper linear games with one generator. We introduce a geometric approach to weighted voting by considering the convex polytope of all possible realizations of a weighted game and connect this geometric perspective to the weighted games poset in several ways. In particular, we prove that generic vertical lines in $C_n$, the union of all weighted $n$-player polytopes, correspond to maximal saturated chains in the poset of weighted games, i.e., the poset is a blueprint for how the polytopes fit together to form $C_n$. We show how to compare the relationships between the powers of the players using the polytope directly. Finally, we describe the facets of each polytope, from which we develop a method for determining the weightedness of any linear game that covers or is covered by a weighted game.
Smooth Fano polytopes whose Ehrhart polynomial has a root with large real part
Published in Discrete and Computational Geometry 47 (2012), 624--628
• View Publication
• BIB
The symmetric edge polytopes of odd cycles (del Pezzo polytopes) are known as smooth Fano polytopes. In this paper, we show that if the length of the cycle is 127, then the Ehrhart polynomial has a root whose real part is greater than the dimension. As a result, we have a smooth Fano polytope that is a counterexample to the two conjectures on the roots of Ehrhart polynomials.
Finding Descriptions of Polytopes via Extended Formulations and Liftings
We describe a technique to obtain linear descriptions for polytopes from extended formulations. The simple idea is to first define a suitable lifting function and then to find linear constraints that are valid for the polytope and guarantee lifted points to be contained in the extension. We explain the technique at an example from the literature (matching polytopes), obtain new simple proofs of results on path-set polytopes and small-cliques polytopes, and finally exploit the technique in order to derive linear descriptions of orbisacks, which are special Knapsack polytopes arising in the context of symmetry breaking in integer programming problems.
Permutation Polytopes of Cyclic Groups
Published
• View Publication
• BIB
We investigate the combinatorics and geometry of permutation polytopes associated to cyclic permutation groups, i.e., the convex hulls of cyclic groups of permutation matrices. We give formulas for their dimension and vertex degree. In the situation that the generator of the group consists of at most two orbits, we can give a complete combinatorial description of the associated permutation polytope. In the case of three orbits the facet structure is already quite complex. For a large class of examples we show that there exist exponentially many facets.
Dichotomy of the addition of natural numbers
Published
• View Publication
• BIB
This is an elementary presentation of the arithmetic of trees. We show how it is related to the Tamari poset. In the last part we investigate various ways of realizing this poset as a polytope (associahedron), including one inferred from Tamari's thesis.
Homology Representations Arising from a Hypersimplex
We present a complete acyclic matching of the Hasse diagram associated with the face lattice of a hypersimplex. Since a hypersimplex is a convex polytope, there is a natural way to form a CW complex from its faces. We will then utilize this matching along with discrete Morse theory and some topological techniques to classify every subcomplex whose reduced homology groups are concentrated in a single degree. These reduced homology groups support a natural action of the symmetric group and a description of the characters that this action produces is given.
A bound for the number of vertices of a polytope with applications
Published
• View Publication
• BIB
We prove that the number of vertices of a polytope of a particular kind is exponentially large in the dimension of the polytope. As a corollary, we prove that an n-dimensional centrally symmetric polytope with O(n) facets has 2^{Omega(n)} vertices and that the number of r-factors in a k-regular graph is exponentially large in the number of vertices of the graph provided k >2r and every cut in the graph with at least two vertices on each side has more than k/r edges.
Triangulations of Cayley and Tutte polytopes
Published
• View Publication
• BIB
Cayley polytopes were defined recently as convex hulls of Cayley compositions introduced by Cayley in 1857. In this paper we resolve Braun's conjecture, which expresses the volume of Cayley polytopes in terms of the number of connected graphs. We extend this result to two one-variable deformations of Cayley polytopes (which we call t-Cayley and t-Gayley polytopes), and to the most general two-variable deformations, which we call Tutte polytopes. The volume of the latter is given via an evaluation of the Tutte polynomial of the complete graph. Our approach is based on an explicit triangulation of the Cayley and Tutte polytope. We prove that simplices in the triangulations correspond to labeled trees. The heart of the proof is a direct bijection based on the neighbors-first search graph traversal algorithm.
Degree Bounds for a Minimal Markov Basis for the Three-State Toric Homogeneous Markov Chain Model
Published
• View Publication
• BIB
We study the three state toric homogeneous Markov chain model and three special cases of it, namely: (i) when the initial state parameters are constant, (ii) without self-loops, and (iii) when both cases are satisfied at the same time. Using as a key tool a directed multigraph associated to the model, the state-graph, we give a bound on the number of vertices of the polytope associated to the model which does not depend on the time. Based on our computations, we also conjecture the stabilization of the f-vector of the polytope, analyze the normality of the semigroup, give conjectural bounds on the degree of the Markov bases.
Ehrhart polynomials of integral simplices with prime volumes
For an integral convex polytope $\Pc \subset \RR^N$ of dimension $d$, we call $δ(\Pc)=(δ_0, δ_1,..., δ_d)$ the $δ$-vector of $\Pc$ and $\vol(\Pc)=\sum_{i=0}^dδ_i$ its normalized volume. In this paper, we will establish the new equalities and inequalities on $δ$-vectors for integral simplices whose normalized volumes are prime. Moreover, by using those, we will classify all the possible $δ$-vectors of integral simplices with normalized volume 5 and 7.
Reflexive polytopes of higher index and the number 12
Published in Electronic Journal of Combinatorics, 19 (2012), no. 3, P9
• View Publication
• BIB
We introduce reflexive polytopes of index l as a natural generalisation of the notion of a reflexive polytope of index 1. These l-reflexive polytopes also appear as dual pairs. In dimension two we show that they arise from reflexive polygons via a change of the underlying lattice. This allows us to efficiently classify all isomorphism classes of l-reflexive polygons up to index 200. As another application, we show that any reflexive polygon of arbitrary index satisfies the famous "number 12" property. This is a new, infinite class of lattice polygons possessing this property, and extends the previously known sixteen instances. The number 12 property also holds more generally for l-reflexive non-convex or self-intersecting polygonal loops. We conclude by discussing higher-dimensional examples and open questions.
Morse matchings on polytopes
Published in Algebr. Geom. Topol. 12 (2012) 2429-2450
• View Publication
• BIB
We show how to construct homology bases for certain CW complexes in terms of discrete Morse theory and cellular homology. We apply this technique to study certain subcomplexes of the half cube polytope studied in previous works. This involves constructing explicit complete acyclic Morse matchings on the face lattice of the half cube; this procedure may be of independent interest for other highly symmetric polytopes.
Inscribing a regular octahedron into polytopes
Published in Discrete Mathematics 313:1 (2012), 122-128
• View Publication
• BIB
We prove that any simple polytope (and some non-simple polytopes) in $\mathbb R^3$ admits an inscribed regular octahedron.
Sherali-Adams Relaxations of Graph Isomorphism Polytopes
Published
• View Publication
• BIB
We investigate the Sherali-Adams lift & project hierarchy applied to a graph isomorphism polytope whose integer points encode the isomorphisms between two graphs. In particular, the Sherali-Adams relaxations characterize a new vertex classification algorithm for graph isomorphism, which we call the generalized vertex classification algorithm. This algorithm generalizes the classic vertex classification algorithm and generalizes the work of Tinhofer on polyhedral methods for graph automorphism testing. We establish that the Sherali-Adams lift & project hierarchy when applied to a graph isomorphism polytope needs Omega(n) iterations in the worst case before converging to the convex hull of integer points. We also show that this generalized vertex classification algorithm is also strongly related to the well-known Weisfeiler-Lehman algorithm, which we show can also be characterized in terms of the Sherali-Adams relaxations of a semi-algebraic set whose integer points encode graph isomorphisms.
Ehrhart's polynomial for equilateral triangles in $\mathbb Z^3$
In this paper we calculate the Ehrhart's polynomial associated with a 2-dimensional regular polytope (i.e. equilateral triangles) in $\mathbb Z^3$. The polynomial takes a relatively simple form in terms of the coordinates of the vertices of the polytope and it depends heavily on the value $d$ and its divisors, where $d=\sqrt{\frac{a^2+b^2+c^2}{3}}$ and $(a,b,c)$ ($\gcd(a,b,c)=1$) is a vector with integer coordinates normal to the plane containing the triangle.
Extended formulations for polygons
Published in Discrete & Computational Geometry, Vol. 48, No. 3, 2012, pp 658-668
• View Publication
• BIB
The extension complexity of a polytope $P$ is the smallest integer $k$ such that $P$ is the projection of a polytope $Q$ with $k$ facets. We study the extension complexity of $n$-gons in the plane. First, we give a new proof that the extension complexity of regular $n$-gons is $O(\log n)$, a result originating from work by Ben-Tal and Nemirovski (2001). Our proof easily generalizes to other permutahedra and simplifies proofs of recent results by Goemans (2009), and Kaibel and Pashkovich (2011). Second, we prove a lower bound of $\sqrt{2n}$ on the extension complexity of generic $n$-gons. Finally, we prove that there exist $n$-gons whose vertices lie on a $O(n) \times O(n^2)$ integer grid with extension complexity $Ω(\sqrt{n}/\sqrt{\log n})$.
The maximum number of faces of the Minkowski sum of two convex polytopes
Published
• View Publication
• BIB
We derive tight expressions for the maximum number of $k$-faces, $0\le{}k\le{}d-1$, of the Minkowski sum, $P_1\oplus{}P_2$, of two $d$-dimensional convex polytopes $P_1$ and $P_2$, as a function of the number of vertices of the polytopes.
For even dimensions $d\ge{}2$, the maximum values are attained when $P_1$ and $P_2$ are cyclic $d$-polytopes with disjoint vertex sets. For odd dimensions $d\ge{}3$, the maximum values are attained when $P_1$ and $P_2$ are $\lfloor\frac{d}{2}\rfloor$-neighborly $d$-polytopes, whose vertex sets are chosen appropriately from two distinct $d$-dimensional moment-like curves.
The inverse moment problem for convex polytopes
Published in Discrete and Computational Geometry, 48(2012), pp. 596--621
• View Publication
• BIB
The goal of this paper is to present a general and novel approach for the reconstruction of any convex d-dimensional polytope P, from knowledge of its moments. In particular, we show that the vertices of an N-vertex polytope in R^d can be reconstructed from the knowledge of O(DN) axial moments (w.r.t. to an unknown polynomial measure od degree D) in d+1 distinct generic directions. Our approach is based on the collection of moment formulas due to Brion, Lawrence, Khovanskii-Pukhikov, and Barvinok that arise in the discrete geometry of polytopes, and what variously known as Prony's method, or Vandermonde factorization of finite rank Hankel matrices.
Counterexamples of the conjecture on roots of Ehrhart polynomials
Published
• View Publication
• BIB
An outstanding conjecture on roots of Ehrhart polynomials says that all roots $α$ of the Ehrhart polynomial of an integral convex polytope of dimension $d$ satisfy $-d \leq \Re(α) \leq d-1$. In this paper, we suggest some counterexamples of this conjecture.
Unimodality of f-vectors of cyclic polytopes
Cyclic polytopes are generally known for being involved in the Upper Bound Theorem, but they have another extremal property which is less well known. Namely, the special shape of their f-vectors makes them applicable to certain constructions to present non-unimodal convex polytopes. Nevertheless, the f-vectors of cyclic polytopes themselves are unimodal.