[论文解读] Unifying duality theorems for width parameters in graphs and matroids. II. General duality

Reinhard Diestel, Sang‐il Oum|arXiv (Cornell University)|Jun 15, 2014

Advanced Graph Theory Research参考文献 7被引用 3

一句话总结

本文通过引入更一般的树状结构——S-图，并将禁止集从星形放宽至弱星形，建立了图与拟阵中类似绳结的稠密对象（如块和轮廓）的广义对偶定理。关键贡献在于构建了一个对偶框架，能够捕捉此前传统对偶定理无法涵盖的块与轮廓，通过允许非树结构和更广泛的阻碍集，证明此类推广对于这些对象而言是必要且最优的。

ABSTRACT

We prove a general duality theorem for tangle-like dense objects in combinatorial structures such as graphs and matroids. This paper continues, and assumes familiarity with, the theory developed in [6]

研究动机与目标

• 开发一种针对图与拟阵中类似绳结的稠密对象（如块和轮廓）的对偶框架，这些对象此前未被基于S-树的对偶定理所涵盖。
• 通过证明需要更一般的阻碍结构，阐明为何基于S-树的星形阻碍集的早期对偶定理无法捕捉块与轮廓。
• 引入S-图——具有少量环的图——作为合适的树状结构，以见证块与轮廓的不存在性。
• 通过构造既不包含此类稠密对象也不存在S-树分解的图，证明新对偶定理对块与轮廓而言是最佳可能的。
• 证明k-轮廓与k-块在各自禁止族中并非与S_k-树在星形上的对偶，从而需要更一般的阻碍集。

提出的方法

• 通过允许方向中的禁止集为任意分离集合族，推广对偶框架，重点关注弱星形作为最小充分类。
• 引入S-图作为S-树的推广，允许具有少量环的图作为稠密对象不存在性的见证。
• 通过将第一部分中的弱对偶框架扩展，证明主对偶定理，现允许一致方向避开弱星形，而不仅限于星形。
• 作者证明，k-轮廓的集合恰好对应于S_k分离系统的一致方向，且避开由轮廓公理导出的特定弱星形族。
• 通过构造一个包含四个K5子图且具有交叉分离的图，证明即使不存在k-块或k-轮廓，也不存在S-树分解（k=6时）。
• 分析k-轮廓的禁止集结构，并提出一个由‘去交叉’违反三元组构成的3-星族F，表明k-轮廓等价于F-避免的一致方向。

实验结果

研究问题

• RQ1 为何基于S-树在星形上的标准对偶定理无法捕捉图与拟阵中的k-块与k-轮廓？
• RQ2 为对偶见证类似绳结的稠密对象（如块与轮廓）的不存在性，需要何种广义树状结构？
• RQ3 k-轮廓能否被表征为避开弱星形族的一致方向？若是，该族是否足以支持强对偶定理？
• RQ4 是否存在一个图，既不包含k-块或k-轮廓，也不存在任何星形族上的S-树分解，从而证明S-图的必要性？
• RQ5 能否将k-轮廓的禁止集重新定义为去交叉的3-星形，以恢复与S-树的对偶性？由此产生的结构是否为S_k-F-可分离？

主要发现

• 本文证明，k-块与k-轮廓在各自禁止族中不能与S_k-树在星形上构成对偶，因此必须采用更广义的框架。
• 构造了一个包含四个K5子图且具有交叉分离的S-图，用以见证6-块或6-轮廓的不存在性，表明S-树不足以胜任。
• 例7.5中的图在S_6^{-}上不存在S-图，也不存在与B_6或P_6对应的弱星形族，表明即使S-图在结构过于受限时也可能失效。
• k-轮廓被证明等价于S_k中避开由轮廓公理导出的特定弱星形族的一致方向，从而获得新的表征。
• 本文构造了一个基于由去交叉违反三元组形成的3-星族F的S_k-树，表明使用该新族可能实现k-轮廓的强对偶定理。
• 作者得出结论：新对偶框架对块与轮廓而言是最佳可能的，因为存在既不包含此类稠密对象也不存在任何S-树分解的图。