Showing 1–34 of 34 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

Regularity of the Schramm-Loewner evolution: Up-to-constant variation and modulus of continuity

Authors: Nina Holden, Yizheng Yuan

Abstract: We find optimal (up to constant) bounds for the following measures for the regularity of the Schramm-Loewner evolution (SLE): variation regularity, modulus of continuity, and law of the iterated logarithm. For the latter two we consider the SLE with its natural parametrisation. More precisely, denoting by $d\in(0,2]$ the dimension of the curve, we show the following. 1. The optimal $ψ$-variation… ▽ More We find optimal (up to constant) bounds for the following measures for the regularity of the Schramm-Loewner evolution (SLE): variation regularity, modulus of continuity, and law of the iterated logarithm. For the latter two we consider the SLE with its natural parametrisation. More precisely, denoting by $d\in(0,2]$ the dimension of the curve, we show the following. 1. The optimal $ψ$-variation is $ψ(x)=x^d(\log\log x^{-1})^{-(d-1)}$ in the sense that $η$ is a.s. of finite $ψ$-variation for this $ψ$ and not for any function decaying more slowly as $x \downarrow 0$. 2. The optimal modulus of continuity is $ω(s) = c\,s^{1/d}(\log s^{-1})^{1-1/d}$, i.e. for some random $c>0$ we have $|η(t)-η(s)| \le ω(t-s)$ a.s., while this does not hold for any function $ω$ decaying faster as $s \downarrow 0$. 3. $\limsup_{t\downarrow 0} |η(t)|\,\big(t^{1/d}(\log\log t^{-1})^{1-1/d}\big)^{-1}$ is a.s. equal to a deterministic constant in $(0,\infty)$. We also show that the natural parametrisation of SLE is given by the fine mesh limit of the $ψ$-variation. Finally, we prove that a particular moment condition on the increments of a general stochastic process guarantees that the process attains a certain variation regularity. △ Less

Submitted 7 November, 2023; v1 submitted 28 November, 2022; originally announced November 2022.

Comments: paper is extended in v3

MSC Class: 60J67; 60G17 (Primary); 60G18; 30C20 (Secondary)

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 \{0,1,2,\dots\}$ marked points $z_1,\dots,z_n$. The idea is to consider a reweighting by $\prod_{B\subseteq [n]} e^{σ_B N_B}$, where $σ_B$ are real constants 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 \{0,1,2,\dots\}$ marked points $z_1,\dots,z_n$. The idea is to consider a reweighting by $\prod_{B\subseteq [n]} e^{σ_B N_B}$, where $σ_B$ are real constants 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 and explain its relationship to Liouville conformal field theory (CFT) correlation functions and a potential relationship with a CFT for CLE. In the case of $n\in\{0,1\}$ points we derive an explicit formula for the partition function. Furthermore, we obtain a recursive formula for the partition functions where we express the $n$ point partition function in terms of the partition function for disks with $k<n$ marked points, and we use this to partially determine for which values of $(σ_B\colon B\subseteq [n])$ the partition function is finite. The recursive formula is derived via a continuum counterpart of the peeling process on planar maps, which was earlier studied in works of Miller, Sheffield, and Werner in the setting of $n=0$ marked points. We also find an explicit formula for the generator of the Markov process describing the LQG boundary lengths in the continuum peeling process. Via an explicit calculation for this Markov process for $n=0$ we give a new proof for the law of the conformal radius of the outermost CLE loop in the unit disk around 0, which was earlier established by Schramm, Sheffield, and Wilson. △ Less

Submitted 21 April, 2022; originally announced April 2022.

Comments: 92 pages, 9 figures

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

Mating of trees for critical Liouville quantum gravity

Authors: Juhan Aru, Nina Holden, Ellen Powell, Xin Sun

Abstract: In a groundbreaking work, Duplantier, Miller and Sheffield showed that subcritical Liouville quantum gravity (LQG) coupled with Schramm-Loewner evolutions (SLE) can be described by the mating of two continuum random trees. In this paper, we consider the counterpart of their result for critical LQG and SLE, i.e., for the case when $γ^2=κ=16/κ=4$. We prove that as one sends $κ\downarrow 4$ in the su… ▽ More In a groundbreaking work, Duplantier, Miller and Sheffield showed that subcritical Liouville quantum gravity (LQG) coupled with Schramm-Loewner evolutions (SLE) can be described by the mating of two continuum random trees. In this paper, we consider the counterpart of their result for critical LQG and SLE, i.e., for the case when $γ^2=κ=16/κ=4$. We prove that as one sends $κ\downarrow 4$ in the subcritical setting, the space-filling SLE$_κ$ in a disk degenerates to the CLE$_4$ exploration introduced by Werner and Wu, along with a collection of i.i.d.\ coin tosses indexed by the branch points of the exploration. Furthermore, in the $κ=16/γ^2\downarrow 4$ limit, the pair of continuum random trees collapse into a single continuum random tree, and we observe that upon applying an appropriate affine transform to the encoding Brownian motions before taking the limit, we get convergence to a pair of independent Brownian motions $(A,B)$. The Brownian motion $A$ encodes the LQG distance from the CLE loops to the boundary of the disk, while the Brownian motion $B$ encodes the boundary lengths of the CLE$_4$ loops. In contrast to the subcritical setting, $(A,B)$ does not determine the CLE-decorated LQG surface. △ Less

Submitted 31 August, 2022; v1 submitted 1 September, 2021; originally announced September 2021.

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

Scaling limit of triangulations of polygons

Authors: Marie Albenque, Nina Holden, Xin Sun

Abstract: We prove that random triangulations of types I, II, and III with a simple boundary under the critical Boltzmann weight converge in the scaling limit to the Brownian disk. The proof uses a bijection due to Poulalhon and Schaeffer between type III triangulations of the $p$-gon and so-called blossoming forests. A variant of this bijection was also used by Addario-Berry and the first author to prove c… ▽ More We prove that random triangulations of types I, II, and III with a simple boundary under the critical Boltzmann weight converge in the scaling limit to the Brownian disk. The proof uses a bijection due to Poulalhon and Schaeffer between type III triangulations of the $p$-gon and so-called blossoming forests. A variant of this bijection was also used by Addario-Berry and the first author to prove convergence of type III triangulations to the Brownian map, but new ideas are needed to handle the simple boundary. Our result is an ingredient in the program of the second and third authors on the convergence of uniform triangulations under the Cardy embedding. △ Less

Submitted 28 October, 2020; v1 submitted 10 October, 2019; originally announced October 2019.

Comments: 41 pages, 13 figures. To appear in Elec. J. Probab

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

Communication cost of consensus for nodes with limited memory

Authors: Giulia Fanti, Nina Holden, Yuval Peres, Gireeja Ranade

Abstract: Motivated by applications in blockchains and sensor networks, we consider a model of $n$ nodes trying to reach consensus on their majority bit. Each node $i$ is assigned a bit at time zero, and is a finite automaton with $m$ bits of memory (i.e., $2^m$ states) and a Poisson clock. When the clock of $i$ rings, $i$ can choose to communicate, and is then matched to a uniformly chosen node $j$. The no… ▽ More Motivated by applications in blockchains and sensor networks, we consider a model of $n$ nodes trying to reach consensus on their majority bit. Each node $i$ is assigned a bit at time zero, and is a finite automaton with $m$ bits of memory (i.e., $2^m$ states) and a Poisson clock. When the clock of $i$ rings, $i$ can choose to communicate, and is then matched to a uniformly chosen node $j$. The nodes $j$ and $i$ may update their states based on the state of the other node. Previous work has focused on minimizing the time to consensus and the probability of error, while our goal is minimizing the number of communications. We show that when $m>3 \log\log\log(n)$, consensus can be reached at linear communication cost, but this is impossible if $m<\log\log\log(n)$. We also study a synchronous variant of the model, where our upper and lower bounds on $m$ for achieving linear communication cost are $2\log\log\log(n)$ and $\log\log\log(n)$, respectively. A key step is to distinguish when nodes can become aware of knowing the majority bit and stop communicating. We show that this is impossible if their memory is too low. △ Less

Submitted 6 January, 2019; originally announced January 2019.

Comments: 62 pages, 5 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

Lower bounds for trace reconstruction

Authors: Nina Holden, Russell Lyons

Abstract: In the trace reconstruction problem, an unknown bit string ${\bf x}\in\{0,1 \}^n$ is sent through a deletion channel where each bit is deleted independently with some probability $q\in(0,1)$, yielding a contracted string $\widetilde{\bf x}$. How many i.i.d.\ samples of $\widetilde{\bf x}$ are needed to reconstruct $\bf x$ with high probability? We prove that there exist… ▽ More In the trace reconstruction problem, an unknown bit string ${\bf x}\in\{0,1 \}^n$ is sent through a deletion channel where each bit is deleted independently with some probability $q\in(0,1)$, yielding a contracted string $\widetilde{\bf x}$. How many i.i.d.\ samples of $\widetilde{\bf x}$ are needed to reconstruct $\bf x$ with high probability? We prove that there exist ${\bf x},{\bf y} \in\{0,1 \}^n$ such that at least $c\, n^{5/4}/\sqrt{\log n}$ traces are required to distinguish between ${\bf x}$ and ${\bf y}$ for some absolute constant $c$, improving the previous lower bound of $c\,n$. Furthermore, our result improves the previously known lower bound for reconstruction of random strings from $c \log^2 n$ to $c \log^{9/4}n/\sqrt{\log \log n} $. △ Less

Submitted 7 June, 2019; v1 submitted 4 August, 2018; originally announced August 2018.

Comments: Minor changes. 23 pages, 3 figures

MSC Class: 62C20; 68Q25; 68W32 68W40; 68Q87; 60K30

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

Negative moments for Gaussian multiplicative chaos on fractal sets

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

Abstract: The objective of this note is to study the probability that the total mass of a sub-critical Gaussian multiplicative chaos (GMC) with arbitrary base measure $σ$ is small. When $σ$ has some continuous density w.r.t Lebesgue measure, a scaling argument shows that the logarithm of the total GMC mass is sub-Gaussian near $-\infty$. However, when $σ$ has no scaling properties, the situation is much les… ▽ More The objective of this note is to study the probability that the total mass of a sub-critical Gaussian multiplicative chaos (GMC) with arbitrary base measure $σ$ is small. When $σ$ has some continuous density w.r.t Lebesgue measure, a scaling argument shows that the logarithm of the total GMC mass is sub-Gaussian near $-\infty$. However, when $σ$ has no scaling properties, the situation is much less clear. In this paper, we prove that for any base measure $σ$, the total GMC mass has negative moments of all orders. △ Less

Submitted 28 May, 2018; v1 submitted 2 May, 2018; originally announced May 2018.

Comments: 12 pages, 1 nice figure (minor changes)

Journal ref: Electron. Commun. Probab. 23 (2018), no. 100, 1-10

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

Minkowski content of Brownian cut points

Authors: Nina Holden, Gregory F. Lawler, Xinyi Li, Xin Sun

Abstract: Let $W(t)$, $0\leq t\leq T$, be a Brownian motion in $\mathbb{R}^d$, $d=2,3$. We say that $x$ is a cut point for $W$ if $x=W(t)$ for some $t\in(0,T)$ such that $W [0,t) $ and $W (t,T]$ are disjoint. In this work, we prove that a.s. the Minkowski content of the set of cut points for $W$ exists and is finite and non-trivial. Let $W(t)$, $0\leq t\leq T$, be a Brownian motion in $\mathbb{R}^d$, $d=2,3$. We say that $x$ is a cut point for $W$ if $x=W(t)$ for some $t\in(0,T)$ such that $W [0,t) $ and $W (t,T]$ are disjoint. In this work, we prove that a.s. the Minkowski content of the set of cut points for $W$ exists and is finite and non-trivial. △ Less

Submitted 27 March, 2021; v1 submitted 28 March, 2018; originally announced March 2018.

Comments: 45 pages, 4 figures. Major revision according to the referee report. Accepted version. To appear at AIHP

MSC Class: 60J65 28A78 28A80

Scaling limits of the Schelling model

Authors: Nina Holden, Scott Sheffield

Abstract: The Schelling model, introduced by Schelling in 1969 as a model for residential segregation in cities, describes how populations of multiple types self-organize to form homogeneous clusters of one type. In this model, vertices in an $N$-dimensional lattice are initially assigned types randomly. As time evolves, the type at a vertex $v$ has a tendency to be replaced with the most common type within… ▽ More The Schelling model, introduced by Schelling in 1969 as a model for residential segregation in cities, describes how populations of multiple types self-organize to form homogeneous clusters of one type. In this model, vertices in an $N$-dimensional lattice are initially assigned types randomly. As time evolves, the type at a vertex $v$ has a tendency to be replaced with the most common type within distance $w$ of $v$. We present the first mathematical description of the dynamical scaling limit of this model as $w$ tends to infinity and the lattice is correspondingly rescaled. We do this by deriving an integro-differential equation for the limiting Schelling dynamics and proving almost sure existence and uniqueness of the solutions when the initial conditions are described by white noise. The evolving fields are in some sense very "rough" but we are able to make rigorous sense of the evolution. In a key lemma, we show that for certain Gaussian fields $h$, the supremum of the occupation density of $h-φ$ at zero (taken over all $1$-Lipschitz functions $φ$) is almost surely finite, thereby extending a result of Bass and Burdzy. In the one dimensional case, we also describe the scaling limit of the limiting clusters obtained at time infinity, thereby resolving a conjecture of Brandt, Immorlica, Kamath, and Kleinberg. △ Less

Submitted 9 February, 2018; originally announced February 2018.

Comments: 49 pages, 8 figures

Subpolynomial trace reconstruction for random strings and arbitrary deletion probability

Authors: Nina Holden, Robin Pemantle, Yuval Peres, Alex Zhai

Abstract: The insertion-deletion channel takes as input a bit string ${\bf x}\in\{0,1\}^{n}$, and outputs a string where bits have been deleted and inserted independently at random. The trace reconstruction problem is to recover $\bf x$ from many independent outputs (called "traces") of the insertion-deletion channel applied to $\bf x$. We show that if $\bf x$ is chosen uniformly at random, then… ▽ More The insertion-deletion channel takes as input a bit string ${\bf x}\in\{0,1\}^{n}$, and outputs a string where bits have been deleted and inserted independently at random. The trace reconstruction problem is to recover $\bf x$ from many independent outputs (called "traces") of the insertion-deletion channel applied to $\bf x$. We show that if $\bf x$ is chosen uniformly at random, then $\exp(O(\log^{1/3} n))$ traces suffice to reconstruct $\bf x$ with high probability. For the deletion channel with deletion probability $q < 1/2$ the earlier upper bound was $\exp(O(\log^{1/2} n))$. The case of $q\geq 1/2$ or the case where insertions are allowed has not been previously analyzed, and therefore the earlier upper bound was as for worst-case strings, i.e., $\exp(O( n^{1/3}))$. We also show that our reconstruction algorithm runs in $n^{1+o(1)}$ time. A key ingredient in our proof is a delicate two-step alignment procedure where we estimate the location in each trace corresponding to a given bit of $\bf x$. The alignment is done by viewing the strings as random walks and comparing the increments in the walk associated with the input string and the trace, respectively. △ Less

Submitted 26 April, 2020; v1 submitted 15 January, 2018; originally announced January 2018.

Comments: Analysis of running time added and proof simplified. Alex Zhai added as author. 37 pages, 7 figures

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

Trace reconstruction with varying deletion probabilities

Authors: Lisa Hartung, Nina Holden, Yuval Peres

Abstract: In the trace reconstruction problem an unknown string ${\bf x}=(x_0,\dots,x_{n-1})\in\{0,1,...,m-1\}^n$ is observed through the deletion channel, which deletes each $x_k$ with a certain probability, yielding a contracted string $\widetilde{\bf X}$. Earlier works have proved that if each $x_k$ is deleted with the same probability $q\in[0,1)$, then $\exp(O(n^{1/3}))$ independent copies of the contra… ▽ More In the trace reconstruction problem an unknown string ${\bf x}=(x_0,\dots,x_{n-1})\in\{0,1,...,m-1\}^n$ is observed through the deletion channel, which deletes each $x_k$ with a certain probability, yielding a contracted string $\widetilde{\bf X}$. Earlier works have proved that if each $x_k$ is deleted with the same probability $q\in[0,1)$, then $\exp(O(n^{1/3}))$ independent copies of the contracted string $\widetilde{\bf X}$ suffice to reconstruct $\bf x$ with high probability. We extend this upper bound to the setting where the deletion probabilities vary, assuming certain regularity conditions. First we consider the case where $x_k$ is deleted with some known probability $q_k$. Then we consider the case where each letter $ζ\in \{0,1,...,m-1\}$ is associated with some possibly unknown deletion probability $q_ζ$. △ Less

Submitted 7 August, 2017; originally announced August 2017.

Comments: 10 pages, 1 figure

Gravitational allocation for uniform points on the sphere

Authors: Nina Holden, Yuval Peres, Alex Zhai

Abstract: Given a collection $\mathcal L$ of $n$ points on a sphere $\mathbf{S}^2_n$ of surface area $n$, a fair allocation is a partition of the sphere into $n$ parts each of area $1$, and each associated with a distinct point of $\mathcal L$. We show that if the $n$ points are chosen uniformly at random and the partition is defined by considering the gravitational field defined by the $n$ points, then the… ▽ More Given a collection $\mathcal L$ of $n$ points on a sphere $\mathbf{S}^2_n$ of surface area $n$, a fair allocation is a partition of the sphere into $n$ parts each of area $1$, and each associated with a distinct point of $\mathcal L$. We show that if the $n$ points are chosen uniformly at random and the partition is defined by considering the gravitational field defined by the $n$ points, then the expected distance between a point on the sphere and the associated point of $\mathcal L$ is $O(\sqrt{\log n})$. We use our result to define a matching between two collections of $n$ independent and uniform points on the sphere, and prove that the expected distance between a pair of matched points is $O(\sqrt{\log n})$, which is optimal by a result of Ajtai, Komlós, and Tusnády. △ Less

