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!