In the past decade there has been a surge of interest in algebraic approaches to optimization problems defined by multivariate polynomials. Fundamental mathematical challenges that arise in this area include understanding the structure of nonnegative polynomials, the interplay between efficiency and complexity of different representations of algebraic sets, and the development of effective algorithms. Remarkably, and perhaps unexpectedly, convexity provides a new viewpoint and a powerful framework for addressing these questions. This naturally brings us to the intersection of algebraic geometry, optimization, and convex geometry, with an emphasis on algorithms and computation. This emerging area has become known as convex algebraic geometry.
This tutorial will focus on basic and recent developments in convex algebraic geometry, and the associated computational methods based on semidefinite programming for optimization problems involving polynomial equations and inequalities. There has been much recent progress, by combining theoretical results in real algebraic geometry with semidefinite programming to develop effective computational approaches to these problems. We will make particular emphasis on sum of squares decompositions, general duality properties, infeasibility certificates, approximation/inapproximability results, as well as survey the many exciting developments that have taken place in the last few years.
[1]
Peter J Seiler,et al.
SOSTOOLS: Sum of squares optimization toolbox for MATLAB
,
2002
.
[2]
Yurii Nesterov,et al.
Squared Functional Systems and Optimization Problems
,
2000
.
[3]
Jean B. Lasserre,et al.
Global Optimization with Polynomials and the Problem of Moments
,
2000,
SIAM J. Optim..
[4]
Rekha R. Thomas,et al.
Semidefinite Optimization and Convex Algebraic Geometry
,
2012
.
[5]
N. Z. Shor.
Class of global minimum bounds of polynomial functions
,
1987
.
[6]
Masakazu Kojima,et al.
Sparsity in sums of squares of polynomials
,
2005,
Math. Program..
[7]
P. Parrilo.
Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization
,
2000
.
[8]
Johan Löfberg,et al.
Pre- and Post-Processing Sum-of-Squares Programs in Practice
,
2009,
IEEE Transactions on Automatic Control.
[9]
Pablo A. Parrilo,et al.
Computing sum of squares decompositions with rational coefficients
,
2008
.
[10]
Pablo A. Parrilo,et al.
Semidefinite programming relaxations for semialgebraic problems
,
2003,
Math. Program..
[11]
P. Parrilo,et al.
Symmetry groups, semidefinite programs, and sums of squares
,
2002,
math/0211450.