[论文解读] An approximate version of the Loebl-Komlos-Sos conjecture

Diana Piguet, Maya Stein|arXiv (Cornell University)|Aug 24, 2007

Limits and Structures in Graph Theory参考文献 2被引用 4

一句话总结

本文在稠密情形下证明了洛布-科姆洛斯-索斯猜想的近似版本，表明若至少一半顶点的度数至少为 (1+η)k，则所有边数不超过 k 的树均为其子图。该结果意味着树的拉姆齐数存在渐近上界：当 k + m → ∞ 时，r(𝒯_{k+1}, 𝒯_{m+1}) ≤ k + m + o(k + m)。

ABSTRACT

Loebl, Komlos, and Sos conjectured that if at least half of the vertices of a graph G have degree at least some natural number k, then every tree with at most k edges is a subgraph of G. Our main result is an approximate version of this conjecture for large enough n=|V(G)|, assumed that n=O(k). Our result implies an asymptotic bound for the Ramsey number of trees. We prove that r(T_k,T_m)\leq k+m+o(k+m),as k+m tends to infinity.

研究动机与目标

• 为满足 n = O(k) 的大图建立洛布-科姆洛斯-索斯猜想的近似版本，即所谓的稠密情形。
• 证明若图中至少有 n/2 个顶点的度数至少为 (1+η)k，则其包含所有边数不超过 k 的树。
• 利用猜想的近似成立性，推导出拉姆齐数 r(𝒯_{k+1}, 𝒯_{m+1}) 的渐近上界。
• 将阿季伊-科姆洛斯-塞迈雷迪框架中的嵌入技术扩展至处理当 k < n/2 时更复杂的情形。
• 通过极值构造证明猜想中的度数条件在渐近意义下是紧的。

提出的方法

• 使用足够小的 ε′ 应用正规性引理，将顶点集划分为具有正规对的簇。
• 在简化后的簇图上应用 Gallai-Edmonds 分解，以识别出捕捉度数条件的较大匹配。
• 构建目标树 Q 的生成树 T*，并定义辅助集合 SD^A 和 SD^B 以管理嵌入顺序与依赖关系。
• 采用顺序嵌入过程，将顶点映射到正规对中的典型顶点，确保邻域交集关系得以保持。
• 通过 ε′-正规性与典型性条件，在每一步维持可用典型顶点的下界，确保即使已有最多 c+1 个邻居被嵌入，仍可实现嵌入。
• 通过控制非典型顶点与簇大小的界来控制误差项，确保每一步至少存在一个有效嵌入选择。

实验结果

研究问题

• RQ1 洛布-科姆洛斯-索斯猜想是否可在满足 k ≥ qn 且 n = O(k) 的大稠密图中近似成立？
• RQ2 当 k 与 m 较大时，拉姆齐数 r(𝒯_{k+1}, 𝒯_{m+1}) 的渐近行为如何？
• RQ3 正规性引理与 Gallai-Edmonds 分解如何被调整以在稠密图中嵌入具有有界过剩边的树？
• RQ4 在稠密情形下，(1+η)k 的度数阈值是否对嵌入所有边数不超过 k 的树而言是必要且充分的？
• RQ5 能否通过极值构造证明该猜想的界在渐近意义下是紧的？

主要发现

• 对每个 η, q > 0，存在 n₀，使得对任意在 n ≥ n₀ 个顶点上的图 G，若至少有 n/2 个顶点的度数至少为 (1+η)k，且满足 k ≥ qn，则 G 包含所有边数不超过 k 的树。
• 该结果意味着当 k + m → ∞ 时，拉姆齐数 r(𝒯_{k+1}, 𝒯_{m+1}) 满足 r(𝒯_{k+1}, 𝒯_{m+1}) ≤ k + m + o(k + m)。
• 界 r(𝒯_{k+1}, 𝒯_{m+1}) ≤ k + m 在渐近意义下是紧的，如极值构造所示，此时度数条件无法进一步弱化。
• 该证明通过在嵌入过程中引入细化的典型性与邻域交集条件，扩展了阿季伊-科姆洛斯-塞迈雷迪方法。
• 通过 ε′-正规性与典型性控制目标树中度数有界的顶点（最多 c+1 个邻居已被嵌入）的数量，确保每一步嵌入时均有足够多的选择。
• 反例构造表明，猜想中的 n/2 阈值在某些情况下无法通过超过 n/(k+1) 的量改进，从而确认了渐近最优性。