# Liouville quantum gravity and the Brownian map I: the \(\mathrm{QLE}(8/3,0)\) metric

- 661 Downloads

## Abstract

Liouville quantum gravity (LQG) and the Brownian map (TBM) are two distinct models of measure-endowed random surfaces. LQG is defined in terms of a real parameter \(\gamma \), and it has long been believed that when \(\gamma = \sqrt{8/3}\), the LQG sphere should be equivalent (in some sense) to TBM. However, the LQG sphere comes equipped with a conformal structure, and TBM comes equipped with a metric space structure, and endowing either one with the other’s structure has been an open problem for some time. This paper is the first in a three-part series that unifies LQG and TBM by endowing each object with the other’s structure and showing that the resulting laws agree. The present work considers a growth process called *quantum Loewner evolution* (QLE) on a \(\sqrt{8/3}\)-LQG surface \({\mathcal {S}}\) and defines \(d_{{\mathcal {Q}}}(x,y)\) to be the amount of time it takes QLE to grow from \(x \in {\mathcal {S}}\) to \(y \in {\mathcal {S}}\). We show that \(d_{{\mathcal {Q}}}(x,y)\) is a.s. determined by the triple \(({\mathcal {S}},x,y)\) (which is far from clear from the definition of QLE) and that \(d_{{\mathcal {Q}}}\) a.s. satisfies symmetry (i.e., \(d_{{\mathcal {Q}}}(x,y) = d_{{\mathcal {Q}}}(y,x)\)) for a.a. (*x*, *y*) pairs and the triangle inequality for a.a. triples. This implies that \(d_{{\mathcal {Q}}}\) is a.s. a metric on any countable sequence sampled i.i.d. from the area measure on \({\mathcal {S}}\). We establish several facts about the law of this metric, which are in agreement with similar facts known for TBM. The subsequent papers will show that this metric a.s. extends uniquely and continuously to the entire \(\sqrt{8/3}\)-LQG surface and that the resulting measure-endowed metric space is TBM.

## 1 Introduction

### 1.1 Overview

Brownian motion is in many ways the “canonical” or “most natural” probability measure on the space of continuous paths. It is uniquely characterized by special properties (independence of increments, stationarity, etc.) and it arises as a scaling limit of many kinds of discrete random walks.

It is natural to wonder whether there is a similarly “canonical” or “most natural” probability measure on the space of two dimensional surfaces that are topologically equivalent to the sphere. In fact, over the past few decades, *two* mathematical objects have emerged which have seemed to be equally valid candidates for the title of “canonical random sphere-homeomorphic surface.”

The first candidate is the spherical form of *Liouville quantum gravity* (LQG) [1, 9, 10, 12, 27, 41]. Roughly speaking, the LQG sphere is a random surface obtained by exponentiating a form of a conformally invariant random distribution called the Gaussian free field (GFF). LQG has its roots in the physics literature, particularly the work of Polyakov [36, 37, 38] and others in string theory and conformal field theory in the 1980’s. The definition of LQG involves a parameter \(\gamma \) that can be tuned to make surfaces more or less “rough.” The particular value \(\gamma = \sqrt{8/3}\) has long been understood to be special, and is said to correspond to *pure quantum gravity*. Roughly speaking, this means that \(\sqrt{8/3}\)-LQG (a.k.a. *pure LQG*) should arise as a scaling limit of discretized random surfaces that are *not* decorated by extra statistical physical structures (a.k.a. *matter fields*).

The second candidate is an object called *the Brownian map* (TBM) [21, 22, 23, 24, 25] which has its roots in the mathematical analysis of discretized random surfaces (a.k.a. *random planar maps*), beginning with the work of Tutte [44] in the 1960’s. Around 2000 it was noticed by Chassaing and Schaeffer [7] (building on the bijections [8, 40]) that the large scale behavior of the profile of distances from a random point on a random planar map could be encoded using the Brownian snake of Le Gall (see [20] for a general review). This perspective ultimately led to the definition of the Brownian map as a random metric measure space constructed from the Brownian snake, and to the proofs of Le Gall [22] and Miermont [24] that the Brownian map arises as the Gromov–Hausdorff limit of uniformly random planar maps.

Both LQG and TBM have been thoroughly studied and appear in hundreds of papers in physics and mathematics. However, until now, there has not been a direct link between these two objects, and the corresponding literatures have been relatively disconnected.

It has long been believed that TBM and the \(\sqrt{8/3}\)-LQG sphere should be equivalent in some sense. Both objects are random measure-endowed, sphere-homeomorphic surfaces. The problem is that the LQG sphere comes equipped with a conformal structure and TBM comes equipped with a metric space structure, and it is far from obvious how to endow either of these objects with the *other’s* structure. Until one does this, it is not clear how an equivalence statement can even be formulated.

- 1.
An instance of the \(\sqrt{8/3}\)-LQG sphere a.s. comes with a

**canonical metric space structure**, and the resulting measure-endowed metric space agrees in law with TBM. - 2.
Given an instance of TBM, the \(\sqrt{8/3}\)-LQG sphere that generates it is a.s. uniquely determined. This implies that an instance of TBM a.s. comes with a canonical (up to Möbius transformation) embedding in the Euclidean sphere. In other words:

- 3.
An instance of TBM a.s. comes with a

**canonical conformal structure**and the resulting measure-endowed conformal sphere agrees in law with the \(\sqrt{8/3}\)-LQG sphere. - 4.
The canonical (up to Möbius transformation) embedding of TBM (with its intrinsic metric) into the Euclidean sphere (with the Euclidean metric) is a.s. Hölder continuous with Hölder continuous inverse. This in particular implies that a.s. all geodesics in TBM are sent to Hölder continuous curves in the Euclidean sphere.

The main technical achievements of the current paper concern a growth process called quantum Loewner evolution (QLE), introduced in [33]. We show that QLE growth on a \(\sqrt{8/3}\)-LQG surface is a.s. *determined* by the starting point of the growth process and the surface it is growing on. (It is still an open question whether this remains true when \(\gamma \not = \sqrt{8/3}\).) Moreover, given two typical points *x* and *y* on the surface, the amount of time it takes QLE to grow from *x* to *y* a.s. equals the amount of time it takes QLE to grow from *y* to *x*. This time can be interpreted as a distance between *x* and *y* (this paper establishes the appropriate triangle inequality) and this is what ultimately allows us to endow \(\sqrt{8/3}\)-LQG surfaces with a metric space structure. However, we stress that the results in the current paper can also be appreciated as stand alone conclusions about QLE.

### 1.2 Main result

Before we begin to explain how these results will be proved, let us describe one reason one might expect them to be true. Both TBM and the \(\sqrt{8/3}\)-LQG sphere are known to be \(n \rightarrow \infty \) scaling limits of the uniformly random planar map with *n* edges, albeit w.r.t. different topologies.^{1} One should therefore be able to use a compactness argument to show that the uniformly random planar map has a scaling limit (at least subsequentially) in the product of these topologies, and that this scaling limit is a *coupling* of TBM and the \(\sqrt{8/3}\)-LQG sphere. It is not obvious that, in this coupling, the instance of TBM and the instance of the \(\sqrt{8/3}\)-LQG sphere a.s. uniquely determine one another. But it seems reasonable to guess that this would be the case. And it is at least conceivable that one could prove this through a sophisticated analysis of the planar maps themselves (e.g., by showing that pairs of random planar maps are highly likely to be close in one topology if and only if they are close in the other topology).

Another reason to guess that an LQG sphere should have a canonical metric structure, and that TBM should have a canonical conformal structure, is that it is rather easy to formulate reasonable sounding *conjectures* about how a metric on an LQG sphere might be obtained as limit of *approximate* metrics, or how a conformal structure on TBM might be obtained as a limit of *approximate* conformal structures. For example, the peanosphere construction of [10] gives a space-filling curve on the LQG sphere; one might divide space into regions traversed by length-\(\delta \) increments of time, declare two such regions adjacent if they intersect, and conjecture that the corresponding graph distance (suitably rescaled) converges to a continuum distance as \(\delta \rightarrow 0\). Similarly, an instance of TBM comes with a natural space-filling curve; one can use this to define a graph structure as above, embed the graph in the Euclidean sphere using circle packing (or some other method thought to respect conformal structure), and conjecture that as \(\delta \rightarrow 0\) these embeddings converge to a canonical (up to Möbius transformation) embedding of TBM in the Euclidean sphere. In both of these cases, the approximating graph can be constructed in a simple way (in terms of Brownian motion or the Brownian snake) and could in principle be studied directly.

The current series of papers will approach the problem from a completely different direction, which we believe to be easier and arguably more enlightening than the approaches suggested above. Instead of using approximations of the sort described above, we will use a combination of the quantum Loewner evolution (QLE) ideas introduced in [33], TBM analysis that appears in [26], and the \(\sqrt{8/3}\)-LQG sphere analysis that appears in [27]. There are approximations involved in defining the relevant form of QLE, but they seem to respect the natural symmetries of the problem in a way that the approximation schemes discussed above do not. In particular, our approach will allow us to take full advantage of an exact relationship between the LQG disks “cut out” by \(\mathrm{SLE}_6\) and those cut out by a metric exploration.

In order to explain our approach, let us introduce some notation. If (*S*, *d*) is a metric space, like TBM, and \(x \in S\) then we let *B*(*x*, *r*) denote the radius *r* ball centered at *x*. If the space is homeomorphic to \({{\mathbf {S}}}^2\) and comes with a distinguished “target” point *y*, then we let \(B^\bullet (x,r)\) denote the *filled* metric ball of radius *r*, i.e., the set of all points that are disconnected from *y* by \({\overline{B(x,r)}}\). Note that if \(0 \le r < d(x,y)\), then the complement of \(B^\bullet (x,r)\) contains *y* and is homeomorphic to the unit disk \(\mathbf {D}\).

The starting point of our approach is to let *x* and *y* be points on an LQG-sphere and to define a certain “growth process” growing from *x* to *y*. We assume that *x* and *y* are “quantum typical,” i.e., that given the LQG-sphere itself, the points *x* and *y* are independent samples from the LQG measure on that sphere. The growth process is an increasing family of closed subsets of the LQG-sphere, indexed by a time parameter *t*, which we denote by \(\Gamma _t = \Gamma _t^{x \rightarrow y}\). Ultimately, the set \(\Gamma _t\) will represent the filled metric ball \(B^\bullet (x,t)\) corresponding to an appropriately defined metric on the LQG-sphere (when *y* is taken to be the distinguished target point). However, we will get to this correspondence somewhat indirectly. Namely, we will *first* define \(\Gamma _t= \Gamma _t^{x \rightarrow y}\) as a random growth process (for quantum typical points *x* and *y*) and only show *a posteriori* that there is a metric for which the \(\Gamma _t\) thus defined are a.s. the filled metric balls.

As presented in [33], the idea behind this growth process (whose discrete analog we briefly review and motivate in Sect. 3) is that one should be able to “reshuffle” the \(\mathrm{SLE}_6\) decorated quantum sphere in a particular way in order to obtain a growth process on a LQG surface that hits points in order of their distance from the origin. This process is a variant of the \(\mathrm{QLE}(8/3,0)\) process originally constructed in [33] by starting with an \(\mathrm{SLE}_6\) process and then “resampling” the tip location at small capacity time increments to obtain a type of first passage percolation on top of a \(\sqrt{8/3}\)-LQG surface. The form of \(\mathrm{QLE}(8/3,0)\) that we use here differs from that given in [33] in that we will resample the tip at “quantum natural time” increments as defined in [10] (i.e., time steps which are intrinsic to the surface rather than to its specific choice of embedding). We expect that these two constructions are in fact equivalent, but we will not establish that fact here.

As discussed in [33], the growth process \(\mathrm{QLE}(8/3,0)\) can in some sense be understood as a continuum analog of the Eden model. The idea explained there is that in some small-increment limiting sense, the (random) Eden model growth should correspond to (deterministic) metric growth. In fact, a version of this statement for random planar maps has recently been verified in [6], which shows that on a random planar map, the random metric associated with an Eden model (or first passage percolation) instance closely approximates graph distance.

Once we have defined the growth process for quantum typical points *x* and *y*, we will define the quantity \(d_{{\mathcal {Q}}}(x,y)\) to be the amount of time it takes for a \(\mathrm{QLE}\) growth process to evolve from *x* to *y*. This \(d_{{\mathcal {Q}}}\) is a good candidate to be a distance function, at least for those *x* and *y* for which it is defined. However, while our initial construction of \(\mathrm{QLE}\) will produce the joint law of the doubly marked LQG surface and the growth process \(\Gamma \), it will not be obvious from this construction that \(d_{{\mathcal {Q}}}(x,y) = d_{{\mathcal {Q}}}(y,x)\) a.s. In fact, it will not even be obvious that the growth process is a.s. *determined* by the LQG sphere and the (*x*, *y*) pair, so we will *a priori* have to treat \(d_{{\mathcal {Q}}}(x,y)\) as a random variable whose value might depend on more than the LQG-surface and the (*x*, *y*) pair.

The bulk of the current paper is dedicated to showing that if one first samples a \(\sqrt{8/3}\)-LQG sphere, and then samples \(x_1, x_2, \ldots \) as i.i.d. samples from its LQG measure, and then samples conditionally independent growth processes from each \(x_i\) to each \(x_j\), then it is a.s. the case that the \(d_{{\mathcal {Q}}}\) defined from these growth processes is a metric, and that this metric is determined by the LQG sphere and the points, as stated in Theorem 1.1 below.

*A*is a positive real number. The pair represents the unit area sphere \({{\mathcal {S}}}\) except with area scaled by a factor of

*A*and distance (where defined) scaled by a factor of \(A^{1/4}\). On both sides it turns out to be natural to define infinite measures on quantum spheres such that the “total area” marginal has the form \(A^\beta dA\) for some \(\beta \). In particular, on both sides, one can define a natural “grand canonical” quantum sphere measure on spheres with

*k*marked points (see the notation in Sect. 1.4). Sampling from this infinite measure amounts to

- 1.
first sampling a unit area sphere \({{\mathcal {S}}}\),

- 2.
then sampling

*k*marked points i.i.d. from the measure on \({{\mathcal {S}}}\), - 3.
then independently selecting

*A*from the infinite measure \(A^{k-7/2}dA\) and rescaling the sphere’s area by a factor of*A*(and distance by a factor of \(A^{1/4}\)).

*almost surely*(a.s.) means outside a set of measure zero.

### Theorem 1.1

- 1.
\(d_{{\mathcal {Q}}}(x_i,x_j) = d_{{\mathcal {Q}}}(x_j,x_i) \in (0,\infty )\) for all distinct

*i*and*j*, and - 2.
\(d_{{\mathcal {Q}}}\) satisfies the (strict) triangle inequality \(d_{{\mathcal {Q}}}(x_i,x_k) < d_{{\mathcal {Q}}}(x_i,x_j) + d_{{\mathcal {Q}}}(x_j,x_k)\) for all distinct

*i*,*j*, and*k*.

The fact that the triangle inequality in Theorem 1.1 is a.s. strict implies that *if* the metric \(d_{{\mathcal {Q}}}\) can be extended to a geodesic metric on the entire LQG-sphere (something we will establish in the subsequent paper [28]) then in this metric it is a.s. the case that none of the points on the countable sequence lies on a geodesic between two other points in the sequence. This is unsurprising given that, in TBM, the measure of a geodesic between two randomly chosen points is a.s. zero. (This is well known and essentially immediate from the definition of TBM; see [26] for some discussion of this point.)

The construction of the metric in Theorem 1.1 is “local” in the sense that it only requires that the field near any given point is absolutely continuous with respect to a \(\sqrt{8/3}\)-LQG sphere. In particular, Theorem 1.1 yields a construction of the metric on a countable, dense subset of any \(\sqrt{8/3}\)-LQG surface chosen i.i.d. from the quantum measure. Moreover, the results of the later papers [28, 29] also apply in this generality, which allows one to define geodesic metrics on other \(\sqrt{8/3}\)-LQG surfaces, such as the torus constructed in [11].

*x*and

*y*, and then choose a growth process \(\Gamma \) from

*x*to

*y*and a conditionally independent growth process \({\overline{\Gamma }}\) from

*y*to

*x*. We also let

*U*be chosen uniformly in [0, 1] independently of everything else. Let \(\Theta \) be the joint distribution of \(({{\mathcal {S}}},x,y,\Gamma ,{\overline{\Gamma }},U)\). Since the natural measure on \(\sqrt{8/3}\)-LQG spheres is an infinite measure, so is \(\Theta \). However, we can make sense of \(\Theta \) conditioned on \({{\mathcal {S}}}\) as a probability measure. Given \({{\mathcal {S}}}\), we have that \(d_{{\mathcal {Q}}}(x,y)\) and \(d_{{\mathcal {Q}}}(y,x)\) are well defined as random variables denoting the respective time durations of \(\Gamma \) and \({\overline{\Gamma }}\). As discussed above, we interpret \(d_{{\mathcal {Q}}}(x,y)\) (resp. \(d_{{\mathcal {Q}}}(y,x)\)) as a measure of the distance from

*x*to

*y*(resp.

*y*to

*x*). Write \(\Theta ^{x \rightarrow y}\) for the weighted measure \(d_{{\mathcal {Q}}}(x,y)d\Theta \). In light of the uniqueness of Radon–Nikodym derivatives, in order to show that \(d_{{\mathcal {Q}}}(x,y) = d_{{\mathcal {Q}}}(y,x)\) a.s., it will suffice to show that \(\Theta ^{x \rightarrow y} = \Theta ^{y \rightarrow x}\).

The main input into the proof of this is Lemma 1.2, stated below (which will later be restated slightly more precisely and proved as Theorem 7.1). Suppose we sample \(({{\mathcal {S}}}, x,y, \Gamma , {\overline{\Gamma }},U)\) from \(\Theta ^{x \rightarrow y}\), then let \(\tau = U d_{{\mathcal {Q}}}(x,y)\)—so that \(\tau \) is uniform in \([0,d_{{\mathcal {Q}}}(x,y)]\), and then define \({{\overline{\tau }}}= \inf \{t \ge 0: {\overline{\Gamma }}_t \cap \Gamma _\tau \ne \emptyset \}\). Both \(\Gamma |_{[0,\tau ]}\) and \({\overline{\Gamma }}|_{[0,{{\overline{\tau }}}]}\) are understood as growth processes *truncated* at random times, as illustrated in Fig. 1. We also let \({{\overline{\sigma }}}= U d_{{\mathcal {Q}}}(y,x)\) and \(\sigma = \inf \{t \ge 0 : \Gamma _t \cap {\overline{\Gamma }}_{{\overline{\sigma }}}\ne \emptyset \}\). Under \(\Theta ^{y \rightarrow x}\), we have that \({{\overline{\sigma }}}\) is uniform in \([0,d_{{\mathcal {Q}}}(y,x)]\).

### Lemma 1.2

Using the definitions above, the \(\Theta ^{x \rightarrow y}\)-induced law of \(({{\mathcal {S}}},x,y,\Gamma |_{[0,\tau ]}, {\overline{\Gamma }}|_{[0,{{\overline{\tau }}}]})\) is equal to the \(\Theta ^{y \rightarrow x}\)-induced law of \(({{\mathcal {S}}},x,y,\Gamma |_{[0,\sigma ]},{\overline{\Gamma }}|_{[0,{{\overline{\sigma }}}]})\).

The proof of Lemma 1.2 is in some sense the heart of the paper. It is established in Sect. 7 (see Theorem 7.1), using tools developed over several previous sections, which in turn rely on the detailed understanding of \(\mathrm{SLE}_6\) processes on \(\sqrt{8/3}\)-LQG spheres developed in [10, 27] as well as in [30, 31, 32, 34]. We note that the intuition behind this symmetry is also sketched at the end of [26] in the context of TBM.

To derive \(\Theta ^{x \rightarrow y} = \Theta ^{y \rightarrow x}\) from Lemma 1.2, it will suffice to show the following:

### Lemma 1.3

The \(\Theta ^{x \rightarrow y}\) conditional law of \(\Gamma \), \({\overline{\Gamma }}\) given \(({{\mathcal {S}}},x,y,\Gamma |_{[0,\tau ]}, {\overline{\Gamma }}|_{[0,{{\overline{\tau }}}]})\) is the same as the \(\Theta ^{y \rightarrow x}\) conditional law of \(\Gamma \), \({\overline{\Gamma }}\) given \(({{\mathcal {S}}},x,y,\Gamma |_{[0,\sigma ]}, {\overline{\Gamma }}|_{[0,{{\overline{\sigma }}}]})\).

Intuitively, sampling from either conditional law should amount to just continuing the evolution of \(\Gamma \) and \({\overline{\Gamma }}\) on \({{\mathcal {S}}}\), beyond their given stopping times, independently of each other. However, it will take some work to make this intuition precise and we will carry this out in Sect. 8.

We will see *a posteriori* that \(\tau = d_{{\mathcal {Q}}}(x,y) - {{\overline{\tau }}}\), which we will prove by using the fact that \(d_{{\mathcal {Q}}}(x,y) = d_{{\mathcal {Q}}}(y,x)\) and the symmetry of Lemma 1.2, which implies that both \({{\overline{\tau }}}\) and \(\tau \) are \(\Theta ^{x \rightarrow y}\)-conditionally uniform on \([0,d_{{\mathcal {Q}}}(x,y)]\), once \(({{\mathcal {S}}},x,y)\) is given. We will also use this fact to derive the triangle inequality. Note that if *z* is a third point and we are working on the event that \(d_{{\mathcal {Q}}}(x,z) < d_{{\mathcal {Q}}}(x,y)\), then \(\Gamma _{d_{{\mathcal {Q}}}(x,z)}\) and \({\overline{\Gamma }}_{d_{{\mathcal {Q}}}(y,z)}\) must intersect each other, at least at the point *z*. In fact, it will not be hard to see that a.s. for some \(\epsilon >0\) the processes \(\Gamma _{d_{{\mathcal {Q}}}(x,z)}\) and \({\overline{\Gamma }}_{d_{{\mathcal {Q}}}(y,z) - \epsilon }\) still intersect. This implies that if \(\tau = d_{{\mathcal {Q}}}(x,z)\) then \({{\overline{\tau }}}\le d_{{\mathcal {Q}}}(y,z) - \epsilon < d_{{\mathcal {Q}}}(y,z)\). Plugging in \({{\overline{\tau }}}= d_{{\mathcal {Q}}}(x,y) - \tau = d_{{\mathcal {Q}}}(x,y) - d_{{\mathcal {Q}}}(x,z)\), we obtain the strict triangle inequality.

The \(\mathrm{QLE}(8/3,0)\) process that we construct will in fact be given as a subsequential limit of approximations which are defined by resampling the tip of an \(\mathrm{SLE}_6\) after each \(\delta > 0\) units of time. The symmetry statements (e.g., Lemma 1.2) hold when \(\Gamma \) and \({\overline{\Gamma }}\) arise as subsequential limits as \(\delta \rightarrow 0\) along different subsequences. Therefore the distance \(d_{{\mathcal {Q}}}\) that we define does not depend on the choice of subsequence. We will not prove in this paper that the growth process \(\Gamma \) itself does not depend on the choice of subsequence, but this will be a consequence of [28].

### 1.3 Observations and sequel overview

In the course of establishing Theorem 1.1, it will also become clear (almost immediately from the definitions) that the growth process from \(x_i\) to \(x_j\) and the growth process from \(x_i\) to \(x_k\) a.s. agree up until some random time at which \(x_j\) and \(x_k\) are first separated from each other, after which the two processes evolve independently. Thus one can describe the full collection of growth processes from \(x_i\) to all the other points in terms of a single “branching” growth process with countably many “branch times” (i.e., times at which some \(x_j\) and \(x_k\) are separated for the first time).

It will also become clear from our construction that when exploring from a marked point *x* to a marked point *y*, one can make sense of the length of \(\partial B^\bullet (x,t)\), and that as a process indexed by *t* this evolves as the time-reversal of an excursion of a continuous state branching process (CSBP), with the jumps in this process corresponding to branch times.^{2} We will review the definition of a CSBP in Sect. 2.1. Letting *y* vary over all of the points \(x_j\), one obtains a branching version of a time-reversed CSBP excursion, and it will become clear that the law of this branching process agrees with the analogous law for TBM, as explained in [26].

All of this suggests that we are well on our way to establishing the equivalence of the \(\sqrt{8/3}\)-LQG sphere and TBM. As further evidence in this direction, note that it was established in [26] that the time-reversed branching process (together with a countable set of real numbers indicating where along the boundary each “pinch point” occurs) contains all of the information necessary to reconstruct an instance of the entire Brownian map. That is, given a complete understanding of the exploration process rooted at a single point, one can a.s. reconstruct the distances between all pairs of points. This suggests (though we will not make this precise until the subsequent paper [28]) that, given the information described in the QLE branching process provided in this paper, one should also be able to recover an entire Brownian map instance.

- 1.
Derive some continuity estimates and use them to show that \(d_{{\mathcal {Q}}}\) a.s. extends uniquely to a metric defined on the entire LQG sphere, and to establish Hölder continuity for the identify map from the sphere endowed with the Euclidean metric to the sphere endowed with the random metric, and then

- 2.
Learn enough about the geodesics within the so-called metric net (as defined in [27]) to allow us to show that the random metric satisfies the properties that are shown in [27] to characterize TBM.

### 1.4 Prequel overview

*doubly*marked spheres. We recall that

- 1.
In [26] this natural measure on doubly marked Brownian map spheres with two marked points is denoted \(\mu _{{\mathrm {SPH}}}^2\) (and more generally \(\mu _{{\mathrm {SPH}}}^k\) refers to the measure with

*k*marked points). - 2.
In [27] the natural measure on doubly marked \(\sqrt{8/3}\)-LQG spheres is denoted by \(\textsf {M} _{{\mathrm {SPH}}}^2\).

*given*

*A*is that of a sample from a probability measure on unit area surfaces (with the measure rescaled by a factor of

*A*, and distance rescaled by \(A^{1/4}\)—though of course distance is not

*a priori*defined on the LQG side). We remark that in much of the literature on TBM the unit area measure is the primary focus of attention (and it is denoted by \({\mu _{{\mathrm {SPH}}}^{A=1}}\) in [26]).

The paper [27] explains how to explore a doubly marked surface \(({{\mathcal {S}}},x,y)\) sampled from \(\textsf {M} _{{\mathrm {SPH}}}^2\) with an \(\mathrm{SLE}_6\) curve drawn from *x* to *y*. The paper [26] explains how to explore a doubly marked surface \(({{\mathcal {S}}},x,y)\) sampled from \(\mu _{{\mathrm {SPH}}}^2\) by exploring the so-called “metric net,” which consists of the set of points that lie on the outer boundary of \(B^\bullet (x,r)\) for some \(r \in [0,d(x,y)]\). (We are abusing notation slightly here in that \({{\mathcal {S}}}\) represents a quantum surface in the first case and a metric space in the second, and these are *a priori* different types of objects.) In both cases, the exploration/growth procedure “cuts out” a countable collection of disks, each of which comes with a well defined boundary length. Also in both cases, the process that encodes the boundary length corresponds (up to time change) to the set of jumps in the *time-reversal* of a 3/2-stable Lévy excursion with only positive jumps. Moreover, in both cases, the boundary length of each disk “cut out” is encoded by the length of the corresponding jump in the time-reversed 3/2-stable Lévy excursion. Finally, in both cases, the disks can be understood as conditionally independent measure-endowed random surfaces, given their boundary lengths.

