Related papers: Medial axis detects non-Lipschitz normally embedde…
The aim of this paper is to study the Lipschitz normally embedded property for a set and its medial axis. We consider if and when a non-LNE set implies non-LNE medial axis and converse. We present an example a of Lipschitz normally set that…
The medial axis $M_X$ of a closed set $X\subset \mathbb{R}^n$ is the set of points from the ambient space that admit more than one closest point in $X$. We study the problem of reaching the singularities, i.e. of characterising the points…
The medial axis of a closed set is well established tool in pattern recognition, cherished for its power of reconstruction of domains. In this article we fill this gap answering the question which sets precisely are reconstructible from the…
The main result states that a connected conic singular sub-manifold of a Riemannian manifold, compact when the ambient manifold is non-Euclidean, is Lipschitz Normally Embedded: the outer and inner metric space structures are metrically…
This paper develops the notion of superquadracity defined by L.Birbrair and M.Denkowski for subsets of R^n. In this regard, the main theorem of the paper establishes the relation between the superquadracity and non-empty intersection of the…
We show that the class of Lipschitz-free spaces over closed subsets of any complete metric space $M$ is closed under arbitrary intersections, improving upon the previously known finite-diameter case. This allows us to formulate a general…
A metric space $X$ is {\em injective} if every non-expanding map $f:B\to X$ defined on a subspace $B$ of a metric space $A$ can be extended to a non-expanding map $\bar f:A\to X$. We prove that a metric space $X$ is a Lipschitz image of an…
We prove that the medial axis of closed sets is Hausdorff stable in the following sense: Let $\mathcal{S} \subseteq \mathbb{R}^d$ be (fixed) closed set (that contains a bounding sphere). Consider the space of $C^{1,1}$ diffeomorphisms of…
We give sufficient conditions for a metric space to bilipschitz embed in L_1. In particular, if X is a length space and there is a Lipschitz map u:X--->R such that for every interval I in R, the connected components of the inverse image…
Finite subset spaces of a metric space $X$ form a nested sequence under natural isometric embeddings $X=X(1)\subset X(2)\subset\dots$. We prove that this sequence admits Lipschitz retractions $X(n)\to X(n-1)$ when $X$ is a Hilbert space.
We prove that the k-medial axis of an arbitrary closed set in Rn is n-k+1-rectifiable (and hence of dimension at most n-k+1). This result gives a first stratification for medial axis of any closed set, which has been widely studied and used…
We present a subgradient method for minimizing non-smooth, non-Lipschitz convex optimization problems. The only structure assumed is that a strictly feasible point is known. We extend the work of Renegar [5] by taking a different…
We prove that each sub-Riemannian manifold can be embedded in some Euclidean space preserving the length of all the curves in the manifold. The result is an extension of Nash $C^1$ Embedding Theorem. For more general metric spaces the same…
We consider the proximal gradient method on Riemannian manifolds for functions that are possibly not geodesically convex. Starting from the forward-backward-splitting, we define an intrinsic variant of the proximal gradient method that uses…
We obtain a criterion for an analytic subset of a Euclidean space to contain points of differentiability of a typical Lipschitz function, namely, that it cannot be covered by countably many sets, each of which is closed and purely…
A closed subset of $\mathbb{R}^q$, definable in some given o-minimal structure, is Lipschitz normally embedded in $\mathbb{R}^q$ if and only if its one-point compactification is Lipschitz normally embedded in the unit sphere ${\bf S}^q$($ =…
If $X$ is a metric space, then its finite subset spaces $X(n)$ form a nested sequence under natural isometric embeddings $X = X(1)\subset X(2) \subset \cdots$. It was previously established, by Kovalev when $X$ is a Hilbert space and, by…
The medial axis of a smoothly embedded surface in $\mathbb{R}^3$ consists of all points for which the Euclidean distance function on the surface has at least two minima. We generalize this notion to the mid-sphere axis, which consists of…
We combine Kirchheim's metric differentials with Cheeger charts in order to establish a non-embeddability principle for any collection $\mathcal C$ of Banach (or metric) spaces: if a metric measure space $X$ bi-Lipschitz embeds in some…
We prove that every pointed closed convex set in $\mathbb{R}^n$ is the intersection of all the rational closed halfspaces that contain it. This generalizes a previous result by the authors for compact convex sets.