Negative association of uniform spanning-tree edges (source code)

= Negative association of uniform spanning-tree edges

For a uniform spanning tree, increasing events supported on disjoint sets of edges have nonpositive covariance. This negative association and the spatial Markov property imply monotonicity of free-boundary spanning-tree measures under exhaustion.