The distance function from a real algebraic variety

DOI10.1016/J.CAGD.2020.101927zbMATH Open1453.65046OpenAlexW3082826029MaRDI QIDQ2005166FDOQ2005166

Authors Giorgio Ottaviani, Luca Sodomaco

Publication date 7 October 2020

Published in Computer Aided Geometric Design (Search for Journal in Brave)

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

zbMATH Keywords

Euclidean distancereal algebraic varietyEuclidean distance degreeisotropic quadricEuclidean distance polynomialpolar degrees

Mathematics Subject Classification ID

Real algebraic sets (14P05) Numerical aspects of computer graphics, image analysis, and computational geometry (65D18) Geometric aspects of numerical algebraic geometry (14Q65)

Abstract: For any (real) algebraic variety $X$ in a Euclidean space $V$ endowed with a nondegenerate quadratic form $q$, we introduce a polynomial $mathrm{EDpoly}_{X,u}(t^2)$ which, for any $uinV$, has among its roots the distance from $u$ to $X$. The degree of $mathrm{EDpoly}_{X,u}$ is the {em Euclidean Distance degree} of $X$. We prove a duality property when $X$ is a projective variety, namely $mathrm{EDpoly}_{X,u}(t^2)=mathrm{EDpoly}_{X^{v}ee,u}(q(u)-t^2)$ where $X^{v}ee$ is the dual variety of $X$. When $X$ is transversal to the isotropic quadric $Q$, we prove that the ED polynomial of $X$ is monic and the zero locus of its lower term is $Xcup(X^{v}eecapQ{)}^{v}ee$.

Recommendations

• The Euclidean distance degree of smooth complex projective varieties
• Defect of Euclidean distance degree
• Euclidean distance degree of projective varieties
• Euclidean distance degree and mixed volume
• The Euclidean distance degree

Cites work

• scientific article; zbMATH DE number 52497 (Why is no real title available?)
• scientific article; zbMATH DE number 4127363 (Why is no real title available?)
• scientific article; zbMATH DE number 575960 (Why is no real title available?)
• scientific article; zbMATH DE number 3334801 (Why is no real title available?)
• scientific article; zbMATH DE number 3055967 (Why is no real title available?)
• Algebraic properties of plane offset curves
• An invitation to Morse theory
• Best rank-\(k\) approximations for tensors: generalizing Eckart-Young
• Chern-Schwartz-Macpherson Classes and the Euler Characteristic of Degeneracy Loci and Special Divisors
• Classical algebraic geometry. A modern view
• Eigenvalues of a real supersymmetric tensor
• Focal loci of algebraic varieties i
• Nearest points on toric varieties
• Offset hypersurfaces and persistent homology of algebraic varieties
• Polar classes of singular varieties
• Polar varieties revisited
• Projective duality and a Chern-Mather involution
• Projectively dual varieties
• The Euclidean distance degree of an algebraic variety
• The Euclidean distance degree of orthogonally invariant matrix varieties
• The Euclidean distance degree of smooth complex projective varieties
• The number of eigenvalues of a tensor
• The product of the eigenvalues of a symmetric tensor

Cited in

(11)

• Exact solutions in low-rank approximation with zeros
• Asymptotics of degrees and ED degrees of Segre products
• Distance functions on varieties over non-archimedian local fields
• Euclidean distance degree of projective varieties
• Voronoi cells of varieties
• Nonlinear algebra and applications
• Degrees of Kalman varieties of tensors
• The Euclidean distance degree of smooth complex projective varieties
• Eigenschemes of ternary tensors
• On the product of the singular values of a binary tensor
• The critical curvature degree of an algebraic variety

Describes a project that uses

Uses Software

• Macaulay2

This page was built for publication: The distance function from a real algebraic variety

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