Source author record

Ewain Gwynne

Ewain Gwynne appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

25works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

25 published item(s)

preprint2024arXiv

Power-law bounds for increasing subsequences in Brownian separable permutons and homogeneous sets in Brownian cographons

The Brownian separable permutons are a one-parameter family -- indexed by $p\in(0,1)$ -- of universal limits of random constrained permutations. We show that for each $p\in (0,1)$, there are explicit constants $1/2 < α_*(p) \leq β^*(p) < 1$ such that the length of the longest increasing subsequence in a random permutation of size $n$ sampled from the Brownian separable permuton is between $n^{α_*(p) - o(1)}$ and $n^{β^*(p) + o(1)}$ with probability tending to 1 as $n\to\infty$. In the symmetric case $p=1/2$, we have $α_*(p) \approx 0.812$ and $β^*(p)\approx 0.975$. We present numerical simulations which suggest that the lower bound $α_*(p)$ is close to optimal in the whole range $p\in(0,1)$. Our results work equally well for the closely related Brownian cographons. In this setting, we show that for each $p\in (0,1)$, the size of the largest clique (resp. independent set) in a random graph on $n$ vertices sampled from the Brownian cographon is between $n^{α_*(p) - o(1)}$ and $n^{β^*(p) + o(1)}$ (resp. $n^{α_*(1-p) - o(1)}$ and $n^{β^*(1-p) + o(1)}$) with probability tending to 1 as $n\to\infty$. Our proofs are based on the analysis of a fragmentation process embedded in a Brownian excursion introduced by Bertoin (2002). We expect that our techniques can be extended to prove similar bounds for uniform separable permutations and uniform cographs.

preprint2022arXiv

Geodesics and metric ball boundaries in Liouville quantum gravity

Recent works have shown that there is a canonical way to to assign a metric (distance function) to a Liouville quantum gravity (LQG) surface for any parameter $γ\in (0,2)$. We establish a strong confluence property for LQG geodesics, which generalizes a result proven by Angel, Kolesnik and Miermont for the Brownian map. Using this property, we also establish zero-one laws for the Hausdorff dimensions of geodesics, metric ball boundaries, and metric nets w.r.t. the Euclidean or LQG metric. In the case of a metric ball boundary, our result combined with earlier work of Gwynne (2020) gives a formula for the a.s. Hausdorff dimension for the boundary of the metric ball stopped when it hits a fixed point in terms of the Hausdorff dimension of the whole LQG surface. We also show that the Hausdorff dimension of the metric ball boundary is carried by points which are not on the boundary of any complementary connected component of the ball.

preprint2022arXiv

Random walks on mated-CRT planar maps and Liouville Brownian motion

We prove a scaling limit result for random walk on certain random planar maps with its natural time parametrization. In particular, we show that for $γ\in (0,2)$, the random walk on the mated-CRT map with parameter $γ$ converges to $γ$-Liouville Brownian motion, the natural quantum time parametrization of Brownian motion on a $γ$-Liouville quantum gravity (LQG) surface. Our result applies if the mated-CRT map is embedded into the plane via the embedding which comes from SLE / LQG theory or via the Tutte embedding (a.k.a. the harmonic or barycentric embedding). In both cases, the convergence is with respect to the local uniform topology on curves and it holds in the quenched sense, i.e., the conditional law of the walk given the map converges. Previous work by Gwynne, Miller, and Sheffield (2017) showed that the random walk on the mated-CRT map converges to Brownian motion modulo time parametrization. This is the first work to show the convergence of the parametrized walk. As an intermediate result of independent interest, we derive an axiomatic characterisation of Liouville Brownian motion, for which the notion of Revuz measure of a Markov process plays a crucial role.

preprint2021arXiv

Characterizations of SLE$_κ$ for $κ\in (4,8)$ on Liouville quantum gravity

We prove that SLE$_κ$ for $κ\in (4,8)$ on an independent $γ=4/\sqrtκ$-Liouville quantum gravity (LQG) surface is uniquely characterized by the form of its LQG boundary length process and the form of the conditional law of the unexplored quantum surface given the explored curve-decorated quantum surface up to each time $t$. We prove variants of this characterization for both whole-plane space-filling SLE$_κ$ on an infinite-volume LQG surface and for chordal SLE$_κ$ on a finite-volume LQG surface with boundary. Using the equivalence of Brownian and $\sqrt{8/3}$-LQG surfaces, we deduce that SLE$_6$ on the Brownian disk is uniquely characterized by the form of its boundary length process and that the complementary connected components of the curve up to each time $t$ are themselves conditionally independent Brownian disks given this boundary length process. The results of this paper are used in another paper by the same authors to show that the scaling limit of percolation on random quadrangulations is given by SLE$_6$ on $\sqrt{8/3}$-LQG with respect to the Gromov-Hausdorff-Prokhorov-uniform topology, the natural analog of the Gromov-Hausdorff topology for curve-decorated metric measure spaces.

