Abstract
We briefly review the duality between moment problems and sums of squares (s.o.s.) representations of positive polynomials, and compare s.o.s. versus nonnegative polynomials. We then describe how to use such results to define convergent semidefinite programming relaxations in polynomial optimization as well as for the two related problems of computing the convex envelope of a rational function and finding all zeros of a system of polynomial equations.
Similar content being viewed by others
References
Akhiezer N.I.: The Classical Moment Problem. Hafner, New York (1965)
Akhiezer, N.I., Krein, M.G.: Some questions in the theory of moments. Translation of Mathematical Monographs, vol. 2. American Mathematical Society, Providence, R.I. (1962)
Ash R.: Real Analysis and Probability. Academic Press, San Diego (1972)
Berg, C.: The multidimensional moment problem and semi-groups. In: Landau, H.J. (ed.) Moments in Mathematics. Proceedings of Symposia in Applied Mathematics, vol. 37, pp. 110–124. American Mathematical Society, Providence (1980)
Blekherman G.: There are significantly more nonnegative polynomials than sums of squares. Israel J. Math. 153, 355–380 (2006)
Curto R.E., Fialkow L.A.: The truncated complex K-moment problem. Trans. Am. Math. Soc. 352, 2825–2855 (2000)
Henrion D., Lasserre J.B.: GloptiPoly : global optimization over polynomials with Matlab and SeDuMi. ACM Trans. Math. Softw. 29, 165–194 (2003)
Henrion D., Lasserre J.B.: Solving global optimization problems over polynomials with GloptiPoly 21. In: Bliek, C., Jermann, C., Neumaier, R.(eds) Global Optimization and Constraint Satisfaction. Lecture Notes on Computer Sciences, pp. 43–58. Springer Verlag, Berlin (2003)
Henrion D., Lasserre J.B. (2005) Detecting global optimality and extracting solutions in GloptiPoly. In: Henrion D., Garulli R. (eds.) Positive Polynomials in Control. Lecture Notes on Control and Information Sciences, pp. 293–310. Springer Verlag
Henrion, D., Lasserre, J.B., Lofberg, J.: GloptiPoly 3: moments, optimization and semidefinite programming, Optim. Methods Softw. (to appear)
Jacobi T., Prestel A.: Distinguished representations of strictly positive polynomials. J. Reine Angew. Math. 532, 223–235 (2001)
Jibetean D., de Klerk E.: Global optimization of rational functions: a semidefinite programming approach. Math. Prog. A 106, 93–109 (2006)
Landau, H.J. (ed.): Moments in Mathematics. In: Proceedings of Symposia in Applied Mathematics, vol. 37. American Mathematical Society, Providence (1980)
Laraki R., Lasserre J.B.: Computing uniform convex approximations for convex envelopes and convex hulls. J. Conv. Anal. 15, 635–654 (2008)
Lasserre J.B.: Optimisation globale et théorie des moments. C. R. Acad. Sci. Paris Série I Math. 331, 929–934 (2000)
Lasserre J.B.: Global optimization with polynomials and the problem of moments. SIAM J. Optim. 11, 796–817 (2001)
Lasserre J.B.: S.o.s. approximations of a polynomial nonnegative on a real algebraic set. SIAM J. Optim. 16, 610–628 (2005)
Lasserre J.B.: Convergent semidefinite relaxations in polynomial optimization with sparsity. SIAM J. Optim. 17, 822–843 (2006)
Lasserre, J.B.: A sum of squares approximation of nonnegative polynomials. SIAM J. Optim. 16, 751–765 (2006). Also in: SIAM Review 49, 651–669 (2007)
Lasserre J.B.: A Semidefinite programming approach to the generalized problem of moments. Math. Program. 112, 65–92 (2008)
Lasserre J.B., Netzer T.: SOS approximations of nonnegative polynomials via simple high degree perturbations. Math. Zeitschrift. 256, 99–112 (2007)
Lasserre J.B., Laurent M., Rostalski P.: Semidefinite characterization and computation of zero-dimensional real radical ideals. Found. Comp. Math. 8, 607–647 (2008)
Laurent M.: Revisiting two theorems of Curto and Fialkow on moment matrices. Proc. Am. Math. Soc. 133, 2965–2976 (2005)
Maserick P.H., Berg C.: Exponentially bounded positive definite functions. Ill. J. Math. 28, 162–179 (1984)
Mourrain, B., Trébuchet, P.: Generalized normal forms and polynomials system solving. In: Proceedings of the ISSAC 2005 Conference, Hamilton, Canada (2005)
Mittelmann H.D.: An independent benchmarking of SDP and SOCP solvers. Math. Program. 95, 407–430 (2003)
Nussbaum A.E.: Quasi-analytic vectors. Ark. Mat. 6, 179–191 (1966)
Parrilo, P.A.: Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization. Ph.D. thesis, California Institute of Technology, Pasadena, CA (2000)
Parrilo P.A.: Semidefinite programming relaxations for semialgebraic problems. Math. Program. 96, 293–320 (2003)
Petersen L.C.: On the relation between the multidimensional moment problem and the one dimensional moment problem. Math. Scand. 51, 361–366 (1982)
Putinar M.: Positive polynomials on compact semi-algebraic sets. Indiana Univ. Math. J. 42, 969–984 (1993)
Reid, G., Zhi, L.: Solving nonlinear polynomial system via symbolic-numeric elimination method. In: Faugère, J.C., Rouillier, F. (eds.) Proceedings of the International Conference on Polynomial System Solving, pp. 50–53 (2004)
Rouillier F.: Solving zero-dimensional systems through the rational univariate representation. J. Appl. Alg. Eng. Comm. Comp. 9, 433–461 (1999)
Schmüdgen K.: The K-moment problem for compact semi-algebraic sets. Math. Ann. 289, 203–206 (1991)
Sommese A.J., Wampler C.W.: The Numerical Solution of Systems of Polynomials Arising in Engineering and Science. World Scientific Press, Singapore (2005)
Sturm J.F.: Using SeDuMi 1.02, a Matlab Toolbox for optimization over symmetric cones. Optim. Meth. Softw. 11–12, 625–653 (1999)
Verschelde J.: Algorithm 795: PHCpack: a general-purpose solver for polynomial systems by homotopy continuation. ACM Trans. Math. Softw. 25, 251–276 (1999)
Waki S., Kim S., Kojima M., Maramatsu M.: Sums of squares and semidefinite programming relaxations for polynomial optimization problems witth structured sparsity. SIAM J. Optim. 17, 218–242 (2006)