Persistent Homology of Semialgebraic Sets

DOI10.1137/22M1494415MaRDI QIDQ6087751zbMATH OpenOpenAlexFDO

Authors Saugata Basu, Negin Karisani

Publication date 16 November 2023

Published in SIAM Journal on Applied Algebra and Geometry (Search for Journal in Brave)

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

zbMATH Keywords

barcodespersistent homologysemialgebraic setssimplicial complex

Mathematics Subject Classification ID

Real algebra (13J30) Classical real and complex (co)homology in algebraic geometry (14F25) Semialgebraic sets and related spaces (14P10) Symbolic computation and algebraic computation (68W30)

Abstract: We give an algorithm with singly exponential complexity for computing the barcodes up to dimension $ell$ (for any fixed $ellgeq0$) of the filtration of a given semi-algebraic set by the sub-level sets of a given polynomial. Our algorithm is the first algorithm for this problem with singly exponential complexity, and generalizes the corresponding results for computing the Betti numbers up to dimension $ell$ of semi-algebraic sets with no filtration present.

Recommendations

• Computing the homology functor on semi-algebraic maps and diagrams
• Computing the homology of semialgebraic sets. II: General formulas
• Computing persistent homology
• Computing the homology of semialgebraic sets. I: Lax formulas
• Computing the first few Betti numbers of semi-algebraic sets in single exponential time

Cites work

• A baby step-giant step roadmap algorithm for general algebraic sets
• Algorithmic Semi-algebraic Geometry and Topology -- Recent Progress and Open Problems
• Algorithms in real algebraic geometry
• Algorithms in real algebraic geometry: a survey
• Approximation of definable sets by compact families, and upper bounds on homotopy and homology
• Barcodes: The persistent topology of data
• Categorification of persistent homology
• Computational topology for data analysis
• Computational topology. An introduction
• Computing Roadmaps of General Semi-Algebraic Sets
• Computing roadmaps of semi-algebraic sets on a variety
• Computing the Euler-Poincaré characteristics of sign conditions
• Computing the first Betti number of a semi-algebraic set
• Computing the first few Betti numbers of semi-algebraic sets in single exponential time
• Computing the homology of basic semialgebraic sets in weak exponential time
• Computing the homology of semialgebraic sets. I: Lax formulas
• Computing the homology of semialgebraic sets. II: General formulas
• Counting connected components of a semialgebraic set in subexponential time
• Decomposition of pointwise finite-dimensional persistence modules.
• Efficient simplicial replacement of semialgebraic sets
• Ensembles et morphismes stratifiés
• scientific article; zbMATH DE number 5984526 (Why is no real title available?)
• scientific article; zbMATH DE number 192849 (Why is no real title available?)
• scientific article; zbMATH DE number 1201576 (Why is no real title available?)
• scientific article; zbMATH DE number 786597 (Why is no real title available?)
• scientific article; zbMATH DE number 3223507 (Why is no real title available?)
• scientific article; zbMATH DE number 3053541 (Why is no real title available?)
• Learning algebraic varieties from samples
• Morse Theory. (AM-51)
• On bounding the Betti numbers and computing the Euler characteristic of semi-algebraic sets
• On the Piano Movers problem. II: General techniques for computing topological properties of real algebraic manifolds
• On the Betti Numbers of Real Varieties
• On the homology of algebraic varieties over real closed fields.
• On the number of homotopy types of fibres of a definable map
• Persistent homology -- a survey
• Persistent homology and microlocal sheaf theory
• Persistent homology of groups.
• Real algebraic geometry. Translated from the Russian by Gerald G. Gould and David Kramer
• Semi-Algebraic Local-Triviality in Semi-Algebraic Mappings
• The structure and stability of persistence modules
• Topological persistence in geometry and analysis
• Using the Borsuk-Ulam theorem. Lectures on topological methods in combinatorics and geometry. Written in cooperation with Anders Björner and Günter M. Ziegler

Cited in

(5)

• On the structural theorem of persistent homology
• The persistent topology of optimal transport based metric thickenings
• scientific article; zbMATH DE number 7731059 (Why is no real title available?)
• Efficient computation of a semi-algebraic basis of the first homology group of a semi-algebraic set
• Computing the homology functor on semi-algebraic maps and diagrams

This page was built for publication: Persistent Homology of Semialgebraic Sets

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