Topological persistence has proven to be a key concept for the study of real-valued functions defined over topological spaces. Its validity relies on the fundamental property that the persistence diagrams of nearby functions are close. However, existing stability results are restricted to the case of continuous functions defined over triangulable spaces.In this paper, we present new stability results that do not suffer from the above restrictions. Furthermore, by working at an algebraic level directly, we make it possible to compare the persistence diagrams of functions defined over different spaces, thus enabling a variety of new applications of the concept of persistence. Along the way, we extend the definition of persistence diagram to a larger setting, introduce the notions of discretization of a persistence module and associated pixelization map, define a proximity measure between persistence modules, and show how to interpolate between persistence modules, thereby lending a more analytic character to this otherwise algebraic setting. We believe these new theoretical concepts and tools shed new light on the theory of persistence, in addition to simplifying proofs and enabling new applications.
We give a self-contained treatment of the theory of persistence modules indexed over the real line. We give new proofs of the standard results. Persistence diagrams are constructed using measure theory. Linear algebra lemmas are simplified using a new notation for calculations on quiver representations. We show that the stringent finiteness conditions required by traditional methods are not necessary to prove the existence and stability of the persistence diagram. We introduce weaker hypotheses for taming persistence modules, which are met in practice and are strong enough for the theory still to work. The constructions and proofs enabled by our framework are, we claim, cleaner and simpler.‚ We introduce 'decorated' real numbers to remove ambiguity about interval endpoints.Decorations are also what make the measure theory work.‚ We define several kinds of 'tameness' for a persistence module. These occur naturally in practice. The most restrictive of these, finite type, is what is normally seen in the literature. We show how to work effectively with the less restrictive hypotheses.‚ We introduce a special notation for calculations on quiver representations. This considerably simplifies the linear algebra (for instance, in proving the 'box lemma').Our goal in introducing these ideas is to enable other authors to define persistence diagrams cleanly, in a wide variety of situations, without imposing unnecessary restrictions (such as assuming a function to be Morse). For instance, it will be seen in forthcoming work that the approach here can be used to define the levelset zigzag persistence of [5] quite broadly.This paper owes much to [7] (and its published journal version [6]), which established the existence and stability of persistence diagrams for modules whose persistence maps are of finite rank. In the present work we call these modules 'q-tame'.Traditionally, continuous persistence diagrams have been treated in one of two ways. Most commonly, one makes the aggressive assumption that the situation being studied has only finitely many 'critical values'. Alternatively, as carried out in [7] for q-tame modules, the diagram is constructed using a careful limiting process through ever-finer discretisations of the parameter. The former strategy may be appropriate when working with real-world data, where every persistence module really is finite in every way, but it excludes very common theoretical situations. The latter strategy was devised to overcome these restrictions, but unfortunately the limiting arguments turn out to be quite complicated. Our new approach gives the best of both worlds; we are able to work with broader classes of persistence modules, and we can reason about their diagrams in a clean way using arguments of a finite nature.The other debt to [7] is the recasting of stability as a statement about interleaved persistence modules, the so-called 'algebraic stability theorem'. In this paper we re-recast the result as a statement about 1-parameter families of measures. This allows us to prove stability ...
We present the main algorithmic and design choices that have been made to represent complexes and compute persistent homology in the Gudhi library. The Gudhi library (Geometric Understanding in Higher Dimensions) is a generic C++ library for computational topology. Its goal is to provide robust, efficient, flexible and easy to use implementations of state-of-the-art algorithms and data structures for computational topology. We present the different components of the software, their interaction and the user interface. We justify the algorithmic and design decisions made in Gudhi and provide benchmarks for the code. The software, which has been developed by the first author, is available at project.inria.fr/gudhi/software/.
Many real-world data sets can be viewed of as noisy samples of special types of metric spaces called metric graphs.19 Building on the notions of correspondence and Gromov-Hausdorff distance in metric geometry, we describe a model for such data sets as an approximation of an underlying metric graph. We present a novel algorithm that takes as an input such a data set, and outputs a metric graph that is homeomorphic to the underlying metric graph and has bounded distortion of distances. We also implement the algorithm, and evaluate its performance on a variety of real world data sets.
Motivated by visibility problems in three dimensions, we investigate the complexity and construction of the set of tangent lines in a scene of three-dimensional polyhedra. We prove that the set of lines tangent to four possibly intersecting convex polyhedra in R 3 with a total of n edges consists of Θ(n 2) connected components in the worst case. In the generic case, each connected component is a single line, but our result still holds for arbitrarily degenerate scenes. More generally, we show that a set of k possibly intersecting convex polyhedra with a total of n edges admits, in the worst case, Θ(n 2 k 2) connected components of maximal free line segments tangent to at least four polytopes. Furthermore, these bounds also hold for possibly occluded lines rather than maximal free line segments. Finally, we present a O(n 2 k 2 log n) time and O(nk 2) space algorithm that, given a scene of k possibly intersecting convex polyhedra, computes all the minimal free line segments that are tangent to any four of the polytopes and are isolated transversals to the set of edges they intersect; in particular, we compute at least one line segment per connected component of tangent lines.
We prove that the lines tangent to four possibly intersecting convex polyhedra in 3 with n edges in total form Θ(n 2 ) connected components in the worst case. In the generic case, each connected component is a single line, but our result still holds for arbitrary degenerate scenes. More generally, we show that a set of k convex polyhedra with a total of n edges admits, in the worst case, Θ(n 2 k 2 ) connected components of (possibly occluded) lines tangent to any four of these polyhedra. We also show a lower bound of Ω(n 2 k 2 ) on the number of non-occluded maximal line segments tangent to any four of these k convex polyhedra.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.