Related papers: Medial axis detects non-Lipschitz normally embedde…

For every $p\in (0,\infty)$ we associate to every metric space $(X,d_X)$ a numerical invariant $\mathfrak{X}_p(X)\in [0,\infty]$ such that if $\mathfrak{X}_p(X)<\infty$ and a metric space $(Y,d_Y)$ admits a bi-Lipschitz embedding into $X$…

We provide some necessary and sufficient conditions for a proper lower semicontinuous convex function, defined on a real Banach space, to be locally or globally Lipschitz continuous. Our criteria rely on the existence of a bounded selection…

We characterize all (absolute) 1-Lipschitz retracts Q of R^n with the maximum norm. Omitting two technical details, they coincide with the subsets written as the solution set of (at most) 2n inequalities like follows. For every coordinate…

The n-th symmetric product of a metric space is the set of its nonempty subsets with cardinality at most n, equipped with the Hausdorff metric. We prove that every symmetric product of the line is an absolute Lipschitz retract and admits a…

Erd\"os proved in 1946 that if a set $E\subset\mathbb{R}^n$ is closed and non-empty, then the set, called ambiguous locus or medial axis, of points in $\mathbb{R}^n$ with the property that the nearest point in $E$ is not unique, can be…

We study the classical spaces $L_{p}$ and $\ell_{p}$ for the whole range $0<p<\infty$ from a metric viewpoint and give a complete Lipschitz embeddability roadmap between any two of those spaces when equipped with both their ad-hoc distances…

We study the local geometry of the space of horizontal curves with endpoints freely varying in two given submanifolds $\mathcal P$ and $\mathcal Q$ of a manifold $\mathcal M$ endowed with a distribution $\mathcal D\subset T\M$. We give a…

The method of alternating projections (MAP) is a common method for solving feasibility problems. While employed traditionally to subspaces or to convex sets, little was known about the behavior of the MAP in the nonconvex case until 2009,…

We prove under ZFC that in each extremally disconnected compact space there exists a non-limit point of any countable discrete subset.

We prove that every element of a Lipschitz-free space admits an expression as a convex series of elements with compact support. As a consequence, we conclude that all extreme points of the unit ball of Lipschitz-free spaces are elementary…

A set in the Euclidean plane is constructed whose image under the classical Radon transform is Lipschitz in every direction. It is also shown that, under mild hypotheses, for any such set the function which maps a direction to the…

In this short note, we develop a method for identifying the spaces $Lip_{0}(U)$ for every nonempty open convex $U$ of $\mathbb{R}^{n}$ and $n\in\mathbb{N}$. Moreover, we show that $\mathcal{F}(U)$ is identified with a quotient of…

We consider a system of weakly coupled singularly perturbed semilinear elliptic equations. First, we obtain a Lipschitz regularity result for the associated ground energy function $\Sigma$ as well as representation formulas for the left and…

In this paper, we analyze the mirror descent algorithm for non-smooth optimization problems in which the objective function is relatively strongly convex, without relying on the standard Lipschitz continuity assumption commonly used in the…

We prove that for a given Banach space $X$, the subset of norm attaining Lipschitz functionals in $\mathrm{Lip}_0(X)$ is weakly dense but not strongly dense. Then we introduce a weaker concept of directional norm attainment and demonstrate…

In this article, we study the properties of the geodesic X-ray transform for asymptotically Euclidean or conic Riemannian metrics and show injectivity under non-trapping and no conjugate point assumptions. We also define a notion of lens…

We show that if $X$ is a separable locally compact Hausdorff connected space with fewer than $\mathfrak c$ non-cut points, then $X$ embeds into a dendrite $D\subseteq \mathbb R ^2$, and the set of non-cut points of $X$ is a nowhere dense…

In this paper we introduce the notion of existentially closed Leibniz algebras. Then we use HNN-extensions of Leibniz algebras in order to prove an embedding theorem.

We demonstrate that the set $L^\infty(X, [-1,1])$ of all measurable functions over a Borel measure space $(X, \mathcal B, \mu )$ with values in the unit interval is typically non-polyhedric when interpreted as a subset of a dual space. Our…

We introduce and begin to explore the mean and median of finite sets of shapes represented as integral currents. The median can be computed efficiently in practice, and we focus most of our theoretical and computational attention on…