Finite-range dependent random field (source code)

= Finite-range dependent random field

A random field is finite-range dependent if collections indexed by sets farther apart than a fixed distance are independent. Sparse subsets of long paths then restore enough independence for path-counting arguments.