BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Scott Sheffield

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

ResearcherUnclaimed source record
math.PRmath-phmath.MPmath.CVcond-mat.stat-mechmath.APmath.COmath.MGmath.FAmath.OCComputer Science and Game Theoryhep-thmath.CA

Catalog footprint

What is connected

43works
13topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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

43 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
preprint2016arXiv

Bipolar orientations on planar maps and SLE$_{12}$

We give bijections between bipolar-oriented (acyclic with unique source and sink) planar maps and certain random walks, which show that the uniformly random bipolar-oriented planar map, decorated by the "peano curve" surrounding the tree of left-most paths to the sink, converges in law with respect to the peanosphere topology to a $\sqrt{4/3}$-Liouville quantum gravity surface decorated by an independent Schramm-Loewner evolution with parameter $κ=12$ (i.e., SLE$_{12}$). This result is universal in the sense that it holds for bipolar-oriented triangulations, quadrangulations, $k$-angulations, and maps in which face sizes are mixed.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Fractional Gaussian fields: a survey

We discuss a family of random fields indexed by a parameter $s\in \mathbb{R}$ which we call the fractional Gaussian fields, given by \[ \mathrm{FGF}_s(\mathbb{R}^d)=(-Δ)^{-s/2} W, \] where $W$ is a white noise on $\mathbb{R}^d$ and $(-Δ)^{-s/2}$ is the fractional Laplacian. These fields can also be parameterized by their Hurst parameter $H = s-d/2$. In one dimension, examples of $\mathrm{FGF}_s$ processes include Brownian motion ($s = 1$) and fractional Brownian motion ($1/2 < s < 3/2$). Examples in arbitrary dimension include white noise ($s = 0$), the Gaussian free field ($s = 1$), the bi-Laplacian Gaussian field ($s = 2$), the log-correlated Gaussian field ($s = d/2$), Lévy's Brownian motion ($s = d/2 + 1/2$), and multidimensional fractional Brownian motion ($d/2 < s < d/2 + 1$). These fields have applications to statistical physics, early-universe cosmology, finance, quantum field theory, image processing, and other disciplines. We present an overview of fractional Gaussian fields including covariance formulas, Gibbs properties, spherical coordinate decompositions, restrictions to linear subspaces, local set theorems, and other basic results. We also define a discrete fractional Gaussian field and explain how the $\mathrm{FGF}_s$ with $s \in (0,1)$ can be understood as a long range Gaussian free field in which the potential theory of Brownian motion is replaced by that of an isotropic $2s$-stable Lévy process.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Gaussian free field light cones and SLE$_κ(ρ)$

We derive a surprising correspondence between SLE$_κ(ρ)$ processes and light cones of the Gaussian free field (GFF). Recall that (one-sided, chordal, origin-seeded) SLE$_κ(ρ)$ processes are in some sense the simplest and most natural variants of the Schramm-Loewner evolution. They were originally defined only for $ρ> -2$, but one can use Lévy compensation to extend the definition to any $ρ> -2-\tfracκ{2}$ and to obtain qualitatively different curves. The triangle $T = \{(κ, ρ): (-2-\tfracκ{2})\vee (\tfracκ{2}-4) < ρ< -2 \}$ is the primary focus of this paper. When $(κ, ρ) \in T$, the SLE$_κ(ρ)$ curves are highly non-simple (and double points are dense) even though $κ< 4$. Let $h$ be an instance of the GFF. Fix $κ\in (0,4)$ and $χ= 2/\sqrtκ - \sqrtκ/2$. Recall that an imaginary geometry ray is a flow line of $e^{i(h/χ+θ)}$ that looks locally like SLE$_κ$. The light cone with parameter $θ\in [0, π]$ is the set of points reachable from the origin by a sequence of rays with angles in $[-θ/2, θ/2]$. When $θ=0$, the light cone looks like SLE$_κ$, and when $θ= π$ it looks like the range of an SLE$_{16/κ}$. We find that when $θ\in (0, π)$ the light cones are either fractal carpets with a dense set of holes or space-filling regions with no holes. We show that every non-space-filling light cone (with $θ\in (0,π]$ and $κ\in (0,4)$) agrees in law with the range of an SLE$_κ(ρ)$ process with $(κ, ρ) \in T$. Conversely, the range of any SLE$_κ(ρ)$ with $(κ,ρ) \in T$ agrees in law with a non-space-filling light cone. As a consequence, we obtain the first proof that these SLE$_κ(ρ)$ processes are continuous and show that they are natural path-valued functions of the GFF.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Imaginary Geometry I: Interacting SLEs

