Finite-box comparison for percolation parameters

ID: finite-box-comparison-for-percolation-parameters

If an increasing event depends on sites or edges, the uniform-label monotone coupling of Bernoulli percolation and the union bound give for . A change of the event requires a coordinate with label in . For bond percolation from the origin to the boundary of , first-hit graph paths use the internal edges, so the same count bounds the parameter sensitivity.

New to topics? Read the docs here!