Wiener's test for the Brownian motion on the Heisenberg group
We prove sharp estimates on the expected number of windings of a simple random walk on the square or triangular lattice. This gives new lower bounds on the averaged Dehn function, which measures the expected area needed to fill a random curve with a disc.