[论文解读] Limits, Regularity and Removal for Finite Structures

Ashwini Aroskar, James Cummings|arXiv (Cornell University)|Dec 27, 2014

Advanced Operator Algebra Research参考文献 8被引用 13

一句话总结

本文通过超积空间与洛布测度，建立了一个适用于有限关系结构及普遍一阶理论模型的极限、正则性与去除定理的通用框架。它构造了广义图子（generalizing graphons）的分析极限对象，以捕捉收敛结构序列的渐近性质；在该设定下证明了正则性引理与强去除引理，并将结果与拉兹博夫的旗代数方法及现有的图与偏序集极限理论相联系。

ABSTRACT

Our work builds on known results for k-uniform hypergraphs including the existence of limits, a Regularity Lemma and a Removal Lemma. Our main tool here is a theory of measures on ultraproduct spaces which establishes a correspondence between ultraproduct spaces and Euclidean spaces. First we show the existence of a limit object for convergent sequences of relational structures and as a special case, we retrieve the known limits for graphs and digraphs. Then we extend this notion to finite models of a fixed universal theory. We also state and prove a Regularity Lemma and a Removal Lemma. We will discuss connections between our work and Razborov's flag algebras as well.

研究动机与目标

• 将图极限理论推广至一般有限关系结构及普遍一阶理论的模型。
• 基于超积空间与洛布测度，发展一种极限对象形式化方法，将图子推广至高阶关系结构。
• 在该分析框架下，为有限关系结构证明正则性引理与强去除引理。
• 建立该分析极限对象与拉兹博夫代数旗代数方法之间的联系。
• 将已知的有向图与偏序集极限结果作为该通用框架的特例予以恢复。

提出的方法

• 利用有限结构的超积构造一个在洛布测度下同构于欧几里得空间的测度空间中的极限对象。
• 通过子结构密度的收敛性来定义结构序列的收敛性，类比于图极限的收敛性。
• 引入超划分（hyperpartition）的概念，以在k元关系的语境下推广正则性的概念。
• 通过可测集合族构造随机结构，确保其与原序列在渐近上相似。
• 应用拉兹博夫旗代数框架中的技术，证明极限对象的存在性，并推导出正则性与去除结果。
• 证明普遍理论T的模型可由有界大小的禁止诱导子结构完全刻画，且禁止类型信息被编码于极限对象之中。

实验结果

研究问题

• RQ1 对于任意收敛的有限关系结构序列，是否可定义一个极限对象，从而推广图子的概念？
• RQ2 如何为超越图与超图的有限关系结构形式化并证明正则性引理？
• RQ3 通过超积构造的分析极限对象与拉兹博夫旗代数同态之间的确切联系是什么？
• RQ4 强去除引理能否从超图推广至普遍理论的一般有限模型？
• RQ5 已知的有向图与偏序集极限理论如何融入这一基于超积的极限对象通用框架？

主要发现

• 对于任意收敛的有限关系结构序列，极限对象存在，其表示为洛布测度空间中的一组可测集族，广义化了图子至任意关系签名。
• 极限对象作为模板，可生成一个随机结构序列，其在子结构密度上渐近等价于原始序列。
• 为有限关系结构建立了正则性引理，通过超划分将塞迈雷迪正则性引理推广至高阶关系。
• 为有限关系结构证明了强去除引理，表明禁止子结构的稀疏出现意味着在正则化结构中其完全不存在。
• 该框架将已知的有向图与偏序集极限结果作为特例予以恢复，并与詹森及奥夫纳-皮库尔科的理论建立了明确联系。
• 普遍一阶理论T的模型可由有限个有界大小的禁止诱导子结构完全刻画，且极限对象编码了此类禁止类型信息。