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+4π3log(n)+o(log(n)), where A
is some constant. Recently Kov\'{a}cs, Igl\'{o}i 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 4π3
replaced by 32π53. 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).Comment: Final version, appeared in Elect.Comm.Probab. 21 (2016