Fix constants χ>0 and θ\in [0,2π), and let h be an instance of the Gaussian free field on a planar domain. We study flow lines of the vector field e^{i(h/χ+θ)} starting at a fixed boundary point of the domain. Considering all θ\in [0,2π), one obtains a family of curves that look locally like SLE_κ, with κ\in (0,4), where χ= 2/κ^{1/2} - κ^{1/2}/2, which we interpret as the rays of a random geometry with purely imaginary curvature. We extend the fundamental existence and uniqueness results about these paths to the case that the paths intersect the boundary. We also show that flow lines of different angles cross each other at most once but (in contrast to what happens when h is smooth) may bounce off of each other after crossing. Flow lines of the same angle started at different points merge into each other upon intersecting, forming a tree structure. We construct so-called counterflow lines (SLE_{16/κ}) within the same geometry using ordered "light cones" of points accessible by angle-restricted trajectories and develop a robust theory of flow and counterflow line interaction. The theory leads to new results about SLE. For example, we prove that SLE_κ(ρ) processes are almost surely continuous random curves, even when they intersect the boundary, and establish Duplantier duality for general SLE_{16/κ}(ρ) processes.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Imaginary geometry II: reversibility of SLE_κ(ρ_1;ρ_2) for κ\in (0,4)

Given a simply connected planar domain D, distinct points x,y \in \partial D, and κ>0, the Schramm-Loewner evolution SLE_κis a random continuous non-self-crossing path in the closure of D from x to y. The SLE_κ(ρ_1;ρ_2) processes, defined for ρ_1, ρ_2 > -2, are in some sense the most natural generalizations of SLE_κ. When κ\leq 4, we prove that the law of the time-reversal of an \SLE_κ(ρ_1;ρ_2) from x to y is, up to parameterization, an SLE_κ(ρ_2;ρ_1) from y to x. This assumes that the "force points" used to define SLE_κ(ρ_1;ρ_2) are immediately to the left and right of the SLE seed. A generalization to arbitrary (and arbitrarily many) force points applies whenever the path does not (or is conditioned not to) hit the boundary of D except at the endpoints. The time-reversal symmetry has a particularly natural interpretation when the paths are coupled with the Gaussian free field and viewed as rays of a random geometry. It allows us to couple two instances of the Gaussian free field (with different boundary conditions) so that their difference is almost surely constant on either side of the path. In a fairly general sense, adding appropriate constants to the two sides of a ray reverses its orientation.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Imaginary geometry III: reversibility of SLE_κ for κ\in (4,8)

Suppose that D is a planar Jordan domain and x and y are distinct boundary points of D. Fix κ\in (4,8) and let η be an SLE_κprocess from x to y in D. We prove that the law of the time-reversal of ηis, up to reparameterization, an SLE_κprocess from y to x in D. More generally, we prove that SLE_κ(ρ_1;ρ_2) processes are reversible if and only if both ρ_i are at least κ/2-4, which is the critical threshold at or below which such curves are boundary filling. Our result supplies the missing ingredient needed to show that for all κ\in (4,8) the so-called conformal loop ensembles CLE_κ are canonically defined, with almost surely continuous loops. It also provides an interesting way to couple two Gaussian free fields (with different boundary conditions) so that their difference is piecewise constant and the boundaries between the constant regions are SLE_κcurves.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Conformal weldings of random surfaces: SLE and the quantum gravity zipper

