Source author record

Jason Miller

Jason Miller 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

32works
11topics
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

32 published item(s)

preprint2022arXiv

A continuous proof of the existence of the SLE$_8$ curve

Suppose that $η$ is a whole-plane space-filling SLE$_κ$ for $κ\in (4,8)$ from $\infty$ to $\infty$ parameterized by Lebesgue measure and normalized so that $η(0) = 0$. For each $T > 0$ and $κ\in (4,8)$ we let $μ_{κ,T}$ denote the law of $η|_{[0,T]}$. We show for each $ν, T > 0$ that the family of laws $μ_{κ,T}$ for $κ\in [4+ν,8)$ is compact in the weak topology associated with the space of probability measures on continuous curves $[0,T] \to {\mathbf C}$ equipped with the uniform distance. As a direct byproduct of this tightness result (taking a limit as $κ\uparrow 8$), we obtain a new proof of the existence of the SLE$_8$ curve which does not build on the discrete uniform spanning tree scaling limit of Lawler-Schramm-Werner.

preprint2022arXiv

Bipolar oriented random planar maps with large faces and exotic SLE$_κ(ρ)$ processes

We consider bipolar oriented random planar maps with heavy-tailed face degrees. We show for each $α\in (1,2)$ that if the face degree is in the domain of attraction of an $α$-stable Lévy process, the corresponding random planar map has an infinite volume limit in the Benjamini-Schramm topology. We also show in the limit that the properly rescaled contour functions associated with the northwest and southeast trees converge in law to a certain correlated pair of $α$-stable Lévy processes. Combined with other work, this allows us to identify the scaling limit of the planar map with an SLE$_κ(ρ)$ process with $ρ= κ-4 < -2$ on $\sqrtκ$-Liouville quantum gravity for $κ\in (4/3,2)$ where $α, κ$ are related by $α= 4/κ-1$.

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

Learning Interaction Kernels for Agent Systems on Riemannian Manifolds

Interacting agent and particle systems are extensively used to model complex phenomena in science and engineering. We consider the problem of learning interaction kernels in these dynamical systems constrained to evolve on Riemannian manifolds from given trajectory data. The models we consider are based on interaction kernels depending on pairwise Riemannian distances between agents, with agents interacting locally along the direction of the shortest geodesic connecting them. We show that our estimators converge at a rate that is independent of the dimension of the state space, and derive bounds on the trajectory estimation error, on the manifold, between the observed and estimated dynamics. We demonstrate the performance of our estimator on two classical first order interacting systems: Opinion Dynamics and a Predator-Swarm system, with each system constrained on two prototypical manifolds, the $2$-dimensional sphere and the Poincaré disk model of hyperbolic space.

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

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}$.

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

Data-driven Discovery of Emergent Behaviors in Collective Dynamics

Particle- and agent-based systems are a ubiquitous modeling tool in many disciplines. We consider the fundamental problem of inferring interaction kernels from observations of agent-based dynamical systems given observations of trajectories, in particular for collective dynamical systems exhibiting emergent behaviors with complicated interaction kernels, in a nonparametric fashion, and for kernels which are parametrized by a single unknown parameter. We extend the estimators introduced in \cite{PNASLU}, which are based on suitably regularized least squares estimators, to these larger classes of systems. We provide extensive numerical evidence that the estimators provide faithful approximations to the interaction kernels, and provide accurate predictions for trajectories started at new initial conditions, both throughout the ``training'' time interval in which the observations were made, and often much beyond. We demonstrate these features on prototypical systems displaying collective behaviors, ranging from opinion dynamics, flocking dynamics, self-propelling particle dynamics, synchronized oscillator dynamics, and a gravitational system. Our experiments also suggest that our estimated systems can display the same emergent behaviors of the observed systems, that occur at larger timescales than those used in the training data. Finally, in the case of families of systems governed by a parameterized family of interaction kernels, we introduce novel estimators that estimate the parameterized family of kernels, splitting it into a common interaction kernel and the action of parameters. We demonstrate this in the case of gravity, by learning both the ``common component'' $1/r^2$ and the dependency on mass, without any a priori knowledge of either one, from observations of planetary motions in our solar system.

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

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.

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.

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.

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.

