Related papers: On Lipschitz Bijections between Boolean Functions

We answer four questions from a recent paper of Rao and Shinkar on Lipschitz bijections between functions from $\{0,1\}^n$ to $\{0,1\}$. (1) We show that there is no $O(1)$-bi-Lipschitz bijection from $\mathrm{Dictator}$ to $\mathrm{XOR}$…

Let $A \subseteq \{0,1\}^n$ be a set of size $2^{n-1}$, and let $\phi \colon \{0,1\}^{n-1} \to A$ be a bijection. We define the average stretch of $\phi$ as ${\sf avgStretch}(\phi) = {\mathbb E}[{\sf dist}(\phi(x),\phi(x'))]$, where the…

Consider a mapping $f\colon X\to Y$ between two metric measure spaces. We study generalized versions of the local Lipschitz number $\mathrm{Lip} f$, as well as of the distortion number $H_f$ that is used to define quasiconformal mappings.…

Let $\mathrm{Lip}(X)$, $\mathrm{Lip}^b(X)$, $\mathrm{Lip}^{\mathrm{loc}}(X)$ and $\mathrm{Lip}^\mathrm{pt}(X)$ be the vector spaces of Lipschitz, bounded Lipschitz, locally Lipschitz and pointwise Lipschitz (real-valued) functions defined…

We analyse and characterise the notion of lattice Lipschitz operator (a class of superposition operators, diagonal Lipschitz maps) when defined between Banach function spaces. After showing some general results, we restrict our attention to…

Let $X, Y$ be complete metric spaces and $E, F$ be Banach spaces. A bijective linear operator from a space of $E$-valued functions on $X$ to a space of $F$-valued functions on $Y$ is said to be biseparating if $f$ and $g$ are disjoint if…

We study the problem of estimating the average of a Lipschitz continuous function $f$ defined over a metric space, by querying $f$ at only a single point. More specifically, we explore the role of randomness in drawing this sample. Our goal…

We prove a global implicit function theorem. In particular we show that any Lipschitz map $f:\bR^n\times \bR^m\to\bR^n$ (with $n$-dim. image) can be precomposed with a bi-Lipschitz map $\bar{g}:\bR^n\times \bR^m\to \bR^n\times \bR^m$ such…

We prove various theorems on approximation using polynomials with integer coefficients in the Bernstein basis of any given order. In the extreme, we draw the coefficients from $\{ \pm 1\}$ only. A basic case of our results states that for…

We construct planar bi-Sobolev mappings whose local volume distortion is bounded from below by a given function $f\in L^p$ with $p>1$, i.e. bi-Sobolev solutions for the prescribed Jacobian inequality in the plane for right-hand sides $f\in…

A mapping $f:X\to Y$ between metric spaces is called \emph{little Lipschitz} if the quantity $$ \operatorname{lip}(f(x)=\liminf_{r\to0}\frac{\operatorname{diam} f(B(x,r))}{r} $$ is finite for every $x\in X$. We prove that if a compact (or,…

The purpose of this survey article is a comprehensive study of operator Lipschitz functions. A continuous function $f$ on the real line ${\Bbb R}$ is called operator Lipschitz if $\|f(A)-f(B)\|\le{\rm const}\|A-B\|$ for arbitrary…

The purpose of this survey is a comprehensive study of operator Lip\-schitz functions. A continuous function $f$ on the real line ${\Bbb R}$ os called operator Lipschitz if $\|f(A)-f(B)\|\le\operatorname{const}\|A-B\|$ for arbitrary…

An additive map $T$ acting between spaces of vector-valued functions is said to be biseparating if $T$ is a bijection so that $f$ and $g$ are disjoint if and only if $Tf$ and $Tg$ are disjoint. Note that an additive bijection retains…

We introduce the generalized notion of semicontinuity of a function defined on a topological space and derive the useful classification of the so-called Lipschitz derivatives of functions defined on a metric space. Secondly, we investigate…

A well-known class of questions asks the following: If $X$ and $Y$ are metric measure spaces and $f:X\rightarrow Y$ is a Lipschitz mapping whose image has positive measure, then must $f$ have large pieces on which it is bi-Lipschitz?…

We introduce a generalized version of the local Lipschitz number $\textrm{lip}\,u$, and show that it can be used to characterize Sobolev functions $u\in W_{\textrm{loc}}^{1,p}(\mathbb R^n)$, $1\le p\le \infty$, as well as functions of…

We construct a bi-Lipschitz bijection from the Boolean cube to the Hamming ball of equal volume. More precisely, we show that for all even n there exists an explicit bijection f from the n-dimensional Boolean cube to the Hamming ball of…

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…

We prove a quantitative version of the following statement. Given a Lipschitz function f from the k-dimensional unit cube into a general metric space, one can decomposed f into a finite number of BiLipschitz functions f|_{F_i} so that the…