Certified computation of planar Morse-Smale complexes

DOI10.1016/J.JSC.2016.03.006zbMATH Open1346.65007OpenAlexW2318092493MaRDI QIDQ739610FDOQ739610

Authors Gert Vegter, Amit Chattopadhyay, Chee K. Yap

Publication date 18 August 2016

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1506.06265

zbMATH Keywords

computational geometryinterval arithmeticMorse-Smale complexcertified computation

Mathematics Subject Classification ID

Numerical aspects of computer graphics, image analysis, and computational geometry (65D18)

Abstract: The Morse-Smale complex is an important tool for global topological analysis in various problems of computational geometry and topology. Algorithms for Morse-Smale complexes have been presented in case of piecewise linear manifolds. However, previous research in this field is incomplete in the case of smooth functions. In the current paper we address the following question: Given an arbitrarily complex Morse-Smale system on a planar domain, is it possible to compute its certified (topologically correct) Morse-Smale complex? Towards this, we develop an algorithm using interval arithmetic to compute certified critical points and separatrices forming the Morse-Smale complexes of smooth functions on bounded planar domain. Our algorithm can also compute geometrically close Morse-Smale complexes.

Recommendations

• Certified computation of planar Morse-Smale complexes
• Robust computation of Morse-Smale complexes of bilinear functions
• Hierarchical Morse-Smale complexes for piecewise linear 2-manifolds
• Practical considerations in Morse-Smale complex computation
• Computing simply-connected cells in three-dimensional Morse-Smale complexes

Cites work

• scientific article; zbMATH DE number 3766528 (Why is no real title available?)
• scientific article; zbMATH DE number 3772598 (Why is no real title available?)
• scientific article; zbMATH DE number 49110 (Why is no real title available?)
• scientific article; zbMATH DE number 54251 (Why is no real title available?)
• scientific article; zbMATH DE number 3484411 (Why is no real title available?)
• scientific article; zbMATH DE number 3109695 (Why is no real title available?)
• Adaptive isotopic approximation of nonsingular curves: The parameterizability and nonlocal isotopy approach
• Certified computation of planar Morse-Smale complexes
• Critical Points and Curvature for Embedded Polyhedral Surfaces
• Hierarchical Morse-Smale complexes for piecewise linear 2-manifolds
• In Praise of Numerical Computation
• Molecular shape analysis based upon the Morse-Smale complex and the Connolly function
• Morse theory for cell complexes
• Morse-Smale complexes for piecewise linear 3-manifolds
• Recent progress in exact geometric computation
• Singular Points of Complex Hypersurfaces. (AM-61)
• Topographic distance and watershed lines

Cited in

(5)

• Certified computation of planar Morse-Smale complexes
• A mechanical method for isolating locally optimal points of certain radical functions
• Computing Accurate Morse-Smale Complexes from Gradient Vector Fields
• Robust computation of Morse-Smale complexes of bilinear functions
• Morse-Smale complexes for piecewise linear 3-manifolds

Describes a project that uses

Uses Software

• Boost Interval Arithmetic

This page was built for publication: Certified computation of planar Morse-Smale complexes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q739610)