## Invariance principles for labeled mobiles and bipartite planar maps

### November 27, 2006

Abstract
A class of labeled trees, called mobiles, was introduced by Bouttier-di Francesco and Guitter in order to generalize the bijective studies of planar maps initiated by Cori-Vauquelin and Schaeffer. We prove an invariance principle for rescaled random mobiles associated with bipartite random planar maps under a Boltzmann distribution. We infer that the latter converge in a certain sense to the Brownian map introduced by Marckert and Mokkadem, which encompasses results of Chassaing and Schaeffer on quadrangulations (although in a slightly different context). These results are derived from a new invariance principle for a class of two-type Galton-Watson trees coupled with a spatial motion, which are shown to converge to the Brownian snake.
Key Words: Random planar maps, labeled mobiles, invariance principle, spatial Galton-Watson trees M.S.C. Code: 60F17, 60J80, 05C30 1 INTRODUCTION, MOTIVATIONS AND MAIN RESULTS

1 Introduction, motivations and main results

1 INTRODUCTION, MOTIVATIONS AND MAIN RESULTS

1.1 Planar maps

A planar map is a proper embedding $\mathbf{m}$  of a graph into the two-dimensional sphere $\mathbb{S}$  , considered up to any homeomorphism of the sphere. A connected component of $\mathbb{S}\\mathbf{m}$  is homeomorphic to a disk, and is called a face. The degree of a face is the number of edges that constitute its boundary (with the convention that an edge included in a face is counted twice). In this paper, we consider only bipartite planar maps, i.e. maps such that the degree of any face is an even number.
A pointed map is a map $\mathbf{m}$  in which a vertex $u$  is distinguished. When dealing with a pointed map, we may label each vertex by the length of the minimal path of edges linking this vertex to the distinguished one (the “geodesic distance” to $u$  ). A root in a pointed map $\left(\mathbf{m},u\right)$  is then a distinguished non oriented edge $vw$  . By the bipartite nature of the map, the two ends of such an edge have geodesic distances to $u$  of the form $k$  and $k+1$  , so the choice of a root is the same as that of an oriented edge starting at the vertex with least label.

Figure 1 : On the first picture, an element of ${\mathcal{ℳ}}_{5}$  . Its distinguished edge is $vw$  , the distinguished node is $u$  . The degree of the face where $w$  is written is 6. On the second picture, the nodes are labeled by their geodesic distance to the distinguished vertex. On the last picture, a labeled mobile.

Among all the families of maps, one of the best known is that of quadrangulations, because of the famous bijection of Cori & Vauquelin [10between planar rooted quadrangulations and well labeled trees, and its description by Schaeffer (which can be found in [28, 9, 22). Informally, well labeled trees are planar trees in which nodes are labeled by integers subject to a positivity constraint. Using this bijection:
$\bullet$  Chassaing & Schaeffer [9established that the longest distance to the root in uniform rooted quadrangulation with $n$  faces divided by $cn\sigma \left(\mathbf{p}{\right)}^{1/4}$  converges in law to the range of the Brownian snake (with lifetime process the normalized Brownian excursion), $\bullet$  Chassaing & Durhuus [8showed that unscaled uniform rooted quadrangulation with $n$  faces converges locally to a measure on infinite quadrangulations, $\bullet$  Marckert & Mokkadem [22give a description of quadrangulations in term of the gluing of two trees, and show that these trees converge when suitably normalized as $n$  goes to $\infty$  . They introduced the notion of Brownian map, and show that under a certain topology, rescaled quadrangulations converge weakly to the Brownian map.
We refer also to Angel & Schramm [3who proved an analogous result as Chassaing & Durhuus for rooted triangulations, but their proof is based on a Markovian construction of triangulations rather than bijective methods.
1 INTRODUCTION, MOTIVATIONS AND MAIN RESULTS

1.2 Boltzmann laws on planar maps

We denote by $\mathcal{ℳ}$  the set of bipartite pointed rooted planar maps with at least one edge, and by $\mathcal{ℳ}\sigma \left(\mathbf{p}{\right)}_{n}^{F}$  , $\mathcal{ℳ}\sigma \left(\mathbf{p}{\right)}_{k}^{S}$  and ${\mathcal{ℳ}}_{n,k}$  the subsets of $\mathcal{ℳ}$  consisting of maps with $n$  faces, $k$  vertices, and both $n$  faces and $k$  vertices, respectively. It is natural in our setting to add a cemetery point in $\mathcal{ℳ}$  , which we call $†$  , and which we understand as a “map with no face”. In the sequel, unless otherwise specified, the term map is understood for “pointed, rooted, bipartite planar map”, and we will simply write $\mathbf{m}$  as a shorthand for $\left(\mathbf{m},u,vw\right)$  .
The goal of the present paper is to give asymptotic results generalizing [9and [22to several other “Boltzmann laws” on bipartite maps conditioned to have a large number of faces or vertices.
Let $\mathbf{q}=\left({q}_{i},i\ge 1\right)$  be a sequence of non-negative weights non identically zero. Consider the $\sigma$  -finite measure ${W}_{\mathbf{q}}$  on $\mathcal{ℳ}$  that assigns to each map $\mathbf{m}\in \mathcal{ℳ}$  a weight ${q}_{i}$  per face of degree $2i$  :
 $\begin{array}{c}{W}_{\mathbf{q}}\left(\mathbf{m}\right)={\prod }_{f\in F\left(\mathbf{m}\right)}{q}_{deg\left(f\right)/2}\end{array}$ (1)
where $F\left(\mathbf{m}\right)$  denotes the set of faces of $\mathbf{m}$  , and where $deg\left(f\right)$  is the degree of the face $f$  . By convention, we set ${W}_{\mathbf{q}}\left(†\right)=1$  . This multiplicative form is reminiscent of the measures associated with the so-called simply generated trees, which is of the form $w\left(t\right)={\prod }_{u\in t}{q}_{{c}_{u}\left(t\right)}$  for any tree $t$  , where ${c}_{t}\left(u\right)$  is the number of children of $u$  , and where $\left({q}_{i}{\right)}_{i}$  is a sequence of non-negative numbers (Aldous [1,p.27-28). We will be interested in probability measures associated with ${W}_{\mathbf{q}}$  in the following way. If ${Z}_{\mathbf{q},n}\sigma \left(\mathbf{p}{\right)}^{F}:={W}_{\mathbf{q}}\left(\mathcal{ℳ}\sigma \left(\mathbf{p}{\right)}_{n}^{F}\right)\in \left(0,+\infty \right)$  , we can consider the conditional probability distribution on $\mathcal{ℳ}\sigma \left(\mathbf{p}{\right)}_{n}^{F}$  $P\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},n}^{F}\left(\cdot \right)=\frac{{W}_{\mathbf{q}}\left(\cdot \cap \mathcal{ℳ}\sigma \left(\mathbf{p}{\right)}_{n}^{F}\right)}{{Z}_{\mathbf{q},n}\sigma \left(\mathbf{p}{\right)}^{F}}.$  Similarly, we can consider the probability distribution $P\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},k}^{S}={W}_{\mathbf{q}}\left(\cdot \cap \mathcal{ℳ}\sigma \left(\mathbf{p}{\right)}_{k}^{S}\right)/Z\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},k}^{S}$  as soon as $Z\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},k}^{S}={W}_{\mathbf{q}}\left(\mathcal{ℳ}\sigma \left(\mathbf{p}{\right)}_{k}^{S}\right)\in \left(0,+\infty \right)$  . If moreover ${Z}_{\mathbf{q}}={W}_{\mathbf{q}}\left(\mathcal{ℳ}\right)$  is finite, we can consider the Boltzmann probability distribution on $\mathcal{ℳ}$  defined by ${P}_{\mathbf{q}}\left(\cdot \right)=\frac{{W}_{\mathbf{q}}\left(\cdot \right)}{{Z}_{\mathbf{q}}}.$  We will see that when certain “criticality” hypotheses on $\mathbf{q}$  are satisfied (Definition  1 ), under $P\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},k}^{S}$  or $P\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},n}^{F}$  several features of random maps satisfy an invariance principle. This is summed up in Sect.  4.4 by saying that such rescaled random maps converge to an object called the Brownian map, hence obtaining a generalization of [22. In particular, we are able to give asymptotic results for the diameter and the profile of a large class of random maps, hence encompassing (in principle) results by Chassaing and Schaeffer [9, which are obtained in the quadrangulation case, where $\mathbf{q}={\delta }_{2}$  . We also mention that it would be natural to look for asymptotic behavior of maps under the conditioned measure ${P}_{\mathbf{q}}\left(\cdot |M\in {\mathcal{ℳ}}_{n,k}\right)$  , but we were not able to rule this out by our methods.
Remarks. $\bullet$  The reason why “in principle” is that Chassaing and Schaeffer work in the slightly different context of rooted maps, but which are not pointed. Considering these objects would lead us to extra non-trivial technicalities. Typically, pointing and rooting allows to consider freely labeled mobiles below, while simple rooting lead to considerations on labeled mobiles with a positivity condition. In a recent paper, Le Gall [17has shown an invariance principle on labeled trees conditioned to be positive. His results imply the convergence of rescaled uniform rooted 1 INTRODUCTION, MOTIVATIONS AND MAIN RESULTS quadrangulations to the Brownian map.
$\bullet$  Notice that the law of $#F\left(M\right)$  under ${P}_{\mathbf{q}}$  always charges every point of ${\mathbb{Z}}_{+}$  , so that $Z\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},n}^{F}$  is always non-zero. However, this is not always true for $Z\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},n}^{S}$  . More precisely, if we write the support of $\mathbf{q}$  as $\left({\kappa }_{i},i\ge 1\right)$  , then the maps $\mathbf{m}$  that are charged by ${P}_{\mathbf{q}}$  are exactly those having ${n}_{i}$  faces of degree $2{\kappa }_{i}$  for some integer sequence $\left({n}_{i},i\ge 1\right)$  with finite support. By Euler’s formula, such maps have $2+{\sum }_{i}{n}_{i}\left({\kappa }_{i}-1\right)$  vertices, so that $#S\left(\mathbf{m}\right)$  has a maximal span $\mathsf{h}$  which is the g.c.d. of $\left({\kappa }_{i}-1,i\ge 1\right)$  . In the sequel, when conditioning on $#S\left(\mathbf{m}\right)=n$  we will therefore always tacitly suppose that $n$  is chosen among the admissible values.
1 INTRODUCTION, MOTIVATIONS AND MAIN RESULTS

1.3 Labeled mobiles, and the BdFG bijection

Consider the infinite regular planar tree ${T}_{\infty }={\bigcup }_{n\ge 0}\mathbb{N}\sigma \left(\mathbf{p}{\right)}^{n},$  (by convention $\mathbb{N}\sigma \left(\mathbf{p}{\right)}^{0}=\left\{\mathbb{\varnothing }\right\}$  ). For $u=\left({u}_{1},\dots ,{u}_{n}\right),v=\left({v}_{1},\dots ,{v}_{m}\right)\in {T}_{\infty }$  , we let $uv=\left({u}_{1},\dots ,{u}_{n},{v}_{1},\dots ,{v}_{m}\right)$  be the concatenation of the words $u$  and $v$  . Recall that a planar tree $\mathbf{t}$  is a subset of ${T}_{\infty }$  containing the root-vertex $\mathbb{\varnothing }$  , and such that if $ui\in \mathbf{t}$  , then $uj\in \mathbf{t}$  for all $1\le j\le i$  , and $u\in \mathbf{t}$  . Seen as a map, a tree is canonically rooted on the oriented edge $\left(\mathbb{\varnothing },1\right)$  where $1$  is the left most child of $\mathbb{\varnothing }$  . We denote by $\mathbb{T}$  the set of planar trees. We let ${c}_{u}\left(\mathbf{t}\right)=max\left\{i:ui\in \mathbf{t}\right\}$  be the number of children of $u$  .
Every tree has a canonical bipartite coloration of its vertices, which can be of two kinds $\circ$  and $\bullet$  , and such that the root-vertex is a $\circ$  . We let $\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\circ }$  and $\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\bullet }$  be the sets of vertices colored $\circ$  and $\bullet$  in a tree $\mathbf{t}$  , respectively. For reason that will appear later, we call such a colored tree, a mobile. In a rooted mobile, the root is canonically assimilated to an unoriented edge, since it naturally inherits an orientation from the fact that the root vertex is a $\circ$  .
A labeled mobile is a pair $\left(\mathbf{t},\ell \right)$  where $\mathbf{t}$  is a mobile and $\ell :\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\circ }\to \mathbb{Z}$  is a function satisfying the following constraint. Suppose $v\in \mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\bullet }$  has father ${v}_{0}\in \mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\circ }$  , and let ${v}_{0},{v}_{1},{v}_{2}\dots ,{v}_{k}$  be the neighboring vertices of $\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\circ }$  , arranged so that ${v}_{i+1}$  is the vertex following ${v}_{i}$  when going clockwise around $v$  , with the convention that $k+1=0$  . Then $\ell$  satisfies
 $\begin{array}{c}\ell \left({v}_{i+1}\right)\ge \ell \left({v}_{i}\right)-1.\end{array}$ (2)
We let $N\left(k\right)$  be the number of possible differences $\left(\ell \left({v}_{i}\right)-\ell \left({v}_{i+1}\right),1\le i\le k\right)$  that respect this constraint. By adding $2$  to each of the numbers $\ell \left({v}_{i}\right)-\ell \left({v}_{i+1}\right)$  , one sees that this is the same as the number of compositions of $2k$  in $k$  positive parts. Hence
 $\begin{array}{c}N\left(k\right)=\left(\genfrac{}{}{0}{}{2k-1}{k-1}\right).\end{array}$ (3)
When dealing with rooted mobiles, we will always suppose, unless otherwise mentioned, that the root vertex has label $1$  . We let $\mathcal{W}$  be the set of rooted labeled mobiles, and ${\mathcal{W}}_{n,k}$  be the subset of those satisfying $|\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\bullet }|=n$  and $|\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\circ }|=k$  . The main tool for studying the laws introduced above is the bijection of Bouttier, Di Francesco & Guitter [7generalizing that of Schaeffer.
Theorem 1 (Bouttier, Di Francesco & Guitter [7) There exists a one-to-one correspondence $\Phi$  between $\mathcal{ℳ}$  and $\mathcal{W}$  with the following properties. It maps $†$  to the tree $\left\{\mathbb{\varnothing }\right\}$  with label 1, and for any $n\ge 1$  and $k\ge 2$  , the restriction of $\Phi$  to ${\mathcal{ℳ}}_{n,k}$  is a bijection onto ${\mathcal{W}}_{n,k-1}$  . Next, for $\mathbf{m}=\left(\mathbf{m},u,vw\right)\in \mathcal{ℳ}\\left\{†\right\}$  , letting $\left(\mathbf{t},\ell \right)=\Phi \left(\mathbf{m}\right)$  , $■$  each vertex $\sigma$  of $\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\bullet }$  corresponds to a face $f$  of $\mathbf{m}$  , and the (total) degree of $\sigma$  is half the degree of $f$  , $■$  each vertex $x\ne u$  of $\mathbf{m}$  corresponds to a vertex $\phi \left(x\right)$  of $\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\circ }$  , $■$  the graph distance of any vertex $x\ne u$  of $\mathbf{m}$  to $u$  is equal to $1+\ell \left(\phi \left(x\right)\right)-{inf}_{\sigma \in \mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\circ }}\ell \left(\sigma \right)$  .
We describe the bijection $\Phi$  in Section  4.1 and show that it has some useful additional properties.
Among these is the possibility to generalize the representation of quadrangulation as the gluing of two trees (given in [22) to bipartite maps.
1 INTRODUCTION, MOTIVATIONS AND MAIN RESULTS

1.4 Projection of ${P}_{\mathbf{q}},P\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},n}^{F},P\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},k}^{S}$  on mobiles

Now suppose that $M$  is a ${P}_{\mathbf{q}}$  -distributed random planar map. Then by Theorem  1 , letting $\left(T,L\right)=\Phi \left(M\right)$  be the associated labeled random mobile, we can write, for any fixed labeled mobile $\left(\mathbf{t},\ell \right)$  , 1 INTRODUCTION, MOTIVATIONS AND MAIN RESULTS
 $\begin{array}{ccc}{P}_{\mathbf{q}}\left(\Phi \left(M\right)=\left(\mathbf{t},\ell \right)\right)& =& \frac{{\prod }_{v\in \mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\bullet }}{q}_{{c}_{v}\left(\mathbf{t}\right)+1}}{{Z}_{\mathbf{q}}}\end{array}$
 $\begin{array}{ccc}& =& \left({\prod }_{v\in \mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\circ }}\frac{1}{{Z}_{\mathbf{q}}}\right)\left({\prod }_{v\in \mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\bullet }}{Z}_{\mathbf{q}}\sigma \left(\mathbf{p}{\right)}^{{c}_{v}\left(\mathbf{t}\right)}{q}_{{c}_{v}\left(\mathbf{t}\right)+1}N\left({c}_{v}\left(\mathbf{t}\right)+1\right)\right)\left({\prod }_{v\in \mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\bullet }}\frac{1}{N\left({c}_{v}\left(\mathbf{t}\right)+1\right)}\right),\end{array}$
where ${c}_{v}\left(\mathbf{t}\right)$  denotes the number of children of the vertex $v$  in $\mathbf{t}$  , and where we have used ${\sum }_{v\in \mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\bullet }}{c}_{v}\left(\mathbf{t}\right)=|\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\circ }|-1$  for any mobile $\mathbf{t}$  . Now, by definition of ${W}_{\mathbf{q}}$  and the properties of the BdFG bijection, letting $\left(T,L\right)=\Phi \left(M\right)$  , we may rephrase this by saying that under ${P}_{\mathbf{q}}$  , the mobile $T$  has distribution ${P}_{\mathbf{q}}\left(T=\mathbf{t}\right)=\left({\prod }_{v\in \mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\circ }}\frac{1}{{Z}_{\mathbf{q}}}\right)\left({\prod }_{v\in \mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\bullet }}{Z}_{\mathbf{q}}\sigma \left(\mathbf{p}{\right)}^{{c}_{v}\left(\mathbf{t}\right)}{q}_{{c}_{v}\left(\mathbf{t}\right)+1}N\left({c}_{v}\left(\mathbf{t}\right)+1\right)\right),$  and the labeling $L$  of the mobile $T$  is uniform among all possible conditionally on $T$  . More precisely, given $T$  , for each $v\in T\sigma \left(\mathbf{p}{\right)}^{\bullet }$  with father ${v}_{0}$  and children ${v}_{1},\dots ,{v}_{k}$  , the sequence of differences $\left(L\left({v}_{i}+1\right)-L\left({v}_{i}\right),1\le i\le k\right)$  is uniform among the $N\left(k+1\right)$  possible, independently over $v$  ’s.
Now, the finiteness of the measure ${P}_{\mathbf{q}}$  plainly entails that
 $\begin{array}{c}f\left(x\right)={\sum }_{i\ge 0}x\sigma \left(\mathbf{p}{\right)}^{i}{q}_{i+1}N\left(i+1\right)\end{array}$ (4)
is finite at $x={Z}_{\mathbf{q}}$  , so we can define a probability measure
 $\begin{array}{c}\mu {\bullet }_{\mathbf{q}}\left(k\right)=\frac{{Z}_{\mathbf{q}}\sigma \left(\mathbf{p}{\right)}^{k}N\left(k+1\right){q}_{k+1}}{f\left({Z}_{\mathbf{q}}\right)},k\ge 0,\end{array}$ (5)
and write
 $\begin{array}{c}{P}_{\mathbf{q}}\left(T=\mathbf{t}\right)={\prod }_{v\in \mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\circ }}\mu {\circ }_{\mathbf{q}}\left({c}_{v}\left(\mathbf{t}\right)\right){\prod }_{v\in \mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\bullet }}\mu {\bullet }_{\mathbf{q}}\left({c}_{v}\left(\mathbf{t}\right)\right),\end{array}$ (6)
where $\mu {\circ }_{\mathbf{q}}\left(k\right):={Z}_{\mathbf{q}}\sigma \left(\mathbf{p}{\right)}^{-1}f\left({Z}_{\mathbf{q}}\right)\sigma \left(\mathbf{p}{\right)}^{k},k\ge 0.$  But it is easy that this measure must itself be a probability measure since ${P}_{\mathbf{q}}$  is one. Therefore, we get that $f\left({Z}_{\mathbf{q}}\right)=1-{Z}_{\mathbf{q}}\sigma \left(\mathbf{p}{\right)}^{-1}$  , and $\mu {\circ }_{\mathbf{q}}$  is the geometric distribution with parameter $1/{Z}_{\mathbf{q}}$  , Therefore, we see that the study of Boltzmann random planar maps boils down to that of certain two-type Galton-Watson trees (see Sect.  2 ), that could be called “bi-generated trees” in our context, with a certain uniform labeling on their vertices. This and the forthcoming discussion in Sect.  2 motivates calling a weight sequence $\mathbf{q}$  critical if the associated two-type Galton-Watson process is, i.e. if ${m}_{\circ }{m}_{\bullet }=1$  , where ${m}_{\bullet },{m}_{\circ }$  are the respective means of $\mu {\bullet }_{\mathbf{q}},\mu {\circ }_{\mathbf{q}}$  .
This is easily equivalent to ${m}_{\bullet }=\left({Z}_{\mathbf{q}}-1\right)\sigma \left(\mathbf{p}{\right)}^{-1}$  , and by ( 5 ) this can be rewritten as follows.
Definition 1 A weight $\mathbf{q}$  such that ${Z}_{\mathbf{q}}<\infty$  is said to be critical if
 $\begin{array}{c}{Z}_{\mathbf{q}}\sigma \left(\mathbf{p}{\right)}^{2}{f}_{l}^{\prime }\left({Z}_{\mathbf{q}}\right)=1,1\mathit{I}\mathit{N}\mathit{T}\mathit{R}\mathit{O}\mathit{D}\mathit{U}\mathit{C}\mathit{T}\mathit{I}\mathit{O}\mathit{N}\mathit{,}\mathit{M}\mathit{O}\mathit{T}\mathit{I}\mathit{V}\mathit{A}\mathit{T}\mathit{I}\mathit{O}\mathit{N}\mathit{S}\mathit{A}\mathit{N}\mathit{D}\mathit{M}\mathit{A}\mathit{I}\mathit{N}\mathit{R}\mathit{E}\mathit{S}\mathit{U}\mathit{L}\mathit{T}\mathit{S}\end{array}$ (7)
where ${f}_{l}^{\prime }$  is the left-derivative of $f$  . Equivalently, $\mathbf{q}$  is critical if and only if the graphs of $x↦f\left(x\right)$  and $x↦1-1/x$  are tangent at $x={Z}_{\mathbf{q}}$  . We say that $\mathbf{q}$  is regular critical if moreover the radius of convergence of $f$  is $>{Z}_{\mathbf{q}}$  , i.e. if $\mu {\bullet }_{\mathbf{q}}$  has small exponential moments.
Our main results dealing with maps (Theorems  5 ,  6 ,  7 ) are proved under the assumption of regular criticality for the weight sequence. Let us however discuss more specifically on conditioned probability measures. It is straightforward from ( 1 ) that
Lemma 1 Fix $n,k$  . For any $\alpha >0$  such that $Z\sigma \left(\mathbf{p}{\right)}_{\alpha \mathbf{q},n}^{F}<\infty$  , the conditional laws $P\sigma \left(\mathbf{p}{\right)}_{\alpha \mathbf{q},n}^{F}$  are all equal to a single common distribution. Similarly, for any $\beta >0$  such that $Z\sigma \left(\mathbf{p}{\right)}_{\left(\beta \sigma \left(\mathbf{p}{\right)}^{i-1}{q}_{i},i\ge 1\right),k}^{S}<\infty$  , the conditional laws $P\sigma \left(\mathbf{p}{\right)}_{\left(\beta \sigma \left(\mathbf{p}{\right)}^{i-1}{q}_{i},i\ge 1\right),k}^{S}$  share a common value.
Therefore, when we are concerned with conditional laws $P\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},n}^{F},P\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},k}^{S}$  , we will suppose that there exists some $\alpha >0$  such that ${Z}_{\alpha \mathbf{q}}<\infty$  and $\alpha \mathbf{q}$  is regular critical, respectively that there exists some $\beta >0$  such that ${Z}_{\left(\beta \sigma \left(\mathbf{p}{\right)}^{i-1}{q}_{i},i\ge 1\right)}<\infty$  and $\left(\beta \sigma \left(\mathbf{p}{\right)}^{i-1}{q}_{i},i\ge 1\right)$  is critical, and focus on this critical weight. This changes $f$  respectively to $\alpha f$  and $f\left(\beta \cdot \right)$  . It is also true that conditioning both on the number of faces and vertices is insensitive to termwise multiplication of $\mathbf{q}$  by $\left(\alpha \beta \sigma \left(\mathbf{p}{\right)}^{i-1},i\ge 1\right)$  , so this would lead to finding a curve of $\left(\alpha ,\beta \right)$  ’s such that $\left(\alpha \beta \sigma \left(\mathbf{p}{\right)}^{i-1}{q}_{i},i\ge 1\right)$  is critical. We do not concentrate on this last point, as our methods are unefficient in conditioning on both these data.
1 INTRODUCTION, MOTIVATIONS AND MAIN RESULTS

1.5 Overview of results and organization of the paper

It is therefore natural from ( 6 ), and the conditional law of the labeling $L$  discussed above, to look for a general invariance principle for labeled two-type Galton-Watson trees together with a branching spatial motion. We call such random labeled trees “two-type discrete snakes”. The trees we are interested in have an anti-diagonal mean matrix, i.e. particles of a type give birth exclusively to particles of the other type. In Section  3 , we show such an invariance principle under fairly general hypotheses, namely that the (critical) offspring distribution has small exponential moments and that the spatial displacement between vertices, which need not have the same law for each type, and may depend on the number $k$  of children of the current vertex, has moments of order $4+\varepsilon$  that vary at most polynomially with $k$  . Under these hypotheses, it is shown in Corollary  3 and Theorem  4 that critical rescaled discrete snakes converge to the Brownian snake (see [11and definitions below) driven by a Brownian excursion distributed according to the Ito excursion measure, while conditioned discrete snakes converge to the Brownian snake driven by a standard Brownian excursion. The invariance principle is proved in Sections  2 and  3 and is interesting in its own right. It uses an ancestral decomposition of trees (Sect.  2.4 ) with a marked vertex, that was considered in a different form and context in [15. This invariance principle improves over past literature [19, 13, 14in two ways:
$\bullet$  First, it allows two types instead of only one, so that Theorem  2 below showing that the unlabeled critical two-type trees with finite variance converge to the Brownian continuum random tree generalizes previous results [2, 19, 11, although we expect that the assumption of small exponential moments could be relaxed to a plain second moment condition. See [23for the general irreducible multitype case.
$\bullet$  Second, it allows the spatial displacement to depend on the local structure of the tree, namely of the type and the number of neighbors of the different vertices, which seems not to have been considered before. Except for the exponential moment assumptions, we expect that the hypotheses of the invariance principle are close to the best possible, see [14.
We specialize the invariance principle to the distributions $\mu {\circ }_{\mathbf{q}},\mu {\bullet }_{\mathbf{q}}$  above and the particular labeling of mobiles associated with Boltzmann random maps in Theorem  5 , Sect.  4.2 . We use this result in Sect.  4.4 to show that such random maps converge once properly rescaled to the Brownian map. As a corollary, we obtain for example the following generalization of the result of [9. Let $N\left(de\right)$  be the Ito measure of the standard reflected Brownian motion, i.e. $N$  is supported by continuous functions on some compact subset $\left[0,\zeta \right]$  of ${\mathbb{R}}_{+}$  with $\zeta >0$  , with zero value at the boundary and positive on $\left(0,\zeta \right)$  . We let $\mathbb{N}\left(de,dr\right)$  be the Ito measure of the head of the associated Brownian snake, i.e. with first marginal $N$  and such that given $e$  , the second marginal is the law of a centered Gaussian process with covariance $cov\left({r}_{s},{r}_{{s}^{\prime }}\right)={min}_{u\in \left[s\wedge {s}^{\prime },s\vee {s}^{\prime }\right]}{e}_{u}$  . Similarly, we let $\mathbb{N}\sigma \left(\mathbf{p}{\right)}^{\left(1\right)}\left(de,dr\right)$  be the law of the head of the snake driven by a standard Brownian excursion, i.e. the same distribution as above but where $N\left(de\right)$  is replaced by the law $N\sigma \left(\mathbf{p}{\right)}^{\left(1\right)}\left(de\right)$  of the standard Brownian excursion with unit duration.
Now suppose that $\mathbf{q}$  is a regular critical weight sequence, and let
 $\begin{array}{c}{\rho }_{\mathbf{q}}=2+{Z}_{\mathbf{q}}\sigma \left(\mathbf{p}{\right)}^{3}{f}^{\prime \prime }\left({Z}_{\mathbf{q}}\right).\end{array}$ (8)
Let $\Re \left(\mathbf{m}\right)$  be the radius of $\mathbf{m}\in \mathcal{ℳ}$  , i.e. the maximal distance of a vertex to the distinguished point. Then
Corollary 1 (i) For any $a>0$  and under ${P}_{\mathbf{q}}$  , the law of the rescaled radius $\Re \left(M\right)/n$  given $\Re \left(M\right)>an$  converges weakly to $\mathbb{N}\left(\left(\frac{4{\rho }_{\mathbf{q}}}{9{Z}_{\mathbf{q}}}\right)\sigma \left(\mathbf{p}{\right)}^{1/4}\Delta \in \cdot |\left(\frac{4{\rho }_{\mathbf{q}}}{9{Z}_{\mathbf{q}}}\right)\sigma \left(\mathbf{p}{\right)}^{1/4}\Delta >a\right),$  where $\Delta =maxr-minr$  is the diameter of the Brownian snake 1 INTRODUCTION, MOTIVATIONS AND MAIN RESULTS (ii) As $n\to \infty$  , under $P\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},n}^{F}$  , $\frac{\Re \left(M\right)}{n\sigma \left(\mathbf{p}{\right)}^{1/4}}----\to weaklyn\to \infty \left(\frac{4{\rho }_{\mathbf{q}}}{9\left({Z}_{\mathbf{q}}-1\right)}\right)\sigma \left(\mathbf{p}{\right)}^{1/4}\Delta \text{under}\mathbb{N}\sigma \left(\mathbf{p}{\right)}^{\left(1\right)}.$  (iii) As $n\to \infty$  , under $P\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},n}^{S}$  , $\frac{\Re \left(M\right)}{n\sigma \left(\mathbf{p}{\right)}^{1/4}}----\to weaklyn\to \infty \left(\frac{4{\rho }_{\mathbf{q}}}{9}\right)\sigma \left(\mathbf{p}{\right)}^{1/4}\Delta \text{under}\mathbb{N}\sigma \left(\mathbf{p}{\right)}^{\left(1\right)}.$
1 INTRODUCTION, MOTIVATIONS AND MAIN RESULTS

1.6 Two examples

We conclude this section by giving explicitly the constants mentioned above in two particular cases.
1 INTRODUCTION, MOTIVATIONS AND MAIN RESULTS

1.6.1 $2\kappa$  -angulations

Let $\kappa \ge 2$  be an integer, and consider the case when $\mathbf{q}=\alpha {\delta }_{\kappa }$  , for some constant $\alpha >0$  . The resulting distributions are the Boltzmann distributions on the set of maps with face degree fixed and equal to $2\kappa$  , as in [8in the case $\kappa =2$  of quadrangulations (such distributions also appear in [4for triangulations). Then $f\left(x\right)=\alpha N\left(\kappa \right)x\sigma \left(\mathbf{p}{\right)}^{\kappa -1}$  , and the equations $f\left(z\right)=1-1/z$  and $z\sigma \left(\mathbf{p}{\right)}^{2}{f}^{\prime }\left(z\right)=1$  are solved by $Z=\kappa /\left(\kappa -1\right)$  and determine a unique value for $\alpha$  . We thus have obtained the value ${\alpha }_{\kappa }$  of $\alpha$  , which makes $\mathbf{q}$  critical, i.e. ${\alpha }_{\kappa }=\frac{\left(\kappa -1\right)\sigma \left(\mathbf{p}{\right)}^{\kappa -1}}{\kappa \sigma \left(\mathbf{p}{\right)}^{\kappa }N\left(\kappa \right)},$  while the partition function is ${Z}_{{\alpha }_{\kappa }{\delta }_{\kappa }}=\kappa /\left(\kappa -1\right)$  . Obviously, ${\alpha }_{\kappa }$  is also the largest allowed value for $\alpha >0$  that makes ${W}_{\mathbf{q}}$  a finite measure, i.e. so that $f\left(z\right)=1-1/z$  admits a solution.
In particular we check ${\alpha }_{2}=1/12,{Z}_{{\alpha }_{2}{\delta }_{2}}=2$  , as in [8, and ${\rho }_{\mathbf{q}}=\kappa$  . Notice also that the constant appearing in (ii), Corollary  1 is $\left(8/9\right)\sigma \left(\mathbf{p}{\right)}^{1/4}$  in this case, as in [9. Notice that conditioning on the number of vertices is equivalent in this case thanks to Euler’s formula (up to trivial renormalization constants).
1 INTRODUCTION, MOTIVATIONS AND MAIN RESULTS

1.6.2 ${q}_{i}=\beta \sigma \left(\mathbf{p}{\right)}^{i}$

Let $\beta >0$  , and let ${q}_{i}=\beta \sigma \left(\mathbf{p}{\right)}^{i}$  , so that the weight of a map $\mathbf{m}$  is $\beta \sigma \left(\mathbf{p}{\right)}^{#A\left(\mathbf{m}\right)}$  , where $A\left(\mathbf{m}\right)$  is the set of edges of $\mathbf{m}$  . In this case, $f\left(x\right)={\sum }_{i\ge 0}x\sigma \left(\mathbf{p}{\right)}^{i}\beta \sigma \left(\mathbf{p}{\right)}^{i+1}N\left(i+1\right)=\frac{2\beta }{\sqrt{1-4\beta x}\left(1+\sqrt{1-4\beta x}\right)}$  is defined for $x<\left(4\beta \right)\sigma \left(\mathbf{p}{\right)}^{-1}$  , and the only interesting cases in our setting are for $\beta <1/4$  .
Now, the equation $f\left(z\right)=1-1/z$  has two real solutions $>1$  when $\beta <1/8$  , and these are given by $\frac{1-\sqrt{1-8\beta }+4\beta }{8\beta }\text{and}\frac{1+\sqrt{1-8\beta }+4\beta }{8\beta }.$  These two solutions merge into a unique one at $\beta =1/8$  , which is of course the value making $\mathbf{q}$  critical, as can be double-checked by solving $z\sigma \left(\mathbf{p}{\right)}^{2}{f}^{\prime }\left(z\right)=1$  , whose solution is $3/\left(16\beta \right)$  . This gives ${Z}_{\mathbf{q}}=3/2$  in the critical case, while ${\rho }_{\mathbf{q}}=27/4$  . The conditional version with respect to the number of vertices can be seen as the finite measure putting weight $8\sigma \left(\mathbf{p}{\right)}^{-#A\left(m\right)}$  on each element $m$  of $\mathcal{ℳ}\sigma \left(\mathbf{p}{\right)}_{n}^{S}$  (i.e. $\mathbf{q}=8\sigma \left(\mathbf{p}{\right)}^{-1}1$  ) conditioned with respect to the number of vertices ; notice that in this case a conditional version with respect to the number of faces does not exist since $Z\sigma \left(\mathbf{p}{\right)}_{\alpha 1,n}^{F}=\infty$  for all $n,\alpha >0$  .

Figure 2 : Example  1.6.1 : drawing $f$  for $\alpha =1/18,1/12,1/8$  and $x↦1-1/x$  (dashed) in the case $\kappa =2$  of quadrangulations. Example  1.6.2 : drawing $f$  for $\beta =1/7,1/8,1/10$  and $x↦1-1/x$  (dashed)

2 CRITICAL TWO-TYPE DISCRETE SNAKES

2 Critical two-type discrete snakes

2 CRITICAL TWO-TYPE DISCRETE SNAKES

2.1 Planar trees

We begin with some generalities on planar trees and forests. Recall the definitions of Sect.  1 .
We let $|u|$  be the length of the word $u\in {T}_{\infty }$  , which is also the height (graph distance to the root) of $u$  if considered as a vertex of some tree. For $\mathbf{t}$  a tree and $n\ge 0$  , let $\mathbf{t}{|}_{n}=\left\{u\in \mathbf{t}:|u|\le n\right\}$  be the restriction of $\mathbf{t}$  to the $n$  first generations. For $u\in \mathbf{t}$  we let ${\mathbf{t}}_{u}=\left\{v\in {T}_{\infty }:uv\in \mathbf{t}\right\}$  be the fringe subtree of $\mathbf{t}$  rooted at $u$  , and $\left[\mathbf{t}{\right]}_{u}=\mathbf{t}\\left\{uv:v\in {\mathbf{t}}_{u}\\left\{\mathbb{\varnothing }\right\}\right\}$  the pruned subtree. For $u={i}_{1}\dots {i}_{n}\in \mathbf{t}$  , we let ${u}_{j}={i}_{1}\dots {i}_{j}$  and $\left[\left[\mathbb{\varnothing },u\right]\right]=\left\{\mathbb{\varnothing },{u}_{1},\dots ,{u}_{n}\right\}$  be the ancestral line of $u$  back to the root.
The depth-first order on a planar tree is the order relation $\prec$  induced by the lexicographical order. We let $u\left(k\right)$  be the $k$  -th vertex in depth-first order. We also define the depth-first traversal, or contour order of a tree $\mathbf{t}$  with $n$  edges as a function: ${F}_{\mathbf{t}}:\left\{0,...,2n\right\}\to \left\{\text{vertices of}\mathbf{t}\right\},$  which we regard as a walk around $\mathbf{t}$  , as follows: ${F}_{\mathbf{t}}\left(0\right)=\mathbb{\varnothing }$  , and given ${F}_{\mathbf{t}}\left(i\right)=z$  , choose, if possible, and according to the depth-first order the smallest child $w$  of $z$  which has not already been visited, and set ${F}_{\mathbf{t}}\left(i+1\right)=w$  . If not possible, let ${F}_{\mathbf{t}}\left(i+1\right)$  be the father of $z$  .
A forest is a finite or infinite sequence of trees $\mathbf{f}=\left({\mathbf{t}}_{1},{\mathbf{t}}_{2},\dots \right)$  . The depth-first order on $\mathbf{f}$  is naturally defined as the linear order matching both the depth-first order on each ${\mathbf{t}}_{i}$  and the order in which the ${\mathbf{t}}_{i}$  appear. We define similarly as above $\mathbf{f}{|}_{n},{\mathbf{f}}_{u},\left[\mathbf{f}{\right]}_{u},u\left(k\right)$  for a forest $\mathbf{f}$  .
Finally, for a forest $\mathbf{f}=\left({\mathbf{t}}_{1},{\mathbf{t}}_{2},\dots \right)$  , we let $H\sigma \left(\mathbf{p}{\right)}_{k}^{\mathbf{f}}=|u\left(k\right)|$  and $\stackrel{^}{H}\sigma \left(\mathbf{p}{\right)}^{\mathbf{f}}\left(k\right)=|{F}_{\mathbf{f}}\left(k\right)|$  , and define the height process $\left(H\sigma \left(\mathbf{p}{\right)}_{s}^{\mathbf{f}},s\ge 0\right)$  and the contour process $\left(\stackrel{^}{H}\sigma \left(\mathbf{p}{\right)}_{s}^{\mathbf{f}},s\ge 0\right)$  by interpolating linearly between integer abscissa. We also let $\Lambda \sigma \left(\mathbf{p}{\right)}_{k}^{\mathbf{f}}=max\left\{i\ge 1:u\left(k\right)\in {\mathbf{t}}_{i}\right\}$  and $\stackrel{^}{\Lambda }\sigma \left(\mathbf{p}{\right)}_{k}^{\mathbf{f}}=max\left\{i\ge 1:F\sigma \left(\mathbf{p}{\right)}^{\mathbf{f}}\left(k\right)\in {\mathbf{t}}_{i}\right\}$  . See Fig.  3 .

Figure 3 : A forest, its height process, and its contour process. On this example $\Lambda \sigma \left(\mathbf{p}{\right)}_{7}^{\mathbf{f}}=3$  and $\stackrel{^}{\Lambda }\sigma \left(\mathbf{p}{\right)}_{7}^{\mathbf{f}}=1$

2 CRITICAL TWO-TYPE DISCRETE SNAKES

2.2 Prerequisites on monotype Galton-Watson trees

For $\mu$  a probability measure on the set of nonnegative integers, we denote by $P\sigma \left(\mathbf{p}{\right)}^{\mu }$  the law of a single type GW tree with offspring distribution $\mu$  . We denote by $\left(H\right)$  the conditions that $\mu$  is non-degenerate, critical and has small exponential moments, namely: $\left(H\right):=\left\{\begin{array}{c}\mu \left(0\right)+\mu \left(1\right)\ne 1\\ {\sum }_{k\ge 0}k\mu \left(k\right)=1\\ \text{there exists}a>0\text{s.t.}{\sum }_{k\ge 0}e\sigma \left(\mathbf{p}{\right)}^{ak}\mu \left(k\right)<+\infty .\end{array}$  We denote by $P\sigma \left(\mathbf{p}{\right)}_{r}^{\mu }$  the law of a forest with $r\in {\mathbb{Z}}_{+}\cup \left\{\infty \right\}$  trees, in which the $r$  trees are $P\sigma \left(\mathbf{p}{\right)}^{\mu }$  distributed and independent.
We begin by giving some results on monotype forests that will be crucial for further study.
The following result improves over known tightness results for the rescaled height process of a Galton-Watson forest. Its proof as well as those of Lemma  2 and  3 are postponed to the Appendix at the end of the paper.
Proposition 1 Suppose $\left(H\right)$  . Under $P\sigma \left(\mathbf{p}{\right)}_{\infty }^{\mu }$  , for every $A>0,\alpha \in \left(0,1/2\right)$  , the $\alpha$  -Holder norm of $\left(n\sigma \left(\mathbf{p}{\right)}^{-1/2}H\sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}},0\le s\le A\right)$  is uniformly tight in $n$  , namely, for every $\varepsilon >0$  there exists $C>0$  such that ${sup}_{n\in \mathbb{N}}P\sigma \left(\mathbf{p}{\right)}_{\infty }^{\mu }\left({sup}_{0\le s\ne t\le A}\frac{|H\sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}}-H\sigma \left(\mathbf{p}{\right)}_{nt}^{\mathcal{ℱ}}|}{\sqrt{n}|s-t|\sigma \left(\mathbf{p}{\right)}^{\alpha }}>C\right)\le \varepsilon .$  Moreover, the same conclusion holds for the contour process $\stackrel{^}{H}$  .
Notice that the conditioned analog of this proposition, i.e. under the probability laws $P\sigma \left(\mathbf{p}{\right)}^{\mu }\left(\cdot ||T|=n\right)$  instead, and in the case of the contour process, is a consequence of the work of Gittenberger [13.
In the unconditioned case, to the best of our knowledge, Proposition  1 has not been shown before.
Our proof is partly inspired by [11,Theorem1.4.4, which is a kind of continuous counterpart of the present proposition.
The two following lemmæ will allow to give bounds on the maximal vertex-height and the number of trees visited before the $An$  -th vertex of a forest in depth-first order.
Lemma 2 Let $\mu$  be a distribution satisfying $\left(H\right)$  . In a $P\sigma \left(\mathbf{p}{\right)}_{\infty }^{\mu }$  -forest, for every $A>0,\eta >0$  , there exists $\varepsilon >0$  such that for $n$  large enough, $P\sigma \left(\mathbf{p}{\right)}_{\infty }^{\mu }\left(max\left\{|u|,u\prec u\left(\left[An\right]\right)\right\}\ge n\sigma \left(\mathbf{p}{\right)}^{1/2+\eta }\right)\le exp\left(-n\sigma \left(\mathbf{p}{\right)}^{\varepsilon }\right).$
Lemma 3 Let $\mu$  be a distribution satisfying $\left(H\right)$  and $\mathcal{ℱ}$  be a $\mu$  -forest with $n\sigma \left(\mathbf{p}{\right)}^{1/2+\eta }$  trees.
For any $\eta >0$  and $A>0$  , there exists $\varepsilon >0$  , such that for $n$  large enough $P\sigma \left(\mathbf{p}{\right)}_{\left[n\sigma \left(\mathbf{p}{\right)}^{1/2+\eta }\right]}^{\mu }\left(|\mathcal{ℱ}|\le An\right)
We finish this section by stating Aldous-Le Gall’s theorems for convergence of the height process for conditioned tree (see also [19), and for forests, that can be found respectively in [2, 11.
Proposition 2 Under hypotheses $\left(H\right)$  :
(i) Under $P\sigma \left(\mathbf{p}{\right)}_{\infty }^{\mu }$  , ${\left(\frac{H\sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}}}{\sqrt{n}},\frac{\Lambda \sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}}}{\sqrt{n}}\right)}_{s\ge 0}----\to weaklyn\to \infty {\left(\frac{2}{\sigma }|{B}_{s}|,\sigma L\sigma \left(\mathbf{p}{\right)}_{s}^{0}\right)}_{s\ge 0},2\mathit{C}\mathit{R}\mathit{I}\mathit{T}\mathit{I}\mathit{C}\mathit{A}\mathit{L}\mathit{T}\mathit{W}\mathit{O}\mathit{-}\mathit{T}\mathit{Y}\mathit{P}\mathit{E}\mathit{D}\mathit{I}\mathit{S}\mathit{C}\mathit{R}\mathit{E}\mathit{T}\mathit{E}\mathit{S}\mathit{N}\mathit{A}\mathit{K}\mathit{E}\mathit{S}$  for the uniform topology on compact subsets of $\left[0,\infty \right)$  , where $\sigma \sigma \left(\mathbf{p}{\right)}^{2}$  is the variance of $\mu$  and $B$  is a standard Brownian motion with local time process at $0$  given by $\left(L\sigma \left(\mathbf{p}{\right)}_{s}^{0},s\ge 0\right)$  (which is normalized to be the density at $0$  of the occupation measure of $B$  before time $s$  ). Moreover, the same conclusion holds for the processes $\stackrel{^}{H}\sigma \left(\mathbf{p}{\right)}_{2ns}^{\mathcal{ℱ}},\stackrel{^}{\Lambda }\sigma \left(\mathbf{p}{\right)}_{2ns}^{\mathcal{ℱ}}$  instead of $H\sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}},\Lambda \sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}}$  .
(ii) Under $P\sigma \left(\mathbf{p}{\right)}^{\mu }\left(\cdot ||T|=n\right)$  , whenever the conditioning event has positive probability, the process $\left(\frac{H\sigma \left(\mathbf{p}{\right)}_{ns}^{T}}{\sqrt{n}},0\le s\le 1\right)----\to weaklyn\to \infty \left(\frac{2}{\sigma }{e}_{s},0\le s\le 1\right)$  for the uniform topology, where $e$  is a standard Brownian excursion. The same result holds with $\stackrel{^}{H}\sigma \left(\mathbf{p}{\right)}_{2ns}^{T}$  instead of $H\sigma \left(\mathbf{p}{\right)}_{ns}^{T}$  .
2 CRITICAL TWO-TYPE DISCRETE SNAKES

2.3 Two-type Galton-Watson trees

Let $\left(\mu \circ ,\mu \bullet \right)$  be a pair of integer valued probability distributions with means ${m}_{\circ }$  and ${m}_{\bullet }$  , respectively. We denote by $\left({H}_{1}\right)$  the set of assumptions : $\left({H}_{1}\right):=\left\{\begin{array}{c}\mu \circ \left(0\right)+\mu \circ \left(1\right)+\mu \bullet \left(0\right)+\mu \bullet \left(1\right)\ne 1,\\ {m}_{\circ }{m}_{\bullet }=1,\\ \text{there exists}\alpha >0\text{such that}{\sum }_{k\ge 0}e\sigma \left(\mathbf{p}{\right)}^{\alpha k}\mu \circ \left(k\right)<\infty ,{\sum }_{k\ge 0}e\sigma \left(\mathbf{p}{\right)}^{\alpha k}\mu \bullet \left(k\right)<\infty .\end{array}$  We consider two-type $\left\{\circ ,\bullet \right\}$  GW trees with laws $P\sigma \left(\mathbf{p}{\right)}^{\circ }$  and $P\sigma \left(\mathbf{p}{\right)}^{\bullet }$  in which :
– the ancestor has type $\circ$  for $P\sigma \left(\mathbf{p}{\right)}^{\circ }$  and $\bullet$  for $P\sigma \left(\mathbf{p}{\right)}^{\bullet }$  , – an individual of type $\circ$  gives birth exclusively to individuals of type $\bullet$  according to the law $\mu \circ$  , – an individual of type $\bullet$  gives birth exclusively to individuals of type $\circ$  according to the law $\mu \bullet$  , – the progeny of distinct individuals are independent random variables.
Under the assumption $\left({H}_{1}\right)$  , under $P\sigma \left(\mathbf{p}{\right)}^{\circ }$  or under $P\sigma \left(\mathbf{p}{\right)}^{\bullet }$  , $T$  is a.s. finite (see Proposition  5 ). So the law $P\sigma \left(\mathbf{p}{\right)}^{\circ }$  is characterized by $P\sigma \left(\mathbf{p}{\right)}^{\circ }\left(T=\mathbf{t}\right)={\prod }_{u\in \mathbf{t},|u|\text{even}}\mu \circ \left({c}_{u}\left(\mathbf{t}\right)\right){\prod }_{u\in \mathbf{t},|u|\text{odd}}\mu \bullet \left({c}_{u}\left(\mathbf{t}\right)\right),\mathbf{t}\in \mathbb{T}.$  (For $P\sigma \left(\mathbf{p}{\right)}^{\bullet }$  replace in the last formula $\circ$  by $\bullet$  and $\bullet$  by $\circ$  ).
Notation In the sequel, unless otherwise mentioned the probability $P$  will denote $P\sigma \left(\mathbf{p}{\right)}^{\circ }$  , i.e. the law of a tree rooted at a $\circ$  individual. We will then denote by $\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\circ }$  and $\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\bullet }$  the sets of vertices of $\mathbf{t}$  with even resp. odd height.
Similarly, for $r\in \mathbb{N}\cup \left\{\infty \right\}$  we let ${P}_{r}$  be the law of a forest constituted of $r$  independent GW trees, all rooted at a $\circ$  individual. In particular, ${P}_{1}$  is naturally identified with $P\sigma \left(\mathbf{p}{\right)}^{\circ }$  .
2 CRITICAL TWO-TYPE DISCRETE SNAKES

2.4 Ancestral decomposition of a Galton-Watson tree

A key result for our study is a multitype version of an ancestral decomposition for Galton-Watson trees, related to the so-called size-biased Galton-Watson distribution. Let $\stackrel{^}{\mu }\circ \left(k\right)=\frac{k\mu \circ \left(k\right)}{{m}_{\circ }},\stackrel{^}{\mu }\bullet \left(k\right)=\frac{k\mu \bullet \left(k\right)}{{m}_{\bullet }},k\ge 0$  be the size-biased versions of the probabilities $\mu \circ ,\mu \bullet$  . The size-biased Galton-Watson tree is an infinite tree containing a unique spine, i.e. an infinite injective path starting from the root, and its distribution is defined as follows. The root is assigned a number of children ${c}_{\mathbb{\varnothing }}$  with distribution $\stackrel{^}{\mu }\circ$  , and a distinguished child is chosen uniformly among these. On all children but the distinguished one, independent trees with distribution $P\sigma \left(\mathbf{p}{\right)}^{\bullet }$  are grafted, while the distinguished child has an independent number of children with law $\stackrel{^}{\mu }\bullet$  . Again, one of these is chosen uniformly and distinguished. Independent trees with law $P\sigma \left(\mathbf{p}{\right)}^{\circ }$  originate from the undistinguished ones, and the distinguished one has offspring with law $\stackrel{^}{\mu }\circ$  , and so on, so that one uses distributions $P\sigma \left(\mathbf{p}{\right)}^{\circ },\stackrel{^}{\mu }\circ$  at even generations, and $P\sigma \left(\mathbf{p}{\right)}^{\bullet },\stackrel{^}{\mu }\bullet$  at odd ones. We let $\stackrel{^}{P}$  be the distribution of the resulting infinite tree, and we denote the infinite distinguished path $\left[\left[\mathbb{\varnothing },\infty \right]\right]=\left\{{v}_{0}=\mathbb{\varnothing },{v}_{1},\dots \right\}$  . We let $\stackrel{^}{P}\sigma \left(\mathbf{p}{\right)}^{\left(h\right)}$  be the distribution of $\left(\left[T{\right]}_{{v}_{h}},{v}_{h}\right)$  under $\stackrel{^}{P}$  , and we denote by $\left(T,V\right)$  a random variable with this law. We also let $\circ \bullet \left(h\right)=\circ$  or $\bullet$  according to $h$  being even or odd.
Similarly, for $r\in \mathbb{N}=\left\{1,2,\dots \right\},h\ge 0$  , let $\stackrel{^}{P}\sigma \left(\mathbf{p}{\right)}_{r}^{\left(h\right)}$  be the law of a forest of $r$  independent trees all with law $P\sigma \left(\mathbf{p}{\right)}^{\circ }$  except for the $K$  -th one which has law $\stackrel{^}{P}\sigma \left(\mathbf{p}{\right)}^{\left(h\right)}$  , where $K$  is uniform on $\left\{1,2,\dots ,r\right\}$  .
Lemma 4 (Ancestral decomposition for Galton-Watson forests) For every $r\in \mathbb{N}$  and nonnegative functions $F,G$  ${E}_{r}\left[{\sum }_{u\in \mathcal{ℱ}}F\left(|u|,\left[\mathcal{ℱ}{\right]}_{u}\right)G\left({\mathcal{ℱ}}_{u}\right)\right]=r{\sum }_{h\ge 0}{m}_{\circ }\sigma \left(\mathbf{p}{\right)}^{\left[h/2+1\right]}{m}_{\bullet }\sigma \left(\mathbf{p}{\right)}^{\left[\left(h+1\right)/2\right]}{\stackrel{^}{E}}_{r}\sigma \left(\mathbf{p}{\right)}^{\left(h\right)}\left[F\left(V,\mathcal{ℱ}\right)\right]E\sigma \left(\mathbf{p}{\right)}^{\circ \bullet \left(h\right)}\left[G\left(T\right)\right].$  (notice that by definition $\left[\mathcal{ℱ}{\right]}_{u}$  is a forest, while ${\mathcal{ℱ}}_{u}$  is a tree).
Otherwise said, if a vertex $u$  is taken according to the counting measure on $\mathcal{ℱ}$  , then its height is distributed according to the measure on $\mathbb{N}$  with weight ${m}_{\circ }\sigma \left(\mathbf{p}{\right)}^{\left[h/2+1\right]}{m}_{\bullet }\sigma \left(\mathbf{p}{\right)}^{\left[\left(h+1\right)/2\right]}$  on $\left\{h\right\}$  , and given $|u|=h$  , $\left(\left[\mathcal{ℱ}{\right]}_{u},u\right),{\mathcal{ℱ}}_{u}$  are independent with respective laws $\stackrel{^}{P}\sigma \left(\mathbf{p}{\right)}_{r}^{\left(h\right)}$  and $P$  .
Notice that when ${m}_{\circ }{m}_{\bullet }=1$  , we can bound ${E}_{r}\left[{\sum }_{u\in \mathcal{ℱ}}F\left(u,\left[\mathcal{ℱ}{\right]}_{u}\right)G\left({\mathcal{ℱ}}_{u}\right)\right]\le r\left({m}_{\circ }\vee {m}_{\bullet }\right){\sum }_{h\ge 0}\stackrel{^}{E}\sigma \left(\mathbf{p}{\right)}_{r}^{\left(h\right)}\left[F\left(V,\mathcal{ℱ}\right)\right]E\sigma \left(\mathbf{p}{\right)}^{\circ \bullet \left(h\right)}\left[G\left(T\right)\right].$  Proof. This lemma is essentially deterministic, in that one can take $F\left(u,\mathbf{f}\right)G\left({\mathbf{f}}^{\prime }\right)$  of the form ${1}_{u,\mathbf{f},{\mathbf{f}}^{\prime }}$  for some particular $u\in \mathbf{f},{\mathbf{f}}^{\prime }$  with say $|u|=h$  . It is then easy that the expectation we are looking for is just the probability ${P}_{r}\left(\mathcal{ℱ}=\left[\mathbf{f},u,{\mathbf{f}}^{\prime }\right]\right)$  where $\left[\mathbf{f},u,{\mathbf{f}}^{\prime }\right]$  is the unique forest ${\mathbf{f}}^{\prime \prime }$  satisfying $\left[{\mathbf{f}}^{\prime \prime }{\right]}_{u}=\mathbf{f},{\mathbf{f}}_{u}^{\prime \prime }={\mathbf{f}}^{\prime }$  . The subtrees originating from the spine $\left[\left[\mathbb{\varnothing },u\right]\right]$  are then plainly independent with the claimed laws $P\sigma \left(\mathbf{p}{\right)}^{\circ \bullet \left({h}^{\prime }\right)},1\le {h}^{\prime }\le h$  , and independent of the structure of the spine. The latter is constituted of $\mathbb{\varnothing },{u}_{1},\dots ,{u}_{h}=u$  and the brothers of ${u}_{1},\dots ,{u}_{h}$  , whose respective numbers are ${k}_{1}-1,\dots ,{k}_{h}-1$  with probability 2 CRITICAL TWO-TYPE DISCRETE SNAKES ${\prod }_{0\le i\le h-1\text{even}}\mu \circ \left({k}_{i+1}\right){\prod }_{1\le i\le h-1\text{odd}}\mu \bullet \left({k}_{i+1}\right),$  which we rewrite $r{m}_{\circ }\sigma \left(\mathbf{p}{\right)}^{\left[h/2\right]}{m}_{\bullet }\sigma \left(\mathbf{p}{\right)}^{\left[\left(h-1\right)/2\right]}\frac{1}{r}{\prod }_{i=1}\sigma \left(\mathbf{p}{\right)}^{h}\frac{1}{{k}_{i}}{\prod }_{0\le i\le h-1\text{even}}\stackrel{^}{\mu }\circ \left({k}_{i+1}\right){\prod }_{1\le i\le h-1\text{odd}}\stackrel{^}{\mu }\bullet \left({k}_{i+1}\right),$  and the first product corresponds to the probability of choosing the distinguished vertex ${u}_{i}$  at height $i$  , while the factor $1/r$  amounts to choosing the place of the distinguished tree in the forest with $r$  roots. Hence the result. $\square$  2 CRITICAL TWO-TYPE DISCRETE SNAKES

2.5 Criticality and the tree of grandfathers

We now use a natural reduction of two-type trees obtained when squeezing all the odd generations, i.e. by considering only the $\circ$  descendence of $\circ$  vertices. More precisely, given a tree $\mathbf{t}$  , we define recursively the reduced tree $\overline{\mathbf{t}}\circ$  (also called the tree of grandfathers in the sequel) starting from the root, by letting the children of the root in $\overline{\mathbf{t}}\circ$  be the grandchildren of $\mathbb{\varnothing }$  in $\mathbf{t}$  , taken in depth-first order, and letting the children of these be the corresponding grandchildren in $\mathbf{t}$  , and so on. Formally, if $k$  is the number of children of $\mathbb{\varnothing }$  in $\mathbf{t}$  , and if the $i$  -th of these children has ${c}_{i}$  children $i1,\dots ,i{c}_{i}$  itself, then root $\mathbb{\varnothing }$  has ${c}_{1}+\dots +{c}_{k}$  children in $\overline{\mathbf{t}}\circ$  , and we let $\overline{ij}={c}_{1}+\dots +{c}_{i-1}+j$  . In stage $n$  , if we consider a vertex $\overline{u}$  of $\overline{\mathbf{t}}\circ$  which comes from a vertex $u$  of $\mathbf{t}$  by our construction, we let $uij,1\le i\le {c}_{u},1\le j\le {c}_{ui}$  be its grandsons in $\mathbf{t}$  , and we map $uij$  to $\overline{uij}=\overline{u}\left({c}_{u1}+\dots +{c}_{u\left(i-1\right)}+j\right)$  , hence determining the ${c}_{u1}+\dots +{c}_{uk}$  children of $\overline{u}$  in $\overline{\mathbf{t}}\circ$  .

Figure 4 : A two-type tree $T$  , the corresponding reduced tree ${\overline{T}}_{\circ }$  , and the forest ${\overline{T}}_{\bullet }$  .

It is now obvious by definition that
Proposition 3 If $T$  follows the law $P$  , then $\overline{T}\circ$  is a monotype Galton-Watson tree, whose offspring distribution $\overline{\mu }\circ$  has generating function ${G}_{\overline{\mu }\circ }={G}_{\mu \circ }\circ {G}_{\mu \bullet }.$
By differentiating this expression, we obtain that the mean of this new offspring distribution is ${m}_{\bullet }{m}_{\circ }$  , so it is critical by our assumptions. Also, we can similarly consider a forest ${T}_{1},{T}_{2},\dots ,{T}_{{c}_{\mathbb{\varnothing }}\left(T\right)}$  of fringe subtrees rooted at the sons of the root of $T$  , and apply a similar transformation $\overline{T}\bullet$  to all these trees, skipping every $\circ$  generation. Again, this gives a critical GW forest (with random number of trees), also called forest of grandfathers in the sequel. By differentiating twice the expression above we also obtain that the variance is finite, and in fact small exponential moments are finite. A quick computation gives that the variance of $\overline{\mu }\circ$  is ${\overline{\sigma }}_{\circ }\sigma \left(\mathbf{p}{\right)}^{2}$  (resp. ${\overline{\sigma }}_{\bullet }\sigma \left(\mathbf{p}{\right)}^{2}$  for $\overline{\mu }\bullet$  ), where
 $\begin{array}{c}{\overline{\sigma }}_{\circ }=\sqrt{{m}_{\bullet }\sigma \left(\mathbf{p}{\right)}^{2}{\sigma }_{\circ }\sigma \left(\mathbf{p}{\right)}^{2}+{m}_{\circ }{\sigma }_{\bullet }\sigma \left(\mathbf{p}{\right)}^{2}},{\overline{\sigma }}_{\bullet }=\sqrt{{m}_{\bullet }{\sigma }_{\circ }\sigma \left(\mathbf{p}{\right)}^{2}+{m}_{\circ }\sigma \left(\mathbf{p}{\right)}^{2}{\sigma }_{\bullet }\sigma \left(\mathbf{p}{\right)}^{2}}.\end{array}$ (9)
From the a.s. extinction criterium of monotype Galton-Watson trees, we also immediately deduce in our case the well-known extinction lemma for two-type trees:
Lemma 5 Let $\left(\mu \circ ,\mu \bullet \right)$  satisfy $\left({H}_{1}\right)$  and $T$  be a $P\sigma \left(\mathbf{p}{\right)}^{\circ }$  (or $P\sigma \left(\mathbf{p}{\right)}^{\bullet }$  ) distributed tree. Then $T$  is a.s. finite.
Of course, the existence of small exponential moments can be lifted here. We also immediately get
Lemma 6 Assume that the pair $\left(\mu \circ ,\mu \bullet \right)$  satisfies $\left({H}_{1}\right)$  . The conclusions of Lemmæ  2 and  3 remain valid for $P\sigma \left(\mathbf{p}{\right)}^{\circ }$  -forests (and $P\sigma \left(\mathbf{p}{\right)}^{\bullet }$  -forests) introduced in Section  2.1 .
We now give a result similar to [20in the case of single type Galton-Watson trees. For $u\in \mathbf{t}$  and $k\ge 1$  let ${a}_{u,k}\left(\mathbf{t}\right)$  be the number of ancestors $v\in \left[\left[\mathbb{\varnothing },u\right]\right]$  that have $k$  children exactly. Similar notations are taken for forests. The next lemma allows to bound the degree in large trees.
Lemma 7 Assume that the pair $\left(\mu \circ ,\mu \bullet \right)$  satisfies $\left({H}_{1}\right)$  . For every $A,\xi >0$  there exists $\varepsilon >0$  such that for $n$  large enough,
 $\begin{array}{c}{P}_{\infty }\left({sup}_{k\ge n\sigma \left(\mathbf{p}{\right)}^{\xi },u\prec u\left(\left[An\right]\right)}{a}_{u,k}\left(\mathcal{ℱ}\right)\ge 1\right)\le exp\left(-n\sigma \left(\mathbf{p}{\right)}^{\varepsilon }\right).\end{array}$ (10)
Moreover, for every $D>0$  there exists $C>0$  such that for $n$  large enough,
 $\begin{array}{c}{P}_{\infty }\left({sup}_{k\ge Clogn,u\prec u\left(\left[An\right]\right)}{a}_{u,k}\left(\mathcal{ℱ}\right)\ge 1\right)\le n\sigma \left(\mathbf{p}{\right)}^{-D}.2\mathit{C}\mathit{R}\mathit{I}\mathit{T}\mathit{I}\mathit{C}\mathit{A}\mathit{L}\mathit{T}\mathit{W}\mathit{O}\mathit{-}\mathit{T}\mathit{Y}\mathit{P}\mathit{E}\mathit{D}\mathit{I}\mathit{S}\mathit{C}\mathit{R}\mathit{E}\mathit{T}\mathit{E}\mathit{S}\mathit{N}\mathit{A}\mathit{K}\mathit{E}\mathit{S}\end{array}$ (11)
Proof. Let $\eta >0$  . By first using Lemma  6 as in Lemma  8 , it suffices to bound ${P}_{n\sigma \left(\mathbf{p}{\right)}^{1/2+\eta }}\left({sup}_{k\ge n\sigma \left(\mathbf{p}{\right)}^{\xi },|u|\le n\sigma \left(\mathbf{p}{\right)}^{1/2+\eta }}{a}_{u,k}\ge 1\right)\le {E}_{n\sigma \left(\mathbf{p}{\right)}^{1/2+\eta }}\left({\sum }_{u\in \mathcal{ℱ}}{1}_{|u|\le n\sigma \left(\mathbf{p}{\right)}^{1/2+\eta }}{1}_{{c}_{u}\ge n\sigma \left(\mathbf{p}{\right)}^{\xi }}\right)$  and applying the ancestral decomposition, this is smaller than $\left({m}_{\circ }\vee {m}_{\bullet }\right)n\sigma \left(\mathbf{p}{\right)}^{1/2+\eta }{\sum }_{0\le h\le n\sigma \left(\mathbf{p}{\right)}^{1/2+\eta }}\mu \sigma \left(\mathbf{p}{\right)}^{\circ \bullet \left(h\right)}\left(\left[n\sigma \left(\mathbf{p}{\right)}^{\xi },+\infty \left[\right).$  The sum contains two kinds of terms depending on whether $h$  is odd or even. Since $\mu \sigma \left(\mathbf{p}{\right)}^{\circ }$  and $\mu \sigma \left(\mathbf{p}{\right)}^{\bullet }$  have small exponential moments, Markov’s inequality shows that, there exists $\varepsilon$  such that, for $n$  large enough, $\mu \sigma \left(\mathbf{p}{\right)}^{\circ }\left(\left[n\sigma \left(\mathbf{p}{\right)}^{\xi },+\infty \right)\right)+\mu \sigma \left(\mathbf{p}{\right)}^{\bullet }\left(\left[n\sigma \left(\mathbf{p}{\right)}^{\xi },+\infty \right)\right)\le exp\left(-n\sigma \left(\mathbf{p}{\right)}^{\varepsilon /2}\right)$  , which gives ( 10 ). We obtain ( 11 ) by a similar method. $\square$  2 CRITICAL TWO-TYPE DISCRETE SNAKES

2.6 Repartition of $\circ$  -nodes and $\bullet$  -nodes in two-type trees

Let now $J\sigma \left(\mathbf{p}{\right)}_{\mathbf{t}}^{\circ }\left(k\right)$  (resp. $J\sigma \left(\mathbf{p}{\right)}_{\mathbf{t}}^{\bullet }\left(k\right)$  ) be the number of vertices of type $\circ$  (resp. $\bullet$  ) occurring in depth-first order before the $k$  -th vertex of $\mathbf{t}$  in depth-first order. It is immediate that
 $\begin{array}{c}|H\sigma \left(\mathbf{p}{\right)}_{k}^{\mathbf{t}}-2H\sigma \left(\mathbf{p}{\right)}_{J\sigma \left(\mathbf{p}{\right)}_{\mathbf{t}}^{\circ }\left(k\right)}^{\overline{\mathbf{t}}\circ }|\le 2|H\sigma \left(\mathbf{p}{\right)}_{J\sigma \left(\mathbf{p}{\right)}_{\mathbf{t}}^{\circ }\left(k\right)}^{\overline{\mathbf{t}}\circ }-H\sigma \left(\mathbf{p}{\right)}_{J\sigma \left(\mathbf{p}{\right)}_{\mathbf{t}}^{\circ }\left(k\right)+1}^{\overline{\mathbf{t}}\circ }|+2,\end{array}$ (12)
where by convention $H\sigma \left(\mathbf{p}{\right)}_{J\sigma \left(\mathbf{p}{\right)}_{\mathbf{t}}^{\circ }\left(k\right)+1}^{\overline{\mathbf{t}}\circ }=0$  when $J\sigma \left(\mathbf{p}{\right)}_{\mathbf{t}}^{\circ }\left(k\right)=|\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\circ }|$  . A similar inequality holds when $\mathbf{t}$  is replaced by a forest $\mathbf{f}$  , and/or $\circ$  by $\bullet$  . The next lemma gives the asymptotic behavior for $\left(J\sigma \left(\mathbf{p}{\right)}_{\mathcal{ℱ}}^{\circ }\left(k\right),k\ge 0\right)$  .
Lemma 8 Under assumptions $\left({H}_{1}\right)$  , for any $A,\gamma >0$  there exists $\varepsilon >0$  such that for $n$  large enough, ${P}_{\infty }\left({sup}_{0\le k\le An}|J\sigma \left(\mathbf{p}{\right)}_{\mathcal{ℱ}}^{\circ }\left(k\right)-\frac{k}{1+{m}_{\circ }}|>n\sigma \left(\mathbf{p}{\right)}^{1/2+\gamma }\right)\le exp\left(-n\sigma \left(\mathbf{p}{\right)}^{\varepsilon }\right),$  and similarly with $\left(J\sigma \left(\mathbf{p}{\right)}_{\mathcal{ℱ}}^{\bullet },{m}_{\bullet }\right)$  instead of $\left(J\sigma \left(\mathbf{p}{\right)}_{\mathcal{ℱ}}^{\circ },{m}_{\circ }\right)$  .
Proof. Let ${J}_{k}^{\prime }$  be the total number of vertices that have been visited before exploring the $k$  -th $\circ$  , which we call $u$  (and which is counted in the number ${J}_{k}^{\prime }$  ). At time ${J}_{k}^{\prime }$  , one has visited all the children of the $k-1$  first $\circ$  -nodes ${u}_{1},...,{u}_{k-1}$  except maybe some of the children of the ancestors of $u$  . Using Lemmas  7 and  2 , for any $\eta ,\xi >0$  , there exists $\varepsilon >0$  , for $n$  large enough, for any $k\le An$  , $P\left(|{J}_{k}^{\prime }-\left(k+{\sum }_{i=1}\sigma \left(\mathbf{p}{\right)}^{k}{c}_{{u}_{i}}\right)|\ge n\sigma \left(\mathbf{p}{\right)}^{1/2+\eta +\xi }\right)\le exp\left(-n\sigma \left(\mathbf{p}{\right)}^{\varepsilon }\right).$  Now, since the random variables ${c}_{{u}_{i}}$  are independent and have exponential moments, ${\sum }_{i=1}\sigma \left(\mathbf{p}{\right)}^{k}{c}_{{u}_{i}}$  is concentrated around its mean, and one gets that for $n$  large enough, for any $k\le An$  , $P\left({sup}_{0\le k\le An}|{J}_{k}^{\prime }-\left(1+{m}_{\circ }\right)k|\ge n\sigma \left(\mathbf{p}{\right)}^{1/2+\gamma /2}\right)\le exp\left(-n\sigma \left(\mathbf{p}{\right)}^{\varepsilon }\right).$  The result on $J\sigma \left(\mathbf{p}{\right)}_{\mathcal{ℱ}}^{\circ }$  follows by a standard argument (it is uniformly close to the right-continuous inverse of ${J}^{\prime }$  ). The very same reasoning shows that ${J}_{k}^{\prime \prime }$  is uniformly close to $\left(1+{m}_{\bullet }\right)k$  with high probability, where ${J}_{k}^{\prime \prime }$  is the number of $\bullet$  vertices visited before the $k$  -th vertex. $\square$  An immediate consequence of this is
Corollary 2 Under the hypotheses $\left(H\right)$  , the statement of Proposition  1 remains valid in the two-type case, i.e. for every $A,\varepsilon >0,\alpha \in \left(0,1/2\right)$  , there exists $C>0$  with ${sup}_{n\in \mathbb{N}}P\sigma \left(\mathbf{p}{\right)}_{\infty }^{\circ }\left({sup}_{0\le s\ne t\le A}\frac{|H\sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}}-H\sigma \left(\mathbf{p}{\right)}_{nt}^{\mathcal{ℱ}}|}{\sqrt{n}|s-t|\sigma \left(\mathbf{p}{\right)}^{\alpha }}>C\right)\le \varepsilon .$
Proof. We bound $|\frac{H\sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}}-H\sigma \left(\mathbf{p}{\right)}_{nt}^{\mathcal{ℱ}}}{\sqrt{n}}|\le |\frac{H\sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}}-2H\sigma \left(\mathbf{p}{\right)}_{J\sigma \left(\mathbf{p}{\right)}_{\mathcal{ℱ}}^{\circ }\left(ns\right)}^{{\overline{\mathcal{ℱ}}}_{\circ }}}{\sqrt{n}}|+2|\frac{H\sigma \left(\mathbf{p}{\right)}_{J\sigma \left(\mathbf{p}{\right)}_{\mathcal{ℱ}}^{\circ }\left(ns\right)}^{{\overline{\mathcal{ℱ}}}_{\circ }}-H\sigma \left(\mathbf{p}{\right)}_{J\sigma \left(\mathbf{p}{\right)}_{\mathcal{ℱ}}^{\circ }\left(nt\right)}^{{\overline{\mathcal{ℱ}}}_{\circ }}}{\sqrt{n}}|+|\frac{H\sigma \left(\mathbf{p}{\right)}_{nt}^{\mathcal{ℱ}}-2H\sigma \left(\mathbf{p}{\right)}_{J\sigma \left(\mathbf{p}{\right)}_{\mathcal{ℱ}}^{\circ }\left(nt\right)}^{{\overline{\mathcal{ℱ}}}_{\circ }}}{\sqrt{n}}|.2\mathit{C}\mathit{R}\mathit{I}\mathit{T}\mathit{I}\mathit{C}\mathit{A}\mathit{L}\mathit{T}\mathit{W}\mathit{O}\mathit{-}\mathit{T}\mathit{Y}\mathit{P}\mathit{E}\mathit{D}\mathit{I}\mathit{S}\mathit{C}\mathit{R}\mathit{E}\mathit{T}\mathit{E}\mathit{S}\mathit{N}\mathit{A}\mathit{K}\mathit{E}\mathit{S}$  The term in the middle is $  with high probability for $C$  large enough thanks to Proposition  1 and Lemma  8 , while the two others are bounded by ${sup}_{0\le k\le An}n\sigma \left(\mathbf{p}{\right)}^{-1/2}|H\sigma \left(\mathbf{p}{\right)}_{k}^{{\overline{\mathcal{ℱ}}}_{\circ }}-H\sigma \left(\mathbf{p}{\right)}_{k+1}^{{\overline{\mathcal{ℱ}}}_{\circ }}|$  by ( 12 ) and the fact that $J\sigma \left(\mathbf{p}{\right)}_{\mathcal{ℱ}}^{\circ }\left(k\right)\le k$  . Now this quantity converges to $0$  in probability by Proposition  2 . Therefore, we obtain the desired bound when $s\ne t$  are such that $ns,nt$  are integers, and this is extended similarly as above to any $s,t\le A$  by linear interpolation. $\square$  2 CRITICAL TWO-TYPE DISCRETE SNAKES

