Convex Hulls of Algebraic Sets

Chapter
Part of the International Series in Operations Research & Management Science book series (ISOR, volume 166)

Abstract

This article describes a method to compute successive convex approximations of the convex hull of the solutions to a system of polynomial equations over the reals. The method relies on sums of squares of polynomials and the dual theory of moment matrices. The main feature of the technique is that all computations are done modulo the ideal generated by the polynomials defining the set to the convexified. This work was motivated by questions raised by Lovász concerning extensions of the theta body of a graph to arbitrary real algebraic varieties, and hence the relaxations described here are called theta bodies. The convexification process can be seen as an incarnation of Lasserre’s hierarchy of convex relaxations of a real semialgebraic set. When the defining ideal is real radical the results become especially nice. We provide several examples of the method and discuss convergence issues. Finite convergence, especially after the first step of the method, can be described explicitly for finite point sets.

References

  1. 1.
    Borwein, J.M., Lewis, A.S.: Convex analysis and nonlinear optimization. Theory and examples. CMS Books in Mathematics/Ouvrages de Mathématiques de la SMC, 3. Springer, New York, second edition (2006)Google Scholar
  2. 2.
    Cox, D., Little, J., O’Shea, D.: Ideals, Varieties and Algorithms. Springer-Verlag, New York (1992)Google Scholar
  3. 3.
    Gouveia, J., Laurent, M., Parrilo, P., Thomas, R.: A new hierarchy of semidefinite programming relaxations for cycles in binary matroids and cuts in graphs. Math. Program., Ser. A DOI 10.1007/s10107-010-0425-zGoogle Scholar
  4. 4.
    Gouveia, J., Netzer, T.: Positive polynomials and projections of spectrahedra. SIAM J. Optim., to appearGoogle Scholar
  5. 5.
    Gouveia, J., Parrilo, P.A., Thomas, R.R.: Theta bodies for polynomial ideals. SIAM Journal on Optimization 20(4), 2097–2118 (2010)CrossRefGoogle Scholar
  6. 6.
    Grötschel, M., Lovász, L., Schrijver, A.: Geometric algorithms and combinatorial optimization, Vol. 2 of Algorithms and Combinatorics. Springer-Verlag, Berlin, second edition (1993)Google Scholar
  7. 7.
    Lasserre, J.B.: Global optimization with polynomials and the problem of moments. SIAM J. Optim. 11(3), 796–817 (2001)CrossRefGoogle Scholar
  8. 8.
    Lasserre, J.B.: An explicit equivalent positive semidefinite program for nonlinear 0-1 programs. SIAM J. Optim. 12(3), 756–769 (2002)CrossRefGoogle Scholar
  9. 9.
    Lasserre, J.B.: Convex sets with semidefinite representation. Math. Program. 120, 457–477 (2009)CrossRefGoogle Scholar
  10. 10.
    Lasserre, J.B., Laurent, M., Rostalski, P.: Semidefinite characterization and computation of zero- dimensional real radical ideals. Found. Comput. Math. 8(5), 607–647 (2008)CrossRefGoogle Scholar
  11. 11.
    Laurent, M.: Semidefinite relaxations for max-cut. In: The sharpest cut, MPS/SIAM Ser. Optim., pp. 257–290. SIAM, Philadelphia, PA (2004)Google Scholar
  12. 12.
    Laurent, M.: Semidefinite representations for finite varieties. Math. Program. 109(1, Ser. A), 1–26 (2007)Google Scholar
  13. 13.
    Laurent, M.: Sums of squares, moment matrices and optimization over polynomials. In: Putinar, M., Sullivant, S. (eds.) Emerging Applications of Algebraic Geometry, IMA Volumes in Mathematics and its Applications, vol. 149, pp. 157–270. Springer (2009)Google Scholar
  14. 14.
    Laurent, M., Rendl, F.: Semidefinite programming and integer programming. In: Aardal, K., Nemhauser, G., Weismantel, R. (eds.) Handbook on Discrete Optimization, pp. 393–514. Elsevier B.V. (2005)Google Scholar
  15. 15.
    De Loera, J., Hillar, C., Malkin, P.N., Omar, M.: Recognizing graph theoretic properties with polynomial ideals. Electron. J. Combinator., R114, 17(1), 2010Google Scholar
  16. 16.
    Lombardi, H.: Une borne sur les degrés pour le théorème des zéros réel effectif. In: Real algebraic geometry, Lecture Notes in Math., vol. 1524, pp. 323–345. Springer, Berlin (1992)Google Scholar
  17. 17.
    Lovász, L.: On the Shannon capacity of a graph. IEEE Trans. Inform. Theory 25(1), 1–7 (1979)CrossRefGoogle Scholar
  18. 18.
    Lovász, L.: Semidefinite programs and combinatorial optimization. In: Recent advances in algorithms and combinatorics, CMS Books Math./Ouvrages Math. SMC, vol. 11, pp. 137–194. Springer, New York (2003)Google Scholar
  19. 19.
    Lovász, L., Schrijver, A.: Cones of matrices and set-functions and 0-1 optimization. SIAM J. Optim. 1(2), 166–190 (1991)CrossRefGoogle Scholar
  20. 20.
    Parrilo, P.A.: Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization. Ph.D. thesis, California Institute of Technology (2000)Google Scholar
  21. 21.
    Parrilo, P.A.: Semidefinite programming relaxations for semialgebraic problems. Math. Prog. 96(2, Ser. B), 293–320 (2003)Google Scholar
  22. 22.
    Powers, V., Scheiderer, C.: The moment problem for non-compact semialgebraic sets. Adv. Geom. 1(1), 71–88 (2001)CrossRefGoogle Scholar
  23. 23.
    Schmüdgen, K.: The K-moment problem for compact semi-algebraic sets. Math. Ann. 289(2), 203–206 (1991)CrossRefGoogle Scholar
  24. 24.
    Schoenebeck, G.: Linear level Lasserre lower bounds for certain k-csps. In: FOCS, IEEE Computer Society, pp. 593–602 (2008)Google Scholar
  25. 25.
    Schrijver, A.: Combinatorial optimization. Polyhedra and efficiency. Algorithms and Combinatorics, Vol. 24B, Springer-Verlag, Berlin (2003)Google Scholar
  26. 26.
    Shepherd, F.B.: The theta body and imperfection. In: Perfect graphs, Wiley-Intersci. Ser. Discrete Math. Optim., pp. 261–291. Wiley, Chichester (2001)Google Scholar
  27. 27.
    Stanley, R.P.: Decompositions of rational convex polytopes. Combinatorial mathematics, optimal designs and their applications (Proc. Sympos. Combin. Math. and Optimal Design, Colorado State Univ., Fort Collins, Colo., 1978). Ann. Discrete Math. 6, 333–342 (1980)Google Scholar
  28. 28.
    Sturm, J.F.: Using SeDuMi 1.02, a MATLAB toolbox for optimization over symmetric cones. Optim. Methods Softw. 11/12(1-4), 625–653 (1999)Google Scholar
  29. 29.
    Sullivant, S.: Compressed polytopes and statistical disclosure limitation. Tohoku Math. J. (2) 58(3), 433–445 (2006)Google Scholar
  30. 30.
    Tinhofer, G.: Graph Isomorphism and Theorems of Birkhoff Type. Computing 36, 285–300 (1986)CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC 2012

Authors and Affiliations

  1. 1.Department of MathematicsUniversity of WashingtonSeattleUSA
  2. 2.CMUC, Department of MathematicsUniversity of CoimbraCoimbraPortugal

Personalised recommendations