Please wait a minute...
Frontiers of Mathematics in China

ISSN 1673-3452

ISSN 1673-3576(Online)

CN 11-5739/O1

Postal Subscription Code 80-964

2018 Impact Factor: 0.565

Front Math Chin    2012, Vol. 7 Issue (2) : 321-346    https://doi.org/10.1007/s11464-012-0187-4
RESEARCH ARTICLE
Sum of squares methods for minimizing polynomial forms over spheres and hypersurfaces
Jiawang NIE()
Department of Mathematics, University of California, San Diego, La Jolla, CA 92093, USA
 Download: PDF(259 KB)   HTML
 Export: BibTeX | EndNote | Reference Manager | ProCite | RefWorks
Abstract

This paper studies the problem of minimizing a homogeneous polynomial (form) f(x) over the unit sphere Sn-1={x?n:x2=|1}. The problem is NP-hard when f(x) has degree 3 or higher. Denote by fmin (resp. fmax) the minimum (resp. maximum) value of f(x) on Sn-1. First, when f(x) is an even form of degree 2d, we study the standard sum of squares (SOS) relaxation for finding a lower bound of the minimum fmin:max? γ s.t. f(x)-γ·x22d? is SOS.Let fsos be the above optimal value. Then we show that for all n≥2d,1fmax?-fsosfmax?-fmin?C(d)(n2d).Here, the constant C(d) is independent of n. Second, when f(x) is a multi-form and Sn-1 becomes a multi-unit sphere, we generalize the above SOS relaxation and prove a similar bound. Third, when f(x) is sparse, we prove an improved bound depending on its sparsity pattern; when f(x) is odd, we formulate the problem equivalently as minimizing a certain even form, and prove a similar bound. Last, for minimizing f(x) over a hypersurface H(g)={x?n:g(x)=1} defined by a positive definite form g(x), we generalize the above SOS relaxation and prove a similar bound.

Keywords Approximation bound      form      hypersurface      L2-norm      G-norm      multi-form      polynomial      semidefinite programming      sum of squares     
Corresponding Author(s): NIE Jiawang,Email:njw@math.ucsd.edu   
Issue Date: 01 April 2012
 Cite this article:   
Jiawang NIE. Sum of squares methods for minimizing polynomial forms over spheres and hypersurfaces[J]. Front Math Chin, 2012, 7(2): 321-346.
 URL:  