2.7 Two-type discrete snakes

We now couple the Galton-Watson trees with a spatial motion as follows. For every $k\ge 1$  consider two distributions ${\nu }_{k}\sigma \left(\mathbf{p}{\right)}^{\circ },{\nu }_{k}\sigma \left(\mathbf{p}{\right)}^{\bullet }$  on $\mathbb{R}\sigma \left(\mathbf{p}{\right)}^{k}$  .
We enrich the laws ${P}_{r},r\in \mathbb{N}\cup \left\{\infty \right\}$  by associating with the children $\left(u1,\dots ,u{c}_{u}\left(\mathbf{f}\right)\right)$  of every vertex $u$  of $\mathbf{f}$  (given $\mathcal{ℱ}=\mathbf{f}$  ) a r.v. $\left({Y}_{u1},{Y}_{u2}\dots ,{Y}_{u{c}_{u}\left(\mathbf{f}\right)}\right)$  with law $\nu \sigma \left(\mathbf{p}{\right)}_{{c}_{u}\left(\mathbf{f}\right)}^{\circ }$  if $|u|$  is even, and $\nu \sigma \left(\mathbf{p}{\right)}_{{c}_{u}\left(\mathbf{f}\right)}^{\bullet }$  otherwise, and we suppose these variables independent over different $u$  ’s.
We call ${\mathbb{P}}_{r}$  the associated probability. We let also ${Y}_{\mathbb{\varnothing }}=0$  and $\ell \left(u\right)={\sum }_{v\in \left[\left[\mathbb{\varnothing },u\right]\right]}{Y}_{v}$  . In the sequel, the notation $\mathbf{f}$  will stand for a labeled forest $\left(\mathbf{f},\ell \right)$  .Let $R\sigma \left(\mathbf{p}{\right)}_{k}^{\mathbf{f}}=\ell \left(\left(u\left(k\right)\right)$  , and define $\left(R\sigma \left(\mathbf{p}{\right)}_{s}^{\mathbf{f}},s\ge 0\right)$  by linear interpolation between values taken at integers. Similarly, we let $\stackrel{^}{R}\sigma \left(\mathbf{p}{\right)}_{k}^{\mathbf{f}}=l\left({F}_{\mathbf{f}}\left(k\right)\right)$  be the label of the $k$  -th vertex in depth-first traversal, and let $\stackrel{^}{R}\sigma \left(\mathbf{p}{\right)}^{\mathbf{f}}$  be the associated interpolated process. It is convenient to see this construction as done on Figure  5 :
assume that each node $u$  is drawn in the plane at position $\left(\ell \left(u\right),|u|\right)$  . The children of $u$  will be at position $\left\{\left(\ell \left(u\right)+{Y}_{ui},|u|+1\right),i\in \mathcal{J}1,{c}_{\mathbf{f}}\left(u\right)\mathcal{K}\right\}$  . Hence, the variable ${Y}_{ui}$  can be thought as abscissa displacements of $i$  th children of $u$  relative to $u$  .

Figure 5 : At first a tree in which each node $u$  is marked with ${Y}_{u}$  . On the second picture, $u$  is marked with $\ell \left(u\right)$  , then one sees a representation in the plan using the variable ${Y}_{u}$  as abscissa displacements. Then are represented on top $\stackrel{^}{H}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}}$  and below $\stackrel{^}{R}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}}$  . The small rectangle in this Figure illustrates that the process $\stackrel{^}{R}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}}$  must be constant on the nodes encoded by $\stackrel{^}{H}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}}$

We denote by $M\sigma \left(\mathbf{p}{\right)}_{k,j,p}^{\circ }={\int }_{\mathbb{R}\sigma \left(\mathbf{p}{\right)}^{k}}|{x}_{j}|\sigma \left(\mathbf{p}{\right)}^{p}\nu \sigma \left(\mathbf{p}{\right)}_{k}^{\circ }\left(dx\right)\text{and}M\sigma \left(\mathbf{p}{\right)}_{k,j,p}^{\bullet }={\int }_{\mathbb{R}\sigma \left(\mathbf{p}{\right)}^{k}}|{x}_{j}|\sigma \left(\mathbf{p}{\right)}^{p}\nu \sigma \left(\mathbf{p}{\right)}_{k}^{\bullet }\left(dx\right)$  the $p$  -th moments of the one-dimensional marginals of $\nu \sigma \left(\mathbf{p}{\right)}_{k}^{\circ }$  and $\nu \sigma \left(\mathbf{p}{\right)}_{k}^{\bullet }$  . We denote by $\left({H}_{2}\right)$  the set of assumptions $\left({H}_{2}\right):=\left\{\begin{array}{c}\text{the one-dimensional marginals of}\nu \sigma \left(\mathbf{p}{\right)}_{k}^{\circ }\text{and}\nu \sigma \left(\mathbf{p}{\right)}_{k}^{\bullet }\text{are centered.}\\ \text{there exists}\varepsilon >0,\text{S.t. for any}k\ge 1,1\le j\le k,M\sigma \left(\mathbf{p}{\right)}_{k,j,4+\varepsilon }^{\circ }<+\infty \text{and}M\sigma \left(\mathbf{p}{\right)}_{k,j,4+\varepsilon }^{\bullet }<\infty \end{array}$  We will denote these two last quantities by $M\sigma \left(\mathbf{p}{\right)}_{k,j}^{\circ },M\sigma \left(\mathbf{p}{\right)}_{k,j}^{\bullet }$  for the sake of brevity. We let also $\left(\Sigma \sigma \left(\mathbf{p}{\right)}_{k,j}^{\circ }\right)\sigma \left(\mathbf{p}{\right)}^{2},\left(\Sigma \sigma \left(\mathbf{p}{\right)}_{k,j}^{\bullet }\right)\sigma \left(\mathbf{p}{\right)}^{2}$  be the variances of the $j$  -th marginal, and define
 $\begin{array}{c}\Sigma =\sqrt{\frac{1}{2}{\sum }_{k\ge 1}\left[\frac{\mu \circ \left(k\right)}{{m}_{\circ }}{\sum }_{1\le j\le k}\left(\Sigma \sigma \left(\mathbf{p}{\right)}_{k,j}^{\circ }\right)\sigma \left(\mathbf{p}{\right)}^{2}+\frac{\mu \bullet \left(k\right)}{{m}_{\bullet }}{\sum }_{1\le j\le k}\left(\Sigma \sigma \left(\mathbf{p}{\right)}_{k,j}^{\bullet }\right)\sigma \left(\mathbf{p}{\right)}^{2}\right]}.\end{array}$ (13)
3 CONVERGENCE OF NORMALIZED LABELED FORESTS

3 Convergence of normalized labeled forests

3 CONVERGENCE OF NORMALIZED LABELED FORESTS

3.1 Convergence of the shape

Define
 $\begin{array}{c}\overline{\sigma }=\frac{1}{2}\sqrt{{\sigma }_{\circ }\sigma \left(\mathbf{p}{\right)}^{2}\frac{1+{m}_{\bullet }}{{m}_{\circ }}+{\sigma }_{\bullet }\sigma \left(\mathbf{p}{\right)}^{2}\frac{1+{m}_{\circ }}{{m}_{\bullet }}},\end{array}$ (14)
so that $\overline{\sigma }=\sqrt{1+{m}_{\circ }}{\overline{\sigma }}_{\circ }/2=\sqrt{1+{m}_{\bullet }}{\overline{\sigma }}_{\bullet }/2$  .
Theorem 2 Let $\left(\mu \circ ,\mu \bullet \right)$  satisfying $\left({H}_{1}\right)$  ; under ${P}_{\infty }$  , ${\left(\frac{H\sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}}}{\sqrt{n}},\frac{\stackrel{^}{H}\sigma \left(\mathbf{p}{\right)}_{2ns}^{\mathcal{ℱ}}}{\sqrt{n}},\frac{\Lambda \sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}}}{\sqrt{n}},\frac{\stackrel{^}{\Lambda }\sigma \left(\mathbf{p}{\right)}_{2ns}^{\mathcal{ℱ}}}{\sqrt{n}}\right)}_{s\ge 0}--\to \left(d\right)n{\left(\frac{2}{\overline{\sigma }}|{B}_{s}|,\frac{2}{\overline{\sigma }}|{B}_{s}|,\frac{{\overline{\sigma }}_{\circ }}{\sqrt{1+{m}_{\circ }}}L\sigma \left(\mathbf{p}{\right)}_{s}^{0},\frac{{\overline{\sigma }}_{\circ }}{\sqrt{1+{m}_{\circ }}}L\sigma \left(\mathbf{p}{\right)}_{s}^{0}\right)}_{s\ge 0}$  where $B$  is a standard Brownian motion and $L\sigma \left(\mathbf{p}{\right)}^{0}$  is its local time at 0.
Remark. We suspect that the small exponential moments assumption is only technical, and that this theorem holds assuming only finite variance. However, dropping this assumption is likely to make all the proofs much more involved. The fact that convergence holds jointly for rescaled height and contour processes is an amelioration obtained in [19, see also [11, and we will exclusively concentrate on the height process in the sequel, referring the interested reader to the above references.
Proof. This is an easy consequence of the preceding results. From ( 12 ) and Proposition  2 , we have that under $P\sigma \left(\mathbf{p}{\right)}_{\infty }^{\circ }$  , $\left(n\sigma \left(\mathbf{p}{\right)}^{-1/2}H\sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}},s\ge 0\right)$  has the same limit as $\left(n\sigma \left(\mathbf{p}{\right)}^{-1/2}2H\sigma \left(\mathbf{p}{\right)}_{J\sigma \left(\mathbf{p}{\right)}_{\mathcal{ℱ}}^{\circ }\left(\left[ns\right]\right)}^{{\overline{\mathcal{ℱ}}}_{\circ }},s\ge 0\right)$  . By Propositions  2 and  8 and a standard argument using Skorokhod’s representation’s theorem, we obtain that the latter process converges to $\left(2{\overline{\sigma }}_{\circ }\sigma \left(\mathbf{p}{\right)}^{-1}|{B}_{\left(1+{m}_{\circ }\right)\sigma \left(\mathbf{p}{\right)}^{-1}s}|,s\ge 0\right)$  , and it suffices to use Brownian scaling and check that $2/\left(\sqrt{1+{m}_{\circ }}{\overline{\sigma }}_{\circ }\right)=2/\overline{\sigma }$  . The joint convergence with $\left(n\sigma \left(\mathbf{p}{\right)}^{-1/2}\Lambda \sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}},s\ge 0\right)$  is then easy, using that $\Lambda \sigma \left(\mathbf{p}{\right)}_{k}^{\mathcal{ℱ}}=\Lambda \sigma \left(\mathbf{p}{\right)}_{J\sigma \left(\mathbf{p}{\right)}_{\mathcal{ℱ}}^{\circ }\left(k\right)}^{{\overline{\mathcal{ℱ}}}_{\circ }}$  for every $k\ge 0$  . $\square$  3 CONVERGENCE OF NORMALIZED LABELED FORESTS

3.2 Convergence of the labels

