Abstract
Motivated by a seminal paper of Kesten et al. (Ann. Probab., 3(1), 1–31, 1975) we consider a branching process with a conditional geometric offspring distribution with i.i.d. random environmental parameters An, n ≥ 1 and with one immigrant in each generation. In contrast to above mentioned paper we assume that the environment is long-tailed, that is that the distribution F of \(\xi _{n}:=\log ((1-A_{n})/A_{n})\) is long-tailed. We prove that although the offspring distribution is light-tailed, the environment itself can produce extremely heavy tails of the distribution of the population size in the n th generation which becomes even heavier with increase of n. More precisely, we prove that, for all n, the distribution tail \(\mathbb {P}(Z_{n} \ge m)\) of the n th population size Zn is asymptotically equivalent to \(n\overline F(\log m)\) as m grows. In this way we generalise Bhattacharya and Palmowski (Stat. Probab. Lett., 154, 108550, 2019) who proved this result in the case n = 1 for regularly varying environment F with parameter α > 1. Further, for a subcritical branching process with subexponentially distributed ξn, we provide the asymptotics for the distribution tail \(\mathbb {P}(Z_{n}>m)\) which are valid uniformly for all n, and also for the stationary tail distribution. Then we establish the “principle of a single atypical environment” which says that the main cause for the number of particles to be large is the presence of a single very small environmental parameter Ak.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and main results
Branching processes considered in this paper are motivated by works of (Solomon 1975) and (Kesten et al. 1975), who analysed a neighbourhood random walk in random environment. This is a random walk \((X_{t}, t\in \mathbb {Z}^{+})\) on \(\mathbb {Z}\) defined in the following way. Consider a collection \((A_{i}, i \in \mathbb {Z}^{+})\) of i.i.d. (0,1)-valued random variables. Let \(\mathcal {A}\) be the σ-algebra generated by \((A_{i},i\in \mathbb {Z}^{+})\). Let \((X_{k}, k \in \mathbb {N})\) be a random walk in random environment, that is a collection of \(\mathbb {Z}\)-valued random variables such that X0 = 0 and, for k ≥ 0,
and
for all \(i_{j} \in \mathbb {Z}\), 0 ≤ j ≤ k. The collection \((A_{i},i\in \mathbb {Z}^{+})\) is called a random environment.
For this random walk, (Kesten et al. 1975) studied the appropriately scaled limiting distribution of the hitting time \(T_{n}=\inf \{k > 0: X_{k} =n\}\) of any state \(n\in \mathbb {Z}\). Their analysis is based on the representation of Tn, n > 0 in terms of the total number of particles up to the n th generation of a certain branching process in random environment with size-1 immigration at each generation step. In this model the offspring distribution in the n th generation is geometric with a random parameter An.
In other words, let (Zn,n ≥ 0) be a branching process in random environment with one immigrant each time that starts from Z0 ≡ 0. Then the following representation holds:
where, conditioned on An, (Bn+ 1,i,i ≥ 1) are independent copies of a geometric random variable Bn+ 1 with probability mass function
Denote
so ξn(ω) > 0 if and only if An(ω) < 1/2, let F be the common distribution of ξn.
Following (Kesten et al. 1975), let \({U_{i}^{n}}\) denote the number of transitions of (Xk,k ≥ 0) from i to i − 1 within time interval [0,Tn), i.e.,
where Card(C) is the cardinality of the set C. It is easy to derive that
Note that \({U_{i}^{n}} = 0\) for all i ≥ n and \(U:={\sum }_{i \le 0} {U_{i}^{n}} < \infty \) a.s. if \(X_{k} \to \infty \) a.s. as \(k \to \infty \). It has been established in (Kesten et al. 1975), that
Then (Kesten et al. 1975) have analysed Tn under the so-called “Kesten assumptions” on the environment:
and there exists a unique positive solution κ to the equation
In particular, the assumption Eq. 6 implies that the random variable ξ has an exponentially decaying right tail. It was shown in (Kesten et al. 1975) that, under the assumptions Eq. 5–Eq. 6, the distributions of appropriately scaled random variables Tn and \({\sum }_{k=0}^{n-1} Z_{k}\) become close to each other and converge, as \(n\to \infty \), to the distribution of a κ-stable random variable.
The tail asymptotics for the branching process Zn under the assumptions Eq. 5–Eq. 6 were studied by (Dmitruschenkov and Shklyaev 2017) for all three regimes, subcritical, critical, and supercritical.
The aim of our paper is to study the asymptotic behaviour of the branching process Zn under the complementary assumption that the distribution F of the random variable ξ is long-tailed, that is, \(\overline {F}(x)>0\) for all x and
for some (and therefore for all) fixed y. Here \(\overline F(x)=1-F(x)\) is the tail distribution function and equivalence Eq. 7 means that the ratio of the left- and right-hand sides tends to 1 as x grows, for all y. In particular, Eq. 7 implies that F is heavy-tailed, i.e. \({\mathbb E} e^{c\xi }=\infty \) for all c > 0. Given Eq. 7, the distribution G defined by its tail as \(\overline G(x)=\overline F(\log x)\), x ≥ 1, is slowly varying at infinity and therefore subexponential, that is,
see, e.g. Theorem 3.29 in (Foss et al. 2013).
A distribution F with finite mean is called strong subexponential if
Any strong subexponential distribution F is subexponential, and its integrated tail distributionFI with the tail distribution function
is subexponential too (see e.g. (Foss et al. 2013, Theorem 3.27)). In what follows, we write \(F_{I}(x,y]:=\overline F_{I}(x)-\overline F_{I}(y)\).
We start now with our first main result.
Theorem 1.1
Under the assumption Eq. 7,
If, in addition, the distribution F is subexponential, then, for any fixed n ≥ 2,
Theorem 1.1 shows that the tail of Z1 is surprisingly heavy and is getting heavier in each next generation. What should be underlined, this type of behaviour is a consequence of the environment only, and not of the branching mechanism which is of geometric type. In contrast to a series of papers (Seneta 1973), (Darling 1970), (Schuh and Barbour 1977), (Hong and Zhang 2019), we do not analyse the convergence results for \(n\to \infty \), with focusing on the tail behaviour of the distribution of Zn for each n.
Consider now a branching process with state-independent immigration satisfying the stability condition
The classical Foster criterion implies that the distribution of Zn stabilises in time, i.e. the distribution of the Markov chain Zn converges to a unique limiting/stationary distribution as n grows. It follows from Theorem 1.1 that, for any n, the tail of the stationary distribution must be asymptotically heavier than \(n\overline {F}(\log m)\), i.e. \(\mathbb {P}(Z>m)/\overline {F}(\log m)\to \infty \) as \(m\to \infty \), where Z is sampled from the stationary distribution. The distribution tail asymptotics of Zn and Z are specified in the following two results. The first result provides two asymptotic lower bounds, for finite and infinite time horizons, where the first bound is uniform for all generations.
Theorem 1.2
Let the stability condition Eq. 10 hold and
or, equivalently, ξ be bounded below by \(\log (1/\widehat A-1)\). Then the following lower bounds hold.
(i) If the distribution F is long-tailed, then
(ii) If the integrated tail distribution FI is long-tailed, then
The next result presents conditions for the existence of upper bounds that match the lower bounds of Theorem 1.2.
Theorem 1.3
Let the stability condition Eq. 10 hold and the distribution F be such that
Then the following upper bounds hold.
(i) If the distribution F is strong subexponential, then
(ii) If the integrated tail distribution FI is subexponential, then
Distributions satisfying the first condition in Eq. 14 are called square-root insensitive, see e.g. (Foss et al. 2013, Sect. 2.8). Typical examples of distributions satisfying Eq. 14 are: any regularly varying distribution, the log-normal distribution and a Weibull distribution with parameter less than 1/2.
We do not know, how essential is the square-root insensitivity condition for the upper bounds in Theorem 1.3 to hold. In the literature, there are various scenarios where extra randomness leads to appearance of further terms in the tail asymptotics due to the effects caused by the central limit theorem. Namely, for the Weibull distribution \(\overline {F}(x) =\exp (-x^{\beta })\) with parameter β ∈ [1/2,1), the number of extra terms appearing in the tail asymptotics depends on the interval [n/(n + 1),(n + 1)/(n + 2)), n = 1, 2, … the parameter β belongs to – see e.g. (Asmussen et al. 1998) and (Foss and Korshunov 2000) for the distributional tail asymptotics of the stationary queue length in a single-server queue or (Denisov et al. To appear) for the tail asymptotics of the stationary distribution in a Markov chain with asymptotically zero drift. However, we are not certain that similar arguments may be relevant to the model considered in the present paper.
If the distribution F satisfies all the conditions of Theorems 1.2 and 1.3, then the corresponding lower and upper bounds match each other and we conclude the following tail asymptotics.
Theorem 1.4
Let the stability condition Eq. 10 hold, and the distribution F satisfy Eq. 14 and be bounded below in the sense of Theorem 1.2. Then the following tail asymptotics hold.
(i) If the distribution F is strong subexponential, then
(ii) If the integrated tail distribution FI is subexponential, then
These asymptotics may be intuitively interpreted as follows: Zn takes a large value if one of the ξ’s is sufficiently large, i.e. one of the success probabilities A’s is small. This phenomenon may be named as the principle of a single atypical environment and formulated as follows.
For any c > 1 and ε > 0 let us introduce events
where Sj,n := ξj + … + ξn. The event \(E_{n}^{(k)}(m,c,\varepsilon )\) describes all trajectories such that the value of Zk is relatively small, then the success probability Ak is close to zero and, as a result, a single atypical environment occurs, and after time k the environment follows the strong law of large numbers with drift − a. As stated in the next theorem, the union of all these events provides the most probable way for the large deviations of Zn to occur.
Theorem 1.5
Assume that conditions of Theorems 1.2 and 1.3 hold. Then, for any fixed ε > 0,
A similar phenomenon has been observed by (Vatutin and Zheng 2012) for the survival probability of a subcritical branching process in random environment without immigration where the increments of the associated random walk have a regularly varying at infinity distribution.
Let us highlight a natural link of branching processes in random environment to stochastic difference equations. It follows from the recurrence equation
that, for each n, the conditional expectation of Zn,
is distributed as a finite time horizon perpetuity, and its limit \(\mathbb {E}(Z\mid \mathcal A)\) as the solution to the stochastic fixed point equation. Their tail asymptotic behaviour in the subexponential case is the same as given in Eq. 17–Eq. 18, that is,
see (Dyszewski 2016) for Eq. 22 and (Korshunov 2021) for general case.
The remainder of the paper is dedicated to the proofs of the results above. We close our paper by Section 6 which contains some discussion and possible extensions.
2 Finite time horizon tail asymptotics, proof of Theorem 1.1
Let B have, conditionally on A, a geometric distribution with probability mass function
Then,
Next, for k conditionally independent copies B(1), …, B(k) of B, the event B(1) + … + B(k) > m may be described as the number of successes in the first of corresponding m + k Bernoulli trials is smaller than k, which yields the following binomial representation that is convenient for further analysis,
The above representations call for the following two auxiliary results.
Lemma 2.1
Under the assumption Eq. 7,
Lemma 2.2
Under the assumption Eq. 7, there exist \(\gamma <\infty \) and ε > 0 such that
In particular, for any fixed j ≥ 1,
Proof Proof of Lemma 2.1
Since, for any fixed ε > 0,
is exponentially decreasing as \(m\to \infty \), the asymptotic behaviour of the right-hand side in Eq. 25 is determined by the tail behavior of A near 0. Notice that, for 0 < a < b < 1,
Hence, for any fixed c > 0, we have
It follows from the long-tailedness of the distribution F of ξ that the right-hand side of above equation is asymptotically equivalent to \(e^{-c}\overline F(\log m)\) as \(m\to \infty \). Letting c ↓ 0 we complete the proof of the lower bound
To obtain the matching upper bound, let us consider the following decomposition which is valid for all integer K ∈ [1,[m/2] − 1]:
Let us show that the series in the middle term in the last line is negligible for large values of K. Indeed, firstly,
and hence
Since the distribution F is assumed long-tailed, \(\overline F(x-1)\le e \overline F(x)\) for all sufficiently large x. Hence, there exists a constant \(\gamma <\infty \) such that \(\overline F(x-y)\le \gamma e^{y} \overline F(x)\) for all x, y > 0. Therefore,
where
Hence we conclude that
Due to the long-tailedness of F this implies that, for any fixed K,
The long-tailedness of F also implies that \(2^{m}\overline F(\log m)\to \infty \). Thus
and since ε(K) → 0 as \(K\to \infty \), the proof is complete. □
Proof Proof of Lemma 2.2
There exist \(K\in \mathbb N\) and ε1 > 0 such that the following inequalities hold
and
Similar to the case j = 0 considered in the proof of Lemma 2.1, we make use of the following decomposition:
The maximum of the function xj(1 − x)m over the interval [0,1] is attained at point j/(m + j) and is equal to jjmm/(m + j)m+j. Therefore, for some ε = ε(K) ≤ ε1,
owing to the long-tailedness of F. Further, the series on the right hand side of Eq. 31 possesses the following upper bound
because (1 − kj/3m)m ≤ e−kj/3. Let us now bound the latter series. It follows from the inequality Eq. 29 that
Then, using arguments similar to those in Eq. 28,
which implies the result due to the inequalities Eq. 32 and
which is guarantied by Eq. 30. □
Proof Proof of Theorem 1.1
We prove the statement by induction in n ≥ 1. The assertion for n = 1 follows from the equality
the representation Eq. 23 and Lemma 2.1. Assume that the assertion of Theorem 1.1 is valid for some n ≥ 1. Let us show that then it follows for n + 1 ≥ 2. Our aim is to obtain the tail asymptotics of the distribution of
where (Bn+ 1,i,i ≥ 1) are independent copies of a geometric random variable Bn+ 1 with success probability An (its probability mass function is specified in Eq. 2) and independent of Zn conditioned on \(\mathcal {A}\). Then the following representation holds
where we have conditioned on \(\mathcal {A}\) and used the fact that Zn and (Bn+ 1,i,i ≥ 1) are independent conditioned on \(\mathcal {A}\).
We start with the proof of the upper bound. For that, let us split the summation in Eq. 34 into three parts, from 0 to K, from K + 1 to εm − 1 and from εm to \(\infty \) where integer K is chosen large enough and real ε > 0 small enough. This splitting together with non-negativity of the B’s implies that
By the induction hypothesis and long-tailedness of F, for any fixed ε,
So it is left to show that, for any fixed K,
and that, for any δ > 0, there exist a sufficiently large K and a sufficiently small ε > 0 such that
We start with proving Eq. 36.
Let ξ(A) be a Bernoulli random variable with success probability A and Sm+k(A) be the sum of m + k independent copies of ξ(A). It follows from the representation Eq. 24 that
The minimal value of the right hand side is attained for β such that \(e^{-\beta }=\frac {(1-A)(k-1)}{A(m+1)}\), hence
This allows us to conclude from Lemma 2.2 that, for k ≤ εm,
Therefore,
Representing \(\mathbb {P}(Z_{n} = k)\) as the difference \(\mathbb {P}(Z_{n}\!>\!k-1)-\mathbb {P}(Z_{n}\!>\!k)\) and rearranging the sum on the right hand side we conclude that this sum is not greater than
Then the induction hypothesis yields an upper bound, for some \(\gamma _{1}<\infty \),
Due to the long-tailedness of F, for any δ > 0 there exists a sufficiently large K such that the first term on the right hand side is not greater than \(\delta \overline F(\log m)\), for all sufficiently large m. After rearranging we conclude that the sum on the right hand side is not greater than
Since F is long-tailed, the first term here is asymptotically equivalent to
so it is not greater than \(\delta \overline F(\log m)\) for all sufficiently large m provided \(\overline F(\log (1/\varepsilon ))\le \delta /2\). The sum in Eq. 37 equals
where the distribution G is defined via its tail as \(\overline G(x)=\overline F(\log x)\), and can be bounded by the integral
Since the distribution F is assumed to be subexponential, we can choose a sufficiently large K and a sufficiently small ε > 0 such that the latter probability is not greater than \(\delta \overline F(\log m)\) for all sufficiently large m, see (Foss et al. 2013, Theorem 3.6), which completes the proof of Eq. 36.
To complete the proof of the upper bound it now suffices to show Eq. 35. This follows immediately from the representation Eq. 24, the asymptotics Eq. 26 and Lemma 2.1.
We will obtain now the matching lower bound. For that, let us split the sum in Eq. 34 into two parts, from 0 to cm and from cm + 1 to \(\infty \) where c is a large number sent to infinity later on. This splitting implies that
since all the B’s are non-negative. By Lemma 2.1,
Further, by the law of large numbers,
Hence, the dominated convergence theorem allows us to conclude that
Finally, by the induction hypothesis and long-tailedness of F, for any fixed c,
Substituting Eq. 39–Eq. 41 into Eq. 38 and letting \(c\to \infty \) we conclude the induction step for the lower bound. □
3 Proof of the lower bound, Theorem 1.2
Note that, by the strong law of large numbers, for any fixed ε > 0,
where
and Sk,n = ξk + … + ξn.
We show that, under the long-tailedness condition Eq. 7, the most probable way for a big value of Zn to occur is due to atypical random environment when one of the following events occurs, k ≤ n − 1:
where
\(a_{A}:=\mathbb {E} \{B\mid A\}=1/A-1=e^{\xi }\), c1, c2, ε > 0 are fixed, c2 will be sent to infinity later on, while c1 and ε will be sent to 0. Since A is bounded by \(\widehat A<1\), aA is bounded away from 0 by \(1/\widehat A-1\).
Let us bound from below the probability of the union of events CA(k,n). We start with the following lower bound
On the event CS(c2,ε,k + 1,n − 1) we have
and hence
and
As follows from Eq. 27,
since the tail function \(\overline F(x)\) is decreasing. Therefore,
as \(m\to \infty \) uniformly for all n ≥ 1 because the distribution F is long-tailed. Similarly,
Therefore,
and, as \(m\to \infty \) uniformly for all n ≥ 1,
because the integral tends to 0 due to the integrability of the tail of F. Substituting these bounds into Eq. 43 and applying Eq. 42, for any fixed ε > 0 we can conclude the following lower bound,
as \(m\to \infty \) uniformly for all n ≥ 1, where g(c2) → 1 as \(c_{2}\to \infty \).
As above, conditioning on \(\mathcal A\) yields
where \(C_{A}(n):=\bigcup _{k=0}^{n-1} C_{A}(k,n)\). Then, owing to Eq. 45, for the proof of Eq. 12 it suffices to show that
Hence we are left with the proof of Eq. 47. Since the event CA(n) is the union of events CA(k,n), k ≤ n − 1, the probability of the event
conditionally on CA(n), possesses the following asymptotic lower bound
Therefore, it only remains to show that
as \(m\to \infty \) uniformly for all k ≤ n − 1 and n ≥ 1.
To prove this convergence, let us note that, conditioned on \(\mathcal A\),
Applying the exponential Markov inequality, we obtain the following upper bound, for all λ > 0,
Since
and since A is bounded away from 1, there exists a sufficiently small λ0 > 0 such that
Therefore,
which, due to monotonicity property of the branching process Zn, implies that
Then the induction arguments lead to the following upper bound
We take
to conclude that
Due to the representation
we get
for any sequence of ξ’s such that
which is the case on CS(c2,ε,k,n − 1) and hence on CA(k,n), as follows from the first inequality in Eq. 44 for all \(\varepsilon \in (0,-\mathbb {E}\xi )\). So, we have shown Eq. 48, and the proof of the first lower bound in Theorem 1.2 is complete.
The lower limit for the stationary distribution follows similar arguments if we start with an analogue of Eq. 46,
Then, similar to Eq. 45, we may use the fact that FI is long-tailed to conclude that
which together with Eq. 47 justifies the lower bound for the stationary tail distribution.
4 Proof of the upper bound, Theorem 1.3
Let Wn be a branching process without immigration, that is, W0 = 1 and
Let \(W_{n}^{(0)}\) be the number of particles in Zn generated by the immigrant arriving at time 0, \(W_{n}^{(1)}\) be the number of particles in Zn generated by the immigrant arriving at time 1 and so on. All these processes extinct in a finite time and are independent being conditioned on the environment \(\mathcal A\). In addition, \(W_{n}^{(k)}\) has the same distribution with Wn−k given the same success probabilities. By the definition of Zn,
and hence, for any fixed ε > 0,
Splitting the area of integration into two parts, we get the following upper bound
Using Eq. 10 and strong subexponentiality of F we conclude that
as \(m\to \infty \) uniformly for all n, see (Korshunov 2002) and also (Foss et al. 2013), Theorem 5.3.
Further, by the Markov inequality,
Hence, on the event \(\{S_{k,n-1}\le \log m-\sqrt {\log m}-2\varepsilon (n-k) \text { for all }k\in [0,n-1]\}\) we have
which implies that
Substituting Eqs. 52 and 53 into Eq. 51, we deduce that, uniformly for all n ≥ 1,
By the condition Eq. 14, \(\overline F(\log m-\sqrt {\log m})\sim \overline F(\log m)\) and \(\overline F(\log m)e^{\sqrt {\log m}}\to \infty \) as \(m\to \infty \), hence
uniformly for all n ≥ 1. Due to the arbitrary choice of ε > 0, the proof of the upper bound Eq. 15 is complete.
The above arguments can be streamlined if we made use of the link Eq. 20 to stochastic difference equations. Indeed, conditioning on the environment leads to
For the first term on the right hand side we apply the asymptotics Eq. 21. To estimate the second term, we can apply the Markov inequality to get
on the event \(\mathbb {E}(Z_{n}\mid \mathcal A)\le me^{-\sqrt {\log m}}\) which completes the proof.
The proof of the stationary upper bound Eq. 16 follows similar arguments with initial upper bound
and further use of the asymptotics Eq. 22 instead of Eq. 21 which is valid due to subexponentiality of the integrated tail distribution FI. The proof of Theorem 1.3 is complete.
5 Proof of the principle of a single atypical environment, Theorem 1.5
As follows from the arguments presented in Section 3, for any fixed c and ε > 0,
and the event presented on the left hand side implies Zn > m with high probability, that is,
Then the equality
and Theorem 1.3 imply that
Letting ε ↓ 0 concludes the proof.
6 Related models
The techniques developed in this paper may be applied to analysing a variety of similar models. We mention here a few of them.
Non-geometric offspring distribution
Our analysis of the tail asymptotics of Zn is particularly based on the representations Eqs. 23 and 24 available for conditionally geometric distribution of the number of offsprings B. In the case of light-tailed ξ this assumption on B is not essential as recent contributions by (Buraczewski and Dyszewski 2018) or (Basrak and Kevei 2020) demonstrate. It would be of interest to develop a technique needed for non-geometric setting in the case of heavy-tailed ξ too.
Random-size immigration
One may replace size-1 immigration by a random-size-immigration where random sizes are i.i.d. and independent of everything else, with a common light-tailed distribution – or, more generally, the sizes may be stochastically bounded by a random variable with a light-tailed distribution.
A branching process \(\{\widehat {Z}_{n}, n\ge 0\}\) with state-dependent size-1 immigration is a particular case here: an immigrant arrives only when the previous generation produces no offspring:
Clearly, \(\widehat {Z}_{n} \le Z_{n}\) a.s., for any n. Moreover, one can show that, for each n, the low bounds for \(\mathbb {P}(Z_{n}>m)\) and \(\mathbb {P}(\widehat {Z}_{n}>m)\) are asymptotically equivalent. Then, in particular, the statement of Theorem 1.1 stays valid with \(\widehat {Z}_{n}\) in place of Zn.
Continuous-space analogue
Instead of the recursion Eq. 1, one may consider a “continuous-space” recursion of the form
where Bn are subordinators with a light-tailed distribution of the Levy measure (that depends on random parameters) and {Yn} are i.i.d. “innovations” with a light-tailed distribution. A similar problem for a branching process with immigration, but without random environment has been studied in a recent paper by (Foss and Miyazawa 2020).
References
Asmussen, S., Klüppelberg, C., Sigman, K.: Sampling at subexponential times, with queueing applications. Stoch Process. Appl. 79, 265–286 (1998)
Basrak, B., Kevei, P.: Limit theorems for branching processes with immigration in a random environment. arXiv:2002.00634v1 (2020)
Bhattacharya, A., Palmowski, Z.: Slower variation of the generation sizes induced by heavy-tailed environment for geometric branching. Stat. Probab. Lett. 154, 108550 (2019)
Bingham, N.H., Goldie, C.M., Teugels, J.L.: Regular variation, Volume 27 of Encyclopedia of Mathematics and Its Applications. Cambridge University Press, Cambridge (1987)
Buraczewski, D., Dyszewski, P.: Precise large deviation estimates for branching process in random environment. Elec. J Probab. 23, 1–16 (2018)
Darling, D.A.: The Galton-Watson process with infinite mean. J. Appl. Prob. 7, 455–456 (1970)
Denisov, D., Korshunov, D., Wachtel, V.: At the Edge of Criticality: Markov Chains with Asymptotically Zero Drift. Cramér–Doob’s Approach to Lamperti’s Problem. Springer (To appear)
Dmitruschenkov, D.V., Shklyaev, A.V.: Large deviations of branching processes with immigration in random environment. Discrete Math. Appl. 27, 361–376 (2017)
Dyszewski, P.: Iterated random functions and slowly varying tails. Stochastic Process Appl. 126, 392–413 (2016)
Foss, S., Korshunov, D.: Sampling at a random time with a heavy-tailed distribution. Markov Proc. Rel Fields 6(4), 543–568 (2000)
Foss, S., Korshunov, D., Zachary, S.: An Introduction to Heavy-tailed and Subexponential Distributions, 2nd Edition. Springer, New York (2013)
Foss, S., Miyazawa, M.: Tails in a fixed-point problem for a branching process with state-independent immigration. Marc. Proc. Rel Fields 26, 619–636 (2020)
Hong, W., Zhang, X.: Asymptotic behaviour of heavy-tailed branching processes in random environments. Electron. J Probab. 24, 56 (2019)
Kesten, H., Kozlov, M. V., Spitzer, F.: A limit law for random walk in a random environment. Compositio Mathematica 30(2), 145–168 (1975)
Korshunov, D.: Large-deviation probabilities for maxima of sums of independent random variables with negative mean and subexponential distribution. Theory Probab. Appl. 46, 355–366 (2002)
Korshunov, D.: In: A Lifetime of Excursions Through Random Walks and Lévy Processes: In: A Volume in Honour of Ron Doney’s 80th Birthday. Kyprianou, A. E. & Chaumon, L. (eds.). Birkhauser, (Progress in Probability; vol. 78), (2021)
Seneta, E.: The simple branching process with infinite mean I. J. Appl. Prob. 10, 206–212 (1973)
Schuh, H.J., Barbour, A.D.: On the asymptotic behaviour of branching processes with infinite mean. Adv. Appl. Prob. 9, 681–723 (1977)
Solomon, F.: Random walks in a random environment. Ann. Probab. 3(1), 1–31 (1975)
Vatutin, V., Zheng, X.: Subcritical branching processes in a random environment without the Cramer condition. Stochastic Process Appl. 122, 2594–2609 (2012)
Acknowledgements
The authors are very thankful to two referees for their really valuable comments and suggestions.
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.
The work of S Foss and D Korshunov is partially supported by the RFBR grant 19-51-53010 (2019-2020). The work of Z Palmowski is partially supported by the Polish National Science Centre under the grant 2018/29/B/ST1/00756 (2019-2022).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Foss, S., Korshunov, D. & Palmowski, Z. Branching processes with immigration in atypical random environment. Extremes 25, 55–77 (2022). https://doi.org/10.1007/s10687-021-00427-1
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10687-021-00427-1
Keywords
- Branching process
- Random environment
- Random walk in random environment
- Subexponential distribution
- Slowly varying distribution