Worst-case results for positive semidefinite rank

We present various worst-case results on the positive semidefinite (psd) rank of a nonnegative matrix, primarily in the context of polytopes. We prove that the psd rank of a generic $$n$$n-dimensional polytope with $$v$$v vertices is at least $$(nv)^{\frac{1}{4}}$$(nv)14 improving on previous lower bounds. For polygons with $$v$$v vertices, we show that psd rank cannot exceed $$4 \left\lceil v/6 \right\rceil $$4v/6 which in turn shows that the psd rank of a $$p \times q$$p×q matrix of rank three is at most $$4\left\lceil \min \{p,q\}/6 \right\rceil $$4min{p,q}/6. In general, a nonnegative matrix of rank $${k+1 \atopwithdelims ()2}$$k+12 has psd rank at least $$k$$k and we pose the problem of deciding whether the psd rank is exactly $$k$$k. Using geometry and bounds on quantifier elimination, we show that this decision can be made in polynomial time when $$k$$k is fixed.

[1]  Henry Wolkowicz,et al.  Handbook of Semidefinite Programming , 2000 .

[2]  Marie-Françoise Roy,et al.  Witt Rings in Real Algebraic Geometry , 1998 .

[3]  Ankur Moitra An Almost Optimal Algorithm for Computing Nonnegative Rank , 2013, SODA.

[4]  James Renegar,et al.  On the Computational Complexity and Geometry of the First-Order Theory of the Reals, Part III: Quantifier Elimination , 1992, J. Symb. Comput..

[5]  Troy Lee,et al.  Support-based lower bounds for the positive semidefinite rank of a nonnegative matrix , 2012 .

[6]  Kanstantsin Pashkovich,et al.  Extended Formulations for Combinatorial Polytopes , 2012 .

[7]  M. Yannakakis Expressing combinatorial optimization problems by linear programs , 1991, Symposium on the Theory of Computing.

[8]  Sebastian Pokutta,et al.  On the existence of 0/1 polytopes with high semidefinite extension complexity , 2013, Math. Program..

[9]  Pablo A. Parrilo,et al.  Lower bounds on nonnegative rank via nonnegative nuclear norms , 2012, Math. Program..

[10]  James Renegar,et al.  On the Computational Complexity and Geometry of the First-Order Theory of the Reals, Part I: Introduction. Preliminaries. The Geometry of Semi-Algebraic Sets. The Decision Problem for the Existential Theory of the Reals , 1992, J. Symb. Comput..

[11]  Stephen A. Vavasis,et al.  On the Complexity of Nonnegative Matrix Factorization , 2007, SIAM J. Optim..

[12]  Rekha R. Thomas,et al.  Lifts of Convex Sets and Cone Factorizations , 2011, Math. Oper. Res..

[13]  Yaroslav Shitov An upper bound for nonnegative rank , 2014, J. Comb. Theory, Ser. A.

[14]  Marie-Françoise Roy,et al.  Real algebraic geometry , 1992 .

[15]  Rekha R. Thomas,et al.  Polytopes of Minimum Positive Semidefinite Rank , 2012, Discret. Comput. Geom..

[16]  Nicolas Gillis,et al.  On the Geometric Interpretation of the Nonnegative Rank , 2010, 1009.0880.

[17]  J. Renegar,et al.  On the Computational Complexity and Geometry of the First-Order Theory of the Reals, Part I , 1989 .

[18]  Samuel Fiorini,et al.  Combinatorial bounds on nonnegative rank and extended formulations , 2011, Discret. Math..

[19]  Joel E. Cohen,et al.  Nonnegative ranks, decompositions, and factorizations of nonnegative matrices , 1993 .

[20]  Hans Raj Tiwary,et al.  Exponential Lower Bounds for Polytopes in Combinatorial Optimization , 2011, J. ACM.

[21]  Samuel Fiorini,et al.  Approximation Limits of Linear Programs (Beyond Hierarchies) , 2015, Math. Oper. Res..

[22]  Hans Raj Tiwary,et al.  Extended Formulations for Polygons , 2011, Discret. Comput. Geom..

[23]  A ParriloPablo,et al.  Lifts of Convex Sets and Cone Factorizations , 2013 .