Showing 1–21 of 21 results for author: Holden, N

Conformal welding of quantum disks and multiple SLE: the non-simple case

Authors: Morris Ang, Nina Holden, Xin Sun, Pu Yu

Abstract: Two-pointed quantum disks with a weight parameter $W>0$ is a canonical family of finite-volume random surfaces in Liouville quantum gravity. We extend the conformal welding of quantum disks in [AHS23] to the non-simple regime, and give a construction of the multiple SLE associated with any given link pattern for $κ\in(4,8)$. Our proof is based on connections between SLE and Liouville conformal fie… ▽ More Two-pointed quantum disks with a weight parameter $W>0$ is a canonical family of finite-volume random surfaces in Liouville quantum gravity. We extend the conformal welding of quantum disks in [AHS23] to the non-simple regime, and give a construction of the multiple SLE associated with any given link pattern for $κ\in(4,8)$. Our proof is based on connections between SLE and Liouville conformal field theory (LCFT), where we show that in the conformal welding of multiple forested quantum disks, the surface after welding can be described in terms of LCFT, and the random conformal moduli contains the SLE partition function for the interfaces as a multiplicative factor. As a corollary, for $κ\in(4,8)$, we prove the existence of the multiple SLE partition functions, which are smooth functions satisfying a system of PDEs and conformal covariance. △ Less

Submitted 2 May, 2024; v1 submitted 31 October, 2023; originally announced October 2023.

Comments: 43 pages, 7 figures

MSC Class: 60J67; 60G60

The SLE loop via conformal welding of quantum disks

Authors: Morris Ang, Nina Holden, Xin Sun

Abstract: We prove that the SLE$_κ$ loop measure arises naturally from the conformal welding of two $γ$-Liouville quantum gravity (LQG) disks for $γ^2 = κ\in (0,4)$. The proof relies on our companion work on conformal welding of LQG disks and uses as an essential tool the concept of uniform embedding of LQG surfaces. Combining our result with work of Gwynne and Miller, we get that random quadrangulations de… ▽ More We prove that the SLE$_κ$ loop measure arises naturally from the conformal welding of two $γ$-Liouville quantum gravity (LQG) disks for $γ^2 = κ\in (0,4)$. The proof relies on our companion work on conformal welding of LQG disks and uses as an essential tool the concept of uniform embedding of LQG surfaces. Combining our result with work of Gwynne and Miller, we get that random quadrangulations decorated by a self-avoiding polygon converge in the scaling limit to the LQG sphere decorated by the SLE$_{8/3}$ loop. Our result is also a key input to recent work of the first and third coauthors on the integrability of the conformal loop ensemble. △ Less

Submitted 7 February, 2023; v1 submitted 10 May, 2022; originally announced May 2022.

Comments: 18 pages, 1 figure. A previous version of arXiv:2104.09477 (v2) was split into two papers; the present paper is Section 6 of that earlier work. Accepted for publication in EJP

MSC Class: 60J67; 60G60

Liouville quantum gravity weighted by conformal loop ensemble nesting statistics

Authors: Nina Holden, Matthis Lehmkuehler

Abstract: We study Liouville quantum gravity (LQG) surfaces whose law has been reweighted according to nesting statistics for a conformal loop ensemble (CLE) relative to $n\in \mathbb{N}_0$ marked points $z_1,\dots,z_n$. The idea is to consider a reweighting by $\prod_{B\subseteq \{1,\dots,n\}} e^{σ_B N_B}$, where $σ_B\in\mathbb{R}$ and $N_B$ is the number of CLE loops surrounding the points $z_i$ for… ▽ More We study Liouville quantum gravity (LQG) surfaces whose law has been reweighted according to nesting statistics for a conformal loop ensemble (CLE) relative to $n\in \mathbb{N}_0$ marked points $z_1,\dots,z_n$. The idea is to consider a reweighting by $\prod_{B\subseteq \{1,\dots,n\}} e^{σ_B N_B}$, where $σ_B\in\mathbb{R}$ and $N_B$ is the number of CLE loops surrounding the points $z_i$ for $i\in B$. This is made precise via an approximation procedure where as part of the proof we derive strong spatial independence results for CLE. The reweighting induces logarithmic singularities for the Liouville field at $z_1,\dots,z_n$ with a magnitude depending explicitly on $σ_1,\dots,σ_n$. We define the partition function of the surface, compute it for $n\in\{0,1\}$, and derive a recursive formula expressing the $n>1$ point partition function in terms of lower-order partition functions. The proof of the latter result is based on a continuum peeling process previously studied by Miller, Sheffield and Werner in the case $n=0$, and we derive an explicit formula for the generator of a boundary length process that can be associated with the exploration for general $n$. We use the recursive formula to partly characterize for which values of $(σ_B\colon B\subseteq \{1,\dots,n\})$ the partition function is finite. Finally, we give a new proof for the law of the conformal radius of CLE, which was originally established by Schramm, Sheffield, and Wilson. △ Less

