Offset hypersurfaces and persistent homology of algebraic varieties

DOI10.1016/J.CAGD.2019.101767MaRDI QIDQ2010334zbMATHOpenAlexWikidataFDO

Authors Emil Horobeţ, Madeleine Weinstein

Publication date 27 November 2019

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

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

zbMATH Keywords

persistent homologymedial axisEuclidean distance degreereachoffset curveoffset hypersurface

Mathematics Subject Classification ID

Other homology theories in algebraic topology (55N35) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Computer-aided design (modeling of curves and surfaces) (65D17) Computational aspects of higher-dimensional varieties (14Q15)

Abstract: In this paper, we study the persistent homology of the offset filtration of algebraic varieties. We prove the algebraicity of two quantities central to the computation of persistent homology. Moreover, we connect persistent homology and algebraic optimization. Namely, we express the degree corresponding to the distance variable of the offset hypersurface in terms of the Euclidean Distance Degree of the starting variety, obtaining a new way to compute these degrees. Finally, we describe the non-properness locus of the offset construction and use this to describe the set of points that are topologically interesting (the medial axis and center points of the bounded components of the complement of the variety) and relevant to the computation of persistent homology.

Recommendations

• Algebraic analysis of offsets to hypersurfaces
• Computing persistent homology
• Computing persistent homology
• Value-offset bifiltrations for digital images
• An output-sensitive algorithm for persistent homology

Cites work

• scientific article; zbMATH DE number 4029737 (Why is no real title available?)
• Additive compound matrices and an inequality for eigenvalues of symmetric stochastic matrices
• Algebraic analysis of offsets to hypersurfaces
• Barcodes: The persistent topology of data
• Bisector curves of planar rational curves.
• Computational topology. An introduction
• Computing persistent homology
• Curvature Measures
• Degree formulae for offset curves
• Finding the homology of submanifolds with high confidence from random samples
• Learning algebraic varieties from samples
• ON THE PURITY OF THE BRANCH LOCUS OF ALGEBRAIC FUNCTIONS
• On the homology of algebraic varieties over real closed fields.
• Partial degree formulae for plane offset curves
• REMARKS ON A PAPER OF ZARISKI ON THE PURITY OF BRANCH-LOCI
• The Euclidean distance degree of an algebraic variety
• The Offset Filtration of Convex Objects
• The bisector of a point and a plane parametric curve
• Topology and data
• Total degree formula for the generic offset to a parametric surface

Cited in

(13)

• The distance function from a real algebraic variety
• Asymptotics of degrees and ED degrees of Segre products
• A Morse theoretic approach to non-isolated singularities and applications to optimization
• Computing Geometric Feature Sizes for Algebraic Manifolds
• Geometric and probabilistic limit theorems in topological data analysis
• Voronoi cells of varieties
• Sampling and homology via bottlenecks
• The numerical algebraic geometry of bottlenecks
• Euclidean distance degree and limit points in a Morsification
• Defect of Euclidean distance degree
• On the product of the singular values of a binary tensor
• The critical curvature degree of an algebraic variety
• Universally consistent estimation of the reach

Describes a project that uses

Uses Software

• Macaulay2
• LearningAlgebraicVarieties

This page was built for publication: Offset hypersurfaces and persistent homology of algebraic varieties

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