[論文レビュー] Zero-One Law for random uniform hypergraphs

Aleksandr Matushkin|arXiv (Cornell University)|Jul 26, 2016

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

ひとこと要約

本稿は、ランダムな $s$-一様超グラフ $G^s(n, n^{-\beta})$ における一階性質のゼロ-ワン法則を確立し、その法則が成り立つのは、指数 $\beta$ が無理数であるか、または臨界有理数集合 $\{s-1 + \frac{1}{k} \mid k \in \mathbb{N}\} \cup (0, s-1] \cap \mathbb{Q}$ の外にある場合に限ることを証明している。証明はエーレンフェルト・ゲームと、ダプリケーターが用いる新しい $a_r$-先読み戦略を用い、厳密にバランスの取れた超グラフの構造的性質と部分グラフ密度解析を通じて、古典的結果を超グラフへ一般化している。

ABSTRACT

In this work limit probabilities of first-order properties of the random $s$-uniform hypergraph in the binomial model $G^{s}(n,p)$ are studied. We give a complete discription of all positive $α$ such that $G^{s}(n,n^{-α})$ obeys Zero-One Law. Moreover, for any rational $ρ\geq 1/(s-1)$ we prove the existence of a strictly balanced $s$-uniform hypergraph with the density $ρ$.

研究の動機と目的

• ランダムグラフにおける古典的ゼロ-ワン法則を、二項モデル $G^s(n, p)$ における $s$-一様超グラフへ拡張すること。
• $G^s(n, n^{-\alpha})$ が一階性質に関してゼロ-ワン法則に従うようなすべての正の指数 $\alpha > 0$ を特定すること。
• 任意の有理数密度 $\rho \geq \frac{1}{s-1}$ を持つ厳密にバランスの取れた $s$-超グラフの存在を証明すること。
• エーレンフェルト・ゲームとダプリケーター戦略を用いて、スペンサーとシェラのランダムグラフに関する結果を超グラフ設定へ一般化すること。

提案手法

• ゼロ-ワン法則の特徴付けにエーレンフェルト・ゲームを用いる：$G^s(n, n^{-\alpha})$ が法則に従うのは、二つの独立な超グラフ間の $k$ ラウンドゲームでダプリケーターがほとんど確実に勝つときである。
• グラフ理論から得られた $a_r$-先読み戦略を超グラフへ適応し、ダプリケーターが選択した頂点の同型的 $a_r$-閉包を維持することを保証する。
• 極値超グラフ理論を用いて、任意の有理数密度 $\rho \geq \frac{1}{s-1}$ または $\rho = \frac{k}{1 + k(s-1)}$ を持つ厳密にバランスの取れた $s$-超グラフの存在を証明する。
• 階乗モーメント法による小部分超グラフの分布の応用により、$p = n^{-v/e}$ のとき、固定された $G$ に対する $N_G \xrightarrow{d} \mathrm{Pois}(1/a)$ が成り立つことを示す。
• 定理11（一般化拡張）を活用し、無理数 $\alpha$ のとき、ダプリケーターがほとんど確実に部分同型を拡張できることを保証する。
• 密度および無理数性条件から導かれる閉包サイズの上限 $|\mathrm{cl}_t(X)| \leq K + r$（$|X| = r$ のとき）を用いて、ゲーム内での成長を制御する。

実験結果

リサーチクエスチョン

• RQ1 正の実数指数 $\alpha$ に対して、ランダムな $s$-一様超グラフ $G^s(n, n^{-\alpha})$ が一階性質に関してゼロ-ワン法則に従うのはどのような場合か？
• RQ2 任意の有理数密度 $\rho \geq \frac{1}{s-1}$ に対して、厳密にバランスの取れた $s$-超グラフを構成できるか？
• RQ3 指数 $\alpha$ が無理数であるとき、ゼロ-ワン法則は成り立つのか？ もし成り立つならば、その理由は何か？
• RQ4 小部分超グラフの構造とその密度は、一階性質の極限挙動にどのように影響するか？
• RQ5 グラフから超グラフへ、ダプリケーターの先読み戦略を拡張することは可能か？ そして、エーレンフェルト・ゲームでほとんど確実に勝つために、その戦略を保証できるか？

主な発見

• 指数 $\alpha$ が無理数であるとき、$G^s(n, n^{-\alpha})$ に対してゼロ-ワン法則が成り立つ。これは、スペンサーとシェラの結果を超グラフへ一般化したものである。
• 指数 $\alpha \in (0, s-1] \cap \mathbb{Q}$ または $\alpha = s - 1 + \frac{1}{k}$（$k \in \mathbb{N}$）のとき、ゼロ-ワン法則は成立しない。その理由は、臨界密度を持つ厳密にバランスの取れた部分超グラフが存在するためである。
• 任意の有理数 $\rho \geq \frac{1}{s-1}$ に対して、密度 $\rho$ を持つ厳密にバランスの取れた $s$-超グラフが存在する。また、$\rho = \frac{k}{1 + k(s-1)}$ の場合にも同様にそのような超グラフが存在する。
• 固定された $s$-超グラフ $G$ に対して、$G^s(n, n^{-v/e})$ 内の $G$ のコピー数 $N_G$ は、$a$ を $G$ の自己同型の数として、分布的にポアソン分布 $\mathrm{Pois}(1/a)$ に収束する。
• 無理数 $\alpha$ のとき、ダプリケーターは、$a_r$-先読み戦略を用いて、$G^s(n, n^{-\alpha})$ と $G^s(m, m^{-\alpha})$ 間の $k$ ラウンドエーレンフェルト・ゲームでほとんど確実に勝つことができる。
• 無理数 $\alpha$ かつ $K$ を $r - K\varepsilon < 0$ となるように選ぶとき、$|X| = r$ のとき、閉包サイズ $|\mathrm{cl}_t(X)|$ はほとんど確実に $K + r$ で上限づけられる。これにより、ゲーム内での成長が制御可能となる。