[论文解读] Spaces of completions of elementary theories and convergence laws for random hypergraphs

Nicolau C. Saldanha, Márcio Telles|arXiv (Cornell University)|Feb 21, 2016

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

一句话总结

该论文在二项式模型 $G^{d+1}(n,p)$ 中建立了随机 (d+1)-均匀超图的收敛律，表明当边概率为对数指数型且满足 $p \ll n^{-d+ε}$ 时，所有基本性质的概率收敛于 $[0,1]$ 中的极限。其核心贡献是一个拓扑框架：几乎必然理论 $\Theta_p$ 的所有完成的集合构成的空间 $\mathcal{K}(\Theta_p)$ 是紧致的、可度量化且完全不连通的，其结构从单点到康托集依 $p$ 的不同而变化，收敛行为由该空间上的博雷尔概率测度所控制。

ABSTRACT

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:\mathbb{N} o[0,1]$. We prove that, for all logarithmo-exponential $p\ll n^{-d+ε}$, the probabilities of all elementary properties of hypergraphs converge, with particular emphasis in the ranges $p(n)\sim C/n^d$ and $p(n) \sim C\log(n)/n^d$. The exposition is unified by constructing, for each such function $p$, the topological space of all completions of its almost sure theory. This space turns out to be compact, metrizable and totally disconnected, but further properties depend on the range of $p$. The convergence of the probabilities of elementary properties is associated with a borelian probability measure on the space.

研究动机与目标

• 完成对双跳窗口 $p \sim C \log n / n^d$（$C > 0$）中收敛律的分类，该问题在先前工作中存在空白。
• 在双跳区域系统且详尽地分析收敛律，扩展斯宾塞在《随机图的奇异逻辑》中的粗略思路。
• 提出并形式化一个拓扑框架——几乎必然理论的完成空间——以理解随机超图中收敛行为的本质。
• 将零一律和收敛律推广至所有对数指数函数 $p(n)$，并证明在此类函数中不再存在其他‘间隙’。

提出的方法

• 为给定的边概率函数 $p(n)$ 构造几乎必然理论 $\Theta_p$ 的所有完成的集合构成的拓扑空间 $\mathcal{K}(\Theta_p)$，该空间是紧致的、可度量化的且完全不连通的。
• 在 $\mathcal{K}(\Theta_p)$ 上关联一个博雷尔概率测度，该测度控制基本性质的极限概率。
• 使用阶乘矩方法，证明在半径为 $r$ 的球内，边与环的 $(r,s)$-模式的分布收敛于具有显式均值的独立泊松分布。
• 证明当 $p \sim \lambda / n^d$ 时，空间 $\mathcal{K}(\Theta_p)$ 是一个康托空间，意味着存在不可数无穷多个完成，且收敛行为非平凡。
• 通过对称化与环计数方法，应用模式渐近独立性的技术，证明对称差的边集满足 $\mathbb{P}[A \triangle B] = o(1)$。
• 利用基本性质的生成树结构，证明当 $p$ 处于双跳区域时，完成空间不包含孤立点。

实验结果

研究问题

• RQ1 对于哪些对数指数函数 $p(n)$，$G^{d+1}(n,p)$ 中所有基本性质的概率会收敛于 $[0,1]$ 中的极限？
• RQ2 对于 $p(n)$ 的不同取值范围，几乎必然理论 $\Theta_p$ 的完成空间 $\mathcal{K}(\Theta_p)$ 具备何种拓扑结构？
• RQ3 在双跳区域 $p \sim C \log n / n^d$ 中，空间 $\mathcal{K}(\Theta_p)$ 的行为如何？
• RQ4 是否能通过完成空间上的博雷尔概率测度来描述概率的收敛性？该框架如何推广零一律？
• RQ5 边与环的 $(r,s)$-模式在刻画超图性质的极限行为中起什么作用？

主要发现

• 对于所有对数指数型 $p \ll n^{-d+\epsilon}$，$G^{d+1}(n,p)$ 中所有基本性质的概率收敛于 $[0,1]$ 中的极限，从而确立了收敛律。
• 对于所有此类 $p$，完成空间 $\mathcal{K}(\Theta_p)$ 均为紧致、可度量化且完全不连通的，其结构取决于 $p$ 的取值范围。
• 当 $p \sim \lambda / n^d$ 时，空间 $\mathcal{K}(\Theta_p)$ 是一个康托空间，表明存在不可数无穷多个完成，且收敛行为非平凡。
• 在双跳区域 $p \sim C \log n / n^d$ 中，空间 $\mathcal{K}(\Theta_p)$ 是一个康托空间，且收敛律成立，同时不存在孤立点。
• 基本性质的极限概率由 $\mathcal{K}(\Theta_p)$ 上的博雷尔概率测度控制，该测度推广了完全完成集的概念。
• 在半径为 $r$ 的球内，边与环的 $(r,s)$-模式的分布收敛于均值与 $\lambda^l / l! \cdot p_\Delta$ 成比例的独立泊松分布，从而保证了渐近独立性。