Our main results are the following. We determine the asymptotic distribution of the degree sequence, which equivalently gives the limiting distribution of the degree of a (uniformly) randomly selected vertex. We also look deeper into the structure of the tree: we give the asymptotic distribution of the subtree under a randomly selected vertex. Moreover, we present the asymptotic distribution of the whole tree, seen from a randomly selected vertex.
The latter approaches are new and give full insight to the limiting structure of the random tree.
The key of our method is to place the process into continuous time in such a way that it fits in to the welldeveloped theory of general branching processes (see Section
5 ). The asymptotic behavior of the continuous time model gives that of the discrete time model, as pointed out in Section 3 . A special case of our model (when
$w$
is linear) is equivalent to those studied in [
3]
and [
9]
. The robustness of our method is apparent in the fact that it gives a.s. results for a wide class of weight functions, it generalizes the results mentioned above.
The class of weight functions for which our theorems hold are not fully identified by the condition we make: it is sufficient, but we do not claim that it is also necessary.
In the present paper we do not intend to analyse all the ways we beleive this new approach can be used. We are planning to apply this technique to answer many other questions related to the randomly growing tree model.
The paper is organized as follows. We introduce the terminology and notation in the next section, then in Section 3 we define the model. We state our results in Section 4 and show the simplifications that arise in the linear case. After that, in Section 5 we give a brief introduction to the theory of general branching processes, and quote the theorems that we rely on. We present our proofs in Section 6 . We comment on the asymptotic growth of the tree in the last section.
2 Rooted ordered trees: terminology and notation
Throughout the paper it will be convenient to use genealogical phrasing. We will consider our tree evolving as a genealogical tree: where the individuals are the vertices and the parent child relations are the edges of the tree. It will be also convenient to follow the `birth orders' among children of the same parent. For this purpose we will consider our trees always as rooted ordered trees (sometimes called family trees or rooted planar trees). In the following paragraphs we introduce the (commonly known) terminology for these trees and also some additional notations needed for our theorems.
2.1 Vertices, individuals, trees
We will label the vertices of a rooted ordered tree using a subset of
$$\mathcal{N}:{=}^{\infty}{\bigcup}_{n=0}{\mathbb{Z}}_{+}^{n},\text{where}{\mathbb{Z}}_{+}:=\{1,2,...\},{\mathbb{Z}}_{+}^{0}:=\{\varnothing \}.$$
$\varnothing $
denotes the root of the tree, its children are labelled with
$\{1,2,...\}$
, and in general the children of
$x=({x}_{1},{x}_{2},...,{x}_{k})\in \mathcal{N}$
are labelled by
$({x}_{1},{x}_{2},...,{x}_{k},1),({x}_{1},{x}_{2},...,{x}_{k},2),...$
.
Thus if a vertex has the label
$x=({x}_{1},{x}_{2},...,{x}_{k})\in \mathcal{N}$
then this means that it is the
${x}_{k}^{th}$
child of its parent, which is the
${x}_{k1}^{th}$
child of its own parent and so on. If
$x=({x}_{1},{x}_{2},...,{x}_{k})$
and
$y=({y}_{1},{y}_{2},...,{y}_{l})$
we will use the shorthanded notation
$xy$
for the concatenation
$({x}_{1},{x}_{2},...,{x}_{k},{y}_{1},{y}_{2},...,{y}_{l})$
, and with a slight abuse of notation for
$n\in {\mathbb{Z}}_{+}$
we use
$xn$
for
$({x}_{1},{x}_{2},...,{x}_{k},n)$
.
We will identify a rooted ordered tree with the set of labels of its vertices, since this already contains the necessary information about the edges. It is clear that a
$G\subset \mathcal{N}$
may represent a rooted ordered tree if and only if
$\varnothing \in G$
and for each
$({x}_{1},{x}_{2},...,{x}_{k})\in G$
we have
$({x}_{1},{x}_{2},...,{x}_{k1})\in G$
as well as
$({x}_{1},{x}_{2},...,{x}_{k}1)\in G$
, if
${x}_{k}>1$
.
The set of finite rooted ordered trees will be denoted by
$\mathcal{G}$
. We think about
$G\in \mathcal{G}$
as an oriented tree with edges pointing from parents to children. The degree of a vertex
$x\in G$
is just the number of its children in
$G$
:
$$\text{deg}(x,G):=max\{n\in {\mathbb{Z}}_{+}:xn\in G\}.$$
The
${n}^{\text{th}}$
generation of
$G\in \mathcal{G}$
is
$$G\left[n\right]:=\{x\in G:x=n\},n\ge 0,$$
where
$\leftx\right=n$
iff
$x\in {\mathbb{Z}}_{+}^{n}$
.
The
${n}^{\text{th}}$
ancestor of
$x=({x}_{1},{x}_{2},...,{x}_{k})\in \mathcal{N}$
with
$k\ge n$
is
${x}^{n}=({x}_{1},{x}_{2},...,{x}_{kn})$
if
$k>n$
and
${x}^{n}=\varnothing $
if
$k=n$
.
The
subtree rooted at a vertex
$x\in G$
is:
$$G\downarrow x:=\{y:xy\in G\},$$
this is just the progeny of
$x$
viewed as a rooted ordered tree. Also, (again with a slight abuse of notations) for an
$x=({x}_{1},{x}_{2},...,{x}_{n})\in \mathcal{N}$
with
$\leftx\right=n\ge k$
we use the notation
$x\downarrow k=({x}_{nk+1},{x}_{nk+2},...,{x}_{n})$
. This would be the new label given to
$x\in G$
in the subtree
$G\downarrow {x}^{k}$
.
Consider a
$G\in \mathcal{G}$
. An ordering
$s=({s}_{0},{s}_{1},...,{s}_{\leftG\right1})$
of the elements of
$G$
is called historical if it gives a possible 'birth order' of the vertices in
$G$
, formally if for each
$0\le i\le \leftG\right1$
we have
$\{{s}_{0},{s}_{1},...,{s}_{i}\}\in \mathcal{G}$
. The set of all historical orderings of
$G\in \mathcal{G}$
will be denoted
$\mathcal{S}\left(G\right)$
. For a fixed
$s\in \mathcal{S}\left(G\right)$
the rooted ordered trees
$$\begin{array}{c}G(s,i):=\{{s}_{0},{s}_{1},...,{s}_{i}\}\subset G\end{array}$$ 
(1)

give the evolution of
$G$
in this historical ordering
$s$
.
2.2 Random trees
Throughout the paper we will use Greek letters to denote random elements (of various distributions) selected from
$\mathcal{N}$
and
$\mathcal{G}$
:
$$\xi ,\zeta ,\cdot \cdot \cdot \in \mathcal{N},\Gamma ,\Upsilon ,\cdot \cdot \cdot \in \mathcal{G}$$
Our results will deal with some asymptotic properties of a randomly chosen vertex in a certain random tree. We will investigate the asymptotic distribution of its degree, its progeny and also the progeny of its the
${k}^{\text{th}}$
ancestor. In order to study the latter object, we introduce rooted ordered trees with a marked vertex in generation
$k$
:
$$\mathcal{G}\left(k\right):=\left\{\right(G,u)\in \mathcal{G}\times {\mathbb{Z}}^{k}:u\in G[k\left]\right\}.$$
$\mathcal{G}\left(0\right)$
is identified with
$\mathcal{G}$
, since generation 0 consists of only the root,
$\varnothing $
. We can use the elements of
$\mathcal{G}\left(k\right)$
to describe the progeny of the
${k}^{\text{th}}$
ancestor of a random vertex:
$G$
is an ordered tree rooted in the
${k}^{\text{th}}$
ancestor of the selected point and
$u\in G\left[k\right]$
is the position of the random vertex in this tree. Clearly, if
$(G,u)$
describes the progeny of the
${k}^{\text{th}}$
ancestor, then for
$0\le l\le k$
the progeny of the
${l}^{\text{th}}$
ancestor is described by
$(G\downarrow {u}^{l},u\downarrow kl)$
.
Thus if
${\pi}^{\left(k\right)}$
is a distribution on
$\mathcal{G}\left(k\right)$
which describes the progeny of the
${k}^{\text{th}}$
ancestor of a chosen vertex, then, if
$l<k$
, the distribution of the progeny of the
${l}^{\text{th}}$
ancestor is:
$${\pi}^{(k,l)}(H,v):={\pi}^{\left(k\right)}\left(\left\{(G,u)\in \mathcal{G}\left(k\right):G\downarrow {u}^{l}=G,v=u\downarrow kl\right\}\right)$$
The sequence
${\pi}^{\left(k\right)}$
of probability measures on
$\mathcal{G}\left(k\right)$
,
$k=0,1,2,...$
is called consistent if for any
$0\le l\le k$
, the identity
${\pi}^{\left(l\right)}={\pi}^{(k,l)}$
holds.
Without presenting the precise formulation, it is clear that a consistent sequence
${\pi}^{\left(k\right)}$
of probability measures on
$\mathcal{G}\left(k\right)$
gives full insight to the limiting structure of the tree as seen from a random vertex, see Remark after Theorem 2 .
We call a probability measure
$\pi $
on
$\mathcal{G}$
steady if
$$\begin{array}{c}{\sum}_{H\in \mathcal{G}}\pi \left(H\right){\sum}_{x\in H\left[1\right]}11\{H\downarrow x=G\}=\pi \left(G\right).\end{array}$$ 
(2)

It is easy to check that in this case, for any
$k=1,2,...$
, the similar identity
$${\sum}_{H\in \mathcal{G}}\pi \left(H\right){\sum}_{x\in H\left[k\right]}11\{H\downarrow x=G\}=\pi \left(G\right)$$
follows. Equivalently, for any bounded function
$\phi :\mathcal{G}\to \mathbb{R}$
and any
$k=0,1,2,...$
,
$$\mathbf{E}\left(\left\Gamma \left[k\right]\right\phi (\Gamma \downarrow \xi )\right)=\mathbf{E}\left(\phi (\Gamma )\right),$$
where
$\Gamma $
is a random element of
$\mathcal{G}$
with distribution
$\mathbf{P}(\Gamma =G)=\pi \left(G\right)$
, and on the left hand side
$\xi $
is a random vertex selected uniformly from the
$k$
th generation of
$\Gamma $
. (We don't have to worry about the fact that
$\Gamma \left[k\right]$
may be empty, since in that case the expression
$\left\Gamma \left[k\right]\right\phi (\Gamma \downarrow \xi )$
is automatically 0.) Immediate consequences of this property are that the expected size of the
${k}^{\text{th}}$
generation is 1 for any
$k\in \mathbb{N}$
(choose
$\phi $
identically 1), and therefore the expected size of the whole tree is infinite.
Backward extensions: Given a steady probability measure
$\pi $
on
$\mathcal{G}$
, define the probability measures
${\pi}^{\left(k\right)}$
on
$\mathcal{G}\left(k\right)$
,
$k=0,1,2...$
, by
$${\pi}^{\left(k\right)}(G,u):=\pi \left(G\right)$$
One can easily check that, due to the steadiness of the distribution
$\pi $
, the sequence of probability measures
${\pi}^{\left(k\right)}$
on
$\mathcal{G}\left(k\right)$
,
$k=0,1,2...$
, is consistent.
3 The Random Tree Model
Given a weight function
$w:\mathbb{N}\to {\mathbb{R}}_{+}$
, let
$X\left(t\right)$
be a Markovian pure birth process with
$X\left(0\right)=0$
and birth rates
$$\mathbf{P}\left(X(t+\text{d}t)=k+1\leftX\right(t)=k\right)=w\left(k\right)\text{d}t+o\left(\text{d}t\right).$$
Let
$\rho :[0,\infty )\mapsto (0,\infty ]$
be the density of the point process corresponding to the pure birth process
$X\left(t\right)$
and
$\widehat{\rho}:(0,\infty )\to (0,\infty ]$
the (formal) Laplace transform of
$\rho $
:
$$\begin{array}{c}\widehat{\rho}\left(\lambda \right):={\int}_{0}^{\infty}{e}^{\lambda t}\rho \left(t\right)\text{d}t={{\sum}_{n=0}^{\infty}}^{n}{\prod}_{i=0}\frac{w\left(i\right)}{\lambda +w\left(i\right)}.\end{array}$$ 
(3)

The rightmost expression of
$\widehat{\rho}\left(\lambda \right)$
is easily computed, given the fact that the intervals between successive jumps of
$X\left(t\right)$
are independent exponentially distributed random variables of parameters
$w\left(0\right),w\left(1\right),w\left(2\right),...$
respectively. Let
$$\begin{array}{c}\underline{\lambda}:=inf\{\lambda >0:\widehat{\rho}(\lambda )<\infty \}.\end{array}$$ 
(4)

Throughout this paper we impose the following condition on the weight function
$w$
:
$$\begin{array}{c}{lim}_{\lambda \searrow \underline{\lambda}}\rho \left(\lambda \right)>1.\end{array}$$ 
(M)

We are now ready to define our randomly growing tree
$\Upsilon \left(t\right)$
which will be a continuous time, timehomogeneous Markov chain on the countable state space
$\mathcal{G}$
, with initial state
$\Upsilon \left(0\right)=\{\varnothing \}$
.
The jump rates are the following: if for a
$t\ge 0$
we have
$\Upsilon \left(t\right)=G$
then the process may jump to
$G\cup \left\{xk\right\}$
with rate
$w\left(\text{deg}\right(x,G\left)\right)$
where
$x\in G$
and
$k=\text{deg}(x,G)+1$
. This means that each existing vertex
$x\in \Upsilon \left(t\right)$
`gives birth to a child' with rate
$w\left(\text{deg}\right(x,\Upsilon \left(t\right)\left)\right)$
independently of the others.
Note that condition
M implies
$${\sum}_{k=0}^{\infty}\frac{1}{w\left(k\right)}=\infty $$
and hence it follows that the Markov chain
$\Upsilon \left(t\right)$
is well defined for
$t\in [0,\infty )$
, it does not blow up in finite time.
We define the
total weight of a tree
$G\in \mathcal{G}$
as
$$W\left(G\right):={\sum}_{x\in G}w\left(\text{deg}\right(x,G\left)\right).$$
Described in other words, the Markov chain
$\Upsilon \left(t\right)$
evolves as follows: assuming
$\Upsilon (t)=G$
, at time
$t$
a new vertex is added to it with total rate
$W\left(G\right)$
which is attached with an oriented edge (pointing towards the newly added vertex) to the already existing vertex
$x\in G$
with probability
$$\frac{w\left(\text{deg}\right(x,G\left)\right)}{{\sum}_{y\in G}w\left(\text{deg}\right(y,G\left)\right)}.$$
Therefore, if we only look at our process at the stopping times when a new vertex is just added to the randomly growing tree:
$${T}_{n}:=inf\{t:\left\Upsilon \left(t\right)\right=n+1\}$$
then we get the discrete time model:
$\Upsilon \left({T}_{n}\right)$
has the same distribution as the discrete time model at time
$n$
.
It will sometimes be convenient to refer to the vertices in the order of their birth, not their genealogical code: let
$\left\{{\eta}_{k}\right\}=\Upsilon \left({T}_{k}\right)\backslash \Upsilon ({T}_{k}0)$
denote the vertex that appeared at
${T}_{k}$
. Of course we will always have
${\eta}_{0}=\varnothing $
and
${\eta}_{1}=1$
.
4 Results
4.1 Statement of results
From condition M it follows that the equation
$$\widehat{\rho}\left(\lambda \right)=1$$
has a unique root
${\lambda}^{*}$
.
Now we are ready to state our first theorem.
From Theorem 1 several statements follow, regarding the asymptotic behavior of our random tree as seen from a randomly selected vertex
$\zeta $
, chosen uniformly from
$\Upsilon \left(t\right)$
. As typical examples we determine the asymptotic distribution of the number of children, respectively, that of the whole subtree under the randomly chosen vertex, its
${k}^{\text{th}}$
ancestor, respectively. That is: the asymptotic distribution of
$\text{deg}(\zeta ,\Upsilon (t\left)\right)\in \mathbb{N}$
,
$\Upsilon \left(t\right)\downarrow \zeta \in \mathcal{G}$
and
$(\Upsilon (t)\downarrow {\zeta}^{\left(k\right)},\zeta \downarrow k)\in \mathcal{G}\left(k\right)$
.
In order to formulate these consequences of Theorem
1 we need to introduce some more notation. Let
$G\in \mathcal{G}$
and one of its historical orderings
$s=({s}_{0},{s}_{1},...,{s}_{\leftG\right1})\in \mathcal{S}\left(G\right)$
be fixed. The historical sequence of total weights are defined as
$$\begin{array}{ccc}W(G,s,i):=W\left(G\right(s,i\left)\right)& & \end{array}$$ 
(5)

