Related papers: On a link criterion for Lipschitz normal embedding…

Exhibiting a new type of measure concentration, we prove uniform concentration bounds for measurable Lipschitz functions on product spaces, where Lipschitz is taken with respect to the metric induced by a weighted covering of the index set…

The usual theory of negative type (and $p$-negative type) is heavily dependent on an embedding result of Schoenberg, which states that a metric space isometrically embeds in some Hilbert space if and only if it has 2-negative type. A…

We fix a complex analytic normal singularity germ $(X,o)$ of dimension $\geq 2$ and a (not necessarily irreducible) reduced Weil divisor $(S,o)\subset (X,o)$. The embedded resolution of the pair determines a multi-index filtration of the…

We prove that every homomorphism $\mathcal{O}^E_\zeta\to\mathcal{O}^F_\zeta$, with $E$ and $F$ Banach spaces and $\zeta\in\mathbb{C}^m$, is induced by a $\mathop{\mathrm{Hom}}(E,F)$-valued holomorphic germ, provided that $1\leq m<\infty$. A…

This note shows that, for a fixed Lipschitz constant $L > 0$, one layer neural networks that are $L$-Lipschitz are dense in the set of all $L$-Lipschitz functions with respect to the uniform norm on bounded sets.

Consider the semialgebraic structure over the real field. More generally, let an ominimal structure be over a real closed field. We show that a definable metric space X with a definable metric d is embedded into a Euclidean space so that…

We construct a minimal dynamical system of mean dimension equal to $1$, which can be embedded in the shift action on the Hilbert cube $[0,1]^\mathbb{Z}$. This clarifies a seemingly plausible impression about embedding possibility in…

A link at the origin of an isolated singularity of a two-dimensional semialgebraic surface in $\mathbb{R}^4$ is a topological knot (or link) in $S^3$. We study the connection between the ambient Lipschitz geometry of semialgebraic surface…

We prove a separable reduction theorem for sigma-porosity of Suslin sets. In particular, if A is a Suslin subset in a Banach space X, then each separable subspace of X can be enlarged to a separable subspace V such that A is sigma-porous in…

We axiomatically define (pre-)Hilbert categories. The axioms resemble those for monoidal Abelian categories with the addition of an involutive functor. We then prove embedding theorems: any locally small pre-Hilbert category whose monoidal…

In this paper we mainly study the existence of analytic normalization and the normal form of finite dimensional complete analytic integrable dynamical systems. More details, we will prove that any complete analytic integrable diffeomorphism…

Understanding how singularities behave under small perturbations is a central theme in singularity theory. In this paper we establish sufficient conditions for families of analytic function-germs on a germ of a complex analytic space to…

Two flows on a finite-dimensional normed space $X$ are Lipschitz equivalent if some homeomorphism $h$ of $X$ that is bi-Lipschitz near the origin preserves all orbits, i.e., $h$ maps each orbit onto an orbit. A complete classification by…

Let M be a real analytic manifold modeled on a locally convex space and K be a non-empty compact subset of M. We show that if an open neighborhood of K in M admits a complexification which is a regular topological space, then the germ of…

Feature maps associated with positive definite kernels play a central role in kernel methods and learning theory, where regularity properties such as Lipschitz continuity are closely related to robustness and stability guarantees. Despite…

Diamond graphs and Laakso graphs are important examples in the theory of metric embeddings. Many results for these families of graphs are similar to each other. In this connection, it is natural to ask whether one of these families admits…

We construct an embedding G of the category of graphs into the category of abelian groups such that for graphs X and Y we have Hom(GX,GY)=Z[Hom(X,Y)], the free abelian group whose basis is the set Hom(X,Y). The isomorphism is functorial in…

Let $\mathcal{C}$ be a small, connected category with finite hom-sets. We show that if the embedding of a connected subcategory $\mathcal{J}$ is both initial and final, then the restriction of any $\mathcal{C}$-module along $\mathcal{J}$…

Diversities are like metric spaces, except that every finite subset, instead of just every pair of points, is assigned a value. Just as there is a theory of minimal distortion embeddings of finite metric spaces into $L_1$, there is a…

Monod proved that any continuous cohomology of a semisimple Lie group $G$ can be represented by a measurable cocycle on the associated Furstenberg boundary, which we upgraded to an alternating cocycle. In the current paper we improve that…