We construct a conformal welding of two Liouville quantum gravity random surfaces and show that the interface between them is a random fractal curve called the Schramm-Loewner evolution (SLE), thereby resolving a variant of a conjecture of Peter Jones. We also demonstrate some surprising symmetries of this construction, which are consistent with the belief that (path decorated) random planar maps have (SLE-decorated) Liouville quantum gravity as a scaling limit. We present several precise conjectures and open questions.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Quantum gravity and inventory accumulation

We begin by studying inventory accumulation at a LIFO (last-in-first-out) retailer with two products. In the simplest version, the following occur with equal probability at each time step: first product ordered, first product produced, second product ordered, second product produced. The inventory thus evolves as a simple random walk on Z^2. In more interesting versions, a p fraction of customers orders the "freshest available" product regardless of type. We show that the corresponding random walks scale to Brownian motions with diffusion matrices depending on p. We then turn our attention to the critical Fortuin-Kastelyn random planar map model, which gives, for each q>0, a probability measure on random (discretized) two-dimensional surfaces decorated by loops, related to the q-state Potts model. A longstanding open problem is to show that as the discretization gets finer, the surfaces converge in law to a limiting (loop-decorated) random surface. The limit is expected to be a Liouville quantum gravity surface decorated by a conformal loop ensemble, with parameters depending on q. Thanks to a bijection between decorated planar maps and inventory trajectories (closely related to bijections of Bernardi and Mullin), our results about the latter imply convergence of the former in a particular topology. A phase transition occurs at p = 1/2, q=4.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Simple CLE in Doubly Connected Domains

We study Conformal Loop Ensemble (CLE$_κ$) in doubly connected domains: annuli, the punctured disc, and the punctured plane. We restrict attention to CLE$_κ$ for which the loops are simple, i.e. $κ\in (8/3,4]$. In the paper "Conformal Loop Ensemble" by Sheffield and Werner, simple CLE in the unit disc is introduced and constructed as the collection of outer boundaries of outermost clusters of the Brownian loop soup. For simple CLE in the unit disc, any fixed interior point is almost surely surrounded by some loop of CLE. The gasket of the collection of loops in CLE, i.e. the set of points that are not surrounded by any loop, almost surely has Lebesgue measure zero. In the current paper, simple CLE in an annulus is constructed similarly: it is the collection of outer boundaries of outermost clusters of the Brownian loop soup conditioned on the event that there is no cluster disconnecting the two components of the boundary of the annulus. Simple CLE in the punctured disc can be viewed as simple CLE in the unit disc conditioned on the event that the origin is in the gasket. Simple CLE in the punctured plane can be viewed as simple CLE in the whole plane conditioned on the event that both the origin and infinity are in the gasket. We construct and study these three kinds of CLEs, along with the corresponding exploration processes.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Critical Gaussian multiplicative chaos: Convergence of the derivative martingale

In this paper, we study Gaussian multiplicative chaos in the critical case. We show that the so-called derivative martingale, introduced in the context of branching Brownian motions and branching random walks, converges almost surely (in all dimensions) to a random measure with full support. We also show that the limiting measure has no atom. In connection with the derivative martingale, we write explicit conjectures about the glassy phase of log-correlated Gaussian potentials and the relation with the asymptotic expansion of the maximum of log-correlated Gaussian random variables.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Log-correlated Gaussian fields: an overview

