Combinatorial Bounds on Nonnegative Rank and Extended Formulations

Abstract

An extended formulation of a polytope P is a system of linear inequalities and equations that describe some polyhedron which can be projected onto P . Extended formulations of small size (i.e., number of inequalities) are of interest, as they allow to model corresponding optimization problems as linear programs of small sizes. In this paper, we describe several aspects and new results on the main known approach to establish lower bounds on the sizes of extended formulations, which is to bound from below the number of rectangles needed to cover the support of a slack matrix of the polytope. Our main goals are to shed some light on the question how this combinatorial rectangle covering bound compares to other bounds known from the literature, and to obtain a better idea of the power as well as of the limitations of this bound. In particular, we provide geometric interpretations (and a slight sharpening) of Yannakakis’ [35] result on the relation between minimal sizes of extended formulations and the nonnegative rank of slack matrices, and we describe the fooling set bound on the nonnegative rank (due to Dietzfelbinger et al. [7]) as the clique number of a certain graph. Among other results, we prove that both the cube as well as the Birkhoff polytope do not admit extended formulations with fewer inequalities than these polytopes have facets, and we show that every extended formulation of a d-dimensional neighborly polytope with Ω(d) vertices has size Ω(d).

DOI: 10.1016/j.disc.2012.09.015

Extracted Key Phrases

3 Figures and Tables

020402011201220132014201520162017
Citations per Year

78 Citations

Semantic Scholar estimates that this publication has 78 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Fiorini2013CombinatorialBO, title={Combinatorial Bounds on Nonnegative Rank and Extended Formulations}, author={Samuel Fiorini and Volker Kaibel and Kanstantsin Pashkovich and Dirk Oliver Theis}, journal={Discrete Mathematics}, year={2013}, volume={313}, pages={67-83} }