2025-11-22T08:07:16.567487

Multi-type branching processes with immigration generated by point processes

Minchev, Slavtchova-Bojkova

Following the pivotal work of Sevastyanov, who considered branching processes with homogeneous Poisson immigration, much has been done to understand the behaviour of such processes under different types of branching and immigration mechanisms. Recently, the case where the times of immigration are generated by a non-homogeneous Poisson process was considered in depth. In this work, we try to demonstrate how one can use the framework of point processes in order to go beyond the Poisson process. As an illustration, we show how to transfer techniques from the case of Poisson immigration to the case where it is spanned by a determinantal point process.

academic

Multi-type branching processes with immigration generated by point processes

基本信息

论文ID: 2411.12474
标题: Multi-type branching processes with immigration generated by point processes
作者: Martin Minchev, Maroussia Slavtchova-Bojkova
分类: math.PR (概率论)
发表时间: 2024年11月 (arXiv预印本)
论文链接: https://arxiv.org/abs/2411.12474

摘要

本文在Sevastyanov关于齐次泊松移民分支过程开创性工作的基础上，探讨了超越泊松过程的一般点过程框架在分支过程移民建模中的应用。作者展示了如何将泊松移民情况下的技术方法推广到由行列式点过程(Determinantal Point Process, DPP)驱动的移民情况，为分支过程理论提供了新的理论框架和分析工具。

研究背景与动机

问题定义

核心问题: 传统的分支过程移民模型主要基于泊松过程，但泊松过程具有等离散性假设和时间齐次性限制，在实际应用中存在局限性
重要性: 分支过程在生物学、流行病学、金融学等领域有广泛应用，更灵活的移民机制能更好地描述现实现象
现有局限性:
- 泊松过程的等离散性假设(方差等于均值)在实际中常不成立
- 时间齐次性限制了模型的适用性
- 缺乏处理一般点过程移民的统一理论框架

研究动机

建立基于一般点过程的分支过程移民理论框架
提供超越泊松过程限制的数学工具
为实际应用提供更灵活的建模选择

核心贡献

理论框架: 建立了基于点过程Laplace泛函的统一理论框架，用于分析一般点过程驱动的分支过程移民
生成函数推导: 给出了DPP、Cox过程和分数泊松过程移民情况下的概率生成函数显式表达式
渐近行为分析: 证明了DPP移民多类型分支过程在亚临界、临界和超临界情况下的极限定理
矩量计算: 推导了DPP移民情况下过程的均值和协方差的精确表达式
错误修正: 纠正了文献17, Theorem 8和36, Theorem 3中的技术错误

方法详解

任务定义

研究由一般点过程 $\Phi$ 驱动移民时间的多类型连续时间Markov分支过程 $Z(t) = (Z_1(t), \ldots, Z_d(t))$ 的渐近性质，其中：

$Z_i(t)$ 表示时刻 $t$ 第 $i$ 类粒子的数量
移民发生在点过程 $\Phi$ 的跳跃时刻 $T_1 < T_2 < \cdots$
每次移民带来独立同分布的粒子群 $I^{(k)} \sim I$

理论框架

点过程基础

定义点过程 $\Phi = \sum_{i \leq \kappa} \delta_{X_i}$ ，其关键特征包括：

强度测度: $\Lambda(B) = E[\Phi(B)]$
Laplace泛函: $L_\Phi(f) = E[e^{-\int f d\Phi}] = E[e^{-\sum_{i \leq \kappa} f(X_i)}]$
联合强度: $\rho_k(x_1, \ldots, x_k)$

生成函数表示

带移民分支过程的生成函数可表示为： $G_{Z(t)}(s) = L_\Phi(f_t), \quad f_t(x) = -\ln(G_{Z_\times(t-x)}(s))1_{\{x \leq t\}}$

其中 $Z_\times$ 是无移民的基础分支过程。

特殊点过程案例

行列式点过程(DPP)

对于 $(\Lambda, K)$ -DPP，联合强度为： $\rho_n(x_1, \ldots, x_n) = \det(K(x_i, x_j))_{1 \leq i,j \leq n}$

Laplace泛函为： $L_\Phi(f) = 1 + \sum_{n \geq 1} \frac{(-1)^n}{n!} \int_{\mathbb{R}_+^n} D(x) \prod_{i=1}^n (1-e^{-f(x_i)}) \Lambda(dx)$

Cox过程

对于导向测度为 $\eta$ 的Cox过程： $L_\Phi(f) = E\left[\exp\left(-\int_{\mathbb{R}_+} (1-e^{-f(x)}) \eta(dx)\right)\right]$

分数泊松过程

对于参数 $(\beta, \lambda)$ 的分数泊松过程： $L_\Phi(f) = E\left[\exp\left(-\lambda \int_{\mathbb{R}_+} (1-e^{-f(t)}) dY_\beta(t)\right)\right]$

其中 $Y_\beta$ 是 $\beta$ -稳定从属过程的逆过程。

主要理论结果

矩量性质(定理5.1)

对于 $(\Lambda, K)$ -DPP移民：

均值： $E[Z_i(t)] = \int_{(0,t]} K(x,x) E[Z_{\times,i}(t-x)] \Lambda(dx)$
协方差： $\text{Cov}(Z_i(t), Z_j(t)) = \int_{(0,t]} K(x,x) E[Z_{\times,i}(t-x)Z_{\times,j}(t-x)] \Lambda(dx)$ $- \int_{(0,t]^2} K^2(x,y) E[Z_{\times,i}(t-x)]E[Z_{\times,j}(t-y)] \Lambda(dx)\Lambda(dy)$

渐近行为(定理5.2)

设 $\rho$ 为生成矩阵 $A$ 的Perron-Frobenius根，若 $\int_{(0,\infty)} e^{-\rho x} K(x,x) \Lambda(dx) < \infty$ ，则存在 $\mathbb{R}^d$ 值随机变量 $W$ 使得： $\frac{Z(t)}{e^{\rho t}} \xrightarrow{d} W \quad (t \to \infty)$

精细渐近结果(定理5.3)

对于平稳DPP且 $\lambda(x) \sim \lambda_\infty e^{\delta x}$ ：

超临界情况 ( $\delta > \max\{\rho, 0\}$ )： $\frac{Z_i(t)}{e^{\delta t}} \xrightarrow{L^2} A_i = K^* \lambda_\infty \int_0^\infty e^{-\delta x} E[Z_{\times,i}(x)]dx$
临界增长 ( $\rho > 0, \delta = \rho$ )： $\frac{Z_i(t)}{te^{\delta t}} \xrightarrow{L^2} A_i' = K^* \lambda_\infty \langle u, E[I] \rangle v_i$
临界情况 ( $\rho = 0, \delta = 0$ )： $\frac{Z(t)}{t} \xrightarrow{d} Y v$ 其中 $Y \sim \Gamma(K(0,0)\lambda_\infty \beta, 1/Q)$
亚临界情况 ( $\rho < 0, \delta = 0$ )： $Z(t) \xrightarrow{d} X$ 其中 $X$ 的Laplace变换由式(6.17)给出。