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.

Morse theory of Euclidean distance functions and applications to real algebraic geometry

Generalized Morse Theory for Tubular Neighborhoods

Morse Theory in Differential Equations

Morse Theory for the k-NN Distance Function

Generalized Morse Theory of Distance Functions to Surfaces for Persistent Homology

Euclidean distance discriminants and Morse attractors

Morse theory for C*-algebras: a geometric interpretation of some noncommutative manifolds

Morse and Lusternik-Schnirelmann for graphs

Digital Morse theory and its application

Euclidean distance degree of the multiview variety

The distance function to a finite set is a topological Morse function

Infinite Dimensional Morse Theory

Morse Theory for geodesics in singular conformal metrics

MORSE HOMOTOPY AND ITS QUANTIZATION

Morse Theory for Geodesics in Conical Manifolds

Morse inequalities for ordered eigenvalues of generic self-adjoint families

Euclidean distance degree and limit points in a Morsification

On Uncertainty Principle for the Morse - Sard Theorem

Discrete Morse Theory on Digraphs

Morse theory on graphs

Morse Theory for Harmonic Maps