Semidefinite programs (SDPs) are standard convex problems that frequently found in control and optimization applications. Interior-point methods can solve SDPs polynomial time up to arbitrary accuracy, but scale poorly as the size of matrix variables number constraints increases. To improve scalability, be approximated with lower upper bounds through use structured subsets (e.g., diagonally-dom...

We present a general framework whereby analysis of interior-point algorithms for semidefinite programming can be extended verbatim to optimization problems over all classes of symmetric cones derivable from associative algebras. In particular, such analyses are extendible to the cone of positive semidefinite Hermitian matrices with complex and quaternion entries, and to the Lorentz cone. We pro...

Grothendieck inequalities are fundamental inequalities which are frequently used in many areas of mathematics and computer science. They can be interpreted as upper bounds for the integrality gap between two optimization problems: A difficult semidefinite program with rank-1 constraint and its easy semidefinite relaxation where the rank constrained is dropped. For instance, the integrality gap ...

The stability number α(G) for a given graph G is the size of a maximum stable set in G. The Lovász theta number provides an upper bound on α(G) and can be computed in polynomial time as the optimal value of the Lovász semidefinite program. In this paper, we show that restricting the matrix variable in the Lovász semidefinite program to be rank-one and rank-two, respectively, yields a pair of co...

In this paper we study several issues related to the characterization of specific classes of multivariate quadratic mappings that are nonnegative over a given domain, with nonnegativity defined by a pre-specified conic order. In particular, we consider the set (cone) of nonnegative quadratic mappings defined with respect to the positive semidefinite matrix cone, and study when it can be represe...

An important class of optimization problems in control and signal processing involves the constraint that a Popov function is nonnegative on the unit circle or the imaginary axis. Such a constraint is convex in the coefficients of the Popov function. It can be converted to a finitedimensional linear matrix inequality via the Kalman-Yakubovich-Popov lemma. However, the linear matrix inequality r...

In a common formulation of semi-infinite programs, the infinite constraint set is a requirement that a function parametrized by the decision variables is nonnegative over an interval. If this function is sufficiently closely approximable by a polynomial or a rational function, then the semi-infinite program can be reformulated as an equivalent semidefinite program. Solving this semidefinite pro...