For $\left({X}_{s},s\ge 0\right)$  a real-valued function, we let ${\stackrel{ˇ}{X}}_{s,{s}^{\prime }}={inf}_{s\wedge {s}^{\prime }\le u\le s\vee {s}^{\prime }}{X}_{u}$  . Denote by $\left({H}_{3}\right)$  the assumption $\left({H}_{3}\right):=\left\{\text{there exists}D>0\text{such that}{max}_{1\le j\le k}\left(M\sigma \left(\mathbf{p}{\right)}_{k,j}^{\circ }\vee M\sigma \left(\mathbf{p}{\right)}_{k,j}^{\bullet }\right)=O\left(k\sigma \left(\mathbf{p}{\right)}^{D}\right).$  The goal of this section is to prove the following theorem.
Theorem 3 If $\left({H}_{1}\right)$  , $\left({H}_{2}\right)$  and $\left({H}_{3}\right)$  are satisfied then $\Sigma$  is finite, and under ${\mathbb{P}}_{\infty }$  , we have $\left(\frac{H\sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}}}{n\sigma \left(\mathbf{p}{\right)}^{1/2}},\frac{\Lambda \sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}}}{n\sigma \left(\mathbf{p}{\right)}^{1/2}},\frac{R\sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}}}{n\sigma \left(\mathbf{p}{\right)}^{1/4}}\right)----\to weaklyn\to \infty \left(\frac{2}{\overline{\sigma }}|{B}_{s}|,\frac{{\overline{\sigma }}_{\circ }}{\sqrt{1+{m}_{\circ }}}L\sigma \left(\mathbf{p}{\right)}_{s}^{0},\Sigma \sqrt{\frac{2}{\overline{\sigma }}}{r}_{s}\right),s\ge 0,$  in $C\left(\left[0,1\right],\mathbb{R}\sigma \left(\mathbf{p}{\right)}^{3}\right)$  , endowed with the topology of uniform convergence on compact sets, and where conditionally on $B$  , $r$  is a centered Gaussian process with covariance $cov\left({r}_{s},{r}_{{s}^{\prime }}\right)=|\stackrel{ˇ}{B}{|}_{s,{s}^{\prime }},s,{s}^{\prime }\ge 0.$  Similarly, $\left(\frac{\stackrel{^}{H}\sigma \left(\mathbf{p}{\right)}_{2ns}^{\mathcal{ℱ}}}{n\sigma \left(\mathbf{p}{\right)}^{1/2}},\frac{\stackrel{^}{\Lambda }\sigma \left(\mathbf{p}{\right)}_{2ns}^{\mathcal{ℱ}}}{n\sigma \left(\mathbf{p}{\right)}^{1/2}},\frac{\stackrel{^}{R}\sigma \left(\mathbf{p}{\right)}_{2ns}^{\mathcal{ℱ}}}{n\sigma \left(\mathbf{p}{\right)}^{1/4}}\right)----\to weaklyn\to \infty \left(\frac{2}{\overline{\sigma }}|{B}_{s}|,\frac{{\overline{\sigma }}_{\circ }}{\sqrt{1+{m}_{\circ }}}L\sigma \left(\mathbf{p}{\right)}_{s}^{0},{r}_{s}\right),s\ge 0.$
Remarks. $\bullet$  In case of i.i.d. random variables ${Y}_{v}$  , the minimum moment condition is the existence of a moment of order $4+\varepsilon$  (see [14). There, since we allow the law of ${Y}_{v}$  to depend on the degree (this is the case in the application to mobiles associated with random maps), the moments of order $4+\varepsilon$  must exist and also must not grow too fast with the degree: the rate of growing depends on the apparition of nodes with large degree in the tree; this is ruled off by Lemma  7 .
$\bullet$  In fact, a joint convergence result similar to that of Theorem  2 could be obtained here, but we do not concentrate on this. Also, the proofs will be done only in the case of the height process, the case of the contour process being similar, and easier in many ways (e.g. the analog of Lemma  11 is straightforward).
From Theorem  3 , we deduce, recalling the notations of Sect.  1.5 ,
Corollary 3 Supposing $\left({H}_{1}\right),\left({H}_{2}\right),\left({H}_{3}\right)$  , for any $a>0$  , the process $\left(\left(n\sigma \left(\mathbf{p}{\right)}^{-1/2}H\sigma \left(\mathbf{p}{\right)}_{ns}^{T},n\sigma \left(\mathbf{p}{\right)}^{-1/4}R\sigma \left(\mathbf{p}{\right)}_{ns}^{T}\right),0\le s\le n\sigma \left(\mathbf{p}{\right)}^{-1}|T|\right)$  under $\mathbb{P}\left(\cdot |maxR\sigma \left(\mathbf{p}{\right)}^{T}-minR\sigma \left(\mathbf{p}{\right)}^{T}>an\sigma \left(\mathbf{p}{\right)}^{1/4}\right)$  converges to $\left(2\overline{\sigma }\sigma \left(\mathbf{p}{\right)}^{-1}e,\Sigma \sqrt{2\overline{\sigma }\sigma \left(\mathbf{p}{\right)}^{-1}}r\right)$  under $\mathbb{N}\left(\cdot |\Sigma \sqrt{2\overline{\sigma }\sigma \left(\mathbf{p}{\right)}^{-1}}\Delta >a\right)$  .
We will not give a detailed proof of this statement, as a very similar result appears in [11,Section2.5, to which we refer the interested reader. Also, many other kinds of non-singular conditionings could be chosen instead of our choice on the diameter of the range of the process $r$  . We use this one because of the specialization to the mobiles associated with maps as discussed in the Introduction and in Sect.  4 : the diameter of the range of $r$  corresponds to the radius of the map.
In order to prove Theorem  3 , we must first control the behavior of the random variables ${Y}_{v}$  involved in ${R}_{ns}$  . This passes through the control of the largest degree in a our random trees, which is the aim of the following subsection.
3 CONVERGENCE OF NORMALIZED LABELED FORESTS

3.3 Preliminary lemmæ

Now, for $1\le j\le k$  we let $a\sigma \left(\mathbf{p}{\right)}_{u,k,j}^{\circ }\left(\mathbf{t}\right)$  be the number of ancestors $v\in \left[\left[\mathbb{\varnothing },u\right]\right]$  such that $|v|$  is even, ${c}_{\mathbf{t}}\left(v\right)=k$  , and such that $u$  is moreover in the $j$  -th fringe subtree ${\mathbf{t}}_{vj}$  . The quantity $a\sigma \left(\mathbf{p}{\right)}_{u,k,j}^{\bullet }\left(\mathbf{t}\right)$  is defined similarly. We define the same quantity for forests rather than trees. Under a GW law (of a tree of a forest), we will unambiguously denote $a\sigma \left(\mathbf{p}{\right)}_{u,k,j}^{\circ }\left(T\right)$  or $a\sigma \left(\mathbf{p}{\right)}_{u,k,j}^{\circ }\left(\mathcal{ℱ}\right)$  by $a\sigma \left(\mathbf{p}{\right)}_{u,k,j}^{\circ }$  , and so on.
Lemma 9 Let $\left(\mu \circ ,\mu \bullet \right)$  satisfying $\left({H}_{1}\right)$  . For every $\gamma ,A>0$  , there exists $\varepsilon >0$  such that for $n$  large enough, ${P}_{\infty }\left({sup}_{k\ge 1,1\le j\le k,u\prec u\left(\left[An\right]\right)}\frac{|a\sigma \left(\mathbf{p}{\right)}_{u,k,j}^{\circ }-\frac{\mu \circ \left(k\right)}{2{m}_{\circ }}|u||}{\sqrt{\frac{\mu \circ \left(k\right)}{{m}_{\circ }}}}\ge n\sigma \left(\mathbf{p}{\right)}^{1/4+\gamma }\right)\le exp\left(-n\sigma \left(\mathbf{p}{\right)}^{\varepsilon }\right)$  and similarly for $a\sigma \left(\mathbf{p}{\right)}_{u,k,j}^{\bullet }$  .
Proof. Notice that the number of $\circ$  vertices under a vertex of height $h$  is $\left[h/2+1\right]$  . By Lemma  4 , for a given $k\ge 1,1\le j\le k$  , 3 CONVERGENCE OF NORMALIZED LABELED FORESTS
 $\begin{array}{ccc}{P}_{n\sigma \left(\mathbf{p}{\right)}^{1/2+\gamma /2}}\left({sup}_{|u|\le n\sigma \left(\mathbf{p}{\right)}^{1/2+\gamma /2}}|a\sigma \left(\mathbf{p}{\right)}_{u,k,j}^{\circ }-\frac{\mu \circ \left(k\right)}{{m}_{\circ }}\left[\frac{|u|}{2}+1\right]|\ge \sqrt{\frac{\mu \circ \left(k\right)}{{m}_{\circ }}}n\sigma \left(\mathbf{p}{\right)}^{1/4+\gamma }\right)& & \end{array}$ (15)
 $\begin{array}{ccc}& \le & {E}_{n\sigma \left(\mathbf{p}{\right)}^{1/2+\gamma /2}}\left[{\sum }_{u\in \mathcal{ℱ}}{1}_{\left\{|a\sigma \left(\mathbf{p}{\right)}_{u,k,j}^{\circ }-\frac{\mu \circ \left(k\right)}{{m}_{\circ }}\left[\frac{|u|}{2}+1\right]|\ge \sqrt{\frac{\mu \circ \left(k\right)}{{m}_{\circ }}}n\sigma \left(\mathbf{p}{\right)}^{1/4+\gamma }\right\}}{1}_{\left\{|u|\le \left[n\sigma \left(\mathbf{p}{\right)}^{1/2+\gamma /2}\right]\right\}}\right]\end{array}$
 $\begin{array}{ccc}& \le & {C}_{\circ \bullet }n\sigma \left(\mathbf{p}{\right)}^{1/2+\gamma /2}{\sum }_{h=0}\sigma \left(\mathbf{p}{\right)}^{\left[n\sigma \left(\mathbf{p}{\right)}^{1/2+\gamma /2}\right]}P\left(|{\sum }_{l=1}\sigma \left(\mathbf{p}{\right)}^{\left[h/2+1\right]}X\sigma \left(\mathbf{p}{\right)}_{k,j}^{\circ }\left(l\right)-\frac{\mu \circ \left(k\right)}{{m}_{\circ }}\left[\frac{h}{2}+1\right]|\ge \sqrt{\frac{\mu \circ \left(k\right)}{{m}_{\circ }}}n\sigma \left(\mathbf{p}{\right)}^{1/4+\gamma }\right),\end{array}$ (16)
where ${C}_{\circ \bullet }={m}_{\circ }\vee {m}_{\bullet }$  , and where on a probability space $\left(\Omega ,\mathcal{A},P\right)$  , $X\sigma \left(\mathbf{p}{\right)}_{k,j}^{\circ }\left(l\right),l=0,\dots ,\left[h/2+1\right]$  are i.i.d. random variables with Bernoulli( $\mu \circ \left(k\right)/{m}_{\circ }$  ) law (which corresponds to the probability that $\stackrel{^}{X}=k,{U}_{k}=j$  where $\stackrel{^}{X}$  has law $P\left(\stackrel{^}{X}=k\right)=k\mu \circ \left(k\right)/{m}_{\circ }$  , and given $\stackrel{^}{X}=k$  , ${U}_{k}\in \left\{1,\dots ,k\right\}$  is uniform). Now Hœffding’s inequality says that if ${S}_{n}\sigma \left(\mathbf{p}{\right)}^{\left(p\right)}$  is a binomial variable with parameter $p$  and $n$  trials. Then for every $y\ge 0$  ,
 $\begin{array}{c}P\left(|{S}_{n}\sigma \left(\mathbf{p}{\right)}^{\left(p\right)}-np|>\sqrt{p}y\right)\le 2exp\left(-2y\sigma \left(\mathbf{p}{\right)}^{2}/n\right).\end{array}$ (17)
This allows to bound each term in the sum ( 16 ) by $2e\sigma \left(\mathbf{p}{\right)}^{-2n\sigma \left(\mathbf{p}{\right)}^{\gamma }}$  , and so the right member of ( 16 ) is $O\left(e\sigma \left(\mathbf{p}{\right)}^{-n\sigma \left(\mathbf{p}{\right)}^{\gamma }}\right)$  where the $O$  is uniform on $k$  . To conclude, we have to remove the condition $sup\left\{|u|\right\}\le n\sigma \left(\mathbf{p}{\right)}^{1/2+\gamma /2}$  and to move the supremum on $k$  inside the probability.
The first point is done thanks to Lemma  6 .
Second point : The left hand side of ( 15 ) is bounded by $O\left(ne\sigma \left(\mathbf{p}{\right)}^{-2n\sigma \left(\mathbf{p}{\right)}^{\gamma }}\right)$  , if we add ${sup}_{k\le n}$  in the probability. Let us handle the $k$  larger than $n$  . For $n$  large enough, with probability $\ge 1-exp\left(-n\sigma \left(\mathbf{p}{\right)}^{{\varepsilon }_{1}}\right)$  , all ${a}_{u,k}$  , and thus all $a\sigma \left(\mathbf{p}{\right)}_{u,k,j}^{\circ }$  , are null for $k>n$  , and all $|u|\le n$  (by Lemma  10 ). Thus with this high probability, ${sup}_{k>n}\frac{|a\sigma \left(\mathbf{p}{\right)}_{u,k,j}^{\circ }-\frac{\mu \circ \left(k\right)}{2{m}_{\circ }}|u||}{\sqrt{\frac{\mu \circ \left(k\right)}{{m}_{\circ }}}}={sup}_{k>n}\sqrt{\frac{\mu \circ \left(k\right)}{4{m}_{\circ }}}|u|\le n{sup}_{k>n}\sqrt{\frac{\mu \circ \left(k\right)}{4{m}_{\circ }}}\le {sup}_{k>n}k\sqrt{\frac{\mu \circ \left(k\right)}{4{m}_{\circ }}}\le n\sigma \left(\mathbf{p}{\right)}^{1/4+\gamma },$  for $n$  large, because $\mu \circ$  has exponential moments.
The same reasoning applies to $a\sigma \left(\mathbf{p}{\right)}_{u,k,j}^{\bullet }$  . $\square$  The next lemma sharpens the preceding one, subject to relaxing a little the uniformity on $u$  .
For $u\in \mathbf{t},0\le l\le |u|,k\ge 1,1\le j\le l$  , we define the quantity $a\sigma \left(\mathbf{p}{\right)}_{u,l,k,j}^{\circ }$  to be the number of ancestors $v\in \left[\left[\mathbb{\varnothing },u\right]\right]$  with even height satisfying $|v|>|u|-l$  , and for which ${c}_{v}\left(\mathbf{t}\right)=k$  and $u\in {\mathbf{t}}_{vj}$  .
Lemma 10 Let $\left(\mu \circ ,\mu \bullet \right)$  satisfying $\left({H}_{1}\right)$  . For every $A,\gamma ,\xi >0$  , there exists $\varepsilon >0$  such that, for $n$  large enough ${P}_{\infty }\left({sup}_{k\ge 1,1\le j\le k,u\prec u\left(\left[An\right]\right),n\sigma \left(\mathbf{p}{\right)}^{\xi }\le l\le |u|}\frac{|a\sigma \left(\mathbf{p}{\right)}_{u,l,k,j}^{\circ }-\frac{\mu \circ \left(k\right)}{2{m}_{\circ }}l|}{l\sigma \left(\mathbf{p}{\right)}^{1/2+\gamma }\sqrt{\frac{\mu \circ \left(k\right)}{{m}_{\circ }}}}\ge 1\right)\le exp\left(-n\sigma \left(\mathbf{p}{\right)}^{\varepsilon }\right).$
Proof. Again we consider a forest with $n\sigma \left(\mathbf{p}{\right)}^{1/2+\gamma /2}$  trees and bound $|u|\le n\sigma \left(\mathbf{p}{\right)}^{1/2+\gamma /2}$  up to losing an exponentially small probability. Also, notice that the number of $\circ$  vertices comprised between a vertex with height $h$  and its ancestor at height $h-l$  is $\left[h/2+1\right]-\left[\left(h-l\right)/2+1\right]$  .
For fixed $k,l$  , and for $c>0$  we write similarly as above 3 CONVERGENCE OF NORMALIZED LABELED FORESTS
 $\begin{array}{ccc}{P}_{n\sigma \left(\mathbf{p}{\right)}^{1/2+\gamma /2}}\left({sup}_{n\sigma \left(\mathbf{p}{\right)}^{1/2+\gamma /2}\ge |u|\ge l\ge n\sigma \left(\mathbf{p}{\right)}^{\xi }}\frac{|a\sigma \left(\mathbf{p}{\right)}_{u,l,k,j}^{\circ }-\frac{\mu \circ \left(k\right)}{{m}_{\circ }}\left(\left[\frac{h}{2}+1\right]-\left[\frac{h-l}{2}+1\right]\right)|}{\left(\left[\frac{h}{2}+1\right]-\left[\frac{h-l}{2}+1\right]\right)\sigma \left(\mathbf{p}{\right)}^{1/2+\gamma }\sqrt{\frac{\mu \circ \left(k\right)}{{m}_{\circ }}}}\ge c\right)& & \end{array}$
 $\begin{array}{ccc}& \le & {C}_{\circ \bullet }n\sigma \left(\mathbf{p}{\right)}^{1/2+\gamma /2}{\sum }_{h=n\sigma \left(\mathbf{p}{\right)}^{\xi }}\sigma \left(\mathbf{p}{\right)}^{n\sigma \left(\mathbf{p}{\right)}^{1/2+\gamma /2}}P\left({sup}_{n\sigma \left(\mathbf{p}{\right)}^{\xi }\le l\le h}\frac{|{\sum }_{i=\left[\left(h-l\right)/2+1\right]}\sigma \left(\mathbf{p}{\right)}^{\left[h/2+1\right]}X\sigma \left(\mathbf{p}{\right)}_{k,j}^{\circ }\left(i\right)-\frac{\mu \circ \left(k\right)}{{m}_{\circ }}\left(\left[\frac{h}{2}+1\right]-\left[\frac{h-l}{2}+1\right]\right)|}{\sqrt{\frac{\mu \circ \left(k\right)}{{m}_{\circ }}}\left(\left[\frac{h}{2}+1\right]-\left[\frac{h-l}{2}+1\right]\right)\sigma \left(\mathbf{p}{\right)}^{1/2+\gamma }}\ge c\right)\end{array}$
 $\begin{array}{ccc}& \le & 2{C}_{\circ \bullet }n\sigma \left(\mathbf{p}{\right)}^{1/2+\gamma /2}{\sum }_{h=n\sigma \left(\mathbf{p}{\right)}^{\xi }}\sigma \left(\mathbf{p}{\right)}^{n\sigma \left(\mathbf{p}{\right)}^{1/2+\gamma /2}}hexp\left(-2c\sigma \left(\mathbf{p}{\right)}^{2}n\sigma \left(\mathbf{p}{\right)}^{2\xi \gamma }\right)\le 2{C}_{\circ \bullet }n\sigma \left(\mathbf{p}{\right)}^{3/2+3\gamma /2}exp\left(-n\sigma \left(\mathbf{p}{\right)}^{2\gamma \xi }\right)\end{array}$
and this gives the result, using the same method as in the preceding lemma and choosing $c$  small enough. $\square$  3 CONVERGENCE OF NORMALIZED LABELED FORESTS

3.4 Finite-dimensional convergence

The first step in the proof of Theorem  3 is the following
Proposition 4 Suppose that the pair $\left(\mu \circ ,\mu \bullet \right)$  satisfies $\left({H}_{1}\right)$  , and that the displacements distribution $\nu \sigma \left(\mathbf{p}{\right)}^{\bullet }$  and $\nu \sigma \left(\mathbf{p}{\right)}^{\circ }$  are centered.
Suppose moreover that ${max}_{1\le j\le k}\left({\Sigma }_{k,j}\sigma \left(\mathbf{p}{\right)}^{\circ }\vee {\Sigma }_{k,j}\sigma \left(\mathbf{p}{\right)}^{\bullet }\right)\sigma \left(\mathbf{p}{\right)}^{2}=O\left(k\sigma \left(\mathbf{p}{\right)}^{D}\right),$  for some $D>0$  . Then the convergence of finite-dimensional marginals holds in Theorem  3 .
Notice that this statement shows that the finite-dimensional convergence holds even without the extra $4+\varepsilon$  moment hypothesis. Also, note that under the hypothesis of the proposition, the variance $\Sigma$  associated with the limiting process is finite, because $\mu \circ ,\mu \bullet$  have small exponential moments.
Let us give the intuition for the one-dimensional convergence. By using Skorokhod’s representation theorem, we may assume that we are working in a new probability space on which all the discrete forests $\left({\mathcal{ℱ}}_{n}\right)$  are living, and such that the convergence of $\left(n\sigma \left(\mathbf{p}{\right)}^{-1/2}\left(H\sigma \left(\mathbf{p}{\right)}_{ns}^{{\mathcal{ℱ}}_{n}},\Lambda \sigma \left(\mathbf{p}{\right)}_{ns}^{{\mathcal{ℱ}}_{n}}\right),s\ge 0\right)$  to $\left(\left(2\overline{\sigma }\sigma \left(\mathbf{p}{\right)}^{-1}|{B}_{s}|,\overline{\sigma }L\sigma \left(\mathbf{p}{\right)}_{s}^{0}\right),s\ge 0\right)$  is almost-sure. In the remaining of the section, it is implicit that we are working on this new probability space, and all the probabilities are taken conditionally on $B\sigma \left(\mathbf{p}{\right)}^{\left(\overline{\sigma }\right)}=2\overline{\sigma }\sigma \left(\mathbf{p}{\right)}^{-1}|B|$  . We write simply $\mathcal{ℱ}$  instead of ${\mathcal{ℱ}}_{n}$  .
Fix $s\ge 0$  . If $u=u\left(\left[ns\right]\right)$  , we can rewrite
 $\begin{array}{c}R\sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}}={\sum }_{k\ge 1}{\sum }_{1\le j\le k}\left({\sum }_{l=1}\sigma \left(\mathbf{p}{\right)}^{a\sigma \left(\mathbf{p}{\right)}_{u,k,j}^{\circ }}Y\sigma \left(\mathbf{p}{\right)}_{k,j}^{\circ }\left(l\right)+{\sum }_{l=1}\sigma \left(\mathbf{p}{\right)}^{a\sigma \left(\mathbf{p}{\right)}_{u,k,j}^{\bullet }}Y\sigma \left(\mathbf{p}{\right)}_{k,j}^{\bullet }\left(l\right)\right),\end{array}$ (18)
where the variables $Y\sigma \left(\mathbf{p}{\right)}_{k,j}^{\circ }\left(l\right),Y\sigma \left(\mathbf{p}{\right)}_{k,j}^{\bullet }\left(l\right)$  are all independent, and independent of $a\sigma \left(\mathbf{p}{\right)}_{u,k,j}^{\circ }$  and $a\sigma \left(\mathbf{p}{\right)}_{u,k,j}^{\bullet }$  , with law the $j$  -th marginal of $\nu \sigma \left(\mathbf{p}{\right)}_{k}^{\circ }$  and $\nu \sigma \left(\mathbf{p}{\right)}_{k}^{\bullet }$  respectively.
Since $a\sigma \left(\mathbf{p}{\right)}_{u,k,j}^{\circ }$  is approximately $\mu \circ \left(k\right)|u|/\left(2{m}_{\circ }\right)$  (with similar estimate for $a\sigma \left(\mathbf{p}{\right)}_{u,k,j}^{\bullet }$  ), and since $|u|$  is approximately $n\sigma \left(\mathbf{p}{\right)}^{1/2}B\sigma \left(\mathbf{p}{\right)}_{s}^{\left(\overline{\sigma }\right)}$  , it is expected that $n\sigma \left(\mathbf{p}{\right)}^{-1/4}R\sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}}$  converges to a centered Gaussian law with variance $\frac{B\sigma \left(\mathbf{p}{\right)}_{s}^{\left(\overline{\sigma }\right)}}{2}{\sum }_{k\ge 1}\left[\frac{\mu \circ \left(k\right)}{{m}_{\circ }}{\sum }_{1\le j\le k}\left(\Sigma \sigma \left(\mathbf{p}{\right)}_{k,j}^{\circ }\right)\sigma \left(\mathbf{p}{\right)}^{2}+\frac{\mu \bullet \left(k\right)}{{m}_{\bullet }}{\sum }_{1\le j\le k}\left(\Sigma \sigma \left(\mathbf{p}{\right)}_{k,j}^{\bullet }\right)\sigma \left(\mathbf{p}{\right)}^{2}\right]=\Sigma \sigma \left(\mathbf{p}{\right)}^{2}B\sigma \left(\mathbf{p}{\right)}_{s}^{\left(\overline{\sigma }\right)},$  which is what is wanted. Let us now proceed to the rigorous proof. We start with a
Lemma 11 Suppose $\left({H}_{1}\right)$  and that ${max}_{1\le j\le k}\left(M\sigma \left(\mathbf{p}{\right)}_{k,j,p}^{\circ }\vee M\sigma \left(\mathbf{p}{\right)}_{k,j,p}^{\bullet }\right)=O\left(k\sigma \left(\mathbf{p}{\right)}^{D}\right)$  as $k\to \infty$  , for some $p>1$  and $D>0$  . Then for every fixed $s$  , $n\sigma \left(\mathbf{p}{\right)}^{-1/4}|{R}_{ns}\sigma \left(\mathbf{p}{\right)}^{\mathcal{ℱ}}-{R}_{\left[ns\right]}\sigma \left(\mathbf{p}{\right)}^{\mathcal{ℱ}}|\to 0$  in probability as $n\to \infty$  .
Proof. By definition of $R\sigma \left(\mathbf{p}{\right)}^{\mathcal{ℱ}}$  the r.v. ${R}_{k-1}\sigma \left(\mathbf{p}{\right)}^{\mathcal{ℱ}}-{R}_{k}\sigma \left(\mathbf{p}{\right)}^{\mathcal{ℱ}}$  is a sum of at most $|{H}_{k}\sigma \left(\mathbf{p}{\right)}^{\mathcal{ℱ}}-{H}_{k-1}\sigma \left(\mathbf{p}{\right)}^{\mathcal{ℱ}}|+2$  random variables corresponding to the variables $Y$  that are present on the path $\left[\left[u\left(k-1\right),u\left(k\right)\right]\right]$  . Let $\mathcal{A}\sigma \left(\mathbf{p}{\right)}_{r}^{n}$  be the event $\mathcal{A}\sigma \left(\mathbf{p}{\right)}_{r}^{n}=\left\{{sup}_{1\le k\le \left[An\right]}d\left(u\left(k-1\right),u\left(k\right)\right)>rlogn\right\}.3\mathit{C}\mathit{O}\mathit{N}\mathit{V}\mathit{E}\mathit{R}\mathit{G}\mathit{E}\mathit{N}\mathit{C}\mathit{E}\mathit{O}\mathit{F}\mathit{N}\mathit{O}\mathit{R}\mathit{M}\mathit{A}\mathit{L}\mathit{I}\mathit{Z}\mathit{E}\mathit{D}\mathit{L}\mathit{A}\mathit{B}\mathit{E}\mathit{L}\mathit{E}\mathit{D}\mathit{F}\mathit{O}\mathit{R}\mathit{E}\mathit{S}\mathit{T}\mathit{S}$  For any ${r}_{1}>0$  , there exists ${r}_{2}$  such that
 $\begin{array}{c}{\mathbb{P}}_{\infty }\left(\mathcal{A}\sigma \left(\mathbf{p}{\right)}_{{r}_{2}}^{n}\right)=O\left(n\sigma \left(\mathbf{p}{\right)}^{-{r}_{1}}\right).\end{array}$ (19)
Indeed, consider a forest with $n\sigma \left(\mathbf{p}{\right)}^{1/2+\gamma }$  trees for some $\gamma >0$  . A negative jump with size at least $\delta$  in the height process corresponds to a run of at least $\delta$  nodes that have at least one child, when exploring the forest in reverse depth-first search. Since $\mu \circ \left(0\right)+\mu \bullet \left(0\right)>0$  (because ${m}_{\circ }{m}_{\bullet }=1$  ), one sees that runs of consecutive children having at least one child is smaller than twice a geometrical random variable with parameter $\left(1-\mu \circ \left(0\right)\right)\left(1-\mu \bullet \left(0\right)\right)$  . Now, it is easy to prove that the maximum of $\left[An\right]$  i.i.d. such geometric r.v. satisfies ( 19 ). Using ( 11 ) for $r$  large enough, the event ${\mathcal{ℬ}}_{r}\sigma \left(\mathbf{p}{\right)}^{n}=\left\{sup\left\{{c}_{u\left(k\right)},k\le An\right\}\le rlogn\right\}\cap \mathcal{A}\sigma \left(\mathbf{p}{\right)}_{r}^{n},$  satisfies ${\mathbb{P}}_{\infty }\left({\mathcal{ℬ}}_{r}\sigma \left(\mathbf{p}{\right)}^{n}\right)\to 1$  when $n$  goes to infinity. Using the hypothesis, ${\mathbb{E}}_{\infty }\left(|{R}_{k-1}-{R}_{k}|\sigma \left(\mathbf{p}{\right)}^{p}|{\mathcal{ℬ}}_{r}\sigma \left(\mathbf{p}{\right)}^{n}\right)=O\left(log\sigma \left(\mathbf{p}{\right)}^{K}n\right)$  for a certain $K>0$  , and this concludes the proof. $\square$  Proof of Proposition  4 . Let us prove the one-dimensional convergence. Thanks to Lemma  11 , we restrict our attention to the values of $s$  , such that $ns$  is an integer. We use a truncation procedure, that is we choose $C$  large and write $R\sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}}={R}_{ns}\sigma \left(\mathbf{p}{\right)}^{C}+\stackrel{~}{R}\sigma \left(\mathbf{p}{\right)}_{ns}^{C},$  where $R\sigma \left(\mathbf{p}{\right)}_{ns}^{C},\stackrel{~}{R}\sigma \left(\mathbf{p}{\right)}_{ns}^{C}$  are the sum of ( 18 ) with $k$  ranging respectively from $1$  to $C$  and from $C+1$  to $\infty$  . Assume for a moment that for every $\varepsilon >0$  ,
 $\begin{array}{c}{lim}_{B\to \infty }{limsup}_{n\to \infty }{\mathbb{P}}_{\infty }\left(|\stackrel{~}{R}\sigma \left(\mathbf{p}{\right)}_{ns}^{C}|>n\sigma \left(\mathbf{p}{\right)}^{1/4}\varepsilon \right)=0.\end{array}$ (20)
In this case, we can use Lemma  9 together with the central limit theorem as $n\to \infty$  in the first sum conditionally on $B\sigma \left(\mathbf{p}{\right)}^{\left(\overline{\sigma }\right)}$  , to obtain that a.s. $R\sigma \left(\mathbf{p}{\right)}_{ns}^{C}/n\sigma \left(\mathbf{p}{\right)}^{1/4}$  converges in distribution as $n\to \infty$  to a centered Gaussian variable with variance equal to the partial sum ${\Sigma }_{C}\sigma \left(\mathbf{p}{\right)}^{2}=\frac{B\sigma \left(\mathbf{p}{\right)}_{s}^{\left(\overline{\sigma }\right)}}{2}{\sum }_{1\le k\le C}\left[\frac{\mu \circ \left(k\right)}{{m}_{\circ }}{\sum }_{1\le j\le k}\left(\Sigma \sigma \left(\mathbf{p}{\right)}_{k,j}^{\circ }\right)\sigma \left(\mathbf{p}{\right)}^{2}+\frac{\mu \bullet \left(k\right)}{{m}_{\bullet }}{\sum }_{1\le j\le k}\left(\Sigma \sigma \left(\mathbf{p}{\right)}_{k,j}^{\bullet }\right)\sigma \left(\mathbf{p}{\right)}^{2}\right],$  which converges to a normal variable with claimed variance as $C\to \infty$  . Now still supposing ( 20 ) we write, for $\varepsilon >0$  $|{\mathbb{P}}_{\infty }\left(R\sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}}>n\sigma \left(\mathbf{p}{\right)}^{1/4}x\right)-{\mathbb{P}}_{\infty }\left({R}_{ns}\sigma \left(\mathbf{p}{\right)}^{C}+{\stackrel{~}{R}}_{ns}\sigma \left(\mathbf{p}{\right)}^{C}>n\sigma \left(\mathbf{p}{\right)}^{1/4}x,|{\stackrel{~}{R}}_{ns}\sigma \left(\mathbf{p}{\right)}^{C}|\le \varepsilon n\sigma \left(\mathbf{p}{\right)}^{1/4}\right)|\le {\mathbb{P}}_{\infty }\left(|{\stackrel{~}{R}}_{ns}\sigma \left(\mathbf{p}{\right)}^{C}|>\varepsilon n\sigma \left(\mathbf{p}{\right)}^{1/4}\right)\le \varepsilon ,$  as soon as $C$  , then $n$  are chosen large enough. Therefore ${\mathbb{P}}_{\infty }\left(\frac{{R}_{ns}\sigma \left(\mathbf{p}{\right)}^{C}}{n\sigma \left(\mathbf{p}{\right)}^{1/4}}>x+\varepsilon \right)-2\varepsilon \le {\mathbb{P}}_{\infty }\left(\frac{R\sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}}}{n\sigma \left(\mathbf{p}{\right)}^{1/4}}>x\right)\le {\mathbb{P}}_{\infty }\left(\frac{{R}_{ns}\sigma \left(\mathbf{p}{\right)}^{C}}{n\sigma \left(\mathbf{p}{\right)}^{1/4}}>x-\varepsilon \right)+\varepsilon ,3\mathit{C}\mathit{O}\mathit{N}\mathit{V}\mathit{E}\mathit{R}\mathit{G}\mathit{E}\mathit{N}\mathit{C}\mathit{E}\mathit{O}\mathit{F}\mathit{N}\mathit{O}\mathit{R}\mathit{M}\mathit{A}\mathit{L}\mathit{I}\mathit{Z}\mathit{E}\mathit{D}\mathit{L}\mathit{A}\mathit{B}\mathit{E}\mathit{L}\mathit{E}\mathit{D}\mathit{F}\mathit{O}\mathit{R}\mathit{E}\mathit{S}\mathit{T}\mathit{S}$  and the result is obtained by taking the sup and inf limits as $n\to \infty$  , then letting $C\to \infty$  and finally $\varepsilon \to 0$  .
It remains to prove ( 20 ). Let ${\mathcal{ℬ}}_{n}$  be the union of the three events $\left\{{sup}_{k\ge n,u\prec u\left(An\right)}{a}_{u,k}\ge 1\right\},\left\{{max}_{\left\{0,\dots ,\left[nt\right]\right\}}H\sigma \left(\mathbf{p}{\right)}^{\mathcal{ℱ}}\ge 2n\sigma \left(\mathbf{p}{\right)}^{1/2}{sup}_{\left[0,t\right]}B\sigma \left(\mathbf{p}{\right)}^{\left(\overline{\sigma }\right)}\right\},$  $\left\{{sup}_{k\ge 1,1\le j\le k,u\prec u\left(An\right)}\frac{|a\sigma \left(\mathbf{p}{\right)}_{u,k,j}^{\circ }-\frac{\mu \circ \left(k\right)}{2{m}_{\circ }}|u||}{\sqrt{\frac{\mu \circ \left(k\right)}{{m}_{\circ }}}}\vee \frac{|a\sigma \left(\mathbf{p}{\right)}_{u,k,j}^{\bullet }-\frac{\mu \bullet \left(k\right)}{2{m}_{\bullet }}|u||}{\sqrt{\frac{\mu \bullet \left(k\right)}{{m}_{\bullet }}}}\ge n\sigma \left(\mathbf{p}{\right)}^{3/8}\right\}.$  Then ${\mathbb{P}}_{\infty }\left(\stackrel{~}{R}\sigma \left(\mathbf{p}{\right)}_{ns}^{C}>n\sigma \left(\mathbf{p}{\right)}^{1/4}\varepsilon \right)\le {\mathbb{P}}_{\infty }\left({\mathcal{ℬ}}_{n}\right)+{\mathbb{P}}_{\infty }\left(\stackrel{~}{R}\sigma \left(\mathbf{p}{\right)}_{ns}^{C}>n\sigma \left(\mathbf{p}{\right)}^{1/4}\varepsilon ,{\mathcal{ℬ}}_{n}\sigma \left(\mathbf{p}{\right)}^{c}\right)$  The first term of the right-hand side goes to $0$  as $n\to \infty$  by Lemmæ  7 ,  9 . By first conditioning on the $a\sigma \left(\mathbf{p}{\right)}_{u,k,j}^{\circ },a\sigma \left(\mathbf{p}{\right)}_{u,k,j}^{\bullet }$  , the second term can be rewritten and bounded by 3 CONVERGENCE OF NORMALIZED LABELED FORESTS
 $\begin{array}{ccc}{\mathbb{P}}_{\infty }\left(|{\sum }_{C\le k\le n}{\sum }_{1\le j\le k}\left({\sum }_{l=1}\sigma \left(\mathbf{p}{\right)}^{a\sigma \left(\mathbf{p}{\right)}_{u,k,j}^{\circ }}Y\sigma \left(\mathbf{p}{\right)}_{j,k}^{\circ }\left(l\right)+{\sum }_{l=1}\sigma \left(\mathbf{p}{\right)}^{a\sigma \left(\mathbf{p}{\right)}_{u,k,j}^{\bullet }}Y\sigma \left(\mathbf{p}{\right)}_{j,k}^{\bullet }\left(l\right)\right)|>n\sigma \left(\mathbf{p}{\right)}^{1/4}\varepsilon ,{\mathcal{ℬ}}_{n}\sigma \left(\mathbf{p}{\right)}^{c}\right)& & \end{array}$
 $\begin{array}{ccc}& \le & \frac{1}{\varepsilon \sigma \left(\mathbf{p}{\right)}^{2}n\sigma \left(\mathbf{p}{\right)}^{1/2}}E\left[{\sum }_{k=C}\sigma \left(\mathbf{p}{\right)}^{n}{\sum }_{1\le j\le k}\left(a\sigma \left(\mathbf{p}{\right)}_{u,k,j}^{\circ }\left(\Sigma \sigma \left(\mathbf{p}{\right)}_{k,j}^{\circ }\right)\sigma \left(\mathbf{p}{\right)}^{2}+a\sigma \left(\mathbf{p}{\right)}_{u,k,j}^{\bullet }\left(\Sigma \sigma \left(\mathbf{p}{\right)}_{k,j}^{\bullet }\right)\sigma \left(\mathbf{p}{\right)}^{2}\right){1}_{{\mathcal{ℬ}}_{n}\sigma \left(\mathbf{p}{\right)}^{c}}\right]\end{array}$
 $\begin{array}{ccc}& \le & \frac{2B\sigma \left(\mathbf{p}{\right)}_{s}^{\left(\overline{\sigma }\right)}}{2\varepsilon \sigma \left(\mathbf{p}{\right)}^{2}}{\sum }_{k=C}\sigma \left(\mathbf{p}{\right)}^{n}\left(k\frac{\mu \circ \left(k\right)}{{m}_{\circ }}{max}_{1\le j\le k}\left(\Sigma \sigma \left(\mathbf{p}{\right)}_{k,j}^{\circ }\right)\sigma \left(\mathbf{p}{\right)}^{2}+k\frac{\mu \bullet \left(k\right)}{{m}_{\bullet }}{max}_{1\le j\le k}\left(\Sigma \sigma \left(\mathbf{p}{\right)}_{k,j}^{\bullet }\right)\sigma \left(\mathbf{p}{\right)}^{2}\right)\end{array}$
 $\begin{array}{ccc}& & +\frac{1}{\varepsilon \sigma \left(\mathbf{p}{\right)}^{2}n\sigma \left(\mathbf{p}{\right)}^{1/8}}{\sum }_{k=C}\sigma \left(\mathbf{p}{\right)}^{n}\left(\sqrt{\frac{\mu \circ \left(k\right)}{{m}_{\circ }}}k{max}_{1\le j\le k}\left(\Sigma \sigma \left(\mathbf{p}{\right)}_{k,j}^{\circ }\right)\sigma \left(\mathbf{p}{\right)}^{2}+\sqrt{\frac{\mu \bullet \left(k\right)}{{m}_{\bullet }}}k{max}_{1\le j\le k}\left(\Sigma \sigma \left(\mathbf{p}{\right)}_{k,j}^{\bullet }\right)\sigma \left(\mathbf{p}{\right)}^{2}\right)\end{array}$
By the assumption made on variances, and the fact that $\mu \circ ,\mu \bullet$  have small exponential moments, the second term converges to $0$  while the first converges to $B\sigma \left(\mathbf{p}{\right)}_{s}^{\left(\overline{\sigma }\right)}\varepsilon \sigma \left(\mathbf{p}{\right)}^{-2}{\sum }_{k\ge C}\left(k\frac{\mu \circ \left(k\right)}{{m}_{\circ }}{max}_{1\le j\le k}\left(\Sigma \sigma \left(\mathbf{p}{\right)}_{k,j}^{\circ }\right)\sigma \left(\mathbf{p}{\right)}^{2}+k\frac{\mu \bullet \left(k\right)}{{m}_{\bullet }}{max}_{1\le j\le k}\left(\Sigma \sigma \left(\mathbf{p}{\right)}_{k,j}^{\bullet }\right)\sigma \left(\mathbf{p}{\right)}^{2}\right),$  and this does converge to $0$  as $C\to \infty$  .
The case of multi-dimensional convergence is similar, although some extra care must be taken because of nodes, where dependencies can occur. We only sketch the proof, referring the reader to [14for more details. Let $0\le {s}_{1}<{s}_{2}<\dots <{s}_{k}$  . Also, notice that for any forest $\mathbf{f}$  and $k<{k}^{\prime }$  , the distance ${d}_{\mathbf{f}}\left(u\left(k\right),u\left({k}^{\prime }\right)\right)$  satisfies $|{d}_{\mathbf{f}}\left(u\left(k\right),u\left({k}^{\prime }\right)\right)-\left(H\sigma \left(\mathbf{p}{\right)}_{k}^{\mathbf{f}}+H\sigma \left(\mathbf{p}{\right)}_{{k}^{\prime }}^{\mathbf{f}}-2{min}_{k\le l\le {k}^{\prime }}H\sigma \left(\mathbf{p}{\right)}_{l}^{\mathbf{f}}\right)|\le 2$  (it is in fact always equal to 2 except when $u\left(k\right)$  is an ancestor of $u\left({k}^{\prime }\right)$  ). It follows that up to forgetting two steps in each branch, the lengths of branches of the subforest of $\mathbf{f}$  spanned by the root and $u\left(\left[n{s}_{i}\right]\right),1\le i\le k$  (a branch being a maximal chain of neighboring vertices with degree $\le 2$  ), are determined by the vector $\left({H}_{\left[n{s}_{1}\right]}\sigma \left(\mathbf{p}{\right)}^{\mathbf{f}},{\stackrel{ˇ}{H}}_{\left[n{s}_{1}\right],\left[n{s}_{2}\right]}\sigma \left(\mathbf{p}{\right)}^{\mathbf{f}},{H}_{\left[n{s}_{2}\right]}\sigma \left(\mathbf{p}{\right)}^{\mathbf{f}},\dots ,{\stackrel{ˇ}{H}}_{\left[n{s}_{k-1}\right],\left[n{s}_{k}\right]}\sigma \left(\mathbf{p}{\right)}^{\mathbf{f}},{H}_{\left[n{s}_{k}\right]}\sigma \left(\mathbf{p}{\right)}^{\mathbf{f}}\right).$  Now, the proof of the one-dimensional convergence shows that the spatial displacements along each branch converge to independent normal variables with respective variances $\Sigma \sigma \left(\mathbf{p}{\right)}^{2}l$  , where $l$  is the limiting renormalized length of the branch of the Continuum Random Tree, as the only dependent variables in the walks appear only at the nodes of the subtrees, which number is bounded by $2k$  . This ends the proof. $\square$  3 CONVERGENCE OF NORMALIZED LABELED FORESTS

3.5 Tightness

To end the proof of Theorem  3 , we need
Proposition 5 If assumptions $\left({H}_{1}\right)$  , $\left({H}_{2}\right)$  and $\left({H}_{3}\right)$  are fulfilled, the sequence of laws of the processes $\left(n\sigma \left(\mathbf{p}{\right)}^{-1/4}R\sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}},s\ge 0\right),n\ge 1$  is tight in $C\left(\left[0,\infty \right)\right)$  .
Proof. Our way of proceeding follows closely the arguments of [21, 14. We know from Corollary  2 that for every $\alpha \in \left(0,1/2\right)$  , and $A,{C}_{1}>0$  , with ${P}_{\infty }$  -probability arbitrarily close to $1$  we have for all $n$  ,
 $\begin{array}{c}|H\sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}}-H\sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}}|\le {C}_{1}n\sigma \left(\mathbf{p}{\right)}^{1/2}|s-t|\sigma \left(\mathbf{p}{\right)}^{\alpha }\end{array}$ (21)
