A Morse theoretic approach to non-isolated singularities and applications to optimization

DOI10.1016/J.JPAA.2021.106865zbMATH Open1475.13054arXiv2002.00406OpenAlexW3198034776MaRDI QIDQ2229979FDOQ2229979

Authors: Jose Israel Rodriguez, Botong Wang, Laurentiu Maxim 

Publication date: 17 September 2021

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: Let $X$ be a complex affine variety in $mathbb{C}^N$, and let $f:mathbb{C}^{N}omathbbC$ be a polynomial function whose restriction to $X$ is nonconstant. For $g:mathbb{C}^{N}omathbbC$ a general linear function, we study the limiting behavior of the critical points of the one-parameter family of $f_t:=f-tg$ as $to0$. Our main result gives an expression of this limit in terms of critical sets of the restrictions of $g$ to the singular strata of $(X,f)$. We apply this result in the context of optimization problems. For example, we consider nearest point problems (e.g., Euclidean distance degrees) for affine varieties and a possibly nongeneric data point.

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

Recommendations

• Vanishing cycle control by the lowest degree stalk cohomology
• A generalization of Milnor's formula
• Milnor number of positive polynomials
• Perverse results on Milnor fibers inside parameterized hypersurfaces
• Critical points of functions on analytic varieties
• Thom isotopy theorem for nonproper maps and computation of sets of stratified generalized critical values
• scientific article; zbMATH DE number 1996410
• The Lê-Greuel formula for functions on analytic spaces
• Unfolding polynomial maps at infinity
• A little microlocal Morse theory

zbMATH Keywords

objective functionEuler characteristicoptimal solutionsingular varietiesperverse sheavesstationary pointsconstructible complexesEuclidean distance degreecharacteristic cycleslocal Euler obstruction functionconic Lagrangian cyclesnearby and vanishing cycle functors

Mathematics Subject Classification ID

Nonconvex programming, global optimization (90C26) Applications of commutative algebra (e.g., to statistics, control theory, optimization, etc.) (13P25) Characteristic classes and numbers in differential topology (57R20) Analytic subsets of affine space (32B15)

Cites Work

• Chern classes for singular algebraic varieties
• Morse Theory. (AM-51)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Euclidean distance degree of an algebraic variety
• Semidefinite Optimization and Convex Algebraic Geometry
• Sheaves in topology
• Title not available (Why is that?)
• Title not available (Why is that?)
• The algebraic degree of semidefinite programming
• Critical points of functions on singular spaces
• Characteristic varieties and vanishing cycles
• Global Euler obstruction and polar invariants
• Monodromy of isolated singularities of hypersurfaces
• The Euclidean distance degree of smooth complex projective varieties
• Polynomials and vanishing cycles
• Nearby cycles and characteristic classes of singular spaces
• Euclidean distance degrees of real algebraic groups
• Numerical control over complex analytic singularities
• Critical points via monodromy and local methods
• Euclidean distance degree of the multiview variety
• A general formula for the algebraic degree in semidefinite programming
• Perverse cohomology and the vanishing index theorem
• Offset hypersurfaces and persistent homology of algebraic varieties
• Nearest points on toric varieties
• Defect of Euclidean distance degree
• The data singular and the data isotropic loci for affine cones
• Complexity of model testing for dynamical systems with toric steady states

Cited In (5)

• Algebraic structures in statistical methodology. Abstracts from the workshop held December 4--10, 2022
• Euclidean distance degree and limit points in a Morsification
• Nonlinear optimization in finite dimensions. Morse theory, Chebyshev approximation, transversality, flows, parametric aspects
• Morse numbers of complex polynomials
• Constructible sheaf complexes in complex geometry and applications

This page was built for publication: A Morse theoretic approach to non-isolated singularities and applications to optimization

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