polytope ↗ reference
3077 papers tagged with this keyword
On the $f$-matching polytope and the fractional $f$-chromatic index
Published
• View Publication
• BIB
Our motivation is the question of how similar the $f$-colouring problem is to the classic edge-colouring problem, particularly with regard to graph parameters. In 2010, Zhang, Yu, and Liu gave a new description of the $f$-matching polytope and derived a formula for the fractional $f$-chromatic index, stating that the fractional $f$-chromatic index equals the maximum of the fractional maximum $f$-degree and the fractional $f$-density. Unfortunately, this formula is incorrect. We present counterexamples for both the description of the $f$-matching polytope and the formula for the fractional $f$-chromatic index. Finally, we prove a short lemma concerning the generalization of Goldberg's conjecture.
Latin Polytopes
Latin squares are well studied combinatorial objects. In this paper we generalize the concept and propose new objects like Latin triangles, free Latin squares, Latin tetrahedra, free Latin cubes, etc. We start with a classic definition of Latin squares followed by one based on the concept of latinized board. A Latin square appears then as a combinatorial design whose points are geometric and whose lines (the rows and columns) are invariant under the symmetries of the square.
The generalization that follows proceeds by 1. broadening this geometric symmetry 2. considering more general configurations of points and 3. admitting lines that intersect more freely. The resulting concept is the Latin board. Finally, we particularize Latin boards to define Latin polytopes, Latin polygons and Latin polyhedra.
Cyclopermutohedron
Published
• View Publication
• BIB
It is known that the $k$-faces of the permutohedron $Π_n$ are labeled by (all possible) linearly ordered partitions of the set $[n]=\{1,...,n\}$ into $(n-k)$ non-empty parts. The incidence relation corresponds to the refinement: a face $F$ contains a face $F'$ whenever the label of $F'$ refines the label of $F$. In the paper we consider the cell complex ${CP}$ defined in analogous way, replacing linear ordering by cyclic ordering. Namely, $k$-cells of the complex ${CP}$ are labeled by (all possible) cyclically ordered partitions of the set $[n+1]=\{1,...,n, n+1\}$ into $(n+1-k)$ non-empty parts, where $(n+1-k)>2$. The incidence relation again corresponds to the refinement: a cell $F$ contains a cell $F'$ whenever the label of $F'$ refines the label of $F$. In particular, two vertices are joined by an edge whenever their labels differ on a permutation of two neighbor elements. The complex ${CP}$ cannot be represented by a convex polytope, since it is not a combinatorial sphere (not even a combinatorial manifold). However, it can be represented by some \textit{virtual polytope} (Minkowski difference of two convex polytopes) which we call "cyclopermutohedron" $\mathcal{CP}_{n+1}$. It is defined explicitly, as a weighted Minkowski sum of line segments. Informally, the cyclopermutohedron can be viewed as "permutohedron with diagonals". One of the motivations is that the cyclopermutohedron is a "universal" polytope for moduli spaces of polygonal linkages.
On Lattice-Free Orbit Polytopes
Published in Discrete & Computational Geometry, 53 (2015), 144-172
• View Publication
• BIB
Given a permutation group acting on coordinates of $\mathbb{R}^n$, we consider lattice-free polytopes that are the convex hull of an orbit of one integral vector. The vertices of such polytopes are called \emph{core points} and they play a key role in a recent approach to exploit symmetry in integer convex optimization problems. Here, naturally the question arises, for which groups the number of core points is finite up to translations by vectors fixed by the group. In this paper we consider transitive permutation groups and prove this type of finiteness for the $2$-homogeneous ones. We provide tools for practical computations of core points and obtain a complete list of representatives for all $2$-homogeneous groups up to degree twelve. For transitive groups that are not $2$-homogeneous we conjecture that there exist infinitely many core points up to translations by the all-ones-vector. We prove our conjecture for two large classes of groups: For imprimitive groups and groups that have an irrational invariant subspace.
Finite and infinitesimal rigidity with polyhedral norms
Published
• View Publication
• BIB
We characterise finite and infinitesimal rigidity for bar-joint frameworks in R^d with respect to polyhedral norms (i.e. norms with closed unit ball P a convex d-dimensional polytope). Infinitesimal and continuous rigidity are shown to be equivalent for finite frameworks in R^d which are well-positioned with respect to P. An edge-labelling determined by the facets of the unit ball and placement of the framework is used to characterise infinitesimal rigidity in R^d in terms of monochrome spanning trees. An analogue of Laman's theorem is obtained for all polyhedral norms on R^2.
Between two moments
Published
• View Publication
• BIB
In this short note, we draw attention to a relation between two Horn polytopes which is proved in [Chenciner-Jiménez Pérez] as the result on the one side of a deep combinatorial result in [Fomin,Fulton, Li,Poon], on the other side of a simple computation involving complex structures. This suggested an inequality between Littlewood-Richardson coefficients which we prove using the symmetric characterization of these coefficients given in [Carré,Leclerc].
Voronoi Polytopes for Polyhedral Norms on Lattices
Published
• View Publication
• BIB
A polyhedral norm is a norm N on R^n for which the set N(x)\leq 1 is a polytope. This covers the case of the L^1 and L^{\infty} norms. We consider here effective algorithms for determining the Voronoi polytope for such norms with a point set being a lattice. The algorithms, that we propose, use the symmetries effectively in order to compute a decomposition of the space into convex polytopes named {\em $VN$-spaces}. The Voronoi polytopes and other geometrical information are easily obtained from it.
Ehrhart polynomials with negative coefficients
Published
• View Publication
• BIB
It is shown that, for each $d \geq 4$, there exists an integral convex polytope $\mathcal{P}$ of dimension $d$ such that each of the coefficients of $n, n^{2}, \ldots, n^{d-2}$ of its Ehrhart polynomial $i(\mathcal{P},n)$ is negative.
The closure of a linear space in a product of lines
Published
• View Publication
• BIB
Given a linear space L in affine space A^n, we study its closure L' in the product of projective lines (P^1)^n. We show that the degree, multigraded Betti numbers, defining equations, and universal Grobner basis of its defining ideal I(L') are all combinatorially determined by the matroid M of L. We also prove I(L') and all of its initial ideals are Cohen-Macaulay with the same Betti numbers. In so doing, we prove that the initial ideals of I(L') are the Stanley-Reisner ideals of an interesting family of simplicial complexes related to the basis activities of M. We also describe the state polytope of I(L'), which is related to the matroid basis polytope of M.
Equivariant semidefinite lifts and sum-of-squares hierarchies
Published in SIAM J. Optim., Vol 25, No 4, pp. 2212-2243, 2015
• View Publication
• BIB
A central question in optimization is to maximize (or minimize) a linear function over a given polytope P. To solve such a problem in practice one needs a concise description of the polytope P. In this paper we are interested in representations of P using the positive semidefinite cone: a positive semidefinite lift (psd lift) of a polytope P is a representation of P as the projection of an affine slice of the positive semidefinite cone $\mathbf{S}^d_+$. Such a representation allows linear optimization problems over P to be written as semidefinite programs of size d. Such representations can be beneficial in practice when d is much smaller than the number of facets of the polytope P. In this paper we are concerned with so-called equivariant psd lifts (also known as symmetric psd lifts) which respect the symmetries of the polytope P. We present a representation-theoretic framework to study equivariant psd lifts of a certain class of symmetric polytopes known as orbitopes. Our main result is a structure theorem where we show that any equivariant psd lift of size d of an orbitope is of sum-of-squares type where the functions in the sum-of-squares decomposition come from an invariant subspace of dimension smaller than d^3. We use this framework to study two well-known families of polytopes, namely the parity polytope and the cut polytope, and we prove exponential lower bounds for equivariant psd lifts of these polytopes.
Minkowski sum of polytopes and its normality
Published
• View Publication
• BIB
In this paper, we consider the normality or the integer decomposition property (IDP, for short) for Minkowski sums of integral convex polytopes. We discuss some properties on the toric rings associated with Minkowski sums of integral convex polytopes. We also study Minkowski sums of edge polytopes and give a sufficient condition for Minkowski sums of edge polytopes to have IDP.
A Comprehensive Analysis of Polyhedral Lift-and-Project Methods
Published in SIAM Journal on Discrete Mathematics 30(1) (2016), 411-451
• View Publication
• BIB
We consider lift-and-project methods for combinatorial optimization problems and focus mostly on those lift-and-project methods which generate polyhedral relaxations of the convex hull of integer solutions. We introduce many new variants of Sherali--Adams and Bienstock--Zuckerberg operators. These new operators fill the spectrum of polyhedral lift-and-project operators in a way which makes all of them more transparent, easier to relate to each other, and easier to analyze. We provide new techniques to analyze the worst-case performances as well as relative strengths of these operators in a unified way. In particular, using the new techniques and a result of Mathieu and Sinclair from 2009, we prove that the polyhedral Bienstock--Zuckerberg operator requires at least $\sqrt{2n}- \frac{3}{2}$ iterations to compute the matching polytope of the $(2n+1)$-clique. We further prove that the operator requires approximately $\frac{n}{2}$ iterations to reach the stable set polytope of the $n$-clique, if we start with the fractional stable set polytope. Lastly, we show that some of the worst-case instances for the positive semidefinite Lovász--Schrijver lift-and-project operator are also bad instances for the strongest variants of the Sherali--Adams operator with positive semidefinite strengthenings, and discuss some consequences for integrality gaps of convex relaxations.
Examples of toric manifolds which are not quasitoric manifolds
Published in Algebr. Geom. Topol. 14 (2014) 3097-3106
• View Publication
• BIB
We construct toric manifolds of complex dimension $\geq 4$, whose orbit spaces by the action of the compact torus are not homeomorphic to simple polytopes (as manifolds with corners). These provide the first known examples of toric manifolds which are not quasitoric manifolds.
Clique-Stable Set separation in perfect graphs with no balanced skew-partitions
Published in Discrete Mathematics, 339(6):1809-1825, 2016
• View Publication
• BIB
Inspired by a question of Yannakakis on the Vertex Packing polytope of perfect graphs, we study the Clique-Stable Set Separation in a non-hereditary subclass of perfect graphs. A cut (B,W) of G (a bipartition of V(G)) separates a clique K and a stable set S if $K\subseteq B$ and $S\subseteq W$. A Clique-Stable Set Separator is a family of cuts such that for every clique K, and for every stable set S disjoint from K, there exists a cut in the family that separates K and S. Given a class of graphs, the question is to know whether every graph of the class admits a Clique-Stable Set Separator containing only polynomially many cuts. It is open for the class of all graphs, and also for perfect graphs, which was Yannakakis' original question. Here we investigate on perfect graphs with no balanced skew-partition; the balanced skew-partition was introduced in the proof of the Strong Perfect Graph Theorem. Recently, Chudnovsky, Trotignon, Trunck and Vuskovic proved that forbidding this unfriendly decomposition permits to recursively decompose Berge graphs using 2-join and complement 2-join until reaching a basic graph, and they found an efficient combinatorial algorithm to color those graphs. We apply their decomposition result to prove that perfect graphs with no balanced skew-partition admit a quadratic-size Clique-Stable Set Separator, by taking advantage of the good behavior of 2-join with respect to this property. We then generalize this result and prove that the Strong Erdos-Hajnal property holds in this class, which means that every such graph has a linear-size biclique or complement biclique. This property does not hold for all perfect graphs (Fox 2006), and moreover when the Strong Erdos-Hajnal property holds in a hereditary class of graphs, then both the Erdos-Hajnal property and the polynomial Clique-Stable Set Separation hold.
Entropy of Symmetric Graphs
Published
• View Publication
• BIB
A graph $G$ is called \emph{symmetric with respect to a functional $F_G(P)$} defined on the set of all the probability distributions on its vertex set if the distribution $P^*$ maximizing $F_G(P)$ is uniform on $V(G)$. Using the combinatorial definition of the entropy of a graph in terms of its vertex packing polytope and the relationship between the graph entropy and fractional chromatic number, we prove that vertex transitive graphs are symmetric with respect to graph entropy. As the main result of this paper, we prove that a perfect graph is symmetric with respect to graph entropy if and only if its vertices can be covered by disjoint copies of its maximum-size clique. Particularly, this means that a bipartite graph is symmetric with respect to graph entropy if and only if it has a perfect matching.
Entropy and Graphs
The entropy of a graph is a functional depending both on the graph itself and on a probability distribution on its vertex set. This graph functional originated from the problem of source coding in information theory and was introduced by J. Körner in 1973. Although the notion of graph entropy has its roots in information theory, it was proved to be closely related to some classical and frequently studied graph theoretic concepts. For example, it provides an equivalent definition for a graph to be perfect and it can also be applied to obtain lower bounds in graph covering problems.
In this thesis, we review and investigate three equivalent definitions of graph entropy and its basic properties. Minimum entropy colouring of a graph was proposed by N. Alon in 1996. We study minimum entropy colouring and its relation to graph entropy. We also discuss the relationship between the entropy and the fractional chromatic number of a graph which was already established in the literature.
A graph $G$ is called \emph{symmetric with respect to a functional $F_G(P)$} defined on the set of all the probability distributions on its vertex set if the distribution $P^*$ maximizing $F_G(P)$ is uniform on $V(G)$. Using the combinatorial definition of the entropy of a graph in terms of its vertex packing polytope and the relationship between the graph entropy and fractional chromatic number, we prove that vertex transitive graphs are symmetric with respect to graph entropy. Furthermore, we show that a bipartite graph is symmetric with respect to graph entropy if and only if it has a perfect matching. As a generalization of this result, we characterize some classes of symmetric perfect graphs with respect to graph entropy. Finally, we prove that the line graph of every bridgeless cubic graph is symmetric with respect to graph entropy.
Subword complexes and nil-Hecke moves
Published
• View Publication
• BIB
For a finite Coxeter group W, a subword complex is a simplicial complex associated with a pair (Q, ρ), where Q is a word in the alphabet of simple reflections, ρis a group element. We describe the transformations of such a complex induced by nil-moves and inverse operations on Q in the nil-Hecke monoid corresponding to W. If the complex is polytopal, we also describe such transformations for the dual polytope. For W simply-laced, these descriptions and results of \cite{Go} provide an algorithm for the construction of the subword complex corresponding to (Q, ρ) from the one corresponding to (δ(Q), ρ), for any sequence of elementary moves reducing the word Q to its Demazure product δ(Q). The former complex is spherical if and only if the latter one is the (-1)-sphere.
Simple Extensions of Polytopes
Published
• View Publication
• BIB
We introduce the simple extension complexity of a polytope P as the smallest number of facets of any simple (i.e., non-degenerate in the sense of linear programming) polytope which can be projected onto P. We devise a combinatorial method to establish lower bounds on the simple extension complexity and show for several polytopes that they have large simple extension complexities. These examples include both the spanning tree and the perfect matching polytopes of complete graphs, uncapacitated flow polytopes for non-trivially decomposable directed acyclic graphs, hypersimplices, and random 0/1-polytopes with vertex numbers within a certain range. On our way to obtain the result on perfect matching polytopes we generalize a result of Padberg and Rao's on the adjacency structures of those polytopes. To complement the lower bounding techniques we characterize in which cases known construction techniques yield simple extensions.
Lower Bounds on the Sizes of Integer Programs Without Additional Variables
Published
• View Publication
• BIB
Let X be the set of integer points in some polyhedron. We investigate the smallest number of facets of any polyhedron whose set of integer points is X. This quantity, which we call the relaxation complexity of X, corresponds to the smallest number of linear inequalities of any integer program having X as the set of feasible solutions that does not use auxiliary variables. We show that the use of auxiliary variables is essential for constructing polynomial size integer programming formulations in many relevant cases. In particular, we provide asymptotically tight exponential lower bounds on the relaxation complexity of the integer points of several well-known combinatorial polytopes, including the traveling salesman polytope and the spanning tree polytope.
Derived subdivisions make every PL sphere polytopal
Published
• View Publication
• BIB
We give a simple proof that some iterated derived subdivision of every PL sphere is combinatorially equivalent to the boundary of a simplicial polytope, thereby resolving a problem of Billera (personal communication).