Related papers: The Urysohn sphere is pseudofinite
Let U denote the Urysohn sphere and consider U as a metric structure in the empty continuous signature. We prove that every definable function from U^n to U is either a projection function or else has relatively compact range. As a…
We characterize model theoretic properties of the Urysohn sphere as a metric structure in continuous logic. In particular, our first main result shows that the theory of the Urysohn sphere is $\text{SOP}_n$ for all $n\geq 3$, but does not…
In a paper published posthumously, P.S. Urysohn constructed a complete, separable metric space that contains an isometric copy of every complete separable metric space, nowadays referred to as the Urysohn universal space. Here we study…
We solve the oscillation stability problem for the Urysohn sphere, an analog of the distortion problem for the Hilbert space in the context of the Urysohn universal metric space. This is achieved by solving a purely combinatorial problem…
The Grushin sphere is an almost-Riemannian manifold that degenerates along its equator. We construct a sequence of Riemannian metrics on a sphere $S^{m+n}$ with $Ric\ge 1$ such that its Gromov-Hausdorff limit is the $n$-dimensional Grushin…
The Urysohn space is a separable complete metric space with two fundamental properties: (a) universality: every separable metric space can be isometrically embedded in it; (b) ultrahomogeneity: every finite isometry between two finite…
We establish an approximate zero-one law for sentences of continuous logic over finite metric spaces of diameter at most $1$. More precisely, we axiomatize a complete metric theory $T_{\mathrm{as}}$ such that, given any sentence $\sigma$ in…
The group $\text{Diff}(\mathcal{M})$ of diffeomorphisms of a closed manifold $\mathcal{M}$ is naturally equipped with various right-invariant Sobolev norms $W^{s,p}$. Recent work showed that for sufficiently weak norms, the geodesic…
This note treats several problems for the fractional perimeter or $s$-perimeter on the sphere. The spherical fractional isoperimetric inequality is established. It turns out that the equality cases are exactly the spherical caps.…
The Urysohn space is a complete separable metric space, universal among separable metric spaces for extending finite partial isometries into it. We present an alternative construction of the Urysohn space which enables us to show that…
In the present note, first we derive an intrinsic inequality for Pseudo-umbilical spacelike submanifold in an indefinite space form. We use this inequality to show that such submanifold is totally geodesic. In the rest part of this paper,…
We show that if the entropy of any closed hypersurface is close to that of a round hyper-sphere, then it is close to a round sphere in Hausdorff distance. Generalizing the result of \cite{BW1} to higher dimensions.
The Urysohn universal metric space U is characterized up to isometry by the following properties: (1) U is complete and separable; (2) U contains an isometric copy of every separable metric space; (3) every isometry between two finite…
There are considered 4-dimensional pseudo-Riemannian spaces with inner products of signature (3,1) and (2,2). The objects of investigation are space-like and time-like hyperspheres in the respective cases. These hypersurfaces are equipped…
We give a short proof of a theorem of Guth relating volume of balls and Uryson width. The same approach applies to Hausdorff content implying a recent result of Liokumovich-Lishak-Nabutovsky-Rotman. We show also that for any $C>0$ there is…
We prove that finite perimeter subsets of $\mathbb{R}^{n+1}$ with small isoperimetric deficit have boundary Hausdorff-close to a sphere up to a subset of small measure. We also refine this closeness under some additional a priori integral…
We prove $\epsilon$-closeness of hypersurfaces to a sphere in Euclidean space under the assumption that the traceless second fundamental form is $\delta$-small compared to the mean curvature. We give the explicit dependence of $\delta$ on…
The two dimensional sphere can't be approximated by finite homogeneous spaces. We describe the optimal approximation and its distance from the sphere.
In this paper, we give new constructions of Urysohn universal ultrametric spaces. We first characterize a Urysohn universal ultrametric subspace of the space of all continuous functions whose images contain the zero, from a zero-dimensional…
We generalize the maximal diameter sphere theorem due to Toponogov by means of the radial curvature. As a corollary to our main theorem, we prove that for a complete connected Riemannian $n$-manifold $M$ having radial sectional curvature at…