Homogeneous polynomials and spurious local minima on the unit sphere

DOI10.1007/S11590-021-01811-3zbMATH Open1491.90165arXiv2010.07066OpenAlexW3206491099MaRDI QIDQ2128762FDOQ2128762

Authors: Jean B. Lasserre 

Publication date: 22 April 2022

Published in: Optimization Letters (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/2010.07066

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

zbMATH Keywords

homogeneous polynomialsglobal and local minimaoptimization on the unit sphere

Mathematics Subject Classification ID

Nonlinear programming (90C30)

Cites Work

• Title not available (Why is that?)
• Minimizing polynomials via sum of squares over the gradient ideal
• Title not available (Why is that?)
• Optimality conditions and finite convergence of Lasserre's hierarchy
• The complexity of optimizing over a simplex, hypercube or sphere: a short survey
• Convergence analysis of a Lasserre hierarchy of upper bounds for polynomial minimization on the sphere
• 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)