We provide new connections between multitype $Î$-coalescents and multitype continuous state branching processes via duality and a homeomorphism on their parameter space. The approach is based on a sequential sampling procedure for the frequency process of independent CSBPs, and provides forward and backward processes for multitype population models under $Î$-type reproduction. It provides some insight on different approaches to generalise $Î$-coalescents to the multitype setup.
Multitype Λ-coalescents and continuous state branching processes 论文ID : 2501.00329标题 : Multitype Λ-coalescents and continuous state branching processes作者 : Adrián González Casanova, Noemi Kurt, Imanol Nuñez Morales, José Luis Pérez分类 : math.PR (概率论)发表时间 : 2024年12月31日 (arXiv预印本)论文链接 : https://arxiv.org/abs/2501.00329 本文通过对偶性和参数空间上的同胚映射,建立了多类型Λ-聚合过程与多类型连续状态分支过程之间的新联系。该方法基于独立连续状态分支过程频率过程的序列采样程序,为Λ-型繁殖下的多类型种群模型提供了前向和后向过程。这为将Λ-聚合过程推广到多类型设置的不同方法提供了深入见解。
历史发展 : Λ-聚合过程由Pitman和Sagitov引入,作为具有多重碰撞的聚合过程,在种群遗传学和概率论中具有重要意义现有理论 : 单类型情况下,Bertoin和Le Gall等学者建立了Λ-聚合过程与连续状态分支过程(CSBPs)之间的深刻联系多类型挑战 : 将这些理论推广到多类型情况面临技术挑战,存在不同的推广方式本文要解决的关键问题是:
如何在多类型设置下定义Λ-聚合过程的合适推广 建立多类型Λ-聚合过程与多类型CSBPs之间的精确数学联系 构造参数空间之间的同胚映射 理论完善 : 填补了多类型情况下聚合理论与分支过程理论之间的空白应用价值 : 为多类型种群模型提供了统一的理论框架方法论贡献 : 序列采样方法为研究频率过程提供了新工具建立了多类型Λ-聚合过程与多类型CSBPs之间的精确对偶关系 证明了参数空间之间的同胚性质,扩展了Caballero等人的一维结果 引入了序列采样程序来构造自主频率过程 证明了Johnston-Kyprianou-Rogers定义的多类型Λ-聚合过程是自然的推广 为多类型种群模型的前向和后向过程提供了统一框架 研究d类型连续状态分支过程X和Y的频率过程R = X/(X+Y),通过序列采样程序构造自主频率过程,并建立其与多类型Λ-聚合过程块计数过程的对偶关系。
多类型CSBP X = (X(t)){t≥0} 取值于ℝ^d +,由特征三元组(B, c, ν)刻画:
B ∈ ℝ^{d×d}{(+)}: 漂移矩阵,b 表示第j类对第i类的质量产生率 c ∈ ℝ^d_+: 扩散系数 ν = (ν_1,...,ν_d): 跳跃测度向量 生成算子作用于函数f ∈ C^2_c(ℝ^d_+)为:
A f ( x ) = ⟨ B x , ∇ f ( x ) ⟩ + ∑ i = 1 d c i x i ∂ i i f ( x ) + ∑ i = 1 d x i ∫ U d [ f ( x + w ) − f ( x ) − ⟨ ϕ i ( w ) , ∇ f ( x ) ⟩ ] ν i ( d w ) \mathcal{A}f(x) = \langle Bx,\nabla f(x)\rangle + \sum_{i=1}^d c_i x_i \partial_{ii}f(x) + \sum_{i=1}^d x_i \int_{U_d}[f(x+w)-f(x)-\langle\phi_i(w),\nabla f(x)\rangle]\nu_i(dw) A f ( x ) = ⟨ B x , ∇ f ( x )⟩ + ∑ i = 1 d c i x i ∂ ii f ( x ) + ∑ i = 1 d x i ∫ U d [ f ( x + w ) − f ( x ) − ⟨ ϕ i ( w ) , ∇ f ( x )⟩] ν i ( d w )
对于独立的X和Y,定义频率过程:
R i ( t ) = X i ( t ) X i ( t ) + Y i ( t ) , Z i ( t ) = X i ( t ) + Y i ( t ) R_i(t) = \frac{X_i(t)}{X_i(t) + Y_i(t)}, \quad Z_i(t) = X_i(t) + Y_i(t) R i ( t ) = X i ( t ) + Y i ( t ) X i ( t ) , Z i ( t ) = X i ( t ) + Y i ( t )
序列采样程序:
固定总质量z ∈ (0,∞)^d 构造纯跳跃马尔可夫过程R^n,跳跃率为n 当n→∞时,R^n收敛到序列采样过程R^{(z,r)} 序列采样过程满足SDE系统:
d R i ( z , r ) ( t ) = ∑ j ≠ i ( b i j z j z i + z j ∫ u i T z ν j ( d u ) ) ( R j ( z , r ) ( t ) − R i ( z , r ) ( t ) ) d t dR^{(z,r)}_i(t) = \sum_{j≠i}(b_{ij}\frac{z_j}{z_i} + z_j\int u_i T_z\nu_j(du))(R^{(z,r)}_j(t) - R^{(z,r)}_i(t))dt d R i ( z , r ) ( t ) = ∑ j = i ( b ij z i z j + z j ∫ u i T z ν j ( d u )) ( R j ( z , r ) ( t ) − R i ( z , r ) ( t )) d t + 2 c i z i R i ( z , r ) ( t ) ( 1 − R i ( z , r ) ( t ) ) d B i ( t ) + 跳跃项 + \sqrt{2c_i z_i R^{(z,r)}_i(t)(1-R^{(z,r)}_i(t))}dB_i(t) + \text{跳跃项} + 2 c i z i R i ( z , r ) ( t ) ( 1 − R i ( z , r ) ( t )) d B i ( t ) + 跳跃项
通过固定总质量水平进行采样,使频率过程变为马尔可夫过程 利用Gillespie框架的"剔除"思想 证明了极限过程的存在唯一性 证明了矩对偶关系:
E r [ ∏ i = 1 d ( R i ( z , r ) ( t ) ) n i ] = E n [ ∏ i = 1 d r i N i ( t ) ] E_r[\prod_{i=1}^d (R^{(z,r)}_i(t))^{n_i}] = E_n[\prod_{i=1}^d r_i^{N_i(t)}] E r [ ∏ i = 1 d ( R i ( z , r ) ( t ) ) n i ] = E n [ ∏ i = 1 d r i N i ( t ) ]
其中N是多类型Λ-聚合过程的块计数过程。
建立了显式同胚映射H_z: Ω^a_ → L^{prop}_:
λ i i = 2 c i z i , λ i j = b j i z i z j , Λ i = z i T z ν i \lambda_{ii} = \frac{2c_i}{z_i}, \quad \lambda_{ij} = \frac{b_{ji}z_i}{z_j}, \quad \Lambda_i = z_i T_z\nu_i λ ii = z i 2 c i , λ ij = z j b ji z i , Λ i = z i T z ν i
本文主要是理论工作,通过严格的数学证明验证结果:
证明序列采样过程R^n在Skorokhod空间中弱收敛 使用Yamada-Watanabe定理证明SDE解的存在唯一性 在参数空间上定义合适的拓扑 证明参数收敛蕴含过程收敛 通过生成算子的计算验证矩对偶关系 使用Itô公式和鞅方法 对任意z ∈ (0,∞)^d和r ∈ 0,1 ^d,SDE (2.18)存在唯一强解R^{(z,r)},且R^n ⇒ R^{(z,r)}。
序列采样频率过程与多类型Λ-聚合过程的块计数过程满足矩对偶关系,转移率为:
配对合并:2 c i z i − 1 ( n i 2 ) 2c_i z_i^{-1} \binom{n_i}{2} 2 c i z i − 1 ( 2 n i ) 类型转换:b j i z i z j − 1 n j b_{ji} z_i z_j^{-1} n_j b ji z i z j − 1 n j 多重合并:由T z ν i T_z\nu_i T z ν i 控制 空间Ω^a_和L^{prop}_同胚,映射由(2.24)和(2.25)给出。
定义统一性 : Johnston-Kyprianou-Rogers的多类型Λ-聚合定义与Gillespie变换下的结果一致维数差异 : 多类型情况下,Pitman意义和Gillespie意义的Λ-聚合不再一致参数对应 : 建立了CSBP参数与聚合参数的精确对应关系经典理论 : Pitman (1999)和Sagitov (1999)的Λ-聚合理论CSBP联系 : Bertoin-Le Gall系列工作建立的单类型情况多类型推广 : Johnston等人(2021)的多类型Λ-聚合定义扩展了Caballero等人(2024)的一维同胚结果 解决了Bertoin-Le Gall提出的概率联系猜想的多类型版本 为多类型聚合的不同定义提供了判别准则 理论完善 : 建立了多类型Λ-聚合与CSBPs的完整理论联系方法有效 : 序列采样方法成功构造了所需的对偶过程定义合理 : 验证了Johnston等人定义的自然性技术限制 : 需要满足特定的可积性条件范围限制 : 仅考虑了特定类型的多类型聚合计算复杂 : 高维情况下的计算变得复杂论文提出两个开放问题:
刻画Pitman意义下的多类型Λ-聚合 确定映射到Pitman意义聚合的CSBPs超集 理论深度 : 严格的数学证明和完整的理论框架技术创新 : 序列采样方法的巧妙应用结果重要 : 解决了该领域的重要开放问题写作清晰 : 逻辑结构清晰,技术细节完备应用有限 : 主要是理论结果,缺乏具体应用示例计算复杂 : 实际计算中的数值方法未涉及推广限制 : 对更一般情况的推广仍有待研究学术价值 : 为概率论和种群遗传学提供重要理论工具方法论 : 序列采样技术可能有更广泛应用后续研究 : 为相关领域的进一步研究奠定基础多类型种群动力学建模 聚合过程的理论研究 分支过程的谱系分析 随机过程的对偶理论研究 论文引用了该领域的重要文献,包括:
Pitman (1999) 和 Sagitov (1999) 的经典Λ-聚合理论 Bertoin-Le Gall系列工作的CSBP-聚合联系 Johnston等人 (2021, 2023) 的多类型推广 Caballero等人 (2024) 的序列采样方法 总体评价 : 这是一篇高质量的理论数学论文,在多类型聚合过程理论方面取得了重要进展。虽然主要是理论贡献,但为该领域的发展提供了坚实的数学基础。