Hausdorff and Gromov-Hausdorff stable subsets of the medial axis
In this paper we introduce a pruning of the medial axis called the (λ,α)-medial axis (ax_λ^α). 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 (ax_λ^α (K),ax_λ^α (K')) ≲ d_H(K,K')^1/4. The Hausdorff distance between the two medial axes is also bounded, by d_H (ax_λ^α (K),ax_λ^α (K')) ≲ 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.
READ FULL TEXT