arXiv research

The paper extends a measure preserving property to bi-Lipschitz maps between Moran sets.

Extends Palais' result on diffeomorphisms to homeomorphisms and bi-Lipschitz mappings.

Bi-Lipschitz flows approximate a wide range of distributions.

Let $X$ be a closed semialgebraic set of dimension $k.$ If $n\ge 2k+1$, then there is a bi-Lipschitz and semialgebraic embedding of $X$ into $\Bbb R^n.$ Moreover, if $n \ge 2k+2$, then this embedding is unique (up to a bi-Lipschitz and semialgebraic homeomorphism of $\Bbb R^n.$

We provide bi-Lipschitz invariants for finitely determined map germs $f: (\mathbb{K}^n,0) \to (\mathbb{K}^p, 0)$, where $\mathbb{K} = \mathbb{R}$ or $\mathbb{C}$. The aim of the paper is to provide partial answers to the following questions: Does the bi-Lipschitz type of a map germ $f: (\mathbb{R}^n, 0) \to (\mathbb{R…

In this paper, two sufficient conditions are provided for given two K-equivalent map-germs to be bi-Lipschitz A-equivalent. These are Lipschitz analogues of the known results on C^r-A-equivalence $(0 \leq r \leq \infty)$ for given two K-equivalent map-germs. As a corollary of one of our results, a Lipschitz version of …

In \cite{kamz} the author proved that every quasiconformal harmonic mapping between two Jordan domains with $C^{1,α}$, $0<α\le 1$, boundary is bi-Lipschitz, providing that the domain is convex. In this paper we avoid the restriction of convexity. More precisely we prove: any quasiconformal harmonic mapping between two …

In this paper we describe the notion of a weak lipschitzianity of a mapping on a $C^{q}$ stratification. We also distinguish a class of regularity conditions that are in some sense invariant under definable, locally Lipschitz and weakly bi-Lipschitz homeomorphisms. This class includes the Whitney (B) condition and the …

Tukia and Vaisala showed that every quasi-conformal map of $\R^n$ extends to a quasi-conformal self-map of $\R^{n+1}$. The restriction of the extended map to the upper half-space $\R^n \times \R^+$ is, in fact, bi-Lipschitz with respect to the hyperbolic metric. More generally, every homogeneous negatively curved manif…

Existence and rigidity results for lifts in Carnot groups.

Proves isometric embeddings in Euclidean spaces for RCD spaces.

As our main theorem, we prove that a Lipschitz map from a compact Riemannian manifold $M$ into a Riemannian manifold $N$ admits a smooth approximation via immersions if the map has no singular points on $M$ in the sense of F.H. Clarke, where $\dim M \leq \dim N$. As its corollary, we have that if a bi-Lipschitz homeomo…

The paper sharpens a theorem about surfaces with zero Gaussian curvature.

Given a Moebius homeomorphism $f : \partial X \to \partial Y$ between boundaries of proper, geodesically complete CAT(-1) spaces $X,Y$, and a family of probability measures $\{ μ_x \}_{x \in X}$ on $\partial X$, we describe a continuous family of extensions $\{\hat{f}_p : X \to Y \}_{1 \leq p \leq \infty}$ of $f$, call…

Bi-Lipschitz Autoencoder ensures robust manifold preservation.

We prove that any diffeomorphism of the sphere S^n to itself can be decomposed into bi-Lipschitz mappings of small isometric distortion and which move points a small amount in the spherical metric.

The study examines the limitations of bi-Lipschitz Normalizing Flows in approximating certain distributions.

We show that there is no bi-Lipschitz homeomorphism of $\mathbb{R}^2$ that maps a spiral with a sub-exponential decay of winding radii to an unwinded arc. This result is sharp as shows an example of a logarithmic spiral.

The paper examines bi-Lipschitz triviality of function germs on singular varieties.

Given a pseudo-Riemannian metric of regularity $C^{1,1}$ on a smooth manifold, we prove that the corresponding exponential map is a bi-Lipschitz homeomorphism locally around any point. We also establish the existence of totally normal neighborhoods in an appropriate sense. The proofs are based on regularization, combin…

This is one of a series of papers examining the interplay between differentiation theory for Lipschitz maps, X-->V, and bi-Lipschitz nonembeddability, where X is a metric measure space and V is a Banach space. Here, we consider the case V=L^1 where differentiability fails. We establish another kind of differentiability…

Classifies semi-algebraic surfaces up to bi-Lipschitz homeomorphisms.

This is the first paper of two ones. Here we prove that two compact Alexandrov surfaces of bounded integral curvature having no peak points are bi-Lipschitz equivalent if they are homeomorphic one to the other. Also conditions under that two ends having finite integral negative curvature are bi-Lipschitz equivalent are…

We prove a quantitative bi-Lipschitz nonembedding theorem for the Heisenberg group with its Carnot-Carathéodory metric and apply it to give a lower bound on the integrality gap of the Goemans-Linial semidefinite relaxation of the Sparsest Cut problem.

We give a sufficient condition for a metric (homology) manifold to be locally bi-Lipschitz equivalent to an open subset in $\rn$. The condition is a Sobolev condition for a measurable coframe of flat 1-forms. In combination with an earlier work of D. Sullivan, our methods also yield an analytic characterization for smo…

We show that a weighted homogeneous complex surface singularity is metrically conical (i.e., bi-Lipschitz equivalent to a metric cone) only if its two lowest weights are equal. We also give an example of a pair of weighted homogeneous complex surface singularities that are topologically equivalent but not bi-Lipschitz …

Bi-Lipschitz proof for 2-varifolds near critical Allard condition.

Study bi-Lipschitz equivalence of mixed polynomials under specific conditions.

We discuss the bi-Lipschitz geometry of an isolated singular point of a complex surface which particular emphasis on when it is metrically conical.

We give a new approach to the infinitesimal structure of Lipschitz maps into L^1. As a first application, we give an alternative proof of the main theorem from an earlier paper, that the Heisenberg group does not admit a bi-Lipschitz embedding in L^1. The proof uses the metric differentiation theorem of Pauls and the c…

The study provides optimal estimates for surfaces close to constant mean curvature.

Researchers develop a new framework to control neural network sensitivity.

Bi-Lipschitz rigidity theorem for dense subgroups of algebraic groups.

Some results on existence of global Chebyshev coordinates on a Riemannian manifold or, more generally, on Aleksandrov surface are proved. For instance, if the positive and the negative parts of integral curvature of a Riemannian manifold M are less than 2πeach, then there exist global Chebyshev coordinates on M. These …

Study links between surface germs and knot theory in 4D.

This article studies the smoothness of conformal mappings between two Riemannian manifolds whose metric tensors have limited regularity. We show that any bi-Lipschitz conformal mapping or $1$-quasiregular mapping between two manifolds with $C^r$ metric tensors ($r > 1$) is a $C^{r+1}$ conformal (local) diffeomorphism. …

We show that a family of isolated complex hypersurface singularities with constant Milnor number may fail, in the strongest sense, to have constant bi-Lipschitz type. Our example is the Briac con--Speder family $X_t:=\{(x,y,z)\in\C^3 | x^5+z^{15}+y^7z+txy^6=0 \}$ of normal complex surface germs; we show the germ $(X_0,…

Persistence diagrams are important descriptors in Topological Data Analysis. Due to the nonlinearity of the space of persistence diagrams equipped with their {\em diagram distances}, most of the recent attempts at using persistence diagrams in machine learning have been done through kernel methods, i.e., embeddings of …

Let $S=S_{g,p}$ be a compact, orientable surface of genus $g$ with $p$ punctures and such that $d(S):=3g-3+p>0$. The mapping class group $\textup{Mod}_S$ acts properly discontinuously on the Teichmüller space $\mathcal T(S)$ of marked hyperbolic structures on $S$. The resulting quotient $\mathcal M(S)$ is the moduli sp…

The main goal of this paper is a detailed study of asymptotic cones of the mapping class groups. In particular, we prove that every asymptotic cone of a mapping class group has a bi-Lipschitz equivariant embedding into a product of real trees, sending limits of hierarchy paths onto geodesics, and with image a median su…

New Dynkin condition for manifolds with boundary yields bi-Lipschitz equivalence and spectral properties.

We show that, for all $α\geq 0$, the generalized Grushin plane $\mathbb{G}_α$ is bi-Lipschitz homeomorphic to a $2$-dimensional quasiplane in the Euclidean space $\mathbb{R}^{[α]+2}$, where $[α]$ is the integer part of $α$. The target dimension is sharp. This generalizes a recent result of Wu.

A Wasserstein spaces is a metric space of sufficiently concentrated probability measures over a general metric space. The main goal of this paper is to estimate the largeness of Wasserstein spaces, in a sense to be precised. In a first part, we generalize the Hausdorff dimension by defining a family of bi-Lipschitz inv…

Let $Ω\subset \mathbb{R}^3$ be a Lipschitz domain, and consider a harmonic map $v: Ω\rightarrow \mathbb{S}^2$ with boundary data $v|\partialΩ= \varphi$ which minimises the Dirichlet energy. For $p\geq 2$, we show that any energy minimiser $u$ whose boundary map $ψ$ has a small $W^{1,p}$-distance to $\varphi$ is close t…

There are several Teichmüller spaces associated to a surface of infinite topological type, after the choice of a particular basepoint (a complex or a hyperbolic structure on the surface). These spaces include the quasiconformal Teichmüller space, the length spectrum Teichmüller space, the Fenchel-Nielsen Teichmüller sp…

Nonlinear dimensionality reduction embeddings computed from datasets do not provide a mechanism to compute the inverse map. In this paper, we address the problem of computing a stable inverse map to such a general bi-Lipschitz map. Our approach relies on radial basis functions (RBFs) to interpolate the inverse map ever…

Smooths metrics on manifolds with curvature bounds and injectivity radius constraints.

Characterizes hypergenerated stratified groups with flat boundaries.