Translation ergodicity of a uniform spanning forest (source code)

= Translation ergodicity of a uniform spanning forest

On a transitive graph, the free and wired uniform spanning-forest measures are invariant and ergodic under the transitive automorphism group. Consequently every translation-invariant event has probability zero or one.