arXiv reader

Population size of critical Galton-Watson processes under small deviations and infinite variance

Vladimir Vatutin and Elena Dyakonova

arXiv
2602.02346v1 · PDF · 2 February 2026
Categories
math.PR
Licence
CC BY 4.0 The site shows the text.

Abstract

We study the evolution of the population size distribution of a critical Galton-Watson process with infinite variance of the offspring size of particles assuming that the population size is unusually small at the distant moment n of observation.

Items 8

Theorem

Theorem 1

FWQP

Let conditions (?) be valid for \alpha \in (0,1) and assumption (?) hold true. Then, for any \lambda >0

1) if m\rightarrow \infty and m=o(n) then

\lim_{n\rightarrow \infty }\mathbf{E}\left[ e^{-\lambda (1-f_{m}(0))Z(m)}| \mathcal{H}(n,\varphi (n))\right] =\frac{1}{\left( 1+\lambda ^{\alpha }\right) ^{1/\alpha +1}};

2) if m\sim \theta n for some \theta \in (0,1) then

\lim_{n\rightarrow \infty }\mathbf{E}\left[ e^{-\lambda (1-f_{m}(0))Z(m)}| \mathcal{H}(n,\varphi (n))\right] =\frac{1}{\left( 1-\theta +\left( \lambda \left( 1-\theta \right) ^{1/\alpha }+\theta ^{1/\alpha }\right) ^{\alpha }\right) ^{1/\alpha +1}};

3) if m=n-\psi (n), where n\gg \psi (n)\gg \varphi (n), then

\lim_{n\rightarrow \infty }\mathbf{E}\left[ e^{-\lambda (1-f_{\psi (n)}(0))Z(m)}|\mathcal{H}(n,\varphi (n))\right] =\frac{1}{\left( 1+\lambda \right) ^{\alpha +1}};

4) if m=n-y\varphi (n), where y\in (0,\infty ), then

\lim_{n\rightarrow \infty }\mathbf{E}\left[ e^{-\lambda (1-f_{n-m}(0))Z(m)}| \mathcal{H}(n,\varphi (n))\right] =\sum_{j=1}^{\infty }\frac{\alpha \Gamma \left( j+\alpha \right) }{j!\left( 1+\lambda \right) ^{\alpha +j}}yM^{\ast j}(y^{-1/\alpha }),

where \Gamma (\cdot ) is the standard Gamma-function and M^{\ast j}(x) is the j-th convolution of M(x) with itself;

5) if m=n-\chi (n) where n\gg \varphi (n)\gg \chi (n)\geq 0 then

\lim_{m\rightarrow \infty }\mathbf{E}\left[ e^{-\lambda \left( 1-f_{\varphi (n)}(0)\right) Z(m)}|\mathcal{H}(n,\varphi (n))\right] =\alpha \int_{0}^{1}x^{\alpha -1}e^{-\lambda x}dx.

In particular, if T\rightarrow \infty and T=o\left( (1-f_{n}(0))^{-1}\right) then

\lim_{m\rightarrow \infty }\mathbf{P}\left( Z(n)<xT|0<Z(n)\leq T\right) =x^{\alpha },\quad 0\leq x\leq 1.
Theorem

Theorem 2

1H23

Let condition (?) be valid for \alpha \in (0,1) and \varphi (n),\ n=1,2,..., be a deterministic function satisfying assumption (?). Then

\mathbf{P}\left( \mathcal{H}(n,\varphi (n))\right) \sim \frac{1-f_{n}(0)}{ \alpha n}\frac{1}{\Gamma \left( 1+\alpha \right) }\varphi (n).
Used by Remark 1
Remark

Remark 1

VJQI

Setting T=\left( 1-f_{\varphi (n)}(0)\right) ^{-1} and observing that

\frac{L\left( 1/T\right) }{T^{\alpha }}=\left( 1-f_{\varphi (n)}(0)\right) ^{\alpha }L\left( 1-f_{\varphi (n)}(0)\right) \sim \frac{1}{\alpha \varphi (n)}

as n\rightarrow \infty by (?), we may rewrite ( LargeDeviation) as

\mathbf{P}\left( 0<Z(n)\leq T\right) \sim \frac{1-f_{n}(0)}{\alpha n}\frac{1 }{\alpha \Gamma \left( 1+\alpha \right) }\frac{T^{\alpha }}{L\left( 1/T\right) }.
Uses Theorem 2 · Used by Remark 2
Remark

Remark 2

QBJR

If

f^{\prime }(1)=1,\quad \sigma ^{2}=f^{\prime \prime }(1)\in (0,\infty ),

then L(x)\to \sigma ^{2}/2 as x\downarrow 0 and (see, for instance, [AN72], Ch.1, Sec. 9)

1-f_{n}(0)\sim \frac{2}{\sigma ^{2}n},\quad n\rightarrow \infty .

Hence it follows that if n\gg \varphi (n)\rightarrow \infty then ( LargeDeviation) is replaced by

\mathbf{P}\left( 0<Z(n)<T\right) \sim \frac{4}{\sigma ^{4}n^{2}}T,

and is an evident corollary of the main result in [NW2006].

If, however, \alpha=1 and \sigma^2=\infty, then an asymptotic representation for \mathbf{P}\left( 0<Z(n)\leq T\right) similar to (1) is now know only for the case

\mathbf{P}\left( \xi \geq j\right) =\frac{\bar{L}(1/j)}{j^{2}},

where \bar{L}(z) is a function slowly varying at zero (see Remark 2 in [VDK2025]). Since in the arguments to follow we use only the form of the right-hand side of (1), one may check that all the statements of Theorem 1 remain valid if either the condition (2) or the conditin (2) is in force.

Theorem

Theorem 3

DXV6

(see [VDK2025]) Let condition (?) be valid for \alpha \in (0,1) and assumption (?) hold true. Then, for any y\in (0,\infty ) and any j\geq 1

\lim_{n\rightarrow \infty }\mathbf{P}\left( Z(n-y\varphi (n),n)=j|\mathcal{H} (n,\varphi (n))\right) =\frac{\alpha \Gamma \left( j+\alpha \right) }{j!} yM^{\ast j}(y^{-1/\alpha }).
Used by Corollary 1
Corollary

Corollary 1

PFSM

Under the conditions of Theorem 3, for any y\in (0,\infty )

\begin{aligned} &&\lim_{n\rightarrow\infty}\mathbf{P}\left( Z(n-y\varphi (n),n)=1|\mathcal{H}(n,\varphi (n))\right)\\ &&\qquad\qquad\quad=\lim_{n\rightarrow \infty }\mathbf{P}\left( d(n)\leq y\varphi (n)|\mathcal{H}(n,\varphi (n))\right) =\alpha\Gamma (1+\alpha) yM(y^{-1/\alpha }). \end{aligned}
Lemma

Lemma 1

OWWL

For any y>0

\sum_{j=1}^{\infty }\frac{\alpha \Gamma \left( j+\alpha \right) }{j!} yM^{\ast j}(y^{-1/\alpha })=1.
Lemma

Lemma 2

4W23

Let condition (?) be valid and \rho >0 be a fixed number. If l\rightarrow \infty then the parameter r satisfying the inequalities

1-f_{r+1}(0)\leq 1-f_{l}^{\rho }(0)<1-f_{r}(0)

has the asymptotic representation

r\sim l\rho ^{-\alpha },\quad l\rightarrow \infty .

Source and licence

The text on this page is from arXiv:2602.02346v1 by Vladimir Vatutin and Elena Dyakonova, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/2602/2602.02346.jsonl.