[论文解读] Existence of Modeling Limits for Sequences of Sparse Structures

Jaroslav Nešetřil, Patrice Ossona de Mendez|arXiv (Cornell University)|Jul 30, 2016

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

一句话总结

本文证明了结构图论与模型论中的两个长期猜想：每个FO-收敛的残差稀疏图序列具有模型极限，且一个单调图类 admits 模型极限当且仅当其为处处无处稠密。作者通过一阶逻辑与测度论模型结构，建立了对处处无处稠密–某处稠密二分的奠基性分析表征。

ABSTRACT

A sequence of graphs is FO-convergent if the probability of satisfaction of every first-order formula converges. A graph modeling is a graph, whose domain is a standard probability space, with the property that every definable set is Borel. It was known that FO-convergent sequence of graphs do not always admit a modeling limit, and it was conjectured that this is the case if the graphs in the sequence are sufficiently sparse. Precisely, two conjectures were proposed: * If a FO-convergent sequence of graphs is residual, that is if for every integer $d$ the maximum relative size of a ball of radius $d$ in the graphs of the sequence tends to zero, then the sequence has a modeling limit. * A monotone class of graphs $\mathcal C$ has the property that every FO-convergent sequence of graphs from $\mathcal C$ has a modeling limit if and only if $\mathcal C$ is nowhere dense, that is if and only if for each integer $p$ there is $N(p)$ such that no graph in $\mathcal C$ contains the $p$th subdivision of a complete graph on $N(p)$ vertices as a subgraph.

研究动机与目标

• 解决关于每个FO-收敛残差有限结构序列是否 admits 模型极限的猜想。
• 证明一个单调图类具有模型极限当且仅当其为处处无处稠密。
• 通过一阶逻辑与模型极限，提供对处处无处稠密–某处稠密二分的分析表征。
• 在最小结构假设下，建立稀疏图序列模型极限的存在性。
• 通过结构极限框架，统一模型论、组合数学与分析中的概念。

提出的方法

• 引入并分析残差序列的概念，其中任意固定半径的球的相对大小趋于零。
• 使用模型极限作为具有Borel可定义集合且在自同构下测度不变的概率空间。
• 应用模型论与描述集合论技术，为FO-收敛序列构造模型极限。
• 运用强有限质量传输原理，分析极限结构中的邻域约束。
• 利用处处无处稠密类与完全图大子图划分的不存在性之间的等价性。
• 利用有限模型性质与一阶逻辑中的可定义性，表征模型极限的理论。

实验结果

研究问题

• RQ1 每个FO-收敛残差有限图序列是否 admits 模型极限？
• RQ2 一个单调图类中每个FO-收敛序列存在模型极限，是否等价于该类为处处无处稠密？
• RQ3 在处处无处稠密图序列的模型极限中，强有限质量传输原理是否可保证成立？
• RQ4 一个模型的$τ$-理论与其$τ(Q_m)$-理论之间有何关系？
• RQ5 在何种条件下，一个模型结构是有限图序列的FO极限？

主要发现

• 本文证明了猜想1：每个FO-收敛残差有限结构序列 admits 模型极限。
• 本文证明了猜想2：一个单调图类具有模型极限当且仅当其为处处无处稠密。
• 通过模型极限对处处无处稠密类的表征，为处处无处稠密–某处稠密二分提供了新的分析表征。
• 在来自处处无处稠密类的FO-收敛序列的模型极限中，强有限质量传输原理对可定义集合成立。
• 一个模型极限的理论完全由一阶公式的满足概率决定。
• 对于具有有界树深度的图序列、树以及有界路径宽的图，模型极限存在，作为一般结果的特例。