Certified computation of planar Morse-Smale complexes

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

Chee K. Yap, Amit Chattopadhyay, Gert Vegter

Publication date: 18 August 2016

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

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.

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Morse theory for cell complexes
• Singular Points of Complex Hypersurfaces. (AM-61)
• Hierarchical Morse-Smale complexes for piecewise linear 2-manifolds
• Critical Points and Curvature for Embedded Polyhedral Surfaces
• Adaptive isotopic approximation of nonsingular curves: The parameterizability and nonlocal isotopy approach
• Recent progress in exact geometric computation
• Topographic distance and watershed lines
• Morse-smale complexes for piecewise linear 3-manifolds
• Molecular shape analysis based upon the morse-smale complex and the connolly function
• Certified computation of planar Morse-Smale complexes
• In Praise of Numerical Computation

Cited In (2)

• A mechanical method for isolating locally optimal points of certain radical functions
• Computing Accurate Morse-Smale Complexes from Gradient Vector Fields

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)