The intuitive reason for the similarities between these two types of explorations is explained in the QLE paper [33], and briefly reviewed in Sect. 3. The basic idea is that in the discrete models involving triangulations, the conditional law of the unexplored region (the component containing *y*) does not depend on the rule one uses to decide which triangle to explore next; if one is exploring via the Eden model, one picks a random location on the boundary to explore, and if one is exploring a percolation interface, one explores along a given path. The law of the set of disks cut out by the exploration is the same in both cases.

*L*, is referred to as \(\mu _{{\mathrm {DISK}}}^L\) in [26]. If one explores up to some stopping time before encountering

*y*, then the conditional law of the unexplored region containing

*y*is that of a

*marked*Brownian disk with boundary length

*L*(here

*y*is the marked point), and is referred to as \(\mu _{ {\mathrm {DISK}}}^{1, L}\) in [26]. It is not hard to describe how these two measures are related. If one forgets the marked point

*y*, then both \(\mu _{{\mathrm {DISK}}}^L\) and \(\mu _{ {\mathrm {DISK}}}^{1, L}\) describe probability measures on the space of quantum disks; and from this perspective, the Radon–Nikodym derivative of \(\mu _{ {\mathrm {DISK}}}^{1, L}\) w.r.t. \(\mu _{{\mathrm {DISK}}}^L\) is given (up to multiplicative constant) by the total surface area. Given the quantum disk sampled from \(\mu _{ {\mathrm {DISK}}}^{1, L}\), the conditional law of the marked point

*y*is that of a sample from the quantum measure on the surface.

^{3}The following objects are shown in [27] well defined, and are analogous to objects produced by the measures \(\mu _{{\mathrm {DISK}}}^L\) and \(\mu _{ {\mathrm {DISK}}}^{1, L}\) in [26]:

- 1.
**The**\(\sqrt{8/3}\)-**LQG disk with boundary length***L*. This is a random quantum surface whose law is the conditional law of a surface cut out by the \(\mathrm{SLE}_6\) exploration, given only its boundary length (and not its embedding in the larger surface). - 2.
**The***marked*\(\sqrt{8/3}\)-**LQG disk with boundary length***L*. This is a random quantum surface whose law is obtained by weighting the*unmarked*law by total area, and letting the conditional law of*y*given the surface be that of a uniformly random sample from the area measure (normalized to be a probability measure). It represents the conditional law of the unexplored quantum component containing*y*.

### Proposition 1.4