Submitted 29 August, 2024; v1 submitted 21 April, 2022; originally announced April 2022.

Comments: 96 pages, 9 figures

Journal ref: Prob. Math. Phys. 5 (2024) 847-960

Baxter permuton and Liouville quantum gravity

Authors: Jacopo Borga, Nina Holden, Xin Sun, Pu Yu

Abstract: The Baxter permuton is a random probability measure on the unit square which describes the scaling limit of uniform Baxter permutations. We find an explict formula for the expectation of the Baxter permuton, i.e.\ the density of its intensity measure. This answers a question of Dokos and Pak (2014). We also prove that all pattern densities of the Baxter permuton are strictly positive, distinguis… ▽ More The Baxter permuton is a random probability measure on the unit square which describes the scaling limit of uniform Baxter permutations. We find an explict formula for the expectation of the Baxter permuton, i.e.\ the density of its intensity measure. This answers a question of Dokos and Pak (2014). We also prove that all pattern densities of the Baxter permuton are strictly positive, distinguishing it from other permutons arising as scaling limits of pattern-avoiding permutations. Our proofs rely on a recent connection between the Baxter permuton and Liouville quantum gravity (LQG) coupled with the Schramm-Loewner evolution (SLE). The method works equally well for a two-parameter generalization of the Baxter permuton recently introduced by the first author, except that the density is not as explicit. This new family of permutons, called \emph{skew Brownian permuton}, describes the scaling limit of a number of random constrained permutations. We finally observe that in the LQG/SLE framework, the expected proportion of inversions in a skew Brownian permuton equals $\frac{π-2θ}{2π}$ where $θ$ is the so-called imaginary geometry angle between a certain pair of SLE curves. △ Less

Submitted 17 January, 2023; v1 submitted 22 March, 2022; originally announced March 2022.

Comments: New version including referee's corrections, accepted for publication in Probability Theory and Related Fields

MSC Class: 60D05; 60C05; 05A19

Integrability of SLE via conformal welding of random surfaces

Authors: Morris Ang, Nina Holden, Xin Sun

Abstract: We demonstrate how to obtain integrable results for the Schramm-Loewner evolution (SLE) from Liouville conformal field theory (LCFT) and the mating-of-trees framework for Liouville quantum gravity (LQG). In particular, we prove an exact formula for the law of a conformal derivative of a classical variant of SLE called $\mathrm{SLE}_κ(ρ_-;ρ_+)$. Our proof is built on two connections between SLE, LC… ▽ More We demonstrate how to obtain integrable results for the Schramm-Loewner evolution (SLE) from Liouville conformal field theory (LCFT) and the mating-of-trees framework for Liouville quantum gravity (LQG). In particular, we prove an exact formula for the law of a conformal derivative of a classical variant of SLE called $\mathrm{SLE}_κ(ρ_-;ρ_+)$. Our proof is built on two connections between SLE, LCFT, and mating-of-trees. Firstly, LCFT and mating-of-trees provide equivalent but complementary methods to describe natural random surfaces in LQG. Using a novel tool that we call the uniform embedding of an LQG surface, we extend earlier equivalence results by allowing fewer marked points and more generic singularities. Secondly, the conformal welding of these random surfaces produces SLE curves as their interfaces. In particular, we rely on the conformal welding results proved in our companion paper [AHS20]. Our paper is an essential part of a program proving integrability results for SLE, LCFT, and mating-of-trees based on these two connections. △ Less

Submitted 6 May, 2022; v1 submitted 19 April, 2021; originally announced April 2021.

Comments: 49 pages, 4 figures. Section 6 from the previous version of this paper has been removed and will be uploaded as a new paper "The SLE loop via conformal welding of quantum disks"

MSC Class: 60J67

Conformal welding of quantum disks

Authors: Morris Ang, Nina Holden, Xin Sun

Abstract: Two-pointed quantum disks with a weight parameter $W > 0$ are a family of finite-area random surfaces that arise naturally in Liouville quantum gravity. In this paper we show that conformally welding two quantum disks according to their boundary lengths gives another quantum disk decorated with an independent chordal $\mathrm{SLE}_κ(ρ_-;ρ_+)$ curve. This is the finite-volume counterpart of the cla… ▽ More Two-pointed quantum disks with a weight parameter $W > 0$ are a family of finite-area random surfaces that arise naturally in Liouville quantum gravity. In this paper we show that conformally welding two quantum disks according to their boundary lengths gives another quantum disk decorated with an independent chordal $\mathrm{SLE}_κ(ρ_-;ρ_+)$ curve. This is the finite-volume counterpart of the classical result of Sheffield (2010) and Duplantier-Miller-Sheffield (2014) on the welding of infinite-area two-pointed quantum surfaces called quantum wedges, which is fundamental to the mating-of-trees theory. Our results can be used to give unified proofs of the mating-of-trees theorems for the quantum disk and the quantum sphere, in addition to a mating-of-trees description of the weight $W = \frac{γ^2}{2}$ quantum disk. Moreover, it serves as a key ingredient in our companion work [AHS21], which proves an exact formula for $\mathrm{SLE}_κ(ρ_-;ρ_+)$ using conformal welding of random surfaces and a conformal welding result giving the so-called SLE loop. △ Less

