Abstract:We study spurious second-order stationary points and local minima in a nonconvex low-rank formulation of sum-of-squares optimization on a real variety $X$. We reformulate the problem of finding a spurious local minimum in terms of syzygies of the underlying linear series, and also bring in topological tools to study this problem. When the variety $X$ is of minimal degree, there exist spurious second-order stationary points if and only if both the dimension and the codimension of the variety are greater than one, answering a question by Legat, Yuan, and Parrilo. Moreover, for surfaces of minimal degree, we provide sufficient conditions to exclude points from being spurious local minima. In particular, all second-order stationary points associated with infinite Gram matrices on the Veronese surface, corresponding to ternary quartics, lie on the boundary and can be written as a binary quartic, up to a linear change of coordinates, complementing work by Scheiderer on decompositions of ternary quartics as a sum of three squares. For general varieties of higher degree, we give examples and characterizations of spurious second-order stationary points in the interior, together with a restricted path algorithm that avoids such points with controlled step sizes, and numerical experiment results illustrating the empirical successes on plane cubic curves and Veronese varieties.

Some applications of microlocalization for local complete intersection subvarieties

V-filtrations and minimal exponents for locally complete intersection singularities

Localization and Conjectures from String Duality

On k-rational and k-Du Bois local complete intersections

On $k$-Du Bois and $k$-rational singularities

Local Complete Intersections and Weierstrass Points

Universally irreducible subvarieties of Siegel moduli spaces

Local Lagrangian Floer Homology of Quasi-Minimally Degenerate Intersections

A reasonable notion of dimension for singular intersection homology

Socle degrees for local cohomology modules of thickenings of maximal minors and sub-maximal Pfaffians

Local Euler characteristics of $A_n$-singularities and their application to hyperbolicity

Singularities of local models

Singularities of minimal submanifolds

Certain smooth real surfaces in $\mathbb{C}^2$ with singularity

Micro-Local Characterization of Quasi-Homogeneous Singularities

Spurious local minima in nonconvex sum-of-squares optimization

A note on injectivity of Frobenius on local cohomology of global complete intersections

Local cohomology with support in Schubert varieties

On the local cohomology of secant varieties

Seshadri stratifications and standard monomial theory

Microlocalisation d'op{é}rateurs diff{é}rentiels arithm{é}tiques sur un sch{é}ma formel lisse