Source author record

Joshua Pfeffer

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

7works
4topics
4close collaborators

Published work

7 publications

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 γ∈(0,2)γ\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.

preprint2021arXiv

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

Let MM 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 MM-graph-distance diameter of the external diffusion-limited aggregation (DLA) cluster on MM run for mm steps is of order m2/d+om(1)m^{2/d + o_m(1)}, where dd is the metric ball volume growth exponent for MM (which was shown to exist by Ding-Gwynne, 2018). By known bounds for dd, one has 0.55051…≤2/d≤0.563315…0.55051\ldots \leq 2/d \leq 0.563315\ldots. Along the way, we also prove that loop-erased random walk (LERW) on MM typically travels graph distance m2/d+om(1)m^{2/d + o_m(1)} in mm units of time and that the graph-distance diameter of a finite spanning-tree-weighted random planar map with nn edges, with or without boundary, is of order n1/d+on(1)n^{1/d+o_n(1)} except on an event with probability decaying faster than any negative power of nn. 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.

preprint2020arXiv

Brownian loops and the central charge of a Liouville random surface

We explore the geometric meaning of the so-called zeta-regularized determinant of the Laplace-Beltrami operator on a compact surface, with or without boundary. We relate the (−c/2)(-c/2)-th power of the determinant of the Laplacian to the appropriately regularized partition function of a Brownian loop soup of intensity cc on the surface. This means that, in a certain sense, decorating a random surface by a Brownian loop soup of intensity cc corresponds to weighting the law of the surface by the (−c/2)(-c/2)-th power of the determinant of the Laplacian. Next, we introduce a method of regularizing a Liouville quantum gravity (LQG) surface (with some matter central charge parameter c\mathbf{c}) to produce a smooth surface. And we show that weighting the law of this random surface by the (−c′/2)( -\mathbf{c}'/ 2)-th power of the Laplacian determinant has precisely the effect of changing the matter central charge from c\mathbf{c} to c+c′\mathbf{c} + \mathbf{c}'. Taken together with the earlier results, this provides a way of interpreting an LQG surface of matter central charge c\mathbf{c} as a pure LQG surface decorated by a Brownian loop soup of intensity c\mathbf{c}. Building on this idea, we present several open problems about random planar maps and their continuum analogs. Although the original construction of LQG is well-defined only for c≤1\mathbf{c}\leq 1, some of the constructions and questions also make sense when c>1\mathbf{c}>1.

preprint2020arXiv

Weak LQG metrics and Liouville first passage percolation

For γ∈(0,2)γ\in (0,2), we define a weak γγ-Liouville quantum gravity (LQG) metric to be a function h↦Dhh\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 8/3\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 γ∈(0,2)γ\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 γ=8/3γ=\sqrt{8/3}.

preprint2019arXiv

KPZ formulas for the Liouville quantum gravity metric

Let γ∈(0,2)γ\in (0,2), let hh be the planar Gaussian free field, and let DhD_h be the associated γγ-Liouville quantum gravity (LQG) metric. We prove that for any random Borel set X⊂CX \subset \mathbb{C} which is independent from hh, the Hausdorff dimensions of XX with respect to the Euclidean metric and with respect to the γγ-LQG metric DhD_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γ>2d_γ> 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 XX when XX and hh 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…1.312\dots when γ=8/3γ= \sqrt{8/3}; and an upper bound of 1.9428…1.9428\dots for the Euclidean Hausdorff dimension of a connected component of the boundary of a 8/3\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)(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 cM∈(−∞,1]{\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 γ∈(0,2]γ\in(0,2] satisfies cM=25−6(2/γ+γ/2)2\mathbf c_{\mathrm M}=25-6(2/γ+γ/2)^2. Physics considerations suggest that LQG should also make sense in the regime when cM>1\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 cM∈(−∞,25)\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 cM∈(1,25)\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 cM∈(1,25)\mathbf c_{\mathrm M}\in(1,25), which gives a finite quantum dimension iff the Euclidean dimension is at most (25−cM)/12(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 rr grows faster than any power of rr (which suggests that the Hausdorff dimension of LQG is infinite for cM∈(1,25)\mathbf c_{\mathrm M}\in(1,25)). We include a substantial list of open problems.

preprint2014arXiv

Anchored expansion, speed, and the hyperbolic Poisson Voronoi tessellation

We show that random walk on a stationary random graph with positive anchored expansion and exponential volume growth has positive speed. We also show that two families of random triangulations of the hyperbolic plane, the hyperbolic Poisson Voronoi tessellation and the hyperbolic Poisson Delaunay triangulation, have 1-skeletons with positive anchored expansion. As a consequence, we show that the simple random walks on these graphs have positive speed. We include a section of open problems and conjectures on the topics of stationary geometric random graphs and the hyperbolic Poisson Voronoi tessellation.

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.