×

Coercive polynomials and their Newton polytopes. (English) Zbl 1322.90092

Summary: Many interesting properties of polynomials are closely related to the geometry of their Newton polytopes. In this article, we analyze the coercivity on \(\mathbb{R}^n\) of multivariate polynomials \(f\in \mathbb{R}[x]\) in terms of their so-called Newton polytopes at infinity. In fact, we introduce the broad class of so-called gem regular polynomials and characterize their coercivity via conditions solely containing information about the geometry of the vertex set of the Newton polytope at infinity, as well as sign conditions on the corresponding polynomial coefficients. For all other polynomials, the so-called gem irregular polynomials, we introduce sufficient conditions for coercivity based on those from the regular case. For some special cases of gem irregular polynomials, we establish necessary conditions for coercivity, too. Using our techniques, the problem of deciding the coercivity of a polynomial can often be studied based on its Newton polytope at infinity. We relate our results to the context of polynomial optimization theory and the existing literature therein, and we illustrate our results with several examples.

MSC:

90C30 Nonlinear programming
26C05 Real polynomials: analytic properties, etc.
11C08 Polynomials in number theory
12E10 Special polynomials in general fields
14P10 Semialgebraic sets and related spaces
52B20 Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry)
90C26 Nonconvex programming, global optimization

Software:

RAGlib

References:

