Multitype Lévy trees as scaling limits of multitype Bienaymé-Galton-Watson trees

Abstract

We establish sufficient mild conditions for a sequence of multitype Bienaymé-Galton-Watson trees, conditioned in some sense to be large, to converge to a limiting compact metric space which we call a \emph{multitype Lévy tree}. More precisely, we condition on the size of the maximal subtree of vertices of the same type joined by the root to be large. While we employ a different conditioning, our result can be seen as a generalization to the multitype setting of the continuum random trees defined by Aldous, Duquesne and Le Gall in [Ald91a,Ald91b,Ald93,DLG02]. Our main result is an invariance principle for the convergence of such trees, by gluing single-type Lévy trees together in a method determined by the limiting spectrally positive additive Lévy field, as constructed by Chaumont and Marolleau [CM21]. Our approach is an improvement of a result about the convergence in the Gromov-Hausdorff-Prohorov topology, of compact marked metric spaces equipped with vector-valued measures, which are then glued via an iterative operation. To analyze the gluing operation, we extend the techniques developed by Sénizergues [Sen19,Sen22] to the multitype setting. While the single-type case exhibits a more homogeneous structure with simpler dependency patterns, the multitype case introduces interactions between different types, leading to a more intricate dependency structure where functionals must account for type-specific behaviors and inter-type relationships.