= Solution
Take an increasing exhaustion $G_n$ of $G$ by finite connected vertex sets, identify every vertex outside $G_n$ to one boundary vertex, and choose a <uniform spanning tree> of the resulting finite wired graph. The weak limit as $n\to\infty$ is the <wired uniform spanning forest> of $G$.
For <Wilson algorithm rooted at infinity>, enumerate $V$ as $v_1,v_2,\ldots$. Run a <simple random walk> from $v_1$ forever and add its chronological <loop erasure>. Transience makes the infinite loop erasure well-defined. Next, from the first vertex not already in the forest, run an independent random walk until it hits the existing forest; if it never hits, run it forever. Add its loop erasure and continue through the enumeration. Wilson's theorem rooted at infinity says that the resulting forest has the wired uniform spanning forest law.
Back to article page
