[论文解读] Complete graph immersions and minimum degree

Dvo\v{r}\'ak, Zden\v{e}k, Liana Yepremyan|arXiv (Cornell University)|Dec 1, 2015

Advanced Graph Theory Research被引用 2

一句话总结

本文证明了每个最小度至少为 11t + 7 的简单图均包含完全图 Kt 的强浸入，显著改进了 DeVos 等人此前得到的 200t 的界。证明依赖于对 (t, d)-状态和欧拉子图的新型结构分析，通过利用度条件和可分裂集合，借助图论中的归纳法与极值论证，强制实现 Kt 的强浸入。

ABSTRACT

An immersion of a graph H in another graph G is a one-to-one mapping phi:V(H)->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 the edge uv has endpoints phi(u) and phi(v). The immersion is strong if the paths P_{uv} are internally disjoint from phi(V(H)). We prove that every simple graph of minimum degree at least 11t+7 contains a strong immersion of the complete graph K_t. This improves on previously known bound of minimum degree at least 200t obtained by DeVos et al.

研究动机与目标

• 改进已知的最小度上界，以强制在简单图中实现 Kt 的强浸入。
• 支持 Lescure-Meyniel 猜想，该猜想认为：不含 Kt-浸入的图是 (t−1)-可染色的。
• 通过收紧 Kt-浸入的度阈值，解决图浸入理论中长期存在的开放问题。
• 建立强于 DeVos 等人先前 200t 结果的更优、更高效的界，推进与 Hadwiger 猜想的类比。

提出的方法

• 引入 (t, d)-状态的概念，作为分析图中度和邻域条件的框架。
• 利用可分裂集合的概念，迭代地简化图，同时保持浸入性质不变。
• 对具有有界度缺陷的欧拉子图应用极值论证，以强制产生特定的结构配置。
• 通过假设不存在 Kt 强浸入并利用极小反例推导矛盾，采用归纳法与反证法。
• 利用如下关键度条件：若 ∑max(0, d−deg v) < d，则存在某个顶点的度至少为 d。
• 利用如下事实：在给定度阈值下，具有有界度缺陷的欧拉图包含 Kt 作为强浸入。

实验结果

研究问题

• RQ1 最小度 f(t) 的最小值是多少，使得每个最小度为 f(t) 的图都包含 Kt 的强浸入？
• RQ2 能否改进界 f(t) ≤200t？若能，改进幅度如何？
• RQ3 最小度 11t + 7 是否能保证任意简单图中均存在强 Kt-浸入？
• RQ4 是否存在在低最小度下避免 Kt-浸入的图的结构特征？
• RQ5 能否通过更紧致的基于度的充分条件来支持 Lescure-Meyniel 猜想？

主要发现

• 本文确立了每个最小度至少为 11t + 7 的简单图都包含 Kt 的强浸入，显著优于此前的 200t 界。
• 该结果支持 Lescure-Meyniel 猜想，因为表明最小度为 11t + 7 的图包含 Kt 的强浸入，根据该猜想，这意味着其为 (t−1)-可染色的。
• 证明依赖于一种新的结构框架，结合 (t, d)-状态和可分裂集合的存在，以迭代方式简化图。
• 证明了若 ∑max(0, d−deg v) < d，则存在某个顶点的度至少为 d，这是论证中的关键度条件。
• 本文证明了每个满足 ∑max(0, d−deg v) < d（d ≥11t）的欧拉图都包含 Kt 作为强浸入，这是核心技术引理。
• 通过极小反例的矛盾论证，确认在给定度条件下，不存在避免 Kt-浸入的图。