Hausdorff and Gromov-Hausdorff stable subsets of the medial axis

2023/03/07 by André Lieutier, Lieutier, André, Mathijs Wintraecken +1
Computer Science · Mathematics · #51F99 #55P99 #Advanced Topology and Set Theory #Computational Geometry (cs.CG) #Computational Geometry and Mesh Generation #F.1.1 #FOS: Computer and information sciences #FOS: Mathematics #General Topology (math.GN) #I.3.5 #Metric Geometry (math.MG) #Primary: 65D18 Secondary: 54-08

paper · pdf · doi:10.48550/arxiv.2303.04014

openalex publication_date 2023/03/07 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/01

Abstract

In this paper we introduce a pruning of the medial axis called the (λ,α)-medial axis (\textrmax_λ^α). We prove that the (λ,α)-medial axis of a set K is stable in a Gromov-Hausdorff sense under weak assumptions. More formally we prove that if K and K' are close in the Hausdorff (d_H) sense then the (λ,α)-medial axes of K and K' are close as metric spaces, that is the Gromov-Hausdorff distance (d_GH) between the two is (1)/(4)-Hölder in the sense that d_GH (\textrmax_λ^α(K),\textrmax_λ^α(K')) \lesssim d_H(K,K')^1/4. The Hausdorff distance between the two medial axes is also bounded, by d_H (\textrmax_λ^α(K),\textrmax_λ^α(K')) \lesssim d_H(K,K')^1/2. These quantified stability results provide guarantees for practical computations of medial axes from approximations. Moreover, they provide key ingredients for studying the computability of the medial axis in the context of computable analysis.

Related

• The medial axis of closed bounded sets is Lipschitz stable with respect to the Hausdorff distance under ambient diffeomorphisms
• Compensated Convexity, Multiscale Medial Axis Maps and Sharp Regularity of the Squared Distance Function
• Pointed Gromov-Hausdorff Topological Stability for non-compact metric spaces
• Medial Axis in Pseudo-Euclidean Spaces
• Size of the medial axis and stability of Federer's curvature measures