arXiv++ Combinatorics

Vector field design on surfaces was originally motivated by applications in graphics such as texture synthesis and rendering. In this paper, we consider the idea of vector field design with a new motivation from computational topology. We are interested in designing and visualizing vector fields to aid the study of Morse functions, Morse vector fields, and Morse-Smale complexes. To achieve such a goal, we present MVF Designer, a new interactive design system that provides fine-grained control over vector field geometry, enables the editing of vector field topology, and supports a design process in a simple and efficient way using elementary moves, which are actions that initiate or advance our design process. Our system allows mathematicians to explore the complex configuration spaces of Morse functions, their gradients, and their associated Morse-Smale complexes. Understanding these spaces will help us expand further their applicability in topological data analysis and visualization.

We consider different notions of equivalence for Morse functions on the sphere in the context of persistent homology, and introduce new invariants to study these equivalence classes. These new invariants are as simple, but more discerning than existing topological invariants, such as persistence barcodes and Reeb graphs. We give a method to relate any two Morse--Smale vector fields on the sphere by a sequence of fundamental moves by considering graph-equivalent Morse functions. We also explore the combinatorially rich world of height-equivalent Morse functions, considered as height functions of embedded spheres in $\mathbf R^3$. Their level-set invariant, a poset generated by nested disks and annuli from levels sets, gives insight into the moduli space of Morse functions sharing the same persistence barcode.