[論文レビュー] 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})$ がゼロ・オール・$k$-法則を満たすための $\alpha = 1 - \frac{1}{2^{k-1} + a/b}$ の形を示し、$(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)$ 内で $G(n, n^{-\alpha})$ がゼロ・オール・$k$-法則に背く $\alpha$ が有限個であることを証明し、閾値挙動の理解を深めること。

提案手法

• 随機グラフと巧みに構築されたモデルグラフとの間のエーレンフェシュト＝フロイセ（EF）ゲームを通じてゼロ・オール・$k$-法則を分析する。
• 密度と距離の性質を制御した部分グラフの再帰的構成を用いて、ゲーム戦略を模倣する。
• $m$-正則同値性および循環的 $m$-拡張の概念を用いて、$\alpha$ の変化に伴うグラフ構成の比較を行う。
• 確率論的手法を用いて、$p$ が $n^{-\alpha}$ に近い場合に特定のグラフ型が $G(n, p)$ で高確率で出現することを示し、これによりダプリケーターの勝利戦略が保証されることを示す。
• $a$ が指定された範囲にあるとき、$\alpha = 1 - \frac{1}{2^{k-1} + a/b}$ に対して $G(n, n^{-\alpha})$ がゼロ・オール・$k$-法則を満たすことを証明する。
• 構造的グラフ理論的議論を用いて、新しい極限点を導入し、境界を精緻化することで、以前の $S_k^1$ および $S_k^2$ の結果を拡張する。

実験結果

リサーチクエスチョン

• RQ1 一階論理的性質の $G(n, n^{-\alpha})$ におけるスレート $S_k^1$ の正確な極限点は何か、$k \geq 5$ の場合。
• RQ2 $\alpha \in (1 - \frac{1}{2^{k-1}}, 1)$ のどの値に対して $G(n, n^{-\alpha})$ がゼロ・オール・$k$-法則に背くか。
• RQ3 $(1 - \frac{1}{2^{k-1}}, 1)$ 内で $G(n, n^{-\alpha})$ がゼロ・オール・$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$ のすべての $k$ に対して、$\frac{1}{\lfloor k/2 \rfloor}$ は $S_k^1$ の極限点である。$k \leq 20$ の場合、$S_k^1$ の最小極限点の上界が改善された。
• $k \geq 8$ のすべての $k$ に対して、$1 - \frac{1}{2^{k-5}}$ は $S_k^1$ の極限点である。これにより、小さな $k$ に対して $S_k^1$ の最大極限点の下界が改善された。
• 定理3により、$G(n, n^{-\alpha})$ がゼロ・オール・$k$-法則に背く $(1 - \frac{1}{2^{k-1}}, 1)$ 内の $\alpha$ の集合は有限であることが示された。
• $a \in \{\max\{1, 2^{k-1} - b\}, \dots, 2^{k-1}\}$ の範囲にある $a$ に対して、$\alpha = 1 - \frac{1}{2^{k-1} + a/b}$ のとき、$G(n, n^{-\alpha})$ はゼロ・オール・$k$-法則を満たす。これにより、このような $\alpha$ は $S_k^2$ に属さないことが示された。
• Corollary 1により、$S_k^1$ もしくは $S_k^2$ が無限である最小の $k$ は 4 または 5 である。
• $S_k^2$ が無限であるための必要十分条件は、量化子深さが高々 $k$ である一階論理的性質 $L$ で $S^2(L)$ が無限であるものが存在することであり、本稿ではそのような $L$ が存在する条件を同定した。