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 - TY - BOOK AB - This monograph presents a short course in computational geometry and topology. In the first part the book covers Voronoi diagrams and Delaunay triangulations, then it presents the theory of alpha complexes which play a crucial role in biology. The central part of the book is the homology theory and their computation, including the theory of persistence which is indispensable for applications, e.g. shape reconstruction. The target audience comprises researchers and practitioners in mathematics, biology, neuroscience and computer science, but the book may also be beneficial to graduate students of these fields. AU - Edelsbrunner, Herbert ID - 6853 SN - 2191-530X TI - A Short Course in Computational Geometry and Topology ER - TY - CONF AB - We propose a method for visualizing two-dimensional symmetric positive definite tensor fields using the Heat Kernel Signature (HKS). The HKS is derived from the heat kernel and was originally introduced as an isometry invariant shape signature. Each positive definite tensor field defines a Riemannian manifold by considering the tensor field as a Riemannian metric. On this Riemmanian manifold we can apply the definition of the HKS. The resulting scalar quantity is used for the visualization of tensor fields. The HKS is closely related to the Gaussian curvature of the Riemannian manifold and the time parameter of the heat kernel allows a multiscale analysis in a natural way. In this way, the HKS represents field related scale space properties, enabling a level of detail analysis of tensor fields. This makes the HKS an interesting new scalar quantity for tensor fields, which differs significantly from usual tensor invariants like the trace or the determinant. A method for visualization and a numerical realization of the HKS for tensor fields is proposed in this chapter. To validate the approach we apply it to some illustrating simple examples as isolated critical points and to a medical diffusion tensor data set. AU - Zobel, Valentin AU - Reininghaus, Jan AU - Hotz, Ingrid ID - 10886 SN - 1612-3786 T2 - Topological Methods in Data Analysis and Visualization III TI - Visualization of two-dimensional symmetric positive definite tensor fields using the heat kernel signature ER - TY - CHAP AB - The Morse-Smale complex can be either explicitly or implicitly represented. Depending on the type of representation, the simplification of the Morse-Smale complex works differently. In the explicit representation, the Morse-Smale complex is directly simplified by explicitly reconnecting the critical points during the simplification. In the implicit representation, on the other hand, the Morse-Smale complex is given by a combinatorial gradient field. In this setting, the simplification changes the combinatorial flow, which yields an indirect simplification of the Morse-Smale complex. The topological complexity of the Morse-Smale complex is reduced in both representations. However, the simplifications generally yield different results. In this chapter, we emphasize properties of the two representations that cause these differences. We also provide a complexity analysis of the two schemes with respect to running time and memory consumption. AU - Günther, David AU - Reininghaus, Jan AU - Seidel, Hans-Peter AU - Weinkauf, Tino ED - Bremer, Peer-Timo ED - Hotz, Ingrid ED - Pascucci, Valerio ED - Peikert, Ronald ID - 10817 SN - 1612-3786 T2 - Topological Methods in Data Analysis and Visualization III. TI - Notes on the simplification of the Morse-Smale complex ER - TY - JOUR AB - Motivated by applications in biology, we present an algorithm for estimating the length of tube-like shapes in 3-dimensional Euclidean space. In a first step, we combine the tube formula of Weyl with integral geometric methods to obtain an integral representation of the length, which we approximate using a variant of the Koksma-Hlawka Theorem. In a second step, we use tools from computational topology to decrease the dependence on small perturbations of the shape. We present computational experiments that shed light on the stability and the convergence rate of our algorithm. AU - Edelsbrunner, Herbert AU - Pausinger, Florian ID - 2255 IS - 1 JF - Journal of Mathematical Imaging and Vision SN - 09249907 TI - Stable length estimates of tube-like shapes VL - 50 ER - TY - CONF AB - PHAT is a C++ library for the computation of persistent homology by matrix reduction. We aim for a simple generic design that decouples algorithms from data structures without sacrificing efficiency or user-friendliness. This makes PHAT a versatile platform for experimenting with algorithmic ideas and comparing them to state of the art implementations. AU - Bauer, Ulrich AU - Kerber, Michael AU - Reininghaus, Jan AU - Wagner, Hubert ID - 10894 SN - 0302-9743 T2 - ICMS 2014: International Congress on Mathematical Software TI - PHAT – Persistent Homology Algorithms Toolbox VL - 8592 ER - TY - GEN AB - The classical sphere packing problem asks for the best (infinite) arrangement of non-overlapping unit balls which cover as much space as possible. We define a generalized version of the problem, where we allow each ball a limited amount of overlap with other balls. We study two natural choices of overlap measures and obtain the optimal lattice packings in a parameterized family of lattices which contains the FCC, BCC, and integer lattice. AU - Iglesias Ham, Mabel AU - Kerber, Michael AU - Uhler, Caroline ID - 2012 T2 - arXiv TI - Sphere packing with limited overlap ER -