Abstract
We introduce a new stick-breaking construction for inhomogeneous continuum random trees. This new construction allows us to prove the necessary and sufficient condition for compactness conjectured by Aldous et al. (Probab Theory Relat Fields 129(2):182–218, 2004) by comparison with Lévy trees. We also compute the fractal dimensions (Minkowski, Packing, Hausdorff).
This is a preview of subscription content, access via your institution.


Data availibility
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
Aldous, D.: The continuum random tree I. Ann. Probab. 19, 1–28 (1991)
Le Gall, J.-F., Le Jan, J.-F.: Branching processes in levy processes: the exploration process. Ann. Probab. 26, 213–252 (1998)
Duquesne, T., Le Gall, J.-F.: Probabilistic and fractal aspects of Lévy trees. Probab. Theory Relat. Fields 131, 553–603 (2005)
Duquesne, T., Le Gall, J.-F.: Random trees, Lévy processes and spatial branching processes. Asterisque 281, 30 (2002)
Aldous, D., Pitman, J.: Inhomogeneous continuum random trees and the entrance boundary of the additive coalescent. Probab. Theory Relat. Fields 118(4), 455–482 (2000)
Camarri, M., Pitman, J.: Limit distributions and random trees derived from the birthday problem with unequal probabilities. Electron. J. Probab. 5(2), 1–8 (2000)
Blanc-Renaudie, A.: Limit of trees with fixed degree sequence. arXiv:2110.03378
Le Gall, J.-F.: Random trees and applications. Probab. Surv. 2, 245–311 (2005)
Amini, O., Devroye, L., Griffiths, S., Olver, N.: Explosion and linear transit times in infinite trees. Probab. Theory Relat. Fields 167, 325–347 (2017)
Curien, N., Haas, B.: Random trees constructed by aggregation. Annales de l’Institut Fourier 67(5), 1963–2001 (2017)
Burago, Y., Ivanov, S., Burago, D.: A Course in Metric Geometry, volume 33 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI (2001)
Sénizegues, D.: Random gluing of metric spaces. Ann. Probab. 47(6), 3812–3865 (2019)
Mattila, P.: Geometry of Sets and Measures in Euclidian Spaces. Fractals and Rectifiability. Cambridge studies in advanced mathematics (1995)
Falconer, K.: Fractal Geometry, Mathematical Foundations and Applications, 2nd edn. Wiley, New York (2003)
Aldous, D., Miermont, G., Pitman, J.: The exploration process of inhomogeneous continuum random trees, and an extension of Jeulin’s local time identity. Probab. Theory Relat. Fields 129(2), 182–218 (2004)
Acknowledgements
Thanks are due to Nicolas Broutin for interesting conversations and numerous advice on earlier versions of this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
We first prove an exponential concentration inequality for general Pólya urns.
Lemma A.1
Let \(\{m_n\}_{n\ge 0}\) be a positive real-valued sequence. Let \((A_n)_{n\ge 0}\) be a sequence of positive real-valued random variables such that \(A_0\le m_0\) and such that for every \(n\ge 0\),
where for every \(n\ge 0\), \(M_n=\sum _{i=0}^n m_n\). We say that in this case \((A_n)_{n\ge 0}\) is a \((A_0,\{m_i\}_{i\ge 0} )\) Pólya urn.
-
(a)
If \(\sum _{n=0}^\infty \frac{m_n^2}{M_n^2}<\infty \), then almost surely for every \(a\ge 0\) and \(t\in \mathbb {R}^+\),
$$\begin{aligned}&\mathbb {P}\left( \left. \sup _{i\ge a} \left| \frac{A_i}{M_i} - \frac{A_a}{M_a} \right|> t\frac{A_a}{M_a} \right| A_a \right) \\&\le 2 \exp \left( -\frac{\frac{t^2}{4}\frac{A_a}{M_a}}{\sum _{n> a} \frac{m_n^2}{M_n^2}+t\max \left( \sum _{n> a} \frac{m_n^2}{M_n^2}, \max _{n>a} \frac{m_n}{M_n} \right) }\right) . \end{aligned}$$ -
(b)
If \(\{m_n\}_{n\in \mathbb {N}}\) is bounded, then almost surely for every \(a\ge 0\) and \(t\in \mathbb {R}^+\),
$$\begin{aligned} \mathbb {P}\left( \left. \sup _{i\ge a} \left| \frac{A_i}{M_i} - \frac{A_a}{M_a} \right|> t\frac{A_a}{M_a} \right| A_a \right) \le 2 \exp \left( -\frac{t^2}{4(1+t)}\frac{A_a}{\max _{n>a} m_n} \right) . \end{aligned}$$
Remark
Note that Lemma A.1 implies that almost surely \(\{\frac{A_i}{M_i}\}_{i\in \mathbb {N}}\) is a Cauchy sequence and so converges. The statement should then be seen as an estimate on the speed of convergence.
Proof
First let us explain why (b) follows from (a). We have for every \(a\in \mathbb {N}\),
and (b) follows by replacing \(\max _{n>a} \frac{m_n}{M_n}\) and \(\sum _{n>a}\frac{m_n^2}{M_n^2}\) by the upper bound \(\frac{\max _{n>a} m_n}{M_a}\) in (a).
We focus henceforth on (a). To simplify the notation set for every \(n\in \mathbb {N}\), \(X_n:=\frac{A_n}{M_n}\) and \(\delta _n:=\frac{m_n}{M_n}\). Also we write for every \(a\in \mathbb {N}\), \(\mathbb {E}^{(a)}[\dots ]=\mathbb {E}[\dots \vert X_a]\). We first prove by induction that for every \(a,b,c\in \mathbb {N}\) and \(\lambda \in \mathbb {R}\) satisfying
we have