[1] D. Acunto and V. Grandjean, {\it On gradient at infinity of semialgebraic functions}, Ann. Polon. Math., 87 (2005), pp. 39-49. · Zbl 1092.32004
[2] V. De Angelis and S. Tuncel, {\it Handelman’s theorem on polynomials with positive multiples}, in Codes, Systems, and Graphical Models, IMA Vol. Math. Appl. 123, 2001, pp. 439-445. · Zbl 1091.13507
[3] D. Avis and K. Fukuda, {\it A Pivoting algorithm for convex hulls and vertex ennumeration of arrangements and polyhedra}, Discrete Comput. Geom., 8 (1992), pp. 295-313. · Zbl 0752.68082
[4] T. Bajbar and O. Stein, {\it Coercive polynomials: Stability, order of growth, and Newton Polytopes}, forthcoming. · Zbl 1322.90092
[5] D. Bremner, K. Fukuda, and A. Marzetta, {\it Primal-dual methods for vertex and facet ennumeration}, Discrete Comput. Geom., 20 (1998), pp. 333-357. · Zbl 0910.68217
[6] S.T. Dinh, H.V. Ha, and T.S. Pham, {\it A Frank-Wolfe type theorem for nongdegenerate polynomial programs}, Math. Program., 147 (2014), pp. 519-538. · Zbl 1297.90126
[7] M. V. Fedoryuk, {\it The asymptotics of a Fourier transform of the exponential function of a polynomial}, Soviet Math. Dok., 17 (1976), pp. 486-490. · Zbl 0343.41030
[8] S. Gao, {\it Absolute irreducibility of polynomials via Newton polytopes}, J. Algebra, 237 (2001), pp. 501-520. · Zbl 0997.12001
[9] A. Greuet and M. Safey El Din, {\it Probabilistic algorithm for the global optimization of a polynomial over a real algebraic set}, SIAM J. Optim., 24 (2014), pp. 1313-1343. · Zbl 1327.90232
[10] A. Greuet and M. Safey El Din, {\it Deciding reachability of the infimum of a multivariate polynomial}, in Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISAAC 2011, San Jose, CA, ACM Press, New York, 2011, pp. 131-138. · Zbl 1323.65074
[11] H.V. Ha and T.S. Pham, {\it Representation of positive polynomials and optimization on noncompact semialgebraic sets}, SIAM J. Optim., 20 (2010), pp. 3082-3103. · Zbl 1279.14071
[12] H.V. Ha and T.S. Pham, {\it Minimizing polynomial functions}, Acta Math. Vietnam., 32 (2007), pp. 71-82. · Zbl 1250.14040
[13] S. Iliman and T. de Wolff, {\it Amoebas, nonnegative polynomials and sums of squares supported on circuits}, preprint, arXiv:1402.0462v2, 2014. · Zbl 1415.11071
[14] Z. Jelonek and K. Kurdyka, {\it On asymptotic critical values of a complex polynomial}, Journal für die reine und angewandte Mathematik, 565 (2003), pp. 1-11. · Zbl 1047.32019
[15] Z. Jelonek and K. Kurdyka, {\it Reaching generalized critical values of a polynomial}, Math. Z., 276 (2014), pp. 557-570. · Zbl 1288.14044
[16] V. Jeyakumar, J.-B. Lasserre, and G. Li, {\it On polynomial optimization over non-compact semi-algebraic sets}, J. Optim. Theory Appl., 163 (2014), pp. 707-718. · Zbl 1302.90208
[17] V. Jeyakumar, T.S. Pham, and G. Li, {\it Convergence of the Lasserre hierarchy of SDP relaxations for convex polynomial programs without compactness}, Oper. Res. Lett., 42 (2014), pp. 34-40. · Zbl 1408.90227
[18] K. Kaveh and A.G. Khovanskii, {\it Algebraic equations and convex bodies}, in Perspectives in Analysis, Geometry, and Topology, I. Itenberg, B. Jöricke, and M. Passare, eds., Progr. Math., 296 (2012), pp. 263-282. · Zbl 1316.52011
[19] A. Khovanskii and A. Esterov, {\it Elimination theory and Newton polytopes}, Funct. Anal. Other Math., 2 (2008), pp. 45-71. · Zbl 1192.14038
[20] K. Kurdyka, P. Orro, and S. Simon {\it Semialgebraic Sard theorem for generalized critical values}, J. Differential Geom., 56 (2000), pp. 67-92. · Zbl 1067.58031
[21] A.G. Kushnirenko, {\it Newton polytopes and the Bézout theorem}, Funct. Anal. Appl., 10 (1977), pp. 233-235. · Zbl 0341.32001
[22] B. Malgrange, {\it Méthode de la phase stationnaire et sommation de Borel}, in Complex Analysis, Microlocal Calculus and Relativistic Quantum Theory, Lecture Notes in Phys. 126, Springer, Berlin, 1980, pp. 170-177 (in French). · Zbl 0446.28012
[23] T. Netzer {\it Stability of quadratic modules}, Manuscripta Math., 129 (2009), pp. 251-271. · Zbl 1209.13027
[24] J. Nie, J. Demmel, and B. Sturmfels, {\it Minimizing polynomials via sum of squares over the gradient ideal}, Math. Program., 106 (2006), pp. 587-606. · Zbl 1134.90032
[25] T.S. Pham, {\it On the topology of the Newton boundary at infinity}, J. Math. Soc. Japan, 60 (2008), pp. 1065-1081. · Zbl 1159.32016
[26] P.J. Rabier, {\it Ehresmann fibrations and Palais-Smale conditions for morphisms of Finsler manifolds}, Ann. of Math., 146 (1997), pp. 647-691. · Zbl 0919.58003
[27] B. Reznick, {\it Extremal psd forms with few terms}, Duke Math. J., 45 (1978), pp. 363-374. · Zbl 0395.10037
[28] M. Safey El Din, {\it Computing the global optimum of a multivariate polynomial over the reals}, in Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISAAC 2008, Hagenburg, Austria, ACM Press, New York, 2008, pp. 71-78. · Zbl 1487.65072
[29] M. Schweighofer, {\it Global optimization of polynomials using gradient tentacles and sums of squares}, SIAM J. Optim., 17 (2006), pp. 490-514. · Zbl 1118.13026
[30] B. Sturmfels, {\it Polynomial equations and convex polytopes}, Amer. Math. Monthly, 105 (1998), pp. 907-922. · Zbl 0988.52021
[31] N.T. Thang, {\it Bifurcation set, M-tameness, asymptotic critical values and Newton polyhedrons}, Kodai Math. J., 36 (2013), pp. 77-90. · Zbl 1266.32036
[32] G.M. Ziegler, {\it Lectures on Polytopes}, Springer, Berlin, 1995. · Zbl 0823.52002
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.