-
Scaling limit of the Aldous-Broder chain on regular graphs: the transient regime
Authors:
Osvaldo Angtuncio Hernández,
Gabriel Berzunza Ojeda,
Anita Winter
Abstract:
The continuum random tree is the scaling limit of the uniform spanning tree on the complete graph with $N$ vertices. The Aldous-Broder chain on a graph $G=(V,E)$ is a discrete-time stochastic process with values in the space of rooted trees whose vertex set is a subset of $V$ which is stationary under the uniform distribution on the space of rooted trees spanning $G$. In Evans, Pitman and Winter (…
▽ More
The continuum random tree is the scaling limit of the uniform spanning tree on the complete graph with $N$ vertices. The Aldous-Broder chain on a graph $G=(V,E)$ is a discrete-time stochastic process with values in the space of rooted trees whose vertex set is a subset of $V$ which is stationary under the uniform distribution on the space of rooted trees spanning $G$. In Evans, Pitman and Winter (2006) the so-called root growth with re-grafting process (RGRG) was constructed. Further it was shown that the suitable rescaled Aldous-Broder chain converges to the RGRG weakly with respect to the Gromov-Hausdorff topology. It was shown in Peres and Revelle (2005) that (up to a dimension depending constant factor) the continuum random tree is, with respect to the Gromov-weak topology, the scaling limit of the uniform spanning tree on $\mathbb{Z}_N^d$, $d\ge 5$. This result was recently strengthens in Archer, Nachmias and Shalev (2024) to convergence with respect to the Gromov-Hausdorff-weak topology, and therefore also with respect to the Gromov-Hausdorff topology. In the present paper we show that also the suitable rescaled Aldous-Broder chain converges to the RGRG weakly with respect to the Gromov-Hausdorff topology when initially started in the trivial rooted tree. We give conditions on the increasing graph sequence under which the result extends to regular graphs and give probabilistic expressions scales at which time has to be speed up and edge lengths have to be scaled down.
△ Less
Submitted 10 February, 2025;
originally announced February 2025.
-
The coalescent structure of multitype continuous-time Galton-Watson trees
Authors:
Osvaldo Angtuncio Hernández,
Simon Harris,
Juan Carlos Pardo
Abstract:
We investigate the genealogy of a sample of $k\geq1$ particles chosen uniformly without replacement from a population alive at large times in a critical continuous-time multitype Galton-Watson process with finite second moment. We will show that subject to a deterministic time-change, the sample genealogy always converges to the same universal genealogical structure; it has the same tree topology…
▽ More
We investigate the genealogy of a sample of $k\geq1$ particles chosen uniformly without replacement from a population alive at large times in a critical continuous-time multitype Galton-Watson process with finite second moment. We will show that subject to a deterministic time-change, the sample genealogy always converges to the same universal genealogical structure; it has the same tree topology as Kingman's coalescent, when the types are discarded, and the coalescent times of the $k-1$ pairwise mergers look like a mixture of independent identically distributed times. We show that such an ancestral lineage in the limit, strongly depends on the multitype offspring distribution, which differs from the single type case Harris, Johnston, and Roberts [Annals of Applied Probability, 2020]. Our approach uses $k$ distinguished 'spine' particles and a suitable change of measure under which (a) the spines form a uniform sample without replacement that depend on the colours but additionally (b) there is $k$-size biasing and discounting according to the population size. Our work substantially extends the spine techniques developed in Harris, Johnston, and Roberts [Annals of Applied Probability, 2020] for genealogies of uniform samples of size $k$ in critical, continuous-time, single-type Galton-Watson processes. We generalize these methods to the multi-type setting and provide a comprehensive analysis of how functionals of the spines are influenced by the types. While the single-type case exhibits a more homogeneous structure with simpler dependency patterns, the multi-type case introduces interactions between different types, leading to a more intricate dependency structure where functionals must account for type-specific behaviours and inter-type relationships.
△ Less
Submitted 6 February, 2025;
originally announced February 2025.
-
Multitype Lévy trees as scaling limits of multitype Bienaymé-Galton-Watson trees
Authors:
Osvaldo Angtuncio Hernández,
David Clancy Jr
Abstract:
We establish sufficient mild conditions for a sequence of multitype Bienaymé-Galton-Watson trees, conditioned in some sense to be large, to converge to a limiting compact metric space which we call a \emph{multitype Lévy tree}. More precisely, we condition on the size of the maximal subtree of vertices of the same type generated by the root to be large. Although under a different conditioning, our…
▽ More
We establish sufficient mild conditions for a sequence of multitype Bienaymé-Galton-Watson trees, conditioned in some sense to be large, to converge to a limiting compact metric space which we call a \emph{multitype Lévy tree}. More precisely, we condition on the size of the maximal subtree of vertices of the same type generated by the root to be large. Although under a different conditioning, our result can be seen as a generalization to the multitype setting of the continuum random trees defined by Aldous, Duquesne and Le Gall in [Ald91a,Ald91b,Ald93,DLG02]. Our main result is an invariance principle for the convergence of such trees, by gluing single-type Lévy trees together in a method determined by the limiting spectrally positive additive Lévy field, as constructed by Chaumont and Marolleau [CM21].
Our approach is a particular case of a more general result about the convergence in the Gromov-Hausdorff-Prohorov topology, of compact marked metric spaces equipped with vector-valued measures, and then glued via an iterative operation. To analyze the gluing operation, we extend the techniques developed by Sénizergues [Sen19,Sen22] to the multitype setting. While the single-type case exhibits a more homogeneous structure with simpler dependency patterns, the multitype case introduces interactions between different types, leading to a more intricate dependency structure where functionals must account for type-specific behaviors and inter-type relationships.
△ Less
Submitted 14 April, 2025; v1 submitted 6 February, 2025;
originally announced February 2025.
-
On Multitype Random Forests with a Given Degree Sequence, the Total Population of Branching Forests and Enumerations of Multitype Forests
Authors:
Osvaldo Angtuncio Hernández
Abstract:
The degree sequence $(N_{i,j}(k),1\leq i,j\leq d,k\geq 0)$ of a multitype forest with $d$ types, is the number of individuals type $i$, having $k$ children type $j$. We construct a multitype forest sampled uniformly from all multitype forest with a given degree sequence (MFGDS). For this, we use an extension of the Ballot Theorem by (Chaumont and Liu, 2016), and generalize the Vervaat transform (V…
▽ More
The degree sequence $(N_{i,j}(k),1\leq i,j\leq d,k\geq 0)$ of a multitype forest with $d$ types, is the number of individuals type $i$, having $k$ children type $j$. We construct a multitype forest sampled uniformly from all multitype forest with a given degree sequence (MFGDS). For this, we use an extension of the Ballot Theorem by (Chaumont and Liu, 2016), and generalize the Vervaat transform (Vervaat, 1979) to multidimensional discrete exchangeable increment processes. We prove that MFGDS are extensions of multitype Galton-Watson (MGW) forests, since mixing the laws of the former, one obtains MGW forests with fixed sizes by type (CMGW). We also obtain the law of the total population by types in a MGW forest, generalizing Otter-Dwass formula (Otter 1949, Dwass 1969). We apply this to obtain enumerations of plane, labeled and binary multitype forests having fixed roots and individuals by types. We give an algorithm to simulate certain CMGW forests, generalizing the unitype case of (Devroye, 2012).
△ Less
Submitted 8 April, 2021; v1 submitted 6 March, 2020;
originally announced March 2020.
-
Multidimensional random walks conditioned to stay ordered via generalized ladder height functions
Authors:
Osvaldo Angtuncio Hernández
Abstract:
Random walks conditioned to stay positive are a prominent topic in fluctuation theory. One way to construct them is as a random walk conditioned to stay positive up to time $n$, and let $n$ tend to infinity. A second method is conditioning instead to stay positive up to an independent geometric time, and send its parameter to zero. The multidimensional case (condition the components of a $d$-dimen…
▽ More
Random walks conditioned to stay positive are a prominent topic in fluctuation theory. One way to construct them is as a random walk conditioned to stay positive up to time $n$, and let $n$ tend to infinity. A second method is conditioning instead to stay positive up to an independent geometric time, and send its parameter to zero. The multidimensional case (condition the components of a $d$-dimensional random walk to be ordered) was solved in [EK08] using the first approach, but some moment conditions need to be imposed. Our approach is based on the second method, which has the advantage to require a minimal restriction, needed only for the finiteness of the $h$-transform in certain cases. We also characterize when the limit is Markovian or sub-Markovian, and give several reexpresions of the $h$-function. Under some conditions given in [Ign18], it can be proved that our $h$-function is the only harmonic function which is zero outside the Weyl chamber $\{x=(x_1,\ldots, x_d)\in \mathbb{R}^d: x_1<\cdots < x_d\}$.
△ Less
Submitted 9 March, 2020; v1 submitted 14 May, 2019;
originally announced May 2019.
-
Dini derivatives for Exchangeable Increment processes and applications
Authors:
Osvaldo Angtuncio Hernández,
Gerónimo Uribe Bravo
Abstract:
Let $X$ be an exchangeable increment (EI) process whose sample paths are of infinite variation. We prove that, for any fixed $t$ almost surely, \[ \limsup_{h\to 0 \pm} (X_{t+h}-X_t)/h=\infty \quad\text{and}\quad \liminf_{h\to 0\pm} (X_{t+h}-X_t)/h=-\infty. \]This extends a celebrated result of Rogozin (1968) for Lévy processes, and completes the known picture for finite-variation EI processes. App…
▽ More
Let $X$ be an exchangeable increment (EI) process whose sample paths are of infinite variation. We prove that, for any fixed $t$ almost surely, \[ \limsup_{h\to 0 \pm} (X_{t+h}-X_t)/h=\infty \quad\text{and}\quad \liminf_{h\to 0\pm} (X_{t+h}-X_t)/h=-\infty. \]This extends a celebrated result of Rogozin (1968) for Lévy processes, and completes the known picture for finite-variation EI processes. Applications are numerous. For example, we deduce that both half-lines $(-\infty, 0)$ and $(0,\infty)$ are visited immediately for infinite variation EI processes (called upward and downward regularity). We also generalize the zero-one law of Millar (1977) for Lévy processes by showing continuity of $X$ when it reaches its minimum in the infinite variation EI case; an analogous result for all EI processes links right and left continuity at the minimum with upward and downward regularity. We also consider results of Durrett, Iglehart and Miller (1977) on the weak convergence of conditioned Brownian bridges to the normalized Brownian excursion, and broadened to a subclass of Lévy processes and EI processes by Uribe Bravo (2014) and Chaumont and Uribe Bravo (2015). We prove it here for all infinite variation EI processes. We furthermore obtain a description of the convex minorant for non-piecewise linear EI processes, the case of Lévy processes given by Pitman and Uribe Bravo (2012). Our main tool to study the Dini derivatives is a change of measure for EI processes which extends the Esscher transform for Lévy processes.
△ Less
Submitted 14 March, 2019; v1 submitted 12 March, 2019;
originally announced March 2019.
