Jacobi Fiber Surfaces for Bivariate Reeb Space Computation

This paper presents an efficient algorithm for the computation of the Reeb space of an input bivariate piecewise linear scalar function f defined on a tetrahedral mesh. By extending and generalizing algorithmic concepts from the univariate case to the bivariate one, we report the first practical, output-sensitive algorithm for the exact computation of such a Reeb space. The algorithm starts by identifying the Jacobi set of f, the bivariate analogs of critical points in the univariate case. Next, the Reeb space is computed by segmenting the input mesh along the new notion of Jacobi Fiber Surfaces, the bivariate analog of critical contours in the univariate case. We additionally present a simplification heuristic that enables the progressive coarsening of the Reeb space. Our algorithm is simple to implement and most of its computations can be trivially parallelized. We report performance numbers demonstrating orders of magnitude speedups over previous approaches, enabling for the first time the tractable computation of bivariate Reeb spaces in practice. Moreover, unlike range-based quantization approaches (such as the Joint Contour Net), our algorithm is parameter-free. We demonstrate the utility of our approach by using the Reeb space as a semi-automatic segmentation tool for bivariate data. In particular, we introduce continuous scatterplot peeling, a technique which enables the reduction of the cluttering in the continuous scatterplot, by interactively selecting the features of the Reeb space to project. We provide a VTK-based C++ implementation of our algorithm that can be used for reproduction purposes or for the development of new Reeb space based visualization techniques.

[1]  Daniela Giorgi,et al.  Reeb graphs for shape analysis and applications , 2008, Theor. Comput. Sci..

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

[3]  Vijay Natarajan,et al.  Multiscale Symmetry Detection in Scalar Fields by Clustering Contours , 2014, IEEE Transactions on Visualization and Computer Graphics.

[4]  Valerio Pascucci,et al.  Loop surgery for volumetric meshes: Reeb graphs reduced to contour trees , 2009, IEEE Transactions on Visualization and Computer Graphics.

[5]  Ray W. Grout,et al.  Stability of Dissipation Elements: A Case Study in Combustion , 2014, Comput. Graph. Forum.

[6]  Osamu Saeki,et al.  Topology of Singular Fibers of Differentiable Maps , 2004, Lecture notes in mathematics.

[7]  Helwig Hauser,et al.  Visualization and Visual Analysis of Multifaceted Scientific Data: A Survey , 2013, IEEE Transactions on Visualization and Computer Graphics.

[8]  Salman Parsa,et al.  A deterministic o(m log m) time algorithm for the reeb graph , 2012, SoCG '12.

[9]  Giuseppe Patanè,et al.  A Minimal Contouring Approach to the Computation of the Reeb Graph , 2009, IEEE Transactions on Visualization and Computer Graphics.

[10]  Julien Tierny,et al.  Fast and Exact Fiber Surfaces for Tetrahedral Meshes , 2017, IEEE Transactions on Visualization and Computer Graphics.

[11]  Helwig Hauser,et al.  Visualization of Multi‐Variate Scientific Data , 2009, Comput. Graph. Forum.

[12]  Silvia Biasotti,et al.  Extended Reeb Graphs for Surface Understanding and Description , 2000, DGCI.

[13]  Jesse Freeman,et al.  in Morse theory, , 1999 .

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

[15]  Taku Komura,et al.  Topology matching for fully automatic similarity estimation of 3D shapes , 2001, SIGGRAPH.

[16]  Bernd Hamann,et al.  Topology-Controlled Volume Rendering , 2006, IEEE Transactions on Visualization and Computer Graphics.

[17]  Vijay Natarajan,et al.  Output-Sensitive Construction of Reeb Graphs , 2012, IEEE Transactions on Visualization and Computer Graphics.

[18]  Leila De Floriani,et al.  A primal/dual representation for discrete Morse complexes on tetrahedral meshes , 2013, Comput. Graph. Forum.

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

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

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

[22]  Valerio Pascucci,et al.  Loops in Reeb Graphs of 2-Manifolds , 2004, Discret. Comput. Geom..

[23]  Gerik Scheuermann,et al.  Towards Multifield Scalar Topology Based on Pareto Optimality , 2013, Comput. Graph. Forum.

[24]  David J. Duke,et al.  Joint Contour Nets , 2014, IEEE Transactions on Visualization and Computer Graphics.

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

[26]  Gerik Scheuermann,et al.  Brushing of Attribute Clouds for the Visualization of Multivariate Data , 2008, IEEE Transactions on Visualization and Computer Graphics.

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

[28]  Valerio Pascucci,et al.  Understanding the structure of the turbulent mixing layer in hydrodynamic instabilities , 2006 .

[29]  Aaron Knoll,et al.  Fiber Surfaces: Generalizing Isosurfaces to Bivariate Data , 2015, Comput. Graph. Forum.

[30]  Dirk J. Lehmann,et al.  Discontinuities in Continuous Scatterplots , 2010 .

[31]  Valerio Pascucci,et al.  Interstitial and Interlayer Ion Diffusion Geometry Extraction in Graphitic Nanosphere Battery Materials , 2016, IEEE Transactions on Visualization and Computer Graphics.

[32]  Hang Si,et al.  TetGen, a Delaunay-Based Quality Tetrahedral Mesh Generator , 2015, ACM Trans. Math. Softw..

[33]  Daniel Weiskopf,et al.  Continuous Scatterplots , 2008, IEEE Transactions on Visualization and Computer Graphics.

[34]  Chandrajit L. Bajaj,et al.  Time-varying contour topology , 2006, IEEE Transactions on Visualization and Computer Graphics.

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

[36]  Bei Wang,et al.  Convergence between Categorical Representations of Reeb Space and Mapper , 2015, SoCG.

[37]  Herbert Edelsbrunner,et al.  Computational Topology - an Introduction , 2009 .

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

[39]  Dirk J. Lehmann,et al.  Discontinuities in Continuous Scatter Plots , 2010, IEEE Transactions on Visualization and Computer Graphics.

[40]  Vijay Natarajan,et al.  A Gradient‐Based Comparison Measure for Visual analysis of Multifield Data , 2011, Comput. Graph. Forum.

[41]  Hans-Peter Seidel,et al.  Multifield-Graphs: An Approach to Visualizing Correlations in Multifield Scalar Data , 2006, IEEE Transactions on Visualization and Computer Graphics.

[42]  Herbert Edelsbrunner,et al.  Reeb spaces of piecewise linear mappings , 2008, SCG '08.

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

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

[45]  Leila De Floriani,et al.  Morse complexes for shape segmentation and homological analysis: discrete models and algorithms , 2015, Comput. Graph. Forum.

[46]  Julia Contreras-García,et al.  Revealing noncovalent interactions. , 2010, Journal of the American Chemical Society.