We survey the properties of the log-correlated Gaussian field (LGF), which is a centered Gaussian random distribution (generalized function) $h$ on $\mathbb R^d$, defined up to a global additive constant. Its law is determined by the covariance formula $$\mathrm{Cov}\bigl[ (h, ϕ_1), (h, ϕ_2) \bigr] = \int_{\mathbb R^d \times \mathbb R^d} -\log|y-z| ϕ_1(y) ϕ_2(z)dydz$$ which holds for mean-zero test functions $ϕ_1, ϕ_2$. The LGF belongs to the larger family of fractional Gaussian fields obtained by applying fractional powers of the Laplacian to a white noise $W$ on $\mathbb R^d$. It takes the form $h = (-Δ)^{-d/4} W$. By comparison, the Gaussian free field (GFF) takes the form $(-Δ)^{-1/2} W$ in any dimension. The LGFs with $d \in \{2,1\}$ coincide with the 2D GFF and its restriction to a line. These objects arise in the study of conformal field theory and SLE, random surfaces, random matrices, Liouville quantum gravity, and (when $d=1$) finance. Higher dimensional LGFs appear in models of turbulence and early-universe cosmology. LGFs are closely related to cascade models and Gaussian branching random walks. We review LGF approximation schemes, restriction properties, Markov properties, conformal symmetries, and multiplicative chaos applications.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Tricolor percolation and random paths in 3D

We study "tricolor percolation" on the regular tessellation of R^3 by truncated octahedra, which is the three-dimensional analog of the hexagonal tiling of the plane. We independently assign one of three colors to each cell according to a probability vector p = (p_1, p_2, p_3) and define a "tricolor edge" to be an edge incident to one cell of each color. The tricolor edges form disjoint loops and/or infinite paths. These loops and paths have been studied in the physics literature, but little has been proved mathematically. We show that each p belongs to either the compact phase (in which the length of the tricolor loop passing through a fixed edge is a.s. finite, with exponentially decaying law) or the extended phase (in which the probability that an n by n by n box intersects a tricolor path of diameter at least n exceeds a positive constant, independent of n). We show that both phases are non-empty and the extended phase is a closed subset of the probability simplex. We also survey the physics literature and discuss open questions, including the following: Does p=(1/3,1/3,1/3) belong to the extended phase? Is there a.s. an infinite tricolor path for this p? Are there infinitely many? Do they scale to Brownian motion? If p lies on the boundary of the extended phase, do the long paths have a scaling limit analogous to SLE_6 in two dimensions? What can be shown for the higher dimensional analogs of this problem?

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Renormalization of Critical Gaussian Multiplicative Chaos and KPZ formula

Gaussian Multiplicative Chaos is a way to produce a measure on $\R^d$ (or subdomain of $\R^d$) of the form $e^{γX(x)} dx$, where $X$ is a log-correlated Gaussian field and $γ\in [0,\sqrt{2d})$ is a fixed constant. A renormalization procedure is needed to make this precise, since $X$ oscillates between $-\infty$ and $\infty$ and is not a function in the usual sense. This procedure yields the zero measure when $γ=\sqrt{2d}$. Two methods have been proposed to produce a non-trivial measure when $γ=\sqrt{2d}$. The first involves taking a derivative at $γ=\sqrt{2d}$ (and was studied in an earlier paper by the current authors), while the second involves a modified renormalization scheme. We show here that the two constructions are equivalent and use this fact to deduce several quantitative properties of the random measure. In particular, we complete the study of the moments of the derivative multiplicative chaos, which allows us to establish the KPZ formula at criticality. The case of two-dimensional (massless or massive) Gaussian free fields is also covered.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

A duality principle for selection games

A dinner table seats k guests and holds n discrete morsels of food. Guests select morsels in turn until all are consumed. Each guest has a ranking of the morsels according to how much he would enjoy eating them; these rankings are commonly known. A gallant knight always prefers one food division over another if it provides strictly more enjoyable collections of food to one or more other players (without giving a less enjoyable collection to any other player) even if it makes his own collection less enjoyable. A boorish lout always selects the morsel that gives him the most enjoyment on the current turn, regardless of future consumption by himself and others. We show the way the food is divided when all guests are gallant knights is the same as when all guests are boorish louts but turn order is reversed. This implies and generalizes a classical result of Kohler and Chandrasekaran (1971) about two players strategically maximizing their own enjoyments. We also treat the case that the table contains a mixture of boorish louts and gallant knights. Our main result can also be formulated in terms of games in which selections are made by groups. In this formulation, the surprising fact is that a group can always find a selection that is simultaneously optimal for each member of the group.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Deterministic approximations of random reflectors

Within classical optics, one may add microscopic "roughness" to a macroscopically flat mirror so that parallel rays of a given angle are reflected at different outgoing angles. Taking the limit (as the roughness becomes increasingly microscopic) one obtains a flat surface that reflects randomly, i.e., the transition from incoming to outgoing ray is described by a probability kernel (whose form depends on the nature of the microscopic roughness). We consider two-dimensional optics (a.k.a. billiards) and show that every random reflector on a line that satisfies a necessary measure-preservation condition (well established in the theory of billiards) can be approximated by deterministic reflectors in this way.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Strong path convergence from Loewner driving function convergence

We show that, under mild assumptions on the limiting curve, a sequence of simple chordal planar curves converges uniformly whenever certain Loewner driving functions converge. We extend this result to random curves. The random version applies in particular to random lattice paths that have chordal $\mathrm {SLE}_κ$ as a scaling limit, with $κ<8$ (nonspace-filling). Existing $\mathrm {SLE}_κ$ convergence proofs often begin by showing that the Loewner driving functions of these paths (viewed from $\infty$) converge to Brownian motion. Unfortunately, this is not sufficient, and additional arguments are required to complete the proofs. We show that driving function convergence is sufficient if it can be established for both parametrization directions and a generic observation point.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Absolute continuity of Brownian bridges under certain gauge transformations

We prove absolute continuity of Gaussian measures associated to complex Brownian bridges under certain gauge transformations. As an application we prove that the invariant measure for the periodic derivative nonlinear Schrödinger equation obtained by Nahmod, Oh, Rey-Bellet and Staffilani in [20], and with respect to which they proved almost surely global well-posedness, coincides with the weighted Wiener measure constructed by Thomann and Tzvetkov [24]. Thus, in particular we prove the invariance of the measure constructed in [24].

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Conformal Loop Ensembles: Construction via Loop-soups

The two-dimensional Brownian loop-soup is a Poissonian random collection of loops in a planar domain with an intensity parameter c. When c is not greater than 1, we show that the outer boundaries of the loop clusters are disjoint simple loops (when c>1, there is almost surely only one cluster) that satisfy certain conformal restriction axioms. We prove various results about loop-soups, cluster sizes, and the c=1 phase transition. Combining this with the results of another paper of ours on the Markovian characterization of simple conformal loop ensembles (CLE), this proves that these outer boundaries of clusters of Brownian loops are in fact SLE(k) loops for k in (8/3, 4]. More generally, it completes the proof of the fact that the following three descriptions of simple CLEs (proposed in earlier works by the authors) are equivalent: (1) The random loop ensembles traced by branching Schramm-Loewner Evolution (SLE(k)) curves for k in (8/3, 4]. (2) The outer-cluster-boundary ensembles of Brownian loop-soups. (3) The (only) random loop ensembles satisfying the conformal restriction axioms.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Internal DLA and the Gaussian free field

In previous works, we showed that the internal DLA cluster on \Z^d with t particles is a.s. spherical up to a maximal error of O(\log t) if d=2 and O(\sqrt{\log t}) if d > 2. This paper addresses "average error": in a certain sense, the average deviation of internal DLA from its mean shape is of constant order when d=2 and of order r^{1-d/2} (for a radius r cluster) in general. Appropriately normalized, the fluctuations (taken over time and space) scale to a variant of the Gaussian free field.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Logarithmic fluctuations for internal DLA

