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. We explain the coding of real trees by functions, which is a continuous version of the well-known coding of discrete trees by Dyck paths. We pay special attention to random real trees coded by Brownian excursions, and in a particular we provide a simple derivation of the marginal distributions of the CRT. The last section is an introduction to the theory of the Brownian snake, which combines the genealogical structure of random real trees with independent spatial motions. We introduce exit measures for the Brownian snake and we present some applications to a class of semilinear partial differential equations.
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.
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.
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).
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…
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 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…
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.
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 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.
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…
We present a random walk approximation to fractional Brownian motion where the increments of the fractional random walk are defined as a weighted sum of the past increments of a Bernoulli random walk.
We propose discrete random-field models that are based on random partitions of $\mathbb{N}^2$. The covariance structure of each random field is determined by the underlying random partition. Functional central limit theorems are established for the proposed models, and fractional Brownian sheets, with full range of Hurst indices, arise in the limit. Our models could be viewed as discrete analogues of fractional Brownian sheets, in the same spirit that the simple random walk is the discrete analogue of the Brownian motion.
We prove large deviations principles in large time, for the Brownian occupation time in random scenery. The random scenery is constant on unit cubes, and consist of i.i.d. bounded variables, independent of the Brownian motion. This model is a time-continuous version of Kesten and Spitzer's random walk in random scenery. We prove large deviations principles in ``quenched'' and ``annealed'' settings.
In this article, we show a result of approximation in law to subfractional Brownian motion, with $H>\frac{1}{2}$, in the Skorohod topology. The construction of these approximations is based on a sequence of I.I.D random variables
A random dense countable set is characterized (in distribution) by independence and stationarity. Two examples are `Brownian local minima' and `unordered infinite sample'. They are identically distributed. A framework for such concepts, proposed here, includes a wide class of random equivalence classes.
We compare two examples of random dense countable sets, `Brownian local minima' and `unordered uniform infinite sample'. They appear to be identically distributed. A framework for such notions is proposed. In addition, random elements of other singular spaces (especially, reals modulo rationals) are considered.
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.
We establish the Brownian bridge asymptotics for a scaled self-avoiding walk conditioned on arriving to a far away point $n \vec{a}$ for $\vec{a}$ in $Z^d$, as $n$ increases to infinity.
Several authors have studied convergence in distribution to the Brownian web under diffusive scaling of Markovian random walks. In a paper by R. Roy, K. Saha and A. Sarkar, convergence to the Brownian web is proved for a system of coalescing random paths -- the Random Directed Forest -- which are not Markovian. Paths in the Random Directed Forest do not cross each other before coalescence. Here we study a generalization of the non-Markovian Random Directed Forest where paths can cross each other and prove convergence to the Brownian web. This provides an example of how the techniques to prove …
We present a duality relation between two systems of coalescing random walks and an analogous duality relation between two systems of coalescing Brownian motions. Our results extends previous work in the literature and we apply it to the study of a system of coalescing Brownian motions with Poisson immigration.
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…
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…
In this paper we discuss Hausdorff and packing measures of random continuous trees called stable trees. Stable trees form a specific class of Lévy trees (introduced by Le Gall and Le Jan in 1998) that contains Aldous's continuum random tree (1991) which corresponds to the Brownian case. We provide results for the whole stable trees and for their level sets that are the sets of points situated at a given distance from the root. We first show that there is no exact packing measure for levels sets. We also prove that non-Brownian stable trees and their level sets have no exact Hausdorff measure w…
In this paper we consider a (reflected) Brownian motion with broken drift hitting a random boundary. Some dedicated calculations allow us to obtain the formula on the joint Laplace transform of the hitting time and hitting position. These develop the research on first rendezvous times of (reflected) Brownian motion and compound Poisson-type processes by Perry et al. (2004).
We consider some random series parametrised by complex binary strings. The simplest case is that of Rademacher series, independent of a time parameter. This is then extended to the case of Fourier series on the circle with Rademacher coefficients. Finally, a specific Fourier series which has coefficients determined by a computable function is shown to converge to an algorithmically random Brownian motion.
We prove an invariance principle for Brownian motion in Gaussian or Poissonian random scenery by the method of characteristic functions. Annealed asymptotic limits are derived in all dimensions, with a focus on the case of dimension $d=2$, which is the main new contribution of the paper.
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…
