Convergence rates of RLT and Lasserre-type hierarchies for the generalized moment problem over the simplex and the sphere

We consider the generalized moment problem (GMP) over the simplex and the sphere. This is a rich setting and it contains NP-hard problems as special cases, like constructing optimal cubature schemes and rational optimization. Using the Reformulation-Linearization Technique (RLT) and Lasserre-type hierarchies, relaxations of the problem are introduced and analyzed. For our analysis we assume throughout the existence of a dual optimal solution as well as strong duality. For the GMP over the simplex we prove a convergence rate of O(1/r) for a linear programming, RLT-type hierarchy, where r is the level of the hierarchy, using a quantitative version of Pólya’s Positivstellensatz. As an extension of a recent result by Fang and Fawzi [Math. Program., 2020, https://doi.org/10.1007/s10107-020-01537-7] we prove the Lasserre hierarchy of the GMP [Math. Program., Vol. 112, 65-92, 2008] over the sphere has a convergence rate of O(1/r). Moreover, we show the introduced linear RLT-relaxation is a generalization of a hierarchy for minimizing forms of degree d over the simplex, introduced by de Klerk, Laurent and Parrilo [J. Theoretical Computer Science, Vol. 361, 210-225, 2006].

[1]  Pablo A. Parrilo,et al.  A PTAS for the minimization of polynomials of fixed degree over the simplex , 2006, Theor. Comput. Sci..

[2]  Olga Taussky-Todd SOME CONCRETE ASPECTS OF HILBERT'S 17TH PROBLEM , 1996 .

[3]  T. Motzkin,et al.  Maxima for Graphs and a New Proof of a Theorem of Turán , 1965, Canadian Journal of Mathematics.

[4]  Etienne de Klerk,et al.  Solving Standard Quadratic Optimization Problems via Linear, Semidefinite and Copositive Programming , 2002, J. Glob. Optim..

[5]  B. Reznick,et al.  A new bound for Pólya's Theorem with applications to polynomials positive on polyhedra , 2001 .

[6]  J. Lasserre Moments, Positive Polynomials And Their Applications , 2009 .

[7]  A. Shapiro ON DUALITY THEORY OF CONIC LINEAR PROBLEMS , 2001 .

[8]  Etienne de Klerk,et al.  Global optimization of rational functions: a semidefinite programming approach , 2006, Math. Program..

[9]  John N. Tsitsiklis,et al.  NP-hardness of deciding convexity of quartic polynomials and related problems , 2010, Math. Program..

[10]  C. Moorehead All rights reserved , 1997 .

[11]  E. D. Klerk,et al.  A Survey of Semidefinite Programming Approaches to the Generalized Problem of Moments and Their Error Analysis , 2018, Association for Women in Mathematics Series.

[12]  Hamza Fawzi,et al.  The sum-of-squares hierarchy on the sphere and applications in quantum information theory , 2019, Math. Program..

[13]  Stephen P. Boyd,et al.  Extensions of Gauss Quadrature Via Linear Programming , 2014, Found. Comput. Math..

[14]  Antony Jameson,et al.  Symmetric quadrature rules for simplexes based on sphere close packed lattice arrangements , 2014, J. Comput. Appl. Math..

[15]  Jean B. Lasserre,et al.  A semidefinite programming approach to the generalized problem of moments , 2007, Math. Program..

[16]  Robert E. Megginson An Introduction to Banach Space Theory , 1998 .