for all $s,t\le A$  . We let ${\mathcal{ℬ}}_{n}$  be the intersection of the corresponding event and of the events $\left\{{max}_{u\prec u\left(An\right),k\ge Clogn}{a}_{k,u}=0\right\},$  $\left\{{sup}_{u\prec u\left(An\right),k\ge 1,1\le j\le k,n\sigma \left(\mathbf{p}{\right)}^{\xi }\le l\le |u|}\frac{|a\sigma \left(\mathbf{p}{\right)}_{u,l,k,j}^{\circ }-\frac{\mu \circ \left(k\right)}{2{m}_{\circ }}l|}{l\sigma \left(\mathbf{p}{\right)}^{1/2+\gamma }\sqrt{\frac{\mu \circ \left(k\right)}{{m}_{\circ }}}}\vee \frac{|a\sigma \left(\mathbf{p}{\right)}_{u,l,k,j}^{\bullet }-\frac{\mu \bullet \left(k\right)}{2{m}_{\bullet }}l|}{l\sigma \left(\mathbf{p}{\right)}^{1/2+\gamma }\sqrt{\frac{\mu \bullet \left(k\right)}{{m}_{\bullet }}}}\le 1\right\}$  where $C>0$  is chosen so that the probability of ${\mathcal{ℬ}}_{n}$  stays $\ge 1-\lambda$  for any prescribed $\lambda >0$  , and $\xi >0$  will be fixed later.
Our goal is to show that with high probability, there exists ${C}_{2},\beta >0$  such that for every $s,t\le A$  , and $n$  large enough, $|R\sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}}-R\sigma \left(\mathbf{p}{\right)}_{nt}^{\mathcal{ℱ}}|\le {C}_{2}n\sigma \left(\mathbf{p}{\right)}^{1/4}|s-t|\sigma \left(\mathbf{p}{\right)}^{\beta }.$  Notice that it suffices to show this property for all $n$  large and $s\ne t$  such that $ns$  and $nt$  are integers, which we suppose from now on.
Under ${\mathcal{ℬ}}_{n}$  , the number of variables to sum between $u\left(ns\right)$  and $u\left(nt\right)$  is the distance ${\ell }_{n}\left(s,t\right)$  between these nodes, where $|{\ell }_{n}\left(s,t\right)-\left(H\sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}}+H\sigma \left(\mathbf{p}{\right)}_{nt}^{\mathcal{ℱ}}-2\stackrel{ˇ}{H}\sigma \left(\mathbf{p}{\right)}^{\mathcal{ℱ}}\left(ns,nt\right)\right)|\le 2$  , so ${\ell }_{n}\left(s,t\right)$  is bounded by ${C}_{3}n\sigma \left(\mathbf{p}{\right)}^{1/2}|s-t|\sigma \left(\mathbf{p}{\right)}^{\alpha }$  uniformly on $s,t\le A$  (with $ns,nt$  integers) as soon as ( 21 ) holds.
Let $u\left(ns,nt\right)$  be the highest common ancestor of $u\left(ns\right),u\left(nt\right)$  . Let also $j\left(s\right),j\left(t\right)$  be such that $u\left(ns\right),u\left(nt\right)$  respectively belong to the fringe subtrees ${T}_{u\left(ns,nt\right)j\left(s\right)},{T}_{u\left(ns,nt\right)j\left(t\right)}$  . Then we can rewrite 3 CONVERGENCE OF NORMALIZED LABELED FORESTS
 $\begin{array}{ccc}R\sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}}-R\sigma \left(\mathbf{p}{\right)}_{nt}^{\mathcal{ℱ}}& =& \left({Y}_{u\left(ns,nt\right)j\left(s\right)}-{Y}_{u\left(ns,nt\right)j\left(t\right)}\right)\end{array}$
 $\begin{array}{ccc}& & +{\sum }_{k\ge 1}{\sum }_{1\le j\le k}\left({\sum }_{l=1}\sigma \left(\mathbf{p}{\right)}^{a\sigma \left(\mathbf{p}{\right)}_{s,t,k,j}^{\circ }}Y\sigma \left(\mathbf{p}{\right)}_{k,j}^{\circ }\left(l\right)+{\sum }_{l=1}\sigma \left(\mathbf{p}{\right)}^{a\sigma \left(\mathbf{p}{\right)}_{s,t,k,j}^{\bullet }}Y\sigma \left(\mathbf{p}{\right)}_{k,j}^{\bullet }\left(l\right)\right)\end{array}$
 $\begin{array}{ccc}& & -{\sum }_{k\ge 1}{\sum }_{1\le j\le k}\left({\sum }_{l=1}\sigma \left(\mathbf{p}{\right)}^{b\sigma \left(\mathbf{p}{\right)}_{s,t,k,j}^{\circ }}Z\sigma \left(\mathbf{p}{\right)}_{k,j}^{\circ }\left(l\right)+{\sum }_{l=1}\sigma \left(\mathbf{p}{\right)}^{b\sigma \left(\mathbf{p}{\right)}_{s,t,k,j}^{\bullet }}Z\sigma \left(\mathbf{p}{\right)}_{k,j}^{\bullet }\left(l\right)\right),\end{array}$
where the terms of the sums are all independent. Here, $a\sigma \left(\mathbf{p}{\right)}_{s,t,k,j}^{\circ }$  is the number of nodes in $\right]\right]u\left(s,t\right),u\left(s\right)\right]\right]$  with even height, with $k$  children and for which $u\left(s\right)$  is in the $j$  -th fringe subtree, and $b\sigma \left(\mathbf{p}{\right)}_{s,t,k,j}^{\circ }$  is the same but for $\right]\right]u\left(s,t\right),u\left(t\right)\right]\right]$  , and similarly for $a\sigma \left(\mathbf{p}{\right)}_{s,t,k,j}^{\bullet },b\sigma \left(\mathbf{p}{\right)}_{s,t,k,j}^{\bullet }$  , and the $Y\sigma \left(\mathbf{p}{\right)}_{k,j}^{\circ }\left(l\right),Z\sigma \left(\mathbf{p}{\right)}_{k,j}^{\circ }\left(l\right)$  are independent conditionally on the $a,b$  , with law the $j$  -th marginal of $\nu \sigma \left(\mathbf{p}{\right)}_{k}^{\circ }$  , and so on. Then, using ( 32 ), we get for $p=4+\varepsilon$  3 CONVERGENCE OF NORMALIZED LABELED FORESTS
 $\begin{array}{ccc}{\mathbb{E}}_{\infty }\left[|R\sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}}-R\sigma \left(\mathbf{p}{\right)}_{nt}^{\mathcal{ℱ}}|\sigma \left(\mathbf{p}{\right)}^{p}|{\mathcal{ℬ}}_{n},\left(a,b\right)\right]& & \end{array}$
 $\begin{array}{ccc}& \le & C\left(p\right){\ell }_{n}\left(s,t\right)\sigma \left(\mathbf{p}{\right)}^{p/2-1}\left(\begin{array}{c}{\mathbb{E}}_{\infty }\left[|{Y}_{u\left(ns,nt\right)j\left(s\right)}-{Y}_{u\left(s,t\right)j\left(t\right)}|\sigma \left(\mathbf{p}{\right)}^{p}\right]\\ +{\sum }_{1\le k\le Clogn}{\sum }_{1\le j\le k}\left(a\sigma \left(\mathbf{p}{\right)}_{s,t,k,j}^{\circ }+b\sigma \left(\mathbf{p}{\right)}_{s,t,k,j}^{\circ }\right)M\sigma \left(\mathbf{p}{\right)}_{k,j}^{\circ }\\ +{\sum }_{1\le k\le Clogn}{\sum }_{1\le j\le k}\left(a\sigma \left(\mathbf{p}{\right)}_{s,t,k,j}^{\bullet }+b\sigma \left(\mathbf{p}{\right)}_{s,t,k,j}^{\bullet }\right)M\sigma \left(\mathbf{p}{\right)}_{k,j}^{\bullet }\end{array}\right){1}_{{\mathcal{ℬ}}_{n}}\end{array}$
 $\begin{array}{ccc}& \le & C\left(p\right){C}_{4}{\ell }_{n}\left(s,t\right)\sigma \left(\mathbf{p}{\right)}^{p/2-1}\left(\begin{array}{c}2\sigma \left(\mathbf{p}{\right)}^{p}{c}_{u\left(s,t\right)}\sigma \left(\mathbf{p}{\right)}^{D}\\ +{\sum }_{1\le k\le Clogn}k\sigma \left(\mathbf{p}{\right)}^{D}{\sum }_{1\le j\le k}\left(a\sigma \left(\mathbf{p}{\right)}_{s,t,k,j}^{\circ }+b\sigma \left(\mathbf{p}{\right)}_{s,t,k,j}^{\circ }\right)\\ +{\sum }_{1\le k\le Clogn}k\sigma \left(\mathbf{p}{\right)}^{D}{\sum }_{1\le j\le k}\left(a\sigma \left(\mathbf{p}{\right)}_{s,t,k,j}^{\bullet }+b\sigma \left(\mathbf{p}{\right)}_{s,t,k,j}^{\bullet }\right)\end{array}\right){1}_{{\mathcal{ℬ}}_{n}},\end{array}$
where ${C}_{4}$  is such that ${max}_{1\le j\le k}\left(M\sigma \left(\mathbf{p}{\right)}_{k,j}^{\circ }\vee M\sigma \left(\mathbf{p}{\right)}_{k,j}^{\bullet }\right)\le {C}_{4}k\sigma \left(\mathbf{p}{\right)}^{D}$  for some $D>0$  and all $k\ge 1$  . Let now ${\mathcal{C}}_{n}=\left\{|u\left(s\right)|-|u\left(s,t\right)|\le n\sigma \left(\mathbf{p}{\right)}^{\xi }\right\},{\mathcal{D}}_{n}=\left\{|u\left(t\right)|-|u\left(s,t\right)|\le n\sigma \left(\mathbf{p}{\right)}^{\xi }\right\},$  for the same $\xi$  as in the definition of ${\mathcal{ℬ}}_{n}$  . Since ${\ell }_{n}\left(s,t\right)=|u\left(s\right)|-|u\left(s,t\right)|+|u\left(t\right)|-|u\left(s,t\right)|$  , we deduce ${\mathbb{E}}_{\infty }\left[|\frac{R\sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}}-R\sigma \left(\mathbf{p}{\right)}_{nt}^{\mathcal{ℱ}}}{n\sigma \left(\mathbf{p}{\right)}^{1/4}}|\sigma \left(\mathbf{p}{\right)}^{p}|{\mathcal{ℬ}}_{n},{\mathcal{C}}_{n},{\mathcal{D}}_{n}\right]\le {C}_{5}n\sigma \left(\mathbf{p}{\right)}^{-p/4}{\ell }_{n}\left(s,t\right)\sigma \left(\mathbf{p}{\right)}^{p/2}\left(logn\right)\sigma \left(\mathbf{p}{\right)}^{D}{1}_{{\mathcal{C}}_{n},{\mathcal{D}}_{n}}\le {C}_{6}n\sigma \left(\mathbf{p}{\right)}^{p\left(\xi /2-1/4\right)}\left(logn\right)\sigma \left(\mathbf{p}{\right)}^{D},$  since the sum of all $a,b$  plus $1$  is ${\ell }_{n}\left(s,t\right)$  . We then choose (recall $p=4+\varepsilon$  ) $\xi$  so that $\left(4+\varepsilon \right)\left(\xi /2-1/4\right)<-1$  , and since $ns$  and $nt$  are supposed to be distinct integers $|s-t|\ge 1/n$  , this gives that ${\mathbb{E}}_{\infty }\left[|\frac{R\sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}}-R\sigma \left(\mathbf{p}{\right)}_{nt}^{\mathcal{ℱ}}}{n\sigma \left(\mathbf{p}{\right)}^{1/4}}|\sigma \left(\mathbf{p}{\right)}^{p}|{\mathcal{ℬ}}_{n},{\mathcal{C}}_{n},{\mathcal{D}}_{n}\right]\le {C}_{6}|s-t|\sigma \left(\mathbf{p}{\right)}^{1+\eta },$  for some $\eta >1$  and $n$  large enough.
Next, we have, applying the equality satisfied in ${\mathcal{ℬ}}_{n}$  to $u=u\left(s\right),l=|u\left(s\right)|-|u\left(s,t\right)|$  and $u=u\left(t\right),l=|u\left(t\right)|-|u\left(s,t\right)|$  , which is valid under ${\mathcal{C}}_{n}\sigma \left(\mathbf{p}{\right)}^{c}\cap {\mathcal{D}}_{n}\sigma \left(\mathbf{p}{\right)}^{c}$  , 3 CONVERGENCE OF NORMALIZED LABELED FORESTS
 $\begin{array}{ccc}{\mathbb{E}}_{\infty }\left[|\frac{R\sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}}-R\sigma \left(\mathbf{p}{\right)}_{nt}^{\mathcal{ℱ}}}{n\sigma \left(\mathbf{p}{\right)}^{1/4}}|\sigma \left(\mathbf{p}{\right)}^{p}|{\mathcal{ℬ}}_{n},{\mathcal{C}}_{n}\sigma \left(\mathbf{p}{\right)}^{c},{\mathcal{D}}_{n}\sigma \left(\mathbf{p}{\right)}^{c}\right]& & \end{array}$
 $\begin{array}{ccc}& \le & {C}_{7}n\sigma \left(\mathbf{p}{\right)}^{-p/4}{\ell }_{n}\left(s,t\right)\sigma \left(\mathbf{p}{\right)}^{p/2-1}{\sum }_{k\ge 1}k\sigma \left(\mathbf{p}{\right)}^{D+1}\left(\left(\mu \circ \left(k\right)+\mu \bullet \left(k\right)\right){\ell }_{n}\left(s,t\right)+\left(\sqrt{\mu \circ \left(k\right)}+\sqrt{\mu \bullet \left(k\right)}\right){\ell }_{n}\left(s,t\right)\sigma \left(\mathbf{p}{\right)}^{1/2+\gamma }\right){1}_{{\mathcal{ℬ}}_{n}}\end{array}$
 $\begin{array}{ccc}& \le & \left({C}_{8}n\sigma \left(\mathbf{p}{\right)}^{-p/4}{\ell }_{n}\left(s,t\right)\sigma \left(\mathbf{p}{\right)}^{p/2}+{C}_{9}n\sigma \left(\mathbf{p}{\right)}^{-p/4}{\ell }_{n}\left(s,t\right)\sigma \left(\mathbf{p}{\right)}^{p/2-1/2+\gamma }\right){1}_{{\mathcal{ℬ}}_{n}}\end{array}$
 $\begin{array}{ccc}& \le & {C}_{10}|s-t|\sigma \left(\mathbf{p}{\right)}^{\alpha p/2}+{C}_{11}n\sigma \left(\mathbf{p}{\right)}^{-1/4+\gamma /2}|s-t|\sigma \left(\mathbf{p}{\right)}^{\alpha p/2-\alpha /2+\alpha \gamma }\end{array}$
 $\begin{array}{ccc}& \le & {C}_{10}|s-t|\sigma \left(\mathbf{p}{\right)}^{\alpha p/2}+{C}_{11}|s-t|\sigma \left(\mathbf{p}{\right)}^{\alpha p/2+1/4-\alpha /2+\alpha \gamma -\gamma /2}\end{array}$
 $\begin{array}{ccc}& \le & {C}_{12}|s-t|\sigma \left(\mathbf{p}{\right)}^{1+{\eta }^{\prime }}\end{array}$
for $\alpha$  chosen close enough to $1/2$  and $\gamma$  to $0$  and for some ${\eta }^{\prime }>0$  .
Finally, we similarly estimate 3 CONVERGENCE OF NORMALIZED LABELED FORESTS
 $\begin{array}{ccc}{\mathbb{E}}_{\infty }\left[|\frac{R\sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}}-R\sigma \left(\mathbf{p}{\right)}_{nt}^{\mathcal{ℱ}}}{n\sigma \left(\mathbf{p}{\right)}^{1/4}}|\sigma \left(\mathbf{p}{\right)}^{p}|{\mathcal{ℬ}}_{n},{\mathcal{C}}_{n}\sigma \left(\mathbf{p}{\right)}^{c},{\mathcal{D}}_{n}\right]& & \end{array}$
 $\begin{array}{ccc}& \le & \left({C}_{8}n\sigma \left(\mathbf{p}{\right)}^{-p/4}{\ell }_{n}\left(s,t\right)\sigma \left(\mathbf{p}{\right)}^{p/2}+{C}_{9}n\sigma \left(\mathbf{p}{\right)}^{-p/4}{\ell }_{n}\left(s,t\right)\sigma \left(\mathbf{p}{\right)}^{p/2-1/2+\gamma }\right){1}_{{\mathcal{ℬ}}_{n}}+{C}_{6}n\sigma \left(\mathbf{p}{\right)}^{p\left(\xi /2-1/4\right)}\left(logn\right)\sigma \left(\mathbf{p}{\right)}^{D},\end{array}$
and this is bounded by quantities similar as above, and things are similar for conditioning by ${\mathcal{C}}_{n},{\mathcal{D}}_{n}\sigma \left(\mathbf{p}{\right)}^{c}$  . Finally, ${\mathbb{E}}_{\infty }\left[|\frac{R\sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}}-R\sigma \left(\mathbf{p}{\right)}_{nt}^{\mathcal{ℱ}}}{n\sigma \left(\mathbf{p}{\right)}^{1/4}}|\sigma \left(\mathbf{p}{\right)}^{4+\varepsilon }|{\mathcal{ℬ}}_{n}\right]\le {C}^{\prime }|s-t|\sigma \left(\mathbf{p}{\right)}^{1+{\eta }^{\prime \prime }},$  for some ${C}^{\prime },{\eta }^{\prime \prime }>0$  , and since the probability of ${\mathcal{ℬ}}_{n}$  can be chosen as close of $1$  as wanted, this implies by standard considerations that the $\left(1+{\eta }^{\prime \prime }\right)/\left(4+\varepsilon \right)$  -Holder norm on compacts of the process $\left(n\sigma \left(\mathbf{p}{\right)}^{-1/4}R\sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}},s\ge 0\right)$  is tight, and this implies the tightness of this sequence of processes.
This ends the proof of Proposition  5 , and thus of Theorem  3 . $\square$  3 CONVERGENCE OF NORMALIZED LABELED FORESTS

3.6 Convergence of size conditioned discrete snakes

Lemma 12 If hypothesis $\left({H}_{1}\right)$  is fulfilled, we have $P\sigma \left(\mathbf{p}{\right)}^{\circ }\left(|T\sigma \left(\mathbf{p}{\right)}^{\circ }|=n\right)\sim \frac{{\mathsf{h}}_{\circ }}{{\overline{\sigma }}_{\circ }\sqrt{2\pi }}n\sigma \left(\mathbf{p}{\right)}^{-3/2},P\sigma \left(\mathbf{p}{\right)}^{\circ }\left(|T\sigma \left(\mathbf{p}{\right)}^{\bullet }|=n\right)\sim \frac{{\mathsf{h}}_{\bullet }{m}_{\circ }}{{\overline{\sigma }}_{\bullet }\sqrt{2\pi }}n\sigma \left(\mathbf{p}{\right)}^{-3/2},$  along values of $n$  making these probabilities positive, where ${\mathsf{h}}_{\circ }$  is the span of the law of $|T\sigma \left(\mathbf{p}{\right)}^{\circ }|$  under $P\sigma \left(\mathbf{p}{\right)}^{\circ }$  , and ${\mathsf{h}}_{\bullet }$  the span of $|T\sigma \left(\mathbf{p}{\right)}^{\bullet }|$  under $P\sigma \left(\mathbf{p}{\right)}^{\circ }$  .
Proof. The first quantity is the probability that the grandfather critical tree ${\overline{T}}_{\circ }$  has $n$  nodes.
This is computed thanks to the Otter-Dwass formula that can be found in [25and the central local limit theorem (see [26,p.706). For the second quantity, write
 $\begin{array}{c}n\sigma \left(\mathbf{p}{\right)}^{3/2}P\sigma \left(\mathbf{p}{\right)}^{\circ }\left(|T\sigma \left(\mathbf{p}{\right)}^{\bullet }|=n\right)={\sum }_{i}n\sigma \left(\mathbf{p}{\right)}^{3/2}P\sigma \left(\mathbf{p}{\right)}^{\circ }\left(|T\sigma \left(\mathbf{p}{\right)}^{\bullet }|=n|{c}_{\mathbb{\varnothing }}=i\right)P\sigma \left(\mathbf{p}{\right)}^{\circ }\left({c}_{\mathbb{\varnothing }}=i\right).\end{array}$ (22)
First, $P\sigma \left(\mathbf{p}{\right)}^{\circ }\left({c}_{\mathbb{\varnothing }}=i\right)=\mu \circ \left(i\right)$  . Then, $n\sigma \left(\mathbf{p}{\right)}^{3/2}P\sigma \left(\mathbf{p}{\right)}^{\circ }\left(|T\sigma \left(\mathbf{p}{\right)}^{\bullet }|=n|{c}_{\mathbb{\varnothing }}=i\right)=n\sigma \left(\mathbf{p}{\right)}^{3/2}P\sigma \left(\mathbf{p}{\right)}_{i}^{\bullet }\left(|\mathcal{ℱ}\sigma \left(\mathbf{p}{\right)}^{\bullet }|=n\right)\to i{\mathsf{h}}_{\bullet }/\left({\overline{\sigma }}_{\bullet }\sqrt{2\pi }\right)$  thanks to the Otter-Dwass formula applied to the grandfather forest ${\overline{\mathcal{ℱ}}}_{\bullet }$  and the central local limit theorem. To conclude, use Lebesgue dominated convergence theorem in ( 22 ). $\square$  The conditioning argument Let $\left(k\left(i\right),i\ge 1\right)$  be a sequence of elements of $\left\{+\infty ,1,2,3,...\right\}$  ; let ${A}_{i}$  be an event on the set of forests ${\mathbb{F}}_{i}=\left\{\mathbf{f}=\left({\mathbf{t}}_{1},...,{\mathbf{t}}_{k\left(i\right)}\right)\right\}$  with $k\left(i\right)$  trees rooted on a $\circ$  -node. For $n$  large enough, under $\left({H}_{1}\right)$  thanks to Lemma  12 , $\mathbb{P}\sigma \left(\mathbf{p}{\right)}_{k\left(i\right)}^{\circ }\left({A}_{i}||{\mathbf{t}}_{1}\sigma \left(\mathbf{p}{\right)}^{\bullet }|=n\right)\le cn\sigma \left(\mathbf{p}{\right)}^{3/2}{\mathbb{P}}_{k\left(i\right)}\left({A}_{i}\right).$  For any sequence $\left({a}_{i}{\right)}_{i}$  , $1\le {a}_{i}\le k\left(i\right)$  , consider now events of the type ${A}_{i}=\left\{{\sum }_{j=1}\sigma \left(\mathbf{p}{\right)}^{a\left(i\right)}g\left({\mathbf{t}}_{j}\right)\ge Z\right\}\text{or}{A}_{i}=\left\{{sup}_{j=1,...,a\left(i\right)}g\left({\mathbf{t}}_{j}\right)\ge Z\right\},\text{and}B=\left\{g\left({\mathbf{t}}_{1}\right)\ge Z\right\}$  for a given non negative function $g$  . We have $\mathbb{P}\sigma \left(\mathbf{p}{\right)}_{k\left(i\right)}^{\circ }\left(B||{\mathbf{t}}_{1}\sigma \left(\mathbf{p}{\right)}^{\bullet }|=n\right)\le \mathbb{P}\sigma \left(\mathbf{p}{\right)}_{k\left(i\right)}^{\circ }\left({A}_{i}||{\mathbf{t}}_{1}\sigma \left(\mathbf{p}{\right)}^{\bullet }|=n\right)\le cn\sigma \left(\mathbf{p}{\right)}^{3/2}\mathbb{P}\sigma \left(\mathbf{p}{\right)}_{k\left(i\right)}^{\circ }\left({A}_{i}\right).$  The contents of this paragraph remains unchanged replacing $|{\mathbf{t}}_{1}\sigma \left(\mathbf{p}{\right)}^{\bullet }|$  by $|{\mathbf{t}}_{1}\sigma \left(\mathbf{p}{\right)}^{\circ }|$  .
Hence, the probability of an event involving a tree conditioned by its size is controlled by the corresponding event for forests.
Consider $P\sigma \left(\mathbf{p}{\right)}^{\circ }$  a critical Galton-Watson distribution on two-type trees. Let $Q\sigma \left(\mathbf{p}{\right)}_{n}^{\circ }$  (resp. $Q\sigma \left(\mathbf{p}{\right)}_{n}^{\bullet }$  ) the probability induced on $\mathbb{T}$  by the conditioning by $|T\sigma \left(\mathbf{p}{\right)}^{\circ }|=n$  (resp.
$|T\sigma \left(\mathbf{p}{\right)}^{\bullet }|=n$  ), whenever these events have positive probability. Formally, $Q\sigma \left(\mathbf{p}{\right)}_{n}^{\circ }=P\sigma \left(\mathbf{p}{\right)}^{\circ }\left(\cdot ||T\sigma \left(\mathbf{p}{\right)}^{\circ }|=n\right),Q\sigma \left(\mathbf{p}{\right)}_{n}^{\bullet }=P\sigma \left(\mathbf{p}{\right)}^{\circ }\left(\cdot ||T\sigma \left(\mathbf{p}{\right)}^{\bullet }|=n\right).$  Using the conditioning argument and Lemma  8 , we get
Lemma 13 If hypothesis $\left({H}_{1}\right)$  is fulfilled:
$\left(i\right)$  Under $Q\sigma \left(\mathbf{p}{\right)}_{n}^{\circ }$  , $|T|/n---\to proban1+{m}_{\circ },$  $\left(ii\right)$  Under $Q\sigma \left(\mathbf{p}{\right)}_{n}^{\bullet }$  , $|T|/n---\to proban1+{m}_{\bullet }$  .
3 CONVERGENCE OF NORMALIZED LABELED FORESTS Theorem 4 If assumptions $\left({H}_{1}\right)$  , $\left({H}_{2}\right)$  and $\left({H}_{3}\right)$  are fulfilled, under $Q\sigma \left(\mathbf{p}{\right)}_{n}^{\bullet }$  , (resp. under $Q\sigma \left(\mathbf{p}{\right)}_{n}^{\circ }$  ), the process ${\left(n\sigma \left(\mathbf{p}{\right)}^{-1/2}\stackrel{^}{H}\sigma \left(\mathbf{p}{\right)}_{2\left(|T|-1\right)s}^{T},n\sigma \left(\mathbf{p}{\right)}^{-1/4}\stackrel{^}{R}\sigma \left(\mathbf{p}{\right)}_{2\left(|T|-1\right)s}^{T}\right)}_{s\in \left[0,1\right]}$  converges weakly to ${\left(\frac{4}{{\overline{\sigma }}_{\bullet }}{e}_{s},\frac{2\Sigma }{\sqrt{{\overline{\sigma }}_{\bullet }}}{r}_{s}\right)}_{s\in \left[0,1\right]},\left(\mathit{r}\mathit{e}\mathit{s}\mathit{p}\mathit{.}{\left(\frac{4}{{\overline{\sigma }}_{\circ }}{e}_{s},\frac{2\Sigma }{\sqrt{{\overline{\sigma }}_{\circ }}}{r}_{s}\right)}_{s\in \left[0,1\right]}\right)\mathit{u}\mathit{n}\mathit{d}\mathit{e}\mathit{r}\mathbb{N}\sigma \left(\mathbf{p}{\right)}^{\left(1\right)},$  in $C\left(\left[0,1\right],\mathbb{R}\sigma \left(\mathbf{p}{\right)}^{2}\right)$  endowed with the topology of uniform convergence.
Remark. The limit in the theorem is, up to a multiplicative constant, the head of the Brownian snake with lifetime process the normalized Brownian excursion. Convergence of discrete snake to the Brownian snake with i.i.d. increment (or that may be dependent between brothers) are proved in [9, 21, 14. In the two last references, the space of convergence is $\mathbb{H}$  , the space of the head of the Brownian snake : $\mathbb{H}$  is the subspace of $C\left(\left[0,1\right],\mathbb{R}\right)×C\left(\left[0,1\right],\left[0,+\infty \left[\right)$  of functions $\left(\zeta ,f\right)$  that satisfy $\zeta \left(0\right)=\zeta \left(1\right)=0$  and for any $0\le s\le {s}^{\prime }\le 1,f\left(s\right)=f\left({s}^{\prime }\right)\text{if}\zeta \left(s\right)=\zeta \left({s}^{\prime }\right)={min}_{s\le u\le {s}^{\prime }}\zeta \left(u\right)$  . Here, the convergence holds also in $\mathbb{H}$  . As a consequence, thanks to the homeomorphism Theorem of [21, the convergence in $\left(i\right)$  and $\left(ii\right)$  entails that corresponding two-type discrete snakes, suitably normalized, converge to the Brownian snake with lifetime process the normalized Brownian excursion.
Proof. $\left(i\right)$  Under $Q\sigma \left(\mathbf{p}{\right)}_{n}^{\circ }$  , the grandfather tree ${\overline{T}}_{\circ }$  of $T$  is a single type critical $\overline{\mu }\circ$  -GW tree conditioned to have size $n$  . By Proposition  2 (ii), we have $n\sigma \left(\mathbf{p}{\right)}^{-1/2}\left(H\sigma \left(\mathbf{p}{\right)}_{ns}^{{\overline{T}}_{\circ }}{\right)}_{s\in \left[0,1\right]}----\to weaklyn\frac{2}{{\overline{\sigma }}_{\circ }}\left({e}_{s}{\right)}_{s\in \left[0,1\right]}$  . Now, the total number of nodes in $T$  is, according to Lemma  8 and the conditionning argument, concentrated around $n\left(1+{m}_{\circ }\right)$  . The good repartition of $\circ$  -nodes in $T$  gives the results.
$\left(ii\right)$  Under $Q\sigma \left(\mathbf{p}{\right)}_{n}^{\bullet }$  , the total number of nodes in $T$  is concentrated around $n\left(1+{m}_{\bullet }\right)$  .
The main difference with the proof of $\left(i\right)$  , if we think in terms of grandfathers forest ${\overline{T}}_{\bullet }$  , is that the conditionning is on the number of nodes in ${\overline{T}}_{\bullet }$  which has a random number of trees.
The first argument to identify the limit is the following : the number of trees in ${\overline{T}}_{\bullet }$  is ${c}_{\mathbb{\varnothing }}$  ; it converges in distribution when $n\to \infty$  (the arguments are given in the proof of Lemma  12 ).
Now, for any $i$  , if we condition ${\overline{T}}_{\bullet }$  to have $i$  trees and $n$  nodes, the normalized height process ${\left(n\sigma \left(\mathbf{p}{\right)}^{-1/2}H\sigma \left(\mathbf{p}{\right)}_{ns}^{{\overline{T}}_{\bullet }}\right)}_{s\in \left[0,1\right]}$  converges weakly to ${\left(\frac{2}{{\overline{\sigma }}_{\bullet }}{e}_{s}\right)}_{s\in \left[0,1\right]}$  (when $n$  goes to $+\infty$  ). Since the limit is the same for any $i$  , this implies that the limit is the same under the only conditioning by $|T\sigma \left(\mathbf{p}{\right)}^{\bullet }|=n$  .
Let us establish the convergence of the label processes. We review now the arguments used for the convergence of label processes of forests, and shows that they can be extended when conditioning by the size of the tree. First, thanks to the conditioning argument, Lemmæ  2 ,  3 ,  6 ,  7 ,  9 ,  10 and  11 hold under the conditioning by $|{T}_{1}\sigma \left(\mathbf{p}{\right)}^{\bullet }|=n$  or $|{T}_{1}\sigma \left(\mathbf{p}{\right)}^{\circ }|=n$  and the property proved holds for the conditioned snakes if one takes $A$  large enough. Then one follows line by line the proof of the finite fimensional convergence (in the proof of Proposition  4 we use a Skohorod’s representation space on which $n\sigma \left(\mathbf{p}{\right)}^{-1/2}H\sigma \left(\mathbf{p}{\right)}_{{\beta }_{\circ }n.}^{T}$  converges to $4e./{\overline{\sigma }}_{\circ }$  or $n\sigma \left(\mathbf{p}{\right)}^{-1/2}H\sigma \left(\mathbf{p}{\right)}_{{\beta }_{\bullet }n.}^{T}$  converges to $4e./{\overline{\sigma }}_{\bullet }$  almost surely, depending on whether we are proving $\left(i\right)$  or $\left(ii\right)$  ). For proving the analogue of Proposition  5 , we only need an extension of ( 21 ). Such a formula is known for critical single type Galton-Watson trees conditioned by the size (simple adaptation of Lemma 1 in [14); then it is true for the underlying grandfather tree (or forest). $\square$  4 ASYMPTOTICS FOR MAPS

4 Asymptotics for maps

4 ASYMPTOTICS FOR MAPS

4.1 BDG’s bijection between bipartite maps and mobiles

We present here the construction of Bouttier & al. [7for seek of completness.
Description of $\Phi$  Consider a rooted pointed map $\mathbf{m}\in {\mathcal{ℳ}}_{n,k}$  , with distinguished node $u$  and root $vw$  . We present the construction of $\left(\mathbf{t},\ell \right)=\Phi \left(\mathbf{m}\right)$  , the rooted labeled mobile associated with $\mathbf{m}$  (see Fig.  7 ).
1) Label each node $x$  of $\mathbf{m}$  by $g\left(x\right)$  , the geodesic distance to $u$  .
2) The construction takes place now in each face, independently : Let $F$  be a face of $\mathbf{m}$  , with degree $2j$  . Add in this face a $\bullet$  -node. Since $\mathbf{m}$  is bipartite, the difference between two consecutive labels around $F$  is $+1$  or $-1$  . Among the $2j$  vertices of $F$  , select the $j$  ones immediately followed by vertices with smaller labels. Add now an edge between the $\bullet$  -node and each of the $j$  selected vertices (see Figure  6 ).
) Remove all the edges of the original map. Only the distinguished node $u$  is isolated. Remove uneface Figure 6 : Step 2 of $\Phi$  . it.
4) We obtain a tree in which the edges connect $\bullet$  -nodes to labeled nodes of the original map :
consider these last nodes as $\circ$  -node (there are $k-1$  such nodes since only the root is isolated).
There are $n$  $\bullet$  -nodes, one per face of $\mathbf{m}$  .
5) Choose the root of the mobile as the first edge that links $w$  to the $\bullet$  -node in the face adjacent to $vw$  , to the right of $\stackrel{\to }{wv}$  .
6) Add $-g\left(v\right)+1$  to the label of each node.
The resulting mobile belongs to ${\mathcal{W}}_{n,k-1}$  , call it $\Phi \left(\mathbf{m}\right)$  .

Figure 7 : Illustration of the application $\Phi$  . The two arrows explain how to choose the root of $\mathbf{t}$  .

Description of $\Phi \sigma \left(\mathbf{p}{\right)}^{-1}$  Consider a rooted labeled mobile $\left(\mathbf{t},\ell \right)\in {\mathcal{W}}_{n,k-1}$  with root ${v}^{\prime }{w}^{\prime }$  . Up to renaming the vertices, we assume that ${v}^{\prime }$  is a $\circ$  -node and ${w}^{\prime }$  a $\bullet$  -node. We now give the construction of $\mathbf{m}=\Phi \sigma \left(\mathbf{p}{\right)}^{-1}\left(\mathbf{t},\ell \right)$  . 1) Let $m$  be the minimum of the labels of $\mathbf{t}$  . Add $-m+1$  to each label.
A corner of $\mathbf{t}$  is a sector with apex at a labeled vertex of $\mathbf{t}$  and delimited by two consecutive edges around this vertex. We label each corner by the label of its apex. To each corner $C$  with label $l\ge 2$  , we associate its successor $s\left(C\right)$  defined as the first encountered corner with label $l-1$  when going clockwise around the tree (there is always a successor).
2) We construct the map $\mathbf{m}$  associated with $\mathbf{t}$  by first drawing an edge between each corner with label $l\ge 2$  and its successor within the external face of $\mathbf{t}$  and in such a way that no two edges intersect. This can be done due to the nested structure around $\mathbf{t}$  of corners and their successors, namely : if a corner ${C}^{\prime }$  lies strictly between a corner $C$  and its successor $s\left(C\right)$  , then $s\left({C}^{\prime }\right)$  lies between ${C}^{\prime }$  and $s\left(C\right)$  (with possibly $s\left({C}^{\prime }\right)=s\left(C\right)$  ).
3) Add an origin vertex $u$  labeled $0$  in the external face and view the unique sector around this isolated point as the successor of all corners labeled $1$  , which we therefore also connect to the origin via non-crossing edges. This is possible because each corner has its successor before or at the first encountered corner labeled $1$  ; hence all corners labeled $1$  are incident to the external face.
4) Erase all unlabeled vertices and their adjacent edges.
5) The result is a map $\mathbf{m}$  that has $n$  faces and $k$  vertices. It remains to root it and to distinguish a node :
– the distinguished node is $u$  , 4 ASYMPTOTICS FOR MAPS – the root, is the first edge of $\mathbf{m}$  that starts from ${v}^{\prime }$  to the left of $\stackrel{\to }{{v}^{\prime }{w}^{\prime }}$  .
The resulting pointed rooted map is $\Phi \sigma \left(\mathbf{p}{\right)}^{-1}\left(\mathbf{t},\ell \right)$

