An exact duality theory for semidefinite programming based on sums of squares

Farkas’ lemma is a fundamental result from linear programming providing linear certificates for infeasibility of systems of linear inequalities. In semidefinite programming, such linear certificates only exist for strongly infeasible linear matrix inequalities. We provide nonlinear algebraic certificates for all infeasible linear matrix inequalities in the spirit of real algebraic geometry: A linear matrix inequality … Read more

User’s Guide for SeDuMi Interface 1.01

A user-friendly free Matlab package for defining Linear Matrix Inequality (LMI) problems. It acts as an interface for the Self-Dual-Minimisation package SeDuMi developed by Jos F. Sturm. The functionalities of SeDuMi Interface are the following: (1) Declare an LMI problem. Five Matlab functions allow to define completely an LMI problem which can be characterised by … Read more

On cones of nonnegative quadratic functions

We derive LMI-characterizations and dual decomposition algorithms for certain matrix cones which are generated by a given set using generalized co-positivity. These matrix cones are in fact cones of non-convex quadratic functions that are nonnegative on a certain domain. As a domain, we consider for instance the intersection of a (upper) level-set of a quadratic … Read more