[论文解读] On exponential growth for a certain class of linear systems

Ryoki Fukushima, Nobuo Yoshida|arXiv (Cornell University)|May 30, 2012

Stochastic processes and statistical mechanics参考文献 12被引用 6

一句话总结

该论文证明，对于整数格点上一大类空间随机生长过程（包括定向渗流和接触过程），只要过程存活，种群质量几乎必然以指数速度增长。关键结果证明存在一条单一的随机开放路径，沿该路径种群以指数速度增长，且从系统的转移概率中导出了增长速率的显式下界。

ABSTRACT

We consider a class of stochastic growth models on the integer lattice which includes various interesting examples such as the number of open paths in oriented percolation and the binary contact path process. Under some mild assumptions, we show that the total mass of the process grows exponentially in time whenever it survives. More precisely, we prove that there exists an open path, oriented in time, along which the mass grows exponentially fast.

研究动机与目标

• 确定空间随机生长模型在存活时是否表现出指数种群增长。
• 将经典的Galton-Watson指数增长结果推广至具有空间结构、依赖关系及非马氏性质的系统。
• 证明存在一条单一的随机路径，沿该路径种群以指数速度快速增长。
• 根据系统的转移概率和存活概率，提供指数增长速率的显式下界。
• 通过时间离散化和耦合技术，将离散时间结果扩展至连续时间模型。

提出的方法

• 使用具有平移不变分布的独立同分布随机矩阵 $B_n$，在 $\mathbb{Z}^d$ 上形式化一类线性随机过程。
• 将过程 $M_n$ 定义为矩阵积 $\delta_{o,x} B_1 \cdots B_n$，以追踪每个位置的种群质量。
• 引入“开放路径” $\Gamma(n)$ 的概念，其中转移 $B_{n+1,\Gamma(n),\Gamma(n+1)} \geq 1$ 发生，以确保谱系连续性。
• 使用存活概率 $c_\delta(B_1) = \mathbb{P}(|M_n| \geq 1 \text{ 对所有 } n) \cdot \sup_x \mathbb{P}(B_{o,x} \geq 1+\delta)$ 来量化增长潜力。
• 应用大偏差和更新型论证，证明在存活事件上，几乎必然有 $\liminf_{n\to\infty} \frac{1}{n} \log M_{n,\Gamma(n)} \geq c_{\delta-\epsilon}(B_1) \log(1+\delta-\epsilon)$。
• 通过离散化跳跃时间并使用与离散时间对应模型的耦合，将结果扩展至连续时间模型，证明了类似的指数增长界。

实验结果

研究问题

• RQ1 对于一类广义的空间随机生长过程，若其存活，总种群质量是否随时间呈指数增长？
• RQ2 在这些系统中，是否总存在一条单一的随机路径，使得种群沿其以指数速度快速增长？
• RQ3 能否从系统的转移概率和存活可能性中推导出指数增长速率的显式下界？
• RQ4 与离散时间模型相比，这些过程的连续时间版本中指数增长行为有何不同？
• RQ5 在何种条件下种群质量不会呈指数增长，其增长速率的上界是什么？

主要发现

• 对于任意 $\epsilon > 0$，存在一条随机开放路径 $\Gamma(n)$，使得在存活事件上，几乎必然有 $\liminf_{n\to\infty} \frac{1}{n} \log M_{n,\Gamma(n)} \geq c_{\delta-\epsilon}(B_1) \log(1+\delta-\epsilon)$。
• 总种群质量满足 $\liminf_{n\to\infty} \frac{1}{n} \log |M_n| \geq c_\delta(B_1) \log(1+\delta)$，在存活事件上几乎必然成立。
• 在连续时间设定下，若存在 $\delta > 0$ 使得 $\mathbb{P}(\sum_x K_x \geq 1+\delta) > 0$，则在存活事件上，几乎必然有 $\liminf_{t\to\infty} \frac{1}{t} \log |Y_t| > 0$。
• 若 $\mathbb{P}(\sum_x K_x = 1) = 1$，则几乎必然有 $\limsup_{t\to\infty} \frac{1}{t} \log |Y_t| \leq 0$，表明不存在指数增长。
• 对于具有有限范围且对所有 $\delta > 0$ 满足 $c_\delta(\prod_{k=1}^m B_k)$ 趋于零的系统，增长速率至多为零，确认了非指数行为。
• 结果在不假设矩阵元素独立或具有有限范围的条件下依然成立，表明其在定向渗流和接触过程等模型中具有广泛适用性。