[论文解读] On infinite spectra of first order properties of random graphs

Maksim Zhukovskii|arXiv (Cornell University)|Sep 5, 2016

Limits and Structures in Graph Theory参考文献 9被引用 6

一句话总结

本文研究了 Erdős–Rényi 随机图 $G(n, n^{-\beta})$ 中一阶性质的无限谱，重点关注零一律 $k$-律的阈值行为。证明了当 $k \geq 5$ 时，$\frac{1}{\lfloor k/2 \rfloor}$ 是谱 $S_k^1$ 的极限点，且当 $k \geq 8$ 时，$1 - \frac{1}{2^{k-5}}$ 也是极限点。此外，证明了在特定条件下，$G(n, n^{-\alpha})$ 在 $\alpha = 1 - \frac{1}{2^{k-1} + a/b}$ 时满足零一律 $k$-律，表明在区间 $(1 - \frac{1}{2^{k-1}}, 1)$ 中仅有有限多个 $\alpha$ 不满足该律，从而细化了对谱结构的先前界限。

ABSTRACT

In this paper, we study spectra of first order properties of Erdos-Renyi random graph. We proved that minimal quantifier depth of a formula with an infinite spectrum is either 4 or 5.

研究动机与目标

• 确定随机图 $G(n, n^{-\alpha})$ 的一阶性质的无限谱 $S_k^1$ 和 $S_k^2$ 的结构。
• 细化这些谱的最小和最大极限点的已知界限，特别是针对较小的 $k$。
• 证明在 $(1 - \frac{1}{2^{k-1}}, 1)$ 中仅有有限多个 $\alpha$ 不满足零一律 $k$-律，从而深化对阈值行为的理解。

提出的方法

• 通过随机图与精心构造的模型图之间的 Ehrenfeucht-Fraïssé (EF) 游戏分析零一律 $k$-律。
• 利用具有受控密度和距离性质的子图的递归构造，以模拟游戏策略。
• 应用 $m$-正则等价性和循环 $m$-扩张的概念，比较不同 $\alpha$ 下的图配置。
• 采用概率方法证明，当 $p$ 接近 $n^{-\alpha}$ 时，某些图类型在 $G(n, p)$ 中以高概率出现，从而确保复制者（Duplicator）的获胜策略。
• 证明当 $\alpha = 1 - \frac{1}{2^{k-1} + a/b}$ 且 $a$ 属于指定范围时，$G(n, n^{-\alpha})$ 满足零一律 $k$-律。
• 通过结构图论论证，扩展了关于 $S_k^1$ 和 $S_k^2$ 的早期结果，引入新的极限点并细化界限。

实验结果

研究问题

• RQ1 当 $k \geq 5$ 时，$G(n, n^{-\alpha})$ 的一阶性质的谱 $S_k^1$ 的精确极限点是什么？
• RQ2 在哪些 $\alpha \in (1 - \frac{1}{2^{k-1}}, 1)$ 值下，$G(n, n^{-\alpha})$ 不满足零一律 $k$-律？
• RQ3 能否证明在区间 $(1 - \frac{1}{2^{k-1}}, 1)$ 中，不满足零一律 $k$-律的 $\alpha$ 的集合是有限的？
• RQ4 有理逼近 $a/b$ 在确定 $\alpha = 1 - \frac{1}{2^{k-1} + a/b}$ 时 $G(n, n^{-\alpha})$ 的阈值行为中起什么作用？
• RQ5 谱 $S_k^1$ 和 $S_k^2$ 如何与无限极限点的存在相关联？使得这些谱变为无限的最小 $k$ 是多少？

主要发现

• 对所有 $k \geq 5$，$\frac{1}{\lfloor k/2 \rfloor}$ 是 $S_k^1$ 的极限点，改进了当 $k \leq 20$ 时 $S_k^1$ 最小极限点的上界。
• 对所有 $k \geq 8$，$1 - \frac{1}{2^{k-5}}$ 是 $S_k^1$ 的极限点，为小 $k$ 时 $S_k^1$ 最大极限点提供了更好的下界。
• 不满足零一律 $k$-律的 $\alpha \in (1 - \frac{1}{2^{k-1}}, 1)$ 的集合是有限的，如定理 3 所示。
• 当 $\alpha = 1 - \frac{1}{2^{k-1} + a/b}$ 且 $a \in \{\max\{1, 2^{k-1} - b\}, \dots, 2^{k-1}\}$ 时，$G(n, n^{-\alpha})$ 满足零一律 $k$-律，意味着此类 $\alpha$ 不属于 $S_k^2$。
• 使得 $S_k^1$ 或 $S_k^2$ 为无限的最小 $k$ 是 4 或 5，如推论 1 所示。
• $S_k^2$ 为无限当且仅当存在一个量化深度至多为 $k$ 的一阶性质 $L$，使得 $S^2(L)$ 为无限，本文确定了此类 $L$ 存在的条件。