[论文解读] Homomorphism and embedding universal structures for restricted classes

Jan Hubička, Jaroslav Nešetřil|arXiv (Cornell University)|Sep 27, 2009

Advanced Topology and Set Theory参考文献 20被引用 13

一句话总结

本文提出了一种新的组合构造方法，用于在受限关系结构类中构造同态通用结构与嵌入通用结构，方法基于通用超同构结构的提升与投影。该文提供了关于禁止从有限连通图同态的类中存在通用对象的显式、模型论式证明，并确立了对偶结构的存在性，以及一种基于偶-奇距离度量的乌里松空间的新变体。

ABSTRACT

This paper unifies problems and results related to (embedding) universal and homomorphism universal structures. On the one side we give a new combinatorial proof of the existence of universal objects for homomorphism defined classes of structures (thus reproving a result of Cherlin, Shelah and Shi) and on the other side this leads to the new proof of the existence of dual objects (established by Nešetřil and Tardif). Our explicite approach has further applications to special structures such as variants of the rational Urysohn space. We also solve a related extremal problem which shows the optimality (of the used lifted arities) of our construction (and a related problem of A. Atserias).

研究动机与目标

• 为通过禁止从有限连通图同态所定义的类中，同态通用结构的存在性，提供一种新的、显式的、组合的证明。
• 重新证明并拓展所有禁止结构均为关系树的类中对偶结构（有限同态通用结构）的存在性。
• 通过通用（超同构）结构的提升与投影框架，统一研究通用结构与同态通用结构。
• 解决一个与提升后元数相关的极值问题，证明该构造方法的最优性。
• 引入并构造一种基于偶-奇距离度量的乌里松空间新变体，推广经典有理乌里松空间。

提出的方法

• 利用提升（扩张）与投影（约化）从一个通用超同构结构构造通用对象。
• 应用弗雷歇极限构造方法，定义一个通用偶-奇度量空间，其中距离以行走路径的偶长度与奇长度的配对表示。
• 定义一个度量空间 $\mathbf{U}$，其顶点为具有有限定义域的函数 $f$，满足闭包与度量一致性条件。
• 通过最小化公共扩张，利用偶-奇配对上的逐元素最小值，构造距离 $d_{\mathcal{U}}(f,g)$。
• 证明偶-奇度量空间类满足并置性，从而保证通用结构的存在性。
• 通过从距离配对构造图的方法，将禁止长度至 $l$ 的奇圈的图类约化为通用偶-奇度量空间 $\mathbf{U}_l$ 的子空间。

实验结果

研究问题

• RQ1 能否在不使用模型论工具的前提下，组合性地证明 $\mathop{\mathrm{Forb}}_h(\mathbf{F}_1,\dots,\mathbf{F}_t)$ 中同态通用结构的存在性？
• RQ2 在禁止同态的结构类中，同态通用结构与嵌入通用结构之间存在何种关系？
• RQ3 能否为所有禁止结构均为关系树的类，显式构造对偶结构（有限同态通用结构）？
• RQ4 通过提升与投影构造通用结构的方法，在元数与复杂度方面是否最优？
• RQ5 能否基于偶-奇距离度量构造乌里松空间的一种新变体，其结构特性如何？

主要发现

• 为有限连通图 $\mathbf{F}_i$ 的类 $\mathop{\mathrm{Forb}}_h(\mathbf{F}_1,\dots,\mathbf{F}_t)$ 中同态通用结构的存在性，给出了新的组合证明，重新证明了切尔林、谢拉赫与施的研究结果。
• 显式提供了对偶结构（有限同态通用结构）的构造，以新方式证明了定理 1.2。
• 构造了一个通用偶-奇度量空间 $\mathbf{U}$，作为偶-奇度量空间的弗雷歇极限，满足并置性。
• 类 $\mathcal{K}_l$（即不存在满足 $a+b \leq l$ 的距离对 $d(x,y) = (a,b)$ 的偶-奇度量空间）具有一个通用且齐次的结构 $\mathbf{U}_l$。
• 在 $U_l$ 上定义的图 $\mathbf{G}_l$，通过连接距离对为 $(a,1)$ 的顶点构成，是所有不包含长度至多为 $l$ 的奇圈的可数图类的通用图。
• 通过具有有限定义域与偶-奇距离值的函数 $f$ 显式构造 $\mathbf{U}$ 的方法，被证明可生成一个通用偶-奇度量空间，其结构类似于卡捷托夫函数。