Ieee Transactions on Pattern Analysis and Machine Intelligence Theory and Algorithms for Constructing Discrete Morse Complexes from Grayscale Digital Images

We present an algorithm for determining the Morse complex of a two or three-dimensional grayscale digital image. Each cell in the Morse complex corresponds to a topological change in the level sets (i.e., a critical point) of the grayscale image. Since more than one critical point may be associated with a single image voxel, we model digital images by cubical complexes. A new homotopic algorithm is used to construct a discrete Morse function on the cubical complex that agrees with the digital image and has exactly the number and type of critical cells necessary to characterize the topological changes in the level sets. We make use of discrete Morse theory and simple homotopy theory to prove correctness of this algorithm. The resulting Morse complex is considerably simpler than the cubical complex originally used to represent the image and may be used to compute persistent homology.

[1]  A. C. Esq..  XL. On contour and slope lines , 1859 .

[2]  J. Whitehead.  Simplicial Spaces, Nuclei and m‐Groups , 1939 .

[3]  T. Banchoff.  Critical Points and Curvature for Embedded Polyhedral Surfaces , 1970 .

[4]  James R. Munkres,et al.  Elements of algebraic topology , 1984 .

[5]  R. Bott.  Morse theory indomitable , 1988 .

[6]  Vladimir A. Kovalevsky,et al.  Finite topology as applied to image analysis , 1989, Comput. Vis. Graph. Image Process..

[7]  Luc Vincent,et al.  Watersheds in Digital Spaces: An Efficient Algorithm Based on Immersion Simulations , 1991, IEEE Trans. Pattern Anal. Mach. Intell..

[8]  Herbert Edelsbrunner,et al.  An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere , 1995, Comput. Aided Geom. Des..

[9]  R. Forman.  Morse Theory for Cell Complexes , 1998 .

[10]  Ronald Jones,et al.  Connected Filtering and Segmentation Using Component Trees , 1999, Comput. Vis. Image Underst..

[11]  Gilles Bertrand,et al.  Topological operators for grayscale image processing , 2001, J. Electronic Imaging.

[12]  Herbert Edelsbrunner,et al.  Hierarchical morse complexes for piecewise linear 2-manifolds , 2001, SCG '01.

[13]  Herbert Edelsbrunner,et al.  Topological Persistence and Simplification , 2000, Proceedings 41st Annual Symposium on Foundations of Computer Science.

[14]  R. Forman.  A USER'S GUIDE TO DISCRETE MORSE THEORY , 2002 .

[15]  Thomas Lewiner,et al.  Optimal discrete Morse functions for 2-manifolds , 2003, Comput. Geom..

[16]  Valerio Pascucci,et al.  Morse-smale complexes for piecewise linear 3-manifolds , 2003, SCG '03.

[17]  Thomas Lewiner,et al.  Toward Optimality in Discrete Morse Theory , 2003, Exp. Math..

[18]  Henry King,et al.  Generating Discrete Morse Functions from Point Data , 2005, Exp. Math..

[19]  Valerio Pascucci,et al.  Understanding the Structure of the Turbulent Mixing Layer in Hydrodynamic Instabilities , 2006, IEEE Transactions on Visualization and Computer Graphics.

[20]  Bernd Hamann,et al.  Efficient Computation of Morse-Smale Complexes for Three-dimensional Scalar Functions , 2007, IEEE Transactions on Visualization and Computer Graphics.

[21]  Bernd Hamann,et al.  A Practical Approach to Morse-Smale Complex Computation: Scalability and Generality , 2008, IEEE Transactions on Visualization and Computer Graphics.

[22]  Daniela Giorgi,et al.  Describing shapes by geometrical-topological properties of real functions , 2008, CSUR.

[23]  Gilles Bertrand,et al.  New Characterizations of Simple Points, Minimal Non-simple Sets and P-Simple Points in 2D, 3D and 4D Discrete Spaces , 2008, DGCI.

[24]  A. Gyulassy.  Combinatorial construction of morse-smale complexes for data analysis and visualization , 2008 .

[25]  Gilles Bertrand,et al.  New Characterizations of Simple Points in 2D, 3D, and 4D Discrete Spaces , 2009, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[26]  Afra Zomorodian,et al.  Computational topology , 2010 .

[27]  Max Crochemore,et al.  Algorithms and Theory of Computation Handbook , 2010 .

[28]  J. Maxwell,et al.  On Hills and Dales , 2011 .

[29]  R. Ho.  Algebraic Topology , 2022 .