Source author record

Joshua Pfeffer

Joshua Pfeffer 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

7works
4topics
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

7 published item(s)

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.

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.

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)$-th power of the determinant of the Laplacian to the appropriately regularized partition function of a Brownian loop soup of intensity $c$ on the surface. This means that, in a certain sense, decorating a random surface by a Brownian loop soup of intensity $c$ corresponds to weighting the law of the surface by the $(-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 $\mathbf{c}$) to produce a smooth surface. And we show that weighting the law of this random surface by the $( -\mathbf{c}'/ 2)$-th power of the Laplacian determinant has precisely the effect of changing the matter central charge from $\mathbf{c}$ to $\mathbf{c} + \mathbf{c}'$. Taken together with the earlier results, this provides a way of interpreting an LQG surface of matter central charge $\mathbf{c}$ as a pure LQG surface decorated by a Brownian loop soup of intensity $\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 $\mathbf{c}\leq 1$, some of the constructions and questions also make sense when $\mathbf{c}>1$.

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.

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.