Infinite-volume wired random-cluster measure (source code)

= Infinite-volume wired random-cluster measure
{title2=$\phi^1_{p,q}$}

For $q\ge1$, finite <random-cluster measures> with all boundary <graph vertices> identified have a weak infinite-volume <limit of a sequence>. On a regular <lattice> it is invariant under translations and <lattice> reflections and has <positive association of the random-cluster model>. Its conditional single-edge open <probability> lies between $p/(p+q(1-p))$ and $p$. Connection events can be approximated by increasing finite-volume path events, so their positive-association inequalities pass to the <limit of a sequence>.