We consider the Brownian tree introduced by Aldous and the associated Q-process which consists in an infinite spine on which are grafted independent Brownian trees. We present a reversal procedure on these trees that consists in looking at the tree downward from its top: the branching points becoming leaves and leaves becoming branching points. We prove that the distribution of the tree is invariant under this reversal procedure, which provides a better understanding of previous results from Bi and Delmas (2016).
We determine the processes obtained from a large class of reflected Brownian motions (RBMs) in the nonnegative orthant by means of time reversal. The class of RBMs we deal with includes, but is not limited to, RBMs in the so-called Harrison-Reiman class [4] having diagonal covariance matrices. For such RBMs our main result resolves the long-standing open problem of determining the time reversal of RBMs beyond the skew-symmetric case treated by R.J. Williams in [16]. In general, the time-reversed process itself is no longer a RBM, but its distribution is absolutely continuous with respect to a …
We derive several explicit distributions of functionals of Brownian motion indexed by the Brownian tree. In particular, we give a direct proof of a result of Bousquet-Mélou and Janson identifying the distribution of the density at 0 of the integrated super-Brownian excursion.
We discuss subordination of random compact R-trees. We focus on the case of the Brownian tree, where the subordination function is given by the past maximum process of Brownian motion indexed by the tree. In that particular case, the subordinate tree is identified as a stable Levy tree with index 3/2. As a more precise alternative formulation, we show that the maximum process of the Brownian snake is a time change of the height process coding the Levy tree. We then apply our results to properties of the Brownian map. In particular, we recover, in a more precise form, a recent result of Miller …
We show that the range of a long Brownian bridge in the hyperbolic space converges after suitable renormalisation to the Brownian continuum random tree. This result is a relatively elementary consequence of $\bullet$ A theorem by Bougerol and Jeulin, stating that the rescaled radial process converges to the normalized Brownian excursion, $\bullet$ A property of invariance under re-rooting, $\bullet$ The hyperbolicity of the ambient space in the sense of Gromov. A similar result is obtained for the rescaled infinite Brownian loop in hyperbolic space.
We consider the model of Brownian motion indexed by the Brownian tree. For every $r\geq 0$ and every connected component of the set of points where Brownian motion is greater than $r$, we define the boundary size of this component, and we then show that the collection of these boundary sizes evolves when $r$ varies like a well-identified growth-fragmentation process. We then prove that the same growth-fragmentation process appears when slicing a Brownian disk at height $r$ and considering the perimeters of the resulting connected components.
We generalize the coalescing Brownian flow, aka the Brownian web, considered as a weak flow to allow varying drift and diffusivity in the constituent diffusion processes and call these flows coalescing diffusive flows. We then identify the time-reversal of each coalescing diffusive flow and provide two distinct proofs of this identification. One of which is direct and the other proceeds by generalizing the concept of a localized disturbance flow to allow varying size and shape of disturbances, we show these new flows converge weakly under appropriate conditions to a coalescing diffusive flow a…
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}})$.
By computations on generating functions, Szekeres proved in 1983 that the law of the diameter of a uniformly distributed rooted labelled tree with n vertices, rescaled by a factor n^{1/2} , converges to a distribution whose density is explicit. Aldous observed in 1991 that this limiting distribution is the law of the diameter of the Brownian tree. In our article, we provide a computation of this law which is directly based on the normalized Brownian excursion. Moreover, we provide an explicit formula for the joint law of the height and diameter of the Brownian tree, which is a new result.
This paper surveys the results of recent collaborations with Eric Derbez and with Takashi Hara, which show that intergrated super-Brownian excursion (ISE) arises as the scaling limit of both lattice trees and the incipient infinite percolation cluster, in high dimensions. A potential extension to oriented percolation is also mentioned.
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 a Brownian tree consisting of a collection of one-dimensional Brownian paths started from the origin, whose genealogical structure is given by the Continuum Random Tree (CRT). This Brownian tree may be generated from the Brownian snake driven by a normalized Brownian excursion, and thus yields a convenient representation of the so-called Integrated Super-Brownian Excursion (ISE), which can be viewed as the uniform probability measure on the tree of paths. We discuss different approaches that lead to the definition of the Brownian tree conditioned to stay on the positive half-line. …
The real trees form a class of metric spaces that extends the class of trees with edge lengths by allowing behavior such as infinite total edge length and vertices with infinite branching degree. We use Dirichlet form methods to construct Brownian motion on any given locally compact $R$-tree {$(T,r)$} equipped with a Radon measure $ν$ {on $(T,{\mathcal B}(T))$}. We specify a criterion under which the Brownian motion is recurrent or transient. For compact recurrent $R$-trees we provide bounds on the mixing time. In this revised version, assumption (A3) for an $R$-tree has been removed.
We develop an excursion theory for Brownian motion indexed by the Brownian tree, which in many respects is analogous to the classical Itô theory for linear Brownian motion. Each excursion is associated with a connected component of the complement of the zero set of the tree-indexed Brownian motion. Each such connectedcomponent is itself a continuous tree, and we introduce a quantity measuring the length of its boundary. The collection of boundary lengths coincides with the collection of jumps of a continuous-state branching process with branching mechanism $ψ(u)=\sqrt{8/3}\,u^{3/2}$. Furthermo…
We show that solutions of free stochastic differential equations with regular drifts and diffusion coefficients, when considered backwards in time, still satisfy free SDEs for an explicit free Brownian motion and drift. We also study the stochastic integral part with respect to this reversed free Brownian motion of canonical closed martingales. We deduce that conjugate variables computed along a free Brownian motion, an example of such a reversed martingale appearing in the definition of non-microstates free entropy, are in the $L^2$ domain of corresponding free difference quotients for almost…
There is a close connection between intersections of Brownian motion paths and percolation on trees. Recently, ideas from probability on trees were an important component of the multifractal analysis of Brownian occupation measure, in joint work with A. Dembo, J. Rosen and O. Zeitouni. As a consequence, we proved two conjectures about simple random walk in two dimensions: The first, due to Erdős and Taylor (1960), involves the number of visits to the most visited lattice site in the first $n$ steps of the walk. The second, due to Aldous (1989), concerns the number of steps it takes a simple ra…
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实验室）
A Brownian spatial tree is defined to be a pair $(\mathcal{T},ϕ)$, where $\mathcal{T}$ is the rooted real tree naturally associated with a Brownian excursion and $ϕ$ is a random continuous function from $\mathcal{T}$ into $\mathbb{R}^d$ such that, conditional on $\mathcal{T}$, $ϕ$ maps each arc of $\mathcal{T}$ to the image of a Brownian motion path in $\mathbb{R}^d$ run for a time equal to the arc length. It is shown that, in high dimensions, the Hausdorff measure of arcs can be used to define an intrinsic metric $d_{\mathcal{S}}$ on the set $\mathcal{S}:=ϕ(\mathcal{T})$. Applications of this…
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…
The Brownian web can be roughly described as a family of coalescing one-dimensional Brownian motions starting at all times in $\R$ and at all points of $\R$. It was introduced by Arratia; a variant was then studied by Toth and Werner; another variant was analyzed recently by Fontes, Isopi, Newman and Ravishankar. The two-dimensional \emph{Poisson tree} is a family of continuous time one-dimensional random walks with uniform jumps in a bounded interval. The walks start at the space-time points of a homogeneous Poisson process in $\R^2$ and are in fact constructed as a function of the point proc…
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…
Consider the edge-deletion process in which the edges of some finite tree T are removed one after the other in the uniform random order. Roughly speaking, the cut-tree then describes the genealogy of connected components appearing in this edge-deletion process. Our main result shows that after a proper rescaling, the cut-tree of a critical Galton-Watson tree with finite variance and conditioned to have size n, converges as $n\to\infty$ to a Brownian continuum random tree (CRT) in the weak sense induced by the Gromov-Prokhorov topology. This yields a multi-dimensional extension of a limit theor…
We construct a planar diffusion process whose infinitesimal generator depends only on the order of the components of the process. Speaking informally and a bit imprecisely for the moment, imagine you run two Brownian-like particles on the real line. At any given time, you assign positive drift g and diffusion σ to the laggard; and you assign negative drift -h and diffusion ρ to the leader. We compute the transition probabilities of this process, discuss its realization in terms of appropriate systems of stochastic differential equations, study its dynamics under a time reversal, and note that …
We construct in this article a rough path over fractional Brownian motion with arbitrary Hurst index by (i) using the Fourier normal ordering algorithm introduced in \cite{Unt-Holder} to reduce the problem to that of regularizing tree iterated integrals and (ii) applying the Bogolioubov-Parasiuk-Hepp-Zimmermann (BPHZ) renormalization algorithm to Feynman diagrams representing tree iterated integrals.
Consider a family of random ordered graph trees $(T_n)_{n\geq 1}$, where $T_n$ has $n$ vertices. It has previously been established that if the associated search-depth processes converge to the normalised Brownian excursion when rescaled appropriately as $n\rightarrow\infty$, then the simple random walks on the graph trees have the Brownian motion on the Brownian continuum random tree as their scaling limit. Here, this result is extended to demonstrate the existence of a diffusion scaling limit whenever the volume measure on the limiting real tree is nonatomic, supported on the leaves of the l…
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.
Given a general critical or sub-critical branching mechanism and its associated Lévy continuum random tree, we consider a pruning procedure on this tree using a Poisson snake. It defines a fragmentation process on the tree. We compute the family of dislocation measures associated with this fragmentation. This work generalizes the work made for a Brownian tree [Abraham, Serlet] and for a tree without Brownian part [Abraham, Delmas].
Let $(\mathcal{T},d)$ be the random real tree with root $ρ$ coded by a Brownian excursion. So $(\mathcal{T},d)$ is (up to normalisation) Aldous CRT \cite{AldousI} (see Le Gall \cite{LG91}). The $a$-level set of $\mathcal{T}$ is the set $\mathcal{T}(a)$ of all points in $\mathcal{T}$ that are at distance $a$ from the root. We know from Duquesne and Le Gall \cite{DuLG06} that for any fixed $a\in (0, \infty)$, the measure $\ell^a$ that is induced on $\mathcal{T}(a)$ by the local time at $a$ of the Brownian excursion, is equal, up to a multiplicative constant, to the Hausdorff measure in $\mathcal…
We discuss several connections between discrete and continuous random trees. In the discrete setting, we focus on Galton-Watson trees under various conditionings. In particular, we present a simple approach to Aldous' theorem giving the convergence in distribution of the contour process of conditioned Galton-Watson trees towards the normalized Brownian excursion. We also briefly discuss applications to combinatorial trees. In the continuous setting, we use the formalism of real trees, which yields an elegant formulation of the convergence of rescaled discrete trees towards continuous objects. …
The cactus of a pointed graph is a discrete tree associated with this graph. Similarly, with every pointed geodesic metric space $E$, one can associate an $\R$-tree called the continuous cactus of $E$. We prove under general assumptions that the cactus of random planar maps distributed according to Boltzmann weights and conditioned to have a fixed large number of vertices converges in distribution to a limiting space called the Brownian cactus, in the Gromov-Hausdorff sense. Moreover, the Brownian cactus can be interpreted as the continuous cactus of the so-called Brownian map.
We prove that critical multitype Galton-Watson trees converge after rescaling to the Brownian continuum random tree, under the hypothesis that the offspring distribution has finite covariance matrices. Our study relies on an ancestral decomposition for marked multitype trees. We then couple the genealogical structure with a spatial motion, whose step distribution may depend on the structure of the tree in a local way, and show that the resulting discrete spatial trees converge once suitably rescaled to the Brownian snake, under some suitable moment assumptions.
In this series of articles we study connections between combinatorics of multidimensional generalizations of Cauchy identity and continuous objects such as multidimensional Brownian motions and Brownian bridges. In Part I of the series we present a bijective proof of multidimensional generalizations of the Cauchy identity. Our bijection uses oriented planar trees equipped with some linear orders.
We study a configuration model on bipartite planar maps in which, given $n$ even integers, one samples a planar map with $n$ faces uniformly at random with these face degrees. We prove that when suitably rescaled, such maps always admit nontrivial subsequential limits as $n \to \infty$ in the Gromov-Hausdorff-Prokhorov topology. Further, we show that they converge in distribution towards the celebrated Brownian sphere, and more generally a Brownian disk for maps with a boundary, if and only if there is no inner face with a macroscopic degree, or, if the perimeter is too big, the maps degenerat…
The Horton and Tokunaga branching laws provide a convenient framework for studying self-similarity in random trees. The Horton self-similarity is a weaker property that addresses the principal branching in a tree; it is a counterpart of the power-law size distribution for elements of a branching system. The stronger Tokunaga self-similarity addresses so-called side branching. The Horton and Tokunaga self-similarity have been empirically established in numerous observed and modeled systems, and proven for two paradigmatic models: the critical Galton-Watson branching process with finite progeny …
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 $d$ dimensional lattice $\mathbb{Z}^d$ where each vertex is open or closed with probability $p$ or $1-p$ respectively. An open vertex $\mathbb{u} := (\mathbb{u}(1), \mathbb{u}(2),...,\mathbb{u}(d))$ is connected by an edge to another open vertex which has the minimum $L_1$ distance among all the open vertices with $\mathbb{x}(d)>\mathbb{u}(d)$. It is shown that this random graph is a tree almost surely for $d=2$ and 3 and it is an infinite collection of disjoint trees for $d\geq 4$. In addition for $d=2$, we show that when properly scaled, family of its paths converges in distribu…
We study a natural fragmentation process of the so-called stable tree introduced by Duquesne and Le Gall, which consists in removing the nodes of the tree according to a certain procedure that makes the fragmentation self-similar with positive index. Explicit formulas for the semigroup are given, and we provide asymptotic results. We also give an alternative construction of this fragmentation, using paths of Levy processes, hence echoing the two alternative constructions of the standard additive coalescent by fragmenting the Brownian continuum random tree or using Brownian paths, respectively …
We study a system of coalescing random walks on the integer lattice $\mathbb{Z}^{d}$ in which the walk is oriented in the $d$-th direction and follows certain specified rules. We first study the geometry of the paths and show that, almost surely, the paths from a graph consisting of just one tree for dimentions $d=2,3$ and infinitely many disjoint trees for dimensions $d\geq 4$. Also, there is no bi-infinite path in the graph almost surely for $d\geq 2$. Subsequently, we prove that for $d=2$ the diffusive scaling of this system converges in distribution to the Brownian web.
The $h$-trimming of a tree is a natural regularization procedure which consists in pruning the small branches of a tree: given $h\geq0$, it is obtained by only keeping the vertices having at least one leaf above them at a distance greater or equal to $h$. The $h$-cut of a function $f$ is the function of minimal total variation uniformly approximating the increments of $f$ with accuracy $h$, and can be explicitly constructed via the two-sided Skorohod reflection of $f$ on the interval $[0,h]$. In this work, we show that the contour path of the $h$-trimming of a rooted real tree is given by the …
The geometry of coalescing random walks, the Brownian web distance and KPZ universality
Budapest University of Technology and Economics（布达佩斯科技经济大学）；HUN-REN–BME Stochastics Research Group（匈牙利研究网络-布达佩斯科技大学随机过程研究组）；University of Toronto（多伦多大学）
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…
We present different continuous models of random geometry that have been introduced and studied in the recent years. In particular, we consider the Brownian map, which is the universal scaling limit of large planar maps in the Gromov-Hausdorff sense, and the Brownian disk, which appears as the scaling limit of planar maps with a boundary. We discuss the construction of these models, and we emphasize the role played by Brownian motion indexed by the Brownian tree.
