polytope ↗ reference
3024 papers tagged with this keyword
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).
The matching polytope has exponential extension complexity
Published
• View Publication
• BIB
A popular method in combinatorial optimization is to express polytopes P, which may potentially have exponentially many facets, as solutions of linear programs that use few extra variables to reduce the number of constraints down to a polynomial. After two decades of standstill, recent years have brought amazing progress in showing lower bounds for the so called extension complexity, which for a polytope P denotes the smallest number of inequalities necessary to describe a higher dimensional polytope Q that can be linearly projected on P.
However, the central question in this field remained wide open: can the perfect matching polytope be written as an LP with polynomially many constraints?
We answer this question negatively. In fact, the extension complexity of the perfect matching polytope in a complete n-node graph is 2^Omega(n). By a known reduction this also improves the lower bound on the extension complexity for the TSP polytope from 2^Omega(n^1/2) to 2^Omega(n).
Exponential lower bounds on fixed-size psd rank and semidefinite extension complexity
There has been a lot of interest recently in proving lower bounds on the size of linear programs needed to represent a given polytope P. In a breakthrough paper Fiorini et al. [Proceedings of 44th ACM Symposium on Theory of Computing 2012, pages 95-106] showed that any linear programming formulation of maximum-cut must have exponential size. A natural question to ask is whether one can prove such strong lower bounds for semidefinite programming formulations. In this paper we take a step towards this goal and we prove strong lower bounds for a certain class of SDP formulations, namely SDPs over the Cartesian product of fixed-size positive semidefinite cones. In practice this corresponds to semidefinite programs with a block-diagonal structure and where blocks have constant size d. We show that any such extended formulation of the cut polytope must have exponential size (when d is fixed). The result of Fiorini et al. for LP formulations is obtained as a special case when d=1. For blocks of size d=2 the result rules out any small formulations using second-order cone programming. Our study of SDP lifts over Cartesian product of fixed-size positive semidefinite cones is motivated mainly from practical considerations where it is well known that such SDPs can be solved more efficiently than general SDPs. The proof of our lower bound relies on new results about the sparsity pattern of certain matrices with small psd rank, combined with an induction argument inspired from the recent paper by Kaibel and Weltge [arXiv:1307.3543] on the LP extension complexity of the correlation polytope.
A finite chiral 4-polytope in $\mathbb{R}^4$
Published
• View Publication
• BIB
In this paper, we give an example of a chiral 4-polytope in projective 3-space. This example naturally yields a finite chiral 4-polytope in Euclidean 4-space, giving a counterexample to Theorem 11.2 of [2].
Linear Toric Fibrations
Published
• View Publication
• BIB
These notes are based on three lectures given at the 2013 CIME/CIRM summer school. The purpose of this series of lectures is to introduce the notion of a toric fibration and to give its geometrical and combinatorial characterizations. Polarized toric varieties which are birationally equivalent to projective toric bundles are associated to a class of polytopes called Cayley polytopes. Their geometry and combinatorics have a fruitful interplay leading to fundamental insight in both directions. These notes will illustrate geometrical phenomena, in algebraic geometry and neighboring fields, which are characterized by a Cayley structure. Examples are projective duality of toric varieties and polyhedral adjunction theory.
A Quantitative Steinitz Theorem for Plane Triangulations
We give a new proof of Steinitz's classical theorem in the case of plane triangulations, which allows us to obtain a new general bound on the grid size of the simplicial polytope realizing a given triangulation, subexponential in a number of special cases.
Formally, we prove that every plane triangulation $G$ with $n$ vertices can be embedded in $\mathbb{R}^2$ in such a way that it is the vertical projection of a convex polyhedral surface. We show that the vertices of this surface may be placed in a $4n^3 \times 8n^5 \times ζ(n)$ integer grid, where $ζ(n) \leq (500 n^8)^{τ(G)}$ and $τ(G)$ denotes the shedding diameter of $G$, a quantity defined in the paper.
Observations on the Perturbed Wedge
Santos' construction of the first known counterexample to the Hirsch conjecture, for bounded polytopes, follows the strategy of first finding a counterexample to the nonrevisiting conjecture. Santos constructs a $5$-dimensional all-but-simple spindle $(P,x,y)$ of length $6$, which is a counterexample to the nonrevisiting conjecture.
For simple polytopes, if we had a counterexample to the nonrevisiting conjecture, we would produce the corresponding counterexample to the Hirsch conjecture through repeated wedging, over all the facets not incident to $x$ or $y$. However, Santos $5$-dimensional spindle is not simple. Every facet is incident to either $x$ or $y$, so we need an alternate method to produce the corresponding counterexample to the Hirsch conjecture. Santos has offered the perturbed wedge to accomplish this.
In these working notes, we offer some technical details regarding the nonsimplicities under iterations of the perturbed wedge construction.
NOTE: these are working notes about the construction.
Polyhedral Covers of Tree Space
Published in SIAM Journal of Discrete Mathematics 28 (2014) 1508 - 1514
• View Publication
• BIB
The phylogenetic tree space, introduced by Billera, Holmes, and Vogtmann, is a cone over a simplicial complex. In this short article, we construct this complex from local gluings of classical polytopes, the associahedron and the permutohedron. Its homotopy is also reinterpreted and calculated based on polytope data.
Claw-free t-perfect graphs can be recognised in polynomial time
Published
• View Publication
• BIB
A graph is called t-perfect if its stable set polytope is defined by non-negativity, edge and odd-cycle inequalities. We show that it can be decided in polynomial time whether a given claw-free graph is t-perfect.
Simplicial complexes Alexander dual to boundaries of polytopes
In the paper we treat Gale diagrams in a combinatorial way. The interpretation allows to describe simplicial complexes which are Alexander dual to boundaries of simplicial polytopes and, more generally, to nerve-complexes of general polytopes. This technique and recent results of N.Yu.Erokhovets are combined to prove the following: Buchstaber invariant $s(P)$ of a convex polytope equals 1 if and only if $P$ is a pyramid. In general, we describe a procedure to construct polytopes with $s_R(P)>k$. The construction has purely combinatorial consequences. We also apply Gale duality to the study of bigraded Betti numbers and f-vectors of polytopes.
Combinatorial, piecewise-linear, and birational homomesy for products of two chains
Published
• View Publication
• BIB
This article illustrates the dynamical concept of $homomesy$ in three kinds of dynamical systems -- combinatorial, piecewise-linear, and birational -- and shows the relationship between these three settings. In particular, we show how the rowmotion and promotion operations of Striker and Williams can be lifted to (continuous) piecewise-linear operations on the order polytope of Stanley, and then lifted to birational operations on the positive orthant in $\mathbb{R}^{|P|}$ and indeed to a dense subset of $\mathbb{C}^{|P|}$. When the poset $P$ is a product of a chain of length $a$ and a chain of length $b$, these lifted operations have order $a+b$, and exhibit the homomesy phenomenon: the time-averages of various quantities are the same in all orbits. One important tool is a concrete realization of the conjugacy between rowmotion and promotion found by Striker and Williams; this $recombination$ $map$ allows us to use homomesy for promotion to deduce homomesy for rowmotion.
NOTE: An earlier draft showed that Stanley's transfer map between the order polytope and the chain polytope arises as the tropicalization of an analogous map in the bilinear realm; in 2020 we removed this material for the sake of brevity, especially after Joseph and Roby generalized our proof to the noncommutative realm (see arXiv:1909.09658v3). Readers who nonetheless wish to see our proof can find the September 2018 draft of this preprint through the arXiv.
s-Inversion Sequences and P-Partitions of Type B
Published
• View Publication
• BIB
Given a sequence $s=(s_1,s_2,\ldots)$ of positive integers, the inversion sequences with respect to $s$, or $s$-inversion sequences, were introduced by Savage and Schuster in their study of lecture hall polytopes. A sequence $(e_1,e_2,\ldots,e_n)$ of nonnegative integers is called an $s$-inversion sequence of length $n$ if $0\leq e_i < s_i$ for $1\leq i\leq n$. Let I(n) be the set of $s$-inversion sequences of length $n$ for $s=(1,4,3,8,5,12,\ldots)$, that is, $s_{2i}=4i$ and $s_{2i-1}=2i-1$ for $i\geq1$, and let $P_n$ be the set of signed permutations on $\{1^2,2^2,\ldots,n^2\}$. Savage and Visontai conjectured that when $n=2k$, the ascent number over $I_n$ is equidistributed with the descent number over $P_k$. For a positive integer $n$, we use type $B$ $P$-partitions to give a characterization of signed permutations over which the descent number is equidistributed with the ascent number over $I_n$. When $n$ is even, this confirms the conjecture of Savage and Visontai. Moreover, let $I'_n$ be the set of $s$-inversion sequences of length $n$ for $s=(2,2,6,4,10,6,\ldots)$, that is, $s_{2i}=2i$ and $s_{2i-1}=4i-2$ for $i\geq1$. We find a set of signed permutations over which the descent number is equidistributed with the ascent number over $I'_n$.
A Polyhedral Method to Compute All Affine Solution Sets of Sparse Polynomial Systems
To compute solutions of sparse polynomial systems efficiently we have to exploit the structure of their Newton polytopes. While the application of polyhedral methods naturally excludes solutions with zero components, an irreducible decomposition of a variety is typically understood in affine space, including also those components with zero coordinates. We present a polyhedral method to compute all affine solution sets of a polynomial system. The method enumerates all factors contributing to a generalized permanent. Toric solution sets are recovered as a special case of this enumeration. For sparse systems as adjacent 2-by-2 minors our methods scale much better than the techniques from numerical algebraic geometry.
The Geometry of On-Shell Diagrams
Published
• View Publication
• BIB
The fundamental role of on-shell diagrams in quantum field theory has been recently recognized. On-shell diagrams, or equivalently bipartite graphs, provide a natural bridge connecting gauge theory to powerful mathematical structures such as the Grassmannian. We perform a detailed investigation of the combinatorial and geometric objects associated to these graphs. We mainly focus on their relation to polytopes and toric geometry, the Grassmannian and its stratification. Our work extends the current understanding of these connections along several important fronts, most notably eliminating restrictions imposed by planarity, positivity, reducibility and edge removability. We illustrate our ideas with several explicit examples and introduce concrete methods that considerably simplify computations. We consider it highly likely that the structures unveiled in this article will arise in the on-shell study of scattering amplitudes beyond the planar limit. Our results can be conversely regarded as an expansion in the understanding of the Grassmannian in terms of bipartite graphs.