The expected number of critical percolation clusters intersecting a line segment
Abstract
We study critical percolation on a regular planar lattice. Let EG(n) be the expected number of open clusters intersecting or hitting the line segment [0,n]. (For the subscript G we either take H, when we restrict to the upper halfplane, or C, when we consider the full lattice). Cardy (2001) (see also Yu, Saleur and Haas (2008)) derived heuristically that EH(n) = An + 34π(n) + o((n)), where A is some constant. Recently Kov\'acs, Igl\'oi and Cardy (2012) derived heuristically (as a special case of a more general formula) that a similar result holds for EC(n) with the constant 34π replaced by 5332π. In this paper we give, for site percolation on the triangular lattice, a rigorous proof for the formula of EH(n) above, and a rigorous upper bound for the prefactor of the logarithm in the formula of EC(n).