Let each of n particles starting at the origin in Z^2 perform simple random walk until reaching a site with no other particles. Lawler, Bramson, and Griffeath proved that the resulting random set A(n) of n occupied sites is (with high probability) close to a disk B_r of radius r=\sqrt{n/π}. We show that the discrepancy between A(n) and the disk is at most logarithmic in the radius: i.e., there is an absolute constant C such that the following holds with probability one: B_{r - C \log r} \subset A(πr^2) \subset B_{r+ C \log r} for all sufficiently large r.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Power law Polya's urn and fractional Brownian motion

We introduce a natural family of random walks on the set of integers that scale to fractional Brownian motion. The increments X_n have the property that given {X_k: k < n}, the conditional law of X_n is that of X_{n-k_n}, where k_n is sampled independently from a fixed law μon the positive integers. When μhas a roughly power law decay (precisely, when it lies in the domain of attraction of an αstable subordinator, for 0 < α< 1/2) the walk scales to fractional Brownian motion with Hurst parameter α+ 1/2. The walks are easy to simulate and their increments satisfy an FKG inequality. In a sense we describe, they are the natural "fractional" analogs of simple random walk on Z.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Schramm's proof of Watts' formula

Gérard Watts predicted a formula for the probability in percolation that there is both a left--right and an up--down crossing, which was later proved by Julien Dubédat. Here we present a simpler proof due to Oded Schramm, which builds on Cardy's formula in a conceptually appealing way: the triple derivative of Cardy's formula is the sum of two multi-arm densities. The relative sizes of the two terms are computed with Girsanov conditioning. The triple integral of one of the terms is equivalent to Watts' formula. For the relevant calculations, we present and annotate Schramm's original (and remarkably elegant) Mathematica code.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Tug-of-war and infinity Laplace equation with vanishing Neumann boundary condition

We study a version of the stochastic "tug-of-war" game, played on graphs and smooth domains, with the empty set of terminal states. We prove that, when the running payoff function is shifted by an appropriate constant, the values of the game after n steps converge in the continuous case and the case of finite graphs with loops. Using this we prove the existence of solutions to the infinity Laplace equation with vanishing Neumann boundary condition.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

A contour line of the continuum Gaussian free field

Consider an instance $h$ of the Gaussian free field on a simply connected planar domain with boundary conditions $-λ$ on one boundary arc and $λ$ on the complementary arc, where $λ$ is the special constant $\sqrt{π/8}$. We argue that even though $h$ is defined only as a random distribution, and not as a function, it has a well-defined zero contour line connecting the endpoints of these arcs, whose law is SLE(4). We construct this contour line in two ways: as the limit of the chordal zero contour lines of the projections of $h$ onto certain spaces of piecewise linear functions, and as the only path-valued function on the space of distributions with a natural Markov property.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Liouville Quantum Gravity and KPZ

Consider a bounded planar domain D, an instance h of the Gaussian free field on D (with Dirichlet energy normalized by 1/(2π)), and a constant 0 < gamma < 2. The Liouville quantum gravity measure on D is the weak limit as epsilon tends to 0 of the measures ε^{γ^2/2} e^{γh_ε(z)}dz, where dz is Lebesgue measure on D and h_ε(z) denotes the mean value of h on the circle of radius epsilon centered at z. Given a random (or deterministic) subset X of D one can define the scaling dimension of X using either Lebesgue measure or this random measure. We derive a general quadratic relation between these two dimensions, which we view as a probabilistic formulation of the KPZ relation from conformal field theory. We also present a boundary analog of KPZ (for subsets of the boundary of D). We discuss the connection between discrete and continuum quantum gravity and provide a framework for understanding Euclidean scaling exponents via quantum gravity.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Schramm Loewner Evolution and Liouville Quantum Gravity

We conformally weld (via "quantum zipping") two boundary arcs of a Liouville quantum gravity random surface to generate a random curve called the Schramm-Loewner evolution (SLE). We develop a theory of quantum fractal measures (consistent with the Knizhnik-Polyakov-Zamolochikov relation) and analyze their evolution under welding via SLE martingales. As an application, we construct the natural quantum length and boundary intersection measures on the SLE curve itself.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Vector-valued optimal Lipschitz extensions

