Kingman's coalescent on a random graph

Abstract: We introduce a generalization of Kingman's coalescent on $[n]$ that we call the Kingman coalescent on a graph $G = ([n],E)$. Specifically, we generalize a forest valued representation of the coalescent introduced in Addario-Berry and Eslava (2018). The difference between the Kingman coalescent on $G$ and the normal Kingman coalescent on $[n]$ is that two trees $T_1,T_2$ with roots $\rho_1,\rho_2$ can merge if and only if ${\rho_1,\rho_2} \in E$. When this process finishes (when there are no trees left that can merge anymore), we are left with a random spanning forest that we call a Kingman forest of $G$. In this article, we study the Kingman coalescent on Erd\H{o}s-R\'{e}nyi random graphs, $G_{n,p}$. We derive a relationship between the Kingman coalescent on $G_{n,p}$ and uniform random recursive trees, which provides many answers concerning structural questions about the corresponding Kingman forests. We explore the heights of Kingman forests as well as the sizes of their trees as illustrative examples of how to use the connection. Our main results concern the number of trees, $C_{n,p}$, in a Kingman forest of $G_{n,p}$. For fixed $p \in (0,1)$, we prove that $C_{n,p}$ converges in distribution to an almost surely finite random variable as $n \to \infty$. For $p = p(n)$ such that $p \to 0$ and $np \to \infty$ as $n \to \infty$, we prove that $C_{n,p}$ converges in probability to $\frac{2(1-p)}{p}$.