preprint2021arXiv

Convergence of percolation on uniform quadrangulations with boundary to SLE$_{6}$ on $\sqrt{8/3}$-Liouville quantum gravity

Let $Q$ be a free Boltzmann quadrangulation with simple boundary decorated by a critical ($p=3/4$) face percolation configuration. We prove that the chordal percolation exploration path on $Q$ between two marked boundary edges converges in the scaling limit to chordal SLE$_6$ on an independent $\sqrt{8/3}$-Liouville quantum gravity disk (equivalently, a Brownian disk). The topology of convergence is the Gromov-Hausdorff-Prokhorov-uniform topology, the natural analog of the Gromov-Hausdorff topology for curve-decorated metric measure spaces. We also obtain analogous scaling limit results for face percolation on the uniform infinite half-plane quadrangulation with simple boundary, and for site percolation on a uniform triangulation with simple boundary. Our method of proof is robust and, up to certain technical steps, extends to any percolation model on a random planar map which can be explored via peeling.

preprint2021arXiv

External diffusion limited aggregation on a spanning-tree-weighted random planar map

Let $M$ be the infinite spanning-tree-weighted random planar map, which is the local limit of finite random planar maps sampled with probability proportional to the number of spanning trees they admit. We show that a.s. the $M$-graph-distance diameter of the external diffusion-limited aggregation (DLA) cluster on $M$ run for $m$ steps is of order $m^{2/d + o_m(1)}$, where $d$ is the metric ball volume growth exponent for $M$ (which was shown to exist by Ding-Gwynne, 2018). By known bounds for $d$, one has $0.55051\ldots \leq 2/d \leq 0.563315\ldots$. Along the way, we also prove that loop-erased random walk (LERW) on $M$ typically travels graph distance $m^{2/d + o_m(1)}$ in $m$ units of time and that the graph-distance diameter of a finite spanning-tree-weighted random planar map with $n$ edges, with or without boundary, is of order $n^{1/d+o_n(1)}$ except on an event with probability decaying faster than any negative power of $n$. Our proofs are based on a special relationship between DLA and LERW on spanning-tree-weighted random planar maps as well as estimates for distances in such maps which come from the theory of Liouville quantum gravity.

preprint2021arXiv

Random surfaces and Liouville quantum gravity

Liouville quantum gravity (LQG) surfaces are a family of random fractal surfaces which can be thought of as the canonical models of random two-dimensional Riemannian manifolds, in the same sense that Brownian motion is the canonical model of a random path. LQG surfaces are the continuum limits of discrete random surfaces called random planar maps. In this expository article, we discuss the definition of random planar maps and LQG, the sense in which random planar maps converge to LQG, and the motivations for studying these objects. We also mention several open problems. We do not assume any background knowledge beyond that of a second-year mathematics graduate student.

preprint2021arXiv

The Tutte embedding of the mated-CRT map converges to Liouville quantum gravity

We prove that the Tutte embeddings (a.k.a. harmonic/barycentric embeddings) of certain random planar maps converge to $γ$-Liouville quantum gravity ($γ$-LQG). Specifically, we treat mated-CRT maps, which are discretized matings of correlated continuum random trees, and $γ$ ranges from $0$ to $2$ as one varies the correlation parameter. We also show that the associated space-filling path on the embedded map converges to space-filling SLE$_κ$ for $κ=16/γ^2$ (in the annealed sense) and that simple random walk on the embedded map converges to Brownian motion (in the quenched sense). This work constitutes the first proof that a discrete conformal embedding of a random planar map converges to LQG. Many more such statements have been conjectured. Since the mated-CRT map can be viewed as a coarse-grained approximation to other random planar maps (the UIPT, tree-weighted maps, bipolar-oriented maps, etc.), our results indicate a potential approach for proving that embeddings of these maps converge to LQG as well. To prove the main result, we establish several (independently interesting) theorems about LQG surfaces decorated by space-filling SLE. There is a natural way to use the SLE curve to divide the plane into "cells" corresponding to vertices of the mated-CRT map. We study the law of the shape of the origin-containing cell, in particular proving moments for the ratio of its squared diameter to its area. We also give bounds on the degree of the origin-containing cell and establish a form of ergodicity for the entire configuration. Ultimately, we use these properties to show (with the help of a general theorem proved in a separate paper) that random walk on these cells converges to a time change of Brownian motion, which in turn leads to the Tutte embedding result.

preprint2020arXiv

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

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.

preprint2020arXiv

Anomalous diffusion of random walk on random planar maps

We prove that the simple random walk on the uniform infinite planar triangulation (UIPT) typically travels graph distance at most $n^{1/4 + o_n(1)}$ in $n$ units of time. Together with the complementary lower bound proven by Gwynne and Miller (2017) this shows that the typical graph distance displacement of the walk after $n$ steps is $n^{1/4 + o_n(1)}$, as conjectured by Benjamini and Curien (2013). More generally, we show that the simple random walks on a certain family of random planar maps in the $γ$-Liouville quantum gravity (LQG) universality class for $γ\in (0,2)$---including spanning tree-weighted maps, bipolar-oriented maps, and mated-CRT maps---typically travels graph distance $n^{1/d_γ+ o_n(1)}$ in $n$ units of time, where $d_γ$ is the growth exponent for the volume of a metric ball on the map, which was shown to exist and depend only on $γ$ by Ding and Gwynne (2018). Since $d_γ> 2$, this shows that the simple random walk on each of these maps is subdiffusive. Our proofs are based on an embedding of the random planar maps under consideration into $\mathbb C$ wherein graph distance balls can be compared to Euclidean balls modulo subpolynomial errors. This embedding arises from a coupling of the given random planar map with a mated-CRT map together with the relationship of the latter map to SLE-decorated LQG.

preprint2020arXiv

Confluence of geodesics in Liouville quantum gravity for $γ\in (0,2)$

We prove that for any metric which one can associate with a Liouville quantum gravity (LQG) surface for $γ\in (0,2)$ satisfying certain natural axioms, its geodesics exhibit the following confluence property. For any fixed point $z$, a.s.\ any two $γ$-LQG geodesics started from distinct points other than $z$ must merge into each other and subsequently coincide until they reach $z$. This is analogous to the confluence of geodesics property for the Brownian map proven by Le Gall (2010). Our results apply for the subsequential limits of Liouville first passage percolation and are an important input in the proof of the existence and uniqueness of the LQG metric for all $γ\in (0,2)$.

preprint2020arXiv

Conformal covariance of the Liouville quantum gravity metric for $γ\in (0,2)$

For $γ\in (0,2)$, $U\subset \mathbb C$, and an instance $h$ of the Gaussian free field (GFF) on $U$, the $γ$-Liouville quantum gravity (LQG) surface associated with $(U,h)$ is formally described by the Riemannian metric tensor $e^{γh} (dx^2 + dy^2)$ on $U$. Previous work by the authors showed that one can define a canonical metric (distance function) $D_h$ on $U$ associated with a $γ$-LQG surface. We show that this metric is conformally covariant in the sense that it respects the coordinate change formula for $γ$-LQG surfaces. That is, if $U,\widetilde{U}$ are domains, $ϕ\colon U \to \widetilde{U}$ is a conformal transformation, $Q=2/γ+γ/2$, and $\widetilde h = h\circϕ^{-1} + Q\log|(ϕ^{-1})'|$, then $D_h(z,w) = D_{\widetilde{h}}(ϕ(z),ϕ(w))$ for all $z,w \in U$. This proves that $D_h$ is intrinsic to the quantum surface structure of $(U,h)$, i.e., it does not depend on the particular choice of parameterization.

preprint2020arXiv

Existence and uniqueness of the Liouville quantum gravity metric for $γ\in (0,2)$

We show that for each $γ\in (0,2)$, there is a unique metric (i.e., distance function) associated with $γ$-Liouville quantum gravity (LQG). More precisely, we show that for the whole-plane Gaussian free field (GFF) $h$, there is a unique random metric $D_h$ associated with the Riemannian metric tensor "$e^{γh} (dx^2 + dy^2)$" on $\mathbb C$ which is characterized by a certain list of axioms: it is locally determined by $h$ and it transforms appropriately when either adding a continuous function to $h$ or applying a conformal automorphism of $\mathbb C$ (i.e., a complex affine transformation). Metrics associated with other variants of the GFF can be constructed using local absolute continuity. The $γ$-LQG metric can be constructed explicitly as the scaling limit of Liouville first passage percolation (LFPP), the random metric obtained by exponentiating a mollified version of the GFF. Earlier work by Ding, Dubédat, Dunlap, and Falconet (2019) showed that LFPP admits non-trivial subsequential limits. This paper shows that the subsequential limit is unique and satisfies our list of axioms. In the case when $γ= \sqrt{8/3}$, our metric coincides with the $\sqrt{8/3}$-LQG metric constructed in previous work by Miller and Sheffield, which in turn is equivalent to the Brownian map for a certain variant of the GFF. For general $γ\in (0,2)$, we conjecture that our metric is the Gromov-Hausdorff limit of appropriate weighted random planar map models, equipped with their graph distance. We include a substantial list of open problems.

preprint2020arXiv

Liouville quantum gravity surfaces with boundary as matings of trees

For $γ\in (0,2)$, the quantum disk and $γ$-quantum wedge are two of the most natural types of Liouville quantum gravity (LQG) surfaces with boundary. These surfaces arise as scaling limits of finite and infinite random planar maps with boundary, respectively. We show that the left/right quantum boundary length process of a space-filling SLE$_{16/γ^2}$ curve on a quantum disk or on a $γ$-quantum wedge is a certain explicit conditioned two-dimensional Brownian motion with correlation $-\cos(πγ^2/4)$. This extends the mating of trees theorem of Duplantier, Miller, and Sheffield (2014) to the case of quantum surfaces with boundary (the disk case for $γ\in (\sqrt 2 , 2)$ was previously treated by Duplantier, Miller, Sheffield using different methods). As an application, we give an explicit formula for the conditional law of the LQG area of a quantum disk given its boundary length by computing the law of the corresponding functional of the correlated Brownian motion.

preprint2020arXiv

Local metrics of the Gaussian free field

We introduce the concept of a local metric of the Gaussian free field (GFF) $h$, which is a random metric coupled with $h$ in such a way that it depends locally on $h$ in a certain sense. This definition is a metric analog of the concept of a local set for $h$. We establish general criteria for two local metrics of the same GFF $h$ to be bi-Lipschitz equivalent to each other and for a local metric to be a.s. determined by $h$. Our results are used in subsequent works which prove the existence, uniqueness, and basic properties of the $γ$-Liouville quantum gravity (LQG) metric for all $γ\in (0,2)$, but no knowledge of LQG is needed to understand this paper.

preprint2020arXiv

Random walk on random planar maps: spectral dimension, resistance, and displacement

We study simple random walk on the class of random planar maps which can be encoded by a two-dimensional random walk with i.i.d. increments or a two-dimensional Brownian motion via a "mating-of-trees" type bijection. This class includes the uniform infinite planar triangulation (UIPT), the infinite-volume limits of random planar maps weighted by the number of spanning trees, bipolar orientations, or Schnyder woods they admit, and the $γ$-mated-CRT map for $γ\in (0,2)$. For each of these maps, we obtain an upper bound for the Green's function on the diagonal, an upper bound for the effective resistance to the boundary of a metric ball, an upper bound for the return probability of the random walk to its starting point after $n$ steps, and a lower bound for the graph-distance displacement of the random walk, all of which are sharp up to polylogarithmic factors. When combined with work of Lee (2017), our bound for the return probability shows that the spectral dimension of each of these random planar maps is a.s. equal to 2, i.e., the (quenched) probability that the simple random walk returns to its starting point after $2n$ steps is $n^{-1+o_n(1)}$. Our results also show that the amount of time that it takes a random walk to exit a metric ball is at least its volume (up to a polylogarithmic factor). In the special case of the UIPT, this implies that random walk typically travels at least $n^{1/4 - o_n(1)}$ units of graph distance in $n$ units of time. The matching upper bound for the displacement is proven by Gwynne and Hutchcroft (2018). These two works together resolve a conjecture of Benjamini and Curien (2013) in the UIPT case. Our proofs are based on estimates for the mated-CRT map (which come from its relationship to SLE-decorated Liouville quantum gravity) and a strong coupling of the mated-CRT map with the other random planar map models.

preprint2020arXiv

The dimension of the boundary of a Liouville quantum gravity metric ball

Let $γ\in (0,2)$, let $h$ be the planar Gaussian free field, and consider the $γ$-Liouville quantum gravity (LQG) metric associated with $h$. We show that the essential supremum of the Hausdorff dimension of the boundary of a $γ$-LQG metric ball with respect to the Euclidean (resp. $γ$-LQG) metric is $2 - \fracγ{d_γ}\left(\frac{2}γ + \fracγ{2} \right) + \frac{γ^2}{2d_γ^2}$ (resp. $d_γ-1$), where $d_γ$ is the Hausdorff dimension of the whole plane with respect to the $γ$-LQG metric. For $γ= \sqrt{8/3}$, in which case $d_{\sqrt{8/3}}=4$, we get that the essential supremum of Euclidean (resp. $\sqrt{8/3}$-LQG) dimension of a $\sqrt{8/3}$-LQG ball boundary is $5/4$ (resp. $3$). We also compute the essential suprema of the Euclidean and $γ$-LQG Hausdorff dimensions of the intersection of a $γ$-LQG ball boundary with the set of metric $α$-thick points of the field $h$ for each $α\in \mathbb R$. Our results show that the set of $γ/d_γ$-thick points on the ball boundary has full Euclidean dimension and the set of $γ$-thick points on the ball boundary has full $γ$-LQG dimension.

preprint2020arXiv

Weak LQG metrics and Liouville first passage percolation

For $γ\in (0,2)$, we define a weak $γ$-Liouville quantum gravity (LQG) metric to be a function $h\mapsto D_h$ which takes in an instance of the planar Gaussian free field (GFF) and outputs a metric on the plane satisfying a certain list of natural axioms. We show that these axioms are satisfied for any subsequential limits of Liouville first passage percolation. Such subsequential limits were proven to exist by Ding-Dubédat-Dunlap-Falconet (2019). It is also known that these axioms are satisfied for the $\sqrt{8/3}$-LQG metric constructed by Miller and Sheffield (2013-2016). For any weak $γ$-LQG metric, we obtain moment bounds for diameters of sets as well as point-to-point, set-to-set, and point-to-set distances. We also show that any such metric is locally bi-Hölder continuous with respect to the Euclidean metric and compute the optimal Hölder exponents in both directions. Finally, we show that LQG geodesics cannot spend a long time near a straight line or the boundary of a metric ball. These results are used in subsequent work by Gwynne and Miller which proves that the weak $γ$-LQG metric is unique for each $γ\in (0,2)$, which in turn gives the uniqueness of the subsequential limit of Liouville first passage percolation. However, most of our results are new even in the special case when $γ=\sqrt{8/3}$.

preprint2019arXiv

KPZ formulas for the Liouville quantum gravity metric

Let $γ\in (0,2)$, let $h$ be the planar Gaussian free field, and let $D_h$ be the associated $γ$-Liouville quantum gravity (LQG) metric. We prove that for any random Borel set $X \subset \mathbb{C}$ which is independent from $h$, the Hausdorff dimensions of $X$ with respect to the Euclidean metric and with respect to the $γ$-LQG metric $D_h$ are a.s. related by the (geometric) KPZ formula. As a corollary, we deduce that the Hausdorff dimension of the continuum $γ$-LQG metric is equal to the exponent $d_γ> 2$ studied by Ding and Gwynne (2018), which describes distances in discrete approximations of $γ$-LQG such as random planar maps. We also derive "worst-case" bounds relating the Euclidean and $γ$-LQG dimensions of $X$ when $X$ and $h$ are not necessarily independent, which answers a question posed by Aru (2015). Using these bounds, we obtain an upper bound for the Euclidean Hausdorff dimension of a $γ$-LQG geodesic which equals $1.312\dots$ when $γ= \sqrt{8/3}$; and an upper bound of $1.9428\dots$ for the Euclidean Hausdorff dimension of a connected component of the boundary of a $\sqrt{8/3}$-LQG metric ball. We use the axiomatic definition of the $γ$-LQG metric, so the paper can be understood by readers with minimal background knowledge beyond a basic level of familiarity with the Gaussian free field.

preprint2019arXiv

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

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.

preprint2019arXiv

The fractal dimension of Liouville quantum gravity: universality, monotonicity, and bounds

