Abstract:This paper brings together three distinct theories with the goal of quantifying shape textures with complex morphologies. Distance fields are central objects in shape representation, while topological data analysis uses algebraic topology to characterize geometric and topological patterns in shapes. The most well-known and widely applied tool from this approach is persistent homology, which tracks the evolution of topological features in a dynamic manner as a barcode. Morse theory is a framework from differential topology that studies critical points of functions on manifolds; it has been used to characterize the birth and death of persistent homology features. However, a significant limitation to Morse theory is that it cannot be readily applied to distance functions because distance functions lack smoothness, which is required in Morse theory. Our contributions to addressing this issue is two fold. First, we generalize Morse theory to Euclidean distance functions of bounded sets with smooth boundaries. We focus in particular on distance fields for shape representation and we study the persistent homology of shape textures using a sublevel set filtration induced by the signed distance function. We use transversality theory to prove that for generic embeddings of a smooth compact surface in $\mathbb{R}^3$, signed distance functions admit finitely many non-degenerate critical points. This gives rise to our second contribution, which is that shapes and textures can both now be quantified and rigorously characterized in the language of persistent homology: signed distance persistence modules of generic shapes admit a finite barcode decomposition whose birth and death points can be classified and described geometrically. We use this approach to quantify shape textures on both simulated data and real vascular data from biology.

Universality in Random Persistent Homology and Scale-Invariant Functionals

A functorial Dowker theorem and persistent homology of asymmetric networks

Persistent homology for functionals

Universal Distances for Extended Persistence

Convergence of persistence diagrams for discrete time stationary processes

Maximally Persistent Cycles in Random Geometric Complexes

Generic families of finite metric spaces with identical or trivial 1-dimensional persistence

A universal null-distribution for topological data analysis

Generalized Morse Theory of Distance Functions to Surfaces for Persistent Homology

Asymptotic Properties of Random Homology Induced by Diffusion Processes

The self-similar evolution of stationary point processes via persistent homology

Amplitudes in persistence theory

Extremal life times of persistent loops and holes

Persistent Cup Product Structures and Related Invariants

Wasserstein Stability for Persistence Diagrams

Algebraic Wasserstein distances and stable homological invariants of data

Homological approximations in persistence theory

Geometric Bounds for Persistence

Homotopy, homology, and persistent homology using closure spaces

Fibers of point cloud persistence

Convergence of persistence diagrams for topological crackle