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

Jason Miller

Jason Miller contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.PRmath-phmath.MPmath.CVmath.COMachine Learningmath.DSmath.STnlin.AOStatistics Theory

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
15works
0followers
10topics
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

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

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

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

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

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

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 &#34;cells&#34; 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 &#34;gluing together&#34; the continuum trees described by the $x$ and $y$ coordinates of the Brownian snake. We present an alternative &#34;breadth-first&#34; 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 &#34;slices&#34; 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

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

0 citations0 reviewsNo code linkedOpen access
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})&#39;|$, 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.

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

0 citations0 reviewsNo code linkedOpen access
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 &#34;$e^{γh} (dx^2 + dy^2)$&#34; 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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Liouville quantum gravity as a mating of trees

There is a simple way to &#34;glue together&#34; 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 &#34;interface&#34; 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$_{κ&#39;}$ with $κ&#39; = 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 &#34;quantum wedges&#34; 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$_{κ&#39;}$ with $κ&#39; \in (4,8)$. We show that given two such trees, sampled independently, there is a.s. a canonical way to &#34;zip them together&#34; and recover the SLE$_{κ&#39;}$. 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 &#34;tree structure&#34; topology.

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

0 citations0 reviewsNo code linkedOpen access
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 &#34;mating-of-trees&#34; 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&#39;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.

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