Quenched local convergence of Boltzmann planar maps

Stephenson~(2018) established annealed local convergence of Boltzmann planar maps conditioned to be large. The present work uses results on rerooted multi-type branching trees to prove a quenched version of this limit.


Introduction
A planar map M is a connected planar graph, possibly with loops and multiple edges, together with an embedding into the plane. Usually one edge is directed and distinguished as the root edge. Various analytic, combinatorial, and probabilistic techniques for studying models of random planar maps have been developed, see [3,6]. The bijection by [5] encodes planar maps as mobiles, which are vertex-labelled 4-type planar trees. This allows for a generating procedure for certain models of random planar maps using 4-type Galton-Watson trees, see [16]. For bipartite Boltzmann planar maps, a bijection constructed by [12] simplifies the generating procedure to use only monotype Galton-Watson trees. However, it is an open problem whether a full reduction to mono-type trees is possible in the non-bipartite case, hence the need to study multi-type Galton-Watson trees for this purpose persists. 1 Recent work by Stephenson [17] establishes local convergence of conditioned regular critical multi-type Galton-Watson trees, and applies this convergence to a conditioned Boltzmann planar map M n . The main application is a limit theorem that shows how an Infinite Boltzmann Planar MapM describes the asymptotic behaviour of the vicinity of the root-edge of M n as n → ∞.
This generalizes local convergence results for bipartite maps by [4] and special cases like triangulations and quadrangulations by [2,14].
The present work establishes a corresponding quenched version of the limit theorem. Roughly speaking, the difference is that instead of studying the probability for the vicinity of the root-edge of M n to have a certain shape, we establish laws of large numbers for the number of corners, faces, and vertices whose vicinity has this shape. See Theorem 1. Our main tools are quenched limits of rerooted multitype trees established recently in [21]. 2 As an application, we deduce quenched local convergence of the random planar map M t n with n edges and a positive weight t > 0 at vertices. That is, M t n assumes a map M with n edges with probability proportional to t v(M ) , with v(M ) denoting the number of vertices of M . See Theorem 2. The vertex weighted random planar map M t n is related to the study of uniform random planar graphs, see [11,7]. We apply the quenched local convergence of M t n in the subsequent paper [19] to deduce local convergence of the uniform random planar graph.

Notation
We let N 0 = {0, 1, 2, . . .} denote the collection of non-negative integers, and N the collection of positive integers. The law of a random variable X : Ω → S with values in some measurable space S is denoted by L(X). If Y : Ω → S is a random variable with values in some measurable space S , we let L(X | Y ) denote the conditional law of X given Y . All unspecified limits are taken as n → ∞. Convergence in probability and distribution are denoted by p −→ and d −→ . We say an event holds with high probability if its probability tends to 1 as n becomes large. For any sequence (a n ) n≥1 of positive real numbers we let O p (a n ) denote a random variable Z n such that (Z n /a n ) n≥1 is stochastically bounded.

Index of terminology
The following list summarizes frequently used terminology.
Number of vertices of type i ∈ G, page 4. | · | γ Sum of vertices weighted depending on their type, page 4 T (η) A ξ-Galton-Watson tree with (possilby random) root type η, page 6. T κ Like T (κ), but non-root vertices of type κ receive no offspring, page 6.
T κ A random tree with a marked leaf of type κ. Distributed like T κ biased by the number of vertices with type κ, page 6.
T (κ) A random infinite tree with a marked vertex of type κ and a spine that grows backwards, page 6.
T κ,ι A random tree with root type κ and a marked vertex of type ι. Obtained by biasing T κ by the number of vertices of type ι, page 6.
T (κ, ι) A random infinite tree with a marked vertex of type ι and a spine that grows backwards, page 6.

Local topologies for planar maps
The local topology describes how similar two planar maps are in the vicinity of specified root vertices or root edges. We briefly recall relevant notions and refer the reader to the elegant presentations by [8] for details.
Let M e denote the collection of finite planar maps with an oriented root edge. The origin of this root edge is called the root vertex. The face to the left of the oriented root-edge is called the root face. Likewise, we let M v denote the collection of finite planar maps that only have a specified root vertex instead of an oriented root edge. We also let M f denote the collection of finite planar maps that only carry a marked root face instead. In the following, M refers to M e , M v , or M f , as all related concepts are analogous for these three cases. Note that M is countably infinite.
For any integer k ≥ 0 we may consider the subset M k ⊂ M of planar maps where each vertex has "distance" at most k from the root. Here "distance from the root" refers to the graph distance from the root vertex in case of vertex rooted maps, or the graph distances to the ends of the root-edge for edge rooted maps. For face rooted maps, we define the distance as the length of some shortest path from the vertex to the boundary of the marked face. We equip M k with the discrete topology.
The projection U k : M → M k maps a planar map M to the k-neighbourhood U k (M ) of its root. Depending on whether M refers to M e , M v , or M f we view U k (M ) as equipped with an oriented root edge, a root vertex, or a root face. The local topology on the collection M is the coarsest topology that makes these projections continuous. This projective limit topology is metrizable by The space (M, d loc ) is not complete. One way to complete it, is to form the space M of coherent sequences We may interpret M as a subset of M, and extend d loc and U k (·) in a canonical way. This makes M a Polish space, see [8,Prop. 1] for details. Let (M n ) n≥1 be a sequence of random finite planar maps, and let u n be either a uniformly selected vertex, oriented edge, or face. This makes the pair (M n , u n ) a random element of M. Here we forget about any possibly present root of M n , and only consider u n as the new root. Distributional convergence of (M n , u n ) n≥1 is equivalent to distributional convergence of each neighbourhood U k (M n , u n ), k ≥ 0, as n tends to infinity. IfM is a random element of M, then is equivalent to for each fixed integer k ≥ 0 and each finite planar map M ∈ M as n → ∞.
Using language from statistical physics, this form of convergence is also called annealed convergence. The collection M 1 (M) of probability measures on the Borel sigma algebra of M is a Polish space with respect to the weak convergence topology. The conditional distribution L((M n , u n ) | M n ) is a random element of M 1 (M). We say (M n , u n ) converges in the quenched sense, if the random probability measure L((M n , u n ) | M n ) converges in distribution to a random element of M 1 (M). For the special case where the limit is almost surely constant and given by the law L(M) of some random elementM of M, we say (M n , u n ) converges in the quenched sense towardsM.

Limits of rerooted multi-type trees
Given an integer D ≥ 1, a D-type plane tree T is a plane tree where we assign to each vertex a type from {1, . . . , D}. In particular, T has a root vertex, and for each vertex we have a linear order on its collection of children. For 1 ≤ j ≤ D we let # j T denote the total number of vertices with type j. Furthermore, for any vector γ = (γ 1 , . . . , γ D ) ∈ R D we set If we distinguish a vertex v of T , we form a marked tree (T, v). The subtree consisting of v and all its descendants is called the fringe subtree of T at v. For any integer k ≥ 0 we may form the extended fringe subtree f [k] (T, v) consisting of the fringe subtree of T at the kth ancestor of v, marked at the vertex corresponding to v. Of course, this only makes sense if v has height at least k in T . Otherwise, we set f [k] (T, v) to some placeholder value.
The path from v to the root of T is called the spine of the marked tree (T, v). We may also consider marked trees where this spine has a countably infinite length, such that v has a countably infinite number of ancestors. We let X denote the collection of all finite marked D-type trees and all marked D-type trees with an infinite spine such that all extended fringe subtrees are finite.
The collection X may be endowed with a metric d X such that for all This makes (X, d X ) a Polish space, see [21,Prop. 1]. Let (T n ) n≥1 be a sequence of random finite D-type trees. Let denote a non-empty subset, such that the probability for T n to have vertices with type in G 0 tends to 1 as n becomes large. Let v n be uniformly selected among all vertices of T n with type in G 0 . Then (T n , v n ) is a random element of X. We say (T n , v n ) convergences in the annealed sense towards a random element That is we take the tree T n (this is where the randomness comes from) and consider the uniform distribution on all marked versions of T n where the marked vertex has type in G 0 . We say T • is the quenched limit of (T n , v n ), if in the sense of distributional convergence of random elements of the Polish space M 1 (X).

Galton-Watson trees
Let D ≥ 1 be an integer. A D-type Galton-Watson tree is a random locally finite D-type plane tree defined as follows. Let ξ = (ξ i ) 1≤i≤D be a family of random elements ξ i ∈ N D 0 . For any integer 1 ≤ κ ≤ D the ξ-Galton-Watson T (κ) starts with a single root vertex with type κ. For all 1 ≤ i ≤ D any vertex of type i receives offspring vertices according to an independent copy of ξ i , with the jth coordinate (for 1 ≤ j ≤ D) corresponding to the number of children with type j. For our purposes, we will always assume that the collection of all children is ordered uniformly at random. If η is a random element of {1, . . . , D}, independent from all previously considered random variables, we let T (η) denote the mixture of (T (κ)) 1≤κ≤D that assumes T (κ) with probability P(η = κ) for each 1 ≤ κ ≤ D. That is, here the type of the root vertex is random and distributed like η.
We define T κ similar to T (κ), only that non-root vertices with type κ receive no offspring. Let us assume that This allows us to define the κ-biased versionT κ with distribution for any pair (T κ , u) of a finite G-type tree T κ (with the root having type κ and all non-root vertices of type κ having no offspring) and a non-root leaf u of T κ with type κ.
We construct a random treeT (κ) that has an infinite "backwards" growing spine u 0 , u 1 , . . . of type κ vertices, such that u +1 is an ancestor (not necessarily parent) of u for all ≥ 0. The construction is as follows. We start with the vertex u 0 that becomes the root of an independent copy of T (κ). The vertex u 1 becomes the root of an independent copy ofT κ , which has a marked leaf. All non-marked leaves of type κ become roots of independent copies of T (κ), and we identify the marked leaf with u 0 ("glueing" the two vertices together). We proceed in this way with an ancestor u 2 of u 1 and so on, yielding an infinite backwards growing spine u 0 , u 1 , . . . of type κ vertices.
The treeT (κ) constitutes the multi-type analogue of Aldous' invariant sin-tree constructed in [1] for critical monotype Galton-Watson trees. The abbreviation sin stands for single infinite path.
Suppose that ι ∈ {1, . . . , D} is a type. If the number of non-root type ιvertices in T κ has a finite non-zero expectation E, we may form the ι-biased version T κ,ι of T κ with distribution for any pair (T κ , u) of a finite G-type tree T κ (with the root having type κ and all non-root vertices of type κ having no offspring) and a non-root leaf u of T κ with type ι. This allows us to construct the treeT (κ, ι) analogous tô T (κ) with the only difference being that in the construction we start with a type ι vertex u 0 that becomes the root of an independent copy of T (ι), and for u 1 we use T κ,ι instead of a copy of T κ . Hence u 1 , u 2 , . . . have type κ, but u 0 has type ι.

Boltzmann planar maps
We recall important background on Boltzmann planar maps [16] and the Bouttier-Di Francesco-Guitter transformation [5]. Our presentation follows closely that of [17,Sec. 5], with some additional emphasis in Section 3.2 on how the labels of a Boltzmann mobile may be constructed from conditionally independent choices for each vertex of the underlying Galton-Watson tree.

The Boltzmann distribution on planar maps
The collection of all finite planar maps with an oriented root edge and an additional marked vertex will be denoted by M. Throughout we let q = (q n ) n≥1 denote a family of non-negative numbers such that q n > 0 for at least one n ≥ 3. To any element M ∈ M we assign a weight Here the index f ranges over the faces of the planar map M , and deg(f ) denotes the degree of the face f . That is, deg(f ) is the number of half-edges on the boundary of the face f . (The reason why we count half-edges instead of edges is that an edge on the boundary has to be counted twice if both of its sides are incident to the face.) A weight-sequence q is said to be admissible, if In this case, we may form the Boltzmann distributed (vertex marked) planar map M with distribution given by Likewise we may form analogously the Boltzmann planar mapM (and conditioned versions thereof) by using the class of maps without a marked vertex instead of M. Note thatM and M follow different distributions, as M is biased by the number of vertices.

Mobiles obtained from branching processes
A pointed map from M is said to be positive, neutral, or negative, if the origin of the directed root edge is closer, equally far away, or farther away from the marked vertex than the destination of the root edge. We let M + , M 0 , and M − denote the corresponding subclasses of M, and form the sums Z + q , Z 0 q , and Z − q as in (9), but with the sum index constrained to the corresponding subclass. For all x, y ≥ 0 we define the bivariate series If the weight sequence q is admissible, we may define an irreducible 4-type offspring distribution ξ = (ξ) 1≤i≤4 as follows. Vertices of the first type produce a geometric number of vertices of the third type: Vertices of the second type always produce a single offspring vertex of the fourth type, that is P(ξ 2 = (0, 0, 0, 1)) = 1.
Vertices of the third and fourth type only produce offspring of the first or second type. Their coordinates ξ 3,1 , ξ 3,2 and ξ 4,1 , ξ 4,2 are determined by Here we have used that the denominators in (15) and (16)  For a type κ = 1 or κ = 2 we consider the following sampling procedure. The result is a random 4-type tree where the offspring is ordered and each vertex v receives a label (v) with (v) ∈ Z if v has type 1 or 3, and (v) ∈ 1 2 +Z otherwise.
1. Consider the ξ-Galton-Watson tree T (κ) that starts with a single vertex of type κ. We consider the offspring vertices as ordered in a uniformly selected manner. This construction produces a so-called mobile. We emphasize that in the second step we choose for any vertex v of type 3 or 4 the vector β T (κ) (v) at random in a way that depends only on the ordered list of offspring vertices of v, their types, and the type of v (since it determines the type of its parent). In combinatorial language, (T (κ), β T (κ) ) is a special case of an multi-type enriched plane tree. We refer to it as the canonical decoration of T (κ).

The Bouttier-Di Francesco-Guitter transformation
We let T + denote an independent copy of (T (1), β T (1) ). We let T 0 denote the result of taking two independent copies of (T (2), β T (2) ) and identifying their roots. Let (T, β) be a possible finite outcome of T + or T 0 , and let ( (v)) v∈T denote the corresponding labels. The Bouttier-Di Francesco-Guitter transformation [5] associates a planar map Ψ (T, β) to the decorated tree (T, β) in such a way that the number of vertices of the map equals 1 + # 1 T , the number of edges of the map equals # 1 T + # 3 T + # 4 T − 1, and the number of faces of the map equals # 3 T + # 4 T .
The transformation Ψ is as follows. We draw T in the plane and order the corners according to the standard contour process that starts at the root vertex. Let v 1 , . . . , v p denote the ordered list of vertices of type 1 or 2 that we visit in the contour process. That is, a vertex gets visited multiple types according to the number of angular sectors around it. We let 1 , . . . , p denote their labels. We extend these lists cyclically, so that v ip+k = v k for i ≥ 1 and 1 ≤ k ≤ p. We add an extra vertex r with type 1 outside of T and let its label (r) be one less than the minimum of labels of all type 1 vertices. For each 1 ≤ i ≤ p we draw an arc between the vertex v i and its successor. If v i has type 1 then the successor is the next corner in the cyclic list of type 1 with label i − 1. If there is no such corner, then we let r be the successor of v i . Likewise, if v i has type 2 then the successor of v i is the next corner of type 1 with label i − 1/2, or r if there is no such corner. It is possible to draw all arcs so that they only may intersect at end points. We now delete the original edges of the tree T , as well as all vertices of type 3 and 4. Vertices of type 2 get erased as well, merging the corresponding pairs of arcs. We are left with a planar map having a marked vertex r. If the root of T has type 1 we let the root edge be the first arc that was drawn and have it point to the root of T . If the root of T has type 2 (and hence has precisely two children, both of type 4), we let the root edge be the result of the merger of the two arcs incident to the root of T and let it point towards the successor of the first corner encountered in the contour process. Figure 1 illustrates the transformation ψ for an example.
The Boltzmann distributed map M is a mixture of the random maps M + , M 0 , and M − obtained by conditioning M on belonging to M + , M 0 , and M − . As observed by [16], it holds that Ψ (T + ) has a solution (x, y) with x > 1 such that the matrix has spectral radius smaller or equal to one. Any such solution (x, y) necessarily satisfies [16, Def. 1] termed an admissible weight sequence q critical, if the spectral radius of this matrix is equal to 1. This amounts to the condition with J f denoting the (signed) Jacobian of the function (f • , f ) : for some > 0. As was made explicit by [17], this applies to various useful cases such as unrestricted maps or p-angulations for arbitrary p ≥ 3. The irreducible offspring distribution ξ is critical (or regular critical) if and only if the weight sequence q is critical (or regular critical).
(a) A mobile from which we are going to construct a vertex-marked rooted planar map.
(b) Listing the corners incident to vertices of type 1 and 2. Adding a marked vertex.
(c) Drawing arcs and distinguishing an oriented root edge.
(d) Removing old edges, removing type 3 and type 4 vertices, and replacing type 2 vertices by arcs. Fig. 1: The correspondence between mobiles and vertex-marked rooted planar maps.

Quenched local convergence
Theorem 1 Suppose that the weight-sequence q is regular critical. Let M n denote the q-Boltzmann planar map, conditioned on either having n vertices, or edges, or faces. Let u n denote either a uniformly selected vertex, half-edge, or face. There are integers a ≥ 0 and d ≥ 1 and a random infinite locally finite limit mapM with finite face degrees such that, in the local topology for vertex-rooted or half-edge rooted or face-rooted planar maps, the conditional law L((M n , u n ) | M n ) satisfies as n ∈ a + dZ tends to infinity.
Of course, the limit object differs depending on which conditioning we choose and which type of marking we select. The quenched limit (22) implies the annealed convergence by dominated convergence. If u n denotes a uniformly selected half-edge, then (23) is the annealed convergence established by [17, Thm. 6.1] (see also [2,14,4,9,15]), who only required criticality in the case where M n is the Boltzmann map with n vertices. [10] described a general method for deducing limits for the vicinity of random vertices if a limit for the vicinity of a random corners is known. The method applies to regular critical Boltzmann planar maps and other settings. Obtaining an explicit description of the limit was left as an open question in [10], and the construction of the limit from an infinite mobile with a backwards growing spine the proof of Theorem 1 resolves this question in the present setting. Note that, as was shown by [17,Sec. 6.3.5], in the present setting the total variational distance between M n (a corner-rooted map with an additional marked vertex, not to be confused with u n ) and a q-Boltzmann mapM n without a marked vertex tends to zero as n becomes large: Hence Theorem 1 also holds forM n .
Recall that T + denotes an independent copy of (T (1), β T (1) ), and T 0 is the result of taking two independent copies of (T (2), β T (2) ) and identifying their roots. Recall also that the Boltzmann distributed map M is a mixture of the random maps Ψ (T + ) Throughout the entire proof, a subscript n of a random tree denotes that we condition the tree on the event | · | γ = n if γ = (0, 0, 1, 1), | · | γ = n − 1 if γ = (1, 0, 0, 0), and | · | γ = n + 1 if γ = (1, 0, 1, 1). A subscript n of a random map will denote that we condition the map accordingly on having n faces or vertices or edges.
Let κ ∈ {1, . . . , 4} be a type. If we select a vertex v n from T n (κ) with type in G 0 uniformly at random, then by [21,Thm. 6] for a random type η that only depends on ξ and γ (and not on κ). Adding canonical decorations, this implies (See also [20] for a general theory of limits and fringe distributions of random decorated or enriched trees.) We are going to show that: a) The decorated tree (T (η), βT (η) ) corresponds to an infinite vertex-, In the following subsection, we verify the three claims individually.

Claim a)
In the third step of the procedure given in Section 3.2 we described a process for transforming the decorations into labels. We cannot apply this process directly to (T (η), βT (η) ) since the tree has an infinite backwards growing spine of ancestors instead of a root. However, if we assign any valid label to a single vertex v (with value in Z if v has type 1 or 3 and value in 1 2 + Z if v has type 2 or 4), then the decorations determine the labels of all other vertices. Moreover, the differences in the labels between any pair of vertices does not depend on the label we started with. Hence let us assign a valid label 0 or 1/2 to the marked vertex of (T (η), βT (η) ) (depending on whether its type η lies in {1, 3} or {2, 4}), and extend this in a unique way according to the decorations to labels ( (v)) v∈T (η) .

Lemma 1
The labels of the type 1 ancestors of the marked vertex inT (η) have almost surely no lower bound.
Proof First, let us observe thatT This could be verified directly, or as follows: The limit in Equation (25)  Let u 1 , u 2 , . . . denote the list of type 1 ancestors of the marked vertex in T (η) (excluding the marked vertex itself, if it has type 1), so that u i+1 is an ancestor of u i for all i ≥ 1. Then the family of differences of labels (u i+1 ) − (u i ), i ≥ 1 are independent and identically distributed. The distribution is given by forming the canonical decoration ofT 1 , assigning labels accordingly with an arbitrary starting value for the root ofT 1 , and forming the difference of the labels between the root and the marked leaf ofT 1 . Thus, the labels ( (u i )) i≥1 form a random walk with i.i.d. steps and a random starting value (u 1 ).
It is known that this random walk is centred: Indeed, consider the local weak limitT of T n (1) established by [17], that describes the asymptotic vicinity of the root (and not a random location) of T n (1). The construction ofT is as follows. We start with a type 1 vertex that gets identified with an independent copy ofT 1 . All non-marked type 1 leaves become roots of independent copies of T (1). For the marked leaf, we proceed recursively in the same way as for the root (identifying it with the root of a fresh independent copy ofT 1 , and so on). Hence T (1) has an infinite spine, obtained by concatenating independent copies of T (1). In particular, if we form the canonical decoration ofT and assign labels accordingly (with, say, a starting value 0 for the root vertex), then the labels of the type 1 vertices of the spine form a random walk with i.i.d. steps and the same step distribution as for the random walk ( (u i )) i≥1 .
We may order the corners (c i ) i∈Z incident to vertices of type 1 or 2 of T (η) such that for all i ∈ Z the corner c i+1 is the successor of c i in the clockwise contour exploration. This allows us to canonically extend the Bouttier-Di Francesco-Guitter transformation from Section 3.3 to assign an infinite locally finite planar mapM to the infinite labelled tree (T (η), ( (v)) v∈T (η) ). Here we do not have to add an additional marked vertex, because the labels of type 1 vertices along the backwards growing spine ofT (η) have no lower bound. By construction, all faces ofM have finite degree.
Depending on whether u n is a random vertex, half-edge, or face of M n , we markM as follows. Let w denote the marked vertex ofT (η), which has an infinite number of ancestors. In the vertex case, w has type 1 and corresponds canonically to a vertex ofM. We considerM as rooted at this vertex. In the face case, w has type 3 or 4 and corresponds canonically to a face. In this case, we considerM as rooted at this face. In the half-edge case, w has type 1, 3, or 4 and corresponds canonically to an edge, which we orient according to an independent fair coin flip. In detail: If w has type 4, then it is the only child of a non-root type 2 vertex that corresponds to the edge obtained by joining the arcs drawn at its two corners. Hence w corresponds canonically to this edge. If w has type 1, then each of its corners corresponds to the edge we drew when visiting this corner in the contour exploration. The number of these corners equals 1 plus the number of offspring vertices, all of which have type 3. Hence w and its children correspond bijectively to the arcs we drew starting at a corner of w. In particular, w corresponds canonically to an arc. Likewise, if w has type 3 it also corresponds canonically to an edge that we drew starting at a corner of its type 1 parent.
This verifies Claim a).

Claim b)
Suppose that κ = 1. The vertex v n of (T n (κ), β Tn(κ) ) corresponds similarly to a marked vertex or face or half-edge u n of M + n . Modifications in the correspondence may be required when v n or its parent is the root of T n (κ), but the probability for this event tends to zero and hence we may safely ignore this. Furthermore, (M + n , u n ) and (M + n , u n ) may not follow the same distribution (for example, when u n is a uniform vertex, then u n is a uniform non-marked vertex, as u n is never equal to the additional vertex we added in the BDFG bijection). However, it is clear that there is an event (that depends on n) whose probability tends to 1 as n becomes large, such that (M + n , u n ) and (M + n , u n ) are identically distributed when conditioned on this event. Hence we may also safely ignore the difference between u n and u n . Using the continuous mapping theorem, it hence follows from (26) that This verifies Claim b).

Claim c)
The same convergence as in (29) follows immediately for M − n , since the vicinity of a random point is not affected by the orientation of the root edge. As for M 0 n , it follows from [17, Prop 2.2] that |T (2)| γ takes only values from a shifted lattice, and has a density that varies regularly with index −3/2 along that shifted lattice. It follows that if we condition independent copies S (1) and S (2) of T (2) on the event |S (1) | γ + |S (2) | γ = n then lim n→∞ min((|S (1) This may easily be verified elementarily or be viewed as a special case for results on general models of random partitions, see [18,Thm. 3.4,Prop 2.5].
Consequently, all but a negligible number of vertices whose extended fringe subtree has a certain shape will lie in a giant component with size ("size" referring to | · | γ ) m − O p (1). If we let S denote the result of identifying the roots of S (1) and S (2) and let w n denote a uniformly selected vertex of the conditioned tree S n with type in G 0 , then it follows by (25) that L((S n , w n ) | S n ) p −→ L(T (η)).
(Recall that above we assigned a clear meaning to all occurrences of n as a subscript of a random tree, making S n a conditioned version of S that depends on γ.) Hence, adding canonical decorations, L((S n , β Sn , w n ) | S n ) p −→ L(T (η), βT (η) ).
Thus quenched convergence of M 0 n towardsM may be deduced in exactly the same way using the mapping theorem as for M + n , only instead of using Equation (26) we use Equation (32). This verifies Claim c).

Random planar maps with vertex weights
Let t > 0 be a constant. We let M t n denote a random planar map with n edges that assumes a map M (with n edges) with probability proportional to t v(M ) .
Proof For any λ > 0 we may consider the weights q n = tλ n , n ≥ 1.
This way, any map with n edges and m faces receives weight λ 2n t m . We are going to argue below that for any t > 0 we may choose λ so that q = (q n ) n≥1