Abstract
A new formula for continuum percolation on the Euclidean space Rd (d ≥ 2), which is analogous to Russo's formula for bond or site percolation, is proved. Using this formula, we prove the equivalence between uniqueness of the infinite cluster and continuous differentiability of the mean number of clusters per Poisson point (or free energy). This yields a new proof for uniqueness of the infinite cluster since the continuous differentiability of free energy has been proved by Bezuidenhout, Grimmett and Löffler (1998); a consequence of this new proof gives the continuity of connectivity functions.
Citation
Jianping Jiang. Sanguo Zhang. Tiande Guo. "Russo's formula, uniqueness of the infinite cluster, and continuous differentiability of free energy for continuum percolation." J. Appl. Probab. 48 (3) 597 - 610, September 2011. https://doi.org/10.1239/jap/1316796901
Information