Figure 8 : Illustration of $\Phi \sigma \left(\mathbf{p}{\right)}^{-1}$  . The two arrows explain how to choose the root of $\mathbf{m}$  . It remains to remove the labels.

4 ASYMPTOTICS FOR MAPS

4.2 Mobiles derived from random maps

In this section, we show how the invariance principles of Sects.  3 and  3.6 has to be interpreted in the context of the mobiles constructed from random maps. Recall the notations from Sect.  1 , and consider the labeled mobiles $\left(T,L\right)=\Phi \left(M\right)$  under the laws ${P}_{\mathbf{q}},P\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},n}^{F}$  or $P\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},n}^{S}$  .
First, notice that contrary to what we considered in the two previous sections, the $\bullet$  vertices in mobiles $T$  with law ${P}_{\mathbf{q}}$  do not have a label, but this is a minor difference since we can suppose that they inherit the label of their respective fathers, so that the spatial displacement from any $\circ$  vertex to its children is $0$  . We therefore set ${\nu }_{k}\sigma \left(\mathbf{p}{\right)}^{\circ }={\delta }_{0}$  , the Dirac measure at the origin of $\mathbb{R}\sigma \left(\mathbf{p}{\right)}^{k}$  . Now, according to the labeling constraint ( 2 ) of mobiles obtained by the BdFG bijection, and the fact that it is uniform according to these constraints conditionally on $T$  , we naturally set, for any $k\ge 1$  and ${a}_{1},\dots ,{a}_{k}\in \mathbb{Z}$  , ${\nu }_{k}\sigma \left(\mathbf{p}{\right)}^{\bullet }\left({a}_{1},...,{a}_{k}\right)=\frac{{\prod }_{i=0}\sigma \left(\mathbf{p}{\right)}^{k}{1}_{{a}_{i+1}\ge {a}_{i}-1}}{N\left(k+1\right)},$  where ${a}_{0}={a}_{k+1}=0$  .
From now on, suppose that $\mathbf{q}$  is a regular critical weight, and we define $\mu {\circ }_{\mathbf{q}},\mu {\bullet }_{\mathbf{q}}$  as in Sect.  1 .
Lemma 14 The data $\mu {\circ }_{\mathbf{q}},\mu {\bullet }_{\mathbf{q}},\nu \sigma \left(\mathbf{p}{\right)}^{\circ },\nu \sigma \left(\mathbf{p}{\right)}^{\bullet }$  satisfy the hypotheses $\left({H}_{1}\right),\left({H}_{2}\right),\left({H}_{3}\right)$  . More precisely, $\left(i\right)$  For any $k\ge 1$  , the distribution ${\nu }_{k}\sigma \left(\mathbf{p}{\right)}^{\bullet }$  is centered. For any $k\ge 1,j\in \mathcal{J}1,k\mathcal{K},$  $\left(\Sigma \sigma \left(\mathbf{p}{\right)}_{k,j}^{\bullet }\right)\sigma \left(\mathbf{p}{\right)}^{2}=\frac{2j\left(k+1-j\right)}{k+2}.$  $\left(ii\right)$  For any $k\ge 1$  , ${\sum }_{j=1}\sigma \left(\mathbf{p}{\right)}^{k}\left({\Sigma }_{k,j}\sigma \left(\mathbf{p}{\right)}^{\bullet }\right)\sigma \left(\mathbf{p}{\right)}^{2}=\frac{k\left(k+1\right)}{3}$  .
$\left(iii\right)$  ${max}_{1\le j\le k}{M}_{k,j,p}\sigma \left(\mathbf{p}{\right)}^{\circ }\le \left(k+1\right)\sigma \left(\mathbf{p}{\right)}^{p}$  in particular ${max}_{1\le j\le k}\left({M}_{k,j}\sigma \left(\mathbf{p}{\right)}^{\bullet }\vee {M}_{k,j}\sigma \left(\mathbf{p}{\right)}^{\circ }\right)=O\left(k\sigma \left(\mathbf{p}{\right)}^{4+\varepsilon }\right)$  .
Proof. Since $\mathbf{q}$  is regular critical, $\left({H}_{1}\right)$  is plainly satisfied. Next, consider a $\bullet$  -node $u$  with total degree $k+1$  (for $k\ge 0$  ). Denote by ${u}_{0},...,{u}_{k}$  , the neighbors of $u$  sorted in the depth first order (so ${u}_{0}$  is the grandfather of the other nodes). By the convention on ${\nu }_{\circ }$  , the distribution of $\left(\ell \left({u}_{1}\right)-\ell \left({u}_{0}\right),...,\ell \left({u}_{k}\right)-\ell \left({u}_{0}\right)\right),$  is given by $\nu \sigma \left(\mathbf{p}{\right)}_{k}^{\bullet }$  . The condition ( 2 ) on the labels can be rewritten ${x}_{1}\ge -1,{x}_{2}\ge -1,...,{x}_{k}\ge -1,{x}_{k+1}\ge -1,\text{and}{\sum }_{i=1}\sigma \left(\mathbf{p}{\right)}^{k+1}{x}_{i}=0$  where the ${x}_{i}$  are the integers ${x}_{i}=\ell \left({u}_{i}\right)-\ell \left({u}_{i-1}\right)$  with the convention $\ell \left({u}_{k+1}\right)=\ell \left({u}_{0}\right)$  . Now, let put $k+1$  balls in $k+1$  urns and note $\left({y}_{i},1\le i\le k+1\right)$  the number of balls in the urns $1,2...,k+1$  . We have $\left({y}_{i},1\le i\le k+1\right)=\left(d\right)\left({x}_{i}+1,1\le i\le k+1\right).$  Then, $\nu \sigma \left(\mathbf{p}{\right)}_{k,j}^{\bullet }$  is the distribution of ${x}_{1}+\cdot \cdot \cdot +{x}_{j}$  and also the one of ${s}_{k,j}={y}_{1}+\cdot \cdot \cdot +{y}_{j}-j$  .
By symmetry, the mean of ${y}_{1}$  is 1 and then ${s}_{k,j}$  is centered. Let us compute its variance.
Using the urn representation, we obtain $\mathbb{P}\left({s}_{k,j}=l\right)=\frac{\left(\genfrac{}{}{0}{}{l+2j-1}{l+j}\right)\left(\genfrac{}{}{0}{}{2k-2j-l+1}{k-j+1-l}\right)}{\left(\genfrac{}{}{0}{}{2k+1}{k+1}\right)}\text{for any}l\in \left\{-j,...,k+1-j\right\}.$  Now, 4 ASYMPTOTICS FOR MAPS
 $\begin{array}{ccc}\left({\Sigma }_{k,j}\sigma \left(\mathbf{p}{\right)}^{\bullet }\right)\sigma \left(\mathbf{p}{\right)}^{2}=Var\left({s}_{k,j}\right)& =& {\sum }_{l=-j}\sigma \left(\mathbf{p}{\right)}^{k+1-j}\frac{\left(\genfrac{}{}{0}{}{l+2j-1}{l+j}\right)\left(\genfrac{}{}{0}{}{2k-2j-l+1}{k-j+1-l}\right)}{\left(\genfrac{}{}{0}{}{2k+1}{k+1}\right)}l\sigma \left(\mathbf{p}{\right)}^{2}={\sum }_{l=0}\sigma \left(\mathbf{p}{\right)}^{k+1}\frac{\left(\genfrac{}{}{0}{}{l+j-1}{j-1}\right)\left(\genfrac{}{}{0}{}{2k-j-l+1}{k-j}\right)}{\left(\genfrac{}{}{0}{}{2k+1}{k+1}\right)}\left(l-j\right)\sigma \left(\mathbf{p}{\right)}^{2}\end{array}$ (23)
Note that the following sum does not depend on $j$  , ${\sum }_{l=0}\sigma \left(\mathbf{p}{\right)}^{k+1}\left(\genfrac{}{}{0}{}{l+j-1}{j-1}\right)\left(\genfrac{}{}{0}{}{2k-j-l+1}{k-j}\right)=\left(\genfrac{}{}{0}{}{2k+1}{k}\right).$  Indeed, when one counts the number of possible choices of $k+1$  numbers among $\mathcal{J}1,2k+1\mathcal{K}$  , one may specify at first that the $j$  th chosen is $j+l$  (with $l\in \mathcal{J}0,k+1\mathcal{K}$  ) and then choose $j-1$  numbers in $\mathcal{J}1,l+j-1\mathcal{K}$  , and $k-j$  numbers in $\mathcal{J}j+l+1,2k+1\mathcal{K}$  .
Using $\frac{a+1}{b+1}\left(\genfrac{}{}{0}{}{a}{b}\right)=\left(\genfrac{}{}{0}{}{a+1}{b+1}\right)$  and $\left(l-j\right)\sigma \left(\mathbf{p}{\right)}^{2}=\left(l+j\right)\left(l+j+1\right)-\left(l+j\right)\left(4j+1\right)+4j\sigma \left(\mathbf{p}{\right)}^{2}$  , the numerator of ( 23 ) can be rewritten $4j\sigma \left(\mathbf{p}{\right)}^{2}\left(\genfrac{}{}{0}{}{2k+1}{k}\right)-\left(4j+1\right)j{\sum }_{l=0}\sigma \left(\mathbf{p}{\right)}^{k+1}\left(\genfrac{}{}{0}{}{l+j}{j}\right)\left(\genfrac{}{}{0}{}{2k-j-l+1}{k-j}\right)+j\left(j+1\right){\sum }_{l=0}\sigma \left(\mathbf{p}{\right)}^{k+1}\left(\genfrac{}{}{0}{}{l+j+1}{j+1}\right)\left(\genfrac{}{}{0}{}{2k-j-l+1}{k-j}\right)$  and then 4 ASYMPTOTICS FOR MAPS
 $\begin{array}{ccc}\left(\Sigma \sigma \left(\mathbf{p}{\right)}_{k,j}^{\bullet }\right)\sigma \left(\mathbf{p}{\right)}^{2}& =& \frac{4j\sigma \left(\mathbf{p}{\right)}^{2}\left(\genfrac{}{}{0}{}{2k+1}{k}\right)-\left(4j+1\right)j\left(\genfrac{}{}{0}{}{2k+2}{k+1}\right)+j\left(j+1\right)\left(\genfrac{}{}{0}{}{2k+3}{k+2}\right)}{\left(\genfrac{}{}{0}{}{2k+1}{k}\right)}=\frac{2j\left(k+1-j\right)}{\left(k+2\right)}.\end{array}$
Now, replacing $\left(l-j\right)\sigma \left(\mathbf{p}{\right)}^{2}$  by $\left(l-j\right)\sigma \left(\mathbf{p}{\right)}^{p}$  in ( 23 ), and bounding this quantity by $\left(k+1\right)\sigma \left(\mathbf{p}{\right)}^{p}$  , we obtain easily $\left(ii\right)$  and $\left(iii\right)$  . $\square$  From (ii) in this lemma we easily deduce, by elementary computations:
Lemma 15 The constants ${\overline{\sigma }}_{\circ },{\overline{\sigma }}_{\bullet }$  , $\overline{\sigma }$  and $\Sigma$  corresponding as in ( 14 ), ( 13 ) to the data $\mu {\circ }_{\mathbf{q}},\mu {\bullet }_{\mathbf{q}},\nu \sigma \left(\mathbf{p}{\right)}^{\circ },\nu \sigma \left(\mathbf{p}{\right)}^{\bullet }$  of Sect.  1 are given by ${\overline{\sigma }}_{\circ }=\sqrt{{\rho }_{\mathbf{q}}},{\overline{\sigma }}_{\bullet }=\sqrt{\left({Z}_{\mathbf{q}}-1\right){\rho }_{\mathbf{q}}},\overline{\sigma }=\frac{\sqrt{{Z}_{\mathbf{q}}{\rho }_{\mathbf{q}}}}{2}\text{and}\Sigma =\sqrt{\frac{{\rho }_{\mathbf{q}}}{6}},$  for ${\rho }_{\mathbf{q}}$  defined at ( 8 ).
As a corollary of this and Corollary  3 , and Theorem  4 , we finally obtain
Theorem 5 Let $\mathbf{q}$  be a regular critical weight. Then (i) Under ${P}_{\mathbf{q}}$  and given $\Re \left(M\right)>an$  for some $a>0$  , the process $\left(n\sigma \left(\mathbf{p}{\right)}^{-2}\stackrel{^}{H}\sigma \left(\mathbf{p}{\right)}_{2n\sigma \left(\mathbf{p}{\right)}^{4}s}^{T},n\sigma \left(\mathbf{p}{\right)}^{-1}\stackrel{^}{R}\sigma \left(\mathbf{p}{\right)}_{2n\sigma \left(\mathbf{p}{\right)}^{4}s}^{T}{\right)}_{s\ge 0}$  associated with $\Phi \left(M\right)$  converges to the head of the Brownian snake determined by $\left(\frac{4}{\sqrt{{Z}_{\mathbf{q}}{\rho }_{\mathbf{q}}}}e,\left(\frac{4{\rho }_{\mathbf{q}}}{9{Z}_{\mathbf{q}}}\right)\sigma \left(\mathbf{p}{\right)}^{1/4}r\right)\text{under}\mathbb{N}\left(\cdot |\left(\frac{4{\rho }_{\mathbf{q}}}{9{Z}_{\mathbf{q}}}\right)\sigma \left(\mathbf{p}{\right)}^{1/4}\Delta >a\right).$  (ii) Under $P\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},n}^{F}$  , the process $\left(n\sigma \left(\mathbf{p}{\right)}^{-1/2}\stackrel{^}{H}\sigma \left(\mathbf{p}{\right)}_{2\left(|T|-1\right)s}^{T},n\sigma \left(\mathbf{p}{\right)}^{-1/4}\stackrel{^}{R}\sigma \left(\mathbf{p}{\right)}_{2\left(|T|-1\right)s}^{T}{\right)}_{0\le s\le 1}$  associated with $\Phi \left(M\right)$  converges to $\left(\frac{4}{\sqrt{\left({Z}_{\mathbf{q}}-1\right){\rho }_{\mathbf{q}}}}e,\left(\frac{4{\rho }_{\mathbf{q}}}{9\left({Z}_{\mathbf{q}}-1\right)}\right)\sigma \left(\mathbf{p}{\right)}^{1/4}r\right)\text{under}\mathbb{N}\sigma \left(\mathbf{p}{\right)}^{\left(1\right)}.$  (iii) Under $P\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},n}^{S}$  , the process $\left(n\sigma \left(\mathbf{p}{\right)}^{-1/2}\stackrel{^}{H}\sigma \left(\mathbf{p}{\right)}_{2\left(|T|-1\right)s}^{T},n\sigma \left(\mathbf{p}{\right)}^{-1/4}\stackrel{^}{R}\sigma \left(\mathbf{p}{\right)}_{2\left(|T|-1\right)s}^{T}{\right)}_{0\le s\le 1}$  associated with $\Phi \left(M\right)$  converges to $\left(\frac{4}{\sqrt{{\rho }_{\mathbf{q}}}}e,\left(\frac{4{\rho }_{\mathbf{q}}}{9}\right)\sigma \left(\mathbf{p}{\right)}^{1/4}r\right)\text{under}\mathbb{N}\sigma \left(\mathbf{p}{\right)}^{\left(1\right)}.$
4 ASYMPTOTICS FOR MAPS

4.3 The profile of random maps

Let $\mathbf{m}\in \mathcal{ℳ}$  and $\left(\mathbf{t},\ell \right)=\Phi \left(\mathbf{m}\right)$  . Assume that $|\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\bullet }|=n$  . The duration of the contour process of $\mathbf{t}$  is twice its number of edges, that is $2\left(|\mathbf{t}|-1\right)$  . The $|\mathbf{t}|-n$  type- $\circ$  vertices are visited at times $\left(0,2,4,...,2\left(|\mathbf{t}|-1\right)\right)$  . We want to consider only the labels of $\circ$  -vertices, and so we set $\mathbf{R}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}}\left(k\right)=\ell \left(F\left(2k\right)\right)\text{for}k\in \mathcal{J}0,|\mathbf{t}|-1\mathcal{K},$  and we extend $\mathbf{R}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}}$  linearly between successive integers. A consequence of Theorem  4 and of Lemma  7 is the following :
Corollary 4 Theorem  5  (ii) and (iii) still hold with $n\sigma \left(\mathbf{p}{\right)}^{-1/4}\mathbf{R}\sigma \left(\mathbf{p}{\right)}^{T}\left(\left(|T|-1\right).\right)$  instead of $n\sigma \left(\mathbf{p}{\right)}^{-1/4}\stackrel{^}{R}\sigma \left(\mathbf{p}{\right)}_{2\left(|T|-1\right).}^{T}$  .
In this section, we consider the convergence of the profile of bipartite maps (this is the distribution’s generalization of Chassaing & Schaeffer [9, where the convergence of moments were also proven in the case of quadrangulation). Consider $\mathbf{m}\in \mathcal{ℳ}$  and $\left(\mathbf{t},\ell \right)$  a rooted labeled mobile.
For any $k\in \mathbb{Z}$  , let ${\lambda }_{k}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}}$  be the number of nodes with label $k$  in $\mathbf{t}$  and let ${L}_{k}\sigma \left(\mathbf{p}{\right)}^{\mathbf{m}}$  be the number of vertices at distance $k$  from the distinguished node in $\mathbf{m}$  ; denote by $\underline{\lambda }=min\left\{j,{\lambda }_{j}>0\right\}$  the smallest label in the mobile. The sequence $\left({L}_{k}\sigma \left(\mathbf{p}{\right)}^{\mathbf{m}}{\right)}_{k\ge 0}$  is called the profile of $\mathbf{m}$  . As a simple consequence of the construction of $\Phi$  , ${\lambda }_{k+\underline{\lambda }}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}}=#\left\{j,\mathbf{R}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}}\left(j\right)=k+min\mathbf{R}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}}\right\}={L}_{k+1}\sigma \left(\mathbf{p}{\right)}^{\mathbf{m}}\mathbf{}\mathbf{}\text{for any}k\ge 0.$  Similarly, denoting by $I\sigma \left(\mathbf{p}{\right)}^{\mathbf{m}}$  , the integrated profile , we have $I\sigma \left(\mathbf{p}{\right)}^{\mathbf{m}}\left(k\right)={\sum }_{j=0}\sigma \left(\mathbf{p}{\right)}^{k}{L}_{j}\sigma \left(\mathbf{p}{\right)}^{\mathbf{m}}=#\left\{j,\mathbf{R}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}}\left(j\right)\le k+min\mathbf{R}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}}\right\}\text{for}k\in {\mathbb{Z}}_{+}$  Using the same argument as in [9(see also [22), we get
Theorem 6 (i) Under $P\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},n}^{F}$  , (resp. $P\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},n}^{S}$  ) the largest distance to the root $n\sigma \left(\mathbf{p}{\right)}^{-1/4}max\left\{i,{L}_{i}\sigma \left(\mathbf{p}{\right)}^{M}>0\right\}$  converges in distribution to $\left(\frac{4{\rho }_{\mathbf{q}}}{9\left({Z}_{\mathbf{q}}-1\right)}\right)\sigma \left(\mathbf{p}{\right)}^{1/4}\Delta \text{under}\mathbb{N}\sigma \left(\mathbf{p}{\right)}^{\left(1\right)},\left(\text{resp.}\left(\frac{4{\rho }_{\mathbf{q}}}{9}\right)\sigma \left(\mathbf{p}{\right)}^{1/4}\Delta \text{under}\mathbb{N}\sigma \left(\mathbf{p}{\right)}^{\left(1\right)}\right).$  (ii) Under $P\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},n}^{F}$  , (resp. $P\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},n}^{S}$  ), the process ${\left(\frac{I\sigma \left(\mathbf{p}{\right)}^{M}\left(n\sigma \left(\mathbf{p}{\right)}^{1/4}x\right)}{n\left(1+{m}_{\bullet }\right)}\right)}_{x\ge 0}$  (resp. ${\left(\frac{I\sigma \left(\mathbf{p}{\right)}^{M}\left(n\sigma \left(\mathbf{p}{\right)}^{1/4}x\right)}{n\left(1+{m}_{\circ }\right)}\right)}_{x\ge 0}$  converges weakly to ${\left(Leb\left\{t\in \left[0,1\right],\left(\frac{4{\rho }_{\mathbf{q}}}{9\left({Z}_{\mathbf{q}}-1\right)}\right)\sigma \left(\mathbf{p}{\right)}^{1/4}\left(r\left(t\right)-minr\right)\le x\right\}\right)}_{x\ge 0}\text{under}\mathbb{N}\sigma \left(\mathbf{p}{\right)}^{\left(1\right)}$  $\left(\text{resp.}{\left(Leb\left\{t\in \left[0,1\right],\left(\frac{4{\rho }_{\mathbf{q}}}{9}\right)\sigma \left(\mathbf{p}{\right)}^{1/4}\left(r\left(t\right)-minr\right)\le x\right\}\right)}_{x\ge 0}\text{under}\mathbb{N}\sigma \left(\mathbf{p}{\right)}^{\left(1\right)}\right)$  in $C\left[0,+\infty \right)$  endowed with the topology of uniform convergence on compact sets.
4 ASYMPTOTICS FOR MAPS

4.4 Convergence to the Brownian map

The Brownian map is introduced in Marckert & Mokkadem [22. Informally, it is the quotient of a continuous tree, where the equivalence class are defined with the help of a second continuous tree. We show that normalized bipartite maps converge to the Brownian map. Most of what is done here is a generalization of [22, where the work was based on the bijection between quadrangulations and “labeled trees”. We will be sometimes a little bit sketchy referring the interested reader to the above reference.
4 ASYMPTOTICS FOR MAPS

4.4.1 Bipartite maps as a tree glued on a second tree

Consider a rooted labeled mobile $\left(\mathbf{t},\ell \right)\in {\mathcal{W}}_{n,k-1}$  with root ${v}^{\prime }{w}^{\prime }$  (such that ${v}^{\prime }$  is a $\circ$  -node and ${w}^{\prime }$  a $\bullet$  -node). To obtain a representation of $\mathbf{m}=\Phi \sigma \left(\mathbf{p}{\right)}^{-1}\left(\mathbf{t},\ell \right)$  with the help of two trees, we need to reroot the mobile on one of the $\circ$  -node with minimum label. We need also to keep the tracks of ${v}^{\prime }$  and ${w}^{\prime }$  : they are necessary to build the root of $\mathbf{m}$  . We denote by $\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\left(\theta \right)}$  the rooted labeled mobile obtained from $\mathbf{t}$  by rerooting it on the edge $\left({F}_{\mathbf{t}}\left(\theta \right),{F}_{\mathbf{t}}\left(\theta +1\right)\right)$  , and with labels, the labels of $\mathbf{t}$  plus $-\ell \left({F}_{\mathbf{t}}\left(\theta \right)\right)+1$  , where $\theta$  is the integer belonging to $\left\{0,2,4,...,2\left(|\mathbf{t}|-1\right)-2\right\}$  .
The label of the root-node of $\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\left(\theta \right)}$  is 1, $\mathbf{t}$  and $\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\left(\theta \right)}$  are equal as unrooted unlabeled trees, the difference between the labels of neighbors are the same in $\mathbf{t}$  and $\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\left(\theta \right)}$  . Let $\oplus$  denotes the addition modulo $2\left(|\mathbf{t}|-1\right)$  . For any $i\in \mathcal{J}0,2\left(|t|-1\right)\mathcal{K}$  , $\stackrel{^}{H}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\left(\theta \right)}}\left(i\right)=\stackrel{^}{H}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}}\left(\theta \oplus i\right)+\stackrel{^}{H}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}}\left(\theta \right)-2min\left\{\stackrel{^}{H}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}}\left(x\right),x\in \mathcal{J}\left(\theta \oplus i\right)\wedge \theta ,\left(\theta \oplus i\right)\vee \theta \right)\mathcal{K}\right\},$  and for any $i\in \mathcal{J}0,|t|-1\mathcal{K}$  , $\mathbf{R}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\left(\theta \right)}}\left(i\right)=\ell \left({F}_{\mathbf{t}}\left(\theta \oplus 2i\right)\right)-\ell \left({F}_{\mathbf{t}}\left(\theta \right)\right)+1=\mathbf{R}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}}\left(\frac{\theta \oplus 2i}{2}\right)-\mathbf{R}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}}\left(\frac{\theta }{2}\right)+1.$  On $\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\left(\theta \right)}$  , ${v}^{\prime }$  is visited at time $2\left(|\mathbf{t}|-\theta \right)$  and ${w}^{\prime }$  at time $2\left(|\mathbf{t}|-\theta \right)+1$  . Hence, the variable $X\left(\theta \right)=2\left(|\mathbf{t}|-\theta \right)$  suffices to reconstitute ${v}^{\prime }$  and ${w}^{\prime }$  .

Figure 9 : Encoding of a mobile.

Let ${\Theta }_{\mathbf{t}}=inf\left\{\theta ,\ell \left({F}_{\mathbf{t}}\left(\theta \right)\right)=min\ell \left({F}_{\mathbf{t}}\right)\right\},$  be the first visit time of a $\circ$  -node with minimum label. We will often write $\Theta$  instead of ${\Theta }_{\mathbf{t}}$  . The mobile $\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\left(\Theta \right)}$  has positive labels. We now build the rooted pointed map $\Phi \left(\mathbf{t}\right)$  from $\left(\Theta ,\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\left(\Theta \right)}\right)$  .

Figure 10 : Rerooting on the first minimum.

