1: \begin{abstract}
2: % %
3: %Consider the random Cayley graph of a finite group $G$ with respect to $k$ generators chosen uniformly at random, with $1 \ll \log k \ll \log \abs G$.
4: %%Results below hold with high probability.
5: %A conjecture of \citeauthor{AD:conjecture} asserts, for $k \gg \log \abs G$, that the random walk on this graph exhibits cutoff at a time which is a function only of $\abs G$ and $k$.
6: %The conjecture is verified for all Abelian groups, but has neither been verified nor rejected for non-Abelian groups.
7: %
8: %We establish cutoff for the Heisenberg group $H_{p,d}$ of $d \times d$ uni-upper triangular matrices with entries modulo $p$, subject to some mild conditions; we allow $1 \ll k \lesssim \log \abs{H_{p,d}}$ as well as $k \gg \log \abs{H_{p,d}}$.
9: %In doing so, we refute the conjecture:
10: % the cutoff time is $\max\bra{\log_k \abs{H_{p,d}}, \, s_0 k}$, where $s_0$ is the time at which the entropy of $\Poisson(s_0)$ is $(\log \abs A)/k$, where $A \cong \bz_p^{d-1}$ is the Abelianisation of $H_{p,d}$;
11: % this cannot be written as a function only of $\abs{H_{p,d}}$ and $k$.
12: %
13: %We also show that the graph distance from the identity for all but $\oh{\abs G}$ of the elements of $G$ lies in $[M - \oh M, M + \oh M]$, where $M$ is the minimal radius of a ball in $\bz^k$ of cardinality~$p^{d-1}$.
14: % %
15: %\end{abstract}