Offset hypersurfaces and persistent homology of algebraic varieties

DOI10.1016/J.CAGD.2019.101767zbMATH Open1505.55017arXiv1803.07281OpenAlexW2968292246WikidataQ127356578 ScholiaQ127356578MaRDI QIDQ2010334FDOQ2010334

Authors: Emil Horobeţ, Madeleine Weinstein 

Publication date: 27 November 2019

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

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.

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

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

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)

Cites Work

• Finding the homology of submanifolds with high confidence from random samples
• Curvature Measures
• Topology and data
• Computational topology. An introduction
• Title not available (Why is that?)
• Barcodes: The persistent topology of data
• Computing persistent homology
• The Euclidean distance degree of an algebraic variety
• Additive compound matrices and an inequality for eigenvalues of symmetric stochastic matrices
• On the homology of algebraic varieties over real closed fields.
• ON THE PURITY OF THE BRANCH LOCUS OF ALGEBRAIC FUNCTIONS
• REMARKS ON A PAPER OF ZARISKI ON THE PURITY OF BRANCH-LOCI
• Partial degree formulae for plane offset curves
• Algebraic analysis of offsets to hypersurfaces
• The Offset Filtration of Convex Objects
• The bisector of a point and a plane parametric curve
• Bisector curves of planar rational curves.
• Degree formulae for offset curves
• Learning algebraic varieties from samples
• TOTAL DEGREE FORMULA FOR THE GENERIC OFFSET TO A PARAMETRIC SURFACE

Cited In (13)

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

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)