TY - CONF AB - Given a finite set of points in Rn and a positive radius, we study the Čech, Delaunay-Čech, alpha, and wrap complexes as instances of a generalized discrete Morse theory. We prove that the latter three complexes are simple-homotopy equivalent. Our results have applications in topological data analysis and in the reconstruction of shapes from sampled data. Copyright is held by the owner/author(s). AU - Bauer, Ulrich AU - Edelsbrunner, Herbert ID - 2155 T2 - Proceedings of the Annual Symposium on Computational Geometry TI - The morse theory of Čech and Delaunay filtrations ER - TY - CONF AB - We give evidence for the difficulty of computing Betti numbers of simplicial complexes over a finite field. We do this by reducing the rank computation for sparse matrices with to non-zero entries to computing Betti numbers of simplicial complexes consisting of at most a constant times to simplices. Together with the known reduction in the other direction, this implies that the two problems have the same computational complexity. AU - Edelsbrunner, Herbert AU - Parsa, Salman ID - 2177 T2 - Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms TI - On the computational complexity of betti numbers reductions from matrix rank ER - TY - JOUR AB - Given topological spaces X,Y, a fundamental problem of algebraic topology is understanding the structure of all continuous maps X→ Y. We consider a computational version, where X,Y are given as finite simplicial complexes, and the goal is to compute [X,Y], that is, all homotopy classes of suchmaps.We solve this problem in the stable range, where for some d ≥ 2, we have dim X ≤ 2d-2 and Y is (d-1)-connected; in particular, Y can be the d-dimensional sphere Sd. The algorithm combines classical tools and ideas from homotopy theory (obstruction theory, Postnikov systems, and simplicial sets) with algorithmic tools from effective algebraic topology (locally effective simplicial sets and objects with effective homology). In contrast, [X,Y] is known to be uncomputable for general X,Y, since for X = S1 it includes a well known undecidable problem: testing triviality of the fundamental group of Y. In follow-up papers, the algorithm is shown to run in polynomial time for d fixed, and extended to other problems, such as the extension problem, where we are given a subspace A ⊂ X and a map A→ Y and ask whether it extends to a map X → Y, or computing the Z2-index-everything in the stable range. Outside the stable range, the extension problem is undecidable. AU - Čadek, Martin AU - Krcál, Marek AU - Matoušek, Jiří AU - Sergeraert, Francis AU - Vokřínek, Lukáš AU - Wagner, Uli ID - 2184 IS - 3 JF - Journal of the ACM TI - Computing all maps into a sphere VL - 61 ER - TY - CONF AB - Persistent homology is a recent grandchild of homology that has found use in science and engineering as well as in mathematics. This paper surveys the method as well as the applications, neglecting completeness in favor of highlighting ideas and directions. AU - Edelsbrunner, Herbert AU - Morozovy, Dmitriy ID - 2905 TI - Persistent homology: Theory and practice ER - TY - CONF AB - In this paper, we introduce planar matchings on directed pseudo-line arrangements, which yield a planar set of pseudo-line segments such that only matching-partners are adjacent. By translating the planar matching problem into a corresponding stable roommates problem we show that such matchings always exist. Using our new framework, we establish, for the first time, a complete, rigorous definition of weighted straight skeletons, which are based on a so-called wavefront propagation process. We present a generalized and unified approach to treat structural changes in the wavefront that focuses on the restoration of weak planarity by finding planar matchings. AU - Biedl, Therese AU - Huber, Stefan AU - Palfrader, Peter ID - 10892 SN - 0302-9743 T2 - 25th International Symposium, ISAAC 2014 TI - Planar matchings for weighted straight skeletons VL - 8889 ER -