https://academic.hep.com.cn/fmc/EN/10.1007/s11464-012-0187-4
https://academic.hep.com.cn/fmc/EN/Y2012/V7/I2/321
1 Blekherman G. There are significantly more nonnegative polynomials than sums of squares. Israel J Math , 2006, 153: 355–380
doi: 10.1007/BF02771790
2 Faybusovich L. Global optimization of homogeneous polynomials on the simplex and on the sphere. In: Floudas C, Pardalos P, eds. Frontiers in Global Optimization. Nonconvex Optim Appl , Vol 74. Boston: Kluwer Academic Publishers, 2004, 109–121
doi: 10.1007/978-1-4613-0251-3_6
3 Hurwitz A. über den Vergleich des arithmetischen und des geometrischen. Mittels J Reine Angew Math , 1891, 108: 266–268
doi: 10.1515/crll.1891.108.266
4 Kojima M, Kim S, Waki H. Sparsity in sums of squares of polynomials. Math Program , 2005, 103(1): 45–62
doi: 10.1007/s10107-004-0554-3
5 Lasserre J. Global optimization with polynomials and the problem of moments. SIAM J Optim , 2001, 11(3): 796–817
doi: 10.1137/S1052623400366802
6 Ling C, Nie J, Qi L, Ye Y. Bi-quadratic optimization over unit spheres and semidefinite programming relaxations. SIAM J Optim , 2009, 20(3): 1286–1310
doi: 10.1137/080729104
7 Nesterov Y. Random walk in a simplex and quadratic optimization over convex polytopes. CORE Discussion Paper, CORE, Catholic University of Louvain, Louvainla-Neuve, Belgium , 2003
8 Nie J, Demmel J. Sparse SOS relaxations for minimizing functions that are summations of small polynomials. SIAM J Optim , 2008, 19(4): 1534–1558 346 Jiawang NIE
doi: 10.1137/060668791
9 Parrilo P. Semidefinite Programming relaxations for semialgebraic problems. Math Program, Ser B , 2003, 96(2): 293–320
10 Parrilo P. Exploiting structure in sum of squares programs. In: Proceedings for the 42nd IEEE Conference on Decision and Control, Maui, Hawaii, 2003 . 2004, 4664–4669
11 Parrilo P, Sturmfels B. Minimizing polynomial functions. In: Basu S, Gonzalez-Vega L, eds. Proceedings of the DIMACS Workshop on Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science (March 2001) . Providence: Amer Math Soc, 2003, 83–100
12 Reznick B. Forms derived from the arithmetic-geometric inequality. Math Ann , 1989, 283: 431–464
doi: 10.1007/BF01442738
13 Reznick B. Some concrete aspects of Hilbert’s 17th problem. In: Contem Math , Vol 253. Providence: Amer Math Soc, 2000, 251–272
14 Wolkowicz H, Saigal R, Vandenberghe L, eds. Handbook of Semidefinite Programming: Theory, Algorithms, and Applications. International Series in Operations Research & Management Science, 27 . Boston: Kluwer Academic Publishers, 2000
[1] Wen-Huan WANG, Ling YUAN. Uniform supertrees with extremal spectral radii[J]. Front. Math. China, 2020, 15(6): 1211-1229.
[2] Hui LIU, Hui ZHANG. Multiple P-cyclic symmetric closed characteristics on compact convex P-cyclic symmetric hypersurfaces in 2n[J]. Front. Math. China, 2020, 15(6): 1155-1173.
[3] Zhao XU. The second moment of GL(3) × GL(2) L- functions at special points from GL(3) forms[J]. Front. Math. China, 2020, 15(5): 1070-1088.
[4] Yuhan ZHANG, Junyang GAO, Jianyong QIAO, Qinghua WANG. Dynamics of a family of rational maps concerning renormalization transformation[J]. Front. Math. China, 2020, 15(4): 807-833.
[5] Linlin FU, Jiahao XU, Fan WU. New proof of continuity of Lyapunov exponents for a class of smooth Schrödinger cocycles with weak Liouville frequencies[J]. Front. Math. China, 2020, 15(3): 467-489.
[6] Bo LU, Zhenxing DI, Yifu LIU. Cartan-Eilenberg N-complexes with respect to self-orthogonal subcategories[J]. Front. Math. China, 2020, 15(2): 351-365.
[7] Peihe WANG, Jianchun WANG. Curvature estimate of steepest descents of 2-dimensional maximal space-like hypersurfaces on space forms[J]. Front. Math. China, 2020, 15(1): 167-181.
[8] Pengjie JIAO. Auslander's defect formula and a commutative triangle in an exact category[J]. Front. Math. China, 2020, 15(1): 115-125.
[9] Weili YAO. Mean-square estimate of automorphic L-functions[J]. Front. Math. China, 2020, 15(1): 205-213.
[10] Junyi ZHU, Xinxin MA, Zhijun QIAO. Spectral analysis of generalized Volterra equation[J]. Front. Math. China, 2019, 14(5): 1063-1075.
[11] Lihua YOU, Xiaohua HUANG, Xiying YUAN. Sharp bounds for spectral radius of nonnegative weakly irreducible tensors[J]. Front. Math. China, 2019, 14(5): 989-1015.
[12] Xingya FAN, Jianxun HE, Jinsen XIAO, Wenjun YUAN. Radon transforms on Siegel-type nilpotent Lie groups[J]. Front. Math. China, 2019, 14(5): 855-866.
[13] Ming LI. Semi-conformal structure on certain vertex superalgebras associated to vertex superalgebroids[J]. Front. Math. China, 2019, 14(5): 881-906.
[14] Jiecheng CHEN, Dashan FAN, Meng WANG. Oscillatory hyper Hilbert transforms along variable curves[J]. Front. Math. China, 2019, 14(4): 673-692.
[15] Hui WANG, Shoufu TIAN, Tiantian ZHANG, Yi CHEN. Lump wave and hybrid solutions of a generalized (3+ 1)-dimensional nonlinear wave equation in liquid with gas bubbles[J]. Front. Math. China, 2019, 14(3): 631-643.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed