[論文レビュー] 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

ひとこと要約

本稿は、スパarsなランダムグラフおよびハイパーグラフにおける一階論理的性質の極限確率を調査し、$ 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}$.

研究の動機と目的

• スパarsなランダムグラフ $ 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} $ の構造がどのように変化するかを理解すること。

提案手法

• スパarsな状態において部分グラフ数が独立なポアソン分布に収束することを示すために、ブルンの篩を用いる。
• 漸近的数え上げと母関数を用いて、サイクルおよびユニサイクルハイパーグラフの期待数を分析する。
• 構成モデルとハイパーグラフのサイクル数を用いて、FO文の極限確率 $ p_c(\phi) $ の式を導出する。
• グラフに対しては方程式 $ \exp\left(\frac{c}{2} + \frac{c^2}{4}\right)\sqrt{1 - c} = \frac{1}{2} $ を解き、ハイパーグラフに対しても類似の式を用いて臨界閾値 $ c_0 $ を導出する。
• 大きな $ i $ に対して $ p_i \leq \sum_{j > i} p_j $ を示す再帰的不等式を用い、$ \overline{L_c} $ が有限個の区間の和集合であることを証明する。
• ハイパーグラフのサイズと自己同型数のケース解析を用いて、より大きなハイパーグラフの確率の和を抑え、より小さなものと比較する。

実験結果

リサーチクエスチョン

• RQ1 極限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 $ のときどのように増加するか。また、断片的確率の順序付けを決定するのは何か？

主な発見

• $ c \geq c_0 \approx 0.93 $ のとき、$ G(n, c/n) $ における極限FO確率の閉包 $ \overline{L_c} $ は区間 $[0,1]$ 全体に一致する。
• $ c < c_0 $ のとき、$ \overline{L_c} $ は少なくとも1つのギャップ（$ \overline{L_c} $ と交差しない $[0,1]$ の部分区間）を含む。
• 臨界閾値 $ 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} $ は少なくとも1つのギャップを含む有限個の区間の和集合である。
• $ c \to 0 $ のとき、$ \overline{L_c} $ に含まれる区間の数は無限に増加し、極限確率集合の構造がますます複雑になることが示唆される。