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

ポイントプロセスで生成される移民を伴う多型分岐過程

基本情報

論文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)で与えられる。