preprint2016arXiv

Extreme nesting in the conformal loop ensemble

The conformal loop ensemble $\operatorname {CLE}_κ$ with parameter $8/3<κ<8$ is the canonical conformally invariant measure on countably infinite collections of noncrossing loops in a simply connected domain. Given $κ$ and $ν$, we compute the almost-sure Hausdorff dimension of the set of points $z$ for which the number of CLE loops surrounding the disk of radius $\varepsilon$ centered at $z$ has asymptotic growth $ν\log (1/\varepsilon )$ as $\varepsilon \to0$. By extending these results to a setting in which the loops are given i.i.d. weights, we give a CLE-based treatment of the extremes of the Gaussian free field.

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.

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.

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.

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.

preprint2014arXiv

The conformal loop ensemble nesting field

The conformal loop ensemble CLE$_κ$ with parameter $8/3 < κ< 8$ is the canonical conformally invariant measure on countably infinite collections of non-crossing loops in a simply connected domain. We show that the number of loops surrounding an $\varepsilon$-ball (a random function of $z$ and $\varepsilon$) minus its expectation converges almost surely as $\varepsilon\to 0$ to a random conformally invariant limit in the space of distributions, which we call the nesting field. We generalize this result by assigning i.i.d. weights to the loops, and we treat an alternate notion of convergence to the nesting field in the case where the weight distribution has mean zero. We also establish estimates for moments of the number of CLE loops surrounding two given points.

preprint2014arXiv

The Hausdorff dimension of the CLE gasket

The conformal loop ensemble $\mathrm{CLE}_κ$ is the canonical conformally invariant probability measure on noncrossing loops in a proper simply connected domain in the complex plane. The parameter $κ$ varies between $8/3$ and $8$; $\mathrm{CLE}_{8/3}$ is empty while $\mathrm {CLE}_8$ is a single space-filling loop. In this work, we study the geometry of the $\mathrm{CLE}$ gasket, the set of points not surrounded by any loop of the $\mathrm{CLE}$. We show that the almost sure Hausdorff dimension of the gasket is bounded from below by $2-(8-κ)(3κ-8)/(32κ)$ when $4<κ<8$. Together with the work of Schramm-Sheffield-Wilson [Comm. Math. Phys. 288 (2009) 43-53] giving the upper bound for all $κ$ and the work of Nacu-Werner [J. Lond. Math. Soc. (2) 83 (2011) 789-809] giving the matching lower bound for $κ\le4$, this completes the determination of the $\mathrm{CLE}_κ$ gasket dimension for all values of $κ$ for which it is defined. The dimension agrees with the prediction of Duplantier-Saleur [Phys. Rev. Lett. 63 (1989) 2536-2537] for the FK gasket.

preprint2013arXiv

Intersections of SLE Paths: the double and cut point dimension of SLE

We compute the almost-sure Hausdorff dimension of the double points of chordal SLE_kappa for kappa > 4, confirming a prediction of Duplantier-Saleur (1989) for the contours of the FK model. We also compute the dimension of the cut points of chordal SLE_kappa for kappa > 4 as well as analogous dimensions for the radial and whole-plane SLE_kappa(rho) processes for kappa > 0. We derive these facts as consequences of a more general result in which we compute the dimension of the intersection of two flow lines of the formal vector field e^{ih/chi}, where h is a Gaussian free field and chi > 0, of different angles with each other and with the domain boundary.

preprint2013arXiv

Painting a graph with competing random walks