Consider a doubly marked \(\sqrt{8/3}\)-LQG sphere decorated by an independent whole plane \(\mathrm{SLE}_6\) path \(\eta '\) from its first marked point *x* to its second marked point *y*. We consider \(\eta '\) to be parameterized by its quantum natural time. Fix an \(s>0\) and let \(T_s\) denote the outer boundary of the closed set \(\eta '([0,s])\), i.e., the boundary of the *y*-containing component of the complement of \(\eta '([0,s])\). Then the conditional law of the *y*-containing region (given that its boundary length is \(L_s\)) is that of a marked \(\sqrt{8/3}\)-LQG disk with boundary length \(L_s\). In particular, since this law is rotationally invariant, the overall law of the surface is unchanged by the following random operation: “cut” along \(T_s\), rotate the disk cut out by a uniformly random number in \([0,L_s]\), and then weld this disk back to the beaded quantum surface \(\eta '([0,s])\) (again matching up quantum boundary lengths).

It is natural to allow *s* to range over integer multiples of a constant \(\delta \). As illustrated in Fig. 2, we let \({\mathcal {N}}_k\) denote the “necklace” described by the union \(T_{k\delta } \cup T_{(k+1)\delta } \cup \eta '([k\delta , (k+1)\delta ])\), which we interpret as a *beaded quantum surface* (see [10] and Sect. 2.2) attached to a “string” of some well defined length. Applying the above resampling for each integer multiple of \(\delta \) corresponds to “reshuffling” these necklaces in the manner depicted in Fig. 6.

### Proposition 1.5

Fix \(\delta > 0\) and apply the random rotation described in Proposition 1.4 for each *s* that is an integer multiple of \(\delta \). Taking any subsequential limit as \(\delta \rightarrow 0\), we obtain a coupling of a \(\sqrt{8/3}\)-quantum sphere with a growth process on that sphere, such that the law of the ordered set of disks cut out by that process is the same as in the \(\mathrm{SLE}_6\) case.

The growth process obtained this way is what we will call the *quantum natural time*\(\mathrm{QLE}(8/3,0)\) (as opposed to the *capacity time*\(\mathrm{QLE}(8/3,0)\) process described in [33], which we expect but do not prove to be equivalent to the quantum time version). As already noted in Sect. 1.1, we will make extensive use of quantum natural time \(\mathrm{QLE}(8/3,0)\) in this paper. When we use the term \(\mathrm{QLE}(8/3,0)\) without a qualifier, we will mean the quantum natural time variant.

Let us highlight one subtle point about this paper. Although we *a priori* construct only *subsequential limits* for the growth process \(\mathrm{QLE}(8/3,0)\) using the procedure described in Proposition 1.5, we ultimately show that the metric \(d_{{\mathcal {Q}}}\) defined on a countable sequence of i.i.d. points \((x_n)\) chosen from the quantum measure does not depend on the particular choice of subsequence. Once we know this metric we know, for each \(t \ge 0\) and each *x* and *y* in \((x_n)\), which points from the set \((x_n)\) lie in the set \(\Gamma _t^{x \rightarrow y}\). Since \(\Gamma _t^{x \rightarrow y}\) is closed, we would expect it to be given by precisely the closure of this set of points, which would imply that the growth process described in Proposition 1.5 is a.s. defined as a true (non-subsequential) limit. This would follow immediately if we knew, say, that \(\Gamma _t^{x \rightarrow y}\) was a.s. the closure of its interior. However, we will not prove in this paper that this is the case. That is, we will not rule out the possibility that the boundary of \(\Gamma _t^{x \rightarrow y}\) contains extra “tentacles” that possess zero quantum area and somehow fail to intersect any of the \((x_n)\) values. Ruling out this type of behavior will be part of the program in [28], where we establish a number of continuity estimates for \(\mathrm{QLE}(8/3,0)\) and \(d_{{\mathcal {Q}}}\). Upon showing this, we will be able to remove the word “subsequential” from the statement of Proposition 1.5.

### 1.5 Outline

The remainder of this article is structured as follows. In Sect. 2 we review preliminary facts about continuous state branching processes, quantum surfaces, and conformal removability. In Sect. 3, we recall some of the discrete constructions on random planar triangulations that appeared in [33], which we use to explain and motivate our continuum growth processes. In particular, we will recall that on these triangulated surfaces *random metric explorations* are in some sense “reshufflings” of *percolation explorations*, and in Sect. 4 we construct quantum-time \(\mathrm{QLE}(8/3,0)\) using an analogous reshuffling of \(\mathrm{SLE}_6\). In Sect. 5 we establish a certain symmetry property for continuum percolation explorations (\(\mathrm{SLE}_6\)) on \(\sqrt{8/3}\)-LQG surfaces (a precursor to the main symmetry result we require). Then in Sect. 6 we will give the construction of the quantum natural time variant of \(\mathrm{QLE}(8/3,0)\). In Sect. 7, we establish the main symmetry result we require, and in Sect. 8 we will finish the proof of Theorem 1.1.

## 2 Preliminaries

### 2.1 Continuous state branching processes

We will now review some of the basic properties of continuous state branching processes (CSBPs) and their relationship to Lévy processes. CSBPs will arise in this article because they describe the time-evolution of the quantum boundary length of the boundary of a \(\mathrm{QLE}(8/3,0)\). We refer the reader to [2] for an introduction to Lévy processes and to [18, 20] for an introduction to CSBPs.

*Y*on \(\mathbf {R}_+\) whose transition kernels are characterized by the property that

*Y*. Then we have that [18, Corollary 10.9]

*X*is a Lévy process with Laplace exponent \(\psi \). That is, if \(X_0 = x\) then we have that

*Y*is a \(\psi \)-CSBP and we let

### 2.2 Quantum surfaces

Suppose that *h* is an instance of (a form of) the Gaussian free field (GFF) on a planar domain *D* and \(\gamma \in [0,2)\) is fixed. Then the \(\gamma \)-LQG surface associated with *h* is described by the measure \(\mu _h\) which is formally given by \(e^{\gamma h(z)} dz\) where *dz* denotes Lebesgue measure on *D*. Since the GFF *h* does not take values at points (it is a random variable which takes values in the space of distributions), it takes some care to make this definition precise. One way of doing so is to let, for each \(\epsilon > 0\) and \(z \in D\) such that \(B(z,\epsilon ) \subseteq D\), \(h_\epsilon (z)\) be the average of *h* on \(\partial B(z,\epsilon )\) (see [12, Sect. 3] for more on the circle average process). The process \((z,\epsilon ) \mapsto h_\epsilon (z)\) is jointly continuous in \((z,\epsilon )\) and one can define \(e^{\gamma h(z)} dz\) to be the weak limit as \(\epsilon \rightarrow 0\) along negative powers of 2 of \(\epsilon ^{\gamma ^2/2} e^{\gamma h_\epsilon (z)} dz\) [12]; the normalization factor \(\epsilon ^{\gamma ^2/2}\) is necessary for the limit to be non-trivial. We will often write \(\mu _h\) for the measure \(e^{\gamma h(z)} dz\). In the case that *h* has free boundary conditions, one can also construct the natural boundary length measure \(\nu _h = e^{\gamma h(z)/2} dz\) in a similar manner.

*A*. This allows us to define an equivalence relation on pairs (

*D*,

*h*) by declaring \((D_1,h_1)\) and \((D_2,h_2)\) to be equivalent as quantum surfaces if \(h_1\) and \(h_2\) are related as in (2.10). An equivalence class of such a (

*D*,

*h*) is then referred to as a

**quantum surface**. A choice of representative is referred to as an

**embedding**of the quantum surface.

More generally, suppose that \(D_1,D_2\) are planar domains, \(x_1^i,\ldots ,x_n^i \in {\overline{D}}_i\) for \(i=1,2\) are given points, and \(h_i\) is a distribution on \(D_i\). Then we say that the marked quantum surfaces \((D_i,h_i,x_1^i,\ldots ,x_n^i)\) are equivalent if there exists a conformal transformation \(\varphi :D_1 \rightarrow D_2\), \(\varphi (x_j^1) = x_j^2\) for each \(1 \le j \le n\), and \(h_1\), \(h_2\) are related as in (2.10). Finally, if \(\eta _1^i,\ldots ,\eta _k^i\) is a collection of paths on \(D_i\), then we say that the marked and path-decorated quantum surfaces \((D_i,h_i,x_1^i,\ldots ,x_n^i,\eta _1^i,\ldots ,\eta _k^i)\) are equivalent for \(i=1,2\) if the marked quantum surfaces \((D_i,h_i,x_1^i,\ldots ,x_n^i)\) are equivalent and \(\varphi (\eta _j^1) = \eta _j^2\) for each \(1 \le j \le k\) (where \(\varphi \) is the associated conformal transformation). We emphasize that we will refer to a quantum surface without marked points as simply a quantum surface.

In this work, we will be primarily interested in two types of quantum surfaces, namely quantum disks and spheres. We will remind the reader of the particular construction of a quantum sphere that we will be interested in for this work in Sect. 4.1. We also refer the reader to [10, 27] for a careful definition of a quantum disk as well as several equivalent constructions of a quantum sphere.

We will also consider so-called **beaded quantum surfaces**, which can be defined as a pair (*D*, *h*), modulo the equivalence relation described in (2.11), except that *D* is now a closed set (not necessarily homeomorphic to a disk) such that each component of its interior is homeomorphic to the disk, *h* is only defined as distribution on each of these components, and \(\varphi \) is allowed to be any homeomorphism from *D* to another closed set that is conformal on each component of the interior of *D*. One can also consider marked and path-decorated beaded quantum surfaces as above.

### 2.3 Conformal removability

An LQG surface can be obtained by endowing a topological surface with both a good measure and a conformal structure in a random way. (And we can imagine that these two structures are added in either order.) Given two topological disks with boundary (each endowed with a good area measure in the interior, and a good length measure on the boundary) it is a simple matter to produce a new good-measure-endowed topological surface by taking a quotient that involves gluing (all or part of) the boundaries to each other in a boundary length preserving way.

The problem of *conformally welding* two surfaces is the problem of obtaining a conformal structure on the combined surface, given the conformal structure on the individual surfaces. (See, e.g., [3] for further discussion and references.) To make sense of this idea, we will draw from the theory of *removable sets*, as explained below.

A compact subset *K* of a domain \(D \subseteq \mathbf {C}\) is called (conformally) **removable** if every homeomorphism from *D* into \(\mathbf {C}\) that is conformal on \(D {\setminus } K\) is also conformal on all of *D*. A Jordan domain \(D \subseteq \mathbf {C}\) is said to be a **Hölder domain** if any conformal transformation from \(\mathbf {D}\) to *D* is Hölder continuous all of the way up to \(\partial \mathbf {D}\). It was shown by Jones and Smirnov [16] that if \(K \subseteq D\) is the boundary of a Hölder domain, then *K* is removable; it is also noted there that if a compact set *K* is removable as a subset of *D*, then it is removable in any domain containing *K*, including all of \(\mathbf {C}\). Thus, at least for compact sets *K*, one can speak of removability without specifying a particular domain *D*.

The following proposition illustrates the importance of removability in the setting of quantum surfaces (see also [10, Sect. 3.5]):

### Proposition 2.1

Suppose that (*D*, *h*) is a quantum surface, \(K \subseteq {\overline{D}}\) is compact such that \(D {\setminus } K = D_1 \cup D_2\) for \(D_1,D_2\) disjoint. Suppose that \((D',h')\) is another quantum surface, \(K' \subseteq {\overline{D}}'\) is compact such that \(D' {\setminus } K' = D_1' \cup D_1'\) for \(D_1',D_2'\) disjoint. Assume that \((D_j,h)\) is equivalent to \((D_j',h')\) as a quantum surface for \(j=1,2\) and that, furthermore the associated conformal transformations \(\varphi _j :D_j \rightarrow D_j'\) for \(j=1,2\) extend to a homeomorphism \(D \rightarrow D'\). If *K* is conformally removable, then (*D*, *h*) and \((D',h')\) are equivalent as quantum surfaces.

### Proof

This follows immediately from the definition of conformal removability. \(\square \)

*D*,

*h*) is given by a so-called quantum wedge and

*K*is the range of an \(\mathrm{SLE}_\kappa \) curve \(\eta \) for \(\kappa \in (0,4)\) [10, 41]. A quantum wedge naturally comes with two marked points

*x*and

*y*, which are also the seed and the target point of the \(\mathrm{SLE}\) curve. In this case, the conformal maps \(\varphi _j\) (which are defined on the left and right components of \(D {\setminus } K\)) are chosen so that the quantum length of the image of a segment of \(\eta \) as measured from the left and right sides matches up. With this choice, the \(\varphi _j\) extend to a homeomorphism of the whole domain and it shown in [39] that the range of \(\eta \) is a.s. conformally removable, so Proposition 2.1 applies.

## 3 Eden model and percolation interface

In this section we briefly recall a few constructions from [33, Sect. 2], together with some figures included there. Figure 3 shows a triangulation *T* of the sphere with two distinguished edges \(e_1\) and \(e_2\), and the caption describes a mechanism for choosing a random path in the dual graph of the triangulation, consisting of distinct triangles \(t_1, t_2, \ldots , t_k\), that goes from \(e_1\) to \(e_2\). It will be useful to imagine that we begin with a single 2-gon and then grow the path dynamically, exploring new territory as we go. At any given step, we keep track of the total number edges on the boundary of the already-explored region and the number of vertices remaining to be seen in the component of the unexplored region that contains the target edge. The caption of Fig. 4 explains one step of the exploration process. The exploration process induces a Markov chain on the set of pairs (*m*, *n*) with \(m \ge 0\) and \(n \ge 0\). In this chain, the *n* coordinate is a.s. non-increasing, and the *m* coordinate can only increase by 1 when the *n* coordinate decreases by 1.

Now consider the version of the Eden model in which new triangles are only added to the unexplored region containing the target edge, as illustrated Fig. 5. In both Figs. 3 and 5, each time an exploration step separates the unexplored region into two pieces (each containing at least one triangle) we refer to the one that does not contain the target as a *bubble*. The exploration process described in Fig. 3 created two bubbles (the two small white components), and the exploration process described in Fig. 5 created one (colored blue). We can interpret the bubble as a triangulation of a polygon, rooted at a boundary edge (the edge it shares with the triangle that was observed when the bubble was created).

The specific growth pattern in Fig. 5 is very different from the one depicted in Fig. 3. However, the analysis used in Fig. 4 applies equally well to both scenarios. The only difference between the two is that in Fig. 5 one re-randomizes the seed edge (choosing it uniformly from all possible values) after each step.

In either of these models, we can define \(C_k\) to be the boundary of the target-containing unexplored region after *k* steps. If \((M_k, N_k)\) is the corresponding Markov chain, then the length of \(C_k\) is \(M_k + 2\) for each *k*. Let \(D_k\) denote the union of the edges and vertices in \(C_k\), the edges and vertices in \(C_{k-1}\) and the triangle and bubble (if applicable) added at step *k*, as in Fig. 6. We refer to each \(D_k\) as a *necklace* since it typically contains a cycle of edges together with a cluster of one or more triangles hanging off of it. The analysis used in Fig. 4 (and discussed above) immediately implies the following:

### Proposition 3.1

- 1.
The law of the Markov chain \((M_k,N_k)\) (which terminates when the target 2-gon is reached).

- 2.
The law of the total number of triangles observed before the target is reached.

- 3.
The law of the sequence \(D_k\) of necklaces.

## 4 Infinite measures on quantum spheres

### 4.1 Lévy excursion description of doubly-marked quantum spheres

- 1.
Pick a lifetime

*T*from the measure \(c T^{\rho -2} dT = c T^{-5/3} dT\) on \(\mathbf {R}_+\) where*dT*denotes Lebesgue measure and \(c > 0\) is a constant. Here, \(\rho = 1-1/\alpha = 1/3\) (where \(\alpha =3/2\)) is the so-called positivity parameter of the process [2, Sect. VIII.1]. - 2.
Given

*T*, pick a unit length excursion from the normalized excursion measure \({{\mathbf {n}}}\) associated with a 3/2-stable Lévy process with only positive jumps and then rescale it spatially and in time so that it has length*T*.

*x*and

*y*from such an excursion \(e :[0,T] \rightarrow \mathbf {R}_+\) as follows. For each upward jump of

*e*, we sample a conditionally independent quantum disk whose boundary length is equal to the size of the jump. We assume that each of the quantum disks has a marked boundary point sampled uniformly from its boundary measure together with a uniformly chosen orientation of its boundary. We assume that the marked points and orientations are chosen conditionally independently given the realizations of the quantum disks. Let \({{\mathcal {D}}}\) denote the collection of marked and oriented quantum disks sampled in this way. Then the pair \(e,{{\mathcal {D}}}\) together uniquely determines a doubly-marked surface \(({{\mathcal {S}}},x,y)\) which is homeomorphic to the sphere together with a non-crossing path \(\eta '\) which connects

*x*and

*y*. For each \(t \ge 0\), we let \(U_t\) be the component of \({{\mathcal {S}}}{\setminus } \eta '([0,t])\) which contains

*y*. Then the time-reversal of

*e*describes the evolution of the quantum boundary length of \(\partial U_t\) and the jumps of

*e*describe the boundary lengths of the quantum disks that \(\eta '\) cuts off from

*y*. The time-parameterization of \(\eta '\) so that the quantum boundary length of \(\partial U_t\) is equal to \(e(T-t)\) is the so-called

**quantum natural time**introduced in [10].

One of the main results of [27] is that a doubly-marked surface/path pair \(({{\mathcal {S}}},x,y),\eta '\) produced from \(\textsf {M} _{{\mathrm {SPH}}}^2\)*conditioned* to have quantum area equal to 1 (although \(\textsf {M} _{{\mathrm {SPH}}}^2\) is infinite, this conditioning yields a probability measure) has the law of the unit area quantum sphere constructed in [10], the points *x*, *y* conditional on \({{\mathcal {S}}}\) are chosen uniformly at random from the quantum measure, and the conditional law of \(\eta '\) given \(x,y,{{\mathcal {S}}}\) is that of a whole-plane \(\mathrm{SLE}_6\) process connecting *x* and *y*. This holds more generally when we condition the surface to have quantum area equal to *m* for any fixed \(m > 0\) except in this setting \({{\mathcal {S}}}\) is a quantum sphere of area *m* rather than 1. (As noted earlier, a sample from the law of such a surface can be produced by starting with a unit area quantum sphere and then scaling its associated area measure by the factor *m*.)

If we condition on \({{\mathcal {S}}}\), then the points

*x*and*y*are both chosen independently from the quantum area measure on \({{\mathcal {S}}}\).If we condition on

*x*,*y*, and \({{\mathcal {S}}}\), then \(\eta '\) is whole-plane \(\mathrm{SLE}_6\) from*x*to*y*.The amount of quantum natural time elapsed for \(\eta '\) to travel from

*x*to*y*is equal to*T*(the time corresponding to the Lévy excursion).

*x*and

*y*and then reversing the time of \(\eta '\) [34] (with the quantum natural time parameterization). To see the symmetry of the quantum natural time parameterization under time-reversal, we have from the previous observations that the law of the ordered collection of bubbles cut off by \(\eta '\) from its target point is invariant under the operation of swapping

*x*and

*y*and reversing the time of \(\eta '\). The claim thus follows because the quantum natural time parameterization can be constructed by fixing \(j \in \mathbf {N}\), counting the number \(N(e^{-j-1},e^{-j})\) of bubbles cut off by \(\eta '\) with quantum boundary length in \([e^{-j-1},e^{-j}]\), and then normalizing by a constant times the factor \(e^{3/2j}\). That this is the correct normalization follows since the Lévy measure for a 3/2-stable Lévy process is given by a constant times \(u^{-5/2} du\) where

*du*denotes Lebesgue measure on \(\mathbf {R}_+\). See, for example, [27, Sect. 6.2] for additional discussion of this point as well as Remark 6.4 below in the context of the construction of \(\mathrm{QLE}(8/3,0)\).

\(\eta '(t)\) is distributed uniformly from the quantum boundary measure on \(\partial U_t\) (see [27, Proposition 6.4]).

The components of \({{\mathcal {S}}}{\setminus } \eta '([0,t])\), viewed as quantum surfaces, are conditionally independent given their boundary lengths. Those components which do not contain

*y*are quantum disks given their boundary lengths. The component which does contain*y*has the law of a quantum disk with the given boundary length weighted by its total quantum area.

### 4.2 Weighted measures

*T*equal to the length of the associated Lévy excursion and \(X_t\) the quantum boundary length of the complementary component of \(\eta '([0,t])\) containing

*y*we write

*x*to

*y*. (The additional subscript “\({{\mathrm {D}}}\)” is to indicate that \(\textsf {M} _{{\mathrm {SPH,D}}}^2\) is the “distance weighted” measure.)

We finish this section by recording the following proposition which relates the conditional law of \(\textsf {M} _{{\mathrm {SPH,W}}}^2\) and \(\textsf {M} _{{\mathrm {SPH,D}}}^2\) given \({{\mathfrak {t}}}\) and \(X_{{\mathfrak {t}}}\) to \(\textsf {M} _{{\mathrm {SPH}}}^2\).

### Proposition 4.1

- (i)
Given \({{\mathfrak {t}}}\), the conditional distribution of \(\textsf {M} _{{\mathrm {SPH,W}}}^2\) is the same as the conditional distribution of \(\textsf {M} _{{\mathrm {SPH}}}^2\) when we condition on the event that the length of the Lévy excursion is at least \({{\mathfrak {t}}}\).

- (ii)
For both \({\textsf {m} } = \textsf {M} _{{\mathrm {SPH,W}}}^2\) and \({\textsf {m} } =\textsf {M} _{{\mathrm {SPH,D}}}^2\), given \({{\mathfrak {t}}}\) and \(X_{{\mathfrak {t}}}\), the conditional distribution of \({\textsf {m} }\) is the same as the conditional distribution of \(\textsf {M} _{{\mathrm {SPH}}}^2\) when we condition on the event that the length of the Lévy excursion is at least \({{\mathfrak {t}}}\) and the given value of \(X_{{\mathfrak {t}}}\).

### Proof

We will explain the argument in the case that \({\textsf {m} } = \textsf {M} _{{\mathrm {SPH,W}}}^2\); the same argument gives part (ii).

If we fix the value of \({{\mathfrak {t}}}\), the conditional distribution of the Lévy excursion in the definition of \(\textsf {M} _{{\mathrm {SPH,W}}}^2\) is given by \(c \mathbf{1}_{[{{\mathfrak {t}}},\infty )}(T) d{{\mathbf {n}}}_T T^{-5/3} dT\) where \({{\mathbf {n}}}_T\) is the measure on 3/2-stable Lévy excursions which arises by scaling \({{\mathbf {n}}}\) spatially and in time so that the excursion length is equal to *T*. This representation clearly implies (i). A similar argument gives (ii). \(\square \)

### 4.3 Continuum scaling exponents

We now determine the distribution of *D* (as defined in (4.3)) and *A* (total quantum area of the surface) under \(\textsf {M} _{{\mathrm {SPH}}}^2\).

### Proposition 4.2

Note that the exponents in (4.4), (4.5) match the corresponding exponents derived in [26].

### Proof of Proposition 4.2

We note that (4.5) is explained just after the statement of [27, Theorem 1.4]. Therefore we only need to prove (4.4).

*Y*is a \(u^{3/2}\)-CSBP with \(Y_0 = \epsilon \). Let \(\zeta = \inf \{ t \ge 0 : Y_t = 0\}\) be the extinction time of

*Y*. Then it follows from (2.1) and (2.8) that

## 5 Meeting in the middle

### Theorem 5.1

*x*to

*y*, and \({{\mathfrak {t}}}\ge 0\), where these objects are sampled from \(\textsf {M} _{{\mathrm {SPH,D}}}^2\) as in Sect. 4.2. Let \({\overline{\eta }}'\) be the time-reversal of \(\eta '\) and let \({\overline{{{\mathfrak {t}}}}}\) be the first time that \({\overline{\eta }}'\) hits \(\eta '([0,{{\mathfrak {t}}}])\). Let

\({{\mathcal {X}}}\) be the path-decorated and beaded quantum surface parameterized by the union of \(\eta '|_{[0,{{\mathfrak {t}}}]}\) and the part of \({{\mathcal {S}}}\) separated from

*y*by \(\eta '([0,{{\mathfrak {t}}}])\),\({\overline{{{\mathcal {X}}}}}\) be the path-decorated and beaded quantum surface parameterized by the union of \({\overline{\eta }}'|_{[0,{\overline{{{\mathfrak {t}}}}}]}\) and the part of \({{\mathcal {S}}}\) separated from

*x*by \({\overline{\eta }}'([0,{\overline{{{\mathfrak {t}}}}}])\), and\({{\mathcal {B}}}\) be the (disk-homeomorphic) quantum surface parameterized by \({{\mathcal {S}}}{\setminus } ( {{\mathcal {X}}}\cap {\overline{{{\mathcal {X}}}}} )\).

### Remark 5.2

We emphasize that the assertion of Theorem 5.1 does not give that the surface \({{\mathcal {S}}}\) decorated by the paths \(\eta '|_{[0,{{\mathfrak {t}}}]}\) and \({\overline{\eta }}'|_{[0,{\overline{{{\mathfrak {t}}}}}]}\) is invariant under swapping \(\eta '|_{[0,{{\mathfrak {t}}}]}\) and \({\overline{\eta }}'|_{[0,{\overline{{{\mathfrak {t}}}}}]}\). This statement does not hold because there is an asymmetry in that \(\eta '({{\mathfrak {t}}}) \notin {\overline{\eta }}'([0,{\overline{{{\mathfrak {t}}}}}])\) while we have that \({\overline{\eta }}'({\overline{{{\mathfrak {t}}}}}) \in \eta '([0,{{\mathfrak {t}}}])\). Rather, Theorem 5.1 implies that the induced distribution on triples of \(({{\mathcal {X}}},{\overline{{{\mathcal {X}}}}},{{\mathcal {B}}})\) is invariant under swapping \({{\mathcal {X}}}\) and \({\overline{{{\mathcal {X}}}}}\). The difference between the two statements is that the first statement depends on how the surfaces which correspond to \({{\mathcal {X}}}\), \({\overline{{{\mathcal {X}}}}}\), and \({{\mathcal {B}}}\) are glued together (which determines the locations of the tips) while the second statement does not depend on how everything is glued together. In the \(\mathrm{QLE}(8/3,0)\) analog of Theorem 5.1, which is stated as Theorem 7.1 below (and will be derived as a consequence of Theorem 5.1), we do have the symmetry of the whole picture because the tips are “lost” in the “reshuffling” procedure used to construct \(\mathrm{QLE}(8/3,0)\) from \(\mathrm{SLE}_6\).

Our ultimate aim in this section is to deduce Theorem 5.1 by showing that the \(\textsf {M} _{{\mathrm {SPH,D}}}^2\) distribution on \(({{\mathcal {X}}},{\overline{{{\mathcal {X}}}}},{{\mathcal {B}}})\) can be constructed from \(\textsf {M} _{{\mathrm {SPH,W}}}^2\) by “conditioning” on the event that \({{\mathfrak {t}}}\) is a cut time for \(\eta '\). This will indeed lead to the desired result because, as we will explain in Proposition 5.3 just below, \(\textsf {M} _{{\mathrm {SPH,W}}}^2\) possesses a symmetry property which is similar to that described in Theorem 5.1.

### Proposition 5.3

*x*to

*y*, and \({{\mathfrak {t}}}\ge 0\), where these objects are sampled from \(\textsf {M} _{{\mathrm {SPH,W}}}^2\) as defined in Sect. 4.2. Let \({\overline{\tau }}\) be the first time that \({\overline{\eta }}'\) hits \(\eta '({{\mathfrak {t}}})\). (We emphasize that \({\overline{\tau }}\) is not the same as \({\overline{{{\mathfrak {t}}}}}\), the first time that \({\overline{\eta }}'\) hits \(\eta '([0,{{\mathfrak {t}}}])\).) Let

\({{\mathcal {Y}}}\) be the path-decorated and beaded quantum surface parameterized by the union of \(\eta '|_{[0,{{\mathfrak {t}}}]}\) and the part of \({{\mathcal {S}}}\) which is separated from

*y*by \(\eta '([0,{{\mathfrak {t}}}])\),\({\overline{{{\mathcal {Y}}}}}\) be the path-decorated and beaded quantum surface parameterized by the union of \({\overline{\eta }}'|_{[0,{\overline{\tau }}]}\) and the part of \({{\mathcal {S}}}\) which is separated from

*x*by \({\overline{\eta }}'([0,{\overline{\tau }}])\), and\({{\mathcal {Q}}}\) be the quantum surface parameterized by \({{\mathcal {S}}}{\setminus } ({{\mathcal {Y}}}\cup {\overline{{{\mathcal {Y}}}}})\).

### Proof

We start with the first assertion of the proposition. As mentioned in Sect. 4.1, we know that if we condition on the quantum area *m* of \({{\mathcal {S}}}\) then the joint law of \(({{\mathcal {S}}},x,y)\) and \(\eta '\) is given by a quantum sphere of quantum area *m*, *x* and *y* are independently and uniformly chosen from the quantum area measure, and, given *x*, *y*, \(\eta '\) is an independent whole-plane \(\mathrm{SLE}_6\) connecting *x* and *y*. By the reversibility of whole-plane \(\mathrm{SLE}_6\) established in [34], it thus follows that the joint law of \(({{\mathcal {S}}},x,y)\) and \(\eta '\) is invariant under swapping *x* and *y* and reversing the time of \(\eta '\) when *m* is fixed. Since \({{\mathfrak {t}}}\) is uniform in the amount of quantum natural time *T* required by \(\eta '\) to connect *x* and *y*, we have by symmetry that \({\overline{\tau }}\) is uniform in [0, *T*]. This proves the first part.

It follows from the construction of \(\textsf {M} _{{\mathrm {SPH,W}}}^2\) that \({{\mathcal {Y}}}\) is independent of \({\overline{{{\mathcal {Y}}}}}\) and \({{\mathcal {Q}}}\) given its quantum boundary length (recall Proposition 4.1) and, by symmetry, that \({\overline{{{\mathcal {Y}}}}}\) is independent of \({{\mathcal {Y}}}\) and \({{\mathcal {Q}}}\) given its boundary length. This implies the second assertion of the proposition. \(\square \)

We will establish Theorem 5.1 using the following strategy. Suppose that we have a triple *T*, \(({{\mathcal {S}}},x,y)\), \(\eta '\) which consists of a number \(T \ge 0\), a doubly-marked finite volume quantum surface \({{\mathcal {S}}}\) homeomorphic to \({{\mathbf {S}}}^2\), and a non-crossing path \(\eta '\) on \({{\mathcal {S}}}\) connecting *x* and *y* such that *T* is equal to the total amount of quantum natural time taken by \(\eta '\) to go from *x* to *y*. We assume that \({{\mathcal {S}}}\) is parameterized by \(\mathbf {C}\) with 0 corresponding to *x* and \(\infty \) corresponding to *y*. Let \({{\mathfrak {t}}}\) be uniform in [0, *T*] and let *U* be the unbounded component of \(\mathbf {C}{\setminus } \eta '([0,{{\mathfrak {t}}}])\). Let \({\overline{\eta }}'\) be the time-reversal of \(\eta '\) and let \({\overline{{{\mathfrak {t}}}}}\) be the first time that \({\overline{\eta }}'\) hits \(\eta '([0,{{\mathfrak {t}}}])\). Fix \(\epsilon > 0\) and let \(E_\epsilon \) be the event that \({\overline{\eta }}'({\overline{{{\mathfrak {t}}}}})\) is contained in the interval of \(\partial U\) starting from \(\eta '({{\mathfrak {t}}})\) and continuing in the counterclockwise direction until reaching quantum length \(\epsilon \). (In the case that \(\partial U\) has quantum length at most \(\epsilon \), we take this interval to be all of \(\partial U\).) In other words, \(E_\epsilon \) is the event that \({\overline{\eta }}'({\overline{{{\mathfrak {t}}}}})\) is contained in the quantum length \(\epsilon \) interval on the outer boundary of \(\eta '([0,{{\mathfrak {t}}}])\) which is immediately to the left of \(\eta '({{\mathfrak {t}}})\). Let \({\overline{\tau }}\) be the first time that \({\overline{\eta }}'\) hits \(\eta '({{\mathfrak {t}}})\) and let \(F_\epsilon \) be the event that \({\overline{\eta }}'([0,{\overline{\tau }}]) \cap \eta '([0,{{\mathfrak {t}}}])\) is contained in both the interval of \(\partial U\) centered at \(\eta '({{\mathfrak {t}}})\) with quantum length \(2\epsilon \) and the similarly defined interval on the outer boundary of \({\overline{\eta }}'([0,{\overline{\tau }}])\) with the roles of \(\eta '\) and \({\overline{\eta }}'\) swapped.

Throughout the remainder of this section, we will write \({\mathbf{P}}_u\) for the probability which gives the conditional law of \(\eta '\) and the remaining surface given \({{\mathfrak {t}}}\) and \(X_{{\mathfrak {t}}}=u\) under either \(\textsf {M} _{{\mathrm {SPH,W}}}^2\) or \(\textsf {M} _{{\mathrm {SPH,D}}}^2\). (As we pointed out in Proposition 4.1, this conditional law is the same under both \(\textsf {M} _{{\mathrm {SPH,W}}}^2\) and \(\textsf {M} _{{\mathrm {SPH,D}}}^2\) and the conditional distribution does not depend on the value of \({{\mathfrak {t}}}\).)

### Lemma 5.4

### Proof

This follows because the location of \(\eta '({{\mathfrak {t}}})\) on \(\partial {{\mathcal {Y}}}\) is uniform from the quantum measure given the quantum boundary length of \(\partial {{\mathcal {Y}}}\). \(\square \)

In our next lemma, we show that the conditional law of \(({{\mathcal {X}}},{\overline{{{\mathcal {X}}}}},{{\mathcal {B}}})\) given \(({{\mathfrak {t}}},X_{{\mathfrak {t}}})\) sampled from \(\textsf {M} _{{\mathrm {SPH,W}}}^2\) does not change when we further condition on \(E_\epsilon \). We emphasize, however, that the conditional law of the part of \(\eta '\) which connects \(\eta '({{\mathfrak {t}}})\) and \({\overline{\eta }}'({\overline{{{\mathfrak {t}}}}})\) (the green path segment in Fig. 8) given \(E_\epsilon \) is not the same as its unconditioned law.

### Lemma 5.5

Suppose that \({{\mathcal {X}}}\), \({\overline{{{\mathcal {X}}}}}\), and \({{\mathcal {B}}}\) are as in the statement of Theorem 5.1. The joint law of \({{\mathcal {X}}}\), \({\overline{{{\mathcal {X}}}}}\), and \({{\mathcal {B}}}\) under \(\textsf {M} _{{\mathrm {SPH}}}^2\) conditional on \(({{\mathfrak {t}}},X_{{\mathfrak {t}}})\) is equal to the joint law of \({{\mathcal {X}}}\), \({\overline{{{\mathcal {X}}}}}\), and \({{\mathcal {B}}}\) under \(\textsf {M} _{{\mathrm {SPH}}}^2\) conditional on \(({{\mathfrak {t}}}, X_{{\mathfrak {t}}})\) and \(E_\epsilon \). The same holds with either \(\textsf {M} _{{\mathrm {SPH,W}}}^2\) or \(\textsf {M} _{{\mathrm {SPH,D}}}^2\) in place of \(\textsf {M} _{{\mathrm {SPH}}}^2\).

### Proof

Recall from the end of Sect. 4.1 that, conditionally on \({{\mathcal {X}}}\), the quantum surface parameterized by the component of \({{\mathcal {S}}}{\setminus } {{\mathcal {X}}}\) which contains *y* is a quantum disk weighted by its quantum area decorated by the path \({\overline{\eta }}'|_{[0,{\overline{{{\mathfrak {t}}}}}]}\). Moreover, by the locality property for \(\mathrm{SLE}_6\), we have that the conditional law of \({\overline{\eta }}'|_{[0,{\overline{{{\mathfrak {t}}}}}]}\) is equal to that of a whole-plane \(\mathrm{SLE}_6\) stopped at the first time that it hits \({{\mathcal {X}}}\). (Note that this path-decorated surface determines \({{\mathcal {B}}}\) and \({\overline{{{\mathcal {X}}}}}\).) This implies that, given \({{\mathcal {X}}}\) and this path decorated-surface, \(\eta '({{\mathfrak {t}}})\) is still uniformly distributed according to the quantum measure on its boundary. Therefore conditioning further on \(E_\epsilon \) does not change its conditional law. \(\square \)

In our next lemma, we show that the local behavior of \(X_{{\mathfrak {t}}}\) near \({{\mathfrak {t}}}\) is that of a 3/2-stable Lévy process with only downward jumps.

### Lemma 5.6

Suppose that *Y* is given by the time-reversal of a 3/2-stable Lévy excursion with only upward jumps of length at least *t* conditioned so that \(Y_t = u\). Let \({{\mathcal {Z}}}\) be the Radon–Nikodym derivative between the law of \(s \mapsto Y_{t+s}\) for \(s \in [0,\epsilon ]\) with respect to the law of a 3/2-stable Lévy process with only downward jumps in \([0,\epsilon ]\) starting from *u*. Then we have that \({{\mathcal {Z}}}\rightarrow 1\) in probability as \(\epsilon \rightarrow 0\).

### Proof

This follows, for example, from [26, Lemma 3.19]. \(\square \)

### Proposition 5.7

Fix \(u,\epsilon > 0\) and let *U* be the unbounded component of \(\mathbf {C}{\setminus } \eta '([0,t])\). Let \(\varphi _1 :U \rightarrow \mathbf {H}\) be the unique conformal map which takes \(\infty \) to *i* and \(\eta '(t)\) to 0 and let \(\varphi _2 :\mathbf {H}\rightarrow \mathbf {H}\) be the conformal map which corresponds to scaling so that with \(\varphi = \varphi _2 \circ \varphi _1\) the quantum length assigned to \([-1,0]\) by the quantum boundary measure associated with the field \({\widetilde{h}} = h \circ \varphi ^{-1} + Q\log |(\varphi ^{-1})'| + \tfrac{2}{\gamma } \log \epsilon ^{-1}\) is equal to 1. Let \({\widetilde{\eta }}' = \varphi (\eta ')\).

Sample \(w \in [-1,0]\) according to Lebesgue measure

Sample an \(\mathrm{SLE}_6(2;2)\) process \({\widetilde{\eta }}_w'\) from

*w*to \(\infty \) with force points located at \(w^-,w^+\); let \(V_0\) be the component of \(\mathbf {H}{\setminus } {\widetilde{\eta }}_w'\) with 0 on its boundaryGiven \({\widetilde{\eta }}_w'\), sample an \(\mathrm{SLE}_6\) process \({\widetilde{\eta }}_0'\) in \(V_0\) from 0 to

*w*Take the concatenation of \({\widetilde{\eta }}_0'\) and \({\widetilde{\eta }}_w'\).

### Lemma 5.8

Suppose that \(\eta '\) is a chordal \(\mathrm{SLE}_6\) process from 0 to \(\infty \) in \(\mathbf {H}\) and let \({\overline{\eta }}'\) be its time-reversal. Let \([x,y] \subseteq \mathbf {R}\) be an interval containing a neighborhood of 0, let \({\overline{\tau }}\) be the first time *t* that \({\overline{\eta }}'(t) \in [x,y]\), and let \(w = {\overline{\eta }}'({\overline{\tau }})\). Let \(\tau \) be the last time that \(\eta '\) hits *w* (so that \(\eta '|_{[\tau ,\infty )}\) is the time-reversal of \({\overline{\eta }}'|_{(0,{\overline{\tau }}]}\)). Then the law of \(\delta ^{-1} (\eta '|_{[\tau ,\infty )}-w)\) reparameterized by capacity converges weakly as \(\delta \rightarrow 0\) to that of an \(\mathrm{SLE}_6(2;2)\) process in \(\mathbf {H}\) from 0 to \(\infty \) with force points located at \(0^-\) and \(0^+\) with respect to the topology of local uniform convergence.

### Proof of Lemma 5.8

We let \(\kappa =8/3\), \(\kappa '=16/\kappa =6\), and will write \(\lambda \), \(\lambda '\), and \(\chi \) for the constants in (5.3) with these values of \(\kappa \) and \(\kappa '\). By [30, Theorem 1.1], we can view \({\overline{\eta }}'\) as the counterflow line from \(\infty \) to 0 of a GFF *h* on \(\mathbf {H}\) with boundary conditions given by \(-\lambda ' + \pi \chi = -\lambda + \tfrac{3}{2}\pi \chi \) (resp. \(\lambda ' - \pi \chi = \lambda - \tfrac{3}{2}\pi \chi \)) on \(\mathbf {R}_-\) (resp. \(\mathbf {R}_+\)). Moreover, by [30, Theorem 1.4] we have that the left (resp. right) boundary of \({\overline{\eta }}'\) is given by the flow line \(\eta _L\) (resp. \(\eta _R\)) of *h* starting from 0 with angle \(\pi /2\) (resp. \(-\pi /2\)). That is, \(\eta _L\) (resp. \(\eta _R\)) is the flow line of \(h + \pi \chi /2\) (resp. \(h-\pi \chi /2\)) from 0 to \(\infty \). By [30, Theorem 1.1], the law of \(\eta _L\) (resp. \(\eta _R\)) is that of an \(\mathrm{SLE}_\kappa (\kappa -4;\kappa /2-2) = \mathrm{SLE}_{8/3}(-4/3;-2/3)\) (resp. \(\mathrm{SLE}_\kappa (\kappa /2-2;\kappa -4) =\mathrm{SLE}_{8/3}(-2/3;-4/3)\)) process in \(\mathbf {H}\) from 0 to \(\infty \) with force points located at \(0^-\) and \(0^+\). (See also [35, Fig. 2.5].) In particular, \(\eta _L\) a.s. hits \(\mathbf {R}_-\) but not \(\mathbf {R}_+\) and likewise \(\eta _R\) a.s. hits \(\mathbf {R}_+\) and not \(\mathbf {R}_-\); recall that \(\kappa /2-2\) is the critical \(\rho \)-value at or above which \(\mathrm{SLE}_\kappa (\rho )\) does not hit the boundary.

*w*is either equal to the last intersection of \(\eta _L\) with [

*x*, 0] or to the last intersection of \(\eta _R\) with [0,

*y*]. These two possibilities correspond to when \(w \in [x,0]\) or \(w \in [0,y]\). We shall assume without loss of generality that we are working on the event that the latter holds. Let \({\widetilde{\eta }}_L\) be the flow line with angle \(\pi /2\) of the GFF given by restricting

*h*to the component of \(\mathbf {H}{\setminus } \eta _R\) which is to the left of \(\eta _R\). It follows

^{4}from [10, Proposition 5.7] that the two segments of \(\eta _R\) (which correspond to before and after the path hits

*w*or, equivalently, before and after the path starts the excursion that it makes over

*y*) translated by \(-w\) and rescaled by the factor \(\delta ^{-1}\) converge as \(\delta \rightarrow 0\) to a pair of flow lines \(\eta _1,\eta _2\) of a GFF on \(\mathbf {H}\) with boundary conditions \(\lambda +\pi \chi /2 = \sqrt{2/3} \pi \) (resp. \(-3\lambda +5\pi \chi /2 = -\sqrt{2/3}\pi \)) on \(\mathbf {R}_+\) (resp. \(\mathbf {R}_-\)) with respective angles \(\theta _1=-\pi /2\), \(\theta _2=2\lambda /\chi - \pi /2=5\pi /2\). Moreover, \({\widetilde{\eta }}_L\) translated by \(-w\) and rescaled by \(\delta ^{-1}\) converges along with the two segments of \(\eta _R\) to the flow line \({\widetilde{\eta }}\) of the same limiting GFF used to generate \(\eta _1,\eta _2\) with angle \(\pi /2\) (since the angle gap between \({\widetilde{\eta }}_L\) and \(\eta _R\) is equal to \(\pi \), so the angle gap between \({\widetilde{\eta }}\) and \(\eta _1\) is the same). In particular,

The marginal law of \(\eta _1\) is that of an \(\mathrm{SLE}_\kappa (\kappa -2) = \mathrm{SLE}_{8/3}(2/3)\) process with a single force point located at \(0^-\).

The marginal law of \(\eta _2\) is that of an \(\mathrm{SLE}_\kappa (\kappa -4;2) = \mathrm{SLE}_{8/3}(-4/3;2)\) process with force points located at \(0^-\), \(0^+\).

The conditional law of \(\eta _2\) given \(\eta _1\) is that of an \(\mathrm{SLE}_\kappa (\kappa -4) = \mathrm{SLE}_{8/3}(-4/3)\) process with force point located at \(0^-\).

The conditional law of \({\widetilde{\eta }}\) given \(\eta _1\), \(\eta _2\) is that of an \(\mathrm{SLE}_\kappa (\kappa /2-2;-\kappa /2) = \mathrm{SLE}_{8/3}(-2/3 ;-4/3)\) process with force points located immediately to the left and right of its starting point.

### Lemma 5.9

Suppose that \(\eta '\) is a whole-plane \(\mathrm{SLE}_6\) process from 0 to \(\infty \) in \(\mathbf {C}\). Let \(\tau \) be a stopping time for \(\eta '\) so that \(\eta '([0,\tau ])\) is a.s. bounded and let \({\overline{\sigma }}\) be a stopping time for the time-reversal \({\overline{\eta }}'\) of \(\eta '\) given \(\eta '|_{[0,\tau ]}\) such that \({\overline{\eta }}'|_{[0,{\overline{\sigma }}]}\) does not hit \(\eta '([0,\tau ])\) a.s. Let \({\overline{\tau }}\) be the first time that \({\overline{\eta }}'\) hits \(\eta '([0,\tau ])\). Let \(\psi \) be the unique conformal map from the unbounded component of \(\mathbf {C}{\setminus } \eta '([0,\tau ])\) to \(\mathbf {H}\) which sends \(\infty \) to *i* and \(\eta '(\tau )\) to 0. Then law of the time-reversal of \(\delta ^{-1} \psi ({\overline{\eta }}'|_{[0,{\overline{\tau }}]})\) parameterized by capacity converges weakly respect to the topology of local uniform convergence as \(\delta \rightarrow 0\) to that of a chordal \(\mathrm{SLE}_6(2;2)\) process from 0 to \(\infty \) with force points located at \(0^-\) and \(0^+\).

### Proof

This follows by combining the locality property of whole-plane \(\mathrm{SLE}_6\) with Lemma 5.8. \(\square \)

### Lemma 5.10

Suppose that \(\eta '\) is a whole-plane \(\mathrm{SLE}_6\) process from 0 to \(\infty \) in \(\mathbf {C}\). Let \(\tau \) be a stopping time for \(\eta '\) such that \(\eta '([0,\tau ])\) is bounded a.s. Let \({\overline{\eta }}'\) be the time-reversal of \(\eta '\) and let \({\overline{\tau }}\) be the first time that \({\overline{\eta }}'\) hits \(\eta '([0,\tau ])\). Then \({\overline{\eta }}'({\overline{\tau }})\) is distributed according to harmonic measure as seen from \(\infty \) on the boundary of the unbounded component of \(\mathbf {C}{\setminus } \eta '([0,\tau ])\).

### Proof

This is a consequence of the locality for whole-plane \(\mathrm{SLE}_6\), the domain Markov property, and conformal invariance. \(\square \)

### Proof of Proposition 5.7

We will first prove a version of the proposition in which we have not conditioned on \(E_\epsilon \) or \({{\mathcal {F}}}_{{\overline{\sigma }}}\). That is, we will first argue that as \(\epsilon \rightarrow 0\) (but \(u > 0\) fixed), we have that the joint law of \((\mathbf {H},{\widetilde{h}})\) and \({\widetilde{\eta }}'\) under \({\mathbf{P}}_u\) converges to a pair consisting of a \(\sqrt{8/3}\)-quantum wedge normalized to assign quantum boundary length 1 to \([-1,0]\) and an independent chordal \(\mathrm{SLE}_6\) process in \(\mathbf {H}\) from 0 to \(\infty \).

We will establish this using Lemma 5.6. Suppose that \({\widehat{{{\mathcal {W}}}}} = (\mathbf {H},{\widehat{h}},0,\infty )\) is a \(\sqrt{8/3}\)-quantum wedge and that \({\widehat{\eta }}'\) is a chordal \(\mathrm{SLE}_6\) process from 0 to \(\infty \) sampled independently of \({\widehat{h}}\). Let \(({\widehat{f}}_t)\) denote the forward centered Loewner flow associated with \({\widehat{\eta }}'\) and, for each *s*, we let \({\widehat{X}}_s\) denote the change in the boundary length of \(h \circ {\widehat{f}}_s^{-1} + Q\log | ({\widehat{f}}_s^{-1})'|\) relative to \(s=0\). Assume that \({\widehat{\eta }}'\) is parameterized according to quantum natural time. By [10, Corollary 1.19], we have that \({\widehat{X}}_s\) evolves as a 3/2-stable Lévy process with only downward jumps. Moreover, by [10, Theorem 1.18], we have that conditional on the realization of the entire process \({\widehat{X}}_s\), the components of \(\mathbf {H}{\setminus } {\widehat{\eta }}'\) (viewed as quantum surfaces) are conditionally independent quantum disks given their boundary length and the boundary length of each such disk is given by the corresponding jump of \({\widehat{X}}_s\).

We can construct a coupling of the surface near \(\eta '({{\mathfrak {t}}})\) and \({\widehat{{{\mathcal {W}}}}}\) as follows. Let \(X_s\) denote the quantum length of the outer boundary of \(\eta '([0,{{\mathfrak {t}}}+s])\) relative to the quantum length of the outer boundary of \(\eta '([0,{{\mathfrak {t}}}])\). In other words, we normalize so that \(X_0 = 0\). Fix \(\delta > 0\). Lemma 5.6 implies that there exists \(s_0 > 0\) such that we can find a coupling of *X* and \({\widehat{X}}\) so that the event \(A = \{ X|_{[0,s_0]} = {\widehat{X}}|_{[0,s_0]} \}\) satisfies \({\mathbf{P}}_u[A] \ge 1-\delta \). Note that the conditional law of the quantum disks cut off by \(\eta '\) in the time interval \([0,s_0]\) given \(X|_{[0,s_0]}\) is the same as that for the quantum disks cut off by \({\widehat{\eta }}'\) in the time interval \([0,s_0]\) given \({\widehat{X}}|_{[0,s_0]}\). Consequently, we can couple together these quantum disks so that they are the same (equal as boundary-marked quantum surfaces and with the same orientation) on *A*. We sample the remainder of the quantum disks conditionally independently. On \(A^c\), we sample all of the quantum disks conditionally independently given \(X|_{[0,s_0]}\) and \({\widehat{X}}|_{[0,s_0]}\).

Let \({\widetilde{K}}\) (resp. \({\widehat{K}}\)) be the region cut off from \(\infty \) by \({\widetilde{\eta }}'([0,s_0])\) (resp. \({\widehat{\eta }}'([0,s_0])\)). On *A*, we have that \(({\widetilde{K}},{\widetilde{h}},0)\) and \(({\widehat{K}},{\widehat{h}},0)\) are equal as (marked) quantum surfaces and \((\mathbf {H}{\setminus } {\widetilde{K}},{\widetilde{h}})\) and \((\mathbf {H}{\setminus } {\widehat{K}},{\widehat{h}})\) are conditionally independent as quantum surfaces given \(X_{s_0} = {\widehat{X}}_{s_0}\). Let \({\widetilde{V}}\) (resp. \({\widehat{V}}\)) be the component of the interior of \({\widetilde{K}}\) (resp. \({\widehat{K}}\)) which contains 0. Then there exists a conformal map \({\widetilde{\psi }} :{\widetilde{V}} \rightarrow {\widehat{V}}\) which takes 0 to 0 since \(({\widetilde{V}},{\widetilde{h}},0)\) and \(({\widehat{V}},{\widehat{h}},0)\) are equal as (marked) quantum surfaces. By scaling, we can take the embedding of \((\mathbf {H},{\widehat{h}})\) so that \({\widetilde{\psi }}'(0) = 1\). It therefore follows that \(|{\widetilde{\psi }}(z)-z| \rightarrow 0\) as \(z \rightarrow 0\), hence it is easy to see that the total variation distance between the laws of the restrictions of the two surfaces to \(\mathbf {H}\cap B(0,\delta )\) converges to 0 as \(\delta \rightarrow 0\).

We have now proved the part of the proposition which involves the behavior of the surface near \(\eta '({{\mathfrak {t}}})\). The same proof works if we condition on \(E_\epsilon \) and \({{\mathcal {F}}}_{{\overline{\sigma }}}\) since this conditioning does not change the local behavior of the surface near 0. We shall now assume that we are conditioning on both \(E_\epsilon \) and \({{\mathcal {F}}}_{{\overline{\sigma }}}\). To finish the proof, we need to describe the behavior of \({\widetilde{\eta }}'\) near \({\widetilde{\eta }}'({{\mathfrak {t}}})\). Let \(z_0 = \varphi (\infty )\) and let \({\overline{\tau }}\) be the first time that \({\overline{\eta }}'\) hits \(\eta '([0,{{\mathfrak {t}}}])\). Lemma 5.10 then implies that the distribution of \(\varphi ({\overline{\eta }}'({\overline{\tau }}))\) is equal to the distribution on \([-1,0]\) induced by harmonic measure as seen from \(z_0\) (normalized to be a probability). Since we know that \(z_0 \rightarrow \infty \) as \(\epsilon \rightarrow 0\), it follows that the distribution of \(\varphi ({\overline{\eta }}'({\overline{\tau }}))\) converges to the uniform distribution as \(\epsilon \rightarrow 0\). Moreover, that the law of the path is as claimed follows from Lemma 5.9. \(\square \)

### Lemma 5.11

### Proof

This is obvious from the representation of the conditional law of the configuration near the tip described in Proposition 5.7. \(\square \)

We are now ready to combine everything to complete the proof of Theorem 5.1.

### Proof of Theorem 5.1

As mentioned above, we will complete the proof of the theorem by establishing (5.1) and (5.2). We now introduce the topology respect to which we will establish the weak limits in (5.1) and (5.2). (As mentioned earlier, the exact topology is not important.)

We will first define a metric on the space \({{\mathbf {X}}}\) of finite volume quantum surfaces which are homeomorphic to \(\mathbf {D}\). We can associate with each quantum surface \({{\mathcal {S}}}= (D,h)\) a probability measure on random distributions \({\widetilde{h}}\) by picking \(z \in D\) according to the quantum measure, \(\theta \in [0,2\pi ]\) uniformly at random and independently of *z*, letting \(\varphi :D \rightarrow \mathbf {D}\) be the unique conformal transformation with \(\varphi (z) = 0\) and \(\varphi '(0)/|\varphi '(0)| = e^{i \theta }\), and then taking \({\widetilde{h}} = h \circ \varphi ^{-1} + Q \log |(\varphi ^{-1})'|\). Clearly, if \({{\mathcal {S}}}_1 = (D_1,h_1)\) and \({{\mathcal {S}}}_2 = (D_2,h_2)\) are equivalent as quantum surfaces then the corresponding random distributions \({\widetilde{h}}_1\) and \({\widetilde{h}}_2\) on \(\mathbf {D}\) have the same law. We define our metric *d* on \({{\mathbf {X}}}\) by taking \(d({{\mathcal {S}}}_1,{{\mathcal {S}}}_2)\) for \({{\mathcal {S}}}_1,{{\mathcal {S}}}_2 \in {{\mathbf {X}}}\) to be given by the sum over \(j \in \mathbf {N}\) of \(2^{-j}\) times the Prokhorov distance between the laws of the restrictions of \({\widetilde{h}}_1\) and \({\widetilde{h}}_2\) to \(B(0,1-2^{-j})\). We can also extend the definition of \({{\mathbf {X}}}\) to the setting of *k*-marked quantum surfaces \({{\mathbf {X}}}_k\) which are homeomorphic to \(\mathbf {D}\) by taking the sum over \(j \in \mathbf {N}\) of \(2^{-j}\) times the Prokhorov distance between the joint law of the restriction of \({\widetilde{h}}_1\) to \(B(0,1-2^{-j})\) and its marked points and the joint law of the restriction of \({\widetilde{h}}_2\) to \(B(0,1-2^{-j})\) and its marked points.

We next recall from [10, 27] (as well as Sect. 4) that if we draw an independent whole-plane \(\mathrm{SLE}_6\) on top of a \(\sqrt{8/3}\)-LQG sphere starting from one quantum typical point and targeted at another, then the quantum boundary length of the complementary component containing the target point is given by the time-reversal of a 3/2-stable Lévy excursion *e*. Moreover, the jumps of *e* correspond to the components cut out by the \(\mathrm{SLE}_6\) where the magnitude of a given jump gives the quantum boundary length of the corresponding component. Given *e*, these components are conditionally independent quantum disks which are oriented depending on whether the \(\mathrm{SLE}_6\) surrounded it clockwise or counterclockwise and are also marked by the first (equivalently last) point on the disk boundary visited by the \(\mathrm{SLE}_6\). It is shown in particular in [27, Theorem 1.1] that the \(\mathrm{SLE}_6\)-decorated quantum sphere is a.s. determined by *e* and the collection of oriented and marked quantum disks. Therefore we can view the path-decorated, beaded quantum surface which corresponds to the region separated by an \(\mathrm{SLE}_6\) from its target point as well as the path stopped at a given time as a random variable which takes values in \({{\mathbf {X}}}^*\) which is the product of the space of càdlàg functions with only downward jumps (with the local Skorokhod topology) and \(({{\mathbf {X}}}_1 \times \{0,1\})^\mathbf {N}\); we equip \({{\mathbf {X}}}^*\) with the product topology. Indeed, the time-reversed Lévy excursion naturally is an element of the former space and the ordered collection of marked, oriented quantum disks naturally take values in the latter space (the orientation corresponds to the extra bit).

*f*as above,

*f*bounded and continuous as above, we have that

*I*,

*J*are as above. Then we have that

As a consequence of the analysis which gave the proof of Theorem 5.1, we will also be able to identify the conditional law of \({{\mathcal {B}}}\) under \(\textsf {M} _{{\mathrm {SPH,D}}}^2\) given its boundary length. This will be rather important for us later in this article because, as we will explain now, it implies that \(\partial {{\mathcal {B}}}\) is a.s. conformally removable.

### Proposition 5.12

- (i)
Conditionally on its boundary length, the law of \({{\mathcal {B}}}\) under \(\textsf {M} _{{\mathrm {SPH,D}}}^2\) is that of a quantum disk.

- (ii)
Suppose that \((\mathbf {C},h)\) is any embedding of \(({{\mathcal {S}}},x,y)\) distributed according to \(\textsf {M} _{{\mathrm {SPH,D}}}^2\). Then the image of the embedding of \(\partial {{\mathcal {B}}}\) is a.s. conformally removable.

### Proof

First of all, we know from Lemma 5.5 that the conditional law of \({{\mathcal {B}}}\) given \({{\mathfrak {t}}}\) and \(X_{{\mathfrak {t}}}\) is the same as the conditional law of \({{\mathcal {B}}}\) given \({{\mathfrak {t}}}\), \(X_{{\mathfrak {t}}}\), and \(E_\epsilon \). We define \(d({{\mathcal {S}}}^1,{{\mathcal {S}}}^2)\) as in the proof of Theorem 5.1. The conditional law of the segment \({\widetilde{\eta }}'\) of \(\eta '\) which is contained in \({{\mathcal {B}}}\) and connects \(\eta '({{\mathfrak {t}}})\) to \({\overline{\eta }}'({\overline{{{\mathfrak {t}}}}})\) (i.e., the segment indicated in green in Fig. 8) is given by a chordal \(\mathrm{SLE}_6\) process independent of \({{\mathcal {B}}}\). Let \({\widetilde{{{\mathcal {B}}}}}\) be the component of \({{\mathcal {B}}}{\setminus } {\widetilde{\eta }}'\) with the longest quantum boundary length. Then we know that \({\widetilde{{{\mathcal {B}}}}}\) is a quantum disk conditional on its boundary length because it is a complementary component of \(\eta '\) on \({{\mathcal {S}}}\). The result follows because the *d*-distance between \({\widetilde{{{\mathcal {B}}}}}\) and \({{\mathcal {B}}}\) tends to 0 in probability as \(\epsilon \rightarrow 0\) while, as we mentioned above, the law of \({{\mathcal {B}}}\) does not change with \(\epsilon \). This proves that the conditional law of \({{\mathcal {B}}}\) given its boundary length is a quantum disk.

Assume that \({{\mathcal {B}}}\) is parameterized by \(({\mathscr {S}},{\widetilde{h}})\). Then we know that the law of \({\widetilde{h}}\) is absolutely continuous with respect to a free boundary GFF on \([a,b] \times [0,2\pi ]\) for any \(a,b \in \mathbf {R}\) with \(a < b\). Likewise, we know that the law of *h* in any bounded region \(U \subseteq \mathbf {C}\) is mutually absolutely continuous with respect to the law of the restriction to *U* of a free boundary GFF on a bounded domain with \({\overline{U}} \subseteq V\). Therefore it follows from [33, Theorem 8.1] that the map \(\varphi :[a,b] \times [0,2\pi ] \rightarrow \mathbf {C}\) which corresponds to the embedding of \({{\mathcal {B}}}\) into \(\mathbf {C}\) is a.s. Hölder continuous in \([a,b] \times [0,2\pi ]\). By [10, Proposition A.8], we know that the points on \(\partial {{\mathcal {B}}}\) which correspond to \(\pm \infty \in \partial {\mathscr {S}}\) are uniformly distributed according to the quantum boundary measure on \(\partial {{\mathcal {B}}}\). By resampling them, it follows that the embedding of \({{\mathcal {B}}}\) into \(\mathbf {C}\) is a.s. a Hölder domain. Therefore it follows from [16, Corollary 2] that the embedding of \(\partial {{\mathcal {B}}}\) into \(\mathbf {C}\) is a.s. conformally removable. \(\square \)

## 6 Quantum natural time \(\mathrm{QLE}(8/3,0)\)

The bubbles swallowed by the process have the same Poissonian structure as the bubbles swallowed by an \(\mathrm{SLE}_6\),

The evolution of the quantum boundary length of the complementary component which contains the target point is the same as in the case of an \(\mathrm{SLE}_6\) (the time-reversal of a 3/2-stable Lévy excursion with only positive jumps), and

The law of the region which contains the target point is the same as in the case of \(\mathrm{SLE}_6\) (that of a quantum disk weighted by its area).

### 6.1 Approximations to \(\mathrm{QLE}(8/3,0)\)

Fix \(\delta > 0\) and suppose that \(e :[0,T] \rightarrow \mathbf {R}_+\) is a sample picked from the excursion measure \(\textsf {N} \) for a 3/2-stable Lévy process with only positive jumps as described in Sect. 4.1. We define the \(\delta \)-approximation to \(\mathrm{QLE}(8/3,0)\) associated with the excursion *e* as follows. First, we let \(({{\mathcal {S}}},x,y)\) be a doubly-marked quantum sphere constructed from *e* and let \(\eta _1' = \eta '\) be the associated whole-plane \(\mathrm{SLE}_6\) from *x* to *y*, as described in Sect. 4.1, with the quantum natural time parameterization. For concreteness, we will take the embedding so that \(({{\mathcal {S}}},x,y)= (\mathbf {C},h,0,\infty )\) where 0 (resp. \(\infty \)) corresponds to *x* (resp. *y*) and the scaling factor is determined so that the quantum area of \(\mathbf {D}\) is equal to 1 / 2 the total quantum area of \({{\mathcal {S}}}\).

The conditional law of the surface parameterized by the complement of \(\Gamma _{j\delta }^\delta \) given its quantum boundary length is the same as in the setting of ordinary \(\mathrm{SLE}_6\). That is, it is given by a quantum disk with the given boundary length weighted by its area.

\(\eta _j'(j\delta )\) is distributed uniformly according to the quantum boundary measure on \(\partial \Gamma _{j\delta }^\delta \) conditional on \(\Gamma _{j \delta }^{\delta }\) (as a path-decorated beaded quantum surface).

The law of the components separated from the target point by time \(j \delta \) is the same as in the case of whole-plane \(\mathrm{SLE}_6\). That is, they are given by conditionally independent quantum disks given their boundary lengths.

By resampling the surface parameterized by the complement of \(\Gamma _{j\delta }^\delta \) at each stage, we can construct a coupling of the doubly marked quantum sphere together with the growth process \(\Gamma ^\delta \) so that the quantum boundary length of the complement of \(\Gamma ^\delta \) at each time *t* is given by the time-reversal \(e(T-t)\) of *e*. Indeed, this follows because the procedure of resampling the starting point of the \(\mathrm{SLE}_6\) according to quantum boundary length leaves the law of this component invariant. In particular, the jumps of *e* then correspond to the quantum boundary length of the quantum disks swallowed by \(\Gamma ^\delta \).

*s*(

*t*) be the quantum natural time elapsed by \(\Gamma ^\delta \) at the first time that the capacity as seen from \(\infty \) reaches

*t*then there exists a measure \(\nu _\delta \) on \(\partial \mathbf {D}\times [0,\infty )\) whose second-coordinate marginal is given by Lebesgue measure such that

*B*and a sequence of real numbers \((\xi _k)\) such that with \(W = \sqrt{6} B\) we have that

*dt*denotes Lebesgue measure on \(\mathbf {R}_+\).

The bubbles which it separates from

*y*are conditionally independent quantum disks given their boundary lengths,The boundary length of the complementary component which contains

*y*at time*t*is equal to the time-reversal of*e*at time*t*and is conditionally independent of everything else given its boundary length, andThe conditional law of the region which contains

*y*given its quantum boundary length is the same as in the case of \(\mathrm{SLE}_6\). That is, it is given by a quantum disk with the given boundary length weighted by its area.

### 6.2 Subsequential limits

We are now going to construct subsequential limits of the \(\delta \)-approximations to \(\mathrm{QLE}(8/3,0)\) described just above. We will pick the subsequence so that the limit we obtain satisfies the three properties listed just above.

For each \(\delta > 0\), we let \(({{\mathcal {S}}}_\delta ,x_\delta ,y_\delta )\) be an instance of the doubly-marked quantum sphere decorated together with a \(\delta \)-approximation to \(\mathrm{QLE}(8/3,0)\) which is encoded via a Loewner flow using the measure \(\nu _\delta \), as described just above. We take the embedding of \(({{\mathcal {S}}}_\delta ,x_\delta ,y_\delta )\) to be given by \((\mathbf {C},h_\delta ,0,\infty )\), as in Sect. 6.1, where the scaling factor is chosen so that the quantum area of \(\mathbf {D}\) is equal to 1 / 2 the quantum area of \({{\mathcal {S}}}\). Since we will be taking a subsequential limit with respect to the weak topology (in a sense we will make more precise below), we will not specify how the surfaces \(({{\mathcal {S}}}_\delta ,x_\delta ,y_\delta )\) decorated by \(\nu _\delta \) are coupled together for different values of \(\delta \). For each \(\delta ,T > 0\), we let \(\nu _\delta ^T\) be the restriction of \(\nu _\delta \) to \(\partial \mathbf {D}\times [0,T]\). Since \(\partial \mathbf {D}\times [0,T]\) is compact and each \(\nu _\delta ^T\) has total mass equal to *T*, it follows that the law on random measures \((\nu _\delta ^T)\) is tight in \(\delta > 0\) (but *T* fixed) with respect to the weak topology on measures on \(\partial \mathbf {D}\times [0,T]\).

For each \(0< a_1< a_2 < \infty \), we let \(E_{a_1,a_2}^\delta \) be the event that the area of \({{\mathcal {S}}}_\delta \) is contained in \([a_1,a_2]\). We note that \(E_{a_1,a_2}^\delta \) is an event of positive and finite \(\textsf {M} _{{\mathrm {SPH}}}^2\) measure so that the conditional law of \((\mathbf {C},h_\delta ,0,\infty )\) given \(E_{a_1,a_2}^\delta \) makes sense as a probability measure. Since the law of \(h_\delta \) conditioned on \(E_{a_1,a_2}^\delta \) does not depend on \(\delta \), it follows that there exists a sequence \((\delta _k)\) with \(\delta _k > 0\) for all *k* and \(\delta _k \rightarrow 0\) as \(k \rightarrow \infty \) such that the joint law of \(h_\delta \) and \(\nu _{\delta _k}^T\) given \(E_{a_1,a_2}^{\delta _k}\) converges weakly to a limiting law as \(k \rightarrow \infty \). (We take the notion of convergence of \(h_\delta \) to be that its coordinates converge when expanded in terms of an orthonormal basis of \(H(\mathbf {C})\) consisting of \(C_0^\infty (\mathbf {C})\) functions.) The Skorokhod representation theorem implies that we can find a coupling of the laws of \(h_{\delta _k}\) and \(\nu _{\delta _k}^T\) given \(E_{a_1,a_2}^{\delta _k}\) (as *k* varies) with a doubly-marked quantum sphere \((\mathbf {C},h,0,\infty )\) conditioned on the event \(E_{a_1,a_2}\) that its area is contained in \([a_1,a_2]\) together with a measure \(\nu ^T\) on \(\partial \mathbf {D}\times [0,T]\) whose second coordinate marginal is given by Lebesgue measure such that \(h_{\delta _k} \rightarrow h\) as described above and \(\nu _{\delta _k}^T \rightarrow \nu ^T\) weakly a.s. as \(k \rightarrow \infty \). By passing to a further (diagonal) subsequence, we can find a coupling of the laws of the \((\mathbf {C},h_{\delta _k},0,\infty )\) (unconditioned) and \((\nu _{\delta _k})\) and \((\mathbf {C},h,0,\infty )\) and a measure \(\nu \) on \(\partial \mathbf {D}\times [0,\infty )\) whose second coordinate marginal is given by Lebesgue measure so that with \(\nu ^T\) equal to the restriction of \(\nu \) to \(\partial \mathbf {D}\times [0,T]\) for each \(T \ge 0\) we have that \(h_{\delta _k} \rightarrow h\) and \(\nu _{\delta _k}^T \rightarrow \nu ^T\) weakly a.e. for all \(T > 0\). By [33, Theorem 1.1], it follows that the radial Loewner flows driven by the \(\nu _{\delta _k}\) converge locally uniformly in time and space to the radial Loewner flow driven by \(\nu \) as \(k \rightarrow \infty \) as well.

### Definition 6.1

Suppose that \(({{\mathcal {S}}},x,y) = (\mathbf {C},h,0,\infty )\) is a doubly-marked quantum surface and that \(\Gamma \) is an increasing family of compact hulls with \(K_0 = \{0\}\) so that the joint law of \(({{\mathcal {S}}},x,y)\) and \((K_t)\) is equal to any one of the subsequential limits constructed above. Then we refer to the increasing family \(\Gamma \) (modulo time parameterization) as \(\mathrm{QLE}(8/3,0)\). We say that two \(\mathrm{QLE}(8/3,0)\)-decorated quantum surfaces \(({{\mathcal {S}}},x,y)\), \(\Gamma \) and \(({\widetilde{{{\mathcal {S}}}}},{\widetilde{x}},{\widetilde{y}})\), \({\widetilde{\Gamma }}\) are equivalent if \(({{\mathcal {S}}},x,y)\) and \(({\widetilde{{{\mathcal {S}}}}},{\widetilde{x}},{\widetilde{y}})\) are equivalent as doubly-marked quantum surfaces and the corresponding conformal transformation takes \(\Gamma \) to \({\widetilde{\Gamma }}\) (modulo time parameterization).

As explained in the introduction, it will be a consequence of the results of this work and [28] that it is not necessary to pass along a subsequence \((\delta _k)\) in the construction of \(\mathrm{QLE}(8/3,0)\).

### Remark 6.2

As we will explain below, there are several natural parameterizations of time for \(\mathrm{QLE}(8/3,0)\). We emphasize that the definition of \(\mathrm{QLE}(8/3,0)\) given in Definition 6.1 does not carry with it a time parameterization. We in particular do not build the capacity parameterization into the definition because it depends on the embedding of the ambient surface into \(\mathbf {C}\). Later, we will want to be able to cut a \(\mathrm{QLE}(8/3,0)\) out of a surface and glue it into another and such an operation in general does not preserve capacity because it can lead to a different embedding. The time-parameterizations that we introduce shortly are, however, intrinsic to \(\mathrm{QLE}(8/3,0)\) viewed as a growing family of quantum surfaces.

Definition 6.1 includes a notion of equivalence of \(\mathrm{QLE}(8/3,0)\)-decorated quantum surfaces. We will later introduce a notion of equivalence for a \(\mathrm{QLE}(8/3,0)\) which is stopped at a certain type of stopping time.

Suppose that \(\Gamma \) is a \(\mathrm{QLE}(8/3,0)\) on a doubly-marked sphere \(({{\mathcal {S}}},x,y)\). We say that a region *U* is swallowed by \(\Gamma \) if *U* is equal to the interior of \(\Gamma _t {\setminus } \Gamma _{t^-}\) for some *t*. The following proposition will imply that we can make sense of the quantum natural time parameterization of \(\Gamma \).

### Proposition 6.3

Suppose that \(({{\mathcal {S}}},x,y)\) is a doubly-marked quantum sphere with distribution \(\textsf {M} _{{\mathrm {SPH}}}^2\) and that \(\Gamma \) is a \(\mathrm{QLE}(8/3,0)\) on \({{\mathcal {S}}}\) from *x* targeted at *y*. Then the joint law of the regions swallowed by \(\Gamma \), ordered by the time at which they are swallowed and viewed as quantum surfaces, is the same as for a whole-plane \(\mathrm{SLE}_6\) on \({{\mathcal {S}}}\) connecting *x* to *y*.

### Proof

We shall assume that we are in the setting described at the beginning of this subsection. In particular, we take the embedding of \(({{\mathcal {S}}},x,y)\) to be given by \((\mathbf {C},h,0,\infty )\).

For each \(k \in \mathbf {N}\), we let \(\Gamma ^{\delta _k}\) be the growth process associated with \(\nu _{\delta _k}\). We take \(\Gamma ^{\delta _k}\) to be parameterized by capacity as seen from \(\infty \). By the construction of the \(\delta _k\)-approximation to \(\mathrm{QLE}(8/3,0)\), we know the law of the regions swallowed by \(\Gamma ^{\delta _k}\) ordered by the time at which they are swallowed and viewed as quantum surfaces is the same as for a whole-plane \(\mathrm{SLE}_6\) on \(({{\mathcal {S}}},x,y)\) connecting *x* to *y*. Our aim is to show that this result holds in the limit as \(k \rightarrow \infty \).

For each *k*, we let \({{\mathcal {U}}}^{\delta _k}\) be the collection of surfaces swallowed by \(\Gamma ^{\delta _k}\) ordered by the time at which they are swallowed. We note that for each \(\epsilon > 0\), the collection \({{\mathcal {U}}}_\epsilon ^{\delta _k}\) which consists of those elements of \({{\mathcal {U}}}^{\delta _k}\) with quantum boundary length at least \(\epsilon \) is finite a.s. Indeed, this follows because for \(\textsf {N} \) a.e. *e* we have that the number of jumps made by *e* of size at least \(\epsilon \) is finite. Since the law of each of the \({{\mathcal {U}}}^{\delta _k}\) is the same for each *k*, by possibly passing to a further subsequence (and recoupling the laws using the Skorokhod representation theorem so that we have a.s. convergence) we have that each \(|{{\mathcal {U}}}_\epsilon ^{\delta _k}|\) converges a.s. to a finite limit as \(k \rightarrow \infty \).

For each *j* we let \(U_{j,\epsilon }^{\delta _k}\) be the *j*th element of \({{\mathcal {U}}}_\epsilon ^{\delta _k}\), \(z_{j,\epsilon }^{\delta _k}\) be a point chosen uniformly at random from the quantum measure restricted to \(U_{j,\epsilon }^{\delta _k}\), and let \(\varphi _{j,\epsilon }^{\delta _k} :\mathbf {D}\rightarrow U_{j,\epsilon }^{\delta _k}\) be the unique conformal map with \(\varphi _{j,\epsilon }^{\delta _k}(0) = z_{j,\epsilon }^{\delta _k}\) and \((\varphi _{j,\epsilon }^{\delta _k})'(0) > 0\). (If \(j > |{{\mathcal {U}}}_\epsilon ^{\delta _k}|\) then we take \(\varphi _{j,\epsilon }^{\delta _k} \equiv 0\).) Fix an orthonormal basis \((\phi _n)\) of \(H(\mathbf {D})\) consisting of \(C_0^\infty (\mathbf {D})\) functions. Each element of \({{\mathcal {U}}}_\epsilon ^{\delta _k}\) is a quantum disk hence can be described by a distribution on \(\mathbf {D}\) given by \(h_{\delta _k} \circ \varphi _{j,\epsilon }^{\delta _k} + Q \log |(\varphi _{j,\epsilon }^{\delta _k})'|\). We can express this distribution in terms of coordinates with respect to the orthonormal basis \((\phi _n)\). Therefore by possibly passing to a further, diagonal subsequence (and recoupling the laws using the Skorokhod representation theorem so that we have a.s. convergence) we have for each fixed *j* that the *j*th element of \({{\mathcal {U}}}_\epsilon ^{\delta _k}\) a.s. converges to a limiting distribution on \(\mathbf {D}\) in the sense that each of its coordinates with respect to \((\phi _n)\) converge a.s. (if *j* is larger than the number of elements of \({{\mathcal {U}}}_\epsilon ^{\delta _k}\) then we take the *j*th element to be the zero distribution on \(\mathbf {D}\)). Combining, we have that \({{\mathcal {U}}}_\epsilon ^{\delta _k}\) converges a.s. to a limit \({{\mathcal {U}}}_\epsilon \) which has the same law as each of the \({{\mathcal {U}}}_\epsilon ^{\delta _k}\) in the sense described just above (number of elements converges and each element converges weakly a.s. when parameterized by \(\mathbf {D}\)).

We note that the laws of the \((\varphi _{j,\epsilon }^{\delta _k})'(0)\) are tight as \(k \rightarrow \infty \). Indeed, if there was a uniformly positive chance that one of the \((\varphi _{j,\epsilon }^{\delta _k})'(0)\) is arbitrarily large for large *k*, then we would have that there is a uniformly positive chance that \(({{\mathcal {S}}}^k,x^k,y^k) = (\mathbf {C},h_{\delta _k},0,\infty )\) assigns a uniformly positive amount of area to \(\mathbf {C}{\setminus } B(0,R)\) for each \(R > 0\) and *k* large enough. This, in turn, would lead to the contradiction that the limiting surface \(({{\mathcal {S}}},x,y)\) would have an atom at *y* with positive probability. It therefore follows that by passing to a further subsequence if necessary (and recoupling the laws using the Skorokhod representation theorem so that we have a.s. convergence), we can arrange so that each of the conformal maps \(\varphi _{j,\epsilon }^{\delta _k}\) converge locally uniformly to a limiting conformal map \(\varphi _{j,\epsilon }\). Since \(({{\mathcal {S}}},x,y)\) a.s. does not have atoms, it follows that each of the limiting \(\varphi _{j,\epsilon }\) with \(j \le |{{\mathcal {U}}}_\epsilon |\) satisfy \(\varphi _{j,\epsilon }'(0) \ne 0\).

For each \(j,\epsilon \), we let \(U_{j,\epsilon } = \varphi _{j,\epsilon }(\mathbf {D}) \in {{\mathcal {U}}}_\epsilon \). Then we note that each of the \(U_{j,\epsilon }\) is swallowed by \(\Gamma \). Indeed, let \(\tau _{j,\epsilon }^{\delta _k}\) denote the time at which \(U_{j,\epsilon }^{\delta _k}\) is swallowed by \(\Gamma ^{\delta _k}\). Then by passing to a further subsequence if necessary (and recoupling the laws using the Skorokhod representation theorem so that we have a.s. convergence), we may assume that \(\tau _{j,\epsilon }^{\delta _k}\) a.s. converges to a limit \(\tau _{j,\epsilon }\) for all \(j,\epsilon \). It is not difficult to see that \(\Gamma _{\tau _{j,\epsilon }}\) contains \(U_{j,\epsilon }\) for each \(j,\epsilon \) as \(\Gamma _{\tau _{j,\epsilon }^{\delta _k}}^{\delta _k}\) contains \(U_{j,\epsilon }^{\delta _k}\) and we have the local uniform convergence of \(\varphi _{j,\epsilon }^{\delta _k}\) to \(\varphi _{j,\epsilon }\). Let \(\sigma _{j,\epsilon } = \inf \{t \ge 0 : U_{j,\epsilon } \subseteq \Gamma _t\} \le \tau _{j,\epsilon }\). Note that if \(\zeta > 0\), then \(\sigma _{j,\epsilon } - \zeta \) is strictly smaller than \(\tau _{j,\epsilon }^{\delta _k}-\zeta /2\) for all *k* large enough. Thus as \(\Gamma _{\tau _{j,\epsilon }^{\delta _k}-\zeta /2}^{\delta _k}\) is disjoint from \(U_{j,\epsilon }^{\delta _k}\) for all *k* and \(\Gamma _{\sigma _{j,\epsilon }-\zeta }\) does not contain \(U_{j,\epsilon }\), it must be that \(\Gamma _{\sigma _{j,\epsilon }-\zeta }\) is disjoint from \(U_{j,\epsilon }\). Since \(\zeta > 0\) was arbitrary, it therefore follows that \(U_{j,\epsilon }\) is contained in the interior of \(\Gamma _{\sigma _{j,\epsilon }} {\setminus } \Gamma _{\sigma _{j,\epsilon }^-}\).

Since the \(U_{j,\epsilon }\) as \(j,\epsilon \) vary cover all of the quantum area, it follows that the regions swallowed by \(\Gamma \) at the times \(\sigma _{j,\epsilon }\) are made up entirely of the interior of the closure of the union of families of such sets (if there was an open ball which was contained in a region swallowed by \(\Gamma \) which was disjoint from all of the \(U_{j,\epsilon }\) we would have a contradiction since it would have to contain a positive amount of mass). However, one could worry that there exists such a set \(U_{j',\epsilon '}\) distinct from \(U_{j,\epsilon }\) which is contained in the interior of \(\Gamma _{\sigma _{j,\epsilon }} {\setminus } \Gamma _{\sigma _{j,\epsilon }^-}\). Suppose that there is such a set; we will derive a contradiction which will imply that \(U_{j,\epsilon }\) is precisely the set swallowed by \(\Gamma \) at time \(\sigma _{j,\epsilon }\). Fix \(\zeta > 0\). Define times \(u_i^{\delta _k}\) so that \(u_0^{\delta _k} = 0\) and the quantum natural time elapsed by \(\Gamma ^{\delta _k}\) in \([u_i^{\delta _k},u_{i+1}^{\delta _k}]\) is equal to \(\zeta \). Let \(i_0 \in \mathbf {N}_0\) be the largest such that \(u_{i_0}^{\delta _k} \le \sigma _{j,\epsilon }\) and let \(u^{\delta _k} = u_{i_0-1}^{\delta _k}\), \(v^{\delta _k} = u_{i_0+2}^{\delta _k}\). On the event that \(U_{j,\epsilon }\), \(U_{j',\epsilon '}\) are both swallowed by \(\Gamma \) at the time \(\sigma _{j,\epsilon }\), we claim that the probability that \(U_{j,\epsilon }^{\delta _k}\), \(U_{j',\epsilon '}^{\delta _k}\) are not both swallowed in the interval \([u^{\delta _k},v^{\delta _k}]\) tends to 0 as \(k \rightarrow \infty \). To see this, recall that the quantum surface parameterized by \(\mathbf {C}{\setminus } \Gamma _{u_i^{\delta _k}}^{\delta _k}\) is a quantum disk weighted by its quantum area. Therefore the probability that \(h_{\delta _k} \circ (g_{u_i^{\delta _k}}^{\delta _k})^{-1} + Q\log | (g_{u_i^{\delta _k}}^{\delta _k})^{-1})'|\) assigns quantum area at least \(a > 0\) to \(B(0,1+b) {\setminus } {\overline{\mathbf {D}}}\) tends to 0 as \(b \rightarrow 0\) with \(a > 0\) fixed. By taking a union bound over \(i \in \mathbf {N}_0\) (note that the number of \(i \in \mathbf {N}_0\) such that \(\mathbf {C}{\setminus } \Gamma _{u_i^{\delta _k}}^{\delta _k} \ne \emptyset \) is tight) implies that (uniformly in *k*) the probability that there exists an \(i \in \mathbf {N}_0\) so that \(h_{\delta _k} \circ (g_{u_i^{\delta _k}}^{\delta _k})^{-1} + Q\log | (g_{u_i^{\delta _k}}^{\delta _k})^{-1})'|\) assigns mass at least \(a > 0\) to \(B(0,1+b) {\setminus } {\overline{\mathbf {D}}}\) tends to 0 as \(b \rightarrow 0\) with \(a > 0\) fixed. This implies that the probability that \(U_{j,\epsilon }^{\delta _k}\), \(U_{j',\epsilon '}^{\delta _k}\) are not both swallowed in \([u^{\delta _k},v^{\delta _k}]\) tends to 0 as \(k \rightarrow \infty \) for otherwise it would be a positive probability event that for every \(b > 0\) and \(k \in \mathbf {N}\) large enough there exists \(i \in \mathbf {N}_0\) and \(a > 0\) so that \(h_{\delta _k} \circ (g_{u_i^{\delta _k}}^{\delta _k})^{-1} + Q\log | (g_{u_i^{\delta _k}}^{\delta _k})^{-1})'|\) assigns mass at least \(a > 0\) to \(B(0,1+b) {\setminus } {\overline{\mathbf {D}}}\). This, in turn, leads to the desired contradiction because as \(\zeta \rightarrow 0\), the probability that the boundary length process for \(\Gamma ^{\delta _k}\) makes two macroscopic downward jumps in a (quantum natural time) interval of length \(\zeta > 0\) tends to 0.

Combining everything implies the result, as the law of \({{\mathcal {U}}}_\epsilon ^{\delta _k}\) is the same as the law of each of the \({{\mathcal {U}}}_\epsilon \). \(\square \)

### Remark 6.4

Suppose that \(Y_t\) is a 3/2-stable Lévy process with only positive jumps and that \(\Lambda \) is a Poisson point process on \([0,t] \times \mathbf {R}_+\) with intensity measure \(c ds \otimes u^{-5/2} du\) where *ds*, *du* both denote Lebesgue measure on \(\mathbf {R}_+\) and \(c > 0\) is a constant. Then there exists a value of \(c > 0\) such that \(\Lambda \) is equal in distribution to the set which consists of the pairs (*t*, *u*) where *t* is the time at which *Y* makes a jump and *u* is the size of the jump. This implies that if we observe only the jumps made by *Y* up to a random time *t*, then we can determine *t* by counting the number of jumps that *Y* has made with size between \(e^{-j-1}\) and \(e^{-j}\), dividing by the factor \(c_0 e^{3 j/2}\) where \(c_0 = \tfrac{2 c}{3}(e^{3/2}-1)\), and then sending \(j \rightarrow \infty \). Using the same principle, we can a.s. determine the length of time that the time-reversal of a 3/2-stable Lévy excursion \(e :[0,T] \rightarrow \mathbf {R}_+\) has been run if we only observe its jumps. Combining this with Proposition 6.3, this allows us to make sense of the quantum natural time parameterization of \(\Gamma \) where the jumps are provided by the quantum boundary lengths of the bubbles cut off by \(\Gamma \).

Building on Remark 6.4, we have that the ordered collection of components cut off by a \(\mathrm{QLE}(8/3,0)\) from its target point a.s. determines a 3/2-stable Lévy excursion. We will now show that the time-reversal of this excursion is a.s. equal to the process which gives the boundary length of \(\Gamma \) when parameterized using the quantum natural time parameterization (in the same way that the ordered sequence of bubbles cut off by an \(\mathrm{SLE}_6\) a.s. determines the evolution of the quantum length of its outer boundary) and that the conditional law of the region (viewed as a quantum surface) given its quantum boundary length which contains the target point is the same as for an \(\mathrm{SLE}_6\) — a quantum disk with the given boundary length weighted by its quantum area.

### Proposition 6.5

Suppose that \(({{\mathcal {S}}},x,y)\) is a doubly-marked quantum sphere with distribution \(\textsf {M} _{{\mathrm {SPH}}}^2\) and that \(\Gamma \) is a \(\mathrm{QLE}(8/3,0)\) on \({{\mathcal {S}}}\) from *x* to *y*. We take \(\Gamma \) to be parameterized by quantum natural time as described in Remark 6.4. For each fixed *t*, the conditional law of the (unique) complementary component of \(\Gamma _t\) viewed as a quantum surface given its boundary length is equal to the conditional law of the complementary component containing *y* of a whole-plane \(\mathrm{SLE}_6\) on \({{\mathcal {S}}}\) from *x* to *y* viewed as a quantum surface given its boundary length. That is, it is given by a quantum disk with the given boundary length weighted by its area. As *t* varies, the quantum boundary length of the complementary component of \(\Gamma _t\) evolves in the same manner as for a whole-plane \(\mathrm{SLE}_6\) (i.e., the time-reversal of a 3/2-stable Lévy excursion with only upward jumps) and is equal to the time-reversal of the Lévy excursion whose ordered sequence of jumps is given by the boundary lengths of the components swallowed by \(\Gamma \).

### Proof

We shall assume that \(({{\mathcal {S}}},x,y) = (\mathbf {C},h,0,\infty )\) and that \(\Gamma \) is parameterized by capacity as in the construction of the subsequential limits in the beginning of this subsection. Let \((\delta _k)\) be a sequence as in the beginning of this section and, for each *k*, let \(\Gamma ^{\delta _k}\) be the \(\delta _k\)-approximation to \(\mathrm{QLE}(8/3,0)\). We assume that each of the \(\Gamma ^{\delta _k}\) are parameterized by capacity. For each \(\epsilon > 0\), we let \(\tau _{j,\epsilon }^{\delta _k}\) and \(\tau _{j,\epsilon }\) be as in the proof of Proposition 6.3 (i.e., passing to a further subsequence and recoupling the laws of the \(\delta _k\)-approximations using the Skorokhod representation theorem). Then we know that the law of the quantum surface parameterized by \(\mathbf {C}{\setminus } \Gamma _{\tau _{j,\epsilon }^{\delta _k}}^{\delta _k}\) is equal in distribution to the corresponding surface in the case of an \(\mathrm{SLE}_6\) exploration of a doubly-marked quantum sphere sampled from \(\textsf {M} _{{\mathrm {SPH}}}^2\). Repeating the argument of Proposition 6.3 (i.e., passing to a further subsequence and recoupling the laws of the \(\delta _k\)-approximations using the Skorokhod representation theorem), we can construct a coupling with an \(\mathrm{SLE}_6\) exploration of a doubly-marked quantum sphere so that the unexplored region for the \(\mathrm{QLE}(8/3,0)\) at the time \(\tau _{j,\epsilon }\) is equal to the unexplored region at the corresponding time for an \(\mathrm{SLE}_6\). Moreover, we can arrange so that the ordered sequence of bubbles cut off by \(\Gamma \) by the time \(\tau _{j,\epsilon }\) is equal to the ordered sequence of bubbles cut off by the \(\mathrm{SLE}_6\) by the corresponding time. Remark 6.4 implies that the boundary length of the unexplored region for the \(\mathrm{SLE}_6\) at the time corresponding to \(\tau _{j,\epsilon }\) is determined by the ordered sequence of bubbles cut off by this time. By our choice of coupling, the same is also true for the \(\mathrm{QLE}(8/3,0)\). This implies the result because the times of the form \(\tau _{j,\epsilon }\) are dense in the quantum natural time parameterization. \(\square \)

### Proposition 6.6

Suppose that we have the same setup as in Proposition 6.5 where we have taken \(({{\mathcal {S}}},x,y) = (\mathbf {C},h,0,\infty )\) with \(\Gamma \) parameterized by quantum natural time. Then for each time *t*, we have that \(\mathbf {C}{\setminus } \Gamma _t\) is a Hölder domain for each \(t > 0\) fixed. In particular, \(\partial \Gamma _t\) is a.s. conformally removable.

### Proof

This follows because the law of the surface parameterized by \(\mathbf {C}{\setminus } \Gamma _t\) has the same law as the corresponding surface for an \(\mathrm{SLE}_6\), hence we can apply the argument of Proposition 5.12. \(\square \)

### 6.3 Time parameterizations

- 1.
Capacity time,

- 2.
Quantum natural time, and

- 3.
Quantum distance.

*s*(

*t*) as the

**quantum distance**parameterization for \(\mathrm{QLE}(8/3,0)\). The reason for this terminology is that, as we shall see in the next section, those points which are swallowed by \(\Gamma \) at quantum distance time

*d*have distance

*d*from

*x*in the metric space that we construct. We also note that this time parameterization is particularly natural from the perspective that \(\mathrm{QLE}(8/3,0)\) represents a continuum form of the Eden model. Recall that quantum natural time for \(\mathrm{SLE}_6\) is the continuum analog of the time parameterization for percolation in which each edge is traversed in each unit of time. The quantum distance time therefore corresponds to the time parameterization in which the number of edges traversed in a unit of time is proportional to the boundary length of the cluster. This is the usual time parameterization for the Eden model. Let \(\zeta = \inf \{t > 0: X_t = 0\}\) and let

*x*and

*y*(in the sense that

*x*is the “left” argument of \(d_{{\mathcal {Q}}}(x,y)\) and

*y*is the “right” argument). One of the main inputs into the proof of Theorem 1.1 given in Sect. 8.2 is that \(d_{{\mathcal {Q}}}(x,y)\) is symmetric in

*x*and

*y*and in fact a.s. determined by the underlying surface \({{\mathcal {S}}}\).

### Lemma 6.7

Suppose that \(\Gamma \) is a \(\mathrm{QLE}(8/3,0)\) with either the quantum distance or quantum natural time parameterization. We a.s. have for all \(0 \le s < t\) that \(\Gamma _s\) is a strict subset of \(\Gamma _t\).

### Proof

This follows because it is a.s. the case that in each open interval of time in the quantum natural time parameterization \(\Gamma \) swallows a bubble and the same is also true for the quantum distance parameterization. \(\square \)

### Remark 6.8

Lemma 6.7 implies that the function which converts from the quantum natural time (resp. distance) parameterization to the capacity time parameterization is a.s. strictly increasing. It does not, however, rule out the possibility that this time change has jumps.

## 7 Symmetry

*x*to

*y*(resp.

*y*to

*x*), and \(U \in [0,1]\). We assume that \(\Gamma \) (resp. \({\overline{\Gamma }}\)) is produced from the limiting law associated with \((\delta _k)\) (resp. \(({\overline{\delta }}_k)\)). A sample from \(\Theta \) is produced by:

- 1.
Picking \(({{\mathcal {S}}},x,y)\) from \(\textsf {M} _{{\mathrm {SPH}}}^2\),

- 2.
Picking \(\Gamma \) and \({\overline{\Gamma }}\) conditionally independently given \(({{\mathcal {S}}},x,y)\), and

- 3.
Taking

*U*to be uniform in [0, 1] independently of everything else.

*a priori*clear that the quantities \(d_{{\mathcal {Q}}}(x,y)\) and \({\overline{d}}_{{\mathcal {Q}}}(y,x)\) should be related because the former is a measurement of distance between

*x*and

*y*from the “left” while the latter measures distance from the “right.” Moreover, \(d_{{\mathcal {Q}}}(x,y)\) and \({\overline{d}}_{{\mathcal {Q}}}(y,x)\) are defined with what

*a priori*might be different subsequential limits of \(\mathrm{QLE}(8/3,0)\).

### Theorem 7.1

Suppose that we have the setup described just above. Then the \(\Theta ^{x \rightarrow y}\) distribution of \(\Gamma |_{[0,\tau ]}\), \({\overline{\Gamma }}|_{[0,{{\overline{\tau }}}]}\),\(({{\mathcal {S}}},x,y)\) is equal to the \(\Theta ^{y \rightarrow x}\) distribution of \(\Gamma |_{[0,\sigma ]}\), \({\overline{\Gamma }}|_{[0,{{\overline{\sigma }}}]}\), \(({{\mathcal {S}}},x,y)\).

### 7.1 Conditional independence in the limit

We will need to have a version of the following statement in the proof of Theorem 7.1. Suppose that we start with a doubly-marked quantum sphere \(({{\mathcal {S}}},x,y)\) together with a \(\delta _k\)-approximation of \(\mathrm{QLE}(8/3,0)\) from *x* to *y* and a \({\overline{\delta }}_k\)-approximation of \(\mathrm{QLE}(8/3,0)\) from *y* to *x*, taken to be conditionally independent given \(({{\mathcal {S}}},x,y)\). Then in the weak limit along sequences \((\delta _k)\) and \(({\overline{\delta }}_k)\) as in Sect. 6.2 we have that the resulting \(\mathrm{QLE}(8/3,0)\)’s are conditionally independent given the underlying quantum surface, at least when the processes are grown up to a time at or before they first touch.

### Proposition 7.2

Suppose that \((\delta _k)\), \(({\overline{\delta }}_k)\) are two sequences as in Sect. 6.2. Suppose further that, for each *k*, we have a triple consisting of a doubly-marked quantum sphere \(({{\mathcal {S}}}^k,x^k,y^k) = (\mathbf {C},h^k,0,\infty )\), a \(\delta _k\)-approximation \(\Gamma ^k\) of \(\mathrm{QLE}(8/3,0)\) from 0 to \(\infty \), and a \({\overline{\delta }}_k\)-approximation \({\overline{\Gamma }}^k\) of \(\mathrm{QLE}(8/3,0)\) from \(\infty \) to 0. We assume further that \(\Gamma ^k\) and \({\overline{\Gamma }}^k\) are conditionally independent given \(h^k\) and that both are parameterized by capacity as seen from their target point. Let \(({{\mathcal {S}}},x,y) = (\mathbf {C},h,0,\infty )\), \(\Gamma \), \({\overline{\Gamma }}\) be distributed as the weak limit of the aforementioned triple (so both of the limiting \(\mathrm{QLE}(8/3,0)\)’s are parameterized by capacity as seen from their target point and the type of limit is as in Sect. 6.2). Let \(\tau \) be any stopping time for the filtration generated by \(\Gamma \) and the restriction of *h* to the interior of \(\Gamma _t\) so that \(\Gamma _{\tau }\) is a.s. bounded and let \({{\overline{\tau }}}\) be the first time that \({\overline{\Gamma }}\) hits \(\Gamma _{\tau }\). Then the joint distribution of \((\mathbf {C},h,0,\infty )\), \(\Gamma |_{[0,\tau ]}\), and \({\overline{\Gamma }}|_{[0,{{\overline{\tau }}}]}\) is equal to the corresponding distribution if we had taken \(\Gamma \) and \({\overline{\Gamma }}\) to be \(\mathrm{QLE}(8/3,0)\) processes generated respectively from the limiting law associated with \((\delta _k)\) and \(({\overline{\delta }}_k)\) sampled conditionally independently given *h*.

In order to establish Proposition 7.2, we will need to control the Radon–Nikodym derivative of the conditional law of the approximation of one of the \(\mathrm{QLE}(8/3,0)\)’s given the other. It is not hard to find a counterexample which shows that if a sequence \((X_k,Y_k,Z_k)\) converges weakly to (*X*, *Y*, *Z*) such that \(X_k\), \(Y_k\) are conditionally independent given \(Z_k\) for each *k* then it is not necessarily true that *X*, *Y* are conditionally independent given *Z*. We begin with Lemma 7.3 which gives a condition under which the conditional independence of \(X_k,Y_k\) given \(Z_k\) implies the conditional independence of *X*, *Y* given *Z*. We will then use this condition in Lemma 7.5 to get the conditional independence of the limiting \(\mathrm{QLE}(8/3,0)\)’s stopped upon exiting a pair of disjoint open sets from which Proposition 7.2 will follow.

### Lemma 7.3

Suppose that \((X_k,Y_k,Z_k)\) is a sequence of random variables such that \(X_k\) and \(Y_k\) are conditionally independent given \(Z_k\) for each *k* and \((X_k,Y_k,Z_k) \rightarrow (X,Y,Z)\) weakly as \(k \rightarrow \infty \). For each *k*, let \(f_k\) (resp. \(g_k\)) be the Radon–Nikodym derivative of the conditional law of \(X_k\) (resp. \(Y_k\)) given \(Z_k\) with respect to its unconditioned law. For each *k*, we let \(m_k^X, m_k^Y,m_k^Z\) respectively denote the laws of \(X_k,Y_k,Z_k\). Assume that \(f_k = f\) and \(g_k = g\) do not depend on *k*, that *f*, *g* are continuous, and that \(f(X_k,Z_k) g(Y_k,Z_k)\) is uniformly integrable for \( dm_k^X d m_k^Y d m_k^Z\). Then *X*, *Y* are conditionally independent given *Z*.

### Proof

*f*,

*g*are bounded. The result in the general case follows from a simple truncation argument. Let \(m^X,m^Y,m^Z\) be the respective laws of

*X*,

*Y*,

*Z*. Then the joint law of \((X_k,Y_k,Z_k)\) is given by

*F*is a bounded, continuous function of \((X_k,Y_k,Z_k)\). Then the weak convergence of \((X_k,Y_k,Z_k)\) to (

*X*,

*Y*,

*Z*) as \(k \rightarrow \infty \) implies that

*X*,

*Y*,

*Z*). From the form of the joint law, it is clear that

*X*,

*Y*are conditionally independent given

*Z*, as desired. \(\square \)

Take the projection of

*h*onto \({{\mathcal {H}}}_1(\mathscr {C})\) to be given by \(\tfrac{2}{\gamma } \log Z\) reparameterized to have quadratic variation*du*where*Z*is picked from the Itô excursion measure \(\nu _\delta ^{\mathrm {BES}}\) of a Bessel process of dimension \(\delta = 4-\tfrac{8}{\gamma ^2}\). This defines*Z*modulo horizontal translation.Sample the projection onto \({{\mathcal {H}}}_2(\mathscr {C})\) independently from the law of the corresponding projection of a whole-plane GFF on \(\mathscr {C}\).

Fix \(r \in \mathbf {R}\) and suppose that \((\mathscr {C},h,-\infty ,+\infty )\) is sampled from \(\textsf {M} _{\mathrm{BES}}\) conditioned on the supremum of the projection of *h* onto \({{\mathcal {H}}}_1(\mathscr {C})\) exceeding *r* (this defines a probability measure). We take the horizontal translation so that the projection of *h* onto \({{\mathcal {H}}}_1(\mathscr {C})\) first hits *r* at \(u=0\). We note that the projection of *h* onto \({{\mathcal {H}}}_1(\mathscr {C})\) takes a simple form for \(u \ge 0\): it is given by the function whose common value on \(u + [0,2\pi i]\) is equal to \(B_u + (\gamma -Q) u\) where *B* is a standard Brownian motion with \(B_0 = r\).

Suppose that \({\widehat{h}}\) is a whole-plane GFF on \(\mathscr {C}\) plus the function \((\gamma -Q) {\mathrm {Re}}(z)\). We assume that the additive constant for \({\widehat{h}}\) is fixed so that its average on \([0, 2\pi i]\) is equal to *r*. Then the restriction to \(\mathscr {C}_+\) of the projection of \({\widehat{h}}\) onto \({{\mathcal {H}}}_1(\mathscr {C})\) has the same law as for *h* above. This implies that the restrictions of *h* and \({\widehat{h}}\) to \(\mathscr {C}_+\) have the same distribution (as the projections of \(h,{\widehat{h}}\) onto \({{\mathcal {H}}}_2(\mathscr {C})\) also have the same distribution). In particular, by the Markov property of the GFF, the conditional law of *h* given its values in any neighborhood *V* of \(\mathscr {C}_-\) is that of a GFF in \(\mathscr {C}{\setminus } V\) with zero boundary values plus the function which is harmonic in \(\mathscr {C}{\setminus } V\) which has the same boundary values on \(\partial V\) and at \(+\infty \) as *h*.

### Lemma 7.4

*h*onto \({{\mathcal {H}}}_1(\mathscr {C})\) exceeding

*r*. We take the horizontal translation so that the projection of

*h*onto \({{\mathcal {H}}}_1(\mathscr {C})\) first hits

*r*at \(u=0\). Let \(U \subseteq \mathscr {C}\) be a neighborhood of \(+\infty \) which is contained in \(\mathscr {C}_+\) and let

*V*be a neighborhood of \(\mathscr {C}_-\) such that \(\mathop {{\mathrm {dist}}}(U,V) > 0\). Let

*g*be equal to the harmonic extension of \(f-h|_V\) from

*V*to \(\mathscr {C}{\setminus } V\) and let \({\widetilde{g}} = g \phi \) where \(\phi \in C^\infty ({{\mathcal {Q}}})\) is such that \(\phi \equiv 0\) in a neighborhood of

*V*and \(\phi |_U \equiv 1\). Let \({{\mathcal {Z}}}_{U,V}\) be defined by

*h*to

*U*weighted by \({{\mathcal {Z}}}_{U,V}\) is equal to the law of \(h|_U\) conditional on the restriction \(h|_V\) of

*h*to

*V*being equal to

*f*.

### Proof

We first recall that if *h* is a GFF on a domain \(D \subseteq \mathbf {C}\) and \(f \in H(D)\) then the Radon–Nikodym derivative of the law of \(h+f\) with respect to the law of *h* is given by \(\exp ((h,f)_\nabla -\Vert f \Vert _\nabla ^2/2)\). (This is proved by using that the Radon–Nikodym derivative of the law of a \(N(\mu ,1)\) random variable with respect to the law of a *N*(0, 1) random variable is given by \(e^{x \mu - \mu ^2/2}\).)

*U*with Dirichlet boundary conditions on \(\partial V\) and at \(+\infty \) given by those of

*h*. Consequently, by the Markov property for the GFF, we can sample from the law of \(h|_U\) conditioned on \(h|_V = f\) by:

- 1.
Sampling

*h*according to its unconditioned law and then - 2.
Adding to \(h|_U\) the harmonic extension

*g*of \(f-h|_V\) from*V*to \(\mathscr {C}{\setminus } V\).

*h*given \(h|_V\) is equal to

### Lemma 7.5

Suppose that \(({{\mathcal {S}}},x,y) = (\mathbf {C},h,0,\infty )\) is as in Lemma 7.4 where the embedding is given by applying the change of coordinates \(\mathscr {C}\rightarrow \mathbf {C}\) given by \(z \mapsto e^z\). Let \(V \subseteq \mathbf {C}\) be a bounded open neighborhood of \(\mathbf {D}\) and \(U \subseteq \mathbf {C}\) be an open neighborhood of \(\infty \) such that \(\mathop {{\mathrm {dist}}}(U,V) > 0\). Let \((\delta _k)\), \(({\overline{\delta }}_k)\) be sequences as in Sect. 6.2. Suppose that \(\Gamma ^k\) is a \(\delta _k\)-approximation to \(\mathrm{QLE}(8/3,0)\) from 0 to \(\infty \) and \({\overline{\Gamma }}^k\) is a \({\overline{\delta }}_k\)-approximation to \(\mathrm{QLE}(8/3,0)\) from \(\infty \) to 0. Assume that \(\Gamma ^k\) and \({\overline{\Gamma }}^k\) are conditionally independent given *h* and that both have the capacity time parameterization as seen from their target point. Let \(\tau _V\) (resp. \(\tau _U\)) be the infimum of times *t* that \(\Gamma ^k\) (resp. \({\overline{\Gamma }}^k\)) is not in *V* (resp. *U*). Then the joint law of \((\mathbf {C},h,0,\infty )\), \(\Gamma ^k|_{[0,\tau _V]}\), \({\overline{\Gamma }}^k|_{[0,\tau _U]}\) converges weakly as \(k \rightarrow \infty \) to a triple which consists of a doubly-marked quantum sphere \((\mathbf {C},h,0,\infty )\) conditioned as in Lemma 7.4, a \(\mathrm{QLE}(8/3,0)\) process \(\Gamma \) from 0 to \(\infty \) stopped upon exiting *V*, and a \(\mathrm{QLE}(8/3,0)\) process \({\overline{\Gamma }}\) from \(\infty \) to 0 stopped upon exiting *U* with both \(\Gamma \) and \({\overline{\Gamma }}\) parameterized by capacity as seen from their target point. Moreover, \(\Gamma \) and \({\overline{\Gamma }}\) are conditionally independent given *h*.

### Proof

We know that the joint law of the restriction \(h|_V\) of *h* to *V* along with \(\Gamma ^k\) converges weakly as \(k \rightarrow \infty \). We likewise know that the same is true for \(h|_U\) along with \({\overline{\Gamma }}^k\). As mentioned earlier, by [27, Theorem 1.4], the Radon–Nikodym derivative of \(\textsf {M} _{{\mathrm {SPH}}}^2\) with respect to \(\textsf {M} _{\mathrm{BES}}\) is given by a constant. It therefore follows that we also have weak convergence as \(k \rightarrow \infty \) when we produce our sample of \(({{\mathcal {S}}},x,y)\) using \(\textsf {M} _{\mathrm{BES}}\) in place of \(\textsf {M} _{{\mathrm {SPH}}}^2\) and it suffices to show that the weak limit which comes from \(\textsf {M} _{\mathrm{BES}}\) has the desired conditional independence property. So, in what follows, we assume that \(({{\mathcal {S}}},x,y)\) is sampled from \(\textsf {M} _{\mathrm{BES}}\).

By the locality property for \(\mathrm{SLE}_6\), observe that the Radon–Nikodym derivative \({{\mathcal {Z}}}_{U,V}\) of the conditional law of \(h|_U\) and \({\overline{\Gamma }}^k|_{[0,\tau _U]}\) given \(h|_V\) and \(\Gamma ^k|_{[0,\tau _V]}\) with respect to the unconditioned law is equal to the Radon–Nikodym derivative of the conditional law of \(h|_U\) given \(h|_V\) with respect to the unconditioned law of \(h|_U\). By the explicit form of \({{\mathcal {Z}}}_{U,V}\) given in (7.3) of Lemma 7.4, we see that \({{\mathcal {Z}}}_{U,V}\) is a continuous function of the harmonic extension of \(h|_V\) to \(\mathbf {C}{\setminus } V\) restricted to *U*. By passing to subsequences of \((\delta _k)\) and \(({\overline{\delta }}_k)\) if necessary, we may assume that this harmonic extension converges weakly with along the other previously mentioned variables \(k \rightarrow \infty \). Combining everything with Lemma 7.3 implies the result. \(\square \)

### Proof of Proposition 7.2

Lemma 7.5 implies that the assertion of the proposition holds if we replace \(\tau \) with the first time *t* that \(\Gamma \) exits a bounded open neighborhood *V* of 0 and we replace \({{\overline{\tau }}}\) with the first time *t* that \({\overline{\Gamma }}\) exits a neighborhood *U* of \(\infty \) with \(\mathop {{\mathrm {dist}}}(U,V) > 0\). By taking a limit as *U* increases to the interior of the complement of *V*, it follows that the assertion of the lemma holds if we take \(\tau \) to be the first time *t* that \(\Gamma \) exits *V* and \({{\overline{\tau }}}\) to be the first time *t* that \({\overline{\Gamma }}\) exits the interior of \(\mathbf {C}{\setminus } V\). The result follows because this holds for all *V* which are bounded and open. \(\square \)

### 7.2 Reshuffling a pair of \(\mathrm{SLE}_6\)’s

#### 7.2.1 Setup

We begin by describing the setup and notation that we will use throughout this subsection. We first suppose that \({{\mathcal {X}}}\), \({\overline{{{\mathcal {X}}}}}\), \({{\mathcal {B}}}\), \(\eta '\), \({\overline{\eta }}'\), \({{\mathfrak {t}}}\), and \({\overline{{{\mathfrak {t}}}}}\) are as in Theorem 5.1. (In the setting of the statement of Theorem 7.1, \({{\mathfrak {t}}}\) plays the role of \(\tau \) and \({\overline{{{\mathfrak {t}}}}}\) plays the role of \({{\overline{\tau }}}\).) Then we know that the \(\textsf {M} _{{\mathrm {SPH,D}}}^2\) distribution of \(({{\mathcal {X}}},{\overline{{{\mathcal {X}}}}},{{\mathcal {B}}})\) is invariant under the operation of swapping \({{\mathcal {X}}}\) and \({\overline{{{\mathcal {X}}}}}\). Let \((\delta _k)\), \(({\overline{\delta }}_k)\) be sequences of positive numbers decreasing to 0 as in Sect. 6.2. Let \(\Gamma ^k|_{[0,{{\mathfrak {t}}}]}\) be the \(\delta _k\)-approximation to \(\mathrm{QLE}(8/3,0)\) which we take to be coupled with \(\eta '|_{[0,{{\mathfrak {t}}}]}\) so that the bubbles that it separates from its target are the same as quantum surfaces as the bubbles separated by \(\eta '|_{[0,{{\mathfrak {t}}}]}\) from its target point. That is, in the construction of \(\Gamma ^k|_{[0,{{\mathfrak {t}}}]}\) we take the time-reversal of the Lévy excursion *e* to be the same as the time-reversal of the Lévy excursion for \(\eta '\) up to time \({{\mathfrak {t}}}\) and we take the bubbles that \(\Gamma ^k|_{[0,{{\mathfrak {t}}}]}\) separates from its target point up to time \({{\mathfrak {t}}}\) to be the same as the bubbles that \(\eta '\) separates from its target point up to time \({{\mathfrak {t}}}\). We sample the rest of the process and quantum sphere conditionally independently given its realization of up to time \({{\mathfrak {t}}}\).

We likewise let \({\overline{\Gamma }}^k|_{[0,{\overline{{{\mathfrak {t}}}}}]}\) be the \({\overline{\delta }}_k\)-approximation to \(\mathrm{QLE}(8/3,0)\) which we take to be coupled with \({\overline{\eta }}'|_{[0,{\overline{{{\mathfrak {t}}}}}]}\) so that the bubbles it separates from its target are the same as quantum surfaces as the bubbles separated by \({\overline{\eta }}'|_{[0,{\overline{{{\mathfrak {t}}}}}]}\) from its target point. We sample the rest of the process and the quantum sphere on which it is growing conditionally independently given its realization up to time \({\overline{{{\mathfrak {t}}}}}\).

Consider the doubly-marked quantum sphere \(({{\mathcal {S}}}^k,x^k,y^k)\) which arises by starting with the doubly-marked sphere \(({{\mathcal {S}}},x,y)\) as above, cutting out the quantum surfaces separated by \(\eta '|_{[0,{{\mathfrak {t}}}]}\) and \({\overline{\eta }}'|_{[0,{\overline{{{\mathfrak {t}}}}}]}\) from their respective target points, and then gluing in according to quantum boundary length the corresponding quantum surfaces for \(\Gamma ^k|_{[0,{{\mathfrak {t}}}]}\) and \({\overline{\Gamma }}^k|_{[0,{\overline{{{\mathfrak {t}}}}}]}\). (See Fig. 11 for an illustration.) We identify the tip of the final \(\mathrm{SLE}_6\) segment used to build \(\Gamma ^k|_{[0,{{\mathfrak {t}}}]}\) with \(\eta '({{\mathfrak {t}}})\) and likewise for \({\overline{\Gamma }}^k|_{[0,{\overline{{{\mathfrak {t}}}}}]}\) and \({\overline{\eta }}'({\overline{{{\mathfrak {t}}}}})\). Proposition 5.12 implies that the resulting quantum surface is uniquely determined by this gluing operation. Moreover, the distribution of \(({{\mathcal {S}}}^k,x^k,y^k)\) is equal to that of \(({{\mathcal {S}}},x,y)\). We abuse notation and let \(\Gamma ^k\) and \({\overline{\Gamma }}^k\) be the resulting \(\delta _k\) and \({\overline{\delta }}_k\)-approximations to \(\mathrm{QLE}(8/3,0)\) and let \({{\mathcal {B}}}^k\) be the region in \({{\mathcal {S}}}^k\) which is not in either \(\Gamma _{{\mathfrak {t}}}^k\) or \({\overline{\Gamma }}_{{\overline{{{\mathfrak {t}}}}}}^k\).

Throughout, we will write \(\tau \) (resp. \({{\overline{\tau }}}\)) for \({{\mathfrak {t}}}\) (resp. \({\overline{{{\mathfrak {t}}}}}\)) when referring to either \(\Gamma ^k\) or \(\Gamma \) (resp. \({\overline{\Gamma }}^k\) or \({\overline{\Gamma }}\)) and use \({{\mathfrak {t}}}\) (resp. \({\overline{{{\mathfrak {t}}}}}\)) when referring to \(\eta '\) (resp. \({\overline{\eta }}'\)).

We let \(\Theta _k\) denote the joint distribution of \(({{\mathcal {S}}}^k,x^k,y^k)\), \(\Gamma ^k\), \({\overline{\Gamma }}^k\), \(\tau \) and \({{\overline{\tau }}}\) and let \(\Theta _k^{x \rightarrow y}\) be given by \(\Theta _k\) weighted by the amount of time it takes \(\Gamma ^k\) to reach its target point. We define \(\Theta _k^{y \rightarrow x}\) similarly except we weight by the amount of time it takes \({\overline{\Gamma }}^k\) to reach its target point and we write \({{\overline{\sigma }}}\) for a uniform variable between 0 and this time and let \(\sigma \) be the first time that \(\Gamma _t^k\) hits \({\overline{\Gamma }}_{{\overline{\sigma }}}^k\). We write \({\overline{{{\mathcal {B}}}}}^k\) for the surface which is the complement of \(\Gamma _\sigma ^k\) and \({\overline{\Gamma }}_{{\overline{\sigma }}}^k\). Note that \(\Theta _k^{x \rightarrow y}\) and \(\Theta _k^{y \rightarrow x}\) are the analogs of \(\Theta ^{x \rightarrow y}\) and \(\Theta ^{y \rightarrow x}\) defined at the beginning of this section except we have used the approximations to \(\mathrm{QLE}(8/3,0)\) instead of the limits.

Let \((\Gamma |_{[0,\tau ]},{\overline{\Gamma }}|_{[0,{{\overline{\tau }}}]},{{\mathcal {B}}})\) be the configuration on the doubly-marked quantum sphere \(({{\mathcal {S}}},x,y)\) which arises by taking the limit of \((\Gamma ^k|_{[0,\tau ]},{\overline{\Gamma }}^k|_{[0,{{\overline{\tau }}}]},{{\mathcal {B}}}^k)\) under \(\Theta _k^{x \rightarrow y}\) as \(k \rightarrow \infty \). The sense in which this limit is taken is as in Proposition 7.2. Proposition 7.2 implies its existence and that the distribution of \(({{\mathcal {S}}},x,y)\), \(\Gamma |_{[0,\tau ]}\), and \({\overline{\Gamma }}|_{[0,{{\overline{\tau }}}]}\) as constructed is equal to its distribution under \(\Theta ^{x \rightarrow y}\). We likewise let \((\Gamma |_{[0,\sigma ]},{\overline{\Gamma }}|_{[0,{{\overline{\sigma }}}]},{\overline{{{\mathcal {B}}}}})\) be the configuration on the doubly-marked quantum sphere \(({{\mathcal {S}}},x,y)\) which arises by taking the limit of \((\Gamma ^k|_{[0,\sigma ]},{\overline{\Gamma }}^k|_{[0,{{\overline{\sigma }}}]},{\overline{{{\mathcal {B}}}}}^k)\) under \(\Theta _k^{y \rightarrow x}\) as \(k \rightarrow \infty \). Analogously, we can construct the law of \(({{\mathcal {S}}},x,y)\), \(\Gamma |_{[0,\sigma ]}\), \({\overline{\Gamma }}|_{[0,{{\overline{\sigma }}}]}\) under \(\Theta ^{y \rightarrow x}\) as the same type of limit.

#### 7.2.2 Structure of the meeting \(\mathrm{QLE}\)s

### Lemma 7.6

Under \(\Theta ^{x \rightarrow y}\), we have that \(\Gamma |_{[0,\tau ]}\) and \({\overline{\Gamma }}|_{[0,{{\overline{\tau }}}]}\) a.s. intersect at a single point. In particular, the region \({{\mathcal {B}}}\) of \({{\mathcal {S}}}\) outside of \(\Gamma |_{[0,\tau ]}\) and \({\overline{\Gamma }}|_{[0,{{\overline{\tau }}}]}\) is a.s. connected. Moreover, the conditional law of \({{\mathcal {B}}}\) given its boundary length is that of a quantum disk and \(\partial {{\mathcal {B}}}\) is a.s. conformally removable in any embedding of \({{\mathcal {S}}}\) into \(\mathbf {C}\). The same holds in the setting of \(\Theta ^{y \rightarrow x}\) in place of \(\Theta ^{x \rightarrow y}\).

See Fig. 12 for an illustration of the setup and proof of Lemma 7.6.

### Proof of Lemma 7.6

We know that the statement of the lemma holds in the setting of each of the \(\delta _k\)-approximations; see also the proof of Lemma 7.8 just below. Indeed, this follows because a radial \(\mathrm{SLE}_6\) segment a.s. hits the boundary of any fixed domain for the first time at a single point. For each \(k \in \mathbf {N}\), we pick \(z^k\) in \({{\mathcal {B}}}^k\) according to the quantum area measure and then parameterize \({{\mathcal {B}}}^k\) by \((\mathbf {D},h^k)\) by using the change of coordinates given by the unique conformal map \(\varphi ^k :\mathbf {D}\rightarrow {{\mathcal {B}}}^k\) with \(\varphi ^k(0) = z^k\) and \((\varphi ^k)'(0) > 0\). We note that the distribution of \((\mathbf {D},h^k)\) does not depend on *k* and that, by Proposition 5.12 its law conditionally on its boundary length is that of a quantum disk.

Fix \(\ell > 0\) and assume that we are working on the event that the quantum boundary length of \(\partial \Gamma _\tau ^k\) is in \([\ell ,\ell +1]\). Since this event has positive and finite \(\Theta _k^{x \rightarrow y}\) mass, we can condition \(\Theta _k^{x \rightarrow y}\) on it and we get a probability measure. Suppose for contradiction that there is a chance \(p > 0\) that \(\partial \Gamma _\tau \cap \partial {\overline{\Gamma }}_{{{\overline{\tau }}}}\) consists of more than a single point. This would imply that the following is true. Let \(u^k\) be the unique element of \(\partial \Gamma _\tau ^k \cap \partial {\overline{\Gamma }}_{{{\overline{\tau }}}}^{k}\). Then there exists \(r > 0\) such that with probability at least *p* / 2 there is a point \(v^k\) on \(\partial \Gamma _\tau ^k\) such that the quantum length of either the clockwise or counterclockwise segment of \(\partial \Gamma _\tau ^k\) from \(u^k\) to \(v^k\) is at least *r* and its harmonic measure as seen from \(z^k\) is *o*(1) as \(k \rightarrow \infty \). In particular, the arc length of the preimage of this interval under \(\varphi ^k\) is *o*(1) as \(k \rightarrow \infty \). This implies that \((\mathbf {D}, h^k)\) converges as \(k \rightarrow \infty \) to a field whose associated quantum boundary measure has a positive chance of having an atom on \(\partial \mathbf {D}\). This is a contradiction because the law of \((\mathbf {D}, h^k)\) does not depend on *k* and its associated quantum boundary measure a.s. does not have an atom on \(\partial \mathbf {D}\) (Proposition 5.12 and [12]). This proves the first assertion of the lemma.

The second assertion follows because the distribution of \({{\mathcal {B}}}^k\) does not depend on *k* and the final assertion follows by using the argument of Proposition 5.12 (i.e., any embedding of a quantum disk into a quantum sphere a.s. has a conformally removable boundary). \(\square \)

### Lemma 7.7

Under \(\Theta ^{x \rightarrow y}\), the point on \(\partial \Gamma _{\tau }\) (resp. \(\partial {\overline{\Gamma }}_{{{\overline{\tau }}}}\)) which is glued to the a.s. unique pinch point of \(\partial {{\mathcal {B}}}\) is uniformly distributed from the quantum boundary measure on \(\partial \Gamma _{\tau }\) (resp. \(\partial {\overline{\Gamma }}_{{{\overline{\tau }}}}\)). The same holds in the setting of \(\Theta ^{y \rightarrow x}\) in place of \(\Theta ^{x \rightarrow y}\).

### Proof

It is easy to see that this is the case for \(\Gamma |_{[0,\tau ]}\) based on the construction. Let \([\xi ,{{\overline{\tau }}}]\) be the interval of time in which \({\overline{\Gamma }}^k|_{[0,{{\overline{\tau }}}]}\) is drawing its final segment of \(\mathrm{SLE}_6\). The claim in the case of \({\overline{\Gamma }}|_{[0,{{\overline{\tau }}}]}\) follows because for each of the approximations \({\overline{\Gamma }}^k|_{[0,{{\overline{\tau }}}]}\) we know that the starting point of the final \(\mathrm{SLE}_6\) segment is uniformly distributed on \(\partial {\overline{\Gamma }}_\xi ^k\) and this final \(\mathrm{SLE}_6\) segment collapses to a point as \(k \rightarrow \infty \). \(\square \)

#### 7.2.3 Preliminary symmetry statements

Show that the \(\Theta _k^{x \rightarrow y}\) distribution of \((\Gamma ^k|_{[0,\tau ]},{\overline{\Gamma }}^k|_{[0,{{\overline{\tau }}}]},{{\mathcal {B}}}^k)\) is equal to the \(\Theta _k^{y \rightarrow x}\) distribution of \((\Gamma ^k|_{[0,\sigma ]},{\overline{\Gamma }}^k|_{[0,{{\overline{\sigma }}}]},{\overline{{{\mathcal {B}}}}}^k)\) (Lemma 7.8)

Deduce from this that the \(\Theta ^{x \rightarrow y}\) distribution of \((\Gamma |_{[0,\tau ]},{\overline{\Gamma }}|_{[0,{{\overline{\tau }}}]},{{\mathcal {B}}})\) is equal to the \(\Theta ^{y \rightarrow x}\) distribution of \((\Gamma |_{[0,\sigma ]},{\overline{\Gamma }}|_{[0,{{\overline{\sigma }}}]},{\overline{{{\mathcal {B}}}}})\) (Lemma 7.10)

### Lemma 7.8

The \(\Theta _k^{x \rightarrow y}\) distribution of \((\Gamma ^k|_{[0,\tau ]},{\overline{\Gamma }}^k|_{[0,{{\overline{\tau }}}]},{{\mathcal {B}}}^k)\) is the same as the \(\Theta _k^{y \rightarrow x}\) distribution of \((\Gamma ^k|_{[0,\sigma ]},{\overline{\Gamma }}^k|_{[0,{{\overline{\sigma }}}]},{\overline{{{\mathcal {B}}}}}^k)\).

In the statement of Lemma 7.8, we view \(\Gamma ^k|_{[0,\tau ]}\), \({\overline{\Gamma }}^k|_{[0,{{\overline{\tau }}}]}\), \(\Gamma ^k|_{[0,\sigma ]}\), \({\overline{\Gamma }}^k|_{[0,{{\overline{\sigma }}}]}\) as random variables taking values in the space of beaded quantum surfaces with a single marked point which corresponds to the tip of the final \(\mathrm{SLE}_6\) segment in the growth process and we view \({{\mathcal {B}}}^k, {\overline{{{\mathcal {B}}}}}^k\) as random variables taking values in the space of quantum surfaces.

### Remark 7.9

As in Remark 5.2, we emphasize that Lemma 7.8 does not imply that the \(\Theta _k^{x \rightarrow y}\) distribution of \((\Gamma ^k|_{[0,\tau ]},{\overline{\Gamma }}^k|_{[0,{{\overline{\tau }}}]},{{\mathcal {S}}}^k)\) is equal to the \(\Theta _k^{y \rightarrow x}\) distribution of \((\Gamma ^k|_{[0,\sigma ]},{\overline{\Gamma }}^k|_{[0,{{\overline{\sigma }}}]},{{\mathcal {S}}}^k)\) because of the asymmetry which arises since the tip of \({\overline{\Gamma }}^k|_{[0,{{\overline{\tau }}}]}\) is contained in \(\partial \Gamma _\tau ^k\) while the tip of \(\Gamma ^k|_{[0,\tau ]}\) is uniformly distributed according to the quantum boundary measure on \(\partial \Gamma _\tau ^k\).

### Proof of Lemma 7.8

The result is a consequence of the following three observations.

First, the ordered sequence of bubbles separated by \(\Gamma ^k|_{[0,\tau ]}\) from its target point is equal to the ordered sequence of bubbles separated by \(\eta '|_{[0,{{\mathfrak {t}}}]}\) from its target point and the same is true for \({\overline{\Gamma }}^k|_{[0,{{\overline{\tau }}}]}\) and \({\overline{\eta }}'|_{[0,{\overline{{{\mathfrak {t}}}}}]}\). Theorem 5.1 thus implies that the collection of \(\delta _k\)-quantum natural time length \(\mathrm{SLE}_6\) segments (viewed as beaded quantum surfaces) which make up \(\Gamma ^k|_{[0,\tau ]}\) under \(\Theta _k^{x \rightarrow y}\) have the same joint law as the corresponding collection for \(\Gamma ^k|_{[0,\sigma ]}\) under \(\Theta _k^{y \rightarrow x}\). It also implies that the quantum lengths of the outer boundary of \(\Gamma ^k|_{[0,\tau ]}\) at the reshuffling times \(j \delta _k\) for \(1 \le j \le \lfloor \tau /\delta _k \rfloor \) have the same joint law under \(\Theta _k^{x \rightarrow y}\) as the quantum lengths of the outer boundary of \(\Gamma ^k|_{[0,\sigma ]}\) at the reshuffling times \(j \delta _k\) for \(1 \le j \le \lfloor \sigma /\delta _k \rfloor \) under \(\Theta _k^{y \rightarrow x}\). Indeed, this follows since these quantum boundary lengths are determined by the bubbles that the processes separate from their target points and the bubbles determine the \(\mathrm{SLE}_6\) segments.

Second, the starting locations of each of the \(\mathrm{SLE}_6\) segments which make up \(\Gamma ^k|_{[0,\tau ]}\) have the same conditional law under \(\Theta _k^{x \rightarrow y}\) given the bubbles as in the case of \(\Gamma ^k|_{[0,\sigma ]}\) under \(\Theta _k^{y \rightarrow x}\). Indeed, in both cases, these starting locations are distributed uniformly from the quantum boundary measure.

Both of the first two observations also apply for \({\overline{\Gamma }}^k|_{[0,{{\overline{\tau }}}]}\) under \(\Theta _k^{x \rightarrow y}\) and \({\overline{\Gamma }}^k|_{[0,{{\overline{\sigma }}}]}\) under \(\Theta _k^{y \rightarrow x}\).

Third, the previous two observations imply that the induced joint distribution of \(\Gamma ^k|_{[0,\tau ]}\) and \({\overline{\Gamma }}^k|_{[0,{{\overline{\tau }}}]}\) under \(\Theta _k^{x \rightarrow y}\) is the same as that of \(\Gamma ^k|_{[0,\sigma ]}\) and \({\overline{\Gamma }}^k|_{[0,{{\overline{\sigma }}}]}\) under \(\Theta _k^{y \rightarrow x}\). We also note that \({{\mathcal {B}}}^k\) is conditionally independent given its boundary length of \(\Gamma ^k|_{[0,\tau ]}\) and \({\overline{\Gamma }}^k|_{[0,{{\overline{\tau }}}]}\) under \(\Theta _k^{x \rightarrow y}\). The same is also true under \(\Theta ^{y \rightarrow x}\), so combining implies the desired result. \(\square \)

The next step is to show that the symmetry established in Lemma 7.8 also holds for \((\Gamma |_{[0,\tau ]},{\overline{\Gamma }}|_{[0,{{\overline{\tau }}}]},{{\mathcal {B}}})\) under \(\Theta ^{x \rightarrow y}\) and \((\Gamma |_{[0,\sigma ]},{\overline{\Gamma }}|_{[0,{{\overline{\sigma }}}]},{\overline{{{\mathcal {B}}}}})\) under \(\Theta ^{y \rightarrow x}\).

Before we state this result, we need to introduce a certain notion of equivalence for \(\mathrm{QLE}(8/3,0)\) processes. We recall from Proposition 6.5 that the complementary region of a \(\mathrm{QLE}(8/3,0)\) run up to a given quantum distance time has the same law as the corresponding region for an \(\mathrm{SLE}_6\) and from Proposition 6.6 that the boundary of a \(\mathrm{QLE}(8/3,0)\) can be parameterized by a continuous curve. This allows us to induce a quantum boundary length measure on the prime ends of the boundary of a \(\mathrm{QLE}(8/3,0)\) even though it is not *a priori* clear at this point whether this boundary measure can be defined in a way which is intrinsic to the \(\mathrm{QLE}(8/3,0)\). (At this point, we do know that the total boundary length is intrinsic to the \(\mathrm{QLE}(8/3,0)\) because it can be determined by boundary lengths of the bubbles it has cut off from its target point. This follows because the value of a stable Lévy process at a given time can be recovered from the jumps that it has made up to this time. See [2, Chapter I, Theorem 1].)

*h*(resp. \({\widetilde{h}}\)) be the field which describes \({{\mathcal {S}}}\) (resp. \({\widetilde{{{\mathcal {S}}}}}\)). We say that \(\Gamma |_{[0,\tau ]}\) is equivalent to \({\widetilde{\Gamma }}|_{[0,{\widetilde{\tau }}]}\) if there exists a homeomorphism \(\varphi \) taking \(\Gamma _\tau \) to \({\widetilde{\Gamma }}_{{\widetilde{\tau }}}\) with \(\varphi (\Gamma _t) = {\widetilde{\Gamma }}_t\) for all \(t \le \tau \), \(\varphi (\Gamma _\tau ) = {\widetilde{\Gamma }}_{{\widetilde{\tau }}}\), and which

Takes the quantum boundary measure defined on the prime ends of the outer boundary of \(\Gamma _\tau \) to the quantum boundary measure on the prime ends of the outer boundary of \({\widetilde{\Gamma }}_{{\widetilde{\tau }}}\), and is

Conformal on the interior of \(\Gamma _\tau \) with \({\widetilde{h}} \circ \varphi + Q\log |\varphi '| = h\) on the interior of \(\Gamma _\tau \).

### Lemma 7.10

The \(\Theta ^{x \rightarrow y}\) distribution of \((\Gamma |_{[0,\tau ]},{\overline{\Gamma }}|_{[0,{{\overline{\tau }}}]},{{\mathcal {B}}})\) is equal to the \(\Theta ^{y \rightarrow x}\) distribution of \((\Gamma |_{[0,\sigma ]},{\overline{\Gamma }}|_{[0,{{\overline{\sigma }}}]},{\overline{{{\mathcal {B}}}}})\) where we use the notion of equivalence for \(\mathrm{QLE}(8/3,0)\) processes as described just above.

See Figs. 13 and 14 for an illustration of the proof. Lemma 7.8 implies that one can construct a coupling of an instance \((\Gamma ^{1,k}|_{[0,\tau ^1]}, {\overline{\Gamma }}^{1,k}|_{[0,{{\overline{\tau }}}^1]},{{\mathcal {B}}}^{1,k})\) from \(\Theta _k^{x \rightarrow y}\) and an instance \((\Gamma ^{2,k}|_{[0,\sigma ^2]}, {\overline{\Gamma }}^{2,k}|_{[0,{{\overline{\sigma }}}^2]},{\overline{{{\mathcal {B}}}}}^{2,k})\) from \(\Theta _k^{y \rightarrow x}\) so that each of the components are equivalent as (marked and beaded) quantum surfaces. In particular, there is a homeomorphism of \(\Gamma _{\tau ^1}^{1,k}\) to \(\Gamma _{\sigma ^2}^{2,k}\) which is conformal on the interior of \(\Gamma _{\tau ^1}^{1,k}\). Since we need to establish the equivalence of the limits as \(k \rightarrow \infty \) in the sense described above, we need to know that the limit of this map is a homeomorphism and preserves the boundary length measure. In order to show that this is the case, we will want construct the coupling so that we can conformally map an entire neighborhood of \(\Gamma _{\tau ^1}^{1,k}\) to a neighborhood of \(\Gamma _{\sigma ^2}^{2,k}\). The challenge is that this is not exactly possible due to the asymmetry in the locations of the tips of the two \(\mathrm{QLE}\) approximations.

### Proof of Lemma 7.10

*Step 1. Coupling of the*\(\mathrm{QLE}\)*approximations.* We begin by starting off with samples \((\Gamma ^{1,k}|_{[0,\tau ^1]},{\overline{\Gamma }}^{1,k}|_{[0,{{\overline{\tau }}}^1]},{{\mathcal {B}}}^{1,k})\) and \((\Gamma ^{2,k}|_{[0,\sigma ^2]},{\overline{\Gamma }}^{2,k}|_{[0,{{\overline{\sigma }}}^2]},{\overline{{{\mathcal {B}}}}}^{2,k})\) respectively from \(\Theta _k^{x \rightarrow y}\) and \(\Theta _k^{y \rightarrow x}\). We take these to be coupled together so that (as marked (by their tips) beaded quantum surfaces) we have \(\Gamma ^{1,k}|_{[0,\tau ^1]} = \Gamma ^{2,k}|_{[0,\sigma ^2]}\) and \({\overline{\Gamma }}^{1,k}|_{[0,{{\overline{\tau }}}^1]} = {\overline{\Gamma }}^{2,k}|_{[0,{{\overline{\sigma }}}^2]}\). We note that both \({{\mathcal {B}}}^{1,k}\) and \({\overline{{{\mathcal {B}}}}}^{2,k}\) are quantum disks conditional on their quantum boundary length. Under this coupling, we have that \(\tau ^1 = \sigma ^2\) and \({{\overline{\tau }}}^1 = \tau ^2\).

Let \(\xi ^1 = \delta _k \lfloor \tau ^1/\delta _k \rfloor \) so that \([\xi ^1,\tau ^1]\) is the interval of time in which \(\Gamma ^{1,k}|_{[0,\tau ^1]}\) is drawing its final segment of \(\mathrm{SLE}_6\). Let \(\eta '\) be this \(\mathrm{SLE}_6\) process (normalized so that it starts at time \(\xi ^1\)) and let \(\zeta ^1\) be the first time after \(\tau ^1\) that the outer boundary of the cluster \(\partial \Gamma _{\xi ^1}^{1,k} \cup \eta '([\xi ^1,\zeta ^1])\) is equal to the boundary length of \(\partial \Gamma _{\xi ^1}^{1,k}\). Since the boundary length evolves as the time-reversal of a 3/2-stable Lévy excursion (when parameterized by quantum natural time), we note that \(\zeta ^1\) converges to \(\tau ^1\) in probability as \(k \rightarrow \infty \). (In particular, the probability that \(\zeta ^1\) is finite tends to 1 as \(k \rightarrow \infty \).) We let \({{\mathcal {R}}}^1\) be the quantum surface which is cut out by \(\eta '([\xi ^1,\zeta ^1])\). On the event that \(\Gamma _{\tau ^1}^{1,k} \cup {{\mathcal {R}}}^1\) is disjoint from \({\overline{\Gamma }}_{{{\overline{\tau }}}^1}^{1,k}\), the conditional law of the quantum surface \({\widehat{{{\mathcal {B}}}}}^{1,k}\) parameterized by the region outside of \(\Gamma _{\tau ^1}^{1,k} \cup {{\mathcal {R}}}^1 \cup {\overline{\Gamma }}_{{{\overline{\tau }}}^1}^{1,k}\) is that of a quantum disk given its quantum boundary length. We also let \({\overline{\eta }}'\) be the \(\mathrm{SLE}_6\) process which is drawing the final segment of \({\overline{\Gamma }}^{2,k}|_{[0,{{\overline{\sigma }}}^{2}]}\) (normalized so that it starts at time \({{\overline{\sigma }}}^2\)) and let \({\overline{\zeta }}^2\) be the first time after \({{\overline{\sigma }}}^2\) that the quantum length of the surface outside of \(\Gamma _{\sigma ^2}^{2,k} \cup {\overline{\Gamma }}_{{{\overline{\sigma }}}^2}^{2,k} \cup {\overline{\eta }}'([{{\overline{\sigma }}}^2,{\overline{\zeta }}^2])\) is equal to that of \(\partial {\widehat{{{\mathcal {B}}}}}^{1,k}\) and let \({\overline{{{\mathcal {R}}}}}^2\) be the surface which is cut out by \({\overline{\eta }}'([{{\overline{\sigma }}}^2,{\overline{\zeta }}^2])\). As before, we have that \({\overline{\zeta }}^2 \rightarrow {{\overline{\sigma }}}^2\) in probability as \(k \rightarrow \infty \) and the probability that \({\overline{{{\mathcal {R}}}}}^2\) is disjoint from \(\Gamma _{\sigma ^2}^{2,k}\) tends to 1 as \(k \rightarrow \infty \). Let \({\widehat{{{\mathcal {B}}}}}^{2,k}\) be the quantum surface parameterized by the region outside of \(\Gamma _{\sigma ^2}^{2,k} \cup {\overline{{{\mathcal {R}}}}}^2 \cup {\overline{\Gamma }}_{{{\overline{\sigma }}}^2}^{2,k}\). On the event that \({\overline{{{\mathcal {R}}}}}^2 \cap \Gamma _{\sigma ^2}^{2,k} = \emptyset \), we have that \({\widehat{{{\mathcal {B}}}}}^{2,k}\) given its boundary length is a quantum disk. In particular, on the events \({{\mathcal {R}}}^1 \cap {\overline{\Gamma }}_{{{\overline{\tau }}}^1}^{1,k} = \emptyset \) and \({\overline{{{\mathcal {R}}}}}^2 \cap \Gamma _{\sigma ^2}^{2,k} = \emptyset \), we have that \({\widehat{{{\mathcal {B}}}}}^{1,k}\) and \({\widehat{{{\mathcal {B}}}}}^{2,k}\) have the same boundary length so we can recouple so that \({\widehat{{{\mathcal {B}}}}}^{1,k} = {\widehat{{{\mathcal {B}}}}}^{2,k}\).

Let \(\xi ^2 = \delta _k \lfloor \sigma ^2/\delta _k \rfloor \) so that \([\xi ^2,\sigma ^2]\) is the interval of time in which \(\Gamma ^{2,k}|_{[0,\sigma ^2]}\) is drawing its final segment of \(\mathrm{SLE}_6\). We note that \(\xi ^1 = \xi ^2\) as \(\tau ^1 = \sigma ^2\), but we will write \(\xi ^1\) when referring to \(\Gamma ^{1,k}\) and \(\xi ^2\) when referring to \(\Gamma ^{2,k}\).

Let \(\phi ^k\) be the equivalence map (as marked (by their tips) beaded quantum surfaces) which takes \(\Gamma _{\xi ^1}^{1,k}\) to \(\Gamma _{\xi ^2}^{2,k}\). Then \(\phi ^k\) in particular takes the tip \(z^{1,k}\) of \(\Gamma ^{1,k}\) at time \(\xi ^1\) to the tip \(z^{2,k}\) of \(\Gamma ^{2,k}\) at time \(\xi ^2\). Let \(\varphi ^k\) be the equivalence map which takes \({\widehat{{{\mathcal {B}}}}}^{1,k}\) to \({\widehat{{{\mathcal {B}}}}}^{2,k}\). As \(z^{1,k}\) is uniformly distributed according to the quantum measure on \(\partial {\widehat{{{\mathcal {B}}}}}^{1,k} \cap \partial \Gamma _{\xi ^1}^{1,k}\) and \(z^{2,k}\) is uniformly distributed according to the quantum measure on \(\partial {\widehat{{{\mathcal {B}}}}}^{2,k} \cap \Gamma _{\xi ^2}^{2,k}\), it follows that we can take the coupling so that \(\varphi ^k(z^{1,k}) = z^{2,k}\) with probability tending to 1 as \(k \rightarrow \infty \).

*Step 2. Welding inside and outside of the approximations.* Since \(\varphi ^k\) and \(\phi ^k\) both preserve the quantum boundary measure and both take \(z^{1,k}\) to \(z^{2,k}\), it therefore follows that \(\varphi ^k\) and \(\phi ^k\) agree on the component of \(\partial \Gamma _{\tau ^1}^{1,k} {\setminus } ({{\mathcal {R}}}^1 \cup \partial {\overline{\Gamma }}_{{{\overline{\tau }}}^1}^{1,k})\) which contains \(z^{1,k}\). Note that \(\partial \Gamma _{\tau ^1}^{1,k} {\setminus } ({{\mathcal {R}}}^1 \cup \partial {\overline{\Gamma }}_{{{\overline{\tau }}}^1}^{1,k})\) consists of two components and we want to argue that \(\varphi ^k\) and \(\phi ^k\) also agree on the other connected component. This, however, follows since the boundary length of \(\partial \Gamma _{\xi ^1}^{1,k} \cap \partial {{\mathcal {R}}}^1\) is equal to the boundary length of \(\partial {{\mathcal {R}}}^1 {\setminus } \partial \Gamma _{\xi ^1}^{1,k}\). That is, the map \(\psi ^k\) which takes \(\Gamma _{\xi ^1}^{1,k} \cup {\widehat{{{\mathcal {B}}}}}^{1,k}\) to \(\Gamma _{\xi ^2}^{2,k} \cup {\widehat{{{\mathcal {B}}}}}^{2,k}\) given by \(\varphi ^k\) on \({\widehat{{{\mathcal {B}}}}}^{1,k}\) and \(\phi ^k\) on \(\Gamma _{\xi ^1}^{1,k}\) is conformal on the interiors of \({\widehat{{{\mathcal {B}}}}}^{1,k}\) and \(\Gamma _{\xi ^1}^{1,k}\) and a homeomorphism on its entire domain. Therefore by the conformal removability of \(\partial \Gamma _{\xi ^1}^{1,k} \cup \partial {{\mathcal {R}}}^1\), we have that \(\psi ^k\) is conformal on the interior of its domain.

*Step 3. Limit of welding yields equivalence of*\(\mathrm{QLE}\)’*s.* Since \(\mathop {{\mathrm {diam}}}({{\mathcal {R}}}^1) \rightarrow 0\), \(\mathop {{\mathrm {diam}}}({\overline{{{\mathcal {R}}}}}^2) \rightarrow 0\) in probability as \(k \rightarrow \infty \), it therefore follows that, by passing to a further subsequence if necessary (and recoupling the laws using the Skorokhod representation theorem), \(\psi ^k\) converges a.s. as \(k \rightarrow \infty \) with respect to the local uniform topology to a map \(\psi :\Gamma _{\tau ^1}^1 \cup {{\mathcal {B}}}^1 \rightarrow \Gamma _{\sigma ^2}^2 \cup {\overline{{{\mathcal {B}}}}}^2\) which is a homeomorphism and conformal in its interior. By Lemma 7.6, the interior of the domain of \(\psi \) includes all of \(\Gamma _{\tau ^1}^1\) except possibly a single point — the unique point \(w_0\) where it hits \({\overline{\Gamma }}|_{[0,{{\overline{\tau }}}^1]}^1\). However, it is not difficult to see that \(\psi \) is continuous at \(w_0\). Indeed, suppose that \((w_k)\) is a sequence in \(\Gamma _{\tau ^1}^1\) which converges to \(w_0\). Let \((w_{j_k})\) be a subsequence of \((w_k)\) and let \((w_{j_{k'}})\) be a further subsequence so that \((\psi (w_{j_k'}))\) converges (note that \(\Gamma _{\sigma ^2}^2\) is compact). If \(\lim _{k \rightarrow \infty } \psi (w_{j_k'}) \ne \psi (w_0)\), then it follows since \(\psi ^{-1}\) is a homeomorphism away from \(\psi (w_0)\) that \(w_{j_k'} = \psi ^{-1}(\psi (w_{j_k'}))\) converges to a point distinct from \(w_0\). This is a contradiction, and therefore \(\psi \) is continuous at \(w_0\). It therefore follows that the distribution of \(\Gamma |_{[0,\tau ]}\) under \(\Theta ^{x \rightarrow y}\) is the same as that of \(\Gamma |_{[0,\sigma ]}\) under \(\Theta ^{y \rightarrow x}\) (in the sense described just before the statement of the lemma). The same argument also implies that the distribution of \({\overline{\Gamma }}|_{[0,{{\overline{\tau }}}]}\) under \(\Theta ^{x \rightarrow y}\) is the same as the distribution of \({\overline{\Gamma }}|_{[0,{{\overline{\sigma }}}]}\) under \(\Theta ^{y \rightarrow x}\). The result follows because \(\Gamma |_{[0,\tau ]},{\overline{\Gamma }}|_{[0,{{\overline{\tau }}}]},{{\mathcal {B}}}\) are conditionally independent under \(\Theta ^{x \rightarrow y}\) given their boundary lengths, the same holds under \(\Theta ^{y \rightarrow x}\), and the joint law of the boundary lengths is the same as that of \(\Gamma |_{[0,\sigma ]}\), \({\overline{\Gamma }}|_{[0,{{\overline{\sigma }}}]}\), \({\overline{{{\mathcal {B}}}}}\) under \(\Theta ^{y \rightarrow x}\). \(\square \)

#### 7.2.4 Proof of Theorem 7.1

Lemma 7.10 implies that the \(\Theta ^{x \rightarrow y}\) distribution of \((\Gamma |_{[0,\tau ]},{\overline{\Gamma }}|_{[0,{{\overline{\tau }}}]},{{\mathcal {B}}})\) is equal to the \(\Theta ^{y \rightarrow x}\) distribution of \((\Gamma |_{[0,\sigma ]},{\overline{\Gamma }}|_{[0,{{\overline{\sigma }}}]},{\overline{{{\mathcal {B}}}}})\) (where the sense of equivalence for the first two components is as described just before the statement of Lemma 7.10 and the third component is in the usual sense of a quantum surface). This implies that we can construct a coupling of copies \((\Gamma ^1|_{[0,\tau ^1]},{\overline{\Gamma }}^1|_{[0,{{\overline{\tau }}}^1]},{{\mathcal {B}}}^1)\) and \((\Gamma ^2|_{[0,\sigma ^2]},{\overline{\Gamma }}^2|_{[0,{{\overline{\sigma }}}^2]},{\overline{{{\mathcal {B}}}}}^2)\) so that we have \(\Gamma _{\tau ^1}^1 = \Gamma _{\sigma ^2}^2\), \({\overline{\Gamma }}_{{{\overline{\tau }}}^1}^1 = {\overline{\Gamma }}_{{{\overline{\sigma }}}^2}^2\), and \({{\mathcal {B}}}^1 = {\overline{{{\mathcal {B}}}}}^2\). This implies the existence of homeomorphisms \(\varphi :\Gamma _{\tau ^1}^1 \rightarrow \Gamma _{\sigma ^2}^2\), \({\overline{\varphi }} :{\overline{\Gamma }}_{{{\overline{\tau }}}^1}^1 \rightarrow {\overline{\Gamma }}_{{{\overline{\sigma }}}^2}^2\), and \(\psi :{{\mathcal {B}}}^1 \rightarrow {\overline{{{\mathcal {B}}}}}^2\) which are each conformal in the interior of their domain and preserve the quantum boundary length. By Lemma 7.7, we know that the point on \(\partial \Gamma _{\tau ^1}^1\) which is glued to the a.s. unique pinch point on \(\partial {{\mathcal {B}}}^1\) is uniformly random from the quantum boundary measure on \(\partial \Gamma _{\tau ^1}^1\) and the same is likewise true for \(\Gamma _{\sigma ^2}^2\). Thus we can couple so that \(\varphi \) (resp. \({\overline{\varphi }}\)) sends this point to the corresponding point on \(\partial \Gamma _{\sigma ^2}^2\) (resp. \(\partial {\overline{\Gamma }}_{{{\overline{\sigma }}}^2}^2\)). Let \({{\mathcal {S}}}^j\) for \(j=1,2\) be the doubly-marked quantum sphere associated with \((\Gamma _{\tau ^1}^1,{\overline{\Gamma }}_{{{\overline{\tau }}}^1}^1,{{\mathcal {B}}}^1)\) and \((\Gamma _{\sigma ^2}^2,{\overline{\Gamma }}_{{{\overline{\sigma }}}^2}^2,{\overline{{{\mathcal {B}}}}}^2)\), respectively. Letting \(\phi \) be the map \({{\mathcal {S}}}^1 \rightarrow {{\mathcal {S}}}^2\) which on \(\Gamma _{\tau ^1}^1\) (resp. \({\overline{\Gamma }}_{{{\overline{\tau }}}^1}^1\)) is given by \(\varphi \) (resp. \({\overline{\varphi }}\)) and on \({{\mathcal {B}}}^1\) is given by \(\psi \), we thus see that \(\phi \) is a homeomorphism which is conformal in the complement of \(\partial {{\mathcal {B}}}^1 = \partial \Gamma _{\tau ^1}^1 \cup \partial {\overline{\Gamma }}_{{{\overline{\tau }}}^1}^1\). By the conformal removability of \(\partial {{\mathcal {B}}}^1\) (Lemma 7.6), we thus have that \(\phi \) is conformal everywhere hence must be a Möbius transformation, which completes the proof. \(\square \)

#### 7.2.5 Conditional law of the unexplored surface

We finish this section by stating the analog of the final part of Proposition 4.1 for \(\mathrm{QLE}(8/3,0)\).

### Proposition 7.11

The \(\Theta ^{x \rightarrow y}\) conditional distribution given \(({{\mathcal {S}}},x,y)\) and \(\Gamma |_{[0,\tau ]}\) is equal to the \(\Theta \) conditional distribution given \(({{\mathcal {S}}},x,y)\) and \(\Gamma |_{[0,\tau ]}\).

### Proof

The last part of Proposition 4.1 implies that the analogous statement holds for each of the \(\delta \)-approximations to \(\mathrm{QLE}(8/3,0)\). Therefore it follows that this property holds in the limit. \(\square \)

## 8 Metric construction

The purpose of this section is to show that \(\mathrm{QLE}(8/3,0)\) equipped with the quantum distance parameterization defines a metric on a countable, dense subset consisting of a sequence of i.i.d. points chosen from the quantum measure of a \(\sqrt{8/3}\)-LQG sphere. The approach we take, as explained and outlined in Sect. 1.1, is based on ideas from a joint work by the second co-author, Sam Watson, and Hao Wu.

We begin by considering a pair of \(\mathrm{QLE}(8/3,0)\) explorations \(\Gamma \) and \({\overline{\Gamma }}\) on a doubly marked quantum sphere \(({{\mathcal {S}}},x,y)\) where the first (resp. second) process starts from *x* (resp. *y*) and is targeted at *y* (resp. *x*). We then use several results accumulated earlier in the paper to prove that the “distances” computed by these two explorations are a.s. the same.

The remainder of this section is structured as follows. In Sect. 8.1, we describe the setup and notation that we will use throughout the rest of the section. We will complete the proof of Theorem 1.1 in Sect. 8.2.

### 8.1 Setup and notation

We will use the same setup and notation described in the beginning of Sect. 7. Since \(\Theta ^{x \rightarrow y}\) and \(\Theta ^{y \rightarrow x}\) are infinite measures, we cannot normalize them to be probability measures. However, these measures conditioned on certain quantities do yield probability measures. In these cases, we will let \({\mathbf{P}}_{\Theta ^{x \rightarrow y}}[ \cdot \,|\,\cdot ]\) (resp. \({\mathbf{P}}_{\Theta ^{y \rightarrow x}}[ \cdot \,|\,\cdot ]\)) and \(\mathbf{E}_{\Theta ^{x \rightarrow y}}[ \cdot \,|\,\cdot ]\) (resp. \(\mathbf{E}_{\Theta ^{y \rightarrow x}}[ \cdot \,|\,\cdot ]\)) denote the corresponding probability and expectation. We will similarly write \({\mathbf{P}}_\Theta [ \cdot \,|\,\cdot ]\) and \(\mathbf{E}_\Theta [ \cdot \,|\,\cdot ]\) for the probability and expectation which correspond to \(\Theta \) conditioned on a quantity which leads to a probability measure. For each \(t \ge 0\), we also let \({{\mathcal {F}}}_t = \sigma ( {{\mathcal {S}}},x,y, \Gamma _s : s \le t)\) and \({\overline{{{\mathcal {F}}}}}_t = \sigma ({{\mathcal {S}}},x,y,{\overline{\Gamma }}_s : s \le t)\). That is, \({{\mathcal {F}}}_t\) (resp. \({\overline{{{\mathcal {F}}}}}_t\)) is the filtration generated by \(({{\mathcal {S}}},x,y)\) and \(\Gamma \) (resp. \({\overline{\Gamma }}\)) with the quantum distance parameterization.

### 8.2 Coupling explorations and the metric property

We will complete the proof of Theorem 1.1 in this section. The first step is to prove the following proposition, which is in some sense the heart of the matter.

### Proposition 8.1

The \(\Theta ^{x \rightarrow y}\) distribution of \(({{\mathcal {S}}},x,y,\tau ,\Gamma ,{{\overline{\tau }}},{\overline{\Gamma }})\) is the same as the \(\Theta ^{y \rightarrow x}\) distribution of \(({{\mathcal {S}}},x,y,\sigma ,\Gamma ,{{\overline{\sigma }}},{\overline{\Gamma }})\).

Theorem 7.1 implies that the \(\Theta ^{x \rightarrow y}\) distribution of \(({{\mathcal {S}}},x,y, \Gamma |_{[0,\tau ]}, {\overline{\Gamma }}|_{[0,{{\overline{\tau }}}]})\) is equal to the \(\Theta ^{y \rightarrow x}\) distribution of \(({{\mathcal {S}}},x,y, \Gamma |_{[0,\sigma ]}, {\overline{\Gamma }}|_{[0,{{\overline{\sigma }}}]})\). To prove Proposition 8.1, we will try to understand the conditional law of \(\Gamma \) and \({\overline{\Gamma }}\) given this information.

We provide here a sketch of the argument before we proceed to the details. Because of the way that \(\Theta ^{x \rightarrow y}\) was constructed, one can show quite easily that the \(\Theta ^{x \rightarrow y}\) conditional law of \(\Gamma \)*given* the five-tuple \(({{\mathcal {S}}},x,y,\Gamma |_{[0,\tau ]}, {\overline{\Gamma }}|_{[0,{{\overline{\tau }}}]})\) is a function of the four-tuple \(({{\mathcal {S}}},x,y,\Gamma |_{[0,\tau ]})\). (The existence of regular conditional probabilities follows from the fact that the GFF and associated growth processes can be defined as random variables in a standard Borel space; see further discussion for example in [33, 43].) The proof of Proposition 8.1 will be essentially done once we establish the following claim: the \(\Theta ^{y \rightarrow x}\) conditional law of \(\Gamma \)*given* the five-tuple \(({{\mathcal {S}}},x,y,\Gamma |_{[0,\sigma ]},{\overline{\Gamma }}|_{[0,{{\overline{\sigma }}}]})\) is described by the same function applied to the four-tuple \(({{\mathcal {S}}},x,y,\Gamma |_{[0, \sigma ]})\). Indeed, a symmetric argument implies an analogous statement about the conditional law of \({\overline{\Gamma }}\) under \(\Theta ^{x \rightarrow y}\) and \(\Theta ^{y \rightarrow x}\) given the corresponding five-tuple. Proposition 8.1 will follow readily from this symmetric pair of statements and the *a priori* conditional independence of \(\Gamma \) and \({\overline{\Gamma }}\) given \(({{\mathcal {S}}},x,y)\).

*a priori*, and in fact \(\sigma \) is a complicated stopping time for \(\Gamma \) (which depends both on \(({{\mathcal {S}}},x,y)\) and on the additional randomness encoded in \({\overline{\Gamma }}\) and \({{\overline{\sigma }}}\)), and we have not proved anything like a strong Markov property for the \(\mathrm{QLE}(8/3,0)\) growth that would hold for arbitrary stopping times. We begin by fixing a bounded function

*F*and let

*A*. Moreover, by varying

*F*, this family of measurable functions determines the conditional law of \(\Gamma \) given \(({{\mathcal {S}}},x,y,\Gamma |_{[0,t]})\). We will check that

*M*is a.s. continuous (as a function of

*t*) at the time \(\tau \). Since

*M*is a continuous-time martingale, it a.s. has only countably many discontinuities. That is, the limits \(\lim _{s \uparrow t} M_s\) and \(\lim _{s \downarrow t} M_s\) exist for a.e.

*t*and necessarily coincide except at possibly a countable set of times. It will thus suffice to prove that when \(({{\mathcal {S}}},x,y,\Gamma ,{\overline{\Gamma }})\) is given and \(\tau \) is chosen uniformly from \([0,d_{{\mathcal {Q}}}(x,y)]\) the probability that either \(\tau \) assumes any

*fixed*value is zero. This, however, is obviously true from the definition of \(\tau \).

We likewise have that \({\overline{M}}_t = {\overline{A}}({{\mathcal {S}}},x,y,{\overline{\Gamma }}|_{[0,t]})\) for some measurable function \({\overline{A}}\) and this family determines the conditional law of \({\overline{\Gamma }}\) given \(({{\mathcal {S}}},x,y,{\overline{\Gamma }}|_{[0,t]})\). Moreover, \({\overline{M}}\) has the same continuity properties as *M* since it is also a continuous-time martingale. We will aim to show that \({\overline{M}}\) is a.s. continuous at \(\sigma \). As in the case of *M* and \(\tau \), in the case of \({\overline{M}}\) and \(\sigma \) it suffices to show that the probability that \(\sigma \) assumes any *fixed* value is zero when \(({{\mathcal {S}}},x,y,\Gamma ,{\overline{\Gamma }})\) is given and \({{\overline{\sigma }}}\) is chosen uniformly in \([0,{\overline{d}}_{{\mathcal {Q}}}(y,x)]\). This follows because the map \({{\overline{\sigma }}}\rightarrow \sigma \) (a random function that depends on \(({{\mathcal {S}}},x,y,\Gamma ,{\overline{\Gamma }})\)) is non-increasing by definition, and the symmetry property implies that \(\Gamma \) a.s. first hits \({\overline{\Gamma }}_{{\overline{\sigma }}}\) at exactly time \(\sigma \), which implies that there a.s. cannot be a positive interval of \({{\overline{\sigma }}}\) values on which \(\sigma \) is constant.

The following lemma is the main input into the proof of Proposition 8.1.

### Lemma 8.2

To further clarify the statement of Lemma 8.2, we note that \(\sigma \) is a stopping time for the filtration generated by \({{\mathcal {F}}}_t, {\overline{{{\mathcal {F}}}}}_{{\overline{\sigma }}}\). Thus the conditional expectation in the first equality of (8.2) is with respect to the stopped \(\sigma \)-algebra for this filtration at the time \(\sigma \). Similarly, \({\overline{\tau }}\) is a stopping time for the filtration generated by \({{\mathcal {F}}}_\tau , {\overline{{{\mathcal {F}}}}}_t\) and the conditional expectation in the second equality of (8.2) is with respect to the stopped \(\sigma \)-algebra for this filtration at the time \({\overline{\tau }}\).

Lemma 8.2 implies that \(\mathbf{E}_{\Theta ^{y \rightarrow x}}[ F(\Gamma ) \,|\,{{\mathcal {F}}}_\sigma , {\overline{{{\mathcal {F}}}}}_{{\overline{\sigma }}}] = A({{\mathcal {S}}},x,y,\Gamma |_{[0,\sigma ]})\). Since \(\mathbf{E}_{\Theta ^{x \rightarrow y}}[F(\Gamma ) \,|\,{{\mathcal {F}}}_\tau ] = \mathbf{E}_\Theta [F(\Gamma ) \,|\,{{\mathcal {F}}}_\tau ] = A({{\mathcal {S}}},x,y,\Gamma |_{[0,\tau ]})\), we thus see that Lemma 8.2 implies that the \(\Theta ^{y \rightarrow x}\) conditional law of \(\Gamma \) given \(({{\mathcal {S}}},x,y,\Gamma |_{[0,\sigma ]},{\overline{\Gamma }}|_{[0,{{\overline{\sigma }}}]})\) is the same as the \(\Theta ^{x \rightarrow y}\) conditional law of \(\Gamma \) given \(({{\mathcal {S}}},x,y,\Gamma |_{[0,\tau ]})\).

### Proof of Lemma 8.2

*dt*for Lebesgue measure on \(\mathbf {R}_+\). We now observe that \(d\Theta \otimes dt\) a.e. we have that

*E*that (8.5) holds for all rational times simultaneously has full \(\Theta \) measure.

*t*.

To prove (8.7) it suffices to show that the \(\sigma \)-algebra generated by \({{\mathcal {F}}}_\tau , {\overline{{{\mathcal {F}}}}}_t\) for \(t < {{\overline{\tau }}}\) is equal to the \(\sigma \)-algebra generated by \({{\mathcal {F}}}_\tau , {\overline{{{\mathcal {F}}}}}_{{{\overline{\tau }}}}\). It in turn suffices to show that the closure of \(\cup _{t < {{\overline{\tau }}}} {\overline{\Gamma }}_t\) is a.s. equal to \({\overline{\Gamma }}_{{{\overline{\tau }}}}\). This will follow by showing that \({{\overline{\tau }}}\) does not correspond to a jump in the time change from capacity to quantum distance time. Since there can only be a countable number of such jump times and \({{\overline{\sigma }}}\) is uniform in \([0,{\overline{d}}_{{\mathcal {Q}}}(y,x)]\), it follows that \({{\overline{\sigma }}}\) a.s. does not correspond to such a jump time for \({\overline{\Gamma }}\). By Theorem 7.1, the \(\Theta ^{x \rightarrow y}\) distribution of \({\overline{\Gamma }}|_{[0,{{\overline{\tau }}}]}\) is the same as the \(\Theta ^{y \rightarrow x}\) distribution of \({\overline{\Gamma }}|_{[0,{{\overline{\sigma }}}]}\). We therefore conclude that \({{\overline{\tau }}}\) similarly a.s. does not correspond to a time at which the capacity of \({\overline{\Gamma }}\) jumps.

*t*, it follows that \({{\overline{\sigma }}}\) is a.s. not a jump time for \({\overline{M}}_t = {\overline{A}}({{\mathcal {S}}},x,y,{\overline{\Gamma }}|_{[0,t]})\). Consequently, we have that

### Proof of Proposition 8.1

Theorem 7.1 implies that the \(\Theta ^{x \rightarrow y}\) distribution of \(({{\mathcal {S}}},x,y)\), \(\Gamma |_{[0,\tau ]}\), and \({\overline{\Gamma }}|_{[0,{{\overline{\tau }}}]}\) is equal to the \(\Theta ^{y \rightarrow x}\) distribution of \(({{\mathcal {S}}},x,y)\), \(\Gamma |_{[0,\sigma ]}\), and \({\overline{\Gamma }}|_{[0,{{\overline{\sigma }}}]}\).

We claim that the \(\Theta ^{x \rightarrow y}\) conditional law of \(\Gamma \) given \({{\mathcal {F}}}_\tau ,{\overline{{{\mathcal {F}}}}}_{{{\overline{\tau }}}}\) is the same as the \(\Theta ^{y \rightarrow x}\) conditional law of \(\Gamma \) given \({{\mathcal {F}}}_\sigma , {\overline{{{\mathcal {F}}}}}_{{{\overline{\sigma }}}}\). The same argument will give that the \(\Theta ^{y \rightarrow x}\) conditional law of \({\overline{\Gamma }}\) given \({{\mathcal {F}}}_\sigma , {\overline{{{\mathcal {F}}}}}_{{{\overline{\sigma }}}}\) is the same as the \(\Theta ^{x \rightarrow y}\) conditional law of \({\overline{\Gamma }}\) given \({{\mathcal {F}}}_\tau ,{\overline{{{\mathcal {F}}}}}_{{{\overline{\tau }}}}\). Upon showing this, the proof will be complete. To see the claim, we first note that Proposition 7.11 implies that the \(\Theta ^{x \rightarrow y}\) conditional law of \(\Gamma \) given \({{\mathcal {F}}}_{\tau },{\overline{{{\mathcal {F}}}}}_{{{\overline{\tau }}}}\) is the same as its \(\Theta \) conditional law given \({{\mathcal {F}}}_{\tau },{\overline{{{\mathcal {F}}}}}_{{{\overline{\tau }}}}\). By the \(\Theta \) conditional independence of \(\Gamma \) and \({\overline{\Gamma }}\) given \(({{\mathcal {S}}},x,y)\), this conditional law is in turn equal to the \(\Theta \) conditional law of \(\Gamma \) given \({{\mathcal {F}}}_\tau \). Lemma 8.2 then implies that the \(\Theta \) conditional law of \(\Gamma \) given \({{\mathcal {F}}}_\tau \) is equal to the \(\Theta ^{y \rightarrow x}\) conditional law of \(\Gamma \) given \({{\mathcal {F}}}_\sigma , {\overline{{{\mathcal {F}}}}}_{{\overline{\sigma }}}\) (this follows from the first equation in (8.2)). This proves the claim, hence the proposition. \(\square \)

### Proposition 8.3

We have on a set of full \(\Theta \) measure that \(d_{{\mathcal {Q}}}(x,y) = {\overline{d}}_{{\mathcal {Q}}}(y,x)\) and that the common value of \(d_{{\mathcal {Q}}}(x,y)\) and \({\overline{d}}_{{\mathcal {Q}}}(y,x)\) is a.s. determined by \(({{\mathcal {S}}},x,y)\).

### Proof

Proposition 8.1 implies that if \({{\mathcal {S}}}\) has the law of a unit area quantum sphere and \(x,y \in {{\mathcal {S}}}\) are chosen independently from the quantum measure on \({{\mathcal {S}}}\), then the amount of time that it takes a \(\mathrm{QLE}(8/3,0)\) with the quantum distance parameterization starting from *x* to reach *y* is a.s. determined by \({{\mathcal {S}}}\) and is equal to the amount of time that it takes for a \(\mathrm{QLE}(8/3,0)\) with the quantum distance parameterization starting from *y* to reach *x*. Moreover, this quantity does not depend on the choice of sequence that we chose in the construction of the \(\mathrm{QLE}(8/3,0)\). Therefore from now on we will only write \(d_{{\mathcal {Q}}}\) (and not \({\overline{d}}_{{\mathcal {Q}}}\)). Conditionally on \({{\mathcal {S}}}\), we let \((x_n)\) be a sequence of i.i.d. points picked from the quantum area measure. For each *i*, *j*, we let \(d_{{\mathcal {Q}}}(x_i,x_j)\) be the amount of quantum distance time that it takes for a \(\mathrm{QLE}(8/3,0)\) starting from \(x_i\) to reach \(x_j\). Then it follows that \(d_{{\mathcal {Q}}}(x_i,x_j) = d_{{\mathcal {Q}}}(x_j,x_i)\) for all *i*, *j* and \(d_{{\mathcal {Q}}}\) is a.s. determined by \({{\mathcal {S}}}\). Moreover, it is immediate from the construction that \(d_{{\mathcal {Q}}}(x_i,x_j) > 0\) a.s. for any \(i \ne j\).

Our next goal is to establish Proposition 8.5, which will be used in the proof of Theorem 1.1 to show that \(d_{{\mathcal {Q}}}\) satisfies the triangle inequality hence is a distance function on \((x_n)\). Before we state and prove this result, we need to collect the following elementary lemma.

### Lemma 8.4

Fix \(D > 0\). Suppose that \(F :[0,D] \rightarrow [0,D]\) is a non-increasing function such that if *U* is uniform in [0, *D*] then *F*(*U*) is uniform in [0, *D*]. Then \(F(d) = D-d\) for all \(d \in [0,D]\).

### Proof

This is essentially obvious, but let us explain the point to be clear. Since *F*(*U*) is uniform in [0, *D*], we have \({\mathbf{P}}[F(U) \ge d] = 1-d/D\) for all \(d \in [0,D]\). Since *F* is non-increasing and *F*(*U*) is uniform it follows that there cannot be a non-empty open interval in [0, *D*] on which *F* is constant. Consequently, \({\mathbf{P}}[F(U) \le F(d)] = {\mathbf{P}}[U \ge d] = 1-d / D\). Since \(V=F(U)\) is uniform and we have shown that \({\mathbf{P}}[V \le F(d)] = 1 - d/D\) for all \(d \in [0,D]\), we conclude that \(F(d) = D - d\) for all \(d \in [0,D]\). \(\square \)

### Proposition 8.5

On a set of full \(\Theta \) measure, we have that \(\tau + {{\overline{\tau }}}= D\) where *D* is the common value of \(d_{{\mathcal {Q}}}(x,y)\) and \(d_{{\mathcal {Q}}}(y,x)\).

### Proof

It suffices to show that \(\tau + {{\overline{\tau }}}= D\) under \(\Theta ^{x \rightarrow y}\) since this measure is mutually absolutely continuous with respect to \(\Theta \).

For each \(d \in [0,D]\), let *F*(*d*) be the first time that \({\overline{\Gamma }}\) hits \(\Gamma _d\). We emphasize that *F* is determined by \(\Gamma \), \({\overline{\Gamma }}\), and \({{\mathcal {S}}}\). We already know that \(d_{{\mathcal {Q}}}(x,y) = d_{{\mathcal {Q}}}(y,x)\) a.s. and that this quantity is a.s. determined by \(({{\mathcal {S}}},x,y)\). We know that \(U = \tau /d_{{\mathcal {Q}}}(x,y)\) is uniform in [0, 1] conditionally on \(({{\mathcal {S}}},x,y)\) and \(\Gamma \). The symmetry we have established in Proposition 8.1 then implies that \({\overline{U}} = {{\overline{\tau }}}/ d_{{\mathcal {Q}}}(y,x)\) is uniform in [0, 1] conditionally on \(({{\mathcal {S}}},x,y)\) and \({\overline{\Gamma }}\). In the case of \(\tau \), it is clearly also uniform in [0, *D*] once we condition on \(({{\mathcal {S}}},x,y,\Gamma , {\overline{\Gamma }})\), which determines *F*. That this is true for \({{\overline{\tau }}}\) as well follows from Proposition 8.1, so that both \(\tau \) and \({{\overline{\tau }}}\) are uniform in [0, *D*] conditionally on *F*. To finish the proof of the proposition, it suffices to show that \(F(d) = D-d\). We know that \(F :[0,D] \rightarrow [0,D]\) is non-decreasing and that \(F(\tau ) = {{\overline{\tau }}}\). Therefore the result follows from Lemma 8.4. \(\square \)

### Proof of Theorem 1.1

*x*and stopped upon hitting

*y*. Given this, we then consider the \(\mathrm{QLE}(8/3,0)\) growth \({\overline{\Upsilon }}\) starting from

*z*and stopped upon hitting \(\Upsilon \). Then we must have that the radius of this growth is at most \(d_{{\mathcal {Q}}}(y,z)\) because \(y \in \Upsilon \). As it is easy to see that the a.s. unique point in \({\overline{\Upsilon }} \cap \Upsilon \) is uniformly distributed in \(\partial \Upsilon \) according to the quantum measure, we a.s. have that \(y \notin {\overline{\Upsilon }}\). That is, the radius of \({\overline{\Upsilon }}\) a.s. is strictly less than \(d_{{\mathcal {Q}}}(y,z)\). On the other hand, Proposition 8.5 implies that the sum of \(d_{{\mathcal {Q}}}(x,y)\) and the radius of this growth is a.s. equal to \(d_{{\mathcal {Q}}}(x,z)\). Combining proves (8.9), which completes the proof. \(\square \)

## Footnotes

- 1.
TBM is the scaling limit w.r.t. the Gromov–Hausdorff topology on metric spaces [21, 22, 23, 24]. The \(\sqrt{8/3}\)-LQG sphere (decorated by \(\mathrm{CLE}_6\)) is the scaling limit of the uniformly random planar map (decorated by critical percolation) w.r.t. the so-called peanosphere topology, as well as a stronger topology that encodes loop lengths and intersection patterns (see [10, 42], the forthcoming works [13, 14, 15], and the brief outline in [26]).

- 2.
We will see in [28] that if one defines a quantum-time \(\mathrm{QLE}(8/3,0)\) on an infinite volume LQG surface, namely a \(\sqrt{8/3}\) quantum cone, then the evolution of the boundary length is a process that matches the one described by Krikun (discrete) [17] and Curien and Le Gall [5] for the Brownian plane [4].

- 3.
These results are in turn consequences of the fact, derived by the authors and Duplantier in an infinite volume setting in [10], that one can weld together two so-called Lévy trees of \(\sqrt{8/3}\)-LQG disks to produce a new \(\sqrt{8/3}\)-LQG surface decorated by an independent \(\mathrm{SLE}_6\) curve that represents the interface between the two trees.

- 4.
[10, Proposition 5.7] is stated in the setting of \(\mathrm{SLE}_\kappa (\rho )\) processes with a single boundary force point; however, the same proof goes through verbatim to describe the local behavior of the start point an excursion which straddles a given boundary point for \(\mathrm{SLE}_\kappa (\rho _1;\rho _2)\) processes.

## Notes

### Acknowledgements

We have benefited from conversations about this work with many people, a partial list of whom includes Omer Angel, Itai Benjamini, Nicolas Curien, Hugo Duminil-Copin, Amir Dembo, Bertrand Duplantier, Ewain Gwynne, Nina Holden, Jean-François Le Gall, Gregory Miermont, Rémi Rhodes, Steffen Rohde, Oded Schramm, Stanislav Smirnov, Xin Sun, Vincent Vargas, Menglu Wang, Samuel Watson, Wendelin Werner, David Wilson, and Hao Wu.

We thank an anonymous referee for providing a number of helpful comments which have led to many improvements in the exposition.

We would also like to thank the Isaac Newton Institute (INI) for Mathematical Sciences, Cambridge, for its support and hospitality during the program on Random Geometry where part of this work was completed. J.M.’s work was also partially supported by DMS-1204894 and J.M. thanks Institut Henri Poincaré for support as a holder of the Poincaré chair, during which part of this work was completed. S.S.’s work was also partially supported by DMS-1209044, DMS-1712862, a fellowship from the Simons Foundation, and EPSRC Grants EP/L018896/1 and EP/I03372X/1.

## References

- 1.Aru, J., Huang, Y., Sun, X.: Two perspectives of the 2D unit area quantum sphere and their equivalence. Commun. Math. Phys.
**356**(1), 261–283 (2017). arXiv:1512.06190 MathSciNetCrossRefzbMATHGoogle Scholar - 2.Bertoin, J.: Lévy Processes, Volume 121 of Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge (1996)Google Scholar
- 3.Bishop, C.J.: Conformal welding and Koebe’s theorem. Ann. Math. (2)
**166**(3), 613–656 (2007)MathSciNetCrossRefzbMATHGoogle Scholar - 4.Curien, N., Le Gall, J.-F.: The Brownian plane. J. Theor. Probab.
**27**(4), 1249–1291 (2014). arXiv:1204.5921 MathSciNetCrossRefzbMATHGoogle Scholar - 5.Curien, N., Le Gall, J.-F.: The hull process of the Brownian plane. Probab. Theory Related Fields
**166**(1–2), 187–231 (2016). arXiv:1409.4026 MathSciNetCrossRefzbMATHGoogle Scholar - 6.Curien, N., Le Gall, J.-F.: Scaling limits for the peeling process on random maps. Ann. Inst. Henri Poincaré Probab. Stat.
**53**(1), 322–357 (2017). arXiv:1412.5509 MathSciNetCrossRefzbMATHGoogle Scholar - 7.Chassaing, P., Schaeffer, G.: Random planar lattices and integrated superBrownian excursion. Probab. Theory Related Fields
**128**(2), 161–212 (2004). arXiv:math/0205226 MathSciNetCrossRefzbMATHGoogle Scholar - 8.Cori, R., Vauquelin, B.: Planar maps are well labeled trees. Can. J. Math.
**33**(5), 1023–1042 (1981)MathSciNetCrossRefzbMATHGoogle Scholar - 9.David, F., Kupiainen, A., Rhodes, R., Vargas, V.: Liouville quantum gravity on the Riemann sphere. Commun. Math. Phys.
**342**(3), 869–907 (2016). arXiv:1410.7318 MathSciNetCrossRefzbMATHGoogle Scholar - 10.Duplantier, B., Miller, J., Sheffield, S.: Liouville quantum gravity as a mating of trees. ArXiv e-prints (Sept. 2014). arXiv:1409.7055
- 11.David, F., Rhodes, R., Vargas, V.: Liouville quantum gravity on complex tori. J. Math. Phys.
**57**(2), 022302, 25 (2016). arXiv:1504.00625 MathSciNetCrossRefzbMATHGoogle Scholar - 12.Duplantier, B., Sheffield, S.: Liouville quantum gravity and KPZ. Invent. Math.
**185**(2), 333–393 (2011). arXiv:0808.1560 MathSciNetCrossRefzbMATHGoogle Scholar - 13.Gwynne, E., Miller, J.: Convergence of the topology of critical Fortuin–Kasteleyn planar maps to that of \(\text{CLE}_\kappa \) on a Liouville quantum surface (
**in preparation**) (2016)Google Scholar - 14.Gwynne, E., Sun, X.: Scaling limits for the critical Fortuin–Kastelyn model on a random planar map III: finite volume case. ArXiv e-prints (Oct. 2015). arXiv:1510.06346
- 15.Gwynne, E., Sun, X.: Scaling limits for the critical Fortuin–Kasteleyn model on a random planar map II: local estimates and empty reduced word exponent. Electron. J. Probab.
**22**(45), 56 (2017). arXiv:1505.03375 MathSciNetzbMATHGoogle Scholar - 16.Jones, P.W., Smirnov, S.K.: Removability theorems for Sobolev functions and quasiconformal maps. Ark. Mat.
**38**(2), 263–279 (2000)MathSciNetCrossRefzbMATHGoogle Scholar - 17.Krikun, M.: Uniform infinite planar triangulation and related time-reversed critical branching process. J. Math. Sci.
**131**(2), 5520–5537 (2005)MathSciNetCrossRefGoogle Scholar - 18.Kyprianou, A.E.: Introductory Lectures on Fluctuations of Lévy Processes with Applications. Universitext. Springer, Berlin (2006)zbMATHGoogle Scholar
- 19.Lamperti, J.: Continuous state branching processes. Bull. Am. Math. Soc.
**73**, 382–386 (1967)MathSciNetCrossRefzbMATHGoogle Scholar - 20.Le Gall, J.-F.: Spatial Branching Processes, Random Snakes and Partial Differential Equations. Lectures in Mathematics ETH Zürich. Birkhäuser, Basel (1999)CrossRefGoogle Scholar
- 21.Le Gall, J.-F.: Uniqueness and universality of the Brownian map. Ann. Probab.
**41**(4), 2880–2960 (2013). arXiv:1105.4842 MathSciNetCrossRefzbMATHGoogle Scholar - 22.Le Gall, J.-F.: The Brownian map: a universal limit for random planar maps. In: XVIIth International Congress on Mathematical Physics, pp. 420–428. World Sci. Publ., Hackensack (2014)Google Scholar
- 23.Le Gall, J.-F., Paulin, F.: Scaling limits of bipartite planar maps are homeomorphic to the 2-sphere. Geom. Funct. Anal.
**18**(3), 893–918 (2008). arXiv:math/0612315 MathSciNetCrossRefzbMATHGoogle Scholar - 24.Miermont, G.: The Brownian map is the scaling limit of uniform random plane quadrangulations. Acta Math.
**210**(2), 319–401 (2013)MathSciNetCrossRefzbMATHGoogle Scholar - 25.Marckert, J.-F., Mokkadem, A.: Limit of normalized quadrangulations: the Brownian map. Ann. Probab.
**34**(6), 2144–2202 (2006)MathSciNetCrossRefzbMATHGoogle Scholar - 26.Miller, J., Sheffield, S.: An axiomatic characterization of the Brownian map. ArXiv e-prints (June 2015). arXiv:1506.03806
- 27.Miller, J., Sheffield, S.: Liouville quantum gravity spheres as matings of finite-diameter trees. ArXiv e-prints (June 2015) arXiv:1506.03804. To appear in Annales de l’Institut Henri Poincaré
- 28.Miller, J., Sheffield, S.: Liouville quantum gravity and the Brownian map II: geodesics and continuity of the embedding. ArXiv e-prints (May 2016). arXiv:1605.03563
- 29.Miller, J., Sheffield, S.: Liouville quantum gravity and the Brownian map III: the conformal structure is determined. ArXiv e-prints (Aug. 2016). arXiv:1608.05391
- 30.Miller, J., Sheffield, S.: Imaginary geometry I: interacting SLEs. Probab. Theory Related Fields
**164**(3–4), 553–705 (2016). arXiv:1201.1496 MathSciNetCrossRefzbMATHGoogle Scholar - 31.Miller, J., Sheffield, S.: Imaginary geometry II: reversibility of \(\text{ SLE }_\kappa (\rho _1;\rho _2)\) for \(\kappa \in (0,4)\). Ann. Probab.
**44**(3), 1647–1722 (2016). arXiv:1201.1497 MathSciNetCrossRefGoogle Scholar - 32.Miller, J., Sheffield, S.: Imaginary geometry III: reversibility of \(\text{ SLE }_\kappa \) for \(\kappa \in (4,8)\). Ann. Math. (2)
**184**(2), 455–486 (2016). arXiv:1201.1498 MathSciNetCrossRefzbMATHGoogle Scholar - 33.Miller, J., Sheffield, S.: Quantum Loewner evolution. Duke Math. J.
**165**(17), 3241–3378 (2016). arXiv:1312.5745 MathSciNetCrossRefzbMATHGoogle Scholar - 34.Miller, J., Sheffield, S.: Imaginary geometry IV: interior rays, whole-plane reversibility, and space-filling trees. Probab. Theory Related Fields
**169**(3–4), 729–869 (2017). arXiv:1302.4738 MathSciNetCrossRefzbMATHGoogle Scholar - 35.Miller, J., Wu, H.: Intersections of SLE paths: the double and cut point dimension of SLE. Probab. Theory Related Fields
**167**(1–2), 45–105 (2017). arXiv:1303.4725 MathSciNetCrossRefzbMATHGoogle Scholar - 36.Polyakov, A.M.: Quantum geometry of bosonic strings. Phys. Lett. B
**103**(3), 207–210 (1981)MathSciNetCrossRefGoogle Scholar - 37.Polyakov, A.M.: Quantum geometry of fermionic strings. Phys. Lett. B
**103**(3), 211–213 (1981)MathSciNetCrossRefGoogle Scholar - 38.Polyakov, A.: Two-dimensional quantum gravity. Superconductivity at high \(T_{C}\). Champs. cordes et phénomènes critiques (Les Houches, 1988), pp. 305–368. North-Holland, Amsterdam (1990)Google Scholar
- 39.Rohde, S., Schramm, O.: Basic properties of SLE. Ann. Math. (2)
**161**(2), 883–924 (2005)MathSciNetCrossRefzbMATHGoogle Scholar - 40.Schaeffer, G.: Conjugaison d’arbres et cartes combinatoires aléatoires. Ph.D. Thesis, Université Bordeaux I (1998)Google Scholar
- 41.Sheffield, S.: Conformal weldings of random surfaces: SLE and the quantum gravity zipper. Ann. Probab.
**44**(5), 3474–3545 (2016). arXiv:1012.4797 MathSciNetCrossRefzbMATHGoogle Scholar - 42.Sheffield, S.: Quantum gravity and inventory accumulation. Ann. Probab.
**44**(6), 3804–3848 (2016). arXiv:1108.2241 MathSciNetCrossRefzbMATHGoogle Scholar - 43.Schramm, O., Sheffield, S.: A contour line of the continuum Gaussian free field. Probab. Theory Related Fields
**157**(1–2), 47–80 (2013). arXiv:1008.2447 MathSciNetCrossRefzbMATHGoogle Scholar - 44.Tutte, W.T.: A census of planar maps. Can. J. Math.
**15**, 249–271 (1963)MathSciNetCrossRefzbMATHGoogle Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.