Submitted 4 July, 2021; v1 submitted 17 September, 2020; originally announced September 2020.

Comments: 51 pages, 10 figures

MSC Class: 60J67; 60G60

Mating of trees for random planar maps and Liouville quantum gravity: a survey

Authors: Ewain Gwynne, Nina Holden, Xin Sun

Abstract: We survey the theory and applications of mating-of-trees bijections for random planar maps and their continuum analog: the mating-of-trees theorem of Duplantier, Miller, and Sheffield (2014). The latter theorem gives an encoding of a Liouville quantum gravity (LQG) surface decorated by a Schramm-Loewner evolution (SLE) curve in terms of a pair of correlated linear Brownian motions. We assume minim… ▽ More We survey the theory and applications of mating-of-trees bijections for random planar maps and their continuum analog: the mating-of-trees theorem of Duplantier, Miller, and Sheffield (2014). The latter theorem gives an encoding of a Liouville quantum gravity (LQG) surface decorated by a Schramm-Loewner evolution (SLE) curve in terms of a pair of correlated linear Brownian motions. We assume minimal familiarity with the theory of SLE and LQG. Mating-of-trees theory enables one to reduce problems about SLE and LQG to problems about Brownian motion and leads to deep rigorous connections between random planar maps and LQG. Applications discussed in this article include scaling limit results for various functionals of decorated random planar maps, estimates for graph distances and random walk on (not necessarily uniform) random planar maps, computations of the Hausdorff dimensions of sets associated with SLE, scaling limit results for random planar maps conformally embedded in the plane, and special symmetries for $\sqrt{8/3}$-LQG which allow one to prove its equivalence with the Brownian map. △ Less

Submitted 15 February, 2023; v1 submitted 10 October, 2019; originally announced October 2019.

Comments: 70 pages, 12 figures. Minor changes. To appear in Panoramas et Synthèses

Convergence of uniform triangulations under the Cardy embedding

Authors: Nina Holden, Xin Sun

Abstract: We consider an embedding of planar maps into an equilateral triangle $Δ$ which we call the Cardy embedding. The embedding is a discrete approximation of a conformal map based on percolation observables that are used in Smirnov's proof of Cardy's formula. Under the Cardy embedding, the planar map induces a metric and an area measure on $Δ$ and a boundary measure on $\partial Δ$. We prove that for u… ▽ More We consider an embedding of planar maps into an equilateral triangle $Δ$ which we call the Cardy embedding. The embedding is a discrete approximation of a conformal map based on percolation observables that are used in Smirnov's proof of Cardy's formula. Under the Cardy embedding, the planar map induces a metric and an area measure on $Δ$ and a boundary measure on $\partial Δ$. We prove that for uniformly sampled triangulations, the metric and the measures converge jointly in the scaling limit to the Brownian disk conformally embedded into $Δ$ (i.e., to the $\sqrt{8/3}$-Liouville quantum gravity disk). As part of our proof, we prove scaling limit results for critical site percolation on the uniform triangulations, in a quenched sense. In particular, we establish the scaling limit of the percolation crossing probability for a uniformly sampled triangulation with four boundary marked points. △ Less

Submitted 2 June, 2021; v1 submitted 30 May, 2019; originally announced May 2019.

Comments: 66 pages, 13 figures. Revised according to referee report. Accepted for publication in Acta Mathematica

Liouville dynamical percolation

Authors: Christophe Garban, Nina Holden, Avelio Sepúlveda, Xin Sun

Abstract: We construct and analyze a continuum dynamical percolation process which evolves in a random environment given by a $γ$-Liouville measure. The homogeneous counterpart of this process describes the scaling limit of discrete dynamical percolation on the rescaled triangular lattice. Our focus here is to study the same limiting dynamics, but where the speed of microscopic updates is highly inhomogeneo… ▽ More We construct and analyze a continuum dynamical percolation process which evolves in a random environment given by a $γ$-Liouville measure. The homogeneous counterpart of this process describes the scaling limit of discrete dynamical percolation on the rescaled triangular lattice. Our focus here is to study the same limiting dynamics, but where the speed of microscopic updates is highly inhomogeneous in space and is driven by the $γ$-Liouville measure associated with a two-dimensional log-correlated field $h$. Roughly speaking, this continuum percolation process evolves very rapidly where the field $h$ is high and barely moves where the field $h$ is low. Our main results can be summarized as follows. 1. First, we build this inhomogeneous dynamical percolation which we call $γ$-Liouville dynamical percolation (LDP) by taking the scaling limit of the associated process on the triangular lattice. We work with three different regimes each requiring different tools: $γ\in [0,2-\sqrt{5/2})$, $γ\in [2-\sqrt{5/2}, \sqrt{3/2})$, and $γ\in(\sqrt{3/2},2)$. 2. When $γ<\sqrt{3/2}$, we prove that $γ$-LDP is mixing in the Schramm-Smirnov space as $t\to \infty$, quenched in the log-correlated field $h$. On the contrary, when $γ>\sqrt{3/2}$ the process is frozen in time. The ergodicity result is a crucial piece of the Cardy embedding project of the second and fourth coauthors, where LDP for $γ=\sqrt{1/6}$ is used to study the scaling limit of a variant of dynamical percolation on uniform triangulations. 3. When $γ<\sqrt{3/4}$, we obtain quantitative bounds on the mixing of quad crossing events. △ Less

Submitted 20 May, 2019; v1 submitted 16 May, 2019; originally announced May 2019.

Comments: Minor update. 51 pages, 2 figures

Joint scaling limit of site percolation on random triangulations in the metric and peanosphere sense

Authors: Ewain Gwynne, Nina Holden, Xin Sun

Abstract: Recent works have shown that random triangulations decorated by critical ($p=1/2$) Bernoulli site percolation converge in the scaling limit to a $\sqrt{8/3}$-Liouville quantum gravity (LQG) surface (equivalently, a Brownian surface) decorated by SLE$_6$ in two different ways: 1. The triangulation, viewed as a curve-decorated metric measure space equipped with its graph distance, the counting mea… ▽ More Recent works have shown that random triangulations decorated by critical ($p=1/2$) Bernoulli site percolation converge in the scaling limit to a $\sqrt{8/3}$-Liouville quantum gravity (LQG) surface (equivalently, a Brownian surface) decorated by SLE$_6$ in two different ways: 1. The triangulation, viewed as a curve-decorated metric measure space equipped with its graph distance, the counting measure on vertices, and a single percolation interface converges with respect to a version of the Gromov-Hausdorff topology. 2. There is a bijective encoding of the site-percolated triangulation by means of a two-dimensional random walk, and this walk converges to the correlated two-dimensional Brownian motion which encodes SLE$_6$-decorated $\sqrt{8/3}$-LQG via the mating-of-trees theorem of Duplantier-Miller-Sheffield (2014); this is sometimes called $\textit{peanosphere convergence}$. We prove that one in fact has $\textit{joint}$ convergence in both of these two senses simultaneously. We also improve the metric convergence result by showing that the map decorated by the full collection of percolation interfaces (rather than just a single interface) converges to $\sqrt{8/3}$-LQG decorated by CLE$_6$ in the metric space sense. This is the first work to prove simultaneous convergence of any random planar map model in the metric and peanosphere senses. Moreover, this work is an important step in an ongoing program to prove that random triangulations embedded into $\mathbb C$ via the so-called $\textit{Cardy embedding}$ converge to $\sqrt{8/3}$-LQG. △ Less

Submitted 8 June, 2021; v1 submitted 16 May, 2019; originally announced May 2019.

Comments: 55 pages; 13 Figures. Minor revision according to a referee report. Accepted for publication at EJP

Liouville quantum gravity with matter central charge in $(1,25)$: a probabilistic approach

Authors: Ewain Gwynne, Nina Holden, Joshua Pfeffer, Guillaume Remy