Let $X_1,X_2$ be independent random walks on $\mathbf{Z}_n^d$, $d\geq3$, each starting from the uniform distribution. Initially, each site of $\mathbf{Z}_n^d$ is unmarked, and, whenever $X_i$ visits such a site, it is set irreversibly to $i$. The mean of $|\mathcal{A}_i|$, the cardinality of the set $\mathcal{A}_i$ of sites painted by $i$, once all of $\mathbf{Z}_n^d$ has been visited, is $\frac{1}{2}n^d$ by symmetry. We prove the following conjecture due to Pemantle and Peres: for each $d\geq3$ there exists a constant $α_d$ such that $\lim_{n\to\infty}\operatorname{Var}(|\mathcal {A}_i|)/h_d(n)=\frac{1}{4}α_d$ where $h_3(n)=n^4$, $h_4(n)=n^4(\log n)$ and $h_d(n)=n^d$ for $d\geq5$. We will also identify $α_d$ explicitly and show that $α_d\to1$ as $d\to\infty$. This is a special case of a more general theorem which gives the asymptotics of $\operatorname{Var}(|\mathcal{A}_i|)$ for a large class of transient, vertex transitive graphs; other examples include the hypercube and the Caley graph of the symmetric group generated by transpositions.

preprint2013arXiv

Uniformity of the late points of random walk on Z_n^d for d >= 3

Suppose that $X$ is a simple random walk on $\Z_n^d$ for $d \geq 3$ and, for each $t$, we let $\U(t)$ consist of those $x \in \Z_n^d$ which have not been visited by $X$ by time $t$. Let $\tcov$ be the expected amount of time that it takes for $X$ to visit every site of $\Z_n^d$. We show that there exists $0 < α_0(d) \leq α_1(d) < 1$ and a time $t_* = \tcov(1+o(1))$ as $n \to \infty$ such that the following is true. For $α> α_1(d)$ (resp.\ $α< α_0(d)$), the total variation distance between the law of $\U(αt_*)$ and the law of i.i.d.\ Bernoulli random variables indexed by $\Z_n^d$ with success probability~$n^{-αd}$ tends to~$0$ (resp.\ $1$) as $n \to \infty$. Let $τ_α$ be the first time $t$ that $|\U(t)| = n^{d-αd}$. We also show that the total variation distance between the law of $\U(τ_α)$ and the law of a uniformly chosen set from $\Z_n^d$ with size $n^{d-αd}$ tends to $0$ (resp.\ $1$) for $α> α_1(d)$ (resp.\ $α< α_0(d)$) as $n \to \infty$.

preprint2012arXiv

Uniform mixing time for Random Walk on Lamplighter Graphs

Suppose that $\CG$ is a finite, connected graph and $X$ is a lazy random walk on $\CG$. The lamplighter chain $X^\diamond$ associated with $X$ is the random walk on the wreath product $\CG^\diamond = \Z_2 \wr \CG$, the graph whose vertices consist of pairs $(f,x)$ where $f$ is a labeling of the vertices of $\CG$ by elements of $\Z_2$ and $x$ is a vertex in $\CG$. There is an edge between $(f,x)$ and $(g,y)$ in $\CG^\diamond$ if and only if $x$ is adjacent to $y$ in $\CG$ and $f(z) = g(z)$ for all $z \neq x,y$. In each step, $X^\diamond$ moves from a configuration $(f,x)$ by updating $x$ to $y$ using the transition rule of $X$ and then sampling both $f(x)$ and $f(y)$ according to the uniform distribution on $\Z_2$; $f(z)$ for $z \neq x,y$ remains unchanged. We give matching upper and lower bounds on the uniform mixing time of $X^\diamond$ provided $\CG$ satisfies mild hypotheses. In particular, when $\CG$ is the hypercube $\Z_2^d$, we show that the uniform mixing time of $X^\diamond$ is $Θ(d 2^d)$. More generally, we show that when $\CG$ is a torus $\Z_n^d$ for $d \geq 3$, the uniform mixing time of $X^\diamond$ is $Θ(d n^d)$ uniformly in $n$ and $d$. A critical ingredient for our proof is a concentration estimate for the local time of random walk in a subset of vertices.

preprint2012arXiv

Uniformity of the uncovered set of random walk and cutoff for lamplighter chains

