1: \begin{abstract}

2: Suppose we are given finitely generated groups $\Gamma_1,\dots,\Gamma_m$

3: equipped with irreducible random walks. Thereby we assume that the expansions of the corresponding Green functions

4: at their radii of convergence contain only logarithmic or algebraic terms as

5: singular terms up to sufficiently large order (except for some degenerate cases). We consider transient random walks on the free product \mbox{$\Gamma_1 \ast

6: \ldots \ast\Gamma_m$} and give a complete classification of the possible

7: asymptotic behaviour of the corresponding $n$-step return probabilities. 

8: They either inherit a law of the form  $\varrho^{n\delta} n^{-\lambda_i} \log^{\kappa_i}n$ from one of

9: the free factors $\Gamma_i$ or obey a $\varrho^{n\delta} n^{-3/2}$-law, where $\varrho<1$ is

10: the corresponding spectral radius and $\delta$ is the period of the random walk. In addition, we determine the full range of

11: the asymptotic behaviour in the case of nearest neighbour random walks on free

12: products of the form $\Z^{d_1}\ast \ldots \ast \Z^{d_m}$. Moreover, we

13: characterize the possible phase transitions of the non-exponential types

14: $n^{-\lambda_i}\log^{\kappa_i}n$ in the case $\Gamma_1\ast\Gamma_2$.

15: \end{abstract}

16: