Windings of planar random walks and averaged Dehn function
Windings of planar random walks and averaged Dehn function
We prove a sharp estimate on the expected value of the integral of the index 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.