Related papers: Planar Bilipschitz Extension from Separated Nets

We adapt the classical theory of local well-posedness of evolution problems to cases in which the nonlinearity can be accurately quantified by two different norms. For ordinary differential equations, we consider $\dot{x} = f(x,x)$ for a…

For each irreducible finite dimensional representation of the Lie algebra $\mathfrak{sl}_2(\mathbb{C})$ of $2\times 2$ traceless matrices, an explicit uniform upper bound is given for the multiplicities in the cocharacter sequence of the…

Given a strictly convex domain $\Omega$ in $\R^2$, there is a natural way to define a billiard map in it: a rectilinear path hitting the boundary reflects so that the angle of reflection is equal to the angle of incidence. In this paper we…

We prove a Lipschitz extension lemma in which the extension procedure simultaneously preserves the Lipschitz continuity for two non-equivalent distances. The two distances under consideration are the Euclidean distance and, roughly…

We prove an exponential size separation between depth 2 and depth 3 neural networks (with real inputs), when approximating a $\mathcal{O}(1)$-Lipschitz target function to constant accuracy, with respect to a distribution with support in the…

Kirszbraun's Theorem states that every Lipschitz map $S\to\mathbb R^n$, where $S\subseteq \mathbb R^m$, has an extension to a Lipschitz map $\mathbb R^m \to \mathbb R^n$ with the same Lipschitz constant. Its proof relies on Helly's Theorem:…

Let $G=N\rtimes \mathbb{R}$, where $N$ is a Carnot group and $\mathbb{R}$ acts on $N$ via automorphic dilations. Homogeneous left-invariant sub-Laplacians on $N$ and $\mathbb{R}$ can be lifted to $G$, and their sum is a left-invariant…

We formulate a multi-valued version of the Tietze-Urysohn extension theorem. Precisely, we prove that any upper semicontinuous multi-valued map with nonempty closed convex values defined on a closed subset (resp. closed perfectly normal…

We establish sharp bounds for simultaneous local rotation and H\"older-distortion of planar quasiconformal maps. In addition, we give sharp estimates for the corresponding joint quasiconformal multifractal spectrum, based on new estimates…

For any non-trivial convex and bounded subset $C$ of a Banach space, we show that outside of a $\sigma$-porous subset of the space of non-expansive mappings $C\to C$, all mappings have the maximal Lipschitz constant one witnessed locally at…

We relate the maximum semidefinite and linear extension complexity of a family of polytopes to the cardinality of this family and the minimum pairwise Hausdorff distance of its members. This result directly implies a known lower bound on…

We extend Kolchin's results on linear dependence over projective varieties in the constants, to linear dependence over arbitrary complete differential varieties. We show that in this more general setting, the notion of linear dependence…

The main result of the paper: Given any $\varepsilon>0$, every locally finite subset of $\ell_2$ admits a $(1+\varepsilon)$-bilipschitz embedding into an arbitrary infinite-dimensional Banach space. The result is based on two results which…

We prove lower bounds of order $n\log n$ for both the problem to multiply polynomials of degree $n$, and to divide polynomials with remainder, in the model of bounded coefficient arithmetic circuits over the complex numbers. These lower…

Let X and Y be two infinite-dimensional Banach spaces. If X is crudely finitely representable in every finite-codimensional subspace of Y, then any proper subset of X almost bi-Lipschitz embeds into Y, in a sense quite close to that of F.…

We survey several methods of extending quasisymmetric homeomorphisms of the real line to bi-Lipschitz diffeomorphisms of the upper half-plane with respect to the hyperbolic metric.

We prove that the double layer potential operator and the gradient of the single layer potential operator are L_2 bounded for general second order divergence form systems. As compared to earlier results, our proof shows that the bounds for…

Let f be a proper holomorphic mapping between bounded domains D and D' in C^2. Let M, M' be open pieces on the boundaries of D and D' respectively, that are smooth, real analytic and of finite type. Suppose that the cluster set of M under f…

We introduce LiPopt, a polynomial optimization framework for computing increasingly tighter upper bounds on the Lipschitz constant of neural networks. The underlying optimization problems boil down to either linear (LP) or semidefinite…

We prove the following theorem: every quasiconformal harmonic mapping between two plane domains with $C^{1,\alpha}$ ($\alpha<1$), respectively $C^{1,1}$ compact boundary is bi-Lipschitz. The distance function with respect to the boundary of…