The Projected Faces Property and Polyhedral Relations

Margot (1994) in his doctoral dissertation studied extended formulations of combinatorial polytopes that arise from "smaller" polytopes via some composition rule. He introduced the "projected faces property" of a polytope and showed that this property suffices to iteratively build extended formulations of composed polytopes. For the composed polytopes, we show that an extended formulation of the type studied in this paper is always possible only if the smaller polytopes have the projected faces property. Therefore, this produces a characterization of the projected faces property. Affinely generated polyhedral relations were introduced by Kaibel and Pashkovich (2011) to construct extended formulations for the convex hull of the images of a point under the action of some finite group of reflections. In this paper we prove that the projected faces property and affinely generated polyhedral relation are equivalent conditions

Steiner Cut Dominants

For a subset T of nodes of an undirected graph G, a T-Steiner cut is a cut \delta(S) where S intersects both T and the complement of T. The T-Steiner cut dominant} of G is the dominant CUT_+(G,T) of the convex hull of the incidence vectors of the T-Steiner cuts of G. For T={s,t}, this is the well-understood s-t-cut dominant. Choosing T as the set of all nodes of G, we obtain the \emph{cut dominant}, for which an outer description in the space of the original variables is still not known. We prove that, for each integer \tau, there is a finite set of inequalities such that for every pair (G,T) with |T|\ <= \tau the non-trivial facet-defining inequalities of CUT_+(G,T) are the inequalities that can be obtained via iterated applications of two simple operations, starting from that set. In particular, the absolute values of the coefficients and of the right-hand-sides in a description of CUT_+(G,T) by integral inequalities can be bounded from above by a function of |T|. For all |T| <= 5 we provide descriptions of CUT_+(G,T) by facet defining inequalities, extending the known descriptions of s-t-cut dominants.Comment: 24 pages, 20 figures; to appear in Math. of Operations Researc

Optimality certificates for convex minimization and Helly numbers

We consider the problem of minimizing a convex function over a subset of R^n that is not necessarily convex (minimization of a convex function over the integer points in a polytope is a special case). We define a family of duals for this problem and show that, under some natural conditions, strong duality holds for a dual problem in this family that is more restrictive than previously considered duals.Comment: 5 page

On the convergence of the affine hull of the Chv\'atal-Gomory closures

Given an integral polyhedron P and a rational polyhedron Q living in the same n-dimensional space and containing the same integer points as P, we investigate how many iterations of the Chv\'atal-Gomory closure operator have to be performed on Q to obtain a polyhedron contained in the affine hull of P. We show that if P contains an integer point in its relative interior, then such a number of iterations can be bounded by a function depending only on n. On the other hand, we prove that if P is not full-dimensional and does not contain any integer point in its relative interior, then no finite bound on the number of iterations exists.Comment: 13 pages, 2 figures - the introduction has been extended and an extra chapter has been adde

Ki-covers I: Complexity and polytopes

AbstractA Ki in a graph is a complete subgraph of size i. A Ki-cover of a graph G(V, E is a set C of Ki − 1's of G such that every Ki in G contains at least one Ki − 1 in C. Thus a K2-cover is a vertex cover. The problem of determining whether a graph has a Ki-cover (i ⩾ 2) of cardinality ⩽k is shown to be NP-complete for graphs in general. For chordal graphs with fixed maximum clique size, the problem is polynomial; however, it is NP-complete for arbitrary chordal graphs when i ⩾ 3. The NP-completeness results motivate the examination of some facets of the corresponding polytope. In particular we show that various induced subgraphs of G define facets of the Ki-cover polytope. Further results of this type are also produced for the K3-cover polytope. We conclude by describing polynomial algorithms for solving the separation problem for some classes of facets of the Ki-cover polytope