[论文解读] The phase transition in bounded-size Achlioptas processes

Oliver Riordan, Lutz Warnke|arXiv (Cornell University)|Apr 27, 2017

Advanced Thermodynamics and Statistical Mechanics参考文献 32被引用 9

一句话总结

本文证明，所有有界大小的Achlioptas过程均表现出与经典Erdős–Rényi随机图过程相同的相变行为，包括相同的临界窗口宽度、最大连通分量的渐近缩放规律以及连通分量大小分布的尾部行为。通过多轮曝光、微分方程方法和分支过程耦合，本文证明了该类中相变的普遍性，解决了关于有限尺寸缩放和普遍性的长期猜想。

ABSTRACT

Perhaps the best understood phase transition is that in the component structure of the uniform random graph process introduced by Erdős and Rényi around 1960. Since the model is so fundamental, it is very interesting to know which features of this phase transition are specific to the model, and which are `universal', at least within some larger class of processes (a `universality class'). Achlioptas process, a class of variants of the Erdős--Rényi process that are easy to define but difficult to analyze, have been extensively studied from this point of view. Here, settling a number of conjectures and open problems, we show that all `bounded-size' Achlioptas processes share (in a strong sense) all the key features of the Erdős--Rényi phase transition. We do not expect this to hold for Achlioptas processes in general.

研究动机与目标

• 解决有关有界大小Achlioptas过程中最大连通分量有限尺寸缩放行为的开放猜想。
• 确定所有有界大小Achlioptas过程是否与Erdős–Rényi模型具有相同的临界行为，从而确立一个普遍性类。
• 表征临界阈值以下和以上最大连通分量的渐近大小，包括临界窗口的宽度。
• 分析整个相变过程中的连通分量大小分布，包括尾部分布行为。
• 证明缩放规律和临界指数以强且定量的方式与Erdős–Rényi过程匹配。

提出的方法

• 采用两轮曝光技术以解耦边的依赖性，并基于连通分量结构进行条件化。
• 应用微分方程方法，通过常微分方程组近似连通分量大小分布的演化。
• 利用偏微分方程理论和解析性结果，控制极限函数在临界点附近的性质。
• 通过与分支过程的耦合论证，模拟连通分量的增长与灭绝概率。
• 引入主导探索过程以控制连通分量大小分布并抑制随机波动。
• 利用洒水法和周期性论证，将局部近似扩展至临界窗口内的全局行为。

实验结果

研究问题

• RQ1 有界大小Achlioptas过程中的相变是否表现出与Erdős–Rényi模型相同的临界窗口宽度和缩放行为？
• RQ2 有界大小Achlioptas过程中最大连通分量的渐近大小是否由与Erdős–Rényi过程相同的幂律控制？
• RQ3 临界窗口中连通分量大小的尾部分布是否与Erdős–Rényi模型匹配？
• RQ4 能否用相同的通用缩放函数描述所有有界大小规则下的敏感度和连通分量大小分布？
• RQ5 临界窗口宽度是否为$ n^{-1/3} $阶，且临界点以下最大连通分量是否缩放为$ \sim \varepsilon^{-2} \log(\varepsilon^3 n) $，临界点以上是否缩放为$ \sim \varepsilon n $？

主要发现

• 对于任意有界大小Achlioptas过程，临界窗口宽度为$ \Theta(n^{-1/3}) $，与Erdős–Rényi模型一致。
• 临界阈值以下，$ L_1(t_{\mathrm{c}}n - \varepsilon n) \sim C \varepsilon^{-2} \log(\varepsilon^3 n) $，其中$ C > 0 $依赖于具体规则。
• 临界阈值以上，$ L_1(t_{\mathrm{c}}n + \varepsilon n) \sim c \varepsilon n $，其中$ c > 0 $依赖于具体规则。
• 连通分量大小分布在整个相变过程中表现出与Erdős–Rényi过程相同的尾部行为。
• 在临界点处，敏感度发散，其缩放规律与Erdős–Rényi模型相同。
• 所有有界大小Achlioptas过程均属于与Erdős–Rényi过程相同的普遍性类，具有相同的临界指数和缩放函数。