BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Scott Sheffield

Scott Sheffield contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.PRmath-phmath.MPmath.CVmath.COmath.OC

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
9works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

9 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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

What is a random surface?

Given $2n$ unit equilateral triangles, there are finitely many ways to glue each edge to a partner. We obtain a random sphere-homeomorphic surface by sampling uniformly from the gluings that produce a topological sphere. As $n$ tends to infinity, these random surfaces (appropriately scaled) converge in law. The limit is a "canonical" sphere-homeomorphic random surface, much the way Brownian motion is a canonical random path. Depending on how the surface space and convergence topology are specified, the limit is the Brownian sphere, the peanosphere, the pure Liouville quantum gravity sphere, or a certain conformal field theory. All of these objects have concise definitions, and are all in some sense equivalent, but the equivalence is highly non-trivial, building on hundreds of math and physics papers over the past half century. More generally, the "continuum random surface embedded in $d$-dimensional Euclidean space" makes a kind of sense for $d \in (-\infty, 25)$ even when $d$ is not a positive integer; and this can be extended to higher genus surfaces, surfaces with boundary, and surfaces with marked points or other decoration. These constructions have deep roots in both mathematics and physics, drawing from classical graph theory, complex analysis, probability and representation theory, as well as string theory, planar statistical physics, random matrix theory and a simple model for two-dimensional quantum gravity. We present here an informal, colloquium-level overview of the subject, which we hope will be accessible to both newcomers and experts. We aim to answer, as cleanly as possible, the fundamental question. What is a random surface?

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

An axiomatic characterization of the Brownian map

The Brownian map is a random sphere-homeomorphic metric measure space obtained by "gluing together" the continuum trees described by the $x$ and $y$ coordinates of the Brownian snake. We present an alternative "breadth-first" construction of the Brownian map, which produces a surface from a certain decorated branching process. It is closely related to the peeling process, the hull process, and the Brownian cactus. Using these ideas, we prove that the Brownian map is the only random sphere-homeomorphic metric measure space with certain properties: namely, scale invariance and the conditional independence of the inside and outside of certain "slices" bounded by geodesics. We also formulate a characterization in terms of the so-called Lévy net produced by a metric exploration from one measure-typical point to another. This characterization is part of a program for proving the equivalence of the Brownian map and Liouville quantum gravity with parameter $γ= \sqrt{8/3}$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Best and worst policy control in low-prevalence SEIR

We consider the low-prevalence linearized SEIR epidemic model for a society that has resolved to keep future infections low in anticipation of a vaccine. The society can vary its amount of potentially-infection-spreading activity over time, within a certain feasible range. Because the activity has social or economic value, the society aims to maximize activity overall subject to infection rate constraints. We find that consistent policies are the worst possible in terms of activity, while the best policies alternate between high and low activity. In a variant involving multiple subpopulations, we find that the best policies are maximally coordinated (maintaining similar prevalence among subpopulations) but oscillatory (having growth rates that vary in time). It turns out that linearized SEIR is mathematically equivalent to an idealized racecar model (with different subpopulations corresponding to different cars) and the amount of fuel used corresponds to the amount of activity. Using this analogy, steady V-shaped formations (in which one subpopulation "leads the way" with consistently higher prevalence and activity, while others follow behind with lower prevalence and activity) are especially problematic. These formations are very effective at minimizing fuel use, hence very ineffective at boosting activity. In an appendix, we obtain analogous results for alternative notions of activity, which incorporate crowding effects.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Equivalence of Liouville measure and Gaussian free field

Given an instance $h$ of the Gaussian free field on a planar domain $D$ and a constant $γ\in (0,2)$, one can use various regularization procedures to make sense of the Liouville quantum gravity area measure $μ:= e^{γh(z)} dz.$ It is known that the field $h$ a.s. determines the measure $μ_h$. We show that the converse is true: namely, $h$ is measurably determined by $μ_h$. More generally, given a random closed fractal subset $\mathcal A$ endowed with a Frostman measure $σ$ whose support is $\mathcal A$ (independent of $h$), a Gaussian multiplicative chaos measure $μ_{σ,h}$ can be constructed. We give a mild condition on $(\mathcal A,σ)$ under which $μ_{σ,h}$ determines $h$ restricted to $\mathcal A$, in the sense that it determines its harmonic extension off $\mathcal A$. Our condition is satisfied by the occupation measures of planar Brownian motion and SLE curves under natural parametrizations. Along the way we obtain general positive moment bounds for Gaussian multiplicative chaos. Contrary to previous results, this does not require any assumption on the underlying measure $σ$ such as scale invariance, and hence may be of independent interest.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Liouville quantum gravity as a mating of trees

There is a simple way to "glue together" a coupled pair of continuum random trees (CRTs) to produce a topological sphere. The sphere comes equipped with a measure and a space-filling curve (which describes the "interface" between the trees). We present an explicit and canonical way to embed the sphere in ${\mathbf C} \cup \{ \infty \}$. In this embedding, the measure is Liouville quantum gravity (LQG) with parameter $γ\in (0,2)$, and the curve is space-filling SLE$_{κ'}$ with $κ' = 16/γ^2$. Achieving this requires us to develop an extensive suite of tools for working with LQG surfaces. We explain how to conformally weld so-called "quantum wedges" to obtain new quantum wedges of different weights. We construct finite-volume quantum disks and spheres of various types, and give a Poissonian description of the set of quantum disks cut off by a boundary-intersecting SLE$_κ(ρ)$ process with $κ\in (0,4)$. We also establish a Lévy tree description of the set of quantum disks to the left (or right) of an SLE$_{κ'}$ with $κ' \in (4,8)$. We show that given two such trees, sampled independently, there is a.s. a canonical way to "zip them together" and recover the SLE$_{κ'}$. The law of the CRT pair we study was shown in an earlier paper to be the scaling limit of the discrete tree/dual-tree pair associated to an FK-decorated random planar map (RPM). Together, these results imply that FK-decorated RPM scales to CLE-decorated LQG in a certain "tree structure" topology.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Non-simple SLE curves are not determined by their range

We show that when observing the range of a chordal SLE$_κ$ curve for $κ\in (4,8)$, it is not possible to recover the order in which the points have been visited. We also derive related results about conformal loop ensembles (CLE): (i) The loops in a CLE$_κ$ for $κ\in (4,8)$ are not determined by the CLE$_κ$ gasket. (ii) The continuum percolation interfaces defined in the fractal carpets of conformal loop ensembles CLE$_κ$ for $κ\in (8/3, 4)$ (we defined these percolation interfaces in previous work, and showed there that they are SLE$_{16/κ}$ curves) are not determined by the CLE$_κ$ carpet that they are defined in.

0 citations0 reviewsNo code linkedOpen access