Construction of $\Phi \sigma \left(\mathbf{p}{\right)}^{-1}\left(\mathbf{t},\ell \right)$  from $\left(\Theta ,\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\left(\Theta \right)}\right)$  The process $\mathbf{R}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\left(\Theta \right)}}$  contains all the informations needed to build the edges of $\Phi \left(\mathbf{t}\right)$  .
(1) Add in the plane the point $u={N}_{|\mathbf{t}|}=\left(|\mathbf{t}|,0\right)$  , and for $i\in \mathcal{J}1,|\mathbf{t}|-1\mathcal{K}$  draw the node ${N}_{i}=\left(i,\mathbf{R}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\left(\Theta \right)}}\left(i\right)\right)$  .
(2) For $j\in \mathcal{J}1,|\mathbf{t}|-1\mathcal{K}$  , add an edge in the plane between ${N}_{j}$  and ${N}_{{j}^{\prime }}$  where ${j}^{\prime }$  encodes the successor of the corner encoded by $j$  in $\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\left(\theta \right)}$  as on Figure  11 . That is : draw the edges in such a way that the edges do not cross, and in such a way that the edge $\left({N}_{j},{N}_{{j}^{\prime }}\right)$  surrounds from above the edges that start from abscissas lying between $j$  and ${j}^{\prime }$  . The set of nodes and edges drawn is a tree (see [22for a proof ); we call this tree $\mathcal{D}$  .

Figure 11 : Doddering tree.

(3) We call $\mathcal{G}$  the underlying tree of $\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\left(\Theta \right)}$  . Its contour process is $\stackrel{^}{H}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\left(\Theta \right)}}$  . Each node of $\mathcal{D}$  (but the root) corresponds to a $\circ$  -corner of $\mathcal{G}$  : for $j\ge 1$  , the node ${N}_{j}$  of $\mathcal{D}$  corresponds to the node visited at time $2j$  in $\mathcal{G}$  . Glue the nodes of $\mathcal{D}$  that correspond to corners of the same node of $\mathcal{G}$  in such a way that the edges do not intersect. (On Figure  12 , glue the nodes of $\mathcal{D}$  that correspond to corners of the same node of $\mathcal{D}$  below the tree. They are specified by horizontal 4 ASYMPTOTICS FOR MAPS doted lines).
(4) Choose the root and the distinguished node of $\mathbf{m}$  : the distinguished node is the point $u$  added in (1). In $\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\left(\Theta \right)}$  , ${v}^{\prime }$  and ${w}^{\prime }$  are visited at time $X\left(\Theta \right)$  and $X\left(\Theta \right)+1$  . To get the root of $\mathbf{m}$  , we have to turn around ${v}^{\prime }$  , starting from $\stackrel{\to }{{v}^{\prime }{w}^{\prime }}$  on the right. Proceed as on Fig.  12 .
Remark. One may also construct the root of $\mathbf{m}$  on $\mathcal{D}$  (before the gluing of the nodes of $\mathcal{D}$  ). ${v}^{\prime }$  is the node ${N}_{X\left(\Theta \right)/2}$  on $\mathcal{D}$  . ${w}^{\prime }$  is the last node in the list ${N}_{1},{N}_{2},...,{N}_{X\left(\Theta \right)/2-1}$  with successor ${v}^{\prime }$  , and if such a node does not exists, ${w}^{\prime }$  is the successor of ${v}^{\prime }$  (this is the case on Figure  11 ).

Figure 12 : Drawing of the doddering tree on the gluer tree.

The two trees $\mathcal{D}$  and $\mathcal{G}$  are called doddering tree and gluer tree, respectively, in [22. The doddering tree contains all the edges of the maps and, as one guesses easily in view of Figure  12 , using the gluer tree one may reconstitute the original map. For this, draw $\mathcal{D}$  on the contour process of $\mathcal{G}$  as on Figure  12  : place the root of $\mathcal{D}$  in the plane (not on the graph of $\mathcal{G}$  ). Then, for $i\in \mathcal{J}0,|\mathbf{t}|-2\mathcal{K}$  , place the $i+1$  th node of $\mathcal{D}$  on the $2|\mathbf{t}|-2i-2$  th $\circ$  corner of $\mathcal{G}$  . Now, it remains to use a deformation of the plane, in order to “glue” together the corners of the gluer tree, corresponding to the same nodes. This is possible as one may imagine easily on Fig.  12 in considering the horizontal line as elastic strings. One may also proceed, as on Fig.  13 where two first gluings are done. At the end, it remains to remove the doted lines and the $\bullet$  -nodes.

Figure 13 : Two first gluings.

Remark. We have constructed the map $\mathbf{m}$  with the help of the labeled mobile $\left(\mathbf{t},\ell \right)$  (given by the BdFG bijection), which itself has been encoded by the triplet $\left(\Theta ,\left(\stackrel{^}{H}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\left(\Theta \right)}},\mathbf{R}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\left(\Theta \right)}}\right)\right)$  where, $\stackrel{^}{H}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\left(\Theta \right)}}$  is the contour process of $\mathcal{G}$  , the value $\Theta$  is used to reconstitute the root of $\mathbf{m}$  , and by construction
Proposition 6 Setting $\mathbf{R}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\left(\Theta \right)}}\left(|\mathbf{t}|\right)=0$  , the process ${\left(\mathbf{R}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\left(\Theta \right)}}\left(|\mathbf{t}|-i\right)\right)}_{i=0,...,|\mathbf{t}|-1}$  is the height process of $\mathcal{D}$  .
4 ASYMPTOTICS FOR MAPS

4.4.2 Asymptotics of $\mathcal{D}$  and $\mathcal{G}$

In order to get the asymptotics of the trees $\mathcal{D}$  and $\mathcal{G}$  under $P\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},n}^{F}$  or $P\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},n}^{S}$  , we follow and modify slightly when needed some arguments given with considerable more details in [22. We recall the operation of rerooting of a normalized labeled tree defined for any $\theta \in \left[0,1\right]$  by
 $\begin{array}{cccc}J:& \mathbb{H}& \mathbb{⟶}& \left[0,1\right]×\mathbb{H}\end{array}$
 $\begin{array}{cccc}& \left(\zeta ,f\right)& ↦& J\sigma \left(\mathbf{p}{\right)}^{\left(\theta \right)}\left(\zeta ,f\right)=\left(\zeta \sigma \left(\mathbf{p}{\right)}^{\left(\theta \right)},f\sigma \left(\mathbf{p}{\right)}^{\left(\theta \right)}\right)\end{array}$
, where for any $x\in \left[0,1\right]$  ,
 $\begin{array}{c}\begin{array}{ccc}f\sigma \left(\mathbf{p}{\right)}^{\left(\theta \right)}\left(x\right)& =& f\left(\theta +x\right)-f\left(\theta \right),\\ \zeta \sigma \left(\mathbf{p}{\right)}^{\left(\theta \right)}\left(x\right)& =& \zeta \left(\theta +x\right)+\zeta \left(\theta \right)-2\stackrel{ˇ}{\zeta }\left(\theta \oplus x,\theta \right),\end{array}\end{array}$ (24)
where the additions in the arguments are modulo 1. This may be understood as follows : $\left(\zeta ,f\right)$  is the encoding of a labeled tree $T$  (that may be continuous) for which $\zeta$  is the contour process of the underlying tree $t$  , and $f$  is a labeling of the nodes of $t$  . $\left(\zeta \sigma \left(\mathbf{p}{\right)}^{\left(\theta \right)},f\sigma \left(\mathbf{p}{\right)}^{\left(\theta \right)}\right)$  is the encoding of a labeled tree ${T}^{\prime }$  which is obtained from $T$  as follows: reroot $T$  on the corner $\theta$  (that is visited at time $\theta$  using the contour order), and add $-f\left(\theta \right)$  to each label (this fixes the root label of ${T}^{\prime }$  to 0). We refer also to Aldous [1p.40 for this operation of rerooting. We are particularly interested by the rerooting on $I\left(f\right)=infArgminf$  , the first minimum of the label process :
 $\begin{array}{cccc}\Psi :& \mathbb{H}& \mathbb{⟶}& \left[0,1\right]×\mathbb{H}\end{array}$
 $\begin{array}{cccc}& \left(\zeta ,f\right)& ↦& \left(I\left(f\right),\left(\zeta \sigma \left(\mathbf{p}{\right)}^{+},f\sigma \left(\mathbf{p}{\right)}^{+}\right)\right):=\left(I\left(f\right),\left(\zeta \sigma \left(\mathbf{p}{\right)}^{\left(I\left(f\right)\right)},f\sigma \left(\mathbf{p}{\right)}^{I\left(f\right)}\right)\right).\end{array}$
The application $\Psi$  is invertible (note that, it would not be without the first coordinate $I\left(f\right)$  ). The pair $\left(e\sigma \left(\mathbf{p}{\right)}^{+},r\sigma \left(\mathbf{p}{\right)}^{+}\right)$  corresponding to the head of the Brownian snake $\left(e,r\right)$  under $\mathbb{N}\sigma \left(\mathbf{p}{\right)}^{\left(1\right)}$  will be called the head of the positive snake. We refer to Le Gall & Weill [18and Le Gall [17for properties of $\left(e\sigma \left(\mathbf{p}{\right)}^{+},r\sigma \left(\mathbf{p}{\right)}^{+}\right)$  and its occurrence as a limit of conditioned spatial trees.
Lemma 16 Under $\mathbb{N}\sigma \left(\mathbf{p}{\right)}^{\left(1\right)}$  , $I\left(r\right)$  is uniform on $\left[0,1\right]$  and independent of $\left(e\sigma \left(\mathbf{p}{\right)}^{+},r\sigma \left(\mathbf{p}{\right)}^{+}\right)$  .
Proof. First, according to Lemma 16 in [22(see also [18,[Prop.2.5), $#Argminr=1$  a.s.. The law of $\left(e,r\right)$  is preserved by rerooting (see [22) and $I\left(r\sigma \left(\mathbf{p}{\right)}^{\left(\theta \right)}\right)=I\left(r\right)-\theta mod1$  . Then $I\left(r\right)$  is uniform in [0,1]. Now, let us check the independence. Suppose that $r$  reaches its minimum once. For any $x\in \left[0,1\right)$  , $\Psi \left(e\sigma \left(\mathbf{p}{\right)}^{\left(x\right)},r\sigma \left(\mathbf{p}{\right)}^{\left(x\right)}\right)=\left(\theta -xmod1,\left(e\sigma \left(\mathbf{p}{\right)}^{+},r\sigma \left(\mathbf{p}{\right)}^{+}\right)\right)$  . Hence, in each class stable by rerooting, the positive representative $\left(e\sigma \left(\mathbf{p}{\right)}^{+},r\sigma \left(\mathbf{p}{\right)}^{+}\right)$  is independent of $I\left(r\right)$  . $\square$  Recall that in mobile a $\bullet$  -node is labeled as its father.
Proposition 7 Under $P\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},n}^{F}$  (resp. $P\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},n}^{S}$  ), the process $\Psi \left(\frac{\stackrel{^}{H}\sigma \left(\mathbf{p}{\right)}^{T}\left(2\left(|T|-1\right).\right)}{n\sigma \left(\mathbf{p}{\right)}^{1/2}},\frac{\stackrel{^}{R}\sigma \left(\mathbf{p}{\right)}^{T}\left(2\left(|T|-1\right).\right)}{n\sigma \left(\mathbf{p}{\right)}^{1/4}}\right)$  converges weakly to $\Psi \left(\frac{4}{\sqrt{\left({Z}_{\mathbf{q}}-1\right){\rho }_{\mathbf{q}}}}e,\left(\frac{4{\rho }_{\mathbf{q}}}{9\left({Z}_{\mathbf{q}}-1\right)}\right)\sigma \left(\mathbf{p}{\right)}^{1/4}r\right)\text{under}\mathbb{N}\sigma \left(\mathbf{p}{\right)}^{\left(1\right)}$  $\left(\mathit{r}\mathit{e}\mathit{s}\mathit{p}\mathit{.}\Psi \left(\frac{4}{\sqrt{{\rho }_{\mathbf{q}}}}e,\left(\frac{4{\rho }_{\mathbf{q}}}{9}\right)\sigma \left(\mathbf{p}{\right)}^{1/4}r\right)\text{under}\mathbb{N}\sigma \left(\mathbf{p}{\right)}^{\left(1\right)}\right).$
Proof. First, the weak convergence is a consequence of Corollary  4 and the fact that under $\mathbb{N}\sigma \left(\mathbf{p}{\right)}^{\left(1\right)}$  , the process $r$  reaches a.s. its minimum once. Indeed, the applications $Argmin$  and then $\Psi$  are continuous on the space of continuous functions that reach their minimum once, and so one may conclude using Billingsley [6,Theorem(5.2). $\square$  Since a $\bullet$  -node has the same labels as its father, it is clear that $I\left(\stackrel{^}{R}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}}\left(2\left(|\mathbf{t}|-1\right).\right)\right)$  is a real that encodes a $\circ$  -node. Hence, one may check that $I\left(\stackrel{^}{R}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}}\right)=notI\left(\stackrel{^}{R}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}}\left(2\left(|\mathbf{t}|-1\right).\right)\right)=\frac{\Theta \left(\mathbf{t}\right)}{2\left(|\mathbf{t}|-1\right)}$  , $\left(\stackrel{^}{H}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}}\left(2\left(|\mathbf{t}|-1\right).\right)\right)\sigma \left(\mathbf{p}{\right)}^{\left(I\left(\stackrel{^}{R}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}}\right)\right)}=\stackrel{^}{H}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\left(\Theta \right)}}\left(2\left(|\mathbf{t}|-1\right).\right)4\mathit{A}\mathit{S}\mathit{Y}\mathit{M}\mathit{P}\mathit{T}\mathit{O}\mathit{T}\mathit{I}\mathit{C}\mathit{S}\mathit{F}\mathit{O}\mathit{R}\mathit{M}\mathit{A}\mathit{P}\mathit{S}$  and that the processes $\left(\stackrel{^}{R}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}}\left(2\left(|\mathbf{t}|-1\right).\right)\right)\sigma \left(\mathbf{p}{\right)}^{\left(I\left(\stackrel{^}{R}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}}\right)\right)}+1$  and $\mathbf{R}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\left(\Theta \right)}}\left(\left(|\mathbf{t}|-1\right).\right)$  coincide on $\left\{0,\frac{1}{\left(|\mathbf{t}|-1\right)},\frac{2}{\left(|\mathbf{t}|-1\right)},...,\frac{\left(|\mathbf{t}|-1\right)}{\left(|\mathbf{t}|-1\right)}\right\}$  . Denote by $\mathbf{C}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\left(\Theta \right)}}$  the contour process of $\mathcal{D}$  . By Proposition  6 and  7 ,
Corollary 5 Under $P\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},n}^{F}$  (resp. $P\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},n}^{S}$  ), the process $\left(\frac{\Theta \left(T\right)}{2\left(|T|-1\right)},\frac{\stackrel{^}{H}\sigma \left(\mathbf{p}{\right)}^{T\sigma \left(\mathbf{p}{\right)}^{\left(\Theta \right)}}\left(2\left(|T|-1\right).\right)}{n\sigma \left(\mathbf{p}{\right)}^{1/2}},\frac{\mathbf{R}\sigma \left(\mathbf{p}{\right)}^{T\sigma \left(\mathbf{p}{\right)}^{\left(\Theta \right)}}\left(\left(|T|-1\right).\right)}{n\sigma \left(\mathbf{p}{\right)}^{1/4}}\right)$  has the same limit as $\Psi \left(\frac{\stackrel{^}{H}\sigma \left(\mathbf{p}{\right)}^{T}\left(2\left(|T|-1\right).\right)}{n\sigma \left(\mathbf{p}{\right)}^{1/2}},\frac{\stackrel{^}{R}\sigma \left(\mathbf{p}{\right)}^{T}\left(2\left(|T|-1\right).\right)}{n\sigma \left(\mathbf{p}{\right)}^{1/4}}\right)$  given in Proposition  7 .
For any $x\in \left[0,1\right]$  , set $\pi \left(x\right)=1-x$  . The process $\left(\frac{\stackrel{^}{H}\sigma \left(\mathbf{p}{\right)}^{T\sigma \left(\mathbf{p}{\right)}^{\left(\Theta \right)}}\left(2\left(|T|-1\right).\right)}{n\sigma \left(\mathbf{p}{\right)}^{1/2}},\frac{\mathbf{C}\sigma \left(\mathbf{p}{\right)}^{T\sigma \left(\mathbf{p}{\right)}^{\left(\Theta \right)}}\left(2\left(|T|-1\right).\right)}{n\sigma \left(\mathbf{p}{\right)}^{1/4}}\right)$  converges weakly to $\left(\frac{4}{\sqrt{\left({Z}_{\mathbf{q}}-1\right){\rho }_{\mathbf{q}}}}e\sigma \left(\mathbf{p}{\right)}^{+},\left(\frac{4{\rho }_{\mathbf{q}}}{9\left({Z}_{\mathbf{q}}-1\right)}\right)\sigma \left(\mathbf{p}{\right)}^{1/4}r\sigma \left(\mathbf{p}{\right)}^{+}\circ \pi \right)\text{under}\mathbb{N}\sigma \left(\mathbf{p}{\right)}^{\left(1\right)}$  $\left(\mathit{r}\mathit{e}\mathit{s}\mathit{p}\mathit{.}\left(\frac{4}{\sqrt{{\rho }_{\mathbf{q}}}}e\sigma \left(\mathbf{p}{\right)}^{+},\left(\frac{4{\rho }_{\mathbf{q}}}{9}\right)\sigma \left(\mathbf{p}{\right)}^{1/4}r\sigma \left(\mathbf{p}{\right)}^{+}\circ \pi \right)\text{under}\mathbb{N}\sigma \left(\mathbf{p}{\right)}^{\left(1\right)}\right).$
This is also a consequence of the general result, proven in [22, that asserts that if the space normalization is not trivial, the contour process and the height process have the same limit.
4 ASYMPTOTICS FOR MAPS

4.4.3 Abstract map and Brownian map

We saw that bipartite maps can be obtained with the help of two trees $\mathcal{G}$  and $\mathcal{D}$  thanks to a “gluing procedure”. The last theorem says that the codings of these trees converge. The idea now is to use the convergence of trees to define the convergence of maps. Some changes appear in the present paper as compared with [22 :
– Here the maps are rooted pointed instead of being only rooted.
– Here, the natural traversal for both trees is the clockwise traversal.
– Here $|\mathcal{D}|=|\mathcal{G}|$  instead of $|\mathcal{D}|=2|\mathcal{G}|$  .
– Here $|\mathcal{D}|$  and $|\mathcal{G}|$  are random (conditionally on $|\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\circ }|=n$  or $|\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\bullet }|=n$  ).
We recall now few points of the definitions of abstract maps and abstract trees. We modify them slightly in order to take into account the list of differences given above.
Abstract trees Consider $C\sigma \left(\mathbf{p}{\right)}^{+}\left[0,1\right]$  the set of continuous functions $g$  from $\left[0,1\right]$  to $\mathbb{R}\sigma \left(\mathbf{p}{\right)}^{+}$  that satisfy $g\left(0\right)=g\left(1\right)=0$  . For any $g\in C\sigma \left(\mathbf{p}{\right)}^{+}\left[0,1\right]$  , we introduce the equivalence relation in $\left[0,1\right]$  , $x\sim gy⟺g\left(x\right)=g\left(y\right)=\stackrel{ˇ}{g}\left(x,y\right),$  We denote by ${E}_{g}$  the quotient space ${E}_{g}=\left[0,1\right]/\sim g$  and we consider the canonical surjection ${F}_{g}$  from $\left[0,1\right]$  in ${E}_{g}$  : ${F}_{g}\left(x\right)=\left\{y,y\in \left[0,1\right],x\sim gy\right\}.$  For short, we write sometimes $\stackrel{˙}{x}$  instead of ${F}_{g}\left(x\right)$  and we say that $x$  is a representative of $\stackrel{˙}{x}$  .
Let $\mathcal{ℳ}$  be the set of finite measures on $\left[0,1\right]$  and for $\mu \in \mathcal{ℳ}$  set ${E}_{\mu }={F}_{g}\left(supp\left(\mu \right)\right),$  the image of the support of $\mu$  by ${F}_{g}$  . A pair $\left(g,\mu \right)\in C\sigma \left(\mathbf{p}{\right)}^{+}\left[0,1\right]×\mathcal{ℳ}$  is said to be a tree-encoding if it satisfies:
 $\begin{array}{c}{E}_{g}\sigma \left(\mathbf{p}{\right)}^{\left(T\right)}=def\left\{u\in {E}_{g},#{F}_{g}\sigma \left(\mathbf{p}{\right)}^{-1}\left(u\right)\ne 2\right\}\cup \left\{\stackrel{˙}{0}\right\}\subset {E}_{\mu }.\end{array}$ (25)
Let $\left(g,\mu \right)$  be a tree encoding. For any $\stackrel{˙}{x}$  and $\stackrel{˙}{y}$  in ${E}_{g}$  , set ${d}_{{E}_{g}}\left(\stackrel{˙}{x},\stackrel{˙}{y}\right)=g\left(x\right)+g\left(y\right)-2\stackrel{ˇ}{g}\left(x,y\right).$  It is not difficult to check that ${d}_{{E}_{g}}$  is a metric on ${E}_{g}$  .
Definition 2 Let $\left(g,\mu \right)$  be a tree encoding. The rooted tree $\mathcal{T}$  encoded by $\left(g,\mu \right)$  , we write $\mathcal{T}=Tree\left(g,\mu \right)$  , is the metric space $\mathcal{T}=\left({E}_{g},{d}_{{E}_{g}}\right)$  . The function ${F}_{g}$  is called the depth first traversal of $\mathcal{T}$  . The elements of ${E}_{g}$  are called points of $\mathcal{T}$  , the elements of ${E}_{\mu }$  are called nodes of $\mathcal{T}$  . The class ${F}_{g}\left(0\right)=\stackrel{˙}{0}$  is called the root-vertex of $\mathcal{T}$  . The set of corners of $\mathcal{T}$  is $\left[0,1\right)$  . The set of corners around a point $\stackrel{˙}{x}$  is ${F}_{\mathcal{T}}\sigma \left(\mathbf{p}{\right)}^{-1}\left(\stackrel{˙}{x}\right)\cap \left[0,1\right)$  . The corner 0 is the root-corner.
Set of trees We denote by $\Gamma$  the set of trees. Let ${d}_{\Gamma }:\Gamma \sigma \left(\mathbf{p}{\right)}^{2}\to \mathbb{R}\sigma \left(\mathbf{p}{\right)}^{+}$  be the application defined for $\left({\mathcal{T}}_{1},{\mathcal{T}}_{2}\right)=\left(Tree\left({g}_{1},{\mu }_{1}\right),Tree\left({g}_{2},{\mu }_{2}\right)\right)$  elements of $\Gamma \sigma \left(\mathbf{p}{\right)}^{2}$  by ${d}_{\Gamma }\left({\mathcal{T}}_{1},{\mathcal{T}}_{2}\right)=\parallel {g}_{1}-{g}_{2}{\parallel }_{\infty }+{d}_{\mathcal{ℳ}}\left({\mu }_{1},{\mu }_{2}\right)$  with $\parallel {g}_{1}-{g}_{2}{\parallel }_{\infty }=sup\left\{|{g}_{1}\left(x\right)-{g}_{2}\left(x\right)|,x\in \left[0,1\right]\right\}$  and ${d}_{\mathcal{ℳ}}\left({\mu }_{1},{\mu }_{2}\right)={sup}_{x\in \mathbb{R}}|{C}_{{\mu }_{1}}\left(x\right)-{C}_{{\mu }_{2}}\left(x\right)|$  where ${C}_{\mu }\left(.\right)=\mu \left(\left(-\infty ,.\right]$  is the repartition function of $\mu$  . The application ${d}_{\Gamma }$  is a metric on $\Gamma$  .
4 ASYMPTOTICS FOR MAPS Abstract maps
Definition 3 Let $\left(\mathcal{D},\mathcal{G}\right)=\left(Tree\left(f,{\mu }_{\mathcal{D}}\right),Tree\left(\zeta ,{\mu }_{\mathcal{G}}\right)\right)\in \Gamma \sigma \left(\mathbf{p}{\right)}^{2}$  and let $b$  be an application from ${E}_{{\mu }_{\mathcal{D}}}\\left\{\text{root-vertex}\right\}$  to the set of corners (i.e. $\left[0,1\right)$  ) of $\mathcal{G}$  . The 3-tuple $\left(\mathcal{D},\mathcal{G},b\right)$  is said to be admissible if the three following conditions are satisfied:
$\left(i\right)$  $b$  is an injection.
$\left(ii\right)$  $b$  is decreasing : if $u\preccurlyeq v$  in $\mathcal{D}$  , then $b\left(u\right)\ge b\left(v\right)$  in $\left[0,1\right)$  .
$\left(iii\right)$  If $u$  and $v$  are two nodes in $\mathcal{D}$  such that $b\left(u\right)\sim \zeta b\left(v\right)$  (that is $b\left(u\right)$  and $b\left(v\right)$  are corners of the same node in $\mathcal{G}$  ), then the depth of $u$  and the depth of $v$  in $\mathcal{D}$  are equal.
Let $\left(\mathcal{D},\mathcal{G},b\right)$  be $a$  -admissible. We define an equivalence relation: for $x,y\in {E}_{\mathcal{D}}$  , we say that
 $\begin{array}{c}x\sim My⇔\left(x=y\right)\text{or}\left(\left\{x,y\right\}\subset {E}_{{\mu }_{\mathcal{D}}}\\left\{\text{root-vertex}\right\}\text{and}b\left(x\right)\sim \zeta b\left(y\right)\right).\end{array}$ (26)
For $x\in {E}_{\mathcal{D}}$  we set $\stackrel{^}{x}=\left\{y\in {E}_{\mathcal{D}},y\sim Mx\right\}$  . A class $\stackrel{^}{x}$  is either a point of $\mathcal{D}$  , or the set of the nodes of $\mathcal{D}$  glued with $x$  (the node $x$  included), or the root of $\mathcal{D}$  .
Let $M$  be the set $M=\left\{\stackrel{^}{x},x\in {E}_{\mathcal{D}}\right\}.$
Definition 4 Let $x\in \left[0,1\right]$  . The space $\left(M,x\right)$  is called the rooted pointed map encoded by $\left(\mathcal{D},\mathcal{G},b\right)$  (rooted in the root at $\mathcal{D}$  , and marked at $x$  ). We denote this space by $M=\text{Map}\left(\mathcal{D},\mathcal{G},b\right)$  .
We denote by $\stackrel{\to }{\mathfrak{M}}$  the set of rooted pointed maps. We refer to [22for topological aspect of abstract maps.
Remark. For any $\stackrel{^}{u},\stackrel{^}{w}\in M$  and any $k>0$  , set $d\sigma \left(\mathbf{p}{\right)}^{\left(k\right)}\left(\stackrel{^}{u},\stackrel{^}{w}\right)=inf{\sum }_{i=0}\sigma \left(\mathbf{p}{\right)}^{k}{d}_{\mathcal{D}}\left({u}_{2i},{u}_{2i+1}\right),$  where the infimum is taken on the set $E=\left\{\left({u}_{0},...,{u}_{2k+1}\right)\in {E}_{\mathcal{D}}\sigma \left(\mathbf{p}{\right)}^{2k+2}\text{s.t.}{\stackrel{^}{u}}_{0}=\stackrel{^}{u},{\stackrel{^}{u}}_{2k+1}=\stackrel{^}{w},{\stackrel{^}{u}}_{2i+1}={\stackrel{^}{u}}_{2i+2}\right\}$  and where ${d}_{\mathcal{D}}$  is the metric in $\mathcal{D}$  . Each element $e\in E$  defines a path in the map : between ${\stackrel{^}{u}}_{2i}$  and ${\stackrel{^}{u}}_{2i+1}$  it is the image by $S$  of the geodesic between ${u}_{2i}$  and ${u}_{2i+1}$  in $\mathcal{D}$  .
Since ${u}_{2i+1}$  and ${u}_{2i+2}$  are glued to build $M$  , in the map, ${\stackrel{^}{u}}_{2i+1}={\stackrel{^}{u}}_{2i+2}$  .
The application ${d}_{M}:M\sigma \left(\mathbf{p}{\right)}^{2}\to \mathbb{R}\sigma \left(\mathbf{p}{\right)}^{+}$  defined for any $\stackrel{^}{u},\stackrel{^}{w}\in M$  by ${d}_{M}\left(\stackrel{^}{u},\stackrel{^}{v}\right)={inf}_{k\ge 0}d\sigma \left(\mathbf{p}{\right)}^{\left(k\right)}\left(\stackrel{^}{u},\stackrel{^}{v}\right),$  is a metric on $M$  . For discrete maps, this metric coincides with the graph distance.
This metric is called the ”quotient metric” in [5. It is somehow the maximal one compatible both with the metric on $\mathcal{D}$  and the fact that equivalent points of $\mathcal{D}$  should be at distance $0$  .
The metric space $\left(M,{d}_{M}\right)$  is therefore the simplest candidate for being the limit e.g. in the Gromov-Haussdorf sense of discrete maps seen as metric spaces. Unfortunately, proving (or recusing) this assertion would require a lot more information than only the geodesic distance from a fixed point in the map, and seems unreachable by our methods.
The set $\stackrel{\to }{\mathfrak{M}}$  of maps Consider the application ${d}_{\stackrel{\to }{\mathfrak{M}}}:\stackrel{\to }{\mathfrak{M}}\sigma \left(\mathbf{p}{\right)}^{2}\to \mathbb{R}\sigma \left(\mathbf{p}{\right)}^{+}$  defined by: ${d}_{\stackrel{\to }{\mathfrak{M}}}\left(\left({M}_{1},{x}_{1}\right),\left({M}_{2},{x}_{2}\right)\right)=|{x}_{1}-{x}_{2}|+{d}_{\Gamma }\left({\mathcal{D}}_{1},{\mathcal{D}}_{2}\right)+{d}_{\Gamma }\left({\mathcal{G}}_{1},{\mathcal{G}}_{2}\right)+\parallel {C}_{{\mu }_{{\mathcal{D}}_{1}}\circ {b}_{1}\sigma \left(\mathbf{p}{\right)}^{-1}}-{C}_{{\mu }_{{\mathcal{D}}_{2}}\circ {b}_{2}\sigma \left(\mathbf{p}{\right)}^{-1}}{\parallel }_{\infty },$  where for $i\in \left\{1,2\right\}$  , ${M}_{i}=\text{Map}\left({\mathcal{D}}_{i},{\mathcal{G}}_{i},{b}_{i}\right)=\text{Map}\left(Tree\left({f}_{i},{\mu }_{{\mathcal{D}}_{i}}\right),Tree\left({\zeta }_{i},{\mu }_{{\mathcal{G}}_{i}}\right),{b}_{i}\right),4\mathit{A}\mathit{S}\mathit{Y}\mathit{M}\mathit{P}\mathit{T}\mathit{O}\mathit{T}\mathit{I}\mathit{C}\mathit{S}\mathit{F}\mathit{O}\mathit{R}\mathit{M}\mathit{A}\mathit{P}\mathit{S}$  and where the function $x↦{C}_{{\mu }_{{\mathcal{D}}_{1}}\circ {b}_{1}\sigma \left(\mathbf{p}{\right)}^{-1}}\left(x\right)={\mu }_{{\mathcal{D}}_{1}}\left({b}_{1}\sigma \left(\mathbf{p}{\right)}^{-1}\left(-\infty ,x\right]\right)={\mu }_{{\mathcal{D}}_{1}}\left(\left\{y\in {E}_{{\mu }_{{\mathcal{D}}_{1}}},{b}_{1}\left(y\right)\in \left(-\infty ,x\right]\right\}\right)$  measures the amount of nodes of the doddering trees glued on the corners interval $\left(-\infty ,x\right]$  of the gluer tree ${\mathcal{G}}_{1}$  . The application ${d}_{\stackrel{\to }{\mathfrak{M}}}$  is a metric on $\stackrel{\to }{\mathfrak{M}}$  .
4 ASYMPTOTICS FOR MAPS

4.4.4 Normalized bipartite maps and abstract maps

We now represent normalized bipartite maps as abstract maps in the sense introduced above.
For this, we need two steps :
$1\right)$  We need to normalize the doddering tree and the gluer tree and endow these objects by a corner measure.
$2\right)$  Identity the gluing injection ${b}_{\mathbf{t}}$  that sends the nodes of the doddering tree in the set of corners of the gluer tree.
Let $\left(\mathbf{t},\ell \right)$  or simply $\mathbf{t}$  be a labeled mobile and set ${\mu }_{{\mathcal{G}}_{\mathbf{t}}}={\mu }_{{\mathcal{D}}_{\mathbf{t}}}=\frac{1}{2\left(|\mathbf{t}|-1\right)}{\sum }_{k=0}\sigma \left(\mathbf{p}{\right)}^{2\left(|\mathbf{t}|-1\right)-1}{\delta }_{k/\left(2\left(|\mathbf{t}|-1\right)\right)}$  .
We set ${\mathcal{G}}_{\mathbf{t}}\sigma \left(\mathbf{p}{\right)}^{n}=Tree\left(n\sigma \left(\mathbf{p}{\right)}^{-1/2}\stackrel{^}{H}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\left(\Theta \right)}}\left(2\left(|\mathbf{t}|-1\right).\right),{\mu }_{{\mathcal{G}}_{\mathbf{t}}}\right)\text{and}{\mathcal{D}}_{\mathbf{t}}\sigma \left(\mathbf{p}{\right)}^{n}=Tree\left(n\sigma \left(\mathbf{p}{\right)}^{-1/4}\mathbf{C}\sigma \left(\mathbf{p}{\right)}^{\mathbf{t}\sigma \left(\mathbf{p}{\right)}^{\left(\Theta \right)}}\left(2\left(|\mathbf{t}|-1\right).\right),{\mu }_{{\mathcal{D}}_{\mathbf{t}}}\right).$  The application ${b}_{\mathbf{t}}$  is the application sending the $k$  th node of ${\mathcal{D}}_{\mathbf{t}}$  on the $2\left(|\mathbf{t}|-k\right)$  th corner of ${\mathcal{G}}_{\mathbf{t}}$  . Consider ${M}_{\mathbf{t}}\sigma \left(\mathbf{p}{\right)}^{n}=\text{Map}\left({\mathcal{G}}_{\mathbf{t}}\sigma \left(\mathbf{p}{\right)}^{n},{\mathcal{D}}_{\mathbf{t}}\sigma \left(\mathbf{p}{\right)}^{n},{b}_{\mathbf{t}}\right)$  marked at ${U}_{\mathbf{t}}=X\left(\Theta \left(\mathbf{t}\right)\right)/\left(2\left(|\mathbf{t}|-1\right)\right)$  (to mark the corner visited at time ${U}_{\mathbf{t}}$  in the normalized doddering tree or to marked the root is equivalent and). The rooted pointed ${\stackrel{\to }{M}}_{\mathbf{t}}\sigma \left(\mathbf{p}{\right)}^{n}:=\left({M}_{\mathbf{t}}\sigma \left(\mathbf{p}{\right)}^{n},{U}_{\mathbf{t}}\right)$  is called the normalized bipartite map.
4 ASYMPTOTICS FOR MAPS

