[论文解读] Bounded Degree Conjecture Holds Precisely for c-Crossing-Critical Graphs with c <= 12

Drago Bokal, Zdenĕk Dvořák+4 more|arXiv (Cornell University)|Jan 1, 2019

Advanced Graph Theory Research参考文献 19被引用 2

一句话总结

该论文通过证明当 c ≤ 12 时，所有此类图的最大度有常数 D(c) 的界，而当 c ≥ 13 时，存在具有任意高阶顶点的 c-交叉临界图的显式构造，从而解决了 c-交叉临界图的有界度猜想。作者使用一种新颖的zip积构造和边重布线技术，生成了当 c ≥ 13 时具有无界度的 c-交叉临界图的无限族，从而在 c = 12 处确立了精确的临界阈值。

ABSTRACT

We study $c$-crossing-critical graphs, which are the minimal graphs that require at least $c$ edge-crossings when drawn in the plane. For every fixed pair of integers with $c\ge 13$ and $d\ge 1$, we give first explicit constructions of $c$-crossing-critical graphs containing a vertex of degree greater than $d$. We also show that such unbounded degree constructions do not exist for $c\le 12$, precisely, that there exists a constant $D$ such that every $c$-crossing-critical graph with $c\le 12$ has maximum degree at most $D$. Hence, the bounded maximum degree conjecture of $c$-crossing-critical graphs, which was generally disproved in 2010 by Dvořák and Mohar (without an explicit construction), holds true, surprisingly, exactly for the values $c\le 12.$

研究动机与目标

• 为 c-交叉临界图的有界最大度猜想提供证明，该猜想认为对每个 c，存在一个常数 D(c)，使得此类图的最大度有界。
• 确定无界度构造成为可能的确切阈值，特别是识别出 c = 13 为该阈值。
• 为 c ≥ 13 提供 c-交叉临界图具有任意高阶顶点的显式、构造性证明。
• 填补对交叉临界图中度行为理解的空白，特别是对奇数度和高阶顶点的理解。
• 探索在构造具有高阶顶点的 3-连通、简单 c-交叉临界图时的结构限制与可能性。

提出的方法

• 通过涉及 K3,3 和现有 13-交叉临界图的广义 zip 积操作，构造 c ≥ 13 的 c-交叉临界图。
• 利用 zip 积的递归构造方法，将 13-交叉临界图扩展至更高 c 值，同时保持 c-交叉临界性。
• 应用一种顶点重布线技术（引理 6.1），在保持交叉数和临界性的同时增加顶点度数。
• 证明在特定边重布线和细分操作下，交叉数保持不变，从而确保 c-交叉临界性被保留。
• 通过分析图中边的交叉情况，验证构造过程中未引入新交叉，从而确认交叉数。
• 对 c 使用归纳法，构建具有指定度分布和 c-交叉临界性的图 G(c, d, m)，其中 c > 13。

实验结果

研究问题

• RQ1 对于哪些 c 值，c-交叉临界图具有有界最大度？
• RQ2 能否为 c ≥ 13 构造出具有任意高阶顶点的 c-交叉临界图？
• RQ3 哪些结构特性决定了在 c-交叉临界图的无限族中高阶顶点（特别是奇数度顶点）的存在？
• RQ4 是否存在一个精确的阈值 c = 12，超过该值后 c-交叉临界图中无界度行为开始出现？
• RQ5 对于 c ≥ 13，是否存在具有任意大度顶点的 3-连通、简单 c-交叉临界图？

主要发现

• 对每个 c ≤ 12，存在常数 D(c)，使得每个 c-交叉临界图的最大度至多为 D(c)，从而证实了有界度猜想。
• 对每个 c ≥ 13，存在显式构造的 c-交叉临界图，其中包含任意多个度大于任一固定 d 的顶点。
• 对 c ≥ 13 的此类图的构造通过与 K3,3 的递归 zip 积实现，起点为一个 13-交叉临界图。
• 本文提出了一种新方法（引理 6.1），可在保持 c-交叉临界性的同时增加顶点度数，从而实现无界度增长。
• 以 13-交叉临界图 G(k1,…,km)13 作为基础，通过迭代应用度数增加变换，可得到具有任意高阶度的图。
• 结果表明，有界度猜想仅在 c ≤ 12 时成立，而 c = 13 是首次可实现无界度构造的值。