[论文解读] On the largest component in the subcritical regime of the Bohman-Frieze process

Sanchayan Sen|arXiv (Cornell University)|Jul 8, 2013

Stochastic processes and statistical mechanics参考文献 13被引用 4

一句话总结

该论文解决了Kang、Perkins和Spencer（2013年）关于Bohmman-Frieze随机图过程的猜想，证明在亚临界区域中，对于 $ t \leq t_c - \lambda n^{-1/3} $，最大连通分量的大小以高概率被紧密地限制在 $ O(\log n / (t_c - t)^2) $ 以内，优于先前的 $ O((\log n)^4 / (t_c - t)^2) $ 边界。该结果通过对其与非齐次随机图及分支过程近似之间关系的精细化分析得以建立。

ABSTRACT

Kang, Perkins and Spencer showed that the size of the largest component of the Bohman-Frieze process at a fixed time $t$ smaller than $t_c$, the critical time for the process is $L_1(t)=Ω(\log n/(t_c-t)^2)$ with high probability. They also conjectured that this is the correct order, that is $L_1(t)=O(\log n/(t_c-t)^2)$ with high probability for fixed $t$ smaller than $t_c$. Using a different approach, Bhamidi, Budhiraja and Wang showed that $L_1(t_n)=O((\log n)^4/(t_c-t_n)^2)$ with high probability for $t_n\leq t_c-n^{-γ}$ where $γ\in(0,1/4)$. In this paper, we improve their result by showing that for any fixed $λ>0$, $L_1(t_n)=O(\log n/(t_c-t_n)^2)$ with high probability for $t_n\leq t_c-λn^{-1/3}$. In particular, this settles the conjecture of Kang, Perkins and Spencer. We also prove some generalizations for general bounded size rules.

研究动机与目标

• 解决Kang、Perkins和Spencer（2013年）关于亚临界Bohmman-Frieze过程中最大连通分量阶数的猜想。
• 弥合临界窗口与早期仅对 $ t \leq t_c - n^{-\gamma} $（其中 $ \gamma < 1/4 $）有效的边界之间的差距。
• 将分析推广至一般有界大小规则，并确定在何种条件下该上界可扩展至临界窗口。
• 通过更精细的随机分析，改进Bhamidi、Budhiraja和Wang（2013年）提出的 $ O((\log n)^4 / (t_c - t)^2) $ 边界。

提出的方法

• 改编Bhamidi、Budhiraja和Wang（2013年）的非齐次随机图耦合方法，并对连通分量大小动态进行更细致的分析。
• 使用分支过程近似来建模连通分量增长，特别是在临界时间 $ t_c $ 附近。
• 通过与连续时间分支过程的耦合，应用矩界和指数尾部估计来控制连通分量大小。
• 引入涉及Radon-Nikodym导数的测度论分析，以控制耦合中概率的衰减。
• 建立微分不等式框架，利用描述有界大小规则过程的常微分方程组系统来限制连通分量大小的增长。
• 使用参数 $ \zeta(F) $ 来表征连通分量大小的增长速率，并确定上界有效窗口的范围。

实验结果

研究问题

• RQ1 Bohmman-Frieze过程在亚临界区域中最大连通分量大小的猜想阶数 $ O(\log n / (t_c - t)^2) $ 是否正确？
• RQ2 能否将最大连通分量大小的上界从 $ t \leq t_c - n^{-\gamma} $（其中 $ \gamma < 1/4 $）扩展至 $ t \leq t_c - \lambda n^{-1/3} $（对任意固定的 $ \lambda > 0 $）？
• RQ3 在何种条件下，对于有界大小规则 $ F $，$ O(\log n / (t_c - t)^2) $ 上界可扩展至临界窗口？
• RQ4 由常微分方程组控制的连通分量大小增长速率如何影响上界紧致性？

主要发现

• Kang、Perkins和Spencer（2013年）的猜想得到证实：对于任意固定的 $ t < t_c $，以高概率有 $ L_1^{DBF}(t) = O(\log n / (t_c - t)^2) $。
• 上界被扩展至 $ t_n \leq t_c - \lambda n^{-1/3} $（对任意固定的 $ \lambda > 0 $），从而填补了与临界窗口之间的差距。
• 对于一般有界大小规则，若 $ \zeta(F) \geq 1/3 $，则上界可扩展至临界窗口，其中 $ \zeta(F) $ 取决于连通分量大小函数在零附近的增长速率。
• 当 $ K \geq 3 $ 时，该边界无法扩展至临界窗口，因为此时 $ \zeta(F) \leq 1/4 \cdot (1 + 1/4) < 1/3 $，表明存在依赖于参数区间的限制。
• 分析表明，连通分量大小的增长由常微分方程组的初始行为决定，特别是 $ x_2'(0) = 1 $ 和 $ x_\omega'(u) \geq C u^3 $，从而导致 $ m_{c_j} \leq 5 $，并使误差项中出现 $ \delta^{2\beta} $ 的衰减。