We prove that for each $γ\in (0,2)$, there is an exponent $d_γ> 2$, the "fractal dimension of $γ$-Liouville quantum gravity (LQG)", which describes the ball volume growth exponent for certain random planar maps in the $γ$-LQG universality class, the exponent for the Liouville heat kernel, and exponents for various continuum approximations of $γ$-LQG distances such as Liouville graph distance and Liouville first passage percolation. We also show that $d_γ$ is a continuous, strictly increasing function of $γ$ and prove upper and lower bounds for $d_γ$ which in some cases greatly improve on previously known bounds for the aforementioned exponents. For example, for $γ=\sqrt 2$ (which corresponds to spanning-tree weighted planar maps) our bounds give $3.4641 \leq d_{\sqrt 2} \leq 3.63299$ and in the limiting case we get $4.77485 \leq \lim_{γ\rightarrow 2^-} d_γ\leq 4.89898$.

preprint2016arXiv

Asymptotic behavior of the Eden model with positively homogeneous edge weights

Let $d\in\mathbb N$, $α\in\mathbb R$, and let $f :\mathbb R^d\setminus \{0\} \rightarrow (0,\infty)$ be locally Lipschitz and positively homogeneous of degree $α$ (e.g. $f$ could be the $α$th power of a norm on $\mathbb R^d$). We study a generalization of the Eden model on $\mathbb Z^d$ wherein the next edge added to the cluster is chosen from the set of all edges incident to the current cluster with probability proportional to the value of $f$ at the midpoint of this edge, rather than uniformly. This model is equivalent to a variant of first passage percolation where the edge passage times are independent exponential random variables with parameters given by the value of $f$ at the midpoint of the edge. We prove that the $f$-weighted Eden model clusters have an a.s. deterministic limit shape if $α< 1$, which is an explicit functional of $f$ and the limit shape of the standard Eden model, and estimate the rate of convergence to this limit shape. We also prove that if $α>1$, then there is a norm $ν$ on $\mathbb R^d$ (depending on $α$) such that if we set $f(z) = ν(z)^{ α}$, then the $f$-weighted Eden model clusters are a.s.\ contained in a Euclidean cone with opening angle $<π$ for all time. We further show that there does \emph{not} exist a norm on $\mathbb R^d$ for which this latter statement holds for all $α>1$; and that there is no choice of function $f$ for which the above statement holds with $α=1$. Our basic approach is to compare the local behavior of the $f$-weighted first passage percolation to that of unweighted first passage percolation with iid exponential edge weights (which is equivalent to the unweighted Eden model). We include a list of open problems and several computer simulations.

preprint2016arXiv

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

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.

preprint2015arXiv

Scaling limits for the critical Fortuin-Kastelyn model on a random planar map III: finite volume case

We prove scaling limit results for the finite-volume version of the inventory accumulation model of Sheffield (2011), which encodes a random planar map decorated by a collection of loops sampled from the critical Fortuin-Kasteleyn (FK) model. In particular, we prove that the random walk associated with the finite-volume version of this model converges in the scaling limit to a correlated Brownian motion $\dot Z$ conditioned to stay in the first quadrant for two units of time and satisfy $\dot Z(2) = 0$. We also show that the times which describe complementary connected components of FK loops in the discrete model converge to the $π/2$-cone times of $\dot Z$. Combined with recent results of Duplantier, Miller, and Sheffield, our results imply that many interesting functionals of the FK loops on a finite-volume FK planar map (e.g. their boundary lengths and areas) converge in the scaling limit to the corresponding "quantum" functionals of the CLE$_κ$ loops on a $4/\sqrtκ$-Liouville quantum gravity sphere for $κ\in (4,8)$. Our results are finite-volume analogues of the scaling limit theorems for the infinite-volume version of the inventory accumulation model proven by Sheffield (2011) and Gwynne, Mao, and Sun (2015).

preprint2011arXiv

On a Quaternionic Analogue of the Cross-Ratio

In this article we study an exact analogue of the cross-ratio for the algebra of quaternions H and use it to derive several interesting properties of quaternionic fractional linear transformations. In particular, we show that there exists a fractional linear transformation T on H mapping four distinct quaternions q_1, q_2, q_3 and q_4 into q'_1, q'_2, q'_3 and q'_4 respectively if and only if the quadruples (q_1, q_2, q_3, q_4) and (q'_1, q'_2, q'_3, q'_4) have the same cross-ratio. If such a fractional linear transformation T exists it is never unique. However, we prove that a fractional linear transformation on H is uniquely determined by specifying its values at five points in general position. We also prove some properties of the cross-ratio including criteria for four quaternions to lie on a single circle (or a line) and for five quaternions to lie on a single 2-sphere (or a 2-plane). As an application of the cross-ratio, we prove that fractional linear transformations on H map spheres (or affine subspaces) of dimension 1, 2 and 3 into spheres (or affine subspaces) of the same dimension.