Related papers: Embedding the Heisenberg group into a bounded dime…

We show that for any Carnot group $G$ there exists a natural number $D_G$ such that for any $0<\varepsilon<1/2$ the metric space $(G,d_G^{1-\varepsilon})$ admits a bi-Lipschitz embedding into $\mathbb{R}^{D_G}$ with distortion…

Let $\H$ denote the discrete Heisenberg group, equipped with a word metric $d_W$ associated to some finite symmetric generating set. We show that if $(X,\|\cdot\|)$ is a $p$-convex Banach space then for any Lipschitz function $f:\H\to X$…

We study the family of vertical projections whose fibers are right cosets of horizontal planes in the Heisenberg group, $\mathbb{H}^n$. We prove lower bounds for Hausdorff dimension distortion of sets under these mappings, with respect to…

The main question studied in this article may be viewed as a nonlinear analogue of Dvoretzky's theorem in Banach space theory or as part of Ramsey theory in combinatorics. Given a finite metric space on n points, we seek its subspace of…

We study the geodesics, Hausdorff dimension, and curvature bounds of the sub-Lorentzian Heisenberg group. Through an elementary variational approach, we provide a new proof of the structure of its maximizing geodesics, showing that they are…

We compute the Markov convexity invariant of the continuous infinite dimensional Heisenberg group $\mathbb{H}_\infty$ to show that it is Markov 4-convex and cannot be Markov $p$-convex for any $p < 4$. As Markov convexity is a biLipschitz…

Our purpose in this paper is to study isometries and isometric embeddings of the $p$-Wasserstein space $\mathcal{W}_p(\mathbb{H}^n)$ over the Heisenberg group $\mathbb{H}^n$ for all $p>1$ and for all $n\geq 1$. First, we create a link…

We show that the cyclic lamplighter group $C_2 \bwr C_n$ embeds into Hilbert space with distortion ${\rm O}(\sqrt{\log n})$. This matches the lower bound proved by Lee, Naor and Peres in \cite{LeeNaoPer}, answering a question posed in that…

In the sub-Riemannian Heisenberg group equipped with its Carnot-Caratheodory metric and with a Haar measure, we consider isodiametric sets, i.e. sets maximizing the measure among all sets with a given diameter. In particular, given an…

An improved a.e. lower bound is given for Hausdorff dimension under vertical projections in the first Heisenberg group, with respect to the Carnot-Carath\'eodory metric. This improves the known lower bound, and answers a question of…

Although the Nash theorem solves the isometric embedding problem, matters are inherently more involved if one is further seeking an embedding that is well-behaved from the standpoint of submanifold geometry. More generally, consider a…

We show that the Heisenberg group is not minimal in looking down. This answers Problem 11.15 in `Fractured fractals and broken dreams' by David and Semmes, or equivalently, Question 22 and hence also Question 24 in `Thirty-three yes or no…

The Heisenberg group $\mathbb{H}$ equipped with a sub-Riemannian metric is one of the most well known examples of a doubling metric space which does not admit a bi-Lipschitz embedding into any Euclidean space. In this paper we investigate…

This note pertains to isometric embeddings endowed with certain geometric properties. We study two embedding problems for a Riemannian manifold $M$ which is diffeomorphic to $\RR^n$ and admits a Bieberbach group $\Gamma$ acting by…

It is shown that for every $K>0$ and $\e\in (0,1/2)$ there exist $N=N(K)\in \N$ and $D=D(K,\e)\in (1,\infty)$ with the following properties. For every separable metric space $(X,d)$ with doubling constant at most $K$, the metric space…

Nonabelian simply connected nilpotent Lie groups and not virtually abelian finitely generated groups of polynomial growth do not quasi-isometrically embed into uniformly convex Banach spaces. We quantify this fact by showing that a ball of…

It is shown that for every $\e\in (0,1)$, every compact metric space $(X,d)$ has a compact subset $S\subseteq X$ that embeds into an ultrametric space with distortion $O(1/\e)$, and $$\dim_H(S)\ge (1-\e)\dim_H(X),$$ where $\dim_H(\cdot)$…

Take a riemanniann nilmanifold, lift its metric on its universal cover. In that way one obtains a metric invariant under the action of some co-compact subgroup. We use it to define metric balls and then study the spectrum of the laplacian…

Let $\H= < a,b | a[a,b]=[a,b]a \wedge b[a,b]=[a,b]b>$ be the discrete Heisenberg group, equipped with the left-invariant word metric $d_W(\cdot,\cdot)$ associated to the generating set ${a,b,a^{-1},b^{-1}}$. Letting $B_n= {x\in \H:…

Binary embedding is the problem of mapping points from a high-dimensional space to a Hamming cube in lower dimension while preserving pairwise distances. An efficient way to accomplish this is to make use of fast embedding techniques…