[论文解读] A Linear Upper Bound on the Weisfeiler-Leman Dimension of Graphs of Bounded Genus

Martin Grohe, Sandra Kiefer|arXiv (Cornell University)|Jan 1, 2019

Advanced Graph Theory Research参考文献 35被引用 1

一句话总结

本文建立了在有界欧拉亏格曲面上可嵌入图的 Weisfeiler-Leman (WL) 维度的线性上界。通过使用改进的同构扩展论证，分析超临界桥及其连接模式的结构，作者证明了欧拉亏格为 $g$ 的图的 WL 维度至多为 $4g + 3$，而对于可定向曲面，至多为 $2g + 3$。

ABSTRACT

The Weisfeiler-Leman (WL) dimension of a graph is a measure for the inherent descriptive complexity of the graph. While originally derived from a combinatorial graph isomorphism test called the Weisfeiler-Leman algorithm, the WL dimension can also be characterised in terms of the number of variables that is required to describe the graph up to isomorphism in first-order logic with counting quantifiers. It is known that the WL dimension is upper-bounded for all graphs that exclude some fixed graph as a minor (Grohe, JACM 2012). However, the bounds that can be derived from this general result are astronomic. Only recently, it was proved that the WL dimension of planar graphs is at most 3 (Kiefer, Ponomarenko, and Schweitzer, LICS 2017). In this paper, we prove that the WL dimension of graphs embeddable in a surface of Euler genus $g$ is at most $4g+3$. For the WL dimension of graphs embeddable in an orientable surface of Euler genus $g$, our approach yields an upper bound of $2g+3$.

研究动机与目标

• 确定有界欧拉亏格图的 Weisfeiler-Leman (WL) 维度的紧致上界。
• 将先前关于平面图（WL 维度 ≤ 3）的结果推广至可嵌入任意曲面的图。
• 通过利用拓扑结构，改进排除固定子图的图的一般上界。
• 针对曲面嵌入图中的超临界桥，改进同构扩展技术。
• 在 WL 维度上界方面，建立可定向与非可定向曲面之间的区别。

提出的方法

• 分析欧拉亏格为 $g$ 的曲面上嵌入图中超临界桥的结构。
• 根据桥的类型及其连接模式进行分类，以定义同构不变的着色。
• 通过系统处理桥的连接，将核心子图之间的部分同构扩展为完整同构。
• 利用临界桥与其对偶之间的双射关系，确保同构下结构不变量的保持。
• 对欧拉亏格应用归纳法，特别通过将亏格减少 2 的方式，对可定向曲面的边界进行细化。
• 利用可定向曲面具有偶数欧拉亏格的性质，将上界从 $4g+3$ 改进为 $2g+3$。

实验结果

研究问题

• RQ1 在欧拉亏格为 $g$ 的曲面上可嵌入的图的最大 Weisfeiler-Leman 维度是多少？
• RQ2 与一般曲面相比，可定向曲面上嵌入图的 WL 维度上界是否可以得到改进？
• RQ3 超临界桥的结构复杂性如何影响 WL 维度？
• RQ4 在多大程度上可以利用欧拉亏格等拓扑不变量来界定 WL 维度？
• RQ5 上界 $4g+3$ 是否紧致，还是可以通过更精细的结构分析进一步降低？

主要发现

• 任意欧拉亏格为 $g$ 的图的 Weisfeiler-Leman 维度至多为 $4g + 3$。
• 对于可嵌入在欧拉亏格为 $g$ 的可定向曲面中的图，其 WL 维度至多为 $2g + 3$。
• 可定向曲面的上界通过归纳减少亏格 2 并细化同构扩展过程而实现。
• 该证明依赖于系统性地从核心子图扩展同构至整个图，通过分析桥的类型和连接模式。
• 该结果改进了排除固定子图的图的一般上界，后者仅能给出天文数字般巨大的上界。
• 作者推测，该上界可能进一步降低至 $3g + 3$，甚至 $2g + 3$，表明通过新方法仍有进一步优化的空间。