Homogeneous polynomials and spurious local minima on the unit sphere

DOI10.1007/S11590-021-01811-3MaRDI QIDQ2128762zbMATH OpenOpenAlexFDO

Authors Jean B. Lasserre

Publication date 22 April 2022

Published in Optimization Letters (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2010.07066, https://hal.laas.fr/hal-02966390v2/file/spurious-new.pdf

zbMATH Keywords

homogeneous polynomialsglobal and local minimaoptimization on the unit sphere

Mathematics Subject Classification ID

Nonlinear programming (90C30)

Abstract: We consider degree-d forms on the Euclidean unit sphere. We specialize to our setting a genericity result by Nie obtained in a more general framework. We exhibit an homogeneous polynomial Res in the coefficients of f , such that if Res(f) = 0 then all points that satisfy first-and second-order necessary optimality conditions are in fact local minima of f on the unit sphere. Then we obtain obtain a simple and compact characterization of all local minima of generic degree-d forms, solely in terms of the value of (i) f , (ii) the norm of its gradient, and (iii) the first two smallest eigenvalues of its Hessian, all evaluated at the point. In fact this property also holds for twice continuous differentiable functions that are positively homogeneous. Finally we obtain a characterization of generic degree-d forms with no spurious local minimum on the unit sphere by using a property of gradient ideals in algebraic geometry.

Recommendations

• Optimization on the Euclidean unit sphere
• Sum of squares methods for minimizing polynomial forms over spheres and hypersurfaces
• Low-Rank Univariate Sum of Squares Has No Spurious Local Minima
• Classification of Critical Stationary Points in Unconstrained Optimization
• Certifying the Absence of Spurious Local Minima at Infinity

Cites work

• scientific article; zbMATH DE number 4029737 (Why is no real title available?)
• scientific article; zbMATH DE number 1206370 (Why is no real title available?)
• Convergence analysis of a Lasserre hierarchy of upper bounds for polynomial minimization on the sphere
• Minimizing polynomials via sum of squares over the gradient ideal
• Optimality conditions and finite convergence of Lasserre's hierarchy
• The complexity of optimizing over a simplex, hypercube or sphere: a short survey
• The sum-of-squares hierarchy on the sphere and applications in quantum information theory

Cited in

(4)

• A hybrid second-order method for homogenous polynomial optimization over unit sphere
• Optimization on the Euclidean unit sphere
• Loss functions for finite sets
• Optimality conditions for homogeneous polynomial optimization on the unit sphere

This page was built for publication: Homogeneous polynomials and spurious local minima on the unit sphere

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2128762)