polytope ↗ reference
3077 papers tagged with this keyword
The Unimodality Conjecture for cubical polytopes
Although the Unimodality Conjecture holds for some certain classes of cubical polytopes (e.g. cubes, capped cubical polytopes, neighborly cubical polytopes), it fails for cubical polytopes in general. A 12-dimensional cubical polytope with non-unimodal face vector is constructed by using capping operations over a neighborly cubical polytope with 2 to the power 131 vertices. For cubical polytopes, the Unimodality Conjecture is proved for dimensions less than 11. The first one-third of the face vector of a cubical polytope is increasing and its last one-third is decreasing in any dimension.
An improved upper bound on the diameters of subset partition graphs
In 1992, Kalai and Kleitman proved the first subexponential upper bound for the diameters of convex polyhedra. Eisenbrand et al. proved this bound holds for connected layer families, a novel approach to analyzing polytope diameters. Very recently, Todd improved the Kalai-Kleitman bound for polyhedra to $(n-d)^{1+\log_2d}$. In this note, we prove an analogous upper bound on the diameters of subset partition graphs satisfying a property related to the connectivity property of connected layer families.
M-vector analogue for the cd-index
Published
• View Publication
• BIB
A well-known conjecture of McMullen, proved by Billera, Lee and Stanley, describes the face numbers of simple polytopes. The necessary and sufficient condition is that the toric g-vector of the polytope is an M-vector, that is, the vector of dimensions of graded pieces of a standard graded algebra A. Recent work by Murai, Nevo and Yanagawa suggests a similar condition for the coefficients of the cd-index of a poset P. The coefficients of the cd-index are conjectured to be the dimensions of graded pieces in a standard multigraded algebra A. We prove the conjecture for simplicial spheres and we give numerical evidence for general shellable spheres. In the simplicial case we construct the multi-graded algebra A explicitly using lattice paths.
Eventual quasi-linearity of the Minkowski length
Published in European Journal of Combinatorics 58 (2016), pp. 107--117
• View Publication
• BIB
The Minkowski length of a lattice polytope $P$ is a natural generalization of the lattice diameter of $P$. It can be defined as the largest number of lattice segments whose Minkowski sum is contained in $P$. The famous Ehrhart theorem states that the number of lattice points in the positive integer dilates $tP$ of a lattice polytope $P$ behaves polynomially in $t\in\mathbb{N}$. In this paper we prove that for any lattice polytope $P$, the Minkowski length of $tP$ for $t\in\mathbb{N}$ is eventually a quasi-polynomial with linear constituents. We also give a formula for the Minkowski length of coordinates boxes, degree one polytopes, and dilates of unimodular simplices. In addition, we give a new bound for the Minkowski length of lattice polygons and show that the Minkowski length of a lattice triangle coincides with its lattice diameter.
A Non-Degenerate Perturbation of the Assignment Polytope and its Application to Graph Matching
We consider maximizing a continuous convex function over the assignment polytope. Such problems arise in Graph Matching (the optimization version of Graph Isomorphism) and Quadratic Assignment problems. In the typical case of maximizing a convex function over a polytope the problem can be solved by using a simplicial algorithm such as Tuy's method or the Falk-Hoffman method, but these algorithms require that the underlying polytope be non-degenerate, which is not the case for the assignment polytope. In this note we show how a simple perturbation scheme can be used to create a "surrogate problem" that is both non-degenerate and combinatorially equivalent to the original problem. We further provide an explicit construction of a surrogate problem that is non-degenerate and combinatorially equivalent to the Graph Matching problem, when the latter is posed as a convex maximization problem. By constructing a surrogate problem that is known a priori to be non-degenerate and combinatorially equivalent to Graph Matching we resolve an "open issue" of solving Graph Matching via convex maximization first raised by Maciel.
An Axiomatic Duality Framework for the Theta Body and Related Convex Corners
Published
• View Publication
• BIB
Lovasz theta function and the related theta body of graphs have been in the center of the intersection of four research areas: combinatorial optimization, graph theory, information theory, and semidefinite optimization. In this paper, utilizing a modern convex optimization viewpoint, we provide a set of minimal conditions (axioms) under which certain key, desired properties are generalized, including the main equivalent characterizations of the theta function, the theta body of graphs, and the corresponding antiblocking duality relations. Our framework describes several semidefinite and polyhedral relaxations of the stable set polytope of a graph as generalized theta bodies. As a by-product of our approach, we introduce the notion of "Schur Lifting" of cones which is dual to PSD Lifting (more commonly used in SDP relaxations of combinatorial optimization problems) in our axiomatic generalization. We also generalize the notion of complements of graphs to diagonally scaling-invariant polyhedral cones. Finally, we provide a weighted generalization of the copositive formulation of the fractional chromatic number by Dukanovic and Rendl.
On the asymptotics of Kronecker coefficients, 2
Kronecker coefficients encode the tensor products of complex irreducible representations of symmetric groups. Their stability properties have been considered recently by several authors (Vallejo, Pak and Panova, Stembridge). In previous works we described a geometric method, based on Schur-Weyl duality, that allows to produce huge series of instances of this phenomenon. In this note we show how to go beyond these so-called additive triples. We show that the set of stable triples defines a union of faces of the moment polytope. Moreover these faces may have different dimensions, and many of them have codimension one.
Sublinear extensions of polygons
Every convex polygon with $n$ vertices is a linear projection of a higher-dimensional polytope with at most $147\,n^{2/3}$ facets.
Local $h$-polynomials, invariants of subdivisions, and mixed Ehrhart theory
Published in Adv. Math. 286 (2016), 181-239
• View Publication
• BIB
There are natural polynomial invariants of polytopes and lattice polytopes coming from enumerative combinatorics and Ehrhart theory, namely the $h$- and $h^*$-polynomials, respectively. In this paper, we study their generalization to subdivisions and lattice subdivisions of polytopes. By abstracting constructions in mixed Hodge theory, we introduce multivariable polynomials which specialize to the $h$-, $h^*$- polynomials. These polynomials, the mixed $h$-polynomial and the (refined) limit mixed $h^*$-polynomial have rich symmetry, non-negativity, and unimodality properties, which both refine known properties of the classical polynomials, and reveal new structure. For example, we prove a lower bound theorem for a related invariant called the local $h^*$-polynomial. We introduce our polynomials by developing a very general formalism for studying subdivisions of Eulerian posets that extends the work of Stanley, Brenti and Athanasiadis on local $h$-vectors. In particular, we prove a conjecture of Nill and Schepers, and answer a question of Athanasiadis.
The square root rank of the correlation polytope is exponential
The square root rank of a nonnegative matrix $A$ is the minimum rank of a matrix $B$ such that $A=B \circ B$, where $\circ$ denotes entrywise product. We show that the square root rank of the slack matrix of the correlation polytope is exponential. Our main technique is a way to lower bound the rank of certain matrices under arbitrary sign changes of the entries using properties of the roots of polynomials in number fields. The square root rank is an upper bound on the positive semidefinite rank of a matrix, and corresponds the special case where all matrices in the factorization are rank-one.
Lower bounds on the size of semidefinite programming relaxations
Published
• View Publication
• BIB
We introduce a method for proving lower bounds on the efficacy of semidefinite programming (SDP) relaxations for combinatorial problems. In particular, we show that the cut, TSP, and stable set polytopes on $n$-vertex graphs are not the linear image of the feasible region of any SDP (i.e., any spectrahedron) of dimension less than $2^{n^c}$, for some constant $c > 0$. This result yields the first super-polynomial lower bounds on the semidefinite extension complexity of any explicit family of polytopes.
Our results follow from a general technique for proving lower bounds on the positive semidefinite rank of a matrix. To this end, we establish a close connection between arbitrary SDPs and those arising from the sum-of-squares SDP hierarchy. For approximating maximum constraint satisfaction problems, we prove that SDPs of polynomial-size are equivalent in power to those arising from degree-$O(1)$ sum-of-squares relaxations. This result implies, for instance, that no family of polynomial-size SDP relaxations can achieve better than a 7/8-approximation for MAX-3-SAT.
Unimodality on $δ$-vectors of lattice polytopes and two related properties
Published
• View Publication
• BIB
In this paper, we investigate two properties concerning the unimodality of the $δ$-vectors of lattice polytopes, which are log-concavity and alternatingly increasingness. For lattice polytopes $\mathcal{P}$ of dimension $d$, we prove that the dilated lattice polytopes $n\mathcal{P}$ have strictly log-concave and strictly alternatingly increasing $δ$-vectors if $n > \max\{s,d+1-s\}$, where $s$ is the degree of the $δ$-polynomial of $\mathcal{P}$. The bound $\max\{s,d+1-s\}$ for $n$ is reasonable. We also provide several kinds of unimodal (or non-unimodal) $δ$-vectors. Concretely, we give examples of lattice polytoeps whose $δ$-vectors are not unimodal, unimodal but neither log-concave nor alternatingly increasing, alternatingly increasing but not log-concave, and log-concave but not alternatingly increasing, respectively.
Barycenters of points that are constrained to a polytope skeleton
We give a short and simple proof of a recent result of Dobbins that any point in an $nd$-polytope is the barycenter of $n$ points in the $d$-skeleton. This new proof builds on the constraint method that we recently introduced to prove Tverberg-type results.
On the asymptotics of Kronecker coefficients
Published
• View Publication
• BIB
Kronecker coefficients encode the tensor products of complex irreducible representations of symmetric groups. Their stability properties have been considered recently by several authors (Vallejo, Pak and Panova, Stembridge). We describe a geometric method, based on Schur-Weyl duality, that allows to produce huge series of instances of this phenomenon. Moreover the method gives access to lots of extra information. Most notably, we can often compute the stable Kronecker coefficients, sometimes as number of points in very explicit polytopes. We can also describe explicitely the moment polytope in the neighbourhood of our stable triples. Finally, we explain an observation of Stembridge on the behaviour of certain rectangular Kronecker coefficients, by relating it to the affine Dynkin diagram of type $E\_6$.
The infinite cyclohedron and its automorphism group
Cyclohedra are a well-known infinite familiy of finite-dimensional polytopes that can be constructed from centrally symmetric triangulations of even-sided polygons. In this article we introduce an infinite-dimensional analogue and prove that the group of symmetries of our construction is a semidirect product of a degree 2 central extension of Thompson's infinite finitely presented simple group T with the cyclic group of order 2. These results are inspired by a similar recent analysis by the first author of the automorphism group of an infinite-dimensional associahedron.
The $δ$-vectors of reflexive polytopes and of the dual polytopes
Published in Discrete Mathematics 339(2016) 2450--2456
• View Publication
• BIB
Let $δ(\mathcal{P})$ be the $δ$-vector of a reflexive polytope $\mathcal{P} \subset \mathbb{R}^d$ of dimension $d$ and $δ(\mathcal{P} ^\vee)$ the $δ$-vector of the dual polytope $\mathcal{P}^\vee \subset \mathbb{R}^d$. In general, $δ(\mathcal{P})=δ(\mathcal{P}^\vee)$ does not hold. In this paper, we give a higher-dimensional construction of reflexive polytope whose $δ$-vector equals the $δ$-vector of the dual polytope. In particular, we consider the case that the reflexive polytope and the dual polytope are unimodularly equivalent.
The Hierarchy of Circuit Diameters and Transportation Polytopes
Published
• View Publication
• BIB
The study of the diameter of the graph of polyhedra is a classical problem in the theory of linear programming. While transportation polytopes are at the core of operations research and statistics it is still open whether the Hirsch conjecture is true for general $m{\times}n$--transportation polytopes. In earlier work the first three authors introduced a hierarchy of variations to the notion of graph diameter in polyhedra. The key reason was that this hierarchy provides some interesting lower bounds for the usual graph diameter.
This paper has three contributions: First, we compare the hierarchy of diameters for the $m{\times}n$--transportation polytopes. We show that the Hirsch conjecture bound of $m+n-1$ is actually valid in most of these diameter notions. Second, we prove that for $3{\times}n$--transportation polytopes the Hirsch conjecture holds in the classical graph diameter. Third, we show for $2{\times}n$--transportation polytopes that the stronger monotone Hirsch conjecture holds and improve earlier bounds on the graph diameter.
Combinatorially two-orbit convex polytopes
Published
• View Publication
• BIB
Any convex polytope whose combinatorial automorphism group has two orbits on the flags is isomorphic to one whose group of Euclidean symmetries has two orbits on the flags (equivalently, to one whose automorphism group and symmetry group coincide.) Hence, a combinatorially two-orbit convex polytope is isomorphic to one of a known finite list, all of which are 3-dimensional: the cuboctahedron, icosidodecahedron, rhombic dodecahedron, or rhombic triacontahedron. The same is true of combinatorially two-orbit normal face-to-face tilings by convex polytopes.
Canonical bases for cluster algebras
Published
• View Publication
• BIB
In previous work, the first three authors conjectured that the ring of regular functions on a natural class of affine log Calabi-Yau varieties (those with maximal boundary) has a canonical vector space basis parameterized by the integral tropical points of the mirror. Further, the structure constants for the multiplication rule in this basis should be given by counting broken lines (certain combinatorial objects, morally the tropicalisations of holomorphic discs). Here we prove the conjecture in the case of cluster varieties, where the statement is a more precise form of the Fock-Goncharov dual basis conjecture. In particular, under suitable hypotheses, for each Y the partial compactification of an affine cluster variety U given by allowing some frozen variables to vanish, we obtain canonical bases for the ring of functions on Y extending to a basis for functions on U. Each choice of seed canonically identifies the parameterizing sets of these bases with integral points in a polyhedral cone. These results specialize to basis results of combinatorial representation theory. For example, by considering the open double Bruhat cell U in the basic affine space Y we obtain a canonical basis of each irreducible representation of SL_r, parameterized by a set which each choice of seed identifies with integral points of a lattice polytope. These bases and polytopes are all constructed essentially without representation theoretic considerations. Along the way, our methods prove a number of conjectures in cluster theory, including positivity of the Laurent phenomenon for cluster algebras of geometric type.
Affine Symmetries of Orbit Polytopes
Published in Adv. Math. 288, pp. 386-425 (2016)
• View Publication
• BIB
An orbit polytope is the convex hull of an orbit under a finite group $G \leq \operatorname{GL}(d,\mathbb{R})$. We develop a general theory of possible affine symmetry groups of orbit polytopes. For every group, we define an open and dense set of generic points such that the orbit polytopes of generic points have conjugated affine symmetry groups. We prove that the symmetry group of a generic orbit polytope is again $G$ if $G$ is itself the affine symmetry group of some orbit polytope, or if $G$ is absolutely irreducible. On the other hand, we describe some general cases where the affine symmetry group grows.
We apply our theory to representation polytopes (the convex hull of a finite matrix group) and show that their affine symmetries can be computed effectively from a certain character. We use this to construct counterexamples to a conjecture of Baumeister et~al.\ on permutation polytopes [Advances in Math. 222 (2009), 431--452, Conjecture~5.4].