[论文解读] Stable regularity for relational structures

Nathanael Ackerman, Cameron E. Freer+1 more|arXiv (Cornell University)|Dec 26, 2017

Advanced Topology and Set Theory参考文献 11被引用 4

一句话总结

本文将 Malliaris 和 Shelah 的稳定正则性引理从图推广到有限语言中的有限关系结构，证明稳定结构可实现大小为多项式有界的均衡正则性划分，其中所有关系几乎为 0-1 稠密。关键结果是：此类结构在编辑距离上接近于某个小有限结构的均衡展开，消除了中间稠密度和不规则对。

ABSTRACT

We generalize the stable graph regularity lemma of Malliaris and Shelah to the case of finite structures in finite relational languages, e.g., finite hypergraphs. We show that under the model-theoretic assumption of stability, such a structure has an equitable regularity partition of size polynomial in the reciprocal of the desired accuracy, and such that for each $k$-ary relation and $k$-tuple of parts of the partition, the density is close to either 0 or 1. In addition, we provide regularity results for finite and Borel structures that satisfy a weaker notion that we call almost stability.

研究动机与目标

• 将稳定正则性引理从图推广至有限语言中的有限关系结构。
• 建立稳定有限结构可实现大小为多项式有界的均衡正则性划分。
• 证明此类划分使得结构在编辑距离上接近于小有限结构的均衡展开。
• 将结果推广至近乎稳定和 Borel 关系结构。
• 在稳定性条件下消除正则性近似中的中间稠密度和不规则对。

提出的方法

• 将 Malliaris 和 Shelah [MS14] 的证明框架适配至有限关系语言。
• 使用 $ε$-优秀集合的概念构造行为良好的子结构。
• 应用均衡划分技术，确保各部分大小差异最小。
• 采用编辑距离度量结构与小有限结构展开之间的接近程度。
• 引入“近乎稳定性”概念，将结果扩展至严格稳定性之外的情形。
• 使用有限展开和模型论工具构造具有正则性性质的 Borel 结构。

实验结果

研究问题

• RQ1 稳定正则性引理能否从图推广至有限语言中的任意有限关系结构？
• RQ2 稳定有限关系结构的正则性划分的最优大小为何？
• RQ3 稳定结构的正则性划分中，关系的稠密度行为如何？
• RQ4 结果能否推广至非严格稳定但“近乎稳定”的结构？
• RQ5 在稳定性条件下，Borel 关系结构具有何种正则性性质？

主要发现

• 稳定有限关系结构可实现大小为所需精度倒数的多项式函数的均衡正则性划分。
• 对于每个 k 元关系及划分部分的 k 元组，诱导子结构接近于完全存在或完全不存在，其稠密度接近 0 或 1。
• 划分中部分的数量受 $\left(\frac{\varepsilon}{6q_{\mathcal{L}}|\mathcal{L}|}\right)^{-(g+1)(g+2)}$ 限制，表明其对精度具有多项式依赖性。
• 该结构在编辑距离上与同一语言中某个小有限结构的均衡展开相差不超过 $\varepsilon$。
• 对于近乎稳定结构，存在类似的正则性结果，尽管编辑可能不均匀分布。
• 为近乎稳定 Borel 关系结构建立了正则性引理的 Borel 版本，其具有类似的编辑距离近似性质。