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.

A note on the uniqueness of minimal maps into $\mathbb{R}^n$ via singular values

Convergence of the Newton Method and Uniqueness of Zeros of Vector Fields on Riemannian Manifolds

Liouville theorem for minimal graphs over manifolds of nonnegative Ricci curvature

A proof of the Alexanderov's uniqueness theorem for convex surfaces in $\mathbb R^3$

Liouville-type Theorems for Minimal Graphs over Manifolds

A Proof of Alexandrov'S Uniqueness Theorem for Convex Surfaces in R-3

Optimal map-making with singularities

Spurious local minima in nonconvex sum-of-squares optimization

On surjectivity of smooth maps into Euclidean spaces and the fundamental theorem of algebra

Homologically area-minimizing surfaces mod $v$ have at worst codimension 2 singular sets asymptotically

Curvature Estimates for Minimal Submanifolds of Higher Codimension

Reduction of Singularities of Holomorphic Maps of $\cv^2$ Tangent to the Identity

The Value Distribution under the Gauss Map for a Minimal Submanifold

Solutions to the minimal surface system with large singular sets

On Lawson-Osserman Constructions

Index and topology of minimal hypersurfaces in R^n

Cartan uniqueness theorem on nonopen sets

Minimal graphs in Riemannian spaces

Positive Scalar Curvature on Noncompact Manifolds and the Liouville Theorem.

On the Gauss maps of complete minimal surfaces in $\mathbb{R}^n$

The Maximum Principle for Minimal Varieties of Arbitrary Codimension