Related papers: Isodiametric inequality in Carnot groups

In this paper we define and study a notion of discrete homology theory for metric spaces. Instead of working with simplicial homology, our chain complexes are given by Lipschitz maps from an $n$-dimensional cube to a fixed metric space. We…

Urysohn constructed a separable complete universal metric space homogeneous for all finite subspaces, which is today called the Urysohn universal metric space. Some authors have recently investigated an ultrametric analogue of this space.…

We derive lower estimates for the approximation of the $d$-dimensional Euclidean ball by polytopes with a fixed number of $k$-dimensional faces, $k\in\{0,1,\ldots,d-1\}$. The metrics considered include the intrinsic volume difference and…

The group of real 4 by 4 upper triangular matrices with 1s on the diagonal has a left-invariant subRiemannian (or Carnot-Caratheodory) structure whose underlying distribution corresponds to the superdiagonal. We prove that the associated…

We study the approximate differentiability of measurable mappings of Carnot--Carath\'eodory spaces. We show that the approximate differentiability almost everywhere is equivalent to the approximate differentiability along the basic…

For the biharmonic Steklov eigenvalue problem considered in this paper, we show that among all bounded Euclidean domains of class $C^{1}$ with fixed measure, the ball maximizes the first positive eigenvalue.

We introduce several homotopy equivalence relations for proper holomorphic mappings between balls. We provide examples showing that the degree of a rational proper mapping between balls (in positive codimension) is not a homotopy invariant.…

We give some natural sufficient conditions for balls in a metric space to have small intersection. Roughly speaking, this happens when the metric space is (i) expanding and (ii) well-spread, and (iii) a certain random variable on the…

We study several notions of null sets on infinite-dimensional Carnot groups. We prove that a set is Aronszajn null if and only if it is null with respect to measures that are convolutions of absolutely continuous (CAC) measures on Carnot…

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…

The Falconer conjecture asserts that if E is a planar set with Hausdorff dimension strictly greater than 1, then its Euclidean distance set has positive one-dimensional Lebesgue measure. We discuss the analogous question with the Euclidean…

By using optimal mass transport theory we prove a sharp isoperimetric inequality in ${\sf CD} (0,N)$ metric measure spaces assuming an asymptotic volume growth at infinity. Our result extends recently proven isoperimetric inequalities for…

If ${\mathcal C}\simeq 2^{\mathbb N}$ denotes the Cantor set realized as the infinite product of two-point groups, then a folklore result says the Cantor map from ${\mathcal C}$ into $[0,1]$ sends Haar measure to Lebesgue measure on the…

A metric space $\mathrm{M}=(M;\de)$ is {\em homogeneous} if for every isometry $f$ of a finite subspace of $\mathrm{M}$ to a subspace of $\mathrm{M}$ there exists an isometry of $\mathrm{M}$ onto $\mathrm{M}$ extending $f$. A metric space…

We study the diametric problem (i.e., optimal anticodes) in the space of permutations under the Ulam distance. That is, let $S_n$ denote the set of permutations on $n$ symbols, and for each $\sigma, \tau \in S_n$, define their Ulam distance…

We prove some geometric properties of sets in the first Heisenberg group whose Heisenberg Hausdorff dimension is the minimal or maximal possible in relation to their Euclidean one and the corresponding Hausdorff measures are positive and…

The Blaschke-Santal\'o Inequality is the assertion that the volume product of a centrally symmetric convex body in Euclidean space is maximized by (and only by) ellipsoids. In this paper we give a Fourier analytic proof of this fact.

In this paper we prove that isoperimetric sets in three-dimensional homogeneous spaces diffeomorphic to $\mathbb{R}^3$ are topological balls. We also prove that in three-dimensional homogeneous spheres isopermetric sets are either…

Busemann's intersection inequality gives an upper bound for the volume of the intersection body of a star body in terms of the volume of the body itself. Koldobsky, Paouris, and Zymonopoulou asked if there is a similar result for…

Using the Chern-Gauss-Bonnet theorem, we establish a sharp inequality for the total Gauss-Kronecker curvature of convex hypersurfaces in Cartan-Hadamard manifolds $M^n$ with nullity index at least $n-3$. Consequently, the Euclidean…