1: \begin{abstract}

2: 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$ there exist $x,y\in \H$ with $d_W(x,y)$ arbitrarily large and

3: \begin{equation}\label{eq:comp abs}

4: \frac{\|f(x)-f(y)\|}{d_W(x,y)}\lesssim \left(\frac{\log\log d_W(x,y)}{\log d_W(x,y)}\right)^{1/p}.

5: \end{equation}

6:  We also show that any embedding into $X$ of a ball of radius $R\ge 4$ in $\H$ incurs bi-Lipschitz distortion that grows at least as a constant multiple of

7: \begin{equation}\label{eq:dist abs}

8: \left(\frac{\log R}{\log\log R}\right)^{1/p}.

9: \end{equation}

10:  Both~\eqref{eq:comp abs} and~\eqref{eq:dist abs} are sharp up to the iterated logarithm terms. When $X$ is

11: Hilbert space we obtain a representation-theoretic proof yielding

12: bounds  corresponding to~\eqref{eq:comp abs} and~\eqref{eq:dist abs}

13: which are sharp up to a universal constant.

14: \end{abstract}

15: