Random walk on a discrete Heisenberg group

We use the estimate of paths in Z ² enclosing a null algebraic area to compute correction terms on the random walk on certain discrete Heisenberg groups. We obtain that the probability to return at the origin of the simple random walk on this group is $frac{1}{4n^{2}}+O(frac{1}{n^{3}})$ .