[论文解读] Characterization of the critical values of branching random walks on weighted graphs through infinite-type branching processes

Daniela Bertacchi, Fabio Zucca|Apr 1, 2008

Stochastic processes and statistical mechanics被引用 4

一句话总结

该论文通过无限类型分支过程刻画加权图上分支随机游走的临界值，证明弱临界值 λ_w 由线性算子谱半径的下确界决定，即 λ_w = 1/M_w^−，并表明在 λ_w 处全局存活是可能的，而在强临界值 λ_s 处几乎必然发生局部灭绝。

ABSTRACT

We study the branching random walk on weighted graphs; site-breeding and edge-breeding branching random walks on graphs are seen as particular cases. We describe the strong critical value in terms of a geometrical parameter of the graph. We characterize the weak critical value and relate it to another geometrical parameter. We prove that, at the strong critical value, the process dies out locally almost surely; while, at the weak critical value, global survival and global extinction are both possible.

研究动机与目标

• 通过无限类型分支过程刻画加权图上分支随机游走的弱临界值 λ_w(x)。
• 将 λ_w(x) 与几何参数 M_w^−(x) 关联，其中 M_w^−(x) 定义为与图相关联的线性算子谱半径的下确界。
• 澄清在 λ_w 和 λ_s 处的临界行为，特别是在此类阈值下是否发生全局存活或灭绝。
• 解决关于等式 λ_w = 1/M_w^− 的开放问题，证明其在某些条件下成立，并给出严格不等式成立的反例。
• 证明在 λ_w 处可能发生全局存活，与在 λ_s 处几乎必然发生局部灭绝形成对比。

提出的方法

• 通过无穷维生成函数，为加权图上的分支随机游走（BRW）定义一个标准的无限类型分支过程（IBP）。
• 利用偏序集中单调函数的不动点分析方法，研究 IBP 中的灭绝概率。
• 通过不等式 λKv ≥ v 在 l^∞(X) 中存在正有界解 v 的存在性来刻画 λ_w(x)，并将其与核矩阵 K 的 Collatz-Wielandt 数联系起来。
• 引入 M_w^−(x) = 1 / sup{‖v‖∞ : v > 0, λKv ≥ v 对某个 λ > 0 成立}，该表达式定义了弱临界阈值。
• 应用无穷维线性系统理论分析 BRW 在临界参数下的行为。
• 通过在 ℕ 上构造径向树和序列的显式例子，说明非不可约情形并验证理论结果。

实验结果

研究问题

• RQ1 加权图上分支随机游走的弱临界值 λ_w(x) 的精确刻画是什么？
• RQ2 λ_w(x) 如何与几何参数 M_w^−(x) 相关联？等式 λ_w(x) = 1/M_w^−(x) 在何种条件下成立？
• RQ3 在弱临界值 λ_w(x) 处是否可能发生全局存活？该处的临界行为性质如何？
• RQ4 在强临界值 λ_s(x) 处发生了什么？过程是否几乎必然在局部灭绝？
• RQ5 是否可能有 λ_w(x) ≠ 1/M_w(x)？如果是，图的何种结构条件会导致这种情况发生？

主要发现

• 弱临界值 λ_w(x) 满足 λ_w(x) ≥ 1/M_w^−(x)，在不可约性或特定速率结构等充分条件下等式成立。
• 在强临界值 λ_s(x) 处，过程几乎必然在局部灭绝，这证实了对边繁殖 BRW 的一个猜想。
• 在 λ_w(x) 处可能发生全局存活，如示例 3 所示，其中 λ_w = 1，尽管每个位置均灭绝，但过程仍能实现全局存活。
• 弱临界值可能不同于 1/M_w(x)，如示例 2 所示，其中 M_w = 2 且 M_w^− = 1，故 λ_w = 1/1 = 1 ≠ 1/2。
• 对于不可约 BRW，有 λ_w ≥ 1/M_w^− 成立，且在温和条件下可达到等式，但一般情形下 λ_w = 1/M_w^− 是否恒成立仍是开放问题。
• 标准 IBP 构造使得可运用无穷维不动点理论分析 BRW 中的灭绝与存活，为临界值分析提供统一框架。