,
André Lieutier,
Mathijs Wintraecken
Creative Commons Attribution 4.0 International license
We prove that the medial axis of closed sets is Hausdorff stable in the following sense: Let 𝒮 ⊆ ℝ^d be a fixed closed set that contains a bounding sphere. That is, the bounding sphere is part of the set 𝒮. Consider the space of C^{1,1} diffeomorphisms of ℝ^d to itself, which keep the bounding sphere invariant. The map from this space of diffeomorphisms (endowed with a Banach norm) to the space of closed subsets of ℝ^d (endowed with the Hausdorff distance), mapping a diffeomorphism F to the closure of the medial axis of F(𝒮), is Lipschitz. This extends a previous stability result of Chazal and Soufflet on the stability of the medial axis of C² manifolds under C² ambient diffeomorphisms.
@InProceedings{dalpozkourimska_et_al:LIPIcs.SoCG.2024.69,
author = {Dal Poz Kou\v{r}imsk\'{a}, Hana and Lieutier, Andr\'{e} and Wintraecken, Mathijs},
title = {{The Medial Axis of Any Closed Bounded Set Is Lipschitz Stable with Respect to the Hausdorff Distance Under Ambient Diffeomorphisms}},
booktitle = {40th International Symposium on Computational Geometry (SoCG 2024)},
pages = {69:1--69:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-316-4},
ISSN = {1868-8969},
year = {2024},
volume = {293},
editor = {Mulzer, Wolfgang and Phillips, Jeff M.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SoCG.2024.69},
URN = {urn:nbn:de:0030-drops-200149},
doi = {10.4230/LIPIcs.SoCG.2024.69},
annote = {Keywords: Medial axis, Hausdorff distance, Lipschitz continuity}
}