"Factorization formulas for percolation"

 In the recent series of papers Kleban, Simmons, and Ziff gave a non-rigorous computation  (base on Conformal Field Theory) of probabilities of several connectivity events for critical percolation. In particular they showed that the probability that there is a percolation cluster connecting two points on the boundary and a point inside the domain can be factorized in therms of pairwise connection probabilities. We are going to use SLE techniques to rigorously compute probabilities of several connectivity events and prove the factorization formula.