[論文レビュー] Some examples of asymptotic combinatorial behavior, zero-one and convergence results on random hypergraphs

Nicolau C. Saldanha, Márcio Telles|arXiv (Cornell University)|Nov 19, 2014

Limits and Structures in Graph Theory参考文献 8被引用数 3

ひとこと要約

本稿は、エッジ確率 $ p \sim C\log n / n^d $ の臨界的結合性領域におけるランダムな $(d+1)$-一様ハイパーグラフのゼロ-ワン法則および収束法則を拡張する。ハーディーのクラスに属する対数指数関数的エッジ関数に対して、すべての一次論理的性質が 0 または 1 に収束することを確立し、結合性および成分構造の明示的漸近式を提供する。これは、エレミス–レニの二重指数法則をハイパーグラフへ一般化するものである。

ABSTRACT

This is an extended version of the thesis presented to the Programa de Pós-Graduação em Matemática of the Departamento de Matemática, PUC-Rio, in September 2013, incorporating some suggestions from the examining commission. Random graphs (and more generally hypergraphs) have been extensively studied, including their first order logic. In this work we focus on certain specific aspects of this vast theory. We consider the binomial model $G^{d+1}(n,p)$ of the random $(d+1)$-uniform hypergraph on $n$ vertices, where each edge is present, independently of one another, with probability $p=p(n)$. We are particularly interested in the range $p(n) \sim C\log(n)/n^d$, after the double jump and near connectivity. We prove several zero-one, and, more generally, convergence results and obtain combinatorial applications of some

研究の動機と目的

• 臨界的窓 $p \sim C\log n / n^d$ におけるランダムハイパーグラフの収束法則の分類を完成させること、特に $C \neq 1$ の場合を含む。
• エレミス–レニの結合性に関する二重指数公式を $d+1$-一様ハイパーグラフへ一般化すること。
• ハーディーのクラスに属する対数指数関数的関数のエッジ確率に対して、ゼロ-ワン法則および収束法則の体系的取り扱いを提供すること。
• これらのハイパーグラフ極限の可算モデルのほとんど確実な理論および素性型を記述すること。
• 非初等的性質の素性近似を用いた一階論理の漸近的表現力の研究を通じて、一様ハイパーグラフにおける一階論理の漸近的表現力を探索すること。

提案手法

• エッジ確率 $p = p(n)$ の下で、$p \sim C\log n / n^d$ を満たす二項確率ハイパーグラフモデル $G^{d+1}(n,p)$ を分析する。
• 確率論的手法を用いて、特に成分サイズおよび結合性述語の一次論理的性質の確率の極限を計算する。
• 非初等的述語（例：$C(x)$：$x$ が最大成分に属する）と初等的近似（例：$\tilde{C}_l(x)$：サイズ $\leq l$ の成分に属さない）の間のほとんど確実な同値性の概念を用いる。
• $D_l$ および $\tilde{D}_l$ の集合を導入し、成分構造および結合性を分析する。$p$-領域が特定の条件下にあるとき、$\mathbb{P}(D_l \triangle \tilde{D}_l) \to 0$ を示す。
• モーメント法およびポアソン近似を適用して漸近的確率を導出し、$\lim_{n\to\infty}\mathbb{P}[D_l] = \exp\left(-\sum_{i=0}^u \lambda_i\right)$ を得る。ここで $\lambda_i$ は $p$ に依存する明示的式である。
• スペンサー（1990）およびシェラフ–スペンサー（1993）による無理数べき法則のゼロ-ワン法則の結果を用い、それをハイパーグラフへ拡張する。

実験結果

リサーチクエスチョン

• RQ1 $p \sim C\log n / n^d$ に対して $G^{d+1}(n,p)$ において収束法則が成り立つか。また、その極限確率は何か？
• RQ2 エレミス–レニの二重指数公式による結合性は、$d+1$-一様ハイパーグラフへ一般化可能か？
• RQ3 $p \sim C\log n / n^d$ の領域における $G^{d+1}(n,p)$ のほとんど確実な理論の構造は何か。また、どのように公理化可能か？
• RQ4 非初等的性質（例：最大成分への属する）の初等的近似は、ほとんど確実に同値となるか？
• RQ5 一様ハイパーグラフにおける一階論理の漸近的表現力は何か。また、無視可能な集合のイデアルとどのように関係するか？

主な発見

• $p \sim C n^{-(1+ld)/l}$ のとき、ハイパーグラフがサイズ $\leq l$ の成分をもつ確率は $\exp\left(-\sum_{i=0}^u \lambda_i\right)$ に収束する。これはエレミス–レニの公式を一般化する。
• $p = \frac{d!}{1+ld} \cdot \frac{\log n + l\log\log n + c(n)}{n^d}$ で $c(n) \to c$ のとき、結合性の極限確率は $\exp\left(-\frac{c d!}{(1+ld)!} e^{-c}\right)$ に収束する。
• $\lim_{n\to\infty} c_l(n) = +\infty$ ならば、述語 $C(x)$（最大成分に属する）はほとんど確実に $\tilde{C}_l(x)$（サイズ $\leq l$ の成分に属さない）に同値である。
• ハーディーのクラスに属する対数指数関数的関数で $p \ll n^{-d+\epsilon}$ を満たすすべての $p$ に対して収束法則が成り立ち、収束スペクトルにさらなるギャップは存在しない。
• $p \sim C\log n / n^d$ の領域における $G^{d+1}(n,p)$ のほとんど確実な理論は完全であり、成分サイズ制約に基づく簡単な公理化が可能である。
• 性質が漸近的に異なる集合のイデアル $\mathcal{I}$ は、一様ハイパーグラフにおける一階論理の漸近的表現力を完全に捉えている。