1: \begin{abstract}

2: In this article we study percolation on the Cayley graph of a free

3: product of groups.

4: 

5: The critical probability $p_c$ of a free product

6: $G_1*G_2*\cdots*G_n$ of groups is found as a solution of an equation

7: involving only the expected subcritical cluster size of factor

8: groups $G_1,G_2,\dots,G_n$. For finite groups these equations are

9: polynomial and can be explicitly written down. The expected

10: subcritical cluster size of the free product is also found in terms

11: of the subcritical cluster sizes of the factors. In particular, we

12: prove that $p_c$ for the Cayley graph of the modular group

13: $\hbox{PSL}_2(\mathbb Z)$ (with the standard generators) is

14: $.5199...$, the unique root of the polynomial

15: $2p^5-6p^4+2p^3+4p^2-1$ in the interval $(0,1)$.

16: 

17: In the case when groups $G_i$ can be ``well approximated'' by a

18: sequence of quotient groups, we show that the critical probabilities

19: of the free product of these approximations converge to the critical

20: probability of $G_1*G_2*\cdots*G_n$ and the speed of convergence

21: is exponential. Thus for residually finite groups, for example, one

22: can restrict oneself to the case when each free factor is finite.

23: 

24: We show that the critical point, introduced by Schonmann,  $p_{\mathrm{exp}}$ of the free

25: product is just the minimum of $p_{\mathrm{exp}}$ for the factors.

26: 

27: \comment

28: We also find explicit formulas for the right derivative of

29: percolation function and the left derivative of the expected cluster

30: size function of a free product at $p_c$. It immediately implies the

31: known result that the values of critical exponents of a free product

32: are mean-field.

33: \endcomment

34: \end{abstract}

35: