-
Peeling the Brownian half-plane
Authors:
Jean-François Le Gall,
Armand Riera
Abstract:
We establish a new spatial Markov property of the Brownian half-plane. According to this property, if one removes a hull centered at a boundary point, the remaining space equipped with an intrinsic metric is still a Brownian half-plane, which is independent of the part that has been removed. This is an analog of the well-known peeling procedure for random planar maps. We also investigate several d…
▽ More
We establish a new spatial Markov property of the Brownian half-plane. According to this property, if one removes a hull centered at a boundary point, the remaining space equipped with an intrinsic metric is still a Brownian half-plane, which is independent of the part that has been removed. This is an analog of the well-known peeling procedure for random planar maps. We also investigate several distributional properties of hulls centered at a boundary point, and we provide a new construction of the Brownian half-plane giving information about distances from a half-boundary.
△ Less
Submitted 29 April, 2024;
originally announced April 2024.
-
A stochastic differential equation for local times of super-Brownian motion
Authors:
Jean-François Le Gall,
Edwin Perkins
Abstract:
We show that local times of super-Brownian motion, or of Brownian motion indexed by the Brownian tree, satisfy an explicit stochastic differential equation. Our proofs rely on both excursion theory for the Brownian snake and tools from the theory of superprocesses.
We show that local times of super-Brownian motion, or of Brownian motion indexed by the Brownian tree, satisfy an explicit stochastic differential equation. Our proofs rely on both excursion theory for the Brownian snake and tools from the theory of superprocesses.
△ Less
Submitted 13 September, 2023;
originally announced September 2023.
-
Spatial Markov property in Brownian disks
Authors:
Jean-François Le Gall,
Armand Riera
Abstract:
We derive a new representation of the Brownian disk in terms of a forest of labeled trees, where labels correspond to distances from a subset of the boundary. We then use this representation to obtain a spatial Markov property showing that the complement of a hull centered at a boundary point of a Brownian disk is again a Brownian disk, with a random perimeter, and is independent of the hull condi…
▽ More
We derive a new representation of the Brownian disk in terms of a forest of labeled trees, where labels correspond to distances from a subset of the boundary. We then use this representation to obtain a spatial Markov property showing that the complement of a hull centered at a boundary point of a Brownian disk is again a Brownian disk, with a random perimeter, and is independent of the hull conditionally on its perimeter. Our proofs rely in part on a study of the peeling process for triangulations with a boundary, which is of independent interest. The results of the present work will be applied to a continuous version of the peeling process for the Brownian half-plane in a companion paper.
△ Less
Submitted 29 April, 2024; v1 submitted 2 February, 2023;
originally announced February 2023.
-
The Markov property of local times of Brownian motion indexed by the Brownian tree
Authors:
Jean-François Le Gall
Abstract:
We consider the model of Brownian motion indexed by the Brownian tree, which has appeared in a variety of different contexts in probability, statistical physics and combinatorics. For this model, the total occupation measure is known to have a continuously differentiable density. Although the density process indexed by nonnegative reals is not Markov, we prove that the pair consisting of the densi…
▽ More
We consider the model of Brownian motion indexed by the Brownian tree, which has appeared in a variety of different contexts in probability, statistical physics and combinatorics. For this model, the total occupation measure is known to have a continuously differentiable density. Although the density process indexed by nonnegative reals is not Markov, we prove that the pair consisting of the density and its derivative is a time-homogeneous Markov process. We also establish a similar result for the local times of one-dimensional super-Brownian motion. Our methods rely on the excursion theory for Brownian motion indexed by the Brownian tree.
△ Less
Submitted 14 June, 2023; v1 submitted 15 November, 2022;
originally announced November 2022.
-
The volume measure of the Brownian sphere is a Hausdorff measure
Authors:
Jean-François Le Gall
Abstract:
We prove that the volume measure of the Brownian sphere is equal to a constant multiple of the Hausdorff measure associated with the gauge function $h(r)=r^4\log\log(1/r)$. This shows in particular that the volume measure of the Brownian sphere is determined by its metric structure. As a key ingredient of our proofs, we derive precise estimates on moments of the volume of balls in the Brownian sph…
▽ More
We prove that the volume measure of the Brownian sphere is equal to a constant multiple of the Hausdorff measure associated with the gauge function $h(r)=r^4\log\log(1/r)$. This shows in particular that the volume measure of the Brownian sphere is determined by its metric structure. As a key ingredient of our proofs, we derive precise estimates on moments of the volume of balls in the Brownian sphere.
△ Less
Submitted 29 July, 2022; v1 submitted 12 May, 2021;
originally announced May 2021.
-
Geodesic stars in random geometry
Authors:
Jean-François Le Gall
Abstract:
A point of a metric space is called a geodesic star with $m$ arms if it is the endpoint of $m$ disjoint geodesics. For every $m\in\{1,2,3,4\}$, we prove that the set of all geodesic stars with $m$ arms in the Brownian sphere has dimension $5-m$. This complements recent results of Miller and Qian, who proved that this dimension is smaller than or equal to $5-m$.
A point of a metric space is called a geodesic star with $m$ arms if it is the endpoint of $m$ disjoint geodesics. For every $m\in\{1,2,3,4\}$, we prove that the set of all geodesic stars with $m$ arms in the Brownian sphere has dimension $5-m$. This complements recent results of Miller and Qian, who proved that this dimension is smaller than or equal to $5-m$.
△ Less
Submitted 31 January, 2021;
originally announced February 2021.
-
Spine representations for non-compact models of random geometry
Authors:
Jean-François Le Gall,
Armand Riera
Abstract:
We provide a unified approach to the three main non-compact models of random geometry, namely the Brownian plane, the infinite-volume Brownian disk, and the Brownian half-plane. This approach allows us to investigate relations between these models, and in particular to prove that complements of hulls in the Brownian plane are infinite-volume Brownian disks.
We provide a unified approach to the three main non-compact models of random geometry, namely the Brownian plane, the infinite-volume Brownian disk, and the Brownian half-plane. This approach allows us to investigate relations between these models, and in particular to prove that complements of hulls in the Brownian plane are infinite-volume Brownian disks.
△ Less
Submitted 22 June, 2020;
originally announced June 2020.
-
The Brownian disk viewed from a boundary point
Authors:
Jean-François Le Gall
Abstract:
We provide a new construction of Brownian disks in terms of forests of continuous random trees equipped with nonnegative labels corresponding to distances from a distinguished point uniformly distributed on the boundary of the disk. This construction shows in particular that distances from the distinguished point evolve along the boundary as a five-dimensional Bessel bridge. As an important ingred…
▽ More
We provide a new construction of Brownian disks in terms of forests of continuous random trees equipped with nonnegative labels corresponding to distances from a distinguished point uniformly distributed on the boundary of the disk. This construction shows in particular that distances from the distinguished point evolve along the boundary as a five-dimensional Bessel bridge. As an important ingredient of our proofs, we show that the uniform measure on the boundary, as defined in the earlier work of Bettinelli and Miermont, is the limit of the suitably normalized volume measure on a small tubular neighborhood of the boundary. Our construction also yields a simple proof of the equivalence between the two definitions of the Brownian half-plane.
△ Less
Submitted 19 June, 2020;
originally announced June 2020.
-
Some explicit distributions for Brownian motion indexed by the Brownian tree
Authors:
Jean-François Le Gall,
Armand Riera
Abstract:
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 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.
△ Less
Submitted 18 August, 2020; v1 submitted 21 December, 2018;
originally announced December 2018.
-
Growth-fragmentation processes in Brownian motion indexed by the Brownian tree
Authors:
Jean-François Le Gall,
Armand Riera
Abstract:
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 gr…
▽ More
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.
△ Less
Submitted 7 November, 2018;
originally announced November 2018.
-
Brownian geometry
Authors:
Jean-François Le Gall
Abstract:
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 emphasi…
▽ More
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.
△ Less
Submitted 5 October, 2018;
originally announced October 2018.
-
Separating cycles and isoperimetric inequalities in the uniform infinite planar quadrangulation
Authors:
Jean-Francois Le Gall,
Thomas Lehéricy
Abstract:
We study geometric properties of the infinite random lattice called the uniform infinite planar quadrangulation or UIPQ. We establish a precise form of a conjecture of Krikun stating that the minimal size of a cycle that separates the ball of radius $R$ centered at the root vertex from infinity grows linearly in $R$. As a consequence, we derive certain isoperimetric bounds showing that the boundar…
▽ More
We study geometric properties of the infinite random lattice called the uniform infinite planar quadrangulation or UIPQ. We establish a precise form of a conjecture of Krikun stating that the minimal size of a cycle that separates the ball of radius $R$ centered at the root vertex from infinity grows linearly in $R$. As a consequence, we derive certain isoperimetric bounds showing that the boundary size of any connected set $A$ consisting of a finite union of faces of the UIPQ and containing the root vertex is bounded below by a (random) constant times $|A|^{1/4}(\log|A|)^{-(3/4)-δ}$, where the volume $|A|$ is the number of faces in $A$.
△ Less
Submitted 11 June, 2018; v1 submitted 9 October, 2017;
originally announced October 2017.
-
Brownian disks and the Brownian snake
Authors:
Jean-François Le Gall
Abstract:
We provide a new construction of the Brownian disks, which have been defined by Bettinelli and Miermont as scaling limits of quadrangulations with a boundary when the boundary size tends to infinity. Our method is very similar to the construction of the Brownian map, but it makes use of the positive excursion measure of the Brownian snake which has been introduced recently. This excursion measure…
▽ More
We provide a new construction of the Brownian disks, which have been defined by Bettinelli and Miermont as scaling limits of quadrangulations with a boundary when the boundary size tends to infinity. Our method is very similar to the construction of the Brownian map, but it makes use of the positive excursion measure of the Brownian snake which has been introduced recently. This excursion measure involves a random continuous tree whose vertices are assigned nonnegative labels, which correspond to distances from the boundary in our approach to the Brownian disk. We provide several applications of our construction. In particular, we prove that the uniform measure on the boundary can be obtained as the limit of the suitably normalized volume measure on a small tubular neighborhood of the boundary. We also prove that connected components of the complement of the Brownian net are Brownian disks, as it was suggested in the recent work of Miller and Sheffield. Finally, we show that connected components of the complement of balls centered at the distinguished point of the Brownian map are independent Brownian disks, conditionally on their volumes and perimeters.
△ Less
Submitted 20 October, 2017; v1 submitted 28 April, 2017;
originally announced April 2017.
-
Subordination of trees and the Brownian map
Authors:
Jean-François Le Gall
Abstract:
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…
▽ More
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 and Sheffield identifying the metric net associated with the Brownian map.
△ Less
Submitted 24 May, 2016;
originally announced May 2016.
-
First-passage percolation and local modifications of distances in random triangulations
Authors:
Nicolas Curien,
Jean-François Le Gall
Abstract:
We study local modifications of the graph distance in large random triangulations. Our main results show that, in large scales, the modified distance behaves like a deterministic constant $\mathbf{c}~\in~(0,\infty)$ times the usual graph distance. This applies in particular to the first-passage percolation distance obtained by assigning independent random weights to the edges of the graph. We also…
▽ More
We study local modifications of the graph distance in large random triangulations. Our main results show that, in large scales, the modified distance behaves like a deterministic constant $\mathbf{c}~\in~(0,\infty)$ times the usual graph distance. This applies in particular to the first-passage percolation distance obtained by assigning independent random weights to the edges of the graph. We also consider the graph distance on the dual map, and the first-passage percolation on the dual map with exponential edge weights, which is closely related to the so-called Eden model. In the latter two cases, we are able to compute explicitly the constant $\mathbf{c}$ by using earlier results about asymptotics for the peeling process. In general however, the constant $\mathbf{c}$ is obtained from a subadditivity argument in the infinite half-plane model that describes the asymptotic shape of the triangulation near the boundary of a large ball. Our results apply in particular to the infinite random triangulation known as the UIPT, and show that balls of the UIPT for the modified distance are asymptotically close to balls for the graph distance.
△ Less
Submitted 13 November, 2015;
originally announced November 2015.
-
Excursion theory for Brownian motion indexed by the Brownian tree
Authors:
Céline Abraham,
Jean-François Le Gall
Abstract:
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…
▽ More
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}$. Furthermore, conditionally on the boundary lengths, the different excursions are independent, and we determine their conditional distribution in terms of an excursion measure $\mathbb{M}_0$ which is the analog of the Itô measure of Brownian excursions. We provide various descriptions of the excursion measure $\mathbb{M}_0$, and we also determine several explicit distributions, such as the joint distribution of the boundary length and the mass of an excursion under $\mathbb{M}_0$. We use the Brownian snake as a convenient tool for defining and analysing the excursions of our tree-indexed Brownian motion.
△ Less
Submitted 12 September, 2018; v1 submitted 22 September, 2015;
originally announced September 2015.
-
Scaling limits for the peeling process on random maps
Authors:
Nicolas Curien,
Jean-François Le Gall
Abstract:
We study the scaling limit of the volume and perimeter of the discovered regions in the Markovian explorations known as peeling processes for infinite random planar maps such as the uniform infinite planar triangulation (UIPT) or quadrangulation (UIPQ). In particular, our results apply to the metric exploration or peeling by layers algorithm, where the discovered regions are (almost) completed bal…
▽ More
We study the scaling limit of the volume and perimeter of the discovered regions in the Markovian explorations known as peeling processes for infinite random planar maps such as the uniform infinite planar triangulation (UIPT) or quadrangulation (UIPQ). In particular, our results apply to the metric exploration or peeling by layers algorithm, where the discovered regions are (almost) completed balls, or hulls, centered at the root vertex. The scaling limits of the perimeter and volume of hulls can be expressed in terms of the hull process of the Brownian plane studied in our previous work. Other applications include the metric exploration of the dual graph of our infinite random lattices, and first-passage percolation with exponential edge weights on the dual graph, also known as the Eden model or uniform peeling.
△ Less
Submitted 19 July, 2015; v1 submitted 17 December, 2014;
originally announced December 2014.
-
The hull process of the Brownian plane
Authors:
Nicolas Curien,
Jean-François Le Gall
Abstract:
We study the random metric space called the Brownian plane, which is closely related to the Brownian map and is conjectured to be the universal scaling limit of many discrete random lattices such as the uniform infinite planar triangulation. We obtain a number of explicit distributions for the Brownian plane. In particular, we consider, for every $r>0$, the hull of radius $r$, which is obtained by…
▽ More
We study the random metric space called the Brownian plane, which is closely related to the Brownian map and is conjectured to be the universal scaling limit of many discrete random lattices such as the uniform infinite planar triangulation. We obtain a number of explicit distributions for the Brownian plane. In particular, we consider, for every $r>0$, the hull of radius $r$, which is obtained by "filling in the holes" in the ball of radius $r$ centered at the root. We introduce a quantity $Z_r$ which is interpreted as the (generalized) length of the boundary of the hull of radius $r$. We identify the law of the process $(Z_r)_{r>0}$ as the time-reversal of a continuous-state branching process starting from $+\infty$ at time $-\infty$ and conditioned to hit $0$ at time $0$, and we give an explicit description of the process of hull volumes given the process $(Z_r)_{r>0}$. We obtain an explicit formula for the Laplace transform of the volume of the hull of radius $r$, and we also determine the conditional distribution of this volume given the length of the boundary. Our proofs involve certain new formulas for super-Brownian motion and the Brownian snake in dimension one, which are of independent interest.
△ Less
Submitted 14 September, 2014;
originally announced September 2014.
-
Bessel processes, the Brownian snake and super-Brownian motion
Authors:
Jean-François Le Gall
Abstract:
We prove that, both for the Brownian snake and for super-Brownian motion in dimension one, the historical path corresponding to the minimal spatial position is a Bessel process of dimension -5. We also discuss a spine decomposition for the Brownian snake conditioned on the minimizing path.
We prove that, both for the Brownian snake and for super-Brownian motion in dimension one, the historical path corresponding to the minimal spatial position is a Bessel process of dimension -5. We also discuss a spine decomposition for the Brownian snake conditioned on the minimizing path.
△ Less
Submitted 1 July, 2014;
originally announced July 2014.
-
Random geometry on the sphere
Authors:
Jean-François Le Gall
Abstract:
We introduce and study a universal model of random geometry in two dimensions. To this end, we start from a discrete graph drawn on the sphere, which is chosen uniformly at random in a certain class of graphs with a given size $n$, for instance the class of all triangulations of the sphere with $n$ faces. We equip the vertex set of the graph with the usual graph distance rescaled by the factor…
▽ More
We introduce and study a universal model of random geometry in two dimensions. To this end, we start from a discrete graph drawn on the sphere, which is chosen uniformly at random in a certain class of graphs with a given size $n$, for instance the class of all triangulations of the sphere with $n$ faces. We equip the vertex set of the graph with the usual graph distance rescaled by the factor $n^{-1/4}$. We then prove that the resulting random metric space converges in distribution as $n\to\infty$, in the Gromov-Hausdorff sense, toward a limiting random compact metric space called the Brownian map, which is universal in the sense that it does not depend on the class of graphs chosen initially. The Brownian map is homeomorphic to the sphere, but its Hausdorff dimension is equal to $4$. We obtain detailed information about the structure of geodesics in the Brownian map. We also present the infinite-volume variant of the Brownian map called the Brownian plane, which arises as the scaling limit of the uniform infinite planar quadrangulation. Finally, we discuss certain open problems. This study is motivated in part by the use of random geometry in the physical theory of two-dimensional quantum gravity.
△ Less
Submitted 31 March, 2014;
originally announced March 2014.
-
The range of tree-indexed random walk in low dimensions
Authors:
Jean-François Le Gall,
Shen Lin
Abstract:
We study the range $R_n$ of a random walk on the $d$-dimensional lattice $\mathbb{Z}^d$ indexed by a random tree with $n$ vertices. Under the assumption that the random walk is centered and has finite fourth moments, we prove in dimension $d\leq3$ that $n^{-d/4}R_n$ converges in distribution to the Lebesgue measure of the support of the integrated super-Brownian excursion (ISE). An auxiliary resul…
▽ More
We study the range $R_n$ of a random walk on the $d$-dimensional lattice $\mathbb{Z}^d$ indexed by a random tree with $n$ vertices. Under the assumption that the random walk is centered and has finite fourth moments, we prove in dimension $d\leq3$ that $n^{-d/4}R_n$ converges in distribution to the Lebesgue measure of the support of the integrated super-Brownian excursion (ISE). An auxiliary result shows that the suitably rescaled local times of the tree-indexed random walk converge in distribution to the density process of ISE. We obtain similar results for the range of critical branching random walk in $\mathbb{Z}^d$, $d\leq3$. As an intermediate estimate, we get exact asymptotics for the probability that a critical branching random walk starting with a single particle at the origin hits a distant point. The results of the present article complement those derived in higher dimensions in our earlier work.
△ Less
Submitted 17 November, 2015; v1 submitted 30 January, 2014;
originally announced January 2014.
-
The Brownian cactus II. Upcrossings and local times of super-Brownian motion
Authors:
Jean-François Le Gall
Abstract:
We study properties of the random metric space called the Brownian map. For every h>0, we consider the connected components of the complement of the open ball of radius h centered at the root, and we let N(h,r) be the number of those connected components that intersect the complement of the ball of radius h+r. We then prove that r^3N(h,r) converges as r tends to 0 to a constant times the density a…
▽ More
We study properties of the random metric space called the Brownian map. For every h>0, we consider the connected components of the complement of the open ball of radius h centered at the root, and we let N(h,r) be the number of those connected components that intersect the complement of the ball of radius h+r. We then prove that r^3N(h,r) converges as r tends to 0 to a constant times the density at h of the profile of distances from the root. In terms of the Brownian cactus, this gives asymptotics for the number of vertices at height h that have descendants at height h+r. Our proofs are based on a similar approximation result for local times of super-Brownian motion by upcrossing numbers. Our arguments make a heavy use of the Brownian snake and its special Markov property.
△ Less
Submitted 30 August, 2013;
originally announced August 2013.
-
Quadrangulations with no pendant vertices
Authors:
Johel Beltran,
Jean-François Le Gall
Abstract:
We prove that the metric space associated with a uniformly distributed planar quadrangulation with n faces and no pendant vertices converges modulo a suitable rescaling to the Brownian map. This is a first step towards the extension of recent convergence results for random planar maps to the case of graphs satisfying local constraints.
We prove that the metric space associated with a uniformly distributed planar quadrangulation with n faces and no pendant vertices converges modulo a suitable rescaling to the Brownian map. This is a first step towards the extension of recent convergence results for random planar maps to the case of graphs satisfying local constraints.
△ Less
Submitted 26 September, 2013; v1 submitted 29 July, 2013;
originally announced July 2013.
-
The range of tree-indexed random walk
Authors:
Jean-François Le Gall,
Shen Lin
Abstract:
We provide asymptotics for the range R(n) of a random walk on the d-dimensional lattice indexed by a random tree with n vertices. Using Kingman's subadditive ergodic theorem, we prove under general assumptions that R(n)/n converges to a constant, and we give conditions ensuring that the limiting constant is strictly positive. On the other hand, in dimension 4 and in the case of a symmetric random…
▽ More
We provide asymptotics for the range R(n) of a random walk on the d-dimensional lattice indexed by a random tree with n vertices. Using Kingman's subadditive ergodic theorem, we prove under general assumptions that R(n)/n converges to a constant, and we give conditions ensuring that the limiting constant is strictly positive. On the other hand, in dimension 4 and in the case of a symmetric random walk with exponential moments, we prove that R(n) grows like n/(log n). We apply our results to asymptotics for the range of branching random walk when the initial size of the population tends to infinity.
△ Less
Submitted 19 July, 2013;
originally announced July 2013.
-
The harmonic measure of balls in random trees
Authors:
Nicolas Curien,
Jean-François Le Gall
Abstract:
We study properties of the harmonic measure of balls in typical large discrete trees. For a ball of radius $n$ centered at the root, we prove that, although the size of the boundary is of order $n$, most of the harmonic measure is supported on a boundary set of size approximately equal to $n^β$, where $β\approx0.78$ is a universal constant. To derive such results, we interpret harmonic measure as…
▽ More
We study properties of the harmonic measure of balls in typical large discrete trees. For a ball of radius $n$ centered at the root, we prove that, although the size of the boundary is of order $n$, most of the harmonic measure is supported on a boundary set of size approximately equal to $n^β$, where $β\approx0.78$ is a universal constant. To derive such results, we interpret harmonic measure as the exit distribution of the ball by simple random walk on the tree, and we first deal with the case of critical Galton-Watson trees conditioned to have height greater than $n$. An important ingredient of our approach is the analogous continuous model (related to Aldous' continuum random tree), where the dimension of harmonic measure of a level set of the tree is equal to $β$, whereas the dimension of the level set itself is equal to $1$. The constant $β$ is expressed in terms of the asymptotic distribution of the conductance of large critical Galton-Watson trees.
△ Less
Submitted 3 July, 2017; v1 submitted 26 April, 2013;
originally announced April 2013.
-
The Brownian plane
Authors:
Nicolas Curien,
Jean-François Le Gall
Abstract:
We introduce and study the random non-compact metric space called the Brownian plane, which is obtained as the scaling limit of the uniform infinite planar quadrangulation. Alternatively, the Brownian plane is identified as the Gromov-Hausdorff tangent cone in distribution of the Brownian map at its root vertex, and it also arises as the scaling limit of uniformly distributed (finite) planar quadr…
▽ More
We introduce and study the random non-compact metric space called the Brownian plane, which is obtained as the scaling limit of the uniform infinite planar quadrangulation. Alternatively, the Brownian plane is identified as the Gromov-Hausdorff tangent cone in distribution of the Brownian map at its root vertex, and it also arises as the scaling limit of uniformly distributed (finite) planar quadrangulations with n faces when the scaling factor tends to 0 less fast than n^{-1/4}. We discuss various properties of the Brownian plane. In particular, we prove that the Brownian plane is homeomorphic to the plane, and we get detailed information about geodesic rays to infinity.
△ Less
Submitted 26 April, 2012;
originally announced April 2012.
-
Uniqueness and universality of the Brownian map
Authors:
Jean-François Le Gall
Abstract:
We consider a random planar map $M_n$ which is uniformly distributed over the class of all rooted q-angulations with n faces. We let $\mathbf{m}_n$ be the vertex set of $M_n$, which is equipped with the graph distance $d_\mathrm{gr}$. Both when $q\geq4$ is an even integer and when q=3, there exists a positive constant $c_q$ such that the rescaled metric spaces…
▽ More
We consider a random planar map $M_n$ which is uniformly distributed over the class of all rooted q-angulations with n faces. We let $\mathbf{m}_n$ be the vertex set of $M_n$, which is equipped with the graph distance $d_\mathrm{gr}$. Both when $q\geq4$ is an even integer and when q=3, there exists a positive constant $c_q$ such that the rescaled metric spaces $(\mathbf{m}_n,c_qn^{-1/4}d_\mathrm{gr})$ converge in distribution in the Gromov-Hausdorff sense, toward a universal limit called the Brownian map. The particular case of triangulations solves a question of Schramm.
△ Less
Submitted 25 July, 2013; v1 submitted 24 May, 2011;
originally announced May 2011.
-
The Brownian Cactus I. Scaling limits of discrete cactuses
Authors:
Nicolas Curien,
Jean-François Le Gall,
Grégory Miermont
Abstract:
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…
▽ More
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.
△ Less
Submitted 21 February, 2011;
originally announced February 2011.
-
Scaling limits of random trees and planar maps
Authors:
Jean-François Le Gall,
Grégory Miermont
Abstract:
These are the notes for a series of lectures given at the Clay Mathematical Institute Summer School in Buzios, July 11 - August 7, 2010. We review some of the recent aspects of scaling limits of random trees and planar maps, in particular via their relations with bijective enumeration and Gromov-Hausdorff convergence.
These are the notes for a series of lectures given at the Clay Mathematical Institute Summer School in Buzios, July 11 - August 7, 2010. We review some of the recent aspects of scaling limits of random trees and planar maps, in particular via their relations with bijective enumeration and Gromov-Hausdorff convergence.
△ Less
Submitted 24 July, 2012; v1 submitted 25 January, 2011;
originally announced January 2011.
-
Random recursive triangulations of the disk via fragmentation theory
Authors:
Nicolas Curien,
Jean-François Le Gall
Abstract:
We introduce and study an infinite random triangulation of the unit disk that arises as the limit of several recursive models. This triangulation is generated by throwing chords uniformly at random in the unit disk and kee** only those chords that do not intersect the previous ones. After throwing infinitely many chords and taking the closure of the resulting set, one gets a random compact subse…
▽ More
We introduce and study an infinite random triangulation of the unit disk that arises as the limit of several recursive models. This triangulation is generated by throwing chords uniformly at random in the unit disk and kee** only those chords that do not intersect the previous ones. After throwing infinitely many chords and taking the closure of the resulting set, one gets a random compact subset of the unit disk whose complement is a countable union of triangles. We show that this limiting random set has Hausdorff dimension $β^*+1$, where $β^*=(\sqrt{17}-3)/2$, and that it can be described as the geodesic lamination coded by a random continuous function which is Hölder continuous with exponent $β^*-\varepsilon$, for every $\varepsilon>0$. We also discuss recursive constructions of triangulations of the $n$-gon that give rise to the same continuous limit when $n$ tends to infinity.
△ Less
Submitted 18 January, 2012; v1 submitted 4 June, 2010;
originally announced June 2010.
-
Scaling limits for the uniform infinite quadrangulation
Authors:
Jean-François Le Gall,
Laurent Ménard
Abstract:
The uniform infinite planar quadrangulation is an infinite random graph embedded in the plane, which is the local limit of uniformly distributed finite quadrangulations with a fixed number of faces. We study asymptotic properties of this random graph. In particular, we investigate scaling limits of the profile of distances from the distinguished point called the root, and we get asymptotics for th…
▽ More
The uniform infinite planar quadrangulation is an infinite random graph embedded in the plane, which is the local limit of uniformly distributed finite quadrangulations with a fixed number of faces. We study asymptotic properties of this random graph. In particular, we investigate scaling limits of the profile of distances from the distinguished point called the root, and we get asymptotics for the volume of large balls. As a key technical tool, we first describe the scaling limit of the contour functions of the uniform infinite well-labeled tree, in terms of a pair of eternal conditioned Brownian snakes. Scaling limits for the uniform infinite quadrangulation can then be derived thanks to an extended version of Schaeffer's bijection between well-labeled trees and rooted quadrangulations.
△ Less
Submitted 11 May, 2010;
originally announced May 2010.
-
Escape probabilities for branching Brownian motion among mild obstacles
Authors:
Jean-Francois Le Gall,
Amandine Veber
Abstract:
We derive asymptotics for the quenched probability that a critical branching Brownian motion killed at a small rate in Poissonian obstacles exits a large domain. Results are formulated in terms of the solution to a semilinear partial differential equation with singular boundary conditions. The proofs depend on a quenched homogenization theorem for branching Brownian motion among mild obstacles.
We derive asymptotics for the quenched probability that a critical branching Brownian motion killed at a small rate in Poissonian obstacles exits a large domain. Results are formulated in terms of the solution to a semilinear partial differential equation with singular boundary conditions. The proofs depend on a quenched homogenization theorem for branching Brownian motion among mild obstacles.
△ Less
Submitted 17 January, 2011; v1 submitted 19 March, 2010;
originally announced March 2010.
-
Scaling limits of random planar maps with large faces
Authors:
Jean-François Le Gall,
Grégory Miermont
Abstract:
We discuss asymptotics for large random planar maps under the assumption that the distribution of the degree of a typical face is in the domain of attraction of a stable distribution with index $α\in(1,2)$. When the number $n$ of vertices of the map tends to infinity, the asymptotic behavior of distances from a distinguished vertex is described by a random process called the continuous distance pr…
▽ More
We discuss asymptotics for large random planar maps under the assumption that the distribution of the degree of a typical face is in the domain of attraction of a stable distribution with index $α\in(1,2)$. When the number $n$ of vertices of the map tends to infinity, the asymptotic behavior of distances from a distinguished vertex is described by a random process called the continuous distance process, which can be constructed from a centered stable process with no negative jumps and index $α$. In particular, the profile of distances in the map, rescaled by the factor $n^{-1/2α}$, converges to a random measure defined in terms of the distance process. With the same rescaling of distances, the vertex set viewed as a metric space converges in distribution as $n\to\infty$, at least along suitable subsequences, toward a limiting random compact metric space whose Hausdorff dimension is equal to $2α$.
△ Less
Submitted 7 December, 2010; v1 submitted 19 July, 2009;
originally announced July 2009.
-
On the re-rooting invariance property of Levy trees
Authors:
Thomas Duquesne,
Jean-Francois Le Gall
Abstract:
We prove a strong form of the invariance under re-rooting of the distribution of the continuous random trees called Levy trees. This extends previous results due to several authors.
We prove a strong form of the invariance under re-rooting of the distribution of the continuous random trees called Levy trees. This extends previous results due to several authors.
△ Less
Submitted 21 February, 2009;
originally announced February 2009.
-
Geodesics in large planar maps and in the Brownian map
Authors:
Jean-Francois Le Gall
Abstract:
We study geodesics in the random metric space called the Brownian map, which appears as the scaling limit of large planar maps. In particular, we completely describe geodesics starting from the distinguished point called the root, and we characterize the set S of all points that are connected to the root by more than one geodesic. The set S is dense in the Brownian map and homeomorphic to a non-…
▽ More
We study geodesics in the random metric space called the Brownian map, which appears as the scaling limit of large planar maps. In particular, we completely describe geodesics starting from the distinguished point called the root, and we characterize the set S of all points that are connected to the root by more than one geodesic. The set S is dense in the Brownian map and homeomorphic to a non-compact real tree. Furthermore, for every x in S, the number of distinct geodesics from x to the root is equal to the number of connected components of the complement of {x} in S. In particular, points of the Brownian map can be connected to the root by at most three distinct geodesics. Our results have applications to the behavior of geodesics in large planar maps.
△ Less
Submitted 30 May, 2008; v1 submitted 18 April, 2008;
originally announced April 2008.
-
The topological structure of scaling limits of large planar maps
Authors:
Jean-Francois Le Gall
Abstract:
We discuss scaling limits of large bipartite planar maps. If p is a fixed integer strictly greater than 1, we consider a random planar map M(n) which is uniformly distributed over the set of all 2p-angulations with n faces. Then, at least along a suitable subsequence, the metric space M(n) equipped with the graph distance rescaled by the factor n to the power -1/4 converges in distribution as n…
▽ More
We discuss scaling limits of large bipartite planar maps. If p is a fixed integer strictly greater than 1, we consider a random planar map M(n) which is uniformly distributed over the set of all 2p-angulations with n faces. Then, at least along a suitable subsequence, the metric space M(n) equipped with the graph distance rescaled by the factor n to the power -1/4 converges in distribution as n tends to infinity towards a limiting random compact metric space, in the sense of the Gromov-Hausdorff distance. We prove that the topology of the limiting space is uniquely determined independently of p, and that this space can be obtained as the quotient of the Continuum Random Tree for an equivalence relation which is defined from Brownian labels attached to the vertices. We also verify that the Hausdorff dimension of the limit is almost surely equal to 4.
△ Less
Submitted 31 October, 2006; v1 submitted 22 July, 2006;
originally announced July 2006.
-
Random trees and applications
Authors:
Jean-Francois Le Gall
Abstract:
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 applicat…
▽ More
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.
△ Less
Submitted 21 November, 2005;
originally announced November 2005.
-
The Hausdorff measure of stable trees
Authors:
Thomas Duquesne,
Jean-Francois Le Gall
Abstract:
We study fine properties of the so-called stable trees, which are the scaling limits of critical Galton-Watson trees conditioned to be large. In particular we derive the exact Hausdorff measure function for Aldous' continuum random tree and for its level sets. It follows that both the uniform measure on the tree and the local time measure on a level set coincide with certain Hausdorff measures.…
▽ More
We study fine properties of the so-called stable trees, which are the scaling limits of critical Galton-Watson trees conditioned to be large. In particular we derive the exact Hausdorff measure function for Aldous' continuum random tree and for its level sets. It follows that both the uniform measure on the tree and the local time measure on a level set coincide with certain Hausdorff measures. Slightly less precise results are obtained for the Hausdorff measure of general stable trees.
△ Less
Submitted 29 September, 2005;
originally announced September 2005.
-
Random Trees, Levy Processes and Spatial Branching Processes
Authors:
Thomas Duquesne,
Jean-Francois Le Gall
Abstract:
We investigate the genealogical structure of general critical or subcritical continuous-state branching processes. Analogously to the coding of a discrete tree by its contour function, this genealogical structure is coded by a real-valued stochastic process called the height process, which is itself constructed as a local time functional of a Levy process with no negative jumps. We present a det…
▽ More
We investigate the genealogical structure of general critical or subcritical continuous-state branching processes. Analogously to the coding of a discrete tree by its contour function, this genealogical structure is coded by a real-valued stochastic process called the height process, which is itself constructed as a local time functional of a Levy process with no negative jumps. We present a detailed study of the height process and of an associated measure-valued process called the exploration process, which plays a key role in most applications. Under suitable assumptions, we prove that whenever a sequence of rescaled Galton-Watson processes converges in distribution, their genealogies also converge to the continuous branching structure coded by the appropriate height process. We apply this invariance principle to various asymptotics for Galton-Watson trees. We then use the duality properties of the exploration process to compute explicitly the distribution of the reduced tree associated with Poissonnian marks in the height process, and the finite-dimensional marginals of the so-called stable continuous tree. This last calculation generalizes to the stable case a result of Aldous for the Brownian continuum random tree. Finally, we combine the genealogical structure with an independent spatial motion to develop a new approach to superprocesses with a general branching mechanism. In this setting, we derive certain explicit distributions, such as the law of the spatial reduced tree in a domain, consisting of the collection of all historical paths that hit the boundary.
△ Less
Submitted 23 September, 2005;
originally announced September 2005.
-
Stochastic flows associated to coalescent processes III: Limit theorems
Authors:
Jean Bertoin,
Jean-François Le Gall
Abstract:
We prove several limit theorems that relate coalescent processes to continuous-state branching processes. Some of these theorems are stated in terms of the so-called generalized Fleming-Viot processes, which describe the evolution of a population with fixed size, and are duals to the coalescents with multiple collisions studied by Pitman and others. We first discuss asymptotics when the initial…
▽ More
We prove several limit theorems that relate coalescent processes to continuous-state branching processes. Some of these theorems are stated in terms of the so-called generalized Fleming-Viot processes, which describe the evolution of a population with fixed size, and are duals to the coalescents with multiple collisions studied by Pitman and others. We first discuss asymptotics when the initial size of the population tends to infinity. In that setting, under appropriate hypotheses, we show that a rescaled version of the generalized Fleming-Viot process converges weakly to a continuous-state branching process. As a corollary, we get a hydrodynamic limit for certain sequences of coalescents with multiple collisions: Under an appropriate scaling, the empirical measure associated with sizes of the blocks converges to a (deterministic) limit which solves a generalized form of Smoluchowski's coagulation equation. We also study the behavior in small time of a fixed coalescent with multiple collisions, under a regular variation assumption on the tail of the measure $ν$ governing the coalescence events. Precisely, we prove that the number of blocks with size less than $εx$ at time $(εν([ε,1]))^{-1}$ behaves like $ε^{-1}λ\_1(]0,x[)$ as $ε\to 0$, where $λ\_1$ is the distribution of the size of one cluster at time 1 in a continuous-state branching process with stable branching mechanism. This generalizes a classical result for the Kingman coalescent.
△ Less
Submitted 6 June, 2005;
originally announced June 2005.
-
Stochastic integral representation and regularity of the density for the Exit measure of super-Brownian motion
Authors:
Jean-Francois Le Gall,
Leonid Mytnik
Abstract:
This paper studies the regularity properties of the density of the exit measure for super-Brownian motion with (1+β)-stable branching mechanism. It establishes the continuity of the density in dimension d=2 and the unboundedness of the density in all other dimensions where the density exists. An alternative description of the exit measure and its density is also given via a stochastic integral r…
▽ More
This paper studies the regularity properties of the density of the exit measure for super-Brownian motion with (1+β)-stable branching mechanism. It establishes the continuity of the density in dimension d=2 and the unboundedness of the density in all other dimensions where the density exists. An alternative description of the exit measure and its density is also given via a stochastic integral representation. Results are applied to the probabilistic representation of nonnegative solutions of the partial differential equation Δu=u^{1+β}.
△ Less
Submitted 25 March, 2005;
originally announced March 2005.
-
An invariance principle for conditioned trees
Authors:
Jean-Francois Le Gall
Abstract:
We consider Galton-Watson trees associated with a critical offspring distribution and conditioned to have exactly $n$ vertices. These trees are embedded in the real line by affecting spatial positions to the vertices, in such a way that the increments of the spatial positions along edges of the tree are independent variables distributed according to a symmetric probability distribution on the re…
▽ More
We consider Galton-Watson trees associated with a critical offspring distribution and conditioned to have exactly $n$ vertices. These trees are embedded in the real line by affecting spatial positions to the vertices, in such a way that the increments of the spatial positions along edges of the tree are independent variables distributed according to a symmetric probability distribution on the real line. We then condition on the event that all spatial positions are nonnegative. Under suitable assumptions on the offspring distribution and the spatial displacements, we prove that these conditioned spatial trees converge as $n\to\infty$, modulo an appropriate rescaling, towards the conditioned Brownian tree that was studied in previous work. Applications are given to asymptotics for random quadrangulations.
△ Less
Submitted 14 March, 2005;
originally announced March 2005.
-
Probabilistic and fractal aspects of Levy trees
Authors:
Thomas Duquesne,
Jean-Francois Le Gall
Abstract:
We investigate the random continuous trees called Lévy trees, which are obtained as scaling limits of discrete Galton-Watson trees. We give a mathematically precise definition of these random trees as random variables taking values in the set of equivalence classes of compact rooted R-trees, which is equipped with the Gromov-Hausdorff distance. To construct Lévy trees, we make use of the coding…
▽ More
We investigate the random continuous trees called Lévy trees, which are obtained as scaling limits of discrete Galton-Watson trees. We give a mathematically precise definition of these random trees as random variables taking values in the set of equivalence classes of compact rooted R-trees, which is equipped with the Gromov-Hausdorff distance. To construct Lévy trees, we make use of the coding by the height process which was studied in detail in previous work. We then investigate various probabilistic properties of Lévy trees. In particular we establish a branching property analogous to the well-known property for Galton-Watson trees: Conditionally given the tree below level a, the subtrees originating from that level are distributed as the atoms of a Poisson point measure whose intensity involves a local time measure supported on the vertices at distance a from the root. We study regularity properties of local times in the space variable, and prove that the support of local time is the full level set, except for certain exceptional values of a corresponding to local extinctions. We also compute several fractal dimensions of Lévy trees, including Hausdorff and packing dimensions, in terms of lower and upper indices for the branching mechanism function $ψ$ which characterizes the distribution of the tree. We finally discuss some applications to super-Brownian motion with a general branching mechanism.
△ Less
Submitted 6 January, 2005;
originally announced January 2005.
-
Conditioned Brownian trees
Authors:
Jean-Francois Le Gall,
Mathilde Weill
Abstract:
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), whi…
▽ More
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. We also establish a Verwaat-like theorem showing that this conditioned Brownian tree can be obtained by re-rooting the unconditioned one at the vertex corresponding to the minimal spatial position. In terms of ISE, this theorem yields the following fact: Conditioning ISE to put no mass on $]-\infty,-ε[$ and letting $ε$ go to 0 is equivalent to shifting the unconditioned ISE to the right so that the left-most point of its support becomes the origin. We derive a number of explicit estimates and formulas for our conditioned Brownian trees. In particular, the probability that ISE puts no mass on $]-\infty,-ε[$ is shown to behave like $2ε^4/21$ when $ε$ goes to 0. Finally, for the conditioned Brownian tree with a fixed height $h$, we obtain a decomposition involving a spine whose distribution is absolutely continuous with respect to that of a nine-dimensional Bessel process on the time interval $[0,h]$, and Poisson processes of subtrees originating from this spine.
△ Less
Submitted 5 January, 2005;
originally announced January 2005.
-
Super-Brownian motion with reflecting historical paths
Authors:
Krzysztof Burdzy,
Jean-Francois Le Gall
Abstract:
We consider super-Brownian motion whose historical paths reflect from each other, unlike those of the usual historical super-Brownian motion. We prove tightness for the family of distributions corresponding to a sequence of discrete approximations but we leave the problem of uniqueness of the limit open. We prove a few results about path behavior for processes under any limit distribution. In pa…
▽ More
We consider super-Brownian motion whose historical paths reflect from each other, unlike those of the usual historical super-Brownian motion. We prove tightness for the family of distributions corresponding to a sequence of discrete approximations but we leave the problem of uniqueness of the limit open. We prove a few results about path behavior for processes under any limit distribution. In particular, we show that for any $γ>0$, a "typical" increment of a reflecting historical path over a small time interval $Δt$ is not greater than $(Δt)^{3/4 - γ}$.
△ Less
Submitted 9 March, 2000;
originally announced March 2000.