Abstract: There is a substantial literature concerning Liouville quantum gravity (LQG) in two dimensions with conformal matter field of central charge ${\mathbf{c}}_{\mathrm M}\in(-\infty,1]$. Via the DDK ansatz, LQG can equivalently be described as the random geometry obtained by exponentiating $γ$ times a variant of the planar Gaussian free field (GFF), where $γ\in(0,2]$ satisfies… ▽ More There is a substantial literature concerning Liouville quantum gravity (LQG) in two dimensions with conformal matter field of central charge ${\mathbf{c}}_{\mathrm M}\in(-\infty,1]$. Via the DDK ansatz, LQG can equivalently be described as the random geometry obtained by exponentiating $γ$ times a variant of the planar Gaussian free field (GFF), where $γ\in(0,2]$ satisfies $\mathbf c_{\mathrm M}=25-6(2/γ+γ/2)^2$. Physics considerations suggest that LQG should also make sense in the regime when $\mathbf c_{\mathrm M}>1$. However, the behavior in this regime is rather mysterious in part because the corresponding value of $γ$ is complex, so analytic continuations of various formulas give complex answers which are difficult to interpret in a probabilistic setting. We introduce and study a discretization of LQG which makes sense for all values of $\mathbf c_{\mathrm M}\in(-\infty,25)$. Our discretization consists of a random planar map, defined as the adjacency graph of a tiling of the plane by dyadic squares which all have approximately the same "LQG size" with respect to the GFF. We prove that several formulas for dimension-related quantities are still valid for $\mathbf c_{\mathrm M}\in(1,25)$, with the caveat that the dimension is infinite when the formulas give a complex answer. In particular, we prove an extension of the (geometric) KPZ formula for $\mathbf c_{\mathrm M}\in(1,25)$, which gives a finite quantum dimension iff the Euclidean dimension is at most $(25-\mathbf c_{\mathrm M})/12$. We also show that the graph distance between typical points with respect to our discrete model grows polynomially whereas the cardinality of a graph distance ball of radius $r$ grows faster than any power of $r$ (which suggests that the Hausdorff dimension of LQG is infinite for $\mathbf c_{\mathrm M}\in(1,25)$). We include a substantial list of open problems. △ Less

Submitted 11 November, 2019; v1 submitted 21 March, 2019; originally announced March 2019.

Comments: 53 pages, 6 figures

Conformal welding for critical Liouville quantum gravity

Authors: Nina Holden, Ellen Powell

Abstract: Consider two critical Liouville quantum gravity surfaces (i.e., $γ$-LQG for $γ=2$), each with the topology of $\mathbb{H}$ and with infinite boundary length. We prove that there a.s. exists a conformal welding of the two surfaces, when the boundaries are identified according to quantum boundary length. This results in a critical LQG surface decorated by an independent SLE$_4$. Combined with the pr… ▽ More Consider two critical Liouville quantum gravity surfaces (i.e., $γ$-LQG for $γ=2$), each with the topology of $\mathbb{H}$ and with infinite boundary length. We prove that there a.s. exists a conformal welding of the two surfaces, when the boundaries are identified according to quantum boundary length. This results in a critical LQG surface decorated by an independent SLE$_4$. Combined with the proof of uniqueness for such a welding, recently established by McEnteggart, Miller, and Qian (2018), this shows that the welding operation is well-defined. Our result is a critical analogue of Sheffield's quantum gravity zipper theorem (2016), which shows that a similar conformal welding for subcritical LQG (i.e., $γ$-LQG for $γ\in(0,2)$) is well-defined. △ Less

Submitted 28 October, 2020; v1 submitted 31 December, 2018; originally announced December 2018.

Comments: 27 pages, 3 figures. Minor changes

Percolation on triangulations: a bijective path to Liouville quantum gravity

Authors: Olivier Bernardi, Nina Holden, Xin Sun

Abstract: We set the foundation for a series of works aimed at proving strong relations between uniform random planar maps and Liouville quantum gravity (LQG). Our method relies on a bijective encoding of site-percolated planar triangulations by certain 2D lattice paths. Our bijection parallels in the discrete setting the \emph{mating-of-trees} framework of LQG and Schramm-Loewner evolutions (SLE) introduce… ▽ More We set the foundation for a series of works aimed at proving strong relations between uniform random planar maps and Liouville quantum gravity (LQG). Our method relies on a bijective encoding of site-percolated planar triangulations by certain 2D lattice paths. Our bijection parallels in the discrete setting the \emph{mating-of-trees} framework of LQG and Schramm-Loewner evolutions (SLE) introduced by Duplantier, Miller, and Sheffield. Combining these two correspondences allows us to relate uniform site-percolated triangulations to $\sqrt{8/3}$-LQG and SLE$_6$. In particular, we establish the convergence of several functionals of the percolation model to continuous random objects defined in terms of $\sqrt{8/3}$-LQG and SLE$_6$. For instance, we show that the exploration tree of the percolation converges to a branching SLE$_6$, and that the collection of percolation cycles converges to the conformal loop ensemble CLE$_6$. We also prove convergence of counting measure on the pivotal points of the percolation. Our results play an essential role in several other works, including a program for showing convergence of the conformal structure of uniform triangulations and works which study the behavior of random walk on the uniform infinite planar triangulation. △ Less

Submitted 2 June, 2021; v1 submitted 4 July, 2018; originally announced July 2018.

Comments: 153 pages, 58 figures. Minor changes. Accepted for publication in Memoirs of the AMS

Natural parametrization of percolation interface and pivotal points

Authors: Nina Holden, Xinyi Li, Xin Sun

