Reeb graph

A Reeb graph^[1] (named after Georges Reeb by René Thom) is a mathematical object reflecting the evolution of the level sets of a real-valued function on a manifold.^[2] According to ^[3] a similar concept was introduced by G.M. Adelson-Velskii and A.S. Kronrod and applied to analysis of Hilbert's thirteenth problem.^[4] Proposed by G. Reeb as a tool in Morse theory,^[5] Reeb graphs are the natural tool to study multivalued functional relationships between 2D scalar fields ${\displaystyle \psi }$, ${\displaystyle \lambda }$, and ${\displaystyle \phi }$ arising from the conditions ${\displaystyle \nabla \psi =\lambda \nabla \phi }$ and ${\displaystyle \lambda \neq 0}$, because these relationships are single-valued when restricted to a region associated with an individual edge of the Reeb graph. This general principle was first used to study neutral surfaces in oceanography.^[6]

Reeb graphs have also found a wide variety of applications in computational geometry and computer graphics,^[1][7] including computer aided geometric design, topology-based shape matching,^[8][9][10] topological data analysis,^[11] topological simplification and cleaning, surface segmentation ^[12] and parametrization, efficient computation of level sets, neuroscience,^[13] and geometrical thermodynamics.^[3] In a special case of a function on a flat space (technically a simply connected domain), the Reeb graph forms a polytree and is also called a contour tree.^[14]

Level set graphs help statistical inference related to estimating probability density functions and regression functions, and they can be used in cluster analysis and function optimization, among other things. ^[15]