Compensated convexity, multiscale medial axis maps and sharp regularity of the squared-distance function

In this paper we introduce a new stable mathematical model for locating and measuring the medial axis of geometric objects, called the quadratic multiscale medial axis map of scale λ, and provide a sharp regularity result for the squared-distance function to any closed nonempty subset K of Rn. Our r...

Full description

Bibliographic Details
Main Authors: Zhang, Kewei, Crooks, Elaine, Orlando, Antonio
Format: Article
Published: Society for Industrial and Applied Mathematics 2015
Subjects:
Online Access:https://eprints.nottingham.ac.uk/40893/
_version_ 1848796156682829824
author Zhang, Kewei
Crooks, Elaine
Orlando, Antonio
author_facet Zhang, Kewei
Crooks, Elaine
Orlando, Antonio
author_sort Zhang, Kewei
building Nottingham Research Data Repository
collection Online Access
description In this paper we introduce a new stable mathematical model for locating and measuring the medial axis of geometric objects, called the quadratic multiscale medial axis map of scale λ, and provide a sharp regularity result for the squared-distance function to any closed nonempty subset K of Rn. Our results exploit properties of the function Clλ (dist2(・; K)) obtained by applying the quadratic lower compensated convex transform of parameter λ [K. Zhang, Ann. Inst. H. Poincar´e Anal. Non Lin´eaire, 25 (2008), pp. 743–771] to dist2(・; K), the Euclidean squared-distance function to K. Using a quantitative estimate for the tight approximation of dist2(・; K) by Clλ (dist2(・; K)), we prove the C1,1-regularity of dist2(・; K) outside a neighborhood of the closure of the medial axis MK of K, which can be viewed as a weak Lusin-type theorem for dist2(・; K), and give an asymptotic expansion formula for Clλ (dist2(・; K)) in terms of the scaled squared-distance transform to the set and to the convex hull of the set of points that realize the minimum distance to K. The multiscale medial axis map, denoted by Mλ(・; K), is a family of nonnegative functions, parametrized by λ > 0, whose limit as λ→∞exists and is called the multiscale medial axis landscape map, M∞(・; K). We show that M∞(・; K) is strictly positive on the medial axis MK and zero elsewhere. We give conditions that ensure Mλ(・; K) keeps a constant height along the parts of MK generated by two-point subsets with the value of the height dependent on the scale of the distance between the generating points, thus providing a hierarchy of heights (hence, the word “multiscale”) between different parts of MK that enables subsets of MK to be selected by simple thresholding. Asymptotically, further understanding of the multiscale effect is provided by our exact representation of M∞(・; K). Moreover, given a compact subset K of Rn, while it is well known that MK is not Hausdorff stable, we prove that in contrast, Mλ(・; K) is stable under the Hausdorff distance, and deduce implications for the localization of the stable parts of MK. Explicitly calculated prototype examples of medial axis maps are also presented and used to illustrate the theoretical findings.
first_indexed 2025-11-14T19:43:30Z
format Article
id nottingham-40893
institution University of Nottingham Malaysia Campus
institution_category Local University
last_indexed 2025-11-14T19:43:30Z
publishDate 2015
publisher Society for Industrial and Applied Mathematics
recordtype eprints
repository_type Digital Repository
spelling nottingham-408932020-05-04T17:23:53Z https://eprints.nottingham.ac.uk/40893/ Compensated convexity, multiscale medial axis maps and sharp regularity of the squared-distance function Zhang, Kewei Crooks, Elaine Orlando, Antonio In this paper we introduce a new stable mathematical model for locating and measuring the medial axis of geometric objects, called the quadratic multiscale medial axis map of scale λ, and provide a sharp regularity result for the squared-distance function to any closed nonempty subset K of Rn. Our results exploit properties of the function Clλ (dist2(・; K)) obtained by applying the quadratic lower compensated convex transform of parameter λ [K. Zhang, Ann. Inst. H. Poincar´e Anal. Non Lin´eaire, 25 (2008), pp. 743–771] to dist2(・; K), the Euclidean squared-distance function to K. Using a quantitative estimate for the tight approximation of dist2(・; K) by Clλ (dist2(・; K)), we prove the C1,1-regularity of dist2(・; K) outside a neighborhood of the closure of the medial axis MK of K, which can be viewed as a weak Lusin-type theorem for dist2(・; K), and give an asymptotic expansion formula for Clλ (dist2(・; K)) in terms of the scaled squared-distance transform to the set and to the convex hull of the set of points that realize the minimum distance to K. The multiscale medial axis map, denoted by Mλ(・; K), is a family of nonnegative functions, parametrized by λ > 0, whose limit as λ→∞exists and is called the multiscale medial axis landscape map, M∞(・; K). We show that M∞(・; K) is strictly positive on the medial axis MK and zero elsewhere. We give conditions that ensure Mλ(・; K) keeps a constant height along the parts of MK generated by two-point subsets with the value of the height dependent on the scale of the distance between the generating points, thus providing a hierarchy of heights (hence, the word “multiscale”) between different parts of MK that enables subsets of MK to be selected by simple thresholding. Asymptotically, further understanding of the multiscale effect is provided by our exact representation of M∞(・; K). Moreover, given a compact subset K of Rn, while it is well known that MK is not Hausdorff stable, we prove that in contrast, Mλ(・; K) is stable under the Hausdorff distance, and deduce implications for the localization of the stable parts of MK. Explicitly calculated prototype examples of medial axis maps are also presented and used to illustrate the theoretical findings. Society for Industrial and Applied Mathematics 2015-11-10 Article PeerReviewed Zhang, Kewei, Crooks, Elaine and Orlando, Antonio (2015) Compensated convexity, multiscale medial axis maps and sharp regularity of the squared-distance function. SIAM Journal on Mathematical Analysis, 47 (6). pp. 4289-4331. ISSN 1095-7154 multiscale medial axis map compensated convex transforms Hausdorff stability squared-distance transform sharp regularity Lusin theorem http://epubs.siam.org/doi/10.1137/140993223 doi:10.1137/140993223 doi:10.1137/140993223
spellingShingle multiscale medial axis map
compensated convex transforms
Hausdorff stability
squared-distance transform
sharp regularity
Lusin theorem
Zhang, Kewei
Crooks, Elaine
Orlando, Antonio
Compensated convexity, multiscale medial axis maps and sharp regularity of the squared-distance function
title Compensated convexity, multiscale medial axis maps and sharp regularity of the squared-distance function
title_full Compensated convexity, multiscale medial axis maps and sharp regularity of the squared-distance function
title_fullStr Compensated convexity, multiscale medial axis maps and sharp regularity of the squared-distance function
title_full_unstemmed Compensated convexity, multiscale medial axis maps and sharp regularity of the squared-distance function
title_short Compensated convexity, multiscale medial axis maps and sharp regularity of the squared-distance function
title_sort compensated convexity, multiscale medial axis maps and sharp regularity of the squared-distance function
topic multiscale medial axis map
compensated convex transforms
Hausdorff stability
squared-distance transform
sharp regularity
Lusin theorem
url https://eprints.nottingham.ac.uk/40893/
https://eprints.nottingham.ac.uk/40893/
https://eprints.nottingham.ac.uk/40893/