Submitted 26 February, 2019; v1 submitted 26 April, 2017; originally announced April 2017.

Comments: 26 pages, 5 figures

MSC Class: 60A99

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

How round are the complementary components of planar Brownian motion?

Authors: Nina Holden, Serban Nacu, Yuval Peres, Thomas S. Salisbury

Abstract: Consider a Brownian motion $W$ in ${\bf C}$ started from $0$ and run for time 1. Let $A(1),A(2),\dots$ denote the bounded connected components of ${\bf C}-W([0,1])$. Let $R(i)$ (resp. $r(i)$) denote the out-radius (resp. in-radius) of $A(i)$ for $i\in\bf N$. Our main result is that ${\bf E}[\sum_i R(i)^2|\log R(i)|^θ]<\infty$ for any $θ<1$. We also prove that $\sum_i r(i)^2|\log r(i)|=\infty$ almo… ▽ More Consider a Brownian motion $W$ in ${\bf C}$ started from $0$ and run for time 1. Let $A(1),A(2),\dots$ denote the bounded connected components of ${\bf C}-W([0,1])$. Let $R(i)$ (resp. $r(i)$) denote the out-radius (resp. in-radius) of $A(i)$ for $i\in\bf N$. Our main result is that ${\bf E}[\sum_i R(i)^2|\log R(i)|^θ]<\infty$ for any $θ<1$. We also prove that $\sum_i r(i)^2|\log r(i)|=\infty$ almost surely. These results have the interpretation that most of the components $A(i)$ have a rather regular or round shape. △ Less

Submitted 21 September, 2016; originally announced September 2016.

Comments: 28 pages, 11 figures

MSC Class: 60D05

Journal ref: Annales de l'Institut Henri Poincaré 55 (2019), pp. 882-908

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

Sparse exchangeable graphs and their limits via graphon processes

Authors: Christian Borgs, Jennifer T. Chayes, Henry Cohn, Nina Holden

Abstract: In a recent paper, Caron and Fox suggest a probabilistic model for sparse graphs which are exchangeable when associating each vertex with a time parameter in $\mathbb{R}_+$. Here we show that by generalizing the classical definition of graphons as functions over probability spaces to functions over $σ$-finite measure spaces, we can model a large family of exchangeable graphs, including the Caron-F… ▽ More In a recent paper, Caron and Fox suggest a probabilistic model for sparse graphs which are exchangeable when associating each vertex with a time parameter in $\mathbb{R}_+$. Here we show that by generalizing the classical definition of graphons as functions over probability spaces to functions over $σ$-finite measure spaces, we can model a large family of exchangeable graphs, including the Caron-Fox graphs and the traditional exchangeable dense graphs as special cases. Explicitly, modelling the underlying space of features by a $σ$-finite measure space $(S,\mathcal{S},μ)$ and the connection probabilities by an integrable function $W\colon S\times S\to [0,1]$, we construct a random family $(G_t)_{t\geq 0}$ of growing graphs such that the vertices of $G_t$ are given by a Poisson point process on $S$ with intensity $tμ$, with two points $x,y$ of the point process connected with probability $W(x,y)$. We call such a random family a graphon process. We prove that a graphon process has convergent subgraph frequencies (with possibly infinite limits) and that, in the natural extension of the cut metric to our setting, the sequence converges to the generating graphon. We also show that the underlying graphon is identifiable only as an equivalence class over graphons with cut distance zero. More generally, we study metric convergence for arbitrary (not necessarily random) sequences of graphs, and show that a sequence of graphs has a convergent subsequence if and only if it has a subsequence satisfying a property we call uniform regularity of tails. Finally, we prove that every graphon is equivalent to a graphon on $\mathbb{R}_+$ equipped with Lebesgue measure. △ Less

Submitted 20 June, 2018; v1 submitted 26 January, 2016; originally announced January 2016.

Comments: 71 pages, 3 figures

Journal ref: Journal of Machine Learning Research 18(210):1-71, 2018

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