for
$0\le i\le \leftG\right1$
while the respective weights of the appearing vertices are defined as
$$\begin{array}{ccc}w(G,s,i):=w\left(\text{deg}\left(({s}_{i}{)}^{1},G(s,i1)\right)\right).& & \end{array}$$ 
(6)

for
$1\le i\le \leftG\right1$
. Since
$\text{deg}\left(({s}_{i}{)}^{1},G(s,i1)\right)$
is the degree of
${s}_{i}$
's parent just before
${s}_{i}$
appeared,
$w(G,s,i)$
is the rate with which our random tree process jumps from
$G(s,i1)$
to
$G(s,i)$
.
Given the weight function
$w:\mathbb{N}\to {\mathbb{R}}_{+}$
satisfying condition ( M ) and
$\lambda *$
defined as before define
$$\begin{array}{ccc}{p}_{w}\left(k\right)& :=& {\frac{\lambda *}{\lambda *+w\left(k\right)}}^{k1}{\prod}_{i=0}\frac{w\left(i\right)}{\lambda *+w\left(i\right)},\end{array}$$ 
(7)

$$\begin{array}{ccc}{\pi}_{w}\left(G\right)& :=& {\sum}_{s\in \mathcal{S}\left(G\right)}{\frac{\lambda *}{\lambda *+W\left(G\right)}}^{\leftG\right2}{\prod}_{i=0}\frac{w(G,s,i+1)}{\lambda *+W(G,s,i)}.\end{array}$$ 
(8)