4.4.5 Rooted pointed Brownian map

Consider $\left(e\sigma \left(\mathbf{p}{\right)}^{+},r\sigma \left(\mathbf{p}{\right)}^{+}\right)$  the head of the positive snake. Let ${\mu }_{{\mathcal{G}}_{\infty }}={\mu }_{{\mathcal{D}}_{\infty }}=Leb\sigma \left(\mathbf{p}{\right)}^{\left[0,1\right]}$  and for $c>0$  , set ${\mathcal{G}}_{\infty }\sigma \left(\mathbf{p}{\right)}^{c}=Tree\left(ce\sigma \left(\mathbf{p}{\right)}^{+},{\mu }_{{\mathcal{G}}_{\infty }}\right)\text{and}{\mathcal{D}}_{\infty }\sigma \left(\mathbf{p}{\right)}^{c}=Tree\left(cr\sigma \left(\mathbf{p}{\right)}^{+}\left(1-.\right),{\mu }_{{\mathcal{D}}_{\infty }}\right).$  The application $b$  is defined for any $x\in \left[0,1\right]$  by $b\left(x\right)=1-x$  . Consider $U$  a random variable independent of $\left(e\sigma \left(\mathbf{p}{\right)}^{+},r\sigma \left(\mathbf{p}{\right)}^{+}\right)$  . We set ${M}_{\infty }\left({c}_{1},{c}_{2}\right)=\text{Map}\left({\mathcal{G}}_{\infty }\sigma \left(\mathbf{p}{\right)}^{{c}_{1}},{\mathcal{D}}_{\infty }\sigma \left(\mathbf{p}{\right)}^{{c}_{2}},b\right)$  and consider the element ${\stackrel{\to }{M}}_{\infty }=\left({M}_{\infty }\left({c}_{1},{c}_{2}\right),U\right)\in \stackrel{\to }{\mathfrak{M}}$  , which we call the rooted pointed Brownian map.
4 ASYMPTOTICS FOR MAPS

4.4.6 Convergence to the Brownian map

Theorem 7 (i) Under $P\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},n}^{F}$  , the sequence ${\stackrel{\to }{M}}_{T}\sigma \left(\mathbf{p}{\right)}^{n}$  converges weakly to ${\stackrel{\to }{M}}_{\infty }\left(\frac{4}{\sqrt{\left({Z}_{\mathbf{q}}-1\right){\rho }_{\mathbf{q}}}},\left(\frac{4{\rho }_{\mathbf{q}}}{9\left({Z}_{\mathbf{q}}-1\right)}\right)\sigma \left(\mathbf{p}{\right)}^{1/4}\right)\text{in}\left(\stackrel{\to }{\mathfrak{M}},{d}_{\stackrel{\to }{\mathfrak{M}}}\right)$  (ii) Under $P\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},n}^{S}$  , the sequence ${\stackrel{\to }{M}}_{T}\sigma \left(\mathbf{p}{\right)}^{n}$  converges weakly to ${\stackrel{\to }{M}}_{\infty }\left(\frac{4}{\sqrt{{\rho }_{\mathbf{q}}}},\left(\frac{4{\rho }_{\mathbf{q}}}{9}\right)\sigma \left(\mathbf{p}{\right)}^{1/4}\right)\text{in}\left(\stackrel{\to }{\mathfrak{M}},{d}_{\stackrel{\to }{\mathfrak{M}}}\right)$
Proof : By Lemma  16 the marked point is asymptotically uniform and independent of the rerooted snake. As in [22, under $P\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},n}^{F}$  or $P\sigma \left(\mathbf{p}{\right)}_{\mathbf{q},n}^{S}$  , the function ${C}_{{\mu }_{{\mathcal{D}}_{T}}}\circ {b}_{T}\sigma \left(\mathbf{p}{\right)}^{-1}$  converges weakly in $C\left(\mathbb{R}\right)$  to ${C}_{Leb\sigma \left(\mathbf{p}{\right)}^{\left[0,1\right]}}$  . According to the definition of ${d}_{\stackrel{\to }{\mathfrak{M}}}$  , the Corollary  5 suffices to conclude. $\square$  Appendix Proof of Proposition  1 . We prove only the statement for the height process, which is more irregular than the contour process. Indeed, if $\phi \left(k\right)$  and $\phi \left(l\right)$  are the rank in depth-first order of the vertices $F\left(k\right),F\left(l\right)$  visited in rank $k,l$  in contour order, then $|\phi \left(k\right)-\phi \left(l\right)|\le |k-l|$  . Now, if the conclusion of the proposition holds for $H$  , from $|{\stackrel{^}{H}}_{k}-{\stackrel{^}{H}}_{l}|=|{H}_{\phi \left(k\right)}-{H}_{\phi \left(l\right)}|$  , it will also hold for $\stackrel{^}{H}$  .
Recall e.g. from [11that if we let $S\sigma \left(\mathbf{p}{\right)}_{n}^{\mathbf{f}}={\sum }_{k=1}\sigma \left(\mathbf{p}{\right)}^{n}\left({c}_{\mathbf{f}}\left(u\left(k\right)\right)-1\right),n\ge 0$  be the Łukaciewicz walk associated with the forest $\mathbf{f}$  , then the height process of $\mathbf{f}$  is given by
 $\begin{array}{c}H\sigma \left(\mathbf{p}{\right)}_{n}^{\mathbf{f}}=#\left\{k\in \left\{0,1,\dots ,n-1\right\}:S\sigma \left(\mathbf{p}{\right)}_{k}^{\mathbf{f}}={min}_{k\le l\le n}S\sigma \left(\mathbf{p}{\right)}_{l}^{\mathbf{f}}\right\}.\end{array}$ (27)
Under $P\sigma \left(\mathbf{p}{\right)}_{\infty }^{\mu }$  , $S\sigma \left(\mathbf{p}{\right)}^{\mathcal{ℱ}}$  is a random walk on $\mathbb{Z}$  with centered step distribution $\mu \left(\cdot +1\right)$  on $\left\{-1,0,1,2,\dots \right\}$  , and thanks to the time reversal property $\left(\stackrel{^}{S}\sigma \left(\mathbf{p}{\right)}_{k}^{\left(n\right)}={S}_{n}-{S}_{n-k},0\le k\le n\right)=d\left({S}_{k},0\le k\le n\right),$  we have $H\sigma \left(\mathbf{p}{\right)}_{n}^{\mathcal{ℱ}}=d#\left\{k\in \left\{1,2,\dots ,n\right\}:{S}_{k}\sigma \left(\mathbf{p}{\right)}^{\mathcal{ℱ}}={max}_{0\le l\le k}S\sigma \left(\mathbf{p}{\right)}_{l}^{\mathcal{ℱ}}\right\},$  which is the number of (weak) records of $S$  until time $n$  .
Now, suppose $0\le s  are such that $ns,nt\in {\mathbb{Z}}_{+}$  . Write $\lambda \left(x\right)=max\left\{l\in \left[0,ns\right]:S\sigma \left(\mathbf{p}{\right)}_{l}^{\mathcal{ℱ}}\le x\right\}$  . Using ( 27 ), we have
 $\begin{array}{c}H\sigma \left(\mathbf{p}{\right)}_{nt}^{\mathcal{ℱ}}-H\sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}}=#\left\{k\in \left[ns,nt\right):S\sigma \left(\mathbf{p}{\right)}_{k}^{\mathcal{ℱ}}={min}_{k\le l\le nt}S\sigma \left(\mathbf{p}{\right)}_{l}^{\mathcal{ℱ}}\right\}-#\left\{\lambda \left({min}_{ns\le l\le nt}S\sigma \left(\mathbf{p}{\right)}_{l}^{\mathcal{ℱ}}\right) (28)
and the rest of the proof will consist in estimating the moments of the two terms above, which correspond to the lengths of the branches of $\mathcal{ℱ}$  from $u\left(ns\right),u\left(nt\right)$  down to their highest common ancestor. Thanks to the time-reversal property mentioned above, the first term is equal in distribution to ${G}_{n\left(t-s\right)}=#\left\{1\le k\le n\left(t-s\right):S\sigma \left(\mathbf{p}{\right)}_{k}^{\mathcal{ℱ}}={max}_{0\le l\le k}S\sigma \left(\mathbf{p}{\right)}_{l}^{\mathcal{ℱ}}\right\},$  the number of (weak) records before $n\left(t-s\right)$  .
Let ${M}_{n}={max}_{0\le k\le n}S\sigma \left(\mathbf{p}{\right)}_{k}^{\mathcal{ℱ}}$  . Let ${\tau }_{0}=0$  , and ${\tau }_{i},i\ge 1$  be the $i$  -th record time, i.e. the $i$  -th time $\tau \ge 1$  such that $S\sigma \left(\mathbf{p}{\right)}_{\tau }^{\mathcal{ℱ}}={M}_{\tau }$  . Then it is easy and well-known that $\left({\tau }_{i}-{\tau }_{i-1},i\ge 1\right)$  form a sequence of i.i.d. random variables. Moreover, since $S\sigma \left(\mathbf{p}{\right)}^{\mathcal{ℱ}}$  is centered and its increments have finite second moment under $P\sigma \left(\mathbf{p}{\right)}_{\infty }^{\mu }$  , it is a consequence of the proof of [12,XII,7Theorem1aand the discussion before that the Laplace exponent $\phi \left(s\right)=-logE\sigma \left(\mathbf{p}{\right)}_{\infty }^{\mu }\left[exp\left(-s{\tau }_{1}\right)\right]\sim Cs\sigma \left(\mathbf{p}{\right)}^{1/2}$  as $s\to 0$  for some $C>0$  (Feller considers the case of strict ladder epochs, but the treatment of weak ones is similar). Now, for any $p>1$  , and integer $u$  , 4 ASYMPTOTICS FOR MAPS
 $\begin{array}{ccc}E\sigma \left(\mathbf{p}{\right)}_{\infty }^{\mu }\left[G\sigma \left(\mathbf{p}{\right)}_{u}^{p}\right]& =& p{\int }_{0}\sigma \left(\mathbf{p}{\right)}^{\infty }x\sigma \left(\mathbf{p}{\right)}^{p-1}P\sigma \left(\mathbf{p}{\right)}_{\infty }^{\mu }\left({G}_{u}\ge x\right)dx\end{array}$
 $\begin{array}{ccc}& =& p{\int }_{0}\sigma \left(\mathbf{p}{\right)}^{\infty }x\sigma \left(\mathbf{p}{\right)}^{p-1}P\sigma \left(\mathbf{p}{\right)}_{\infty }^{\mu }\left({\sum }_{i=1}\sigma \left(\mathbf{p}{\right)}^{x}\left({\tau }_{i}-{\tau }_{i-1}\right)\le u\right)dx\end{array}$
 $\begin{array}{ccc}& \le & pe{\int }_{0}\sigma \left(\mathbf{p}{\right)}^{\infty }x\sigma \left(\mathbf{p}{\right)}^{p-1}E\sigma \left(\mathbf{p}{\right)}_{\infty }^{\mu }\left[exp\left(-{\sum }_{i=1}\sigma \left(\mathbf{p}{\right)}^{x}\frac{{\tau }_{i}-{\tau }_{i-1}}{u}\right)\right]dx\le {C}^{\prime }\phi \left(u\sigma \left(\mathbf{p}{\right)}^{-1}\right)\sigma \left(\mathbf{p}{\right)}^{-p}\le {C}^{\prime \prime }u\sigma \left(\mathbf{p}{\right)}^{p/2},\end{array}$
for some ${C}^{\prime },{C}^{\prime \prime }>0$  and every $u$  large enough. Therefore, the same kind of bound, with possibly larger ${C}^{\prime \prime }$  , holds for every $u\ge 1$  , and since $ns,nt$  are distinct integers, we showed that $E\left[{G}_{n\left(t-s\right)}\sigma \left(\mathbf{p}{\right)}^{p}\right]\le {C}_{1}n\sigma \left(\mathbf{p}{\right)}^{p/2}|s-t|\sigma \left(\mathbf{p}{\right)}^{p/2}$  uniformly in such $n,s,t$  , where ${C}_{1}={C}_{1}\left(\mu ,p\right)>0$  .
Let us now handle the second term in ( 28 ). Using time-reversal, we see that this equals $#\left\{n\left(t-s\right)  in distribution, where $\kappa \left(x\right)=max\left\{k:S\sigma \left(\mathbf{p}{\right)}_{k}^{\mathcal{ℱ}}  (with the convention $max\mathbb{\varnothing }=0$  ). By using Markov’s property at time $n\left(t-s\right)$  , this has same distribution as ${G}_{ns\wedge \kappa \left({\stackrel{~}{M}}_{n\left(t-s\right)}-{\stackrel{~}{S}}_{n\left(t-s\right)}\right)}$  , where $G$  is defined as above, while $\stackrel{~}{S}$  is an independent copy of $S\sigma \left(\mathbf{p}{\right)}^{\mathcal{ℱ}}$  with maximum process $\stackrel{~}{M}$  .
By monotonicity of $G$  this is less than ${G}_{{\kappa }^{\prime }\left({\stackrel{~}{M}}_{n\left(t-s\right)}-{\stackrel{~}{S}}_{n\left(t-s\right)}\right)}$  where ${\kappa }^{\prime }\left(x\right)=min\left\{k:S\sigma \left(\mathbf{p}{\right)}_{k}^{\mathcal{ℱ}}\ge x\right\}$  .
Let us prove that $E\sigma \left(\mathbf{p}{\right)}_{\infty }^{\mu }\left[{G}_{{\kappa }^{\prime }\left(x\right)}\sigma \left(\mathbf{p}{\right)}^{p}\right]\le Cx\sigma \left(\mathbf{p}{\right)}^{p}$  for every $x\ge 0$  , for some $C>0$  . To this end, notice that
 $\begin{array}{c}{M}_{n\left(t-s\right)}={\sum }_{i=1}\sigma \left(\mathbf{p}{\right)}^{{G}_{n\left(t-s\right)}}\left(S\sigma \left(\mathbf{p}{\right)}_{{\tau }_{i}}^{\mathcal{ℱ}}-S\sigma \left(\mathbf{p}{\right)}_{{\tau }_{i-1}}^{\mathcal{ℱ}}\right),\end{array}$ (29)
and it is a classical result of fluctuation theory that the variables $S\sigma \left(\mathbf{p}{\right)}_{{\tau }_{i}}^{\mathcal{ℱ}}-S\sigma \left(\mathbf{p}{\right)}_{{\tau }_{i-1}}^{\mathcal{ℱ}}$  are independent with common distribution $P\sigma \left(\mathbf{p}{\right)}_{\infty }^{\mu }\left(S\sigma \left(\mathbf{p}{\right)}_{{\tau }_{1}}^{\mathcal{ℱ}}=i\right)=\mu \left(\left[i+1,\infty \right)\right),i\ge 0$  , so their mean is $\sigma \sigma \left(\mathbf{p}{\right)}^{2}/2$  , where $\sigma \sigma \left(\mathbf{p}{\right)}^{2}$  is the variance of $\mu$  , and notice that these variables have small exponential moments. Now, the usual large deviations theorem shows that for some $a,N>0$  and for every $n\ge N$  ,
 $\begin{array}{c}P\sigma \left(\mathbf{p}{\right)}_{\infty }^{\mu }\left(\frac{{\sum }_{i=1}\sigma \left(\mathbf{p}{\right)}^{n}\left(S\sigma \left(\mathbf{p}{\right)}_{{\tau }_{i}}^{\mathcal{ℱ}}-S\sigma \left(\mathbf{p}{\right)}_{{\tau }_{i-1}}^{\mathcal{ℱ}}\right)}{n}<\frac{\sigma \sigma \left(\mathbf{p}{\right)}^{2}}{4}\right)\le exp\left(-an\right).\end{array}$ (30)
Now, using ( 29 ) in the second equality, 4 ASYMPTOTICS FOR MAPS
 $\begin{array}{ccc}E\sigma \left(\mathbf{p}{\right)}_{\infty }^{\mu }\left[{G}_{{\kappa }^{\prime }\left(x\right)}\sigma \left(\mathbf{p}{\right)}^{p}\right]& =& p{\int }_{0}\sigma \left(\mathbf{p}{\right)}^{\infty }u\sigma \left(\mathbf{p}{\right)}^{p-1}P\sigma \left(\mathbf{p}{\right)}_{\infty }^{\mu }\left({G}_{{\kappa }^{\prime }\left(x\right)}>u\right)du\end{array}$
 $\begin{array}{ccc}& =& p{\int }_{0}\sigma \left(\mathbf{p}{\right)}^{\infty }u\sigma \left(\mathbf{p}{\right)}^{p-1}P\sigma \left(\mathbf{p}{\right)}_{\infty }^{\mu }\left({\sum }_{i=1}\sigma \left(\mathbf{p}{\right)}^{⌈u⌉}\left(S\sigma \left(\mathbf{p}{\right)}_{{\tau }_{i}}^{\mathcal{ℱ}}-S\sigma \left(\mathbf{p}{\right)}_{{\tau }_{i-1}}^{\mathcal{ℱ}}\right)
 $\begin{array}{ccc}& =& px\sigma \left(\mathbf{p}{\right)}^{p}{\int }_{0}\sigma \left(\mathbf{p}{\right)}^{\infty }v\sigma \left(\mathbf{p}{\right)}^{p-1}P\sigma \left(\mathbf{p}{\right)}_{\infty }^{\mu }\left({\sum }_{i=1}\sigma \left(\mathbf{p}{\right)}^{⌈xv⌉}\left(S\sigma \left(\mathbf{p}{\right)}_{{\tau }_{i}}^{\mathcal{ℱ}}-S\sigma \left(\mathbf{p}{\right)}_{{\tau }_{i-1}}^{\mathcal{ℱ}}\right)<\frac{xv}{v}\right)dv\end{array}$
 $\begin{array}{ccc}& \le & px\sigma \left(\mathbf{p}{\right)}^{p}\left({\int }_{0}\sigma \left(\mathbf{p}{\right)}^{4\sigma \sigma \left(\mathbf{p}{\right)}^{-2}}v\sigma \left(\mathbf{p}{\right)}^{p-1}dv+{\int }_{4\sigma \sigma \left(\mathbf{p}{\right)}^{-2}}\sigma \left(\mathbf{p}{\right)}^{\infty }v\sigma \left(\mathbf{p}{\right)}^{p-1}P\sigma \left(\mathbf{p}{\right)}_{\infty }^{\mu }\left({\sum }_{i=1}\sigma \left(\mathbf{p}{\right)}^{⌈xv⌉}\left(S\sigma \left(\mathbf{p}{\right)}_{{\tau }_{i}}^{\mathcal{ℱ}}-S\sigma \left(\mathbf{p}{\right)}_{{\tau }_{i-1}}^{\mathcal{ℱ}}\right)<\frac{\sigma \sigma \left(\mathbf{p}{\right)}^{2}xv}{4}\right)dv\right).\end{array}$
Now, as soon as $x$  is large enough, i.e. $4x\sigma \sigma \left(\mathbf{p}{\right)}^{-2}\ge N$  , where $N$  is defined before ( 30 ), the probability in the second integral is bounded by $exp\left(-axv\right)\le exp\left(-v\right)$  if we further ask $x>a\sigma \left(\mathbf{p}{\right)}^{-1}$  . Thus the wanted bound on $E\sigma \left(\mathbf{p}{\right)}_{\infty }^{\mu }\left[{G}_{{\kappa }^{\prime }\left(x\right)}\sigma \left(\mathbf{p}{\right)}^{p}\right]$  . By the independence of $\stackrel{~}{S}$  , we conclude that 4 ASYMPTOTICS FOR MAPS
 $\begin{array}{ccc}E\sigma \left(\mathbf{p}{\right)}_{\infty }^{\mu }\left[\left({G}_{{\kappa }^{\prime }\left({\stackrel{~}{M}}_{n\left(t-s\right)}-{\stackrel{~}{S}}_{n\left(t-s\right)}\right)}\right)\sigma \left(\mathbf{p}{\right)}^{p}\right]& \le & CE\sigma \left(\mathbf{p}{\right)}_{\infty }^{\mu }\left[\left({M}_{n\left(t-s\right)}-S\sigma \left(\mathbf{p}{\right)}_{n\left(t-s\right)}^{\mathcal{ℱ}}\right)\sigma \left(\mathbf{p}{\right)}^{p}\right]\end{array}$ (31)
 $\begin{array}{ccc}& \le & 2\sigma \left(\mathbf{p}{\right)}^{p-1}C\left(1+\left(\frac{p}{p-1}\right)\sigma \left(\mathbf{p}{\right)}^{p}\right)E\sigma \left(\mathbf{p}{\right)}_{\infty }^{\mu }\left[\left(S\sigma \left(\mathbf{p}{\right)}_{n\left(t-s\right)}^{\mathcal{ℱ}}\right)\sigma \left(\mathbf{p}{\right)}^{p}\right],\end{array}$
where we used Doob’s inequality $E\sigma \left(\mathbf{p}{\right)}_{\infty }^{\mu }\left[{M}_{n\left(t-s\right)}\sigma \left(\mathbf{p}{\right)}^{p}\right]\le \left(p/\left(p-1\right)\right)\sigma \left(\mathbf{p}{\right)}^{p}E\sigma \left(\mathbf{p}{\right)}_{\infty }^{\mu }\left[\left(S\sigma \left(\mathbf{p}{\right)}_{n\left(t-s\right)}^{\mathcal{ℱ}}\right)\sigma \left(\mathbf{p}{\right)}^{p}\right]$  , since $S\sigma \left(\mathbf{p}{\right)}^{\mathcal{ℱ}}$  is centered. Now we use the following consequence of Rosenthal’s inequality [24: if ${X}_{1},\dots ,{X}_{n}$  are independent centered random variables (not necessarily identically distributed), then for every $p\ge 2$  there exists $C\left(p\right)$  such that
 $\begin{array}{c}\mathbb{E}\left[|{X}_{1}+\dots +{X}_{n}|\sigma \left(\mathbf{p}{\right)}^{p}\right]\le C\left(p\right)n\sigma \left(\mathbf{p}{\right)}^{p/2-1}{\sum }_{i=1}\sigma \left(\mathbf{p}{\right)}^{n}\mathbb{E}\left[|{X}_{i}|\sigma \left(\mathbf{p}{\right)}^{p}\right].\end{array}$ (32)
This shows that $E\sigma \left(\mathbf{p}{\right)}_{\infty }^{\mu }\left[\left(S\sigma \left(\mathbf{p}{\right)}_{n\left(t-s\right)}^{\mathcal{ℱ}}\right)\sigma \left(\mathbf{p}{\right)}^{p}\right]\le {C}^{\prime }\left(p\right)n\sigma \left(\mathbf{p}{\right)}^{p/2}|s-t|\sigma \left(\mathbf{p}{\right)}^{p/2}$  for some ${C}^{\prime }\left(p\right)>0$  , for every $s,t$  such that $ns,nt\in {\mathbb{Z}}_{+}$  , and therefore the same kind of upper bound holds for the quantity in ( 31 ).
Putting things together, we have obtained that for every $p\ge 2$  and some ${C}_{2}={C}_{2}\left(\mu ,p\right)>0$  , ${sup}_{n\ge 1}{sup}_{s,t\ge 0,ns,nt\in {\mathbb{Z}}_{+}}E\sigma \left(\mathbf{p}{\right)}_{\infty }^{\mu }\left[|\frac{H\sigma \left(\mathbf{p}{\right)}_{ns}^{\mathcal{ℱ}}-H\sigma \left(\mathbf{p}{\right)}_{nt}^{\mathcal{ℱ}}}{\sqrt{n}}|\sigma \left(\mathbf{p}{\right)}^{p}\right]\le {C}_{2}|s-t|\sigma \left(\mathbf{p}{\right)}^{p/2}.$  Since $H\sigma \left(\mathbf{p}{\right)}^{\mathcal{ℱ}}$  is defined by linear interpolation between integer abscissa, it is elementary that a similar estimate holds when taking the supremum over all $s,t\ge 0$  , up to taking a larger ${C}_{2}$  .
The proof of the usual Kolmogorov’s continuity theorem (see e.g. [27) entails the result. $\square$  Proof of Lemma  2 . This result follows an approach taken in [20, using again the Łukaciewicz walk, and can be found in [16. We therefore only sketch details. We bound the probability under consideration by $\left[An\right]{max}_{0\le k\le An}P\sigma \left(\mathbf{p}{\right)}_{\infty }^{\mu }\left(|u\left(k\right)|\ge n\sigma \left(\mathbf{p}{\right)}^{1/2+\eta }\right)$  , then use the fact that $|u\left(k\right)|$  is equal in law to ${G}_{k}$  , the number of weak records introduced above. Then, using ( 29 ) and a moderate deviation theorem allows to bound ${max}_{0\le k\le n}P\sigma \left(\mathbf{p}{\right)}_{\infty }^{\mu }\left(|{M}_{k}-\sigma \sigma \left(\mathbf{p}{\right)}^{2}{G}_{k}/2|>n\sigma \left(\mathbf{p}{\right)}^{1/2+\eta /2}\right)\le exp\left(-n\sigma \left(\mathbf{p}{\right)}^{\varepsilon }\right)$  for some $\varepsilon >0$  and $n$  large, so it suffices to show that ${max}_{0\le k\le n}P\sigma \left(\mathbf{p}{\right)}_{\infty }^{\mu }\left({M}_{k}\ge n\sigma \left(\mathbf{p}{\right)}^{1/2+\eta }\right)\le exp\left(-n\sigma \left(\mathbf{p}{\right)}^{\varepsilon }\right)$  for some $\varepsilon >0$  and $n$  large, and this is easy by a standard maximal inequality and applying the proof of the standard large deviations theorem. $\square$  Proof of Lemma  3 . By the Otter-Dwass formula, the probability that a forest with $r$  roots has $N$  individuals is given by $rP\left({S}_{N}=N-r\right)/N$  , where $S$  is a random walk with step distribution equal to the offspring distribution of the GW process. Now, letting $r=n\sigma \left(\mathbf{p}{\right)}^{1/2+\eta }$  , REFERENCES
 $\begin{array}{ccc}P\sigma \left(\mathbf{p}{\right)}_{\left[n\sigma \left(\mathbf{p}{\right)}^{1/2+\eta }\right]}^{\mu }\left(|\mathcal{ℱ}|
 $\begin{array}{ccc}& \le & An{max}_{1\le i\le An}P\left({S}_{i}-i=-n\sigma \left(\mathbf{p}{\right)}^{1/2+\eta }\right),\end{array}$
the lemma is deduced thanks to a classical moderate deviations estimate, using the fact that $\mu$  has small exponential moments. $\square$  References

1. D. Aldous, (1991) The continuum random tree. II: An overview., Stochastic analysis, Proc. Symp., Durham/UK 1990, Lond. Math. Soc. Lect. Note Ser. 167, 23-70.
2. D. Aldous, (1991), The continuum random tree. III., Ann. Probab. 21, No.1, 248-289.
3. O. Angel & O. Schramm, (2003) Uniform infinite planar triangulations, Comm. Math. Phys., vol. 241, No. 2-3, 191–213.
4. O. Angel, (2003) Growth and percolation on the uniform infinite planar triangulation, Geom. Funct. Anal., Vol. 13, No. 5, 935–974.
5. D. Burago, Y. Burago, Yuri & S. Ivanov, (2001) A course in metric geometry, Graduate Studies in Math., 33, Am. Math. Soc., Providence, RI.
6. P. Billingsley, (1968) Convergence of probability measures, New York-London-Sydney-Toronto: Wiley and Sons.
7. J. Bouttier, P. Di Francesco & E. Guitter, (2004) Planar maps as labeled mobiles, Elec. Journ. Comb. 11 , #R 69.
8. P. Chassaing & B. Durhuus, (2003) Statistical Hausdorff dimension of labeled trees and quadrangulations, arXiv: math.PR/0311532.
9. P. Chassaing & G. Schaeffer, (2004) Random planar lattices and integrated superBrownian excursion., Prob. Theory Rel. Fields., Vol. 128, No. 2, 161 212.
10. R. Cori & B. Vauquelin, (1981) Planar maps are well labeled trees. Canad. J. Math. 33(5), 1023-1042.
11. T. Duquesne & J.-F. Le Gall, (2002) Random trees, Levy processes and spatial branching processes, Astérisque 281.
12. W. Feller, (1971) An introduction to probability theory and its applications, Volume II, 2nd edition, Wiley.
13. B. Gittenberger, (2003) A note on “State spaces of the snake and its tour – Convergence of the discrete snake” by J.-F. Marckert and A. Mokkadem. J. Theo. Probab. 16, No. 4, 1063-1067.
14. S. Janson & J.F. Marckert, (2003) Convergence of discrete snake., To appear in J. Theor. Probab.
15. REFERENCES T. Kurtz, R. Lyons, R. Pemantle & Y. Peres, (1994) A conceptual proof of the Kesten Stigum Theorem for mutlitype branching processes. Classical and modern branching processes (Minneapolis, MN), IMA Vol. Math. Appl 84, 181–185, Springer, New York
16. J.-F. Le Gall, (2004) Arbres aléatoires et applications. Cours de DEA. Available via http://www.dma.ens.fr.
17. J.-F. Le Gall, (2005) An invariance principle for conditioned trees arXiv: math.PR/0503263.
18. J.-F. Le Gall & M. Weill, (2005) Conditioned Brownian trees. arXiv: math.PR/0501066.
19. J.-F. Marckert & A. Mokkadem, (2003) The depth first processes of Galton-Watson trees converge to the same Brownian excursion, Ann. Probab. Vol. 31, No. 3.
20. J.-F. Marckert & A. Mokkadem, (2003) Ladder variables, Internal structure of Galton-Watson trees and Finite branching random walks, J. of App. Probab. Vol. 40, No. 3.
21. J.-F. Marckert & A. Mokkadem, (2003) States spaces of the snake and of its tour – Convergence of the discrete snake, J. Theor. Probab. 16, No.4, 1015-1046.
22. J.-F. Marckert & A. Mokkadem, (2003) Limit of Normalized Quadrangulations : the Brownian map, arxiv: math.PR/0403398.
23. G. Miermont, (2005) The limiting genealogy of critical multitype Galton-Watson trees, in preparation.
24. V.V. Petrov, (1995) Limit theorems of probability theory. Sequences of independent random variables, Oxford Studies in Probab. 4.
25. J. Pitman, (2002) Combinatorial Stochastic Processes, Lecture Notes for St-Flour Summer School. Available via www.stat.berkeley.edu/ $\sim$  pitman
26. S.C. Port, (1994) Theoretical probability for applications,Wiley.
27. D. Revuz & M. Yor, (1999) Continuous martingales and Brownian motion, Springer.
28. G. Schaeffer, (1998) Conjugaison d’arbres et cartes combinatoires aléatoires., PhD Thesis, Université Bordeaux I.