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.

On a classification of Morse functions on $3$-dimensional manifolds represented as connected sums of manifolds of Heegaard genus one

Characterizing $3$-dimensional manifolds represented as connected sums of Lens spaces, $S^2 \times S^1$, and torus bundles over the circle by certain Morse-Bott functions

Recent Results on the Moduli Spaces of Riemann Surfaces

On the topology of 3-manifolds admitting Morse-Smale diffeomorphisms with four fixed points of pairwise different Morse indices

On reconstructing Morse functions with prescribed preimages on $3$-dimensional manifolds

Reeb graph invariants of Morse functions and $3$-manifold groups

Non-singular extensions of circle-valued Morse functions

MORSE HOMOTOPY AND ITS QUANTIZATION

Proofs of the non-existence of special generic maps on the $3$-dimensional complex projective space

Isotopy classification of Morse polynomials of degree 3 in ${\mathbb R}^3$

Generalized Morse Theory of Distance Functions to Surfaces for Persistent Homology

A class of naturally generalized special generic maps

On the asymptotics of Morse numbers of finite covers of manifolds

Morse boundaries of 3-manifold groups

Infinite Dimensional Morse Theory

Frankel Conjecture and Sasaki Geometry

Morse theory and Seiberg-Witten moduli spaces of 3-dimensional cobordisms

Topological classification of Morse-Smale flows on 3-manifolds

Some remarks on Morse theory for posets, homological Morse theory and finite manifolds

Some remarks on real algebraic maps which are topologically special generic maps and generalize the canonical projections of the unit spheres

Arrangements of small circles for Morse-Bott functions