Theorem 2.
Consider a weight function
$w$
which satisfies condition (M) and let
$\lambda *$
be defined as before. Then the following limits hold almost surely:

(a)
For any fixed
$k\in \mathbb{N}$
$${lim}_{t\to \infty}\frac{\left\{x\in \Upsilon (t):\text{deg}(x,\Upsilon \left(t\right))=k\}\right}{\left\Upsilon \left(t\right)\right}=pw\left(k\right).$$

(b)
For any fixed
$G\in \mathcal{G}$
$${lim}_{t\to \infty}\frac{\left\{x\in \Upsilon (t):\Upsilon (t)\downarrow x=G\}\right}{\left\Upsilon \left(t\right)\right}=\pi w\left(G\right).$$

(c)
For any fixed
$(G,u)\in \mathcal{G}\left(k\right)$
$${lim}_{t\to \infty}\frac{\left\{x\in \Upsilon (t):(\Upsilon \left(t\right)\downarrow {x}^{\left(k\right)},x\downarrow k)=(G,u\left)\right\}\right}{\left\Upsilon \left(t\right)\right}=\pi w\left(G\right).$$
Furthermore, the functions
$pw,\pi w$
are probability distributions on
$\mathbb{N}$
and
$\mathcal{G}$
, respectively, and
$\pi w$
is steady (i.e. identity 2 holds).
Remarks. 1. Parts (a), (b) and (c) of Theorem 2 , in turn, give more and more information about the asymptotic shape of the randomly growing tree
$\Upsilon \left(t\right)$
, as seen from a random vertex
$\zeta $
chosen with uniform distribution. Part (a) identifies the a.s. limit as
$t\to \infty $
, of the degree distribution of
$\zeta $
. Part (b) identifies the a.s. limit as
$t\to \infty $
, of the distribution of the progeny of
$\zeta $
. Finally, part (c) does the same for the distribution of the progeny of the
${k}^{\text{th}}$
ancestor of the randomly selected vertex with the position of this vertex marked.
2. From part (c) it is easy to derive the asymptotic distribution of the progeny of the
${k}^{\text{th}}$
ancestor of the randomly selected vertex (as a rooted ordered tree without any marked vertices):
$${lim}_{t\to \infty}\frac{\left\{x\in \Upsilon (t):\Upsilon (t)\downarrow {x}^{\left(k\right)}=G\}\right}{\left\Upsilon \left(t\right)\right}=\pi w\left(G\right)\leftG\left[k\right]\right.$$
The limit is the sizebiased version of
$\pi w\left(G\right)$
, with the biasing done by the size of the
${k}^{\text{th}}$
generation.
3. Since the distribution
$\pi w$
is steady, part (c) identifies the asymptotic distribution of the whole family tree of the randomly selected vertex
$\zeta $
(relatives of arbitrary degree included).
Hence asymptotically, as
$t\to \infty $
, the tree
$\Upsilon \left(t\right)$
viewed from a random vertex
$\zeta $
will have the following structure (we omit the precise formulation):
– there exists an infinite path of ancestors
${\zeta}^{1},{\zeta}^{2},{\zeta}^{3},...$
`going back in time', – we have finite ordered random trees rooted at each vertex of this path, – the tree rooted at
${\zeta}^{k}$
with the position of
$\zeta $
marked on it has distribution
${\pi}^{\left(k\right)}w$
on
$\mathcal{G}\left(k\right)$
where
${\pi}^{\left(k\right)}w(G,u)=\pi w\left(G\right)$
.
4.2 Linear weight function
In the linear case
$w\left(k\right)=k+\beta $
$(\beta >0)$
all computations are rather explicit. In this case the asymptotic degree distribution
$pw$
(computed in [
3]
, [
9]
) is reproduced, of course. But even in this simplest case the asymptotic distribution
$\pi w$
of the subtree under a randomly selected vertex seems to be new.
For sake of completeness, in the rest of this section we perform these (explicit and straightforward) computations for the linear case. Multiplying the rate function with a positive constant only means the rescaling of time in our model thus it is enough to consider
$w\left(k\right)=k+\beta $
(with
$\beta >0$
). In this case it is straightforward to compute that condition (M) holds,
$\widehat{\rho}\left(\lambda \right)=\frac{\beta}{\lambda 1}$
,
$\underline{\lambda}=1$
and
$\lambda *=1+\beta $
. Thus both Theorems 1 and 2 hold.
For the asymptotic degree distribution we get
$$pw\left(k\right)=(1+\beta )\frac{(k1+\beta )k}{(k+1+2\beta )k+1},$$
where we used the shorthanded notation
$$\left(x\right)k:{=}^{k1}{\prod}_{i=0}(xi)=\frac{\Gamma (x+1)}{\Gamma (xk+1)},k=0,1,2,....$$
For the calculation of
$\pi w\left(G\right)$
first we show that the sum which defines it contains identical elements. In order to avoid heavy notation, during the following computations we will use
$n:=\leftG\right1$
and
$\text{deg}\left(x\right)$
instead of
$\text{deg}(x,G)$
.
Clearly, for any
$s\in \mathcal{S}\left(G\right)$
$${}^{n1}{\prod}_{i=0}w(G,s,i+1)={\prod}_{x\in G}\left({}^{\text{deg}\left(x\right)1}{\prod}_{j=0}w\left(j\right)\right)={\prod}_{x\in G}\left(\text{deg}\right(x)1+\beta )\text{deg}\left(x\right).$$
(Actually, the first equality holds for every weight function
$w$
.) It is also easy to see that for any
$G\in \mathcal{G}$
$$W\left(G\right)={\sum}_{x\in G}\left(\text{deg}\right(x)+\beta )=\leftG\right(1+\beta )1,$$
thus for any
$s\in \mathcal{S}\left(G\right)$
$${\frac{\lambda *}{\lambda *+W\left(G\right)}}^{n1}{\prod}_{i=0}\frac{1}{\lambda *+W(G,s,i)}=\frac{1}{(1+\beta {)}^{n}(n+2(1+\beta {)}^{1})n+1}.$$
Therefore
$$\pi w\left(G\right)=\left\mathcal{S}\left(G\right)\right\frac{{\prod}_{x\in G}\left(\text{deg}\right(x)1+\beta )\text{deg}\left(x\right)}{(1+\beta {)}^{n}(n+2(1+\beta {)}^{1})n+1}.$$
In the
$\beta =1$
case (i.e. if we consider random tree proposed in [
1]
) the previous calculations give
$$pw\left(k\right)=\frac{4}{(k+1)(k+2)(k+3)}$$
and
$$\pi w\left(G\right)=\frac{2\left\mathcal{S}\left(G\right)\right}{(2\leftG\right+1)!!}{\prod}_{x\in G}\text{deg}\left(x\right)!.$$
The value of
$\left\mathcal{S}\left(G\right)\right$
cannot be written as the function of degrees of
$G$
only, but one can compute it using the values
$\leftG\downarrow x\right$
for
$x\in G$
. For a given
$G$
and
$x=({x}_{1},{x}_{2},...,{x}_{n})\in G$
let us introduce the following notations (these will not be used in the other parts of the paper):
$$\begin{array}{ccc}& B\left(x\right):=\{y\in G:y=({x}_{1},{x}_{2},...,{x}_{n1},k),k>{x}_{n}\},& \end{array}$$  
$$\begin{array}{ccc}& a\left(x\right):=max(\leftG\downarrow x\right1,1),b\left(x\right):=max\left({\sum}_{y\in B\left(x\right)}\leftG\downarrow x\right,1\right).& \end{array}$$  
It is a simple exercise to prove that for a
$G\in \mathcal{G}$
with
$\leftG\right>1$
$$\left\mathcal{S}\left(G\right)\right=(\leftG\right2)!{\prod}_{x\in G,x\ne \varnothing}a\left(x{)}^{1}b\right(x{)}^{1}.$$
The proof is left to the reader.
5 Branching Processes
The random tree model, defined in continuous time, has the big advantage that it fits into the framework of the wellestablished theory of general branching processes. We give a brief introduction to the fundamentals and state the theorems that we rely on in our proofs.
We do not give a broad survey on the most general types of branching processes here, we choose to focus on the results which may be applied to our process. For more details see the monograph [
4]
or the papers [
5]
, [
10]
, [
12]
and the references therein. For a survey on branching processes, trees and superprocesses, see [
8]
.
In the case of a general branching process, there is a population in which each individual reproduces at ages according to i.i.d. copies of a random point process
$\xi $
on
$[0,\infty )$
. We denote by
$\xi \left(t\right)$
the
$\xi $
measure of
$[0,t]$
, this the random number of children an individual has up to time
$t$
.
The individuals in the population are labelled with the elements of
$\mathcal{N}$
, as described in Section 3 (see 2.1 ). The basic probability space is
$$(\Omega ,\mathcal{A},P)={\prod}_{x\in \mathcal{N}}({\Omega}_{x},{\mathcal{A}}_{x},{P}_{x}),$$
where
$({\Omega}_{x},{\mathcal{A}}_{x},{P}_{x})$
are identical spaces on which
${\xi}_{x}$
are distributed like
$\xi $
.
For each
$x\in \mathcal{N}$
there is a
$.\downarrow x$
shift defined on
$\Omega $
by
$$({\omega}_{\downarrow x}{)}_{y}={\omega}_{xy},$$
in plain words,
${\omega}_{\downarrow x}$
is the life of the progeny of
$x$
, regarding
$x$
as the ancestor.
The birth times
${\sigma}_{x}$
of the individuals are defined in the obvious way:
${\sigma}_{0}=0$
and if
${x}^{\prime}=xn$
with
$n\in {\mathbb{Z}}_{+}$
then
$$\begin{array}{ccc}{\sigma}_{{x}^{\prime}}={\sigma}_{x}+inf\{t:{\xi}_{x}(t)\ge n\}.& & \end{array}$$ 
(9)

The branching process is often counted by a random characteristic, this can be any realvalued process
$\{\Phi :\mathbb{R}\times \Omega \to \mathbb{R}\}$
. For each individual
$x$
,
${\Phi}_{x}$
is defined by
$${\Phi}_{x}(t,\omega )=\Phi (t,{\omega}_{\downarrow x}),$$
in plain words
${\Phi}_{x}\left(t\right)$
denotes the value of
$\Phi $
evaluated on the progeny of
$x$
, regarding
$x$
as the ancestor, at the time when
$x$
is of age
$t$
. We can think about
${\Phi}_{x}\left(t\right)$
as a `score' given to
$x$
when its age is
$t$
. With this,
$${Z}_{t}^{\Phi}={\sum}_{x\in \mathcal{N}}{\Phi}_{x}(t{\sigma}_{x})$$
is the branching process counted by the random characteristic
$\Phi $
(the `total score' of the population at time
$t$
).
For our applications we only consider random characteristics which are 0 for
$t<0$
and for
$t\ge 0$
they are equal to a bounded deterministicfunction of the rooted tree.
This means that only those individuals contribute to
${Z}_{t}^{\Phi}$
which are born up to time
$t$
and their contribution is a deterministic function of their progeny tree. (Random characteristics may be defined in a more general way, see e.g. [
4]
, [
5]
.) One of the important examples is
$\Phi \left(t\right)=11\{t\ge 0\}$
when
${Z}_{t}^{\Phi}$
is just the total number of individuals born up to time
$t$
.
The Laplacetransform of
$\text{d}\xi \left(t\right)$
will be of great importance, we denote this random variable by:
$$\begin{array}{ccc}\widehat{\xi}\left(\lambda \right):={\int}_{0}^{\infty}{e}^{\lambda t}\text{d}\xi \left(t\right).& & \end{array}$$ 
(10)

We shall be interested in supercritical, Malthusian processes, meaning that there exists a finite
$0<\lambda *<\infty $
(the socalled Malthusian parameter) for which
$$\begin{array}{ccc}\mathbf{E}\widehat{\xi}(\lambda *)=1,& & \end{array}$$ 
(11)

and also
$$\begin{array}{ccc}\kappa ={\partial}_{\lambda}\left(\mathbf{E}\widehat{\xi}\left(\lambda \right)\right){}_{\lambda =\lambda *}=\mathbf{E}{\int}_{0}^{\infty}t{e}^{\lambda *t}\text{d}\xi \left(t\right)<\infty .& & \end{array}$$ 
(12)

(The last property means that the process is Malthusian and the first means that it is supercritical.) Also, we require the reproduction to be nonlattice, which means that the jumps of
$\xi \left(t\right)$
cannot be supported by any lattice
$\{0,d,2d,...\}$
,
$d>0$
with probability one.
We quote here a weaker form of Theorem 6.3 from [
10]
, using its extension which appears in Section 7 of the same paper. This way the conditions of the original theorem are fulfilled automatically.
Theorem A (Nerman, [10] ).
Consider a supercritical, Malthusian branching process with Malthusian parameter
$\lambda *$
, counted by two random characteristics
$\Phi \left(t\right)$
and
$\Psi \left(t\right)$
which have the properties described above (i.e. they are 0 for
$t<0$
and a deterministic bounded function of the progeny tree for
$t\ge 0$
). Suppose that there exists a
$\underline{\lambda}<\lambda *$
for which
$$\mathbf{E}\widehat{\xi}\left(\underline{\lambda}\right)<\infty .$$
Then almost surely
$$\begin{array}{ccc}\frac{{Z}_{t}^{\Phi}}{{Z}_{t}^{\Psi}}\to \frac{\widehat{\Phi}(\lambda *)}{\widehat{\Psi}(\lambda *)}\text{as}t\to \infty ,& & \end{array}$$ 
(13)

where
$\widehat{\Phi}\left(\lambda \right)={\int}_{0}^{\infty}exp(\lambda t)\mathbf{E}(\Phi (t\left)\right)\text{d}t$
.
For a reader interested in how the Malthusian parameter and
$\widehat{\Phi}\left(\lambda \right)$
play a role in the theory, we give a short indication. This part may be skipped without any confusion.
The key observation is the socalled
basic decomposition, namely that
$$\begin{array}{ccc}{Z}_{t}^{\Phi}=\Phi \left(t\right)+{\sum}_{j\in \mathbb{N}}{Z}_{t{\sigma}_{j}}^{{\Phi}_{j}}.& & \end{array}$$ 
(14)

The advantage of this formula is that if we know the sequence
$({\sigma}_{j}{)}_{j\in {\mathbb{Z}}_{+}}$
(all the birthtimes of the children of the root), then
${Z}_{t{\sigma}_{j}}^{{\Phi}_{j}}$
has the same conditional distribution as
${Z}_{t{\sigma}_{j}}^{\Phi}$
.
Therefore, using the notation
${m}_{t}^{\Phi}=\mathbf{E}{Z}_{t}^{\Phi}$
, taking expectation on both sides of 14 in two steps (first conditionally on
$({\sigma}_{j}{)}_{j\in {\mathbb{Z}}_{+}}$
, then taking expectation regarding
$\left({\sigma}_{j}{)}_{j\in {\mathbb{Z}}_{+}}\right)$
, we get
$$\begin{array}{ccc}{m}_{t}^{\Phi}=\mathbf{E}(\Phi (t\left)\right)+{\int}_{0}^{t}{m}_{ts}^{\Phi}\text{d}\mu \left(s\right),& & \end{array}$$ 
(15)

where we used the notation
$\mu \left(t\right)=\mathbf{E}\xi \left(t\right)$
. Taking the Laplace transform of both sides,
$$\begin{array}{ccc}\widehat{m}\left(\lambda \right)=\widehat{\Phi}\left(\lambda \right)+\widehat{m}\left(\lambda \right)\widehat{\mu}\left(\lambda \right),& & \end{array}$$ 
(16)

so formally
$$\begin{array}{ccc}\widehat{m}\left(\lambda \right)=\frac{\widehat{\Phi}\left(\lambda \right)}{1\widehat{\mu}\left(\lambda \right)}.& & \end{array}$$ 
(17)

Note that
$\widehat{\mu}\left(\lambda \right)=\mathbf{E}\widehat{\xi}\left(\lambda \right)$
. This shows that if there is a positive interval below
$\lambda *$
where the Laplace transform is finite, then
$1/(1\widehat{\mu}(\lambda \left)\right)$
has a simple pole at
$\lambda *$
(it is easy to check that
${\widehat{\mu}}^{\prime}(\lambda *)<0$
and
${\widehat{\mu}}^{\prime \prime}(\lambda *)>0$
). So taking series expansion and inverse Laplace transform results that
$$\begin{array}{ccc}{m}_{t}^{\Phi}=\frac{1}{\kappa}\widehat{\Phi}(\lambda *){e}^{\lambda *t}+o\left({e}^{\lambda *t}\right),& & \end{array}$$ 
(18)

where
$\kappa $
is the finite constant defined in ( 12 ). This means that the ratio of the expectations of
${Z}_{t}^{\Phi}$
and
${Z}_{t}^{\Psi}$
indeed tends to
$\frac{\widehat{\Phi}(\lambda *)}{\widehat{\Psi}(\lambda *)}$
. To get the almost sure convergence of
$\frac{{Z}_{t}^{\Phi}}{{Z}_{t}^{\Psi}}$
to the same limit needs a lot more work and of course its proof is more elaborate (see [
10]
for example).
6 Proofs

Proof of Theorem 1 .
Consider the continuous time branching process where the reproduction process
$\xi \left(t\right)$
is the Markovian pure birth process
$X\left(t\right)$
, with rate function
$w$
, described at the beginning of Section 3 .
Clearly, the timeevolution of the population has the same distribution as the evolution of the continuous time Random Tree Model corresponding to the weight function
$w$
. The vertices are the respective individuals and edges are the parentchild relations.
It is also not hard to see that the function
$\mathbf{E}\widehat{\xi}\left(\lambda \right)$
for the branching process is the same as
$\widehat{\rho}\left(\lambda \right)$
which means that by condition (M) we may apply Theorem A with appropriate random characteristics. Given any bounded function
$\phi :\mathcal{G}\to \mathbb{R}$
, setting the characteristics
$\Phi ,\Psi $
as
$\Phi \left(t\right):=\phi (\Upsilon (t\left)\right)11\{t\ge 0\}$
and
$\Psi \left(t\right):=11\{t\ge 0\}$
we get exactly the statement of Theorem 1 .

Proof of Theorem 2 .
(a) Apply Theorem 1 with the function
$$\phi \left(G\right):=11\left\{\text{deg}\right(\varnothing ,G)=k\}.$$
This gives that
$${lim}_{t\to \infty}\frac{\left\{x\in \Upsilon (t):\text{deg}(x,\Upsilon \left(t\right))=k\}\right}{\left\Upsilon \left(t\right)\right}=\lambda *{\int}_{0}^{\infty}{e}^{\lambda *t}\mathbf{P}\left(\text{deg}(\varnothing ,\Upsilon (t\left)\right)=k\right)\text{d}t,$$
almost surely. By the definition of
${\sigma}_{k}$
(see ( 9 )):
$$\mathbf{P}\left(\text{deg}(\varnothing ,\Upsilon (t\left)\right)=k\right)=\mathbf{P}\left({\sigma}_{k}<t\right)\mathbf{P}\left({\sigma}_{k+1}<t\right).$$
Since
$$\lambda *{\int}_{0}^{\infty}{e}^{\lambda *t}\mathbf{P}\left({\sigma}_{k}<t\right)\text{d}t=\mathbf{E}\left({e}^{\lambda *{\sigma}_{k}}\right),$$
and
${\sigma}_{k}$
is the sum of independent exponentially distributed random variables with parameters
$w\left(0\right),w\left(1\right),...,w(k1)$
, we get
$$\lambda *{\int}_{0}^{\infty}{e}^{\lambda *t}\mathbf{P}\left(\text{deg}(\varnothing ,\Upsilon (t\left)\right)=k\right)\text{d}t={\frac{\lambda *}{\lambda *+w\left(k\right)}}^{k1}{\prod}_{i=0}\frac{w\left(i\right)}{\lambda *+w\left(i\right)}.$$
This completes the proof of part (a) of the Theorem. Using the identity
$$pw\left(k\right)=\lambda *{\int}_{0}^{\infty}{e}^{\lambda *t}\mathbf{P}\left(\text{deg}(\varnothing ,\Upsilon (t\left)\right)=k\right)\text{d}t,$$
and the fact that
$\left\Upsilon \left(t\right)\right$
is finite for every
$t$
with probability 1 it is straightforward to prove that
$pw$
is indeed a probability distribution on
$\mathbb{N}$
.
(b) Let
$G\in \mathcal{G}$
be fixed and denote
$n=\leftG\right1$
. We apply Theorem 1 with
$\phi \left(H\right)=11(H=G)$
. We need to compute
$$\lambda *{\int}_{0}^{\infty}{e}^{\lambda *t}\mathbf{P}\left(\Upsilon \left(t\right)=G\right)\text{d}t.$$
Consider the following random stopping times:
$$\begin{array}{ccc}{\tau}_{G}& :=& sup\{t\ge 0:\Upsilon (t)\subseteq G\},\end{array}$$  
$$\begin{array}{ccc}{\tau}_{G}^{\prime}& :=& sup\{t\ge 0:\Upsilon (t)\mathbb{\u228a}G\}.\end{array}$$  
That is:
${\tau}_{G}$
is the birth time of the first vertex not in
$G$
, while
${\tau}_{G}^{\prime}$
is the minimum of
${\tau}_{G}$
and the time when we first have
$\Upsilon \left(t\right)=G$
, if the latter ever happens. Since
$$\mathbf{P}\left(\Upsilon \left(t\right)=G\right)=\mathbf{P}\left(\Upsilon \left(t\right)\subseteq G\right)\mathbf{P}\left(\Upsilon \left(t\right)\mathbb{\u228a}G\right)=\mathbf{P}\left(t<{\tau}_{G}\right)\mathbf{P}\left(t<{\tau}_{G}^{\prime}\right),$$
we get that
$$\begin{array}{ccc}\lambda *{\int}_{0}^{\infty}{e}^{\lambda *t}\mathbf{P}\left(\Upsilon \left(t\right)=G\right)\text{d}t& =& \mathbf{E}\left({e}^{\lambda *{\tau}_{G}^{\prime}}{e}^{\lambda *{\tau}_{G}}\right)\end{array}$$  
$$\begin{array}{ccc}& =& \mathbf{E}\left(({e}^{\lambda *{\tau}_{G}^{\prime}}{e}^{\lambda *{\tau}_{G}})11\{{\tau}_{G}^{\prime}<{\tau}_{G}\}\right).\end{array}$$  
Note that by the definition we always have
${\tau}_{G}^{\prime}\le {\tau}_{G}$
. The event
$\{{\tau}_{G}^{\prime}<{\tau}_{G}\}$
means that there is a
$t$
when
$\Upsilon \left(t\right)=G$
. On this event
${\tau}_{G}^{\prime}$
gives the time when we first have
$\Upsilon \left(t\right)=G$
and
${\tau}_{G}$
gives the appearance of the next vertex. Given the event
$\{{\tau}_{G}^{\prime}<{\tau}_{G}\}$
, the conditional distribution of
${\tau}_{G}{\tau}_{G}^{\prime}$
is exponential with parameter
$W\left(G\right)$
and it is (conditionally) independent of
${\tau}_{G}^{\prime}$
. This leads to
$$\mathbf{E}\left(({e}^{\lambda *{\tau}_{G}^{\prime}}{e}^{\lambda *{\tau}_{G}})11\{{\tau}_{G}^{\prime}<{\tau}_{G}\}\right)=\frac{\lambda *}{\lambda *+W\left(G\right)}\mathbf{E}\left({e}^{\lambda *{\tau}_{G}^{\prime}}11\{{\tau}_{G}^{\prime}<{\tau}_{G}\}\right).$$
Now, it is clear that the following two events are actually the same
$$\left\{{\tau}_{G}^{\prime}<{\tau}_{G}\right\}=\left\{({\eta}_{0},...,{\eta}_{n})=({s}_{0},...,{s}_{n})\text{for some}s\in \mathcal{S}\left(G\right)\right\}.$$
This implies that
$$\begin{array}{ccc}& & \mathbf{E}\left({e}^{\lambda *{\tau}_{G}^{\prime}}11\{{\tau}_{G}^{\prime}<{\tau}_{G}\}\right)\end{array}$$  
$$\begin{array}{ccc}& & ={\sum}_{s\in \mathcal{S}\left(G\right)}\mathbf{E}\left({e}^{\lambda *{T}_{n}}11\left\{\right({\eta}_{0},...,{\eta}_{n})=({s}_{0},...,{s}_{n}\left)\right\}\right).\end{array}$$  
For
${T}_{n}$
see 3 and the definition below it. Given
$s\in \mathcal{S}\left(G\right)$
fixed
$$\mathbf{P}\left(({\eta}_{0},...,{\eta}_{n})=({s}_{0},...,{s}_{n})\right){=}^{n1}{\prod}_{i=0}\frac{w(G,s,i+1)}{W(G,s,i)}.$$
(See 3 , 5 and 6 for the definitions.) Also, if
$s\in \mathcal{S}\left(G\right)$
is fixed then conditionally on the event
$\left\{\right({\eta}_{0},...,{\eta}_{n})=({s}_{0},...,{s}_{n}\left)\right\}$
the random variables
${T}_{k+1}{T}_{k}$
,
$k=0,1,...,n1$
, are independent and exponentially distributed with parameters
$W(G,s,k)$
,
$k=0,1,...,n1$
, respectively. This is an easy exercise: it may be proved by using the `lack of memory' of the exponential distribution and the fact that the minimum of independent exponentially distributed random variables with parameters
${\nu}_{1},{\nu}_{2},...,{\nu}_{l}$
is also exponentially distributed with parameter
${\sum}_{i=1}^{l}{\nu}_{i}$
. Hence it is straightforward to get
$$\mathbf{E}\left({e}^{\lambda *{T}_{n}}11\left\{\right({\eta}_{0},...,{\eta}_{n})=({s}_{0},...,{s}_{n}\left)\right\}\right){=}^{n1}{\prod}_{i=0}\frac{w(G,s,i+1)}{\lambda *+W(G,s,i)}.$$
Collecting our previous calculations part (b) of Theorem 2 follows.
Using similar considerations as in the end of the proof of part (a) it is apparent that
$\pi w$
is a probability distribution on
$\mathcal{G}$
.
(c) This is straightforward since for any
$H\in \mathcal{G}$
and
$(G,u)\in \mathcal{G}\left(k\right)$
we have
$$\begin{array}{ccc}\left\{x\in H:(H\downarrow {x}^{\left(k\right)},x\downarrow k)=(G,u\left)\right\}\right=\left\{x\in H:H\downarrow x=G\}\right.& & \end{array}$$  
The statement now follows from part (b).
The only thing left to prove is that
$\pi w$
satisfies ( 2 ), i.e. it is steady. First observe, that if
${G}_{0}\in \mathcal{G}$
is fixed and
$\zeta $
is a uniformly chosen random vertex in
${G}_{0}$
then the distribution of
$\Gamma :=\left({G}_{0}\right)\downarrow \zeta $
(which is a probability distribution on
$\mathcal{G}$
) is steady. (This follows by simple counting.) Equation ( 2 ) is linear in
$\pi $
, therefore mixtures of steady distributions are also steady. Thus, if
$\zeta $
is a uniformly chosen random vertex in
$\Upsilon \left(t\right)$
then the distribution of
$\Upsilon \left(t\right)\downarrow \zeta $
(which is a random probability distribution on
$\mathcal{G}$
) is also steady. By part (b) with probability one these distributions converge (in distribution) to
$\pi w$
and from this an easy consideration shows that
$\pi w$
must satisfy ( 2 ).
7 Asymptotic growth
In our theorems we determined the asymptotic ratio of vertices in
$\Upsilon \left(t\right)$
satisfying certain properties. It is also natural to ask if one can prove results about the asymptotic number of the respective vertices. As we have seen, this essentially requires to study the asymptotic behavior of
${Z}_{t}^{\Phi}$
for a suitable random characteristic
$\Phi $
. This has been done in the framework of general branching processes, we shall give a short overview of the relevant results.
We have already seen that
$$\begin{array}{ccc}\mathbf{E}\left({e}^{\lambda *t}{Z}_{t}^{\Phi}\right)\to \frac{1}{\kappa}\hat{\Phi}(\lambda *),& & \end{array}$$ 
(19)

where
$\kappa $
is the constant defined in ( 12 ). Thus we need to divide
${Z}_{t}^{\Phi}$
by
${e}^{\lambda *t}$
to get something nontrivial. Let us quote a weaker form of Theorem 5.4 of [
10]
.
Theorem B (Nerman, [10] ).
Consider a supercritical, Malthusian branching process with Malthusian parameter
$\lambda *$
. Suppose that condition (M) holds and
$\Phi $
is a random characteristic with properties described in Section 4 . Then almost surely
$${e}^{\lambda *t}{Z}_{t}^{\Phi}\to \frac{1}{\kappa}\hat{\Phi}(\lambda *)\Theta ,\text{as}t\to \infty ,$$
where
$\Theta $
is a random variable not depending on
$\Phi $
.
The necessary and sufficient condition for the random variable
$\Theta $
to be a.s. positive is the socalled
$xlogx$
property of the reproduction process
$\xi $
:
$$\begin{array}{c}\mathbf{E}\left(\widehat{\xi}\right(\lambda *\left){log}^{+}\widehat{\xi}\right(\lambda *\left)\right)<\infty .\end{array}$$ 
(L)

We quote Theorem 5.3 of [5] .
Theorem C (JagersNerman, [5] ).
Consider a supercritical, Malthusian branching process with Malthusian parameter
$\lambda *$
. If condition ( L ) holds then
$\Theta >0$
a.s. and
$\mathbf{E}(\Theta )=1$
; otherwise
$\Theta =0$
a.s.
Remark. This theorem is the generalization of the KestenStigum theorem, which states this fact for GaltonWatson processes (see [6] ).
Theorem B applies for the random tree model if condition (M) is fulfilled. We do not intend to identify the necessary and sufficient condition on the weight function
$w$
which would guarantee that the corresponding reproduction process possesses property (L). Still it is worth pointing out that if
$w\left(k\right)\to \infty $
as
$t\to \infty $
, then this property holds, this by Theorem C,
$\Theta $
is a.s. positive.
Lemma 1.
If a weight function
$w$
satisfies condition (M) and
$w\left(n\right)\to \infty $
, as
$n\to \infty $
, then the corresponding branching process satisfies condition (L).

Proof.
We will prove the existence of the second moment of
$\widehat{\xi}(\lambda *)$
from which condition (L) trivially follows. Since
$\widehat{\xi}(\lambda *)={\sum}_{i=1}^{\infty}{e}^{\lambda *{\sigma}_{k}}$
, we need
$$\begin{array}{ccc}\mathbf{E}{\left({\sum}_{k=1}^{\infty}{e}^{\lambda *{\sigma}_{k}}\right)}^{2}<\infty .& & \end{array}$$ 
(20)

The random variables
${\sigma}_{k+1}{\sigma}_{k}$
are independent exponentials for
$k=0,1,2,...$
with parameters
$w\left(0\right),w\left(1\right),...$
, respectively, thus a simple computation yields that the expression in ( 20 ) is equal to
$$\begin{array}{ccc}\widehat{\rho}(2\lambda *)+2{\sum}_{i=0}^{\infty}{\sum}_{j=0}^{i}\left({}^{j}{\prod}_{l=0}{\frac{w\left(l\right)}{2\lambda *+w\left(l\right)}}^{i}{\prod}_{l=j+1}\frac{w\left(l\right)}{\lambda *+w\left(l\right)}\right).& & \end{array}$$  
Transforming the double sum on the right, we get
$$\begin{array}{ccc}{\sum}_{i=0}^{\infty}\left({}^{i}{\prod}_{l=0}\frac{w\left(l\right)}{\lambda *+w\left(l\right)}\right){{\sum}_{j=0}^{i}}^{j}{\prod}_{l=0}\frac{\lambda *+w\left(l\right)}{2\lambda *+w\left(l\right)}\le {sup}_{i}{{\sum}_{j=0}^{i}}^{j}{\prod}_{l=0}\frac{\lambda *+w\left(l\right)}{2\lambda *+w\left(l\right)}& & \end{array}$$  
where we also used
$\widehat{\rho}(\lambda *)=1$
. On the other hand,
$$\begin{array}{ccc}{{\sum}_{j=0}^{i}}^{j}{\prod}_{l=0}\frac{\lambda *+w\left(l\right)}{2\lambda *+w\left(l\right)}={{\sum}_{j=0}^{i}}^{j}{\prod}_{l=0}{\frac{w\left(l\right)}{\underline{\lambda}+w\left(l\right)}}^{j}{\prod}_{l=0}\frac{(\underline{\lambda}+w(l\left)\right)(\lambda *+w(l\left)\right)}{w\left(l\right)(2\lambda *+w(l\left)\right)}.& & \end{array}$$  
Since
$w\left(l\right)\to \infty $
and
$\underline{\lambda}<\lambda *$
, we have
$$\begin{array}{ccc}\frac{(\underline{\lambda}+w(l\left)\right)(\lambda *+w(l\left)\right)}{w\left(l\right)(2\lambda *+w(l\left)\right)}<1& & \end{array}$$  
if
$l$
is large enough. This leads to
$${{\sum}_{j=0}^{i}}^{j}{\prod}_{l=0}\frac{\lambda *+w\left(l\right)}{2\lambda *+w\left(l\right)}<K{{\sum}_{j=0}^{i}}^{j}{\prod}_{l=0}\frac{w\left(l\right)}{\underline{\lambda}+w\left(l\right)}<K\widehat{\rho}\left(\underline{\lambda}\right)<\infty ,$$
by condition (M) which completes the proof of the lemma.
The distribution of
$\Theta $
is usually hard to determine from the weight function
$w$
, however, one can characterize its moment generating function
$\phi \left(u\right)=\mathbf{E}{e}^{u\Theta}$
. Using the idea of the basic decomposition ( 14 ) one can write the following equation for
$f(u,t):=\mathbf{E}{e}^{u\left\Upsilon \left(t\right)\right}$
$$f(u,t)={e}^{u}\mathbf{E}{\prod}_{j\ge 1}f(u,t{\tau}_{j}).$$
By Theorem 4
$$\begin{array}{ccc}\phi \left(u\right)={lim}_{t\to \infty}f(u{e}^{\lambda *t},t)& & \end{array}$$ 
(21)

which gives
$$\begin{array}{ccc}\phi \left(u\right)=\mathbf{E}{\prod}_{j\ge 1}\phi \left(u{e}^{\lambda *{\tau}_{j}}\right).& & \end{array}$$ 
(22)

It can be proved that this equation characterizes
$\phi $
as there is no other bounded function satisfying it with a right derivative
$1$
at 0. (See Theorem 6.8.3 in [4] .) In the linear case (
$w\left(k\right)=k+\beta $
) the distribution of
$\Theta $
may be explicitly calculated.
Using the fact that
$\left\Upsilon \left(t\right)\right$
is now a Markov process (which is an easy exercise to prove) and applying standard martingale techniques one can derive a partial differential equation for
$f(u,t)$
. Solving this pde and using the limit ( 21 ) we get the momentum generating function of
$\omega $
from which one can identify the distribution of
$\Theta $
as a Gamma distribution with parameters
$(\frac{\beta}{\beta +1},\frac{\beta}{\beta +1})$
.
Acknowledgements: We are thankful to JF. Le Gall for having called our attention to his review paper [
8]
and the reference [
5]
therein. This work was partially supported by the Hungarian Scientific Research Fund (OTKA) grants no. T037685 and TS40719. References

Barabási, A.L., Albert, R., Emergence of scaling in random networks, Science, 286 (1999), 509512

Bollobás, B., Mathematical results on scalefree random graphs, in: S. Bornholdt and H.G. Schuster, editors, Handbook of Graphs and Networks, pp 134, Wiley, 2002.

Bollobás, B., Riordan, O., Spencer, J., Tusnády, G., The degree sequence of a scalefree random graph process, Random Structures and Algorithms, 18 (2001), 279290.

Jagers, P., Branching Processes with Biological Applications, Wiley, 1975

Jagers, P., Nerman, O., The growth and composition of branching populations, Adv. Appl. Prob., 16, (1984) 221259

Kesten, H. Stigum, B., A limit theorem for multidimensional GaltonWatson processes. Ann. Math. Statist. 37 (1966) 12111223

Krapivsky, P. L., Redner, S., Organization of Growing Random Networks, Physical Review E, 63, 066123 (2001)

Le Gall, JF., Processus de branchement, arbres et superprocessus, in: Pier JP., editor, Development of mathematics 19502000, pp 763793, Birkhäuser, 2000.

Móri, T., On random trees, Studia Sci. Math. Hungar., 39 (2002),143155.

Nerman, O., On the convergence of supercritical (CMJ) branching processes, Z. Wahrscheinlichkeitstheorie verw. Geb., 57, (1981), 365395

Olivieri, R., Spencer, J., Connectivity transitions in networks with superlinear preferential attachment, Internet Mathematics, to appear

Olofsson, P., The
$xlogx$
condition for general branching processes, J. Appl. Prob., 35, (1998) 537544
Anna Rudas & Balint Toth Institute of Mathematics Technical University Budapest Egry Jozsef u. 1.
H1111 Budapest, Hungary
{rudasa,balint}@math.bme.hu Benedek Valko Renyi Inst. of Math. Hung. Acad. of Sciences Realtanoda u. 1315 H1053 Budapest, Hungary valko@renyi.hu