Abstract: We prove that the interface of critical site percolation on the triangular lattice converges to SLE$_6$ in its natural parametrization, where the discrete interface is parametrized such that each edge is crossed in one unit of time, while the limiting curve is parametrized by the $7/4$-dimensional Minkowski content. We also prove that the scaling limit of counting measure on the pivotal points, wh… ▽ More We prove that the interface of critical site percolation on the triangular lattice converges to SLE$_6$ in its natural parametrization, where the discrete interface is parametrized such that each edge is crossed in one unit of time, while the limiting curve is parametrized by the $7/4$-dimensional Minkowski content. We also prove that the scaling limit of counting measure on the pivotal points, which was proved to exist by Garban, Pete, and Schramm (2013), is the $3/4$-dimensional Minkowski content up to a deterministic multiplicative constant. △ Less

Submitted 29 March, 2021; v1 submitted 19 April, 2018; originally announced April 2018.

Comments: 27 pages, 3 figures. Minor revision according to the referee report. Accepted version. To appear at AIHP

A mating-of-trees approach for graph distances in random planar maps

Authors: Ewain Gwynne, Nina Holden, Xin Sun

Abstract: We introduce a general technique for proving estimates for certain random planar maps which belong to the $γ$-Liouville quantum gravity (LQG) universality class for $γ\in (0,2)$. The family of random planar maps we consider are those which can be encoded by a two-dimensional random walk with i.i.d.\ increments via a mating-of-trees bijection, and includes the uniform infinite planar triangulation… ▽ More We introduce a general technique for proving estimates for certain random planar maps which belong to the $γ$-Liouville quantum gravity (LQG) universality class for $γ\in (0,2)$. The family of random planar maps we consider are those which can be encoded by a two-dimensional random walk with i.i.d.\ increments via a mating-of-trees bijection, and includes the uniform infinite planar triangulation (UIPT; $γ=\sqrt{8/3}$); and planar maps weighted by the number of different spanning trees ($γ=\sqrt 2$), bipolar orientations ($γ=\sqrt{4/3}$), or Schnyder woods ($γ=1$) that can be put on the map. Using our technique, we prove estimates for graph distances in the above family of random planar maps. In particular, we obtain non-trivial upper and lower bounds for the cardinality of a graph distance ball consistent with the Watabiki (1993) prediction for the Hausdorff dimension of $γ$-LQG and we establish the existence of an exponent for certain distances in the map. The basic idea of our approach is to compare a given random planar map $M$ to a mated-CRT map---a random planar map constructed from a correlated two-dimensional Brownian motion---using a strong coupling (Zaitsev, 1998) of the encoding walk for $M$ and the Brownian motion used to construct the mated-CRT map. This allows us to deduce estimates for graph distances in $M$ from the estimates for graph distances in the mated-CRT map which we proved (using continuum theory) in a previous work. In the special case when $γ=\sqrt{8/3}$, we instead deduce estimates for the $\sqrt{8/3}$-mated-CRT map from known results for the UIPT. The arguments of this paper do not directly use SLE/LQG, and can be read without any knowledge of these objects. △ Less

Submitted 11 March, 2020; v1 submitted 2 November, 2017; originally announced November 2017.

Comments: 46 pages, 19 figures; final version, to appear in PTRF

SLE as a mating of trees in Euclidean geometry

Authors: Nina Holden, Xin Sun

Abstract: The mating of trees approach to Schramm-Loewner evolution (SLE) in the random geometry of Liouville quantum gravity (LQG) has been recently developed by Duplantier-Miller-Sheffield (2014). In this paper we consider the mating of trees approach to SLE in Euclidean geometry. Let $η$ be a whole-plane space-filling SLE with parameter $κ>4$, parameterized by Lebesgue measure. The main observable in the… ▽ More The mating of trees approach to Schramm-Loewner evolution (SLE) in the random geometry of Liouville quantum gravity (LQG) has been recently developed by Duplantier-Miller-Sheffield (2014). In this paper we consider the mating of trees approach to SLE in Euclidean geometry. Let $η$ be a whole-plane space-filling SLE with parameter $κ>4$, parameterized by Lebesgue measure. The main observable in the mating of trees approach is the contour function, a two-dimensional continuous process describing the evolution of the Minkowski content of the left and right frontier of $η$. We prove regularity properties of the contour function and show that (as in the LQG case) it encodes all the information about the curve $η$. We also prove that the uniform spanning tree on $\mathbb Z^2$ converges to $\mathrm{SLE}_8$ in the natural topology associated with the mating of trees approach. △ Less

Submitted 27 February, 2018; v1 submitted 17 October, 2016; originally announced October 2016.

Comments: minor revisions according to a referee report

A distance exponent for Liouville quantum gravity

Authors: Ewain Gwynne, Nina Holden, Xin Sun

