[论文解读] Duality Theorems for Tangles in Graphs

Reinhard Diestel, Philipp Eberenz+1 more|arXiv (Cornell University)|May 30, 2016

Advanced Graph Theory Research参考文献 12被引用 4

一句话总结

本文建立了一般化扭结的对偶定理，将罗伯逊与塞缪尔森的经典结果推广，通过单一框架统一了扭结、轮廓和 $k$-块的对偶性。该研究解决了迪斯特尔、欧姆以及卡梅林等人的长期开放问题，提供了一个适用于各种图论结构及其推广的全面对偶原理。

ABSTRACT

We prove a duality theorem applicable to a a wide range of specialisations, as well as to some generalisations, of tangles in graphs. It generalises the classical tangle duality theorem of Robertson and Seymour, which says that every graph either has a large-order tangle or a certain low-width tree-decomposition witnessing that it cannot have such a tangle. Our result also yields duality theorems for profiles and for $k$-blocks. This solves a problem studied, but not solved, by Diestel and Oum and answers an earlier question of Carmesin, Diestel, Hamann and Hundertmark.

研究动机与目标

• 将罗伯逊与塞缪尔森的经典扭结对偶定理推广到更广泛的图结构类别。
• 在单一理论框架下统一扭结、轮廓和 $k$-块的对偶结果。
• 解决迪斯特尔与欧姆提出的关于图中轮廓对偶性的开放问题。
• 回答卡梅林、迪斯特尔、哈曼与洪特马尔克提出的问题，即如何将扭结对偶性推广到更一般的设定中。
• 为图中扭结的特例与推广提供一个全面的对偶原理。

提出的方法

• 开发一个适用于图中广泛扭结类结构的一般对偶框架。
• 将扭结对偶的概念扩展，使其包含轮廓和 $k$-块作为特例。
• 运用结构图论技术，证明当不存在高阶扭结时，存在见证用的树分解。
• 应用对偶原理，表明扭结的阻碍等价于低宽度树分解的存在性。
• 将经典高阶扭结与低宽度分解之间的对偶性推广到更广泛的图不变量类别。
• 利用已知的树分解与连通性结果，证明各种扭结类对象的对偶结构的存在性。

实验结果

研究问题

• RQ1 是否可以为图中的扭结、轮廓和 $k$-块建立一个统一的对偶定理？
• RQ2 经典扭结对偶定理是否可扩展到标准扭结以外的更一般的图结构？
• RQ3 是否存在一个对偶原理，能解决迪斯特尔与欧姆关于图中轮廓对偶性的开放问题？
• RQ4 该对偶框架能否扩展以包含图中扭结的推广形式？
• RQ5 何种结构条件可确保：当不存在高阶扭结时，必然存在低宽度树分解？

主要发现

• 本文建立了一般对偶定理，统一了图中扭结、轮廓和 $k$-块的扭结对偶性。
• 通过证明在广义框架下此类对偶性成立，解决了迪斯特尔与欧姆关于轮廓对偶性的开放问题。
• 该结果将罗伯逊与塞缪尔森的经典扭结对偶定理推广到更广泛的图不变量类别。
• 当不存在高阶扭结时，该框架提供了对偶见证结构——具体而言，即低宽度树分解。
• 该方法成功将扭结对偶性推广至 $k$-块，证明了其与有界宽度树分解的对偶性。
• 本文通过构建广义扭结的对偶原理，回答了卡梅林、迪斯特尔、哈曼与洪特马尔克提出的问题。