Windings of planar random walks and averaged Dehn function
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.