[论文解读] The phase transition in inhomogeneous random intersection graphs

Milan Bradonjić, Aric Hagberg+3 more|arXiv (Cornell University)|Jan 30, 2013

Stochastic processes and statistical mechanics参考文献 21被引用 10

一句话总结

本文分析了非均匀随机交集图中的相变现象，表明当平均度数跨越由 $ nackepsilon p_i^2 = 1 $ 定义的临界阈值时，最大连通分量的大小发生不连续跃迁。作者建立了相变前后连通分量大小的界限，并证明在超临界状态下存在唯一一个巨大连通分量，其大小由涉及属性概率的不动点方程决定。

ABSTRACT

We analyze the component evolution in inhomogeneous random intersection graphs when the average degree is close to 1. As the average degree increases, the size of the largest component in the random intersection graph goes through a phase transition. We give bounds on the size of the largest components before and after this transition. We also prove that the largest component after the transition is unique. These results are similar to the phase transition in Erdős-Rényi random graphs; one notable difference is that the jump in the size of the largest component varies in size depending on the parameters of the random intersection graph.

研究动机与目标

• 理解当平均度数趋近并超过临界阈值时，非均匀随机交集图中连通分量的演化过程。
• 确定在何种精确条件下最大连通分量的大小发生相变。
• 证明在超临界状态下最大连通分量的存在性与唯一性。
• 在相变前后推导最大连通分量大小的紧致界限。
• 将相变结果从均匀模型推广到具有任意属性概率序列的非均匀设置。

提出的方法

• 通过多类型分支过程近似来建模连通分量的增长，利用灭绝概率来界定连通分量的大小。
• 作者定义了一个发现过程，逐步探索连通分量，追踪未饱和顶点和已发现的属性，以估计连通分量的大小。
• 推导出一个不动点方程（1.1）以表征超临界相中唯一巨大连通分量的大小：$ x = \prod_{i=1}^{m}\left[1 - p_i(1 - (1 - p_i(1 - x))^{n})\right] $。
• 应用浓度不等式和指数尾部界，证明大小超过某一阈值的连通分量以高概率唯一存在。
• 通过极端属性概率配置比较连通分量大小的界限，利用引理3.1来最大化灭绝概率。
• 使用切比雪夫不等式证明小连通分量中顶点数量在其期望值附近具有强集中性。

实验结果

研究问题

• RQ1 在非均匀随机交集图中，什么条件会触发最大连通分量大小的相变？
• RQ2 最大连通分量的跃迁大小如何随非均匀属性概率变化？
• RQ3 在超临界状态下，最大连通分量是否唯一？其大小由什么决定？
• RQ4 是否可以在不假设概率序列均匀或收敛的前提下，精确确定相变位置？
• RQ5 当不动点解在 $ n \to \infty $ 时无法收敛时，最大连通分量的量级是多少？

主要发现

• 当 $ n\sum p_i^2 < 1 $ 时，所有连通分量以高概率的大小至多为 $ O(\max\{np\log n, \log n\}) $，其中 $ p = \max p_i $。
• 当 $ n\sum p_i^2 = c > 1 $ 且 $ \max \mathbf{p}^{(n)} = o(n^{-\gamma}) $（$ \gamma > 1/2 $）时，以高概率存在一个大小为 $ (1 - \rho)n $ 的唯一巨大连通分量。
• 巨大连通分量的大小由不动点方程的唯一解 $ \rho \in [0,1) $ 决定：$ x = \prod_{i=1}^{m}\left[1 - p_i(1 - (1 - p_i(1 - x))^{n})\right] $。
• 在超临界状态下，所有其他连通分量的大小仍为 $ O(\max\{np\log n, \log n\}) $。
• 最大连通分量的跃迁大小可能因非均匀 $ \mathbf{p}^{(n)} $ 而显著不同，这与埃拉托斯特尼-雷尼图中跃迁均匀的情况不同。
• 即使不动点解不收敛，仍可建立巨大连通分量大小的下界 $ \Omega(\min\{p^{-1}, n\}) $。