[论文解读] On first-order transductions of classes of graphs

Samuel Braunfeld, Jaroslav Nešetřil+2 more|arXiv (Cornell University)|Aug 30, 2022

semigroups and automata theory被引用 4

一句话总结

本文研究了图的遗传类上的首阶（FO）传递拟序，确立其具有高度复杂性——既非格也非分配格——但构成一个有界的分配并半格。通过带宽、树宽和度数等结构参数，刻画了路径、立方图和树的传递。证明了路径宽类在首阶传递下形成严格层次结构，同时识别出星森林为最小的非有界度数传递类，揭示了传递对偶性。

ABSTRACT

We study various aspects of the first-order transduction quasi-order on graph classes, which provides a way of measuring the relative complexity of graph classes based on whether one can encode the other using a formula of first-order (FO) logic. In contrast with the conjectured simplicity of the transduction quasi-order for monadic second-order logic, the FO-transduction quasi-order is very complex, and many standard properties from structural graph theory and model theory naturally appear in it. We prove a local normal form for transductions among other general results and constructions, which we illustrate via several examples and via the characterizations of the transductions of some simple classes. We then turn to various aspects of the quasi-order, including the (non-)existence of minimum and maximum classes for certain properties, the strictness of the pathwidth hierarchy, the fact that the quasi-order is not a lattice, and the role of weakly sparse classes in the quasi-order.

研究动机与目标

• 分析图的遗传类上首阶传递拟序的结构，该拟序通过可定义编码衡量逻辑复杂性。
• 利用带宽、树宽和度数等结构图参数，刻画基本图类（如路径、立方图和树）的传递。
• 研究有界路径宽或树宽等性质是否在首阶传递下形成严格层次结构。
• 探索传递拟序中是否存在最大或最小类，特别是识别出不能从任何有界度数图类传递而来的最小类。
• 提出并检验关于稀疏类稠密类比的猜想，尤其关注单峰稳定性和可稀疏化性之间的关系。

提出的方法

• 引入首阶传递的正规形式，以捕捉一阶逻辑中的局部性，从而支持结构分析。
• 使用传递包含与粘合技术，从简单组件构建复杂传递。
• 应用模型论概念（如单峰依赖与稳定性）刻画传递闭包类。
• 运用结构图论工具（如树宽、路径宽和退化性）对传递关系进行分类。
• 提出稀疏类的‘稠密类比’概念，将稀疏性理论扩展至单调类之外。
• 利用结构稀疏性结果（如有界扩张、处处非稠密性）及传递对偶性推导出推论。

实验结果

研究问题

• RQ1 图的遗传类上的首阶传递拟序是否构成格，还是更为复杂？
• RQ2 对于所有 k ≥ 1，路径宽至多为 k 的图类在首阶传递下是否形成严格层次结构？
• RQ3 是否存在一个不能从任何有界度数图类传递而来的最小类？其结构特征是什么？
• RQ4 单峰稳定类是否可稀疏化，即是否与弱稀疏类传递等价？
• RQ5 在传递拟序中，有界扩张类的稠密类比与单峰稳定之间存在何种关系？

主要发现

• 图的遗传类上的首阶传递拟序并非格，其商偏序也非格，表明其具有高度复杂性。
• 对于所有 k ≥ 1，路径宽至多为 k 的图类在首阶传递下形成严格层次结构。
• 星森林是不能从任何有界度数图类传递而来的最小类，揭示了一种类形式的传递对偶性。
• 路径、立方图和立方树的传递分别由有界带宽、有界度数和有界树宽刻画。
• 传递拟序构成一个有界的分配并半格，其加法类子偏序集亦然。
• 猜想表明，单峰稳定类可稀疏化当且仅当其稠密类比被有界扩张类的传递下集完全捕获。