1: \begin{abstract}

2:   We show that the continuous infinite dimensional Heisenberg group $\mathbb{H}_\infty$ is Markov 4-convex and that the 3-dimensional Heisenberg group $\mathbb{H}_1$ (and thus also $\mathbb{H}_\infty$) cannot be Markov $p$-convex for any $p < 4$.  As Markov convexity is biLipschitz invariant and Hilbert spaces are Markov 2-convex, this gives a different proof of the classical theorem of Pansu and Semmes that the Heisenberg group does not biLipschitz embed into any Euclidean space.

3:   

4:   The Markov convexity lower bound follows from exhibiting an explicit embedding of Laakso graphs $G_n$ into $\mathbb{H}_\infty$ that has distortion at most $C n^{1/4} \sqrt{\log n}$.  We use this to derive a quantitative lower bound for the biLipschitz distortion of balls of the discrete Heisenberg group into Markov $p$-convex metric spaces.  Finally, we show surprisingly that Markov 4-convexity does not give the optimal distortion for embeddings of binary trees $B_m$ into $\mathbb{H}_\infty$ by showing that the distortion is on the order of $\sqrt{\log m}$.

5: \end{abstract}

6: