[论文解读] Linear Connectivity Forces Large Complete Bipartite Minors: the Patch for the Large Tree-Width Case

Jan-Oliver Fröhlich, Theodor Müller|ArXiv.org|Jun 15, 2009

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

一句话总结

本文针对Böhme等人证明中关于线性高连通性迫使存在大尺寸完全二部图子式这一结论的漏洞提供了一个严谨的修补，特别针对树宽较大的图。通过用Robertson和Seymour原始结构定理的直接应用替代其未经证明的结构定理，作者在嵌入的核心图中确立了一个大而宽的旋涡（vortex）的存在性，从而确保了子式构造所必需的组合结构（comb structure），因此在原始假设下验证了主要结果。

ABSTRACT

The recent paper "Linear Connectivity Forces Large Complete Bipartite Minors" by Boehme et al. relies on a structure theorem for graphs with no H-minor. The sketch provided of how to deduce this theorem from the work of Robertson and Seymour appears to be incomplete. To fill this gap, we modify the main proof of that paper to work with a mere restatement of Robertson and Seymour's original results instead.

研究动机与目标

• 解决Böhme等人论文中关于完全二部图子式定理1.1证明中的关键漏洞。
• 用Robertson与Seymour原始结构定理的直接、严谨应用，替代其论证中未经证明的结构定理（定理4.2）。
• 确保在嵌入的核心图中存在一个大而宽的旋涡，以支持子式构造。
• 通过提供一个自包含且正确的论证，使其在原始框架内成立，从而验证Böhme等人的主要结果。
• 基于核心图中低度顶点定义关键顶点，并利用此定义证明存在一个$n_2$-宽旋涡。

提出的方法

• 以与Böhme等人论文一致的术语重述Robertson与Seymour的结构定理，以实现直接适用性。
• 将旋涡定义为具有线性有序社会结构（society）且具有受控附着集（adhesion sets）的链接路径分解的图。
• 引入在曲面上的$\alpha$-近嵌入概念，包含尖点集（apex sets）、大旋涡（链接、高附着度）和小旋涡（长度≤3）。
• 引入关键社会顶点（essential society vertices）的概念（在$G_0$中度数小于7），以优化欧拉示性数论证。
• 对嵌入的核心图$G_0$应用欧拉公式，利用边数与面数的上界，推导出关键顶点数的下界。
• 利用推论5界定大墙子式与旋涡及尖点集相交的分支集数量，若$G_0$过小则导致矛盾。

实验结果

研究问题

• RQ1 Böhme等人用于推导高树宽图中存在大嵌入墙的结构定理是否在数学上严格成立？
• RQ2 是否可以在不依赖其未经证明的定理4.2的前提下，确立嵌入核心图中存在一个大而宽旋涡？
• RQ3 在采用修正后的关键顶点定义时，欧拉示性数论证是否仍然有效？
• RQ4 是否仅使用Robertson与Seymour的基础结果，就能修复定理1.1的原始证明？
• RQ5 在修正后的框架中，是否存在一个与连接链不相交、其齿位于社会顶点上的组合结构（comb），这是否可由定理1推出？

主要发现

• 核心图$G_0$必须包含超过$n_1$个顶点，否则大墙子式的分支集数量将不足以匹配所需的$r^2$计数。
• 至多存在$g$个小型旋涡，因为每个旋涡被至多3个顶点分离，且对墙子式的分支集贡献极少。
• 在$G_0$中，关键社会顶点的数量超过$\frac{1}{7}|G_0| - 2(a+1)g - ask$，确保此类顶点数量足够多。
• 存在一个$n_2$-宽旋涡，即其社会结构中至少包含$n_2$个关键顶点，足以触发子式构造。
• 由定理1保证，存在一个与大旋涡连接链不相交的组合结构（comb），确保子式构造能正确进行。
• 修正后的关键顶点定义与欧拉公式论证现均成立，从而验证了原始证明中的关键步骤。