Reversibility of loop-erased random walk
= Reversibility of loop-erased random walk
On a finite undirected <graph>, the reversal of a loop-erased <random walk> from $x$ to $y$ has the law of a loop-erased <random walk> from $y$ to $x$. The uniform-spanning-tree path representation proves the identity.