Every convex free basic semi-algebraic set has an LMI representation

Pages 979-1013 from Volume 176 (2012), Issue 2 by J. William Helton, Scott McCullough

Abstract

The (matricial) solution set of a Linear Matrix Inequality (LMI) is a convex free basic open semi-algebraic set. The main theorem of this paper is a converse, each such set arises from some LMI. The result has implications for semi-definite programming and systems engineering as well as for free semi-algebraic geometry.

Keywords
, , , , , , ,
DOI
https://doi.org/10.4007/annals.2012.176.2.6
MR
2950768
zbMATH
06093945
Milestones
Received: 10 December 2009
Revised: 8 July 2011
Accepted: 11 April 2012
Published online: 1 September 2012

Authors

J. William Helton

Department of Mathematics, University of California San Diego, 9500 Gilman Drive #0112, La Jolla, CA 92093-0112

Scott McCullough

Department of Mathematics, University of Florida, 490 Little Hall, Gainesville, FL 32611-8105