Abstract: Let $γ\in (0,2)$ and let $h$ be the random distribution on $\mathbb C$ which describes a $γ$-Liouville quantum gravity (LQG) cone. Also let $κ= 16/γ^2 >4$ and let $η$ be a whole-plane space-filling SLE$_κ$ curve sampled independent from $h$ and parametrized by $γ$-quantum mass with respect to $h$. We study a family $\{\mathcal G^ε\}_{ε>0}$ of planar maps associated with $(h, η)$ called the \textit… ▽ More Let $γ\in (0,2)$ and let $h$ be the random distribution on $\mathbb C$ which describes a $γ$-Liouville quantum gravity (LQG) cone. Also let $κ= 16/γ^2 >4$ and let $η$ be a whole-plane space-filling SLE$_κ$ curve sampled independent from $h$ and parametrized by $γ$-quantum mass with respect to $h$. We study a family $\{\mathcal G^ε\}_{ε>0}$ of planar maps associated with $(h, η)$ called the \textit{LQG structure graphs} (a.k.a.\ \textit{mated-CRT maps}) which we conjecture converge in probability in the scaling limit with respect to the Gromov-Hausdorff topology to a random metric space associated with $γ$-LQG. In particular, $\mathcal G^ε$ is the graph whose vertex set is $ε\mathbb Z$, with two such vertices $x_1,x_2\in ε\mathbb Z$ connected by an edge if and only if the corresponding curve segments $η([x_1-ε, x_1])$ and $η([x_2-ε,x_2])$ share a non-trivial boundary arc. Due to the peanosphere description of SLE-decorated LQG due to Duplantier, Miller, and Sheffield (2014), the graph $\mathcal G^ε$ can equivalently be expressed as an explicit functional of a correlated two-dimensional Brownian motion, so can be studied without any reference to SLE or LQG. We prove non-trivial upper and lower bounds for the cardinality of a graph-distance ball of radius $n$ in $\mathcal G^ε$ which are consistent with the prediction of Watabiki (1993) for the Hausdorff dimension of LQG. Using subadditivity arguments, we also prove that there is an exponent $χ> 0$ for which the expected graph distance between generic points in the subgraph of $\mathcal G^ε$ corresponding to the segment $η([0,1])$ is of order $ε^{-χ+ o_ε(1)}$, and this distance is extremely unlikely to be larger than $ε^{-χ+ o_ε(1)}$. △ Less

Submitted 3 July, 2018; v1 submitted 3 June, 2016; originally announced June 2016.

Comments: 51 pages, 9 figures. Sections 7 and 8 removed (these sections will be superseded by forthcoming work of Gwynne and Pfeffer). Final version, to appear in PTRF

Dimension transformation formula for conformal maps into the complement of an SLE curve

Authors: Ewain Gwynne, Nina Holden, Jason Miller

Abstract: We prove a formula relating the Hausdorff dimension of a deterministic Borel subset of $\mathbb R$ and the Hausdorff dimension of its image under a conformal map from the upper half-plane to a complementary connected component of an SLE$_κ$ curve for $κ\not =4$. Our proof is based on the relationship between SLE and Liouville quantum gravity together with the one-dimensional KPZ formula of Rhodes-… ▽ More We prove a formula relating the Hausdorff dimension of a deterministic Borel subset of $\mathbb R$ and the Hausdorff dimension of its image under a conformal map from the upper half-plane to a complementary connected component of an SLE$_κ$ curve for $κ\not =4$. Our proof is based on the relationship between SLE and Liouville quantum gravity together with the one-dimensional KPZ formula of Rhodes-Vargas (2011) and the KPZ formula of Gwynne-Holden-Miller (2015). As an intermediate step we prove a KPZ formula which relates the Euclidean dimension of a subset of an SLE$_κ$ curve for $κ\in (0,4)\cup(4,8)$ and the dimension of the same set with respect to the $γ$-quantum natural parameterization of the curve induced by an independent Gaussian free field, $γ= \sqrt κ\wedge (4/\sqrtκ)$. △ Less

Submitted 16 October, 2019; v1 submitted 16 March, 2016; originally announced March 2016.

Comments: 15 pages, 1 figure

Joint scaling limit of a bipolar-oriented triangulation and its dual in the peanosphere sense

Authors: Ewain Gwynne, Nina Holden, Xin Sun

