Defect of Euclidean distance degree

From MaRDI portal



Abstract: Two well studied invariants of a complex projective variety are the unit Euclidean distance degree and the generic Euclidean distance degree. These numbers give a measure of the algebraic complexity for "nearest" point problems of the algebraic variety. It is well known that the latter is an upper bound for the former. While this bound may be tight, many varieties appearing in optimization, engineering, statistics, and data science, have a significant gap between these two numbers. We call this difference the defect of the ED degree of an algebraic variety. In this paper we compute this defect by classical techniques in Singularity Theory, thereby deriving a new method for computing ED degrees of smooth complex projective varieties.


The \textit{(unit) Euclidean distance degree} of an algebraic variety \(X\) is the generic number of non-singular critical points of the complexified squared distance function. It can serve as measure for the algebraic complexity of computing closest points -- an important task is several applications. The \textit{generic Euclidean distance degree} is defined in the same way but ``distance refers to a metric that is affinely distorted (``weighted) in a generic way. It is known that the unit Euclidean distance degree depends on topological properties of the intersection of \(X\) with the isotropic quadric \(Q\) and this result straightforwardly extends to the generic Euclidean distance degree. This paper studies the \textit{Euclidean distance degree defect,} that is, the difference between generic and unit Euclidean distance degrees. This defect admits a topological interpretation in terms of invariants of singularities of \(X \cap Q\) and may be easier to compute than the distance degrees themselves. The precise formula requires a Whitney stratification of \(X \cap Q\). It involves the generic distance degrees of the closure of its strata as well as Euler characteristics of the reduced cohomologies of Milnor fibers of \(X \cap Q\) as hypersurface in \(X\) and the complex links of pairs of distinct strata \((V,S)\) with \(\overline{V} \subset S\). The proof of the central result is framed by a section on preliminaries where above concepts are explained to non-expert readers and a section with examples that illustrate applications of the derived formulas.



Cites work



Describes a project that uses

Uses Software






This page was built for publication: Defect of Euclidean distance degree

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