[论文解读] Minimum degree condition forcing complete graph immersion

Matt DeVos, Zdenĕk Dvořák+4 more|arXiv (Cornell University)|Jan 13, 2011

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

一句话总结

该论文证明，简单图中最小度至少为 200t 时，会强制出现完全图 K_t 的强浸入；对于稠密图，可实现长度为 2 的路径构成的阶数至少为 c²n 的团浸入。该研究通过证明平均度为 d 的图的线图具有 Ω(d³/²) 阶团极小化，从而解决了 Paul Seymour 的一个猜想。

ABSTRACT

An immersion of a graph $H$ into a graph $G$ is a one-to-one mapping $f:V(H) o V(G)$ and a collection of edge-disjoint paths in $G$, one for each edge of $H$, such that the path $P_{uv}$ corresponding to edge $uv$ has endpoints $f(u)$ and $f(v)$. The immersion is strong if the paths $P_{uv}$ are internally disjoint from $f(V(H))$. It is proved that for every positive integer $t$, every simple graph of minimum degree at least $200t$ contains a strong immersion of the complete graph $K_t$. For dense graphs one can say even more. If the graph has order $n$ and has $2cn^2$ edges, then there is a strong immersion of the complete graph on at least $c^2 n$ vertices in $G$ in which each path $P_{uv}$ is of length 2. As an application of these results, we resolve a problem raised by Paul Seymour by proving that the line graph of every simple graph with average degree $d$ has a clique minor of order at least $cd^{3/2}$, where $c>0$ is an absolute constant. For small values of $t$, $1\le t\le 7$, every simple graph of minimum degree at least $t-1$ contains an immersion of $K_t$ (Lescure and Meyniel, DeVos et al.). We provide a general class of examples showing that this does not hold when $t$ is large.

研究动机与目标

• 确定强制简单图中完全图 K_t 强浸入的最小度条件。
• 将图浸入结果推广至稠密图，表明高边密度可实现具有短路径的大团浸入。
• 解决 Paul Seymour 关于给定平均度的图的线图中团极小化大小的猜想。
• 为最小度、边密度与图中浸入/极小化包含之间的关系提供结构洞见。

提出的方法

• 采用构造性方法，在图中顶点对之间构建边不相交的路径，以确保 K_t 的强浸入。
• 应用 Vizing 定理，对精心选择的顶点集 S 的补图中的边进行恰当着色，通过共享内部顶点分配路径。
• 在补图中使用距离论证，确保路径边不相交，并避免路径构造中的冲突。
• 利用 Nash-Williams 定理将完全图分解为生成树，以在图的线图中构造团极小化。
• 结合最小度强制浸入的结果与线图中团极小化已知界限，推导出渐近下界。
• 利用素数定理与有限射影平面构造显式例子，证明线图团极小化界限的紧致性。

实验结果

研究问题

• RQ1 什么最小度条件可强制简单图中完全图 K_t 的强浸入？
• RQ2 图的边密度如何影响具有短路径的团浸入大小？
• RQ3 在平均度为 d 的图的线图中，可保证的最大团极小化大小是多少？
• RQ4 能否通过基于浸入的技术解决 Paul Seymour 关于线图团极小化的猜想？
• RQ5 是否存在一个结构阈值，使得最小度可保证 K_t 浸入，且该结果与已知的极小化和细分结果相比如何？

主要发现

• 所有最小度至少为 200t 的简单图均包含完全图 K_t 的强浸入。
• 对于具有 n 个顶点和 2cn² 条边的图，存在一个强浸入 K_{c²n}，其中每条路径 P_uv 的长度恰好为 2。
• 任意平均度为 d 的简单图的线图中，包含阶数至少为 cd³/² 的团极小化，其中 c > 0 为某绝对常数。
• 线图中团极小化大小的 Ω(d³/²) 界限在常数因子范围内是紧致的，已通过极值构造证明。
• 通过顶点着色与补图距离约束构建边不相交路径，确保路径边不相交且浸入有效。
• 结果证实，高最小度与高边密度均强制产生大团浸入，支持关于色数与浸入的更广泛猜想。