We show that at any location away from the spectral edge, the eigenvalues of the Gaussian unitary ensemble and its general beta siblings converge to Sine_beta, a translation invariant point process. This process has a geometric description in term of the Brownian carousel, a deterministic function of Brownian motion in the hyperbolic plane.
The Brownian carousel, a description of the a continuum limit of random matrices, provides a convenient way to analyze the limiting point processes. We show that the gap probability of Sine_beta is continuous in the gap size and $β$, and compute its asymptotics for large gaps. Moreover, the stochastic differential equation version of the Brownian carousel exhibits a phase transition at beta=2.
Long-Range Correlation of the Sine$_β$ point Process
CNRS（法国国家科学研究中心）；Department of Mathematics and Applications, École Normale Supérieure (Paris)（巴黎高等师范学院数学与应用系）；Ceremade, University Paris Dauphine（巴黎第九大学 Ceremade 中心）
We describe a probabilistic model involving iterated Brownian motion for constructing a random chainable continuum. We show that this random continuum is indecomposable.
In this note, we provide a new characterization of Aldous' Brownian continuum random tree as the unique fixed point of a certain natural operation on continuum trees (which gives rise to a recursive distributional equation). We also show that this fixed point is attractive.
We show that Sine$_β$, the bulk limit of the Gaussian $β$-ensembles is the spectrum of a self-adjoint random differential operator \[ f\to 2 {R_t^{-1}} \left[ \begin{array}{cc} 0 &-\tfrac{d}{dt} \tfrac{d}{dt} &0 \end{array} \right] f, \qquad f:[0,1)\to \mathbb R^2, \] where $R_t$ is the positive definite matrix representation of hyperbolic Brownian motion with variance $4/β$ in logarithmic time. The result connects the Montgomery-Dyson conjecture about the Sine$_2$ process and the non-trivial zeros of the Riemann zeta function, the Hilbert-Pólya conjecture and de Brange's attempt to prove the …
Consider the Aldous--Pitman fragmentation process [Ann Probab, 26(4):1703--1726, 1998] of a Brownian continuum random tree ${\cal T}^{\mathrm{br}}$. The associated cut tree cut$({\cal T}^{\mathrm{br}})$, introduced by Bertoin and Miermont [Ann Appl Probab, 23:1469--1493, 2013], is defined in a measurable way from the fragmentation process, describing the genealogy of the fragmentation, and is itself distributed as a Brownian CRT. In this work, we introduce a shuffle transform, which can be considered as the reverse of the map taking ${\cal T}^{\mathrm{br}}$ to cut$({\cal T}^{\mathrm{br}})$.
In this article it is shown that the Brownian motion on the continuum random tree is the scaling limit of the simple random walks on any family of discrete $n$-vertex ordered graph trees whose search-depth functions converge to the Brownian excursion as $n\to\infty$. We prove both a quenched version (for typical realisations of the trees) and an annealed version (averaged over all realisations of the trees) of our main result. The assumptions of the article cover the important example of simple random walks on the trees generated by the Galton-Watson branching process, conditioned on the total…
We consider the tributary structure of Howard's drainage model studied by Gangopadhyay et. al. Conditional on the event that the tributary survives up to time $n$, we show that, as a sequence of random metric spaces, scaled tributary converges in distribution to a continuum random tree with respect to Gromov Hausdorff topology. This verifies a prediction made by Aldous for a simpler model (where paths are independent till they coalesce) but for a different conditional set up. The limiting continuum tree is slightly different from what was surmised earlier. Our proof uses the fact that there ex…
The Brownian map is a model of random geometry on the sphere and as such an important object in probability theory and physics. It has been linked to Liouville Quantum Gravity and much research has been devoted to it. One open question asks for a canonical embedding of the Brownian map into the sphere or other, more abstract, metric spaces. Similarly, Liouville Quantum Gravity has been shown to be "equivalent" to the Brownian map but the exact nature of the correspondence (i.e.\ embedding) is still unknown. In this article we show that any embedding of the Brownian map or continuum random tree…
On the cover time of Brownian motion on the Brownian continuum random tree
Department of Computer Science, New York University Abu Dhabi（阿布扎比纽约大学计算机系）；Research Institute for Mathematical Sciences, Kyoto University, Japan（日本京都大学数学科学研究所）；Department of Mathematics and Statistics, University of North Carolina at Charlotte（北卡罗来纳大学夏洛特分校数学与统计系）；Modal’X, UMR CNRS 9023, UPL, Univ. Paris-Nanterre, F92000 Nanterre, France（法国楠泰尔巴黎西奈大学Modal’X实验室）
To model the destruction of a resilient network, Cai, Holmgren, Devroye and Skerman introduced the $k$-cut model on a random tree, as an extension to the classic problem of cutting down random trees. Berzunza, Cai and Holmgren later proved that the total number of cuts in the $k$-cut model to isolate the root of a Galton--Watson tree with a finite-variance offspring law and conditioned to have $n$ nodes, when divided by $n^{1-1/2k}$, converges in distribution to some random variable defined on the Brownian CRT. We provide here a direct construction of the limit random variable, relying upon th…
We show that the construction of a random continuum $\mathcal{C}$ from independent two-sided Brownian motions as considered in arXiv:2004.01367 almost surely yields a non-degenerate indecomposable but not-hereditary indecomposable continuum. In particular $\mathcal{C}$ is (unfortunately) not the pseudo-arc.
In a previous article, we introduced the first passage set (FPS) of constant level $-a$ of the two-dimensional continuum Gaussian free field (GFF) on finitely connected domains. Informally, it is the set of points in the domain that can be connected to the boundary by a path along which the GFF is greater than or equal to $-a$. This description can be taken as a definition of the FPS for the metric graph GFF, and it justifies the analogy with the first hitting time of $-a$ by a one-dimensional Brownian motion. In the current article, we prove that the metric graph FPS converges towards the con…
The Gaussian Free Field (GFF) in the continuum appears to be the natural generalisation of Brownian motion, when one replaces time by a multidimensional continuous parameter. The goal of these lecture notes is to describe some aspects of the continuum GFF and of its discrete counterpart defined on lattices, with the aim of providing a gentle self-contained introduction to some recent developments on this topic, such as the relation between the continuum GFF, Brownian loop-soups and the Conformal Loop Ensembles CLE(4). This is an updated and expanded version of the notes written by the first au…
Coarsening on a one-dimensional lattice is described by the voter model or equivalently by coalescing (or annihilating) random walks representing the evolving boundaries between regions of constant color and by backward (in time) coalescing random walks corresponding to color genealogies. Asympotics for large time and space on the lattice are described via a continuum space-time voter model whose boundary motion is expressed by the {\it Brownian web} (BW) of coalescing forward Brownian motions. In this paper, we study how small noise in the voter model, corresponding to the nucleation of rando…
Motivated by its relevance for the study of perturbations of one-dimensional voter models, including stochastic Potts models at low temperature, we consider diffusively rescaled coalescing random walks with branching and killing. Our main result is convergence to a new continuum process, in which the random space-time paths of the Sun-Swart Brownian net are terminated at a Poisson cloud of killing points. We also prove existence of a percolation transition as the killing rate varies. Key issues for convergence are the relations of the discrete model killing points and their Poisson intensity m…
Analogues of stepping--stone models are considered where the site--space is continuous, the migration process is a general Markov process, and the type--space is infinite. Such processes were defined in previous work of the second author by specifying a Feller transition semigroup in terms of expectations of suitable functionals for systems of coalescing Markov processes. An alternative representation is obtained here in terms of a limit of interacting particle systems. It is shown that, under a mild condition on the migration process, the continuum--sites stepping--stone process has continuou…
We show that in the point process limit of the bulk eigenvalues of $β$-ensembles of random matrices, the probability of having no eigenvalue in a fixed interval of size $λ$ is given by \[\bigl(\ kappa_β+o(1)\bigr)λ^{γ_β}\exp\biggl(-{\bet a}{64}λ^2+\biggl(β{8}-{1}{4}\biggr)λ\biggr)\] as $λ\to\infty$, where \[γ_β={1}{4}\biggl(β{2}+{2}β-3\biggr)\] and $κ_β$ is an undetermined positive constant. This is a slightly corrected version of a prediction by Dyson [J. Math. Phys. 3 (1962) 157--165]. Our proof uses the new Brownian carousel representation of the limit process, as well as the Cameron--Marti…
We encode a certain class of stochastic fragmentation processes, namely self-similar fragmentation processes with a negative index of self-similarity, into a metric family tree which belongs to the family of Continuum Random Trees of Aldous. When the splitting times of the fragmentation are dense near 0, the tree can in turn be encoded into a continuous height function, just as the Brownian Continuum Random Tree is encoded in a normalized Brownian excursion. Under mild hypotheses, we then compute the Hausdorff dimensions of these trees, and the maximal Hölder exponents of the height functions.
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 in…
We prove that the uniform unlabelled unrooted tree with n vertices and vertex degrees in a fixed set converges in the Gromov-Hausdorff sense after a suitable rescaling to the Brownian continuum random tree. This proves a conjecture by Aldous. Moreover, we establish Benjamini-Schramm convergence of this model of random trees.
Recent works have shown that an instance of a Brownian surface (such as the Brownian map or Brownian disk) a.s. has a canonical conformal structure under which it is equivalent to a $\sqrt{8/3}$-Liouville quantum gravity (LQG) surface. In particular, Brownian motion on a Brownian surface is well-defined. The construction in these works is indirect, however, and leaves open a basic question: is Brownian motion on a Brownian surface the limit of simple random walk on increasingly fine discretizations of that surface, the way Brownian motion on $\mathbb R^2$ is the $ε\to 0$ limit of simple random…
The main topic of these lecture notes is the continuum scaling limit of planar lattice models. One reason why this topic occupies an important place in the theory of probability and mathematical statistical physics is that scaling limits provide the link between statistical mechanics and (Euclidean) field theory. In order to explain the main ideas behind the concept of scaling limit, I will focus on a "toy" model that exhibits the typical behavior of statistical mechanical models at and near the critical point. This model, known as the random walk loop soup, is actually interesting in its own …
We study a continuum model of directed polymer in random environment. The law of the polymer is defined as the Brownian motion conditioned to survive among space-time Poissonian disasters. This model is well-studied in the positive temperature regime. However, at zero-temperature, even the existence of the free energy has not been proved. In this article, we prove that the free energy exists and is continuous at zero-temperature.
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 L…
In a groundbreaking work, Duplantier, Miller and Sheffield showed that subcritical Liouville quantum gravity (LQG) coupled with Schramm-Loewner evolutions (SLE) can be described by the mating of two continuum random trees. In this paper, we consider the counterpart of their result for critical LQG and SLE, i.e., for the case when $γ^2=κ=16/κ=4$. We prove that as one sends $κ\downarrow 4$ in the subcritical setting, the space-filling SLE$_κ$ in a disk degenerates to the CLE$_4$ exploration introduced by Werner and Wu, along with a collection of i.i.d.\ coin tosses indexed by the branch points o…
Consider the infinite Atlas model: a semi-infinite collection of particles driven by independent standard Brownian motions with zero drifts, except for the bottom-ranked particle which receives unit drift. We derive a continuum one-parameter family of product-of-exponentials stationary gap distributions, with exponentially growing density at infinity. This result shows that there are infinitely many stationary gap distributions for the Atlas model, and hence resolves a conjecture of Pal and Pitman (2008) in the negative. This result is further generalized for infinite systems of competing Brow…
The probability distribution of the longest interval between two zeros of a simple random walk starting and ending at the origin, and of its continuum limit, the Brownian bridge, was analysed in the past by Rosén and Wendel, then extended by the latter to stable processes. We recover and extend these results using simple concepts of renewal theory, which allows to revisit past or recent works of the physics literature.
As an image of the many-to-one map of loop-erasing operation $\LE$ of random walks, a self-avoiding walk (SAW) is obtained. The loop-erased random walk (LERW) model is the statistical ensemble of SAWs such that the weight of each SAW $ζ$ is given by the total weight of all random walks $π$ which are inverse images of $ζ$, $\{π: \LE(π)=ζ\}$. We regard the Brownian paths as the continuum limits of random walks and consider the statistical ensemble of loop-erased Brownian paths (LEBPs) as the continuum limits of the LERW model. Following the theory of Fomin on nonintersecting LERWs, we introduce …
In the context of the coloured stochastic vertex model in a quadrant, we identify a family of observables whose averages are given by explicit contour integrals. The observables are certain linear combinations of $q$-moments of the coloured height functions of the model. In a polymer limit, this yields integral representations for moments of partition functions of strict-weak, semi-discrete Brownian, and continuum Brownian polymers with varying beginning and ending points of the polymers.
The Brownian web (BW), which developed from the work of Arratia and then Tóth and Werner, is a random collection of paths (with specified starting points) in one plus one dimensional space-time that arises as the scaling limit of the discrete web (DW) of coalescing simple random walks. Two recently introduced extensions of the BW, the Brownian net (BN) constructed by Sun and Swart, and the dynamical Brownian web (DyBW) proposed by Howitt and Warren, are (or should be) scaling limits of corresponding discrete extensions of the DW -- the discrete net (DN) and the dynamical discrete web (DyDW). T…
We study the evolution of genealogies of a population of individuals, whose type frequencies result in an interacting Fleming-Viot process on $\Z$. We construct and analyze the genealogical structure of the population in this genealogy-valued Fleming-Viot process as a marked metric measure space, with each individual carrying its spatial location as a mark. We then show that its time evolution converges to that of the genealogy of a continuum-sites stepping stone model on $\R$, if space and time are scaled diffusively. We construct the genealogies of the continuum-sites stepping stone model as…
In this article, we introduce Brownian motion on stable looptrees using resistance techniques. We prove an invariance principle characterising it as the scaling limit of random walks on discrete looptrees, and prove precise local and global bounds on its heat kernel. We also conduct a detailed investigation of the volume growth properties of stable looptrees, and show that the random volume and heat kernel fluctuations are locally log-logarithmic, and globally logarithmic around leading terms of $r^α$ and $t^{\frac{-α}{α+ 1}}$ respectively. These volume fluctuations are the same order as for t…
The Brownian separable permuton is a random probability measure on the unit square, which was introduced by Bassino, Bouvel, Féray, Gerin, Pierrot (2016) as the scaling limit of the diagram of the uniform separable permutation as size grows to infinity. We show that, almost surely, the permuton is the pushforward of the Lebesgue measure on the graph of a random measure-preserving function associated to a Brownian excursion whose strict local minima are decorated with i.i.d. signs. As a consequence, its support is almost surely totally disconnected, has Hausdorff dimension one, and enjoys self-…
By considering a continuous pruning procedure on Aldous's Brownian tree, we construct a random variable $Θ$ which is distributed, conditionally given the tree, according to the probability law introduced by Janson as the limit distribution of the number of cuts needed to isolate the root in a critical Galton-Watson tree. We also prove that this random variable can be obtained as the a.s. limit of the number of cuts needed to cut down the subtree of the continuum tree spanned by $n$ leaves.
The set of zeros of a Brownian motion gives rise to a product system in the sense of William Arveson (that is, a continuous tensor product system of Hilbert spaces). Replacing the Brownian motion with a Bessel process we get a continuum of non-isomorphic product systems.
Inspired by the recent work of Bertini and Posta, who introduced the boundary driven Brownian gas on $[0,1]$, we study boundary driven systems of independent particles in a general setting, including particles jumping on finite graphs and diffusion processes on bounded domains in $\mathbb{R}^d$. We prove duality with a dual process that is absorbed at the boundaries, thereby creating a general framework that unifies dualities for boundary driven systems in the discrete and continuum setting. We use duality first to show that from any initial condition the systems evolve to the unique invariant…
We give alternate constructions of (i) the scaling limit of the uniform connected graphs with given fixed surplus, and (ii) the continuum random unicellular map (CRUM) of a given genus that start with a suitably tilted Brownian continuum random tree and make `horizontal' point identifications, at random heights, using the local time measures. Consequently, this can be seen as a continuum analogue of the breadth-first construction of a finite connected graph. In particular, this yields a breadth-first construction of the scaling limit of the critical Erdős-Rényi random graph which answers a que…
We introduce an extension of the frog model to Euclidean space and prove properties for the spread of active particles. Fix $r>0$ and place a particle at each point $x$ of a unit intensity Poisson point process $\mathcal P \subseteq \mathbb R^d - \mathbb B(0,r)$. Around each point in $\mathcal{P}$, put a ball of radius $r$. A particle at the origin performs Brownian motion. When it hits the ball around $x$ for some $x \in \mathcal P$, new particles begin independent Brownian motions from the centers of the balls in the cluster containing $x$. Subsequent visits to the cluster do nothing. This w…
We study the problem of optimal dividend payout from a surplus process governed by Brownian motion with drift under the additional constraint of ratcheting, i.e. the dividend rate can never decrease. We solve the resulting two-dimensional optimal control problem, identifying the value function to be the unique viscosity solution of the corresponding Hamilton-Jacobi-Bellman equation. For finitely many admissible dividend rates we prove that threshold strategies are optimal, and for any finite continuum of admissible dividend rates we establish the $\varepsilon$-optimality of curve strategies. T…
We study non-compact scaling limits of uniform random planar quadrangulations with a boundary when their size tends to infinity. Depending on the asymptotic behavior of the boundary size and the choice of the scaling factor, we observe different limiting metric spaces. Among well-known objects like the Brownian plane or the infinite continuum random tree, we construct two new one-parameter families of metric spaces that appear as scaling limits: the Brownian half-plane with skewness parameter $θ$ and the infinite-volume Brownian disk of perimeter $σ$. We also obtain various coupling and limit …