We show that the measure on markings of $\mathbf {Z}_n^d$, $d\geq3$, with elements of ${0,1}$ given by i.i.d. fair coin flips on the range $\mathcal {R}$ of a random walk $X$ run until time $T$ and 0 otherwise becomes indistinguishable from the uniform measure on such markings at the threshold $T=1/2T_{\mathrm {cov}}(\mathbf {Z}_n^d)$. As a consequence of our methods, we show that the total variation mixing time of the random walk on the lamplighter graph $\mathbf {Z}_2\wr \mathbf {Z}_n^d$, $d\geq3$, has a cutoff with threshold $1/2T_{\mathrm {cov}}(\mathbf {Z}_n^d)$. We give a general criterion under which both of these results hold; other examples for which this applies include bounded degree expander families, the intersection of an infinite supercritical percolation cluster with an increasing family of balls, the hypercube and the Caley graph of the symmetric group generated by transpositions. The proof also yields precise asymptotics for the decay of correlation in the uncovered set.

preprint2010arXiv

Fluctuations for the Ginzburg-Landau $\nabla ϕ$ Interface Model on a Bounded Domain

We study the massless field on $D_n = D \cap \tfrac{1}{n} \Z^2$, where $D \subseteq \R^2$ is a bounded domain with smooth boundary, with Hamiltonian $\CH(h) = \sum_{x \sim y} \CV(h(x) - h(y))$. The interaction $\CV$ is assumed to be symmetric and uniformly convex. This is a general model for a $(2+1)$-dimensional effective interface where $h$ represents the height. We take our boundary conditions to be a continuous perturbation of a macroscopic tilt: $h(x) = n x \cdot u + f(x)$ for $x \in \partial D_n$, $u \in \R^2$, and $f \colon \R^2 \to \R$ continuous. We prove that the fluctuations of linear functionals of $h(x)$ about the tilt converge in the limit to a Gaussian free field on $D$, the standard Gaussian with respect to the weighted Dirichlet inner product $(f,g)_\nabla^β= \int_D \sum_i β_i \partial_i f_i \partial_i g_i$ for some explicit $β= β(u)$. In a subsequent article, we will employ the tools developed here to resolve a conjecture of Sheffield that the zero contour lines of $h$ are asymptotically described by $SLE(4)$, a conformally invariant random curve.

preprint2010arXiv

Thick points of the Gaussian free field

Let $U\subseteq\mathbf{C}$ be a bounded domain with smooth boundary and let $F$ be an instance of the continuum Gaussian free field on $U$ with respect to the Dirichlet inner product $\int_U\nabla f(x)\cdot \nabla g(x)\,dx$. The set $T(a;U)$ of $a$-thick points of $F$ consists of those $z\in U$ such that the average of $F$ on a disk of radius $r$ centered at $z$ has growth $\sqrt{a/π}\log\frac{1}{r}$ as $r\to 0$. We show that for each $0\leq a\leq2$ the Hausdorff dimension of $T(a;U)$ is almost surely $2-a$, that $ν_{2-a}(T(a;U))=\infty$ when $0<a\leq2$ and $ν_2(T(0;U))=ν_2(U)$ almost surely, where $ν_α$ is the Hausdorff-$α$ measure, and that $T(a;U)$ is almost surely empty when $a>2$. Furthermore, we prove that $T(a;U)$ is invariant under conformal transformations in an appropriate sense. The notion of a thick point is connected to the Liouville quantum gravity measure with parameter $γ$ given formally by $Γ(dz)=e^{\sqrt{2π}γF(z)}\,dz$ considered by Duplantier and Sheffield.

preprint2010arXiv

Universality for SLE(4)

We resolve a conjecture of Sheffield that $\SLE(4)$, a conformally invariant random curve, is the universal limit of the chordal zero-height contours of random surfaces with isotropic, uniformly convex potentials. Specifically, we study the \emph{Ginzburg-Landau $\nabla ϕ$ interface model} or \emph{anharmonic crystal} on $D_n = D \cap \tfrac{1}{n} \Z^2$ for $D \subseteq \C$ a bounded, simply connected Jordan domain with smooth boundary. This is the massless field with Hamiltonian $\CH(h) = \sum_{x \sim y} \CV(h(x) - h(y))$ with $\CV$ symmetric and uniformly convex and $h(x) = ϕ(x)$ for $x \in \partial D_n$, $ϕ\colon \partial D_n \to \R$ a given function. We show that the macroscopic chordal contours of $h$ are asymptotically described by $\SLE(4)$ for appropriately chosen $ϕ$.