[论文解读] Twin-width and permutations

Édouard Bonnet, Jaroslav Nešetřil+3 more|arXiv (Cornell University)|Feb 13, 2021

Limits and Structures in Graph Theory被引用 4

一句话总结

本文证明了一个二元关系结构类具有有界孪生宽度当且仅当它是某个恰当排列类的一阶可化（first-order transduction）。关键贡献在于通过可化建立了孪生宽度与排列类之间的模型论表征，表明所有此类类中，n个顶点的非同构图至多有 $2^{O(n)}$ 个。

ABSTRACT

Inspired by a width invariant on permutations defined by Guillemot and Marx, Bonnet, Kim, Thomassé, and Watrigant introduced the twin-width of graphs, which is a parameter describing its structural complexity. This invariant has been further extended to binary structures, in several (basically equivalent) ways. We prove that a class of binary relational structures (that is: edge-colored partially directed graphs) has bounded twin-width if and only if it is a first-order transduction of a~proper permutation class. As a by-product, we show that every class with bounded twin-width contains at most $2^{O(n)}$ pairwise non-isomorphic $n$-vertex graphs.

研究动机与目标

• 使用模型论工具表征具有有界孪生宽度的二元关系结构类。
• 通过一阶可化在孪生宽度与排列类之间建立精确的逻辑联系。
• 证明任何具有有界孪生宽度的类中，至多包含 $2^{O(n)}$ 个两两不同构的n个顶点图。
• 引入并形式化“有秩孪生模型”（ranked twin-models）作为分析孪生宽度的结构工具。
• 通过可化等价性统一结构图论与排列模式理论。

提出的方法

• 通过追踪错误的红色边的收缩序列，为二元关系结构（带色边的偏定向图）定义孪生宽度。
• 引入有秩孪生模型——满足最小性与一致性的有根树，其边具有横跨边，其最优宽度等于孪生宽度。
• 使用一阶可化将二元结构编码进排列类中，利用逻辑解释。
• 证明每个具有有界孪生宽度的类都是某个恰当排列类的一阶可化。
• 利用已知结果：恰当排列类具有有界孪生宽度，且可化保持有界孪生宽度。
• 应用模型论工具（如一元依赖性、可化等价性）分析结构与逻辑性质。

Figure 3. From a graph $G$ to a permutation $\sigma$ , and back.

实验结果

研究问题

• RQ1 哪些逻辑与结构条件表征了具有有界孪生宽度的二元关系结构类？
• RQ2 所有具有有界孪生宽度的类是否都能表示为排列类的一阶可化？
• RQ3 具有有界孪生宽度的类中，n个顶点的非同构图最多有多少个？
• RQ4 孪生模型及其秩如何与结构的孪生宽度相关？
• RQ5 孪生宽度与结构图论中排列模式避免之间的关系是什么？

主要发现

• 一个二元关系结构类具有有界孪生宽度当且仅当它是某个恰当排列类的一阶可化。
• 每个具有有界孪生宽度的类中，至多包含 $2^{O(n)}$ 个两两不同构的n个顶点图。
• 一个结构的孪生宽度等于其有秩孪生模型的最优宽度。
• 恰当排列类——即避免至少一个排列的类——具有有界孪生宽度。
• 可化保持有界孪生宽度，因此任何恰当排列类的一阶可化也具有有界孪生宽度。
• 孪生宽度与排列类之间的联系揭示了结构图论与排列模式理论之间深层的联系。

Figure 4. A contraction sequence, a so-called block representation of the contractions, and a twin-model.