Note that when \(b=c\), \(P(a,b,c,\lambda )\) is trivial. Therefore it suffices to prove that for every \(a,b,c, \lambda \) such that \(a\le b< c\) and \(\lambda \le \Lambda _a\) that \(f(a,b+1,c,\lambda )\le f(a,b,c,\lambda )\). Fix \(a\le b<c\), \(\lambda \le \Lambda _a\) and let \(\gamma := \lambda \left( 1+\lambda \sum _{n=b+2}^{c}\delta _n^2\right) \). We have,
Furthermore by (33), \(\vert \gamma \vert \le \frac{5}{4}\vert \lambda \vert \le \frac{5}{16\delta _{b+1}}\), hence since for every \(0\le x\le 1\) and \(\vert c\vert \le \frac{5}{16}\), \(xe^{c(1-x)}+(1-x)e^{-cx}\le e^{\frac{16}{25}c^2x}\) , we have
Finally by (34), (35), and \(\vert \gamma \vert \le \frac{5}{4}\vert \lambda \vert \),
This concludes our proof by induction of \(P(a,b,c,\lambda )\).
We now fix \(a\in \mathbb {N}\). For every \(n\in \mathbb {N}\) and \(0\le \lambda \le \Lambda _a\), by \(P(a,a,n,\lambda )\) and \(P(a,a,n,-\lambda )\), we have the sub-Gaussian bound, \(\mathbb {E}^{(a)}\left[ e^{\lambda \vert X_n-X_a\vert } \right] \le 2e^{\lambda ^2V_a/2}\) where \(V_a:=2X_a\sum _{i>a} \delta _i^2\). Furthermore note that \(\{X_n\}_{n\ge a}\) is a martingale, and hence that for every \(\lambda \in \mathbb {R}^+\), \(\{e^{\lambda \vert X_n-X_a\vert }\}_{n\ge a}\) is a sub-martingale. It follows by Doob’s inequality that for every \(t \in \mathbb {R}^+\) and \(0\le \lambda \le \Lambda _a\),
On the one hand, for every \(0\le t\le V_a \Lambda _a\), taking \(\lambda := t/V_a\) in (36) gives,
On the other hand, for every \(t > V_a\Lambda _a\), taking \( \lambda := \Lambda _a\) in (36) gives,
hence since for every \(x\ge 1\), \(\frac{1}{2x^2}-\frac{1}{x}\le -\frac{1}{2+x}\),
By (37) the last inequality is also true for \(0\le t\le V_a \Lambda _a\). The desired inequality then directly follows from a reorganization of the different terms in (38). We omit the straightforward details. \(\square \)
The following lemma is a version of the strong law of large number.
Lemma A.2
Let \(p>0\), \((X_i)_{i\in \mathbb {N}}\) be a family of independent Bernoulli random variables with mean p. Let \((a_i)_{i\in \mathbb {N}}\) be a positive real-valued sequence and let for every \(n\in \mathbb {N}\), \(A_n:=\sum _{i=1}^n a_i\). Suppose that \(A_n\longrightarrow \infty \) and \(\sum _{n=1}^{\infty } \frac{a_n^2}{ A_n^2}<\infty \), then almost surely
Proof
Since \(\sum _{n=1}^{\infty } \frac{a_n^2}{ A_n^2}<\infty \) and \(\{X_i\}_{i\in \mathbb {N}}\) are independent random variables, the classical three series theorem implies that \(S_n:=\sum _{i=1}^n \frac{a_i (X_i-p)}{A_i}\) almost surely converges as \(n\rightarrow \infty \). Therefore,
\(\square \)
Remark
If there exists \(\varepsilon >0\) such that \(a_i=O(A_i^{1-\varepsilon })\), then as n goes to infinity,
Rights and permissions
About this article
Cite this article
Blanc-Renaudie, A. Compactness and fractal dimensions of inhomogeneous continuum random trees. Probab. Theory Relat. Fields 185, 961–991 (2023). https://doi.org/10.1007/s00440-022-01138-9
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00440-022-01138-9
Keywords
- ICRT
- Inhomogeneous continuum random trees
- Compactness
- Fractal dimensions
- Stick breaking
- Pólya urn
Mathematics Subject Classification
- 60D05
- 60F10