Skip to main content
Log in

Nonnegative Morse polynomial functions and polynomial optimization

Positivity Aims and scope Submit manuscript

Abstract

In this paper we study the representation of Morse polynomial functions which are nonnegative on a compact basic closed semi-algebraic set in \(\mathbb R^{n}\), and having only finitely many zeros in this set. Following Bivià-Ausina (Math Z 257:745–767, 2007), we introduce two classes of non-degenerate polynomials for which the algebraic sets defined by them are compact. As a consequence, we study the representation of nonnegative Morse polynomials on these kinds of non-degenerate algebraic sets. Moreover, we apply these results to study the polynomial optimization problem for Morse polynomial functions.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Notes

  1. The polynomial function \(f: \mathbb R^n \rightarrow \mathbb R\) is said to be convenient if its Newton polyhedron at infinity \(\widetilde{\Gamma }(f)\) intersects each coordinate axis in a point different from the origin, that is, if for any \(i\in \{1,\ldots ,n\}\) there exists some integer \(m_i>0\) such that \(m_i\mathbf {e}_i \in \widetilde{\Gamma }(f)\). Here \(\{\mathbf {e}_1,\ldots ,\mathbf {e}_n\}\) denotes the canonical basis in \(\mathbb R^n\).

  2. f is called (Khovanskii) non-degenerate at infinity if for any face \(\Delta \) of \(\widetilde{\Gamma }(f)\) which does not contain the origin \(0\in \mathbb R^n\), the system of equations

    $$\begin{aligned} f_\Delta =x_1\dfrac{\partial f_\Delta }{\partial x_1}=\cdots = x_n\dfrac{\partial f_\Delta }{\partial x_n}=0 \end{aligned}$$

    has no solution in \((\mathbb R\setminus \{0\})^n\). Here for \(f=\sum _{\alpha } f_\alpha X^\alpha \in \mathbb R[X]\), \(f_\Delta :=\sum _{\alpha \in \Delta } f_\alpha X^\alpha \) denotes the principal part at infinity of f with respect to \(\Delta \).

References

  1. Banyaga, A., Hurtubise, D.: Lectures on Morse Homology. Springer, Berlin (2004)

    Book  MATH  Google Scholar 

  2. Bivià-Ausina, C.: Injectivity of real polynomial maps and Lojasiewicz exponent at infinity. Math. Z. 257, 745–767 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  3. Dinh, S.T., Hà, H.V., Pham, T.S.: A Frank–Wolfe type theorem for nondegenerate polynomial programs. Math. Program. Ser. A 147, 519–538 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  4. Lasserre, J.-B.: Global optimization with polynomials and the problem of moments. SIAM J. Optim. 11, 796–817 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  5. Lasserre, J.-B.: Moments, Positive Polynomials and Their Applications. Imperial College Press Optimization Series, 1. Imperial College Press, London (2010)

    Google Scholar 

  6. Laurent, M.: Sums of squares, moment matrices and optimization over polynomials. In: Putinar, M., Sullivant, S. (eds.) Emerging Applications of Algebraic Geometry, IMA vol. Math. Appl. 149, pp. 157–270. Springer, New York (2009)

  7. Lê, C.-T.: Characterization of nonnegative polynomials in two variables on compact basic semi-algebraic sets via Newton diagrams. Quy Nhon Univ J Sci VIII(1), 5–16 (2014)

    Google Scholar 

  8. Marshall, M.: Optimization of polynomial functions. Can. Math. Bull. 46, 575–587 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  9. Marshall, M.: Positive Polynomials and Sums of Squares. Mathematical Surveys and Monographs, vol. 146. American Mathematical Society, Providence (2008)

  10. Marshall, M.: Representation of nonnegative polynomials, degree bounds and applications to optimization. Can. J. Math. 61, 205–221 (2009)

    Article  MATH  Google Scholar 

  11. Nie, J., Demmel, J., Powers, V.: Representations of positive polynomials on noncompact semialgebraic sets via KKT ideals. J. Pure Appl. Algebra 209(1), 189–200 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  12. Nie, J., Demmel, J., Sturmfels, B.: Minimizing polynomials via sum of squares over the gradient ideal. Math. Program. Ser. A 106, 587–606 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  13. Nocedal, J., Wright, S.J.: Numerical Optimization. Springer Series in Operations Research. Springer, New York (1999)

    Google Scholar 

  14. Parrilo, P.A., Sturmfels, B.: Minimizing polynomial functions. In: Basu, S., Gonzalez-Vega, L. (eds.) Algorithmic and Quantitative Real Algebraic Geometry, DIMACS Ser. Discrete Math. Theoret. Comput. Sci., vol. 60, pp. 83–99. American Mathematical Society, Providence (2003)

  15. Putinar, M.: Positive polynomials on compact semi-algebraic sets. Indiana Univ. Math. J. 42(3), 969–984 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  16. Schmüdgen, K.: The K-moment problem for compact semi-algebraic sets. Math. Ann. 289, 203–206 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  17. Scheiderer, C.: Sums of squares on real algebraic curves. Math. Z. 245, 725–760 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  18. Scheiderer, C.: Distinguished representations of nonnegative polynomials. J. Algebra 289(2), 558–573 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  19. Stengle, G.: Complexity estimates for the Schmüdgen Positivstellensatz. J. Complex. 12, 167–174 (1996)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgments

 The author would like to express his gratitude to Professor Hà Huy Vui for his valuable discussions on Morse theory and polynomial optimization. The original verson of this work was completed while the author was visiting the Vietnam Institute for Advanced Study in Mathematics (VIASM) in the year 2014 for his postdoctoral fellowship. He thanks VIASM for financial support and hospitality. The work was also supported in part by the grant-aided research project of the Vietnam Ministry of Education and Training. Finally, the author would like to express his warmest thanks to the referees for the careful reading and detailed comments with many helpful suggestions.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Lê Công-Trình.

Additional information

Dedicated to Professor Hà Huy Vui on the occasion of his 65th birthday.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Công-Trình, L. Nonnegative Morse polynomial functions and polynomial optimization. Positivity 20, 483–498 (2016). https://doi.org/10.1007/s11117-015-0367-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11117-015-0367-z

Keywords

Mathematics Subject Classification

Navigation