[论文解读] Limiting probabilities of first order properties of random sparse graphs and hypergraphs

Alberto Larrauri, Tobias Müller+1 more|arXiv (Cornell University)|Aug 20, 2020

Limits and Structures in Graph Theory参考文献 12被引用 4

一句话总结

本文研究稀疏随机图与超图中一阶（FO）逻辑性质的极限概率，表明对于随机图 $ G(n, c/n) $，当 $ c \geq c_0 \approx 0.93 $ 时，极限FO概率的闭包变为完整区间 $[0,1]$，但当 $ c < c_0 $ 时则存在间隙。临界阈值 $ c_0 $ 源于超图环计数结构的相变，对于 $ d $-均匀超图亦有类似结果，其中 $ c_0 $ 依赖于 $ d $。

ABSTRACT

Let $G_n$ be the binomial random graph $G(n,p=c/n)$ in the sparse regime, which as is well-known undergoes a phase transition at $c=1$. Lynch (Random Structures Algorithms, 1992) showed that for every first order sentence $\\phi$, the limiting probability that $G_n$ satisfies $\\phi$ as $n\ o\\infty$ exists, and moreover it is an analytic function of $c$. In this paper we consider the closure $\\overline{L_c}$ in $[0,1]$ of the set $L_c$ of all limiting probabilities of first order sentences in $G_n$. We show that there exists a critical value $c_0 \\approx0.93$ such that $\\overline{L_c}= [0,1]$ when $c \\ge c_0$, whereas $\\overline{L_c}$ misses at least one subinterval when $c&lt;c_0$. We extend these results to random $d$-uniform sparse hypergraphs, where the probability of a hyperedge is given by $p=c/n^{d-1}$.

研究动机与目标

• 刻画稀疏随机图 $ G(n, c/n) $ 中极限一阶（FO）概率集合的拓扑结构。
• 确定这些极限概率的闭包 $ \overline{L_c} $ 是完整区间 $[0,1]$ 还是存在间隙。
• 将分析扩展至边概率为 $ p = c/n^{d-1} $ 的 $ d $-均匀随机超图，识别出类似的相变。
• 确定从含间隙的 $ \overline{L_c} $ 转变为完整区间 $[0,1]$ 的临界阈值 $ c_0 $。
• 理解当 $ c \to 0 $ 时 $ \overline{L_c} $ 的结构如何演变，特别是区间数量的增长。

提出的方法

• 使用Brun筛法在稀疏情形下建立子图计数收敛至独立泊松分布。
• 利用渐近枚举与生成函数分析环与单环超图的期望数量。
• 应用配置模型与超图环计数，推导一阶句子极限概率 $ p_c(\phi) $ 的表达式。
• 通过求解图的方程 $ \exp\left(\frac{c}{2} + \frac{c^2}{4}\right)\sqrt{1 - c} = \frac{1}{2} $ 及超图的类似方程，推导临界阈值 $ c_0 $。
• 使用递归不等式证明 $ p_i \leq \sum_{j > i} p_j $ 对大 $ i $ 成立，从而证明 $ \overline{L_c} $ 是有限个区间的并集。
• 通过超图大小与自同构数的分情况讨论，对较大超图的概率和进行有界处理，并与较小超图进行比较。

实验结果

研究问题

• RQ1 在 $ G(n, c/n) $ 中，极限FO概率闭包 $ \overline{L_c} $ 从存在间隙转变为覆盖完整区间 $[0,1]$ 的临界值 $ c_0 $ 是多少？
• RQ2 当 $ c $ 低于 $ c_0 $ 时，$ \overline{L_c} $ 的结构如何变化，特别是区间数量如何变化？
• RQ3 对于边概率为 $ p = c/n^{d-1} $ 的 $ d $-均匀随机超图，其对应的临界阈值 $ c_0 $ 是什么？
• RQ4 为何图与超图的临界阈值不同？环结构（如2-环与3-环）如何影响这一差异？
• RQ5 当 $ c \to 0 $ 时，$ \overline{L_c} $ 中的区间数量如何增长，以及片段概率的排序由什么决定？

主要发现

• 当 $ c \geq c_0 \approx 0.93 $ 时，$ G(n, c/n) $ 中极限FO概率闭包 $ \overline{L_c} $ 为完整区间 $[0,1]$。
• 当 $ c < c_0 $ 时，$ \overline{L_c} $ 至少包含一个间隙，即 $[0,1]$ 中与 $ \overline{L_c} $ 无交的子区间。
• 临界阈值 $ c_0 $ 是方程 $ \exp\left(\frac{c}{2} + \frac{c^2}{4}\right)\sqrt{1 - c} = \frac{1}{2} $ 的唯一正解。
• 对于 $ d $-均匀超图，临界阈值 $ c_0 $ 是方程 $ \exp\left(\frac{c}{2(d-2)!}\right)\sqrt{1 - \frac{c}{2(d-2)!}} = \frac{1}{2} $ 的唯一正解。
• 当 $ c \geq c_0 $ 时，$ \overline{L_c} = [0,1] $；当 $ c < c_0 $ 时，$ \overline{L_c} $ 为有限个区间的并集，且至少包含一个间隙。
• 当 $ c \to 0 $ 时，$ \overline{L_c} $ 中的区间数量无界增长，表明极限概率集合的结构日益复杂。