Consider a bounded open set $U$ in $R^n$ and a Lipschitz function g from the boundary of $U$ to $R^m$. Does this function always have a canonical optimal Lipschitz extension to all of $U$? We propose a notion of optimal Lipschitz extension and address existence and uniqueness in some special cases. In the case $n=m=2$, we show that smooth solutions have two phases: in one they are conformal and in the other they are variants of infinity harmonic functions called infinity harmonic fans. We also prove existence and uniqueness for the extension problem on finite graphs.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

The Covariant Measure of SLE on the Boundary

We construct a natural measure mu supported on the intersection of a chordal SLE(kappa) curve gamma with the real line R, in the range 4 < kappa < 8. The measure is a function of the SLE path in question. Assuming that boundary measures transform in a ``d-dimensional'' way (where d is the Hausdorff dimension of gamma intersected with R), we show that the measure we construct is (up to multiplicative constant) the unique measure-valued function of the SLE path that satisfies the Domain Markov property.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Tug-of-war and the infinity Laplacian

We prove that every bounded Lipschitz function F on a subset Y of a length space X admits a tautest extension to X, i.e., a unique Lipschitz extension u for which Lip_U u = Lip_{boundary of U} u for all open subsets U of X that do not intersect Y. This was previously known only for bounded domains R^n, in which case u is infinity harmonic, that is, a viscosity solution to Delta_infty u = 0. We also prove the first general uniqueness results for Delta_infty u = g on bounded subsets of R^n (when g is uniformly continuous and bounded away from zero), and analogous results for bounded length spaces. The proofs rely on a new game-theoretic description of u. Let u^epsilon(x) be the value of the following two-player zero-sum game, called tug-of-war: fix x_0=x \in X minus Y. At the kth turn, the players toss a coin and the winner chooses an x_k with d(x_k, x_{k-1})< epsilon. The game ends when x_k is in Y, and player one's payoff is F(x_k) - (epsilon^2/2) sum_{i=0}^{k-1} g(x_i) We show that the u^εconverge uniformly to u as epsilon tends to zero. Even for bounded domains in R^n, the game theoretic description of infinity-harmonic functions yields new intuition and estimates; for instance, we prove power law bounds for infinity-harmonic functions in the unit disk with boundary values supported in a delta-neighborhood of a Cantor set on the unit circle.

0 citations0 reviewsNo code linkedOpen access
preprint2004arXiv

Markov chains in smooth Banach spaces and Gromov hyperbolic metric spaces

A metric space $X$ has {\em Markov type} 2, if for any reversible finite-state Markov chain $\{Z_t\}$ (with $Z_0$ chosen according to the stationary distribution) and any map $f$ from the state space to $X$, the distance $D_t$ from $f(Z_0)$ to $f(Z_t)$ satisfies $\E(D_t^2) \le K^2 t \E(D_1^2)$ for some $K=K(X)<\infty$. This notion is due to K. Ball (1992), who showed its importance for the Lipschitz extension problem. However until now, only Hilbert space (and its bi-Lipschitz equivalents) were known to have Markov type 2. We show that every Banach space with modulus of smoothness of power type 2 (in particular, $L_p$ for $p>2$) has Markov type 2; this proves a conjecture of Ball. We also show that trees, hyperbolic groups and simply connected Riemannian manifolds of pinched negative curvature have Markov type 2. Our results are applied to settle several conjectures on Lipschitz extensions and embeddings. In particular, we answer a question posed by Johnson and Lindenstrauss in 1982, by showing that for $1<q<2<p<\infty$, any Lipschitz mapping from a subset of $L_p$ to $L_q$ has a Lipschitz extension defined on all of $L_p$.

0 citations0 reviewsNo code linkedOpen access