1: \begin{abstract}

2:   Given a finitely generated group with generating set~$S$, we study

3:   the \emph{cogrowth} sequence, which is the number of words of

4:   length $n$ over the alphabet $S$ that are equal to one.  This is

5:   related to the probability of return for walks the corresponding

6:   Cayley graph.  Muller and Schupp proved the generating function of

7:   the sequence is algebraic when $G$ has a finite-index free subgroup

8:   (using a result of Dunwoody). In this work we make this

9:   result effective for free products of finite groups: we determine bounds for the degree and height of

10:   the minimal polynomial of the generating function, and determine the

11:   minimal polynomial explicitly for some families of free products.  Using these results we

12:   are able to prove that a gap theorem holds: if~$S$ is a finite

13:   symmetric generating set for a group~$G$ and if~$a_n$ denotes the

14:   number of words of length $n$ over the alphabet~$S$ that are equal

15:   to~$1$ then $\limsup_n a_n^{1/n}$ exists and is either $1$, $2$, or at least $2\sqrt{2}$.

16: \end{abstract}

17: