Combinatorial construction of morse-smale complexes for data analysis and visualization

Scientific data is becoming increasingly complex, and sophisticated techniques are required for its effective analysis and visualization. The Morse-Smale complex is an efficient data structure that represents the complete gradient flow behavior of a scalar function, and can be used to identify, order, and selectively remove features. This dissertation presents two algorithms for constructing Morse-Smale complexes in any dimensions. The first algorithm uses persistence-based simplification to remove excess topology from an artificially generated Morse-Smale complex, with important topological features preserved. The second algorithm uses discrete Morse theory to generate an explicit representation of the discrete gradient flow of a scalar function, and uses this representation to compute the Morse-Smale complex directly. This second method enables a divide-and-conquer strategy for handling large data, and is presented in a general framework that admits many common data formats, such as simplicial, gridded, and adaptive multi-resolution (AMR) meshes. Practical considerations are also presented, such as data structures, proper handling of boundary conditions, strategies to accelerate cancellations, and a method to extract a better-quality representation of the topology. A real-world example is also included, where the algorithms and techniques presented in this dissertation are applied to extract the core structure of a porous solid.

[1]  S. Smale Generalized Poincare's Conjecture in Dimensions Greater Than Four , 1961 .

[2]  Roger L. Boyell,et al.  Hybrid techniques for real-time radar simulation , 1963, AFIPS '63 (Fall).

[3]  H. Freeman,et al.  On searching a contour map for a given terrain elevation profile , 1967 .

[4]  Stephen Weingram,et al.  The Topology of CW Complexes , 1969 .

[5]  David M. Mark Topological randomness of geomorphic surfaces , 1977 .

[6]  John L. Pfaltz,et al.  A Graph Grammar that Describes the Set of Two-Dimensional Surface Networks , 1978, Graph-Grammars and Their Application to Computer Science and Biology.

[7]  S. Beucher Use of watersheds in contour detection , 1979 .

[8]  F. Escudero,et al.  Atoms in molecules , 1982 .

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

[10]  Herbert Edelsbrunner,et al.  Simulation of simplicity: a technique to cope with degenerate cases in geometric algorithms , 1988, SCG '88.

[11]  Tosiyasu L. Kunii,et al.  Surface coding based on Morse theory , 1991, IEEE Computer Graphics and Applications.

[12]  Tosiyasu L. Kunii,et al.  Constructing a Reeb graph automatically from cross sections , 1991, IEEE Computer Graphics and Applications.

[13]  Fernand Meyer,et al.  Topographic distance and watershed lines , 1994, Signal Process..

[14]  Serge Beucher,et al.  Watershed, Hierarchical Segmentation and Waterfall Algorithm , 1994, ISMM.

[15]  Laurent Najman,et al.  Watershed of a continuous function , 1994, Signal Process..

[16]  Valerio Pascucci,et al.  Contour trees and small seed sets for isosurface traversal , 1997, SCG '97.

[17]  Mikhail N. Vyalyi,et al.  Construction of contour trees in 3D in O(n log n) steps , 1998, SCG '98.

[18]  Jack Snoeyink,et al.  Computing contour trees in all dimensions , 2000, SODA '00.

[19]  Jos B. T. M. Roerdink,et al.  The Watershed Transform: Definitions, Algorithms and Parallelization Strategies , 2000, Fundam. Informaticae.

[20]  Zoë J. Wood,et al.  Topological Noise Removal , 2001, Graphics Interface.

[21]  Thomas Lewiner,et al.  Constructing discrete Morse functions , 2002 .

[22]  Valerio Pascucci,et al.  Efficient computation of the topology of level sets , 2002, IEEE Visualization, 2002. VIS 2002..

[23]  松本 幸夫 An introduction to Morse theory , 2002 .

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

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

[26]  Valerio Pascucci,et al.  Loops in Reeb Graphs of 2-Manifolds , 2003, SCG '03.

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

[28]  Herbert Edelsbrunner,et al.  Hierarchical Morse—Smale Complexes for Piecewise Linear 2-Manifolds , 2003, Discret. Comput. Geom..

[29]  Thomas Lewiner,et al.  Applications of Forman's discrete Morse theory to topology visualization and mesh compression , 2004, IEEE Transactions on Visualization and Computer Graphics.

[30]  Herbert Edelsbrunner,et al.  Simplification of three-dimensional density maps , 2004, IEEE Transactions on Visualization and Computer Graphics.

[31]  Jack Snoeyink,et al.  Simplifying flexible isosurfaces using local geometric measures , 2004, IEEE Visualization 2004.

[32]  Yuriko Takeshima,et al.  Topological volume skeletonization using adaptive tetrahedralization , 2004, Geometric Modeling and Processing, 2004. Proceedings.

[33]  Mathieu Desbrun,et al.  Removing excess topology from isosurfaces , 2004, TOGS.

[34]  Bernd Hamann,et al.  A topological hierarchy for functions on triangulated surfaces , 2004, IEEE Transactions on Visualization and Computer Graphics.

[35]  Yuriko Takeshima,et al.  Topological volume skeletonization and its application to transfer function design , 2004, Graph. Model..

[36]  Deborah Silver,et al.  Curve-skeleton applications , 2005, VIS 05. IEEE Visualization, 2005..

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

[38]  Bernd Hamann,et al.  Topology-based simplification for feature extraction from 3D scalar fields , 2005, VIS 05. IEEE Visualization, 2005..

[39]  Bernd Hamann,et al.  A topological approach to simplification of three-dimensional scalar functions , 2006, IEEE Transactions on Visualization and Computer Graphics.

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

[41]  Valerio Pascucci,et al.  Spectral surface quadrangulation , 2006, ACM Trans. Graph..

[42]  Valerio Pascucci,et al.  Robust on-line computation of Reeb graphs: simplicity and speed , 2007, ACM Trans. Graph..

[43]  Bernd Hamann,et al.  Topologically Clean Distance Fields , 2007, IEEE Transactions on Visualization and Computer Graphics.

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

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

[46]  Pierre Machart Morphological Segmentation , 2009 .

[47]  R. Ho Algebraic Topology , 2022 .