Digital Morse theory
Encyclopedia
In mathematics
, digital Morse theory is a digital adaptation of continuum Morse theory
for scalar volume data
.
The main utility of a digital Morse theory is that it serves to provide a theoretical basis for isosurface
s, and perpendicular streamlines.
A DMT tree is a digital version of a Reeb graph
or contour tree graph, showing the relationship and connectivity of one isovalued defined object to another. Typically, these are nested objects, one inside another, giving a parent-child relationship, or two objects standing alone with a peer relationship.
The essential insight of Morse theory can be given in a little parable.
The Fish Tank thought experiment: Counting islands as the water level changes
The essential insight of continuous Morse theory can be intuited by a thought experiment. Consider a rectangular glass fish tank. Into this tank, we pour a small quantity of sand such that we have two smoothly sloping small hills, one taller than the other. Now, we fill this tank to the brim with water. We now start a count of the number of island objects as we very slowly drain the tank.
Our first observation is that there are no island features in our tank scene. As the water level drops, we observe the water level just coincident with the peak of the tallest sand hill. We notice behavior of the water at the critical peak of the hill. We get a degenerate point island contour, with zero area, zero perimeter, and infinite curvature. A vanishing small change in the water level and this point contour expand into a tiny island. We increment our island object count by +1. We continue to drain water from the tank and observe the birth of the second island at the peak of the second little hill. We again increment our island object count by +1 to two objects. As we continue to observe the drop in water level in our tank, we observe the two island contours expand and grow toward each other. As the water level reaches the level of the critical saddle point between the two hills the island contours touch at precisely the saddle point. We observe that our object count decrements by –1 to give a total island count of one. The essential feature of this rubric is that we only need to count the peaks and passes to inventory all of the object islands in our scene. This approach works even as we increase the complexity of the scene.
We can use the same idea of enumerating peak, pits and pass criticalities in a very complex archipelago of island features, at any size scale, or any range of size scales, including noise at any size scale.
The relationship between island features can be
Digital Morse Theory relates Peaks, Pits and Passes to Parents, Peers and Progeny. This gives a cute mnemonic: PPP → ppp.
As topology does not care about geometry or dimensionality (directly), complex optimizations in infinite dimensional Hilbert spaces may be amenable to this analysis.
Mathematics
Mathematics is the study of quantity, space, structure, and change. Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...
, digital Morse theory is a digital adaptation of continuum Morse theory
Morse theory
In differential topology, the techniques of Morse theory give a very direct way of analyzing the topology of a manifold by studying differentiable functions on that manifold. According to the basic insights of Marston Morse, a differentiable function on a manifold will, in a typical case, reflect...
for scalar volume data
Voxel
A voxel is a volume element, representing a value on a regular grid in three dimensional space. This is analogous to a pixel, which represents 2D image data in a bitmap...
.
The main utility of a digital Morse theory is that it serves to provide a theoretical basis for isosurface
Isosurface
An isosurface is a three-dimensional analog of an isoline. It is a surface that represents points of a constant value within a volume of space; in other words, it is a level set of a continuous function whose domain is 3D-space.Isosurfaces are normally displayed using computer graphics, and are...
s, and perpendicular streamlines.
A DMT tree is a digital version of a Reeb graph
Reeb graph
In Morse theory, a branch of mathematics, a Reeb graph of a scalar function describes the connectivity of its level sets.Reeb graphs are named after Georges Reeb....
or contour tree graph, showing the relationship and connectivity of one isovalued defined object to another. Typically, these are nested objects, one inside another, giving a parent-child relationship, or two objects standing alone with a peer relationship.
The essential insight of Morse theory can be given in a little parable.
The Fish Tank thought experiment: Counting islands as the water level changes
The essential insight of continuous Morse theory can be intuited by a thought experiment. Consider a rectangular glass fish tank. Into this tank, we pour a small quantity of sand such that we have two smoothly sloping small hills, one taller than the other. Now, we fill this tank to the brim with water. We now start a count of the number of island objects as we very slowly drain the tank.
Our first observation is that there are no island features in our tank scene. As the water level drops, we observe the water level just coincident with the peak of the tallest sand hill. We notice behavior of the water at the critical peak of the hill. We get a degenerate point island contour, with zero area, zero perimeter, and infinite curvature. A vanishing small change in the water level and this point contour expand into a tiny island. We increment our island object count by +1. We continue to drain water from the tank and observe the birth of the second island at the peak of the second little hill. We again increment our island object count by +1 to two objects. As we continue to observe the drop in water level in our tank, we observe the two island contours expand and grow toward each other. As the water level reaches the level of the critical saddle point between the two hills the island contours touch at precisely the saddle point. We observe that our object count decrements by –1 to give a total island count of one. The essential feature of this rubric is that we only need to count the peaks and passes to inventory all of the object islands in our scene. This approach works even as we increase the complexity of the scene.
We can use the same idea of enumerating peak, pits and pass criticalities in a very complex archipelago of island features, at any size scale, or any range of size scales, including noise at any size scale.
The relationship between island features can be
- Peers: two islands that at a lower water level 'merge' into a common parent.
- Parent: an island that splits into two child islands at a higher water level.
- Progeny: An island that has a Parent island feature as related above.
Digital Morse Theory relates Peaks, Pits and Passes to Parents, Peers and Progeny. This gives a cute mnemonic: PPP → ppp.
As topology does not care about geometry or dimensionality (directly), complex optimizations in infinite dimensional Hilbert spaces may be amenable to this analysis.