Maximal and minimal displacement of supercritical branching random walks on free products of groups

We prove that the maximal and minimal displacement of branching random walks with mean offspring number $\rho >1$ on free products of finite groups grows linearly almost surely. More precisely, we establish that the linear speed for the maximal (respectively minimal) displacement is given by the largest (respectively smallest) intersection point of the large deviation rate function of the underlying random walk with the horizontal line at height $\log \rho$. The proof is based on constructing an associated multitype branching process which consists of particles that travel fast enough, and distinguishing the types via the suffix of the particles locations.