A Note on the Hausdorff Distance Between Norm Balls and Their Linear Maps

Abstract

We consider the problem of computing the (two-sided) Hausdorff distance between the unit $\ell _{p_{1}}$ ℓ p 1 and $\ell _{p_{2}}$ ℓ p 2 norm balls in finite dimensional Euclidean space for $1 \leq p_{1} < p_{2} \leq \infty $ 1 ≤ p 1 < p 2 ≤ ∞ , and derive a closed-form formula for the same. We also derive a closed-form formula for the Hausdorff distance between the $k_{1}$ k 1 and $k_{2}$ k 2 unit $D$ D -norm balls, which are certain polyhedral norm balls in $d$ d dimensions for $1 \leq k_{1} < k_{2} \leq d$ 1 ≤ k 1 < k 2 ≤ d . When two different $\ell _{p}$ ℓ p norm balls are transformed via a common linear map, we obtain several estimates for the Hausdorff distance between the resulting convex sets. These estimates upper bound the Hausdorff distance or its expectation, depending on whether the linear map is arbitrary or random. We then generalize the developments for the Hausdorff distance between two set-valued integrals obtained by applying a parametric family of linear maps to different $\ell _{p}$ ℓ p unit norm balls, and then taking the Minkowski sums of the resulting sets in a limiting sense. To illustrate an application, we show that the problem of computing the Hausdorff distance between the reach sets of a linear dynamical system with different unit norm ball-valued input uncertainties, reduces to this set-valued integral setting.