Revisiting Accurate Geometry for Morse-Smale Complexes

TL;DR

This paper examines the differences between continuous and discrete Morse-Smale complexes, showing that existing methods can alter topology, and proposes a new approach to achieve both geometric and topological accuracy on grid data.

Contribution

The paper reveals how different discrete construction methods affect the topology of Morse-Smale complexes and introduces a new method for accurate complexes on uniform grids.

Findings

Steepest descent can produce topologically accurate complexes on certain grids.

Different discrete gradient constructions alter the topology of Morse-Smale complexes.

A new method achieves both geometric and topological accuracy for grid-sampled data.

Abstract

The Morse-Smale complex is a standard tool in visual data analysis. The classic definition is based on a continuous view of the gradient of a scalar function where its zeros are the critical points. These points are connected via gradient curves and surfaces emanating from saddle points, known as separatrices. In a discrete setting, the Morse-Smale complex is commonly extracted by constructing a combinatorial gradient assuming the steepest descent direction. Previous works have shown that this method results in a geometric embedding of the separatrices that can be fundamentally different from those in the continuous case. To achieve a similar embedding, different approaches for constructing a combinatorial gradient were proposed. In this paper, we show that these approaches generate a different topology, i.e., the connectivity between critical points changes. Additionally, we demonstrate that the steepest descent method can compute topologically and geometrically accurate Morse-Smale complexes when applied to certain types of grids. Based on these observations, we suggest a method to attain both geometric and topological accuracy for the Morse-Smale complex of data sampled on a uniform grid.