Abstract
After two decades of computational topology, it is clearly a computationally challenging area. Not only do we have the usual algorithmic and programming difficulties with establishing correctness, we also have a class of problems that are mathematically complex and notationally fragile. Effective development and deployment therefore requires an additional step—construction or selection of suitable test cases. Since we cannot test all possible inputs, our selection of test cases expresses our understanding of the task and of the problems involved. Moreover, the scale of the data sets we work with is such that, no matter how unlikely the behavior mathematically, it is nearly guaranteed to occur at scale in every run. The test cases we choose are therefore tightly coupled with mathematically pathological cases, and need to be developed using the skills expressed most obviously in constructing mathematical counter-examples. This paper is therefore a first attempt at reporting, classifying and analyzing test cases previously used for algorithmic work in Reeb analysis (contour trees and Reeb graphs), and the expression of a philosophy of how to test topological code.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Allili, M., Corriveau, D., Derivière, S., Kaczynski, T., Trahan, A.: Discrete dynamical system framework for construction of connections between critical regions in lattice height data. J. Math. Imaging Vis. 28(2), 99–111 (2007)
Boyell, R.L., Ruston, H.: Hybrid techniques for real-time radar simulation. In: IEEE 1963 Fall Joint Computer Conference, pp. 445–458 (1963)
Carr, H., Duke, D.: Joint contour nets. IEEE Trans. Vis. Comput. Graph. 20(8), 1100–1113 (2014)
Carr, H., Snoeyink, J., Axen, U.: Computing contour trees in all dimensions. Comput. Geom. Theory Appl. 24(2), 75–94 (2003)
Carr, H., Snoeyink, J., van de Panne, M.: Simplifying flexible isosurfaces with local geometric measures. In: IEEE Visualization, pp. 497–504 (2004)
Carr, H., Snoeyink, J., van de Panne, M.: Flexible isosurfaces: simplifying and displaying scalar topology using the contour tree. Comput. Geom. Theory Appl. 43(1), 42–58 (2010)
Carr, H., Geng, Z., Tierny, J., Chattopadhyay, A., Knoll, A.: Fiber surfaces: generalizing isosurfaces to bivariate data. Comput. Graph. Forum 34(3), 241–250 (2015)
Carr, H., Weber, G., Sewell, C., Ahrens, J.: Parallel peak pruning for scalable SMP contour tree computation. In: IEEE Large Data Analysis and Visualization (LDAV) (2016)
Cox, J., Karron, D., Ferdous, N.: Topological zone organization of scalar volume data. J. Math. Imaging Vis. 18(2), 95–117 (2003)
Edelsbrunner, H., Mücke, E.P.: Simulation of simplicity: a technique to cope with degenerate cases in geometric algorithms. ACM Trans. Graph. 9(1), 66–104 (1990)
Edelsbrunner, H., Harer, J., Patel, A.K.: Reeb spaces of piecewise linear mappings. In: ACM Symposium on Computational Geometry, pp. 242–250 (2008)
Ellson, J., Gansner, E., Koutsofios, L., North, S.C., Woodhull, G.: Graphviz – open source graph drawing tools. In: International Symposium on Graph Drawing, pp. 483–484. Springer, Berlin (2001)
Gold, C., Cormack, S.: Spatially ordered networks and topographic reconstruction. In: ACM Symposium on Spatial Data Handling, pp. 74–85 (1986)
Helman, J., Hesselink, L.: Representation and display of vector field topology in fluid flow data sets. Computer 1, 27–36 (1989)
Hristov, P., Carr, H.: W-Structures in contour trees. Accepted for publication in Topological Methods in Data Analysis and Visualization VI, Springer (2021)
Kaczynski, T.: Multivalued maps as a tool in modeling and rigorous numerics. J. Fixed Point Theory Appl. 4(2), 151–176 (2008)
Laramee, R.: Using visualization to debug visualization software. IEEE Comput. Graph. Appl. 6, 67–73 (2009)
Reeb, G.: Sur les points singuliers d’une forme de Pfaff complètement intégrable ou d’une fonction numérique. C. R. Acad. Sci. Paris 222, 847–849 (1946)
SFB 382 of the German Research Council (DFG): Hydrogen atom. Available at http://schorsch.efi.fh-nuernberg.de/data/volume/
Theisel, H.: Designing 2D vector fields of arbitrary topology. Comput. Graph. Forum 21(3), 595–604 (2002)
Tierny, J., Carr, H.: Jacobi fiber surfaces for bivariate Reeb space computation. IEEE Trans. Vis. Comput. Graph. 1, 960–969 (2017)
Tierny, J., Gyulassy, A., Simon, E., Pascucci, V.: Loop surgery for volumetric meshes: Reeb graphs reduced to contour trees. IEEE Trans. Vis. Comput. Graph. 15(6), 1177–1184 (2010)
Tierny, J., Favelier, G., Levine, J.A., Gueunet, C., Michaux, M.: The topology toolkit. IEEE Trans. Vis. Comput. Graph. 24(1), 832–842 (2018)
Weber, G.H., Scheuermann, G., Hamann, B.: Detecting critical regions in scalar fields. In Visualization Symposium (VisSym), EUROGRAPHICS and IEEE TCVG (2003)
Zhang, E., Mischaikow, K., Turk, G.: Vector field design on surfaces. ACM Trans. Graph. 25(4), 1294–1326 (2006)
Acknowledgements
In the UK, this work was supported by the Engineering and Physical Sciences Research Council (EPSRC) project EP/J013072/1. In the US, this work was supported by the Exascale Computing Project (17-SC-20-SC), a collaborative effort of the U.S. Department of Energy Office of Science and the National Nuclear Security Administration and by the Director, Office of Science, Office of Advanced Scientific Computing Research, of the U.S. Department of Energy under Contract No. DE- 392 AC02-05CH11231. In France, this work was supported by the BPI grant “AVIDO” (Programme 393 d’Investissements d’Avenir, reference P112017-2661376/DOS0021427).
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Carr, H., Tierny, J., Weber, G.H. (2020). Pathological and Test Cases for Reeb Analysis. In: Carr, H., Fujishiro, I., Sadlo, F., Takahashi, S. (eds) Topological Methods in Data Analysis and Visualization V. TopoInVis 2017. Mathematics and Visualization. Springer, Cham. https://doi.org/10.1007/978-3-030-43036-8_7
Download citation
DOI: https://doi.org/10.1007/978-3-030-43036-8_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-43035-1
Online ISBN: 978-3-030-43036-8
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)