Abstract: Kenyon, Miller, Sheffield, and Wilson (2015) showed how to encode a random bipolar-oriented planar map by means of a random walk with a certain step size distribution. Using this encoding together with the mating-of-trees construction of Liouville quantum gravity due to Duplantier, Miller, and Sheffield (2014), they proved that random bipolar-oriented planar maps converge in the scaling limit to a… ▽ More Kenyon, Miller, Sheffield, and Wilson (2015) showed how to encode a random bipolar-oriented planar map by means of a random walk with a certain step size distribution. Using this encoding together with the mating-of-trees construction of Liouville quantum gravity due to Duplantier, Miller, and Sheffield (2014), they proved that random bipolar-oriented planar maps converge in the scaling limit to a $\sqrt{4/3}$-Liouville quantum gravity (LQG) surface decorated by an independent SLE$_{12}$ in the peanosphere sense, meaning that the height functions of a particular pair of trees on the maps converge in the scaling limit to the correlated planar Brownian motion which encodes the SLE-decorated LQG surface. We improve this convergence result by proving that the pair of height functions for an infinite-volume random bipolar-oriented triangulation and the pair of height functions for its dual map converge jointly in law in the scaling limit to the two planar Brownian motions which encode the same $\sqrt{4/3}$-LQG surface decorated by both an SLE$_{12}$ curve and the "dual" SLE$_{12}$ curve which travels in a direction perpendicular (in the sense of imaginary geometry) to the original curve. This confirms a conjecture of Kenyon, Miller, Sheffield, and Wilson (2015). △ Less

Submitted 3 March, 2016; originally announced March 2016.

Comments: 55 pages, 9 figures

An almost sure KPZ relation for SLE and Brownian motion

Authors: Ewain Gwynne, Nina Holden, Jason Miller

Abstract: The peanosphere construction of Duplantier, Miller, and Sheffield provides a means of representing a $γ$-Liouville quantum gravity (LQG) surface, $γ\in (0,2)$, decorated with a space-filling form of Schramm's SLE$_κ$, $κ= 16/γ^2 \in (4,\infty)$, $η$ as a gluing of a pair of trees which are encoded by a correlated two-dimensional Brownian motion $Z$. We prove a KPZ-type formula which relates the Ha… ▽ More The peanosphere construction of Duplantier, Miller, and Sheffield provides a means of representing a $γ$-Liouville quantum gravity (LQG) surface, $γ\in (0,2)$, decorated with a space-filling form of Schramm's SLE$_κ$, $κ= 16/γ^2 \in (4,\infty)$, $η$ as a gluing of a pair of trees which are encoded by a correlated two-dimensional Brownian motion $Z$. We prove a KPZ-type formula which relates the Hausdorff dimension of any Borel subset $A$ of the range of $η$ which can be defined as a function of $η$ (modulo time parameterization) to the Hausdorff dimension of the corresponding time set $η^{-1}(A)$. This result serves to reduce the problem of computing the Hausdorff dimension of any set associated with an SLE, CLE, or related processes in the interior of a domain to the problem of computing the Hausdorff dimension of a certain set associated with a Brownian motion. For many natural examples, the associated Brownian motion set is well-known. As corollaries, we obtain new proofs of the Hausdorff dimensions of the SLE$_κ$ curve for $κ\not=4$; the double points and cut points of SLE$_κ$ for $κ>4$; and the intersection of two flow lines of a Gaussian free field. We also obtain the Hausdorff dimension of the set of $m$-tuple points of space-filling SLE$_κ$ for $κ>4$ and $m \geq 3$ by computing the Hausdorff dimension of the so-called $(m-2)$-tuple $π/2$-cone times of a correlated planar Brownian motion. △ Less

Submitted 2 July, 2019; v1 submitted 3 December, 2015; originally announced December 2015.

Comments: 56 pages, 13 figures

Brownian motion correlation in the peanosphere for $κ> 8$

Authors: Ewain Gwynne, Nina Holden, Jason Miller, Xin Sun

Abstract: The peanosphere (or "mating of trees") construction of Duplantier, Miller, and Sheffield encodes certain types of $γ$-Liouville quantum gravity (LQG) surfaces ($γ\in (0,2)$) decorated with an independent SLE$_κ$ ($κ= 16/γ^2 > 4$) in terms of a correlated two-dimensional Brownian motion and provides a framework for showing that random planar maps decorated with statistical physics models converge t… ▽ More The peanosphere (or "mating of trees") construction of Duplantier, Miller, and Sheffield encodes certain types of $γ$-Liouville quantum gravity (LQG) surfaces ($γ\in (0,2)$) decorated with an independent SLE$_κ$ ($κ= 16/γ^2 > 4$) in terms of a correlated two-dimensional Brownian motion and provides a framework for showing that random planar maps decorated with statistical physics models converge to LQG decorated with an SLE. Previously, the correlation for the Brownian motion was only explicitly identified as $-\cos(4π/κ)$ for $κ\in (4,8]$ and unknown for $κ> 8$. The main result of this work is that this formula holds for all $κ> 4$. This supplies the missing ingredient for proving convergence results of the aforementioned type for $κ> 8$. Our proof is based on the calculation of a certain tail exponent for SLE$_κ$ on a quantum wedge and then matching it with an exponent which is well-known for Brownian motion. △ Less

Submitted 15 January, 2016; v1 submitted 15 October, 2015; originally announced October 2015.

Comments: 34 pages and 2 figures