The distance function from a real algebraic variety

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

Luca Sodomaco, Giorgio Ottaviani

Publication date: 7 October 2020

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

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$.

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)

Cites Work

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

Cited In (10)

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

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)