[论文解读] All reducts of the random graph are model-complete

Manuel Bodirsky, Michael Pinsker|arXiv (Cornell University)|Mar 14, 2009

Advanced Topology and Set Theory参考文献 18被引用 5

一句话总结

本文证明了随机图的所有约化都是模型完备的，这意味着所有一阶公式在模型的嵌入下保持不变。通过在包含随机图自同构群的局部闭变换幺半群上运用拉姆齐理论方法，作者对这些幺半群进行了分类，并推导出在随机图中一阶可定义的所有结构都是模型完备的，且在存在性互定义意义下实现了更精细的分类。

ABSTRACT

We study locally closed transformation monoids which contain the automorphism group of the random graph. We show that such a transformation monoid is locally generated by the permutations in the monoid, or contains a constant operation, or contains an operation that maps the random graph injectively to an induced subgraph which is a clique or an independent set. As a corollary, our techniques yield a new proof of Simon Thomas' classification of the five closed supergroups of the automorphism group of the random graph; our proof uses different Ramsey-theoretic tools than the one given by Thomas, and is perhaps more straightforward. Since the monoids under consideration are endomorphism monoids of relational structures definable in the random graph, we are able to draw several model-theoretic corollaries: One consequence of our result is that all structures with a first-order definition in the random graph are model-complete. Moreover, we obtain a classification of these structures up to existential interdefinability.

研究动机与目标

• 对包含随机图自同构群的局部闭变换幺半群进行分类。
• 证明随机图的所有约化都是模型完备的，这是一种强模型论性质。
• 为西蒙·托马斯关于随机图自同构群的闭上超群的分类提供一种新的、更直接的证明。
• 建立约化在存在性互定义意义下的分类，以细化一阶互定义性分类。
• 探索约化图中幺半群结构、自同态与约束满足问题之间的联系。

提出的方法

• 使用拉姆齐理论技术分析包含随机图自同构群的局部闭变换幺半群。
• 应用在随机图的有限划分上定义的典范函数概念，以研究自同态的行为。
• 使用切换操作（sw）和否定操作（−）作为关键工具，以生成或排除特定自同态。
• 采用局部生成的概念：若一个幺半群中每个在每个有限集上与某元素一致的函数本身也属于该幺半群，则称其为局部闭的。
• 利用随机图的扩展性质，在有限子结构上构造并分析嵌入与自同态。
• 应用关于置换群和自同态幺半群的结果，推导出结构二分性：幺半群要么由其置换生成，要么包含常值操作，要么包含删除所有边或所有非边的操作。

实验结果

研究问题

• RQ1 哪些是可能的、包含随机图自同构群的局部闭变换幺半群？
• RQ2 在什么条件下，随机图约化的自同态幺半群由其自同构局部生成？
• RQ3 当随机图的约化不满足模型完备性时，其何种结构特征会阻止这一性质？
• RQ4 操作 sw（切换）和 −（否定）如何影响约化自同态幺半群的结构？
• RQ5 在一阶互定义性与存在性互定义性之间，随机图约化中存在何种关系？

主要发现

• 所有随机图的约化都是模型完备的，这意味着任意两个约化理论模型之间的嵌入都保持所有一阶公式。
• 任何随机图约化的自同态幺半群，要么由其自同构局部生成，要么包含常值操作，要么包含一个删除所有边或所有非边的单射自同态。
• 通过拉姆齐理论工具，获得了一个关于西蒙·托马斯所分类的随机图自同构群的五个闭上超群的新证明。
• 建立了约化在存在性互定义意义下的分类，细化了经典的一阶互定义性分类。
• 结果表明，随机图约化的约束满足问题（CSP）在存在性正定可定义性下保持不变，从而为潜在的复杂度分类提供了可能。
• 若一个约化同时被 sw 和 − 保持，但不被 e_N 或 e_E 保持，则其自同态要么由 sw、− 和随机图的自同构局部生成，要么被所有置换保持（这将意味